Pinned
can't find a topic for your next programming languages paper? worry not! type system idea generator: type.systems
joomy
@joomy
researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
- There's a lot of teeth-having these days
- CRYING "Screenshot of the case management system used by the Massachusetts District Attorneys" found via bluesky/via a friend
