Clark Barrett

2 recommended products

Everything Clark personally uses, recommends, or has created — plus things they don't recommend — sourced from their own show and appearances on other podcasts.

Top picks

Ranked by repeated personal use, excluding sponsorships.

Lean

Personal use in 1 episode

"We're using Lean. If you don't know what that is, you know, climb out from under a rock. Lean is a great theorem proving system. It basically is a system that lets you check... the system itself checks every step. It doesn't let you make a mistake."

▶ 21:19

Created by Clark: Lean SMT Verisforge

Recent episodes

All →

AI Safety Fact vs. Fiction | YC Paper Club

Oct 17 · 4 recs

Show: All 3 | uses recommends mentions

Showing 3 of 5 products

Clear filters

Waymo mentions product

Mentioned in 1 episode

"I think the Waymo comparison is an interesting one, right? Like Waymo's not perfect, but according to them, it is saving lives."

From: AI Safety Fact vs. Fiction | YC Paper Club • ▶ 1:22:01 • Oct 17, 2026

Mathlib mentions software

Mentioned in 1 episode

"CSLib is inspired by the success of Mathlib for mathematics."

From: AI Safety Fact vs. Fiction | YC Paper Club • ▶ 20:58 • Oct 17, 2026

Amazon Automated Reasoning Checks mentions software

Mentioned in 1 episode

"Amazon has a technology called automated reasoning checks, where they actually look at the responses of an LLM and they try to extract, using auto-formalization, what the domain knowledge is that the LLM's trying to communicate, and then they check that against a rigorous domain model."

From: AI Safety Fact vs. Fiction | YC Paper Club • ▶ 1:17:11 • Oct 17, 2026

2 recommended · 0 sponsored · 0 warned against · 0 episodes