I work at Incalmo. My CV, GitHub, Bluesky, and Google Scholar. My email address is aoli@cs.cmu.edu. I design and build tools that make complex concurrent and distributed systems easier to debug and test. My research treats applicability as a first-class concern—emphasizing not just algorithmic efficiency, but also…
Visit aoli.al → RSS feedOn Hacker News Mar 2025 – Jun 2025
Web & Frontend 1Systems & Performance 1Software Engineering 1Networking & Internet 1
Discovering a JDK Race Condition, and Debugging it in 30 Minutes with Fray I’ve been adding more integration tests for Fray recently. To ensure Fray can handle different scenarios, I wrote many creative test cases. Many of them passed as expected, while some failures led to epic fixes in Fray. Then something…
Chrome Returns 206 when the Server Returns 403 Postmortem It is a feature not a bug! I got detailed explanation from chrome developers which is very helpful. You may find the complete response in the bug ticket. Also this blog post draws a lot of attention after I post it on Hackers News. You may find comments here…