they have been spreading loads of love towards open source yet seem very inspired by its ideas
AI
-
Eight Sleep Technology: Water Bed Innovation Comparison
By
–
eight sleep is kind of a water bed if you think about it
-
OpenProver v1.0.0: Open-Source Automated Theorem Prover Released
By
–
I'm releasing OpenProver v1.0.0!
— Matěj Kripner (@MatejKripner) 23 mars 2026
It's 1) an open-source automated theorem prover inspired by DeepMind's Aletheia (@tonylfeng @gjb_ai @lmthang), and 2) a "Claude Code for mathematicians", allowing interactive proof search in English and formalization in Lean. pic.twitter.com/xMTHWfIL31I'm releasing OpenProver v1.0.0! It's 1) an open-source automated theorem prover inspired by DeepMind's Aletheia (@tonylfeng @gjb_ai @lmthang), and 2) a "Claude Code for mathematicians", allowing interactive proof search in English and formalization in Lean.
-
Uni-1 model integrates reasoning and image generation in a continuous process
By
–
La IA ya no necesita dos pasos para crear.
— SONIA (@S0N_IA_) 23 mars 2026
Uni-1 unifica el pensamiento y la generación de píxeles en un único proceso continuo. Como imaginar y dibujar al mismo tiempo.
Esto es lo que viene después de los LLMs. https://t.co/ljsRMHMoCWLa IA ya no necesita dos pasos para crear. Uni-1 unifica el pensamiento y la generación de píxeles en un único proceso continuo. Como imaginar y dibujar al mismo tiempo. Esto es lo que viene después de los LLMs.
-
Vibe Coding: Quick Fixes Have Their Limits
By
–
if you can vibe code it you can vibe fix it but you can't always vibe fix it quickly
-
Noetix N2 Robot Withstands Severe Testing and Continues Operating
By
–
Noetix N2 endures some serious abuse but keeps walking
— Ronald van Loon (@Ronald_vanLoon) 23 mars 2026
by @TheHumanoidHub#Robotics #ML #EmergingTech #Innovation #Technology pic.twitter.com/Bz1uPir4g3Noetix N2 endures some serious abuse but keeps walking
by @TheHumanoidHub #Robotics #ML #EmergingTech #Innovation #Technology -
GradMem: Gradient Descent Memory for Context Compression
By
–
"GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent" Instead of giving LLMs huge KV caches or one-shot compressed summaries, GradMem shows that you can let a frozen model take some test-time gradient steps to write a long context into a small memory.
-
5 Causal AI Tools That Reveal Why Not Just What
By
–
5 Causal AI Tools That Reveal Why — Not Just What: https://
medium.com/@Modexa/causal
-ai-5-tools-that-reveal-why-not-just-what-437ed6be6ec8
…