/explore
|
You are here 
|
danilafe.com | ||
| | | | |
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 isn't airplane!!!" These are sorta kinda true but don't explain very much. I wrote this to provide a larger historical picture of formal methods, why they're actually so unused, and what we're doing to make them used. |
|
| | | | | ||
| | | | |
leanprover-community.github.io
|
|
| | | | | ||
| | | | |
www.brunton-spall.co.uk
Have you always wanted to program? Have you been interested in the dark and mysterious ways of development? Maybe you've done some reading... |
|
| | | | | ||
| | | | |
ashtonkemerling.com
[AI summary] The article critiques the overhyped potential of blockchain technology, arguing that it's largely a speculative bubble with significant drawbacks, including immutability issues, high energy costs, and fraud in related areas like ICOs. |
|
| | | |||
