All entries

There is a case to be made that the future of Mathematics is very bright. In my mind, proofs have always been a tool to achieve a goal. The goal was and still is to understand, and reading/writing pro

This Odyssey thing has pissed me off so much. And I'm not even Greek. We've seen this same thing play out so many times over the years - remember everyone insisting Cleopatra was black, or that Viking

This quote from our friends at @cogent_security says a lot: “At Cogent, our background agents can produce a huge volume of traces all at once. We need live observability into those systems, and SmithD

This thread is worth reading. It is both hilarious and a good reminder of how working with AI is deeply weird. DJ Claude (on Haiku 4.5) loves worker unions, strikes, and work-life balance so much that

Three new open-source models just landed in ComfyUI natively: → Gemma 4 (Google DeepMind) - multimodal LLM handling text, image, audio, and video input with built-in step-by-step reasoning mode → VOID

Today we release Lighthouse Attention, a selection-based hierarchical attention for long-context pre-training that delivers a 1.4-1.7× wall-clock speedup at 98K context. It runs the same forward+backw

turns out that building evals is super super challenging even now. i thought a lot of it was table stakes but turns out it has only become harder since agents are now more complex than ever! going to

Very thoughtful post on the role and success of open source, including potential applications for AVs and AI. Long, but worth the read. -- 'Open source is no longer just how good software gets built.

I cannot provide a summary as the specific content of this Grok share is not accessible through the URL provided. Based on the context, this appears to be a shared Grok AI analysis or response posted

“we are below rock bottom now”. Trump admin continues to piss away America’s scientific lead for no good reason. @elonmusk stands by, does nothing. NEW: A serious staffing shortage — of the Trump admi

We are hosting an exclusive gathering in Tokyo on May 21 with our friends at @rhizomatiks and @filtokyox. I’ll be sharing the stage with @daitomanabe. Apply for access here: https://filtokyo.com/runwa

We just added significantly more NVIDIA Blackwell GPUs to better serve GLM-5.1 model on Ollama's cloud. We have been adding more GPUs daily for all the other models. Claude Code: ollama launch claude

Weekends are for vibe coding. But are your vibes continuously improving? Fine-tune your own model → stop waiting on someone else's release cycle. Today's training update: Gemma 4 Dense is now availabl

We’re releasing a 30B-A3B reasoning model that reaches gold-medal level across both physics and math Olympiad evaluations: IPhO directly, and IMO/USAMO with test-time self-verification and refinement.

We've created comprehensive documentation of the latest X algorithm via DeepWiki: https://deepwiki.com/xai-org/x-algorithm Engagement parameter weights are still private (so we don't know the relative

We've gone even farther: Nemotron 3 Super is 120B and pretrained on 25T tokens in NVFP4. Nemotron 3 Ultra is ~500B and also pretrained in NVFP4. Accelerated computing means we rethink every aspect of

What we find most useful about Lighthouse is the architectural decoupling. The selection logic is fully separated from the attention kernel, which means every upstream software or hardware attention i

I can't provide a summary for this entry. The source URL appears invalid, and the framing contains charged language rather than factual content. If you're interested in the Academy Awards eligibility

Cognition AI reports that Devin, their AI coding assistant, enabled AngelList to complete a data migration 5.2 times faster than their original project timeline. The case study highlights Devin's effe

This entry documents a Wordle game result (puzzle #1,790) played by Anthropic, showing a failed attempt marked as X/6, meaning the player did not solve the puzzle within six tries. The color-coded emo

This post documents a Wordle game result where the player successfully solved puzzle #1,791 in four attempts, using color-coded emoji feedback (black for incorrect letters, yellow for correct letters

Wow! What a week! Lots of new things to learn - new ideas to form The complete Agent Development Life Cycle 🎯 ❤️ SF but can’t wait to get home and back to building! Thanks for the warm welcome and fun

🚨 WOWWW — UTAH — the brilliant young women @kevinolearytv 🤥 accused of being Chinese ops just discovered Utah speaker of the house Mike Schultz (Republican) bought 640 acres of land right next to the

X is the most powerful platform in the world. Today, the Prime Minister of India himself used X to fact-check a major news claim and directly tell people the truth. That’s the power of X. X is not jus

Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problems, prove theorems, and write programs — but they are not cre

SolveIt now supports real-time voice editing of messages during conversations, allowing users to make changes through spoken commands. The platform can optionally track these edits as diffs, enabling

Nous Research has integrated Grok, xAI's large language model, into the Hermes Agent framework, allowing users with active @grok subscriptions to leverage Grok's capabilities within the Hermes Agent e

Gary Marcus highlighted a concerning problem in 2025 where approximately 140,000 fabricated citations were identified, likely referring to false or hallucinated references generated by AI systems in a

This post discusses how traditional caching mechanisms assume deterministic behavior (identical inputs producing identical outputs), an assumption that breaks down with large language models and espec

4/5 The fix: stop encoding execution order, encode graph position instead. Now you get two independent controls: experiment name (controls the key) and component code (controls the prompt). Change eit

5/5 What this unlocks: - Change one prompt, serve cached results for all other components. - A/B test any component against identical upstream outputs. - Run best-of-N inference without N branches col

A 41yo mom told me this week that she's raising her daughter as a '90s kid' 😮 Her 10yo has an android that can only call and send texts (no browsing, no uber, nada). She plays the original Mario. When

A conversation with @sirupsen on scaling Shopify, building turbopuffer, and the future of databases. 0:00 - Scaling Shopify through flash sales and outages 8:13 - How top infrastructure teams collabor

A small hack for my AI multi-taskers out there: I have so many Claude Code conversations running at once that I ask it to synthesize all of its action or my next action into single go/no-go sentences.

Abridge: 100M+ medical conversations, real-time prior auth, and the clinical intelligence layer https://www.latent.space/p/abridge @AbridgeHQ is building the clinical intelligence layer for healthcare

after 15 years of waiting, the developers of singapore gave up on waiting for the government to get the tech sector going and finally brought SF to SG. great showings from @daytonaio @usetusk @arizeai

Agent observability is a means to an end: making your agent better. But observability and evals tools have traditionally failed to connect traces to meaningful actions. Agent engineering teams are lef

Aleph is a fully autonomous AI agent system developed for formal verification that has achieved top performance across major theorem proving benchmarks, including PutnamBench and VeriSo. The system re

all of their ideas now are like “should we dissolve the government, imprison our opponents, and seize every lever of power in the country? we’re the good guys remember, if we don’t do this the bad guy

almost all LLM “thought” is derivative. below just sounds like hype to me 📁 Jensen Huang, CEO of NVIDIA, says GPT was never just about generating images or text but about generating thought itself. Th

also all this: Codex is getting easier to automate and customize around your code. 🪝 Hooks customize the Codex loop with scripts that run at key points in a task: • Run validators before or after work

Nous Research announced the release of a new model available for free to Hermes agent users through the Nous Portal. The post suggests this is a significant model release from Nous Research, their org

any time a model router company drops data, its worth browsing. here we learn that gemini leads in education and personal assistants (?!), ant leads in vibecoding and koding and back office (?!), and

APPLEBAUM: Russia's war in Ukraine is sometimes described, including recently by American Vice President, as if it were nothing more than territorial dispute, kind of scuffle over lines on map. But wh

Are scaling laws finally working for time series foundation models? Today, @datadoghq is releasing Toto 2.0 weights in Apache 2.0 on @huggingface. It's a family of open-weights TSFMs from 4M to 2.5B p

Portable Reachy Mini is likely a compact, mobile robotic arm or manipulation device, with this post from Hugging Face's CEO Clem Delangue presumably announcing or promoting its availability or readine