Computers: compilers, interpreters, JavaScript, Swift, C++, browsers, developer tools.
Other: biology, running, video games, films, Amsterdam.
| Home | https://agentcooper.io |
https://typesanitizer.com/blog/leaving-apple
Varun's post about leaving Apple illuminates all the issues I also encountered while working there: poor communication from recruiters (both at initial offer and internal transfer), hostile attitude towards remote work, and an unspoken ban on personal open source projects.
Is anyone here going to the Dutch Functional Programming Day 2024 in Delft tomorrow? Let me know if you want to meet and chat.
Collected some historical paintings of Amsterdam on a map https://agentcooper.github.io/amsterdam-art/
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
OK, formal verification is hard. But at least I should write more tests.
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.
Ivan Sagalaev 
