Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
tcode2k16.github.io
|
|
| | | | | a random blog about cybersecurity and programming | |
| | | | |
www.hillelwayne.com
|
|
| | | | | I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like its too expensive!!! or website isnt airplane!!! These are sorta kinda true but dont explain very much. I wrote this to provide a larger historical picture of formal methods, why theyre actually so unused, and what were doing to make them used. | |
| | | | |
adam.chlipala.net
|
|
| | | | | ||
| | | | |
www.hacksoft.io
|
|
| | | Multiple font files for a single font can lead to a messy css if you don't know how to use them as a single font-family definition using @font-face. | ||
