6 ms·
I'm a fan of formal verification of functional programming. It saddens me to say that, in that line of work, hardly anyone speaks English [0], at least not past
by penguin_booze 3y ago
I'm a fan of formal verification of functional programming. It saddens me to say that, in that line of work, hardly anyone speaks English [0], at least not past the front door. The amount of high-horsery and dog-whistling is enough to wear down any regular folk that walks down the path. Maybe it's the nature of the field itself, that those accomplished folks seem to forget they once walked this earth, up right, on two legs.
[0] read: natural language
- mdnahas 3y agoAgreed! The most famous mathematician in the field told me “I used the first tool I could understand how to write a proof in.” Most he could not! I was so disgusted by the tutorials for Coq that I wrote my own. It has been reviewed positively on Hacker News before. If you want a look at some of the basics of formal proof and these tools, take a look: http://michaeldnahas.com/doc/nahas_tutorial.html http://michaeldnahas.com/doc/nahas_tutorial.html