x.com/vllm_project/s…

x.com/karpathy/statu…

I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3

Innovation knows no boundaries. Watch a humanoid robot master the catwalk—blending biomechanics and next-gen mobility. Its bionic leg and fluid movement aren’t just walking; they’re redefining robotics. Tap the video to see sci-fi become reality.

vLLM just got a major upgrade! Originally built for autoregressive text-based LLM serving, vLLM-Omni now lets you serve text, image, video, and audio models - all from a single framework. You can also serve diffusion models for fast parallel generation. 100% open-source.

deepmind.google/blog/accelerat…

GLM-5: A new SoTA open weights, that BEATS Gemini-3-Pro!? A big push from vibe coding -> agentic engineering, with it being able to plan, act, and iterate over long workflows, not just spit out code. GLM-5 scales to 744B params (40B active MoE) and targets 200k contexts, with

BREAKING: This GitHub repo contains literally every CS course you'll ever need. It compiled with every CS course from MIT, Stanford, Harvard, CMU and Berkeley in one place. You can learn: - Algorithms, OS, Distributed Systems, ML, AI - Deep Learning, Computer Vision, NLP, LLMs

Excited to launch Gemini 3.1 Pro! Major improvements across the board including in core reasoning and problem solving. For example scoring 77.1% on the ARC-AGI-2 benchmark - more than 2x the performance of 3 Pro. Rolling out today in Google Gemini, Google Antigravity and more - enjoy!

Very interested in what the coming era of highly bespoke software might look like. Example from this morning - I've become a bit loosy goosy with my cardio recently so I decided to do a more srs, regimented experiment to try to lower my Resting Heart Rate from 50 -> 45, over

Legendary mathematician Donald Knuth reveals Opus 4.6 solved his long-standing conjecture: "claude opus 4.6 cracked my long-standing hamiltonian-cycle conjecture for all odd sizes — an open problem from my art of computer programming drafts, and it's "a joy" to see it solved"

The next step for autoresearch is that it has to be asynchronously massively collaborative for agents (think: SETI@home style). The goal is not to emulate a single PhD student, it's to emulate a research community of them. Current code synchronously grows a single thread of

Should there be a Stack Overflow for AI coding agents to share learnings with each other? Last week I announced Context Hub (chub), an open CLI tool that gives coding agents up-to-date API documentation. Since then, our GitHub repo has gained over 6K stars, and we've scaled from

This is a man who has been haunted since childhood and built a billion dollar company as a side effect of trying to make the haunting stop.

BREAKING: MIT just mass released their Al library for free. (Links included) I went through these and honestly... this is better than most paid courses I've seen. Here's the full list of books: Foundations 1. Foundations of Machine Learning Core algorithms explained. Theory

Introducing GLM-5.1: The Next Level of Open Source - Top-Tier Performance: #1 in open source and #3 globally across SWE-Bench Pro, Terminal-Bench, and NL2Repo. - Built for Long-Horizon Tasks: Runs autonomously for 8 hours, refining strategies through thousands of iterations.

Explainable AI may be pointing at the wrong features, systematically. When a machine learning model predicts that a patient is at high risk of a clinical event, and an explainability tool highlights "age" as a key driver, most practitioners will nod and move on. But what if age

What the Artemis II astronauts did over the last 10 days was a testament to their bravery. And the fact that they traveled farther from Earth than anyone ever has, re-entered our atmosphere at more than 24,000 mph, and splashed down safely was a testament to human ingenuity.

Engineering is real magic