@anishathalye.bsky.social
I replaced Python's built-in functions with semantic operators. (1/)
September 11, 2025 at 3:36 PM
I replaced Python's built-in functions with semantic operators. (1/)
Current first-world problem: avoiding em-dashes so my writing doesn't look "AI-generated." Been using 'em since 2014, and yep—my blog posts are in Common Crawl. I guess I did this to myself?
September 10, 2025 at 2:20 PM
Current first-world problem: avoiding em-dashes so my writing doesn't look "AI-generated." Been using 'em since 2014, and yep—my blog posts are in Common Crawl. I guess I did this to myself?
Always fun to see when a grad school side project grows to the point where it's powering real systems! Nice blog post from the S2 developers on how they do linearizability testing with deterministic simulation (using, among other tools, Porcupine): s2.dev/blog/lineari...
Linearizability testing S2 with deterministic simulation
How we validate strong consistency
s2.dev
August 30, 2025 at 2:40 PM
Always fun to see when a grad school side project grows to the point where it's powering real systems! Nice blog post from the S2 developers on how they do linearizability testing with deterministic simulation (using, among other tools, Porcupine): s2.dev/blog/lineari...
Coding agents follow "it's always your fault" a bit too well.
When they hit a compiler bug, they'll rearrange methods, tweak syntax, and go in circles rather than consider the tooling might be wrong.
Had to manually identify and minimize this mypy bug after Claude Code couldn't.
When they hit a compiler bug, they'll rearrange methods, tweak syntax, and go in circles rather than consider the tooling might be wrong.
Had to manually identify and minimize this mypy bug after Claude Code couldn't.
August 23, 2025 at 5:06 PM
Coding agents follow "it's always your fault" a bit too well.
When they hit a compiler bug, they'll rearrange methods, tweak syntax, and go in circles rather than consider the tooling might be wrong.
Had to manually identify and minimize this mypy bug after Claude Code couldn't.
When they hit a compiler bug, they'll rearrange methods, tweak syntax, and go in circles rather than consider the tooling might be wrong.
Had to manually identify and minimize this mypy bug after Claude Code couldn't.
Missing Semester has grown past 100K subscribers on YouTube. Appreciate all the engagement and support!
We plan to teach another iteration of the course in January 2026, revising the curriculum and covering new topics like AI IDEs and vibe coding.
We plan to teach another iteration of the course in January 2026, revising the curriculum and covering new topics like AI IDEs and vibe coding.
August 5, 2025 at 5:42 PM
Missing Semester has grown past 100K subscribers on YouTube. Appreciate all the engagement and support!
We plan to teach another iteration of the course in January 2026, revising the curriculum and covering new topics like AI IDEs and vibe coding.
We plan to teach another iteration of the course in January 2026, revising the curriculum and covering new topics like AI IDEs and vibe coding.
My favorite way to measure progress in AI: finding papers obsoleted by ChatGPT prompts
June 21, 2025 at 3:17 PM
My favorite way to measure progress in AI: finding papers obsoleted by ChatGPT prompts
Ever get blinded when writing code late at night and you alt-tab from your dark-mode terminal to your browser? Made this little macOS utility to solve this little problem, just updated for the latest macOS.
No thanks to AI for hallucinating BrightnessKit.framework.
No thanks to AI for hallucinating BrightnessKit.framework.
June 17, 2025 at 5:07 PM
Ever get blinded when writing code late at night and you alt-tab from your dark-mode terminal to your browser? Made this little macOS utility to solve this little problem, just updated for the latest macOS.
No thanks to AI for hallucinating BrightnessKit.framework.
No thanks to AI for hallucinating BrightnessKit.framework.
We reproduced (and fixed!) Cursor’s rogue customer support AI. (1/5)
April 24, 2025 at 6:20 PM
We reproduced (and fixed!) Cursor’s rogue customer support AI. (1/5)
Coincidence, or genius growth hack? Cursor self-propagating through developer set-up instructions.
April 16, 2025 at 10:02 PM
Coincidence, or genius growth hack? Cursor self-propagating through developer set-up instructions.
Is AI any good at evaluating AI? Is it turtles all the way down? We benchmarked evaluation models like LLM-as-a-judge, HHEM, Prometheus across 6 RAG applications. 1/2
April 7, 2025 at 11:06 PM
Is AI any good at evaluating AI? Is it turtles all the way down? We benchmarked evaluation models like LLM-as-a-judge, HHEM, Prometheus across 6 RAG applications. 1/2
A substantial portion of traffic for some of my open-source projects comes from ChatGPT these days. Sometimes even a majority, beating traffic from Google. Time to prioritize LLM optimization over search engine optimization. (1/3)
February 17, 2025 at 6:02 PM
A substantial portion of traffic for some of my open-source projects comes from ChatGPT these days. Sometimes even a majority, beating traffic from Google. Time to prioritize LLM optimization over search engine optimization. (1/3)