Projects to Know Issue 128
Read Now
Portfolio
About Us
About Amplify
Working With Us
Team
Writing
Amplify Bio
Menu
Writing
All
AI and ML
Bio
Engineering and Infrastructure
Thoughts
Misc.
Legal
Recruiting
Sales
Marketing
Amplify News
Portfolio Spotlight
Funding News
Feature
The Agentic Mullet: code in the front, proofs in the back
Types and theorem provers: why formal verification matters in the age of AI code.
AI and ML
The Agentic Mullet: code in the front, proofs in the back
AI and ML
Arming the rebels with GPUs: Gradium, Kyutai, and Audio AI
AI and ML
How to build AI into your technical product: lessons from top CEOs and CTOs
AI and ML
How Hightouch built their long-running agent harness
AI and ML
Portfolio Spotlight
More Writing
The Agentic Mullet: code in the front, proofs in the back
AI and ML
Arming the rebels with GPUs: Gradium, Kyutai, and Audio AI
AI and ML
Portfolio Spotlight
How to build AI into your technical product: lessons from top CEOs and CTOs
AI and ML
Thoughts
How Hightouch built their long-running agent harness
AI and ML
Engineering and Infrastructure
How AI web search works
AI and ML
NeurIPS 2025 Recap
AI and ML
Maximizing generation efficiency during RL training
AI and ML
Engineering and Infrastructure
Self play and autocurricula In the age of agents
AI and ML
Load more
Subscribe
Join the newsletter
Success! You’re on the list, check your inbox
Oops! Something went wrong while submitting the form.
