AWS - Frontier Models

There are 184 items in this page

10:07

Deep Dives1 month ago

Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for Engineers — Varun Pant, AWS

Varun Pant, an AWS engineer leading formal verification teams, makes the case that as AI coding agents generate hundreds of thousands...

01:02:30

Interviews1 month ago

The Evolution of Computers

In this a16z conversation, two investors — described as systems and product people — work through the strategic and philosophical que...

02:54:21

Interviews1 month ago

Cloud AI @Arm & a View from China

The Cognitive Revolution podcast, hosted by Nathan and co-host, opens with a discussion of their entirely vibe-coded live streaming s...

13:53

Case Studies2 months ago

My current agentic coding workflow

Web Dev Cody walks through his current agentic coding setup centered on Nebula, a custom CLI tool he built to replace his earlier Ele...

13:22

News & Opinion2 months ago

Building Agents Is Trivial Now, Context Is the Next Frontier — Jeff Ng, Unblocked

Jeff Ng, founding engineer at Unblocked, opens by surveying how much agent deployment has been simplified by cloud infrastructure pla...

18:18

News & Opinion2 months ago

Prototyping as Leadership: How a CTO Ships with AI Agents — Hursh Agrawal, The Browser Company

Hursh Agrawal, CTO and co-founder of The Browser Company (makers of Arc and Dia), presents at AI Engineer on how engineering leaders...

16:17

News & Opinion2 months ago

IT Admin for the AI Workforce — Sarthak Aggarwal, Decawork

Sarthak Aggarwal, co-founder of Decawork (previously at NVIDIA system software), presents at AI Engineer on why enterprises need to t...

10:30

Benchmarks2 months ago

Ornith-1.5-9B: Great on Paper, Struggled in My Tests Locally

Fahd Mirza tests the Ornith 1.5 9B model — the smallest and densest member of the Ornith 1.5 family — on a single NVIDIA A100 with 80...

11:36

Coding & Builds2 months ago

Dots3-Note Prev: Another Chinese Lab Rising

Fahd Mirza reviews Dot3 Note Preview, the debut model in a new family from Dot Studio — the AI research arm of Xiaohongshu (Red Note)...

19:06

News & Opinion2 months ago

Security Firewall for Agents — Ryan Dahl, Deno

Ryan Dahl, creator of Node.js and CEO of Deno, delivers a conference talk at AI Engineer on the real-world security challenges of giv...