Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust. In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)

this is now out as a paper. if this result is real (captures meaningful, persistent learning in a replicable way at this cost) it's a huge, huge deal but I still kind of can't believe it, the effect size is just so large

Did you mean “…is an affront to all that is good”?

orbifolds were almost called foldimanis or manifoldeds. either would have been better than what we got, but i also want to suggest: - foldifolds - folded manifolds - stabilicosetfolds - thurstifolds - etale lie groupoids - quotifolds - those base things for Seifert-fibered tori

Science writing from the last two years that stuck with me: (1/many)

My hot take is this book is a mid-at-best remnant of one of the most pseudoscientific parts of cybernetics. Meadows and Forrester both did cool work, but this particular book is basically all the most obvious, substance-less, and useless pop-sci in their research.

topology spurned again

maybe now uv exists… i can fix her?

Earlier this year, a 17-year-old high school student named Hannah Cairo solved a 40-year-old mystery about how waves behave, surprising and exciting mathematicians. Kevin Hartnett reports: quantamagazine.org/at-17-hannah-c…

pov: you are amanda askell updating the claude system prompt

Today was my last day helping Windsurf transition teams, and I just wanna publicly say how damn awesome Windsurf’s (largely unsung) Summer interns have been. Truly a weird internship, but they’re a genuinely amazing group of people and engineers. They just kept going.

average startup employee: yeah, i work 996 in-office, plus whenever that one european client is awake also average startup employee: wanna get coffee at like… 3 pm on tuesday?

I have (genuinely) replied to every InMail I got in the last year. Here’s what I learnt… 🧵 (1/1)

Happy Petrov day

glad that none of the cofounders i have worked for have ever glazed each other in twitter replies, it’s a real epidemic