|
|
|
|
|
by pjmlp
343 days ago
|
|
The difference is that I get to use Java at work, and never will be able to use SML, perfection usually fails in mainstream adoption, as proven by the whole worse is better mindset languages. I rather have Java, C#, C++, Kotlin, Rust,.... with their imperfections to ML, Smalltalk, and Lisp ideas, than hoping for getting the right languages at the workplace. Fully agree on the C edition. |
|
"How we prevent conflicts in authoritative DNS configuration using formal verification"
https://blog.cloudflare.com/topaz-policy-engine-design/