the instructions for my headlamp indicate that if you have a sweet stache and a choking fetish, then you must pay close attention

alt: pretty much as described 😬

this looks exciting! David is incredibly good at what he does (tool support for property-based testing and test case reduction)

https://antithesis.com/blog/2026/hegel/

weird. I thought zuckerberg was still trying to convince us that he's a real boy.

https://www.the-independent.com/tech/mark-zuckerberg-ai-ceo-bot-b2943792.html

some nice followup to my group's (non-LLM) work on generalizing peephole optimizations. the non-LLM side of program synthesis really does seem to be dead at this point.

https://arxiv.org/pdf/2603.18477

possibly the most deranged zillow listing

https://www.zillow.com/homedetails/6160-Carrollton-Ave-Indianapolis-IN-46220/1245994_zpid/