Posts
-
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