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
Where's the creativity in creative AI tools?
AI and ML
Thoughts
Datology's distributed pipelines for handling PBs of image data
AI and ML
Portfolio Spotlight
The AI research experimentation problem
AI and ML
Thoughts
How Modal built a data cloud from the ground up
AI and ML
Engineering and Infrastructure
Agents are just workflows, really
AI and ML
Engineering and Infrastructure
Previous
Subscribe
Join the newsletter
Success! You’re on the list, check your inbox
Oops! Something went wrong while submitting the form.
