HeyJaredGergely Orosz
- Indexed articles, last 90 days
- 10
- Latest publication
- Jul 29, 2026
- Outlet visibility, for The Pragmatic Engineer
- Top 1M sites
- Earliest in this view
- Jul 7, 2026
The latest indexed work is over 30 days old. There may be a gap in what we hold.
Publications and shows
Follow each one to get its work from every platform.
Latest articles
Formal methods with Hillel Wayne (opens the original)
Read excerpt
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. • turbopuffer – a vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable. • WorkOS – everything you need to make your app enterprise ready. — There’s a popular theory that AI will finally make formal verification mainstream because mathematical proof of correctness will be needed when machines write mos
How building software is changing at Anthropic (opens the original)
Read excerpt
A deepdive on what’s changed in how the leading AI lab makes software. Ever more code review and testing is done by AI, two-pizza teams very much alive, and more. Details from inside of Anthropic
The Pulse: Quitting Spotify Podcasts over reliability (opens the original)
Read excerpt
Also: Chinese open models match closed ones from Anthropic and OpenAI, AWS’s “heart-attack” billing error, and more
Pushing software engineering limits with “napkin math” (opens the original)
Read excerpt
Turbopuffer cofounder Simon Eskildsen on the benefits of longer tenure, using first principles to build durable software – and why founders should be cautious when raising VC money
The Pulse: Grok’s CLI caught uploading all your local files to the cloud (opens the original)
Read excerpt
Also: engineering leaders concerned about continued increase in code review load, devs at enterprises surprised by high enterprise pricing, and more
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
Top 1M sites
For The Pragmatic Engineer, the outlet · Measured Aug 1, 2026
Website popularity band, not a count of readers or article views.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.