Recent Posts

• Ohm.js Grammar Generator
  by azhenleyon 6/13/2025, 5:16:16 PM with 0 comments
• It must be worth it even if it doesn't work (2021)
  by azhenleyon 6/13/2025, 12:04:49 PM with 1 comment
• Python 3.13.5 is now available
  by azhenleyon 6/13/2025, 3:09:26 AM with 1 comment
• Solving LinkedIn Queens with SMT
  by azhenleyon 6/12/2025, 4:18:01 PM with 16 comments
• Continuous AI from GitHub Next
  by azhenleyon 6/12/2025, 3:08:06 PM with 0 comments
• AI at Amazon: A case study of brittleness
  by azhenleyon 6/11/2025, 2:28:53 PM with 17 comments
• "This is not vis"
  by azhenleyon 6/11/2025, 2:27:51 PM with 0 comments
• Subtype Inference by Example
  by azhenleyon 6/10/2025, 12:04:40 AM with 3 comments
• Lightweight Diagramming for Lightweight Formal Methods
  by azhenleyon 6/9/2025, 6:34:52 PM with 0 comments
• AI at Amazon: A case study of brittleness
  by azhenleyon 6/9/2025, 3:54:50 AM with 0 comments
• 105 Vibe-Coded Tools
  by azhenleyon 6/8/2025, 3:19:21 PM with 2 comments
• Mapping latitude and longitude to country, state, or city
  by azhenleyon 6/3/2025, 10:13:01 PM with 21 comments
• Dijkstra never took a biology course
  by azhenleyon 5/31/2025, 3:26:49 PM with 2 comments
• Securing a Form on the Internet: Still Pretty Difficult
  by azhenleyon 5/31/2025, 1:26:34 PM with 0 comments
• What works (and doesn't) selling formal methods
  by azhenleyon 5/29/2025, 11:21:48 PM with 10 comments
• GitHub Copilot Spaces
  by azhenleyon 5/29/2025, 11:07:08 PM with 0 comments
• What Works (and Doesn't) Selling Formal Methods
  by azhenleyon 5/25/2025, 6:41:21 PM with 0 comments
• The Zen of Polymorphism [video]
  by azhenleyon 5/24/2025, 2:48:25 PM with 0 comments
• How React server components work: an in-depth guide
  by azhenleyon 5/23/2025, 9:57:08 PM with 0 comments
• Use VS Code to build AI apps and agents [video]
  by azhenleyon 5/23/2025, 9:13:40 PM with 0 comments
• Error Messages as Rationale Reconstructions [Dissertation] [pdf]
  by azhenleyon 5/19/2025, 3:22:27 AM with 0 comments
• Why I Use WebAssembly
  by azhenleyon 5/18/2025, 8:46:42 PM with 0 comments
• A Garbage Collection Strategy
  by azhenleyon 5/18/2025, 8:43:02 PM with 0 comments
• Hyper Typing
  by azhenleyon 5/18/2025, 8:41:51 PM with 27 comments
• Labeling a root cause is predicting the future, poorly
  by azhenleyon 5/17/2025, 1:34:09 AM with 0 comments
• Hyper Typing
  by azhenleyon 5/12/2025, 6:27:00 PM with 0 comments
• When a bad analysis is worse than none at all
  by azhenleyon 5/10/2025, 8:28:27 PM with 0 comments
• Python Internals (2010)
  by azhenleyon 5/10/2025, 4:52:11 PM with 0 comments