/explore
|
You are here 
|
sean.heelan.io | ||
| | | | |
www.mupuf.org
Frama-C is a static analysis tool that does not just match "dangerous" function names or code patterns like RATS, and that does more than ... |
|
| | | | | ||
| | | | |
lwn.net
Mitchell Hashimoto has written a blog post about 'fully embracing the GObject type system' with [...] |
|
| | | | | ||
| | | | |
existentialtype.wordpress.com
While reviewing some of the comments on my post about parallelism and concurrency, I noticed that the great fallacy about dynamic and static languages continues to hold people in its thrall. So, in the same "everything you know is wrong" spirit, let me try to set this straight: a dynamic language is a straightjacketed static |
|
| | | | | ||
| | | | |
www.c0ffee.net
A guide to configuring your new FreeBSD server for performance and security. |
|
| | | |||
