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?
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.
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. @KSHartnett reports: quantamagazine.org/at-17-hannah-c…
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.
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.
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
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
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
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.)
536 Followers 7K FollowingTechnology • Philosophy • Health • Space-faring • History • engineer/scientist • Building https://t.co/9436E2wmt8 - AI fun just for you
220 Followers 3K FollowingSenior Data Scientist, ServiceNow. Ex Microsoft.Mechanical Engineer.Blogger. Avid Reader. Movie buff.Eternal Dreamer. Finds joy in those small things.
57K Followers 568 FollowingAssistant Prof of CS @UWaterloo, Faculty @VectorInst, Canada @CIFAR_News AI Chair. Joining @NYU_Courant September 2026. Co-EiC @TmlrOrg. I lead @TheSalonML.
11K Followers 634 FollowingCS prof at Penn. Amazon Scholar at AWS. Author of The Ethical Algorithm (w/ Michael Kearns). I study machine learning, privacy, game theory, and uncertainty.
8K Followers 451 FollowingProfessor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)
1.4M Followers 1K FollowingBuilding @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
48K Followers 183 FollowingMathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
50K Followers 884 FollowingAssistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
62K Followers 12K FollowingAI policy researcher, wife guy in training, fan of cute animals and sci-fi, Substack writer, stealth-ish non-profit co-founder
11K Followers 29 FollowingAn AI research non-profit advancing the science of empirically testing AI systems for capabilities that could threaten catastrophic harm to society.
102K Followers 920 FollowingTechnology's daily show. Hosted by @johncoogan and @jordihays. Streaming live 11AM-2PM PT every weekday and available on Apple, Spotify, and YouTube.