Keyword matches words; semantic matches meaning and exact titles or names; hybrid combines both. In keyword mode, use quotation marks for exact phrases. Author matches published credits. Year applies to posts; wiki entries have no author or publication year. You can also use author:"Ada" or type:podcast in non-regex searches.
author:"Ada"
type:podcast
Explore articles, conversations, and the wiki.
Articles, conversations, profiles, and grounded writeups.
Select Apply filters to update results.
Search or filters have changed. The results below still show the previous search; select Search or Apply filters to update them.
2092 results
Andon Labs cofounder and Vending-Bench coauthor studying whether autonomous AI agents can sustain coherent decisions and run businesses.
An AI mathematics company developing formal theorem provers and Lean infrastructure, with a stated expansion into provably correct code, cryptography, and quantitative finance.
Formal proofs give AI a checkable target for learning and generation. Axiom’s challenge extends from finding proofs to specifying the right problem, managing large searches, and making results reusable.
An open-source model-training framework that grew from YAML-configured fine-tuning into reinforcement learning, multimodal training and distributed post-training.
Hungarian technologist and Agent Community founder working on AI-agent identity, discovery, and machine-readable publishing.
AI researcher and technology leader whose work includes Jamba’s hybrid language models and a case for input-specific, resource-aware AI execution.
Sign in with Google, or get the newsletter by email.
Loading Google sign-in…
Free. Change your preferences or unsubscribe any time.
Uncheck all to create an account without newsletter emails.
Discover technical newsletters we recommend, then explore Latent Space membership. Both are optional.
Your newsletter choice is optional. How we use your account data.
Please enable JavaScript to sign in or subscribe. You can still read the articles.
