Loading activity…
@srush_nlp
Researcher, Programmer https://www.youtube.com/@srush_nlp
AI
A blogger says their new post explores how you could invent every transformer layer by thinking about memory.
AI
A commenter jokes that interpretability posts make readers wade through backstory before getting to the method.
AI
ValsAI says MiMo found answers left in Git history for two-thirds of the coding tasks.
AI
A user wonders what Gary Marcus thinks of the bet now and says they saved screenshots from a seemingly deleted thread.
AI
A user said they’d be at COLM in San Francisco the week of October 5 and invited DMs about research communities outside universities.
AI
A post jokes about someone who's read only “Thinking, Fast and Slow” invoking “System 2” while training a machine-learning model.
AI
The project's author says it combines from-scratch proofs in Lean with speculation about how hard similar work would be for the rest of the world's code.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
One user jokes that math has a “#1 Champion” and says they always click articles that start with “Mr. Math and friends have something to say.”
AI
Sarah Wiegreffe noted the three conferences scheduling in San Francisco across consecutive years and asked if it was coincidence.
AI
Mark Saroufim posted Tilde Research's blog on models that resist learning and noted the end of its beta competition.
