denisbauer.bsky.social
@denisbauer.bsky.social
Interesting post about the pendulum swinging back and forth between "type-safe/formal" and "dynamic/dangerous" programming languages.

worksonmymachine.ai/p/safe-is-wh...
Safe Is What We Call Things Later
Some Software Engineering Folklore
worksonmymachine.ai
August 25, 2025 at 10:47 AM