Posts

• Aug 1, 2025

  Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?

• Dec 5, 2024

  Grammar Aligned Decoding: the good and bad

• Dec 2, 2024

  Abstracting Denotational Interpreters: A Summary

• Nov 23, 2024

  How I lied to myself for 10 months—and why I finally pivoted.

• Nov 20, 2024

  The Cognitive Impact of AI Coding

• Oct 31, 2023

  AI Governance Alone Won't Save Us

• Jun 26, 2022

  Network Security for Paranoid Ovaries

• Sep 19, 2021

  Human-Centered Approach to Static-Analysis-Driven Developer Tools

• Apr 12, 2021

  Using Benford's law to understand code regularity and detect malware

• Feb 16, 2021

  A Framework for Learning New Languages

• Oct 7, 2020

  Fashion, Polymorphism, Generic programming, and related concepts

• Sep 20, 2020

  Go, no go

• May 15, 2020

  Kindness for Mean Girls: a discussion on type-level programming in Haskell

• Apr 26, 2020

  Arabic triliteral roots

• Aug 6, 2019

  The False Dichotomy Stunting Tech

• Apr 24, 2019

  Lost in translation: human language and the edges of identity

• Apr 24, 2019

  Foldilocks: Demystifying Folds with GHCi

• Nov 29, 2018

  An Introduction to Inlining and Specializing in GHC

• Aug 12, 2018

  The Organized Chaos of Programming Language Design

• Apr 27, 2018

  Hieroglyphic: visualizing an intermediate language for software development

• Apr 22, 2018

  Artificial Intelligence Beyond Buzzwords

• Jan 23, 2018

  Musings from MUSE: DARPA's program for software advancement via PLT, verification, program analysis, theorem proving and compilers

• Sep 4, 2017

  Uncommon guidance for software engineering interns

• Jun 5, 2015

  Decolonizing our epistemic foundation

subscribe via RSS