1
Marianne Bellotti
- Popular posts
- 18
- Total points
- 4,272
- HN comments
- 1,842
- Rank
- #289 personal
Visit medium.com/@bellmar → On Hacker News Jun 2018 – Aug 2024
Career & Management 8Software Engineering 7Tech Industry & Business 5Systems & Performance 3Math & Algorithms 3History & Retro Computing 3
2
3
Is Cobol holding you hostage with Math?
Face it: nobody likes fractions, not even computers.
4
5
Programming in Z3 by learning to think like a compiler
Programming in logic can help you produce better optimized, more secure, bug-free code … if only you knew how to do it.
6
Introduction to TLA+ Model Checking in the Command Line
Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?”
7
Come Break My Compiler
Don’t worry … it’s super easy 🙃