Posts
AI Governance Alone Won't Save Us
Network Security for Paranoid Ovaries
Human-Centered Approach to Static-Analysis-Driven Developer Tools
Using Benford's law to understand code regularity and detect malware
A Framework for Learning New Languages
Fashion, Polymorphism, Generic programming, and related concepts
Go, no go
Kindness for Mean Girls: a discussion on type-level programming in Haskell
Arabic triliteral roots
The False Dichotomy Stunting Tech
Lost in translation: human language and the edges of identity
Foldilocks: Demystifying Folds with GHCi
An Introduction to Inlining and Specializing in GHC
The Organized Chaos of Programming Language Design
Artificial Intelligence Beyond Buzzwords
Musings from MUSE: DARPA's program for software advancement via PLT, verification, program analysis, theorem proving and compilers
Uncommon guidance for software engineering interns
Decolonizing our epistemic foundation
subscribe via RSS