Quinn

Karma: 1,535

https://for-all.dev

AI security via formal methods

https://newsletter.for-all.dev

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless

Quinn and Max von Hippel

12 Jan 2026 22:32 UTC

102 points

9 comments7 min readLW link

Can We Secure AI With Formal Methods? November-December 2025

Quinn29 Nov 2025 14:10 UTC

9 points

0 comments11 min readLW link

(newsletter.for-all.dev)

Formal confinement prototype

Quinn24 Nov 2025 12:57 UTC

8 points

0 comments1 min readLW link

(github.com)

Please Measure Verification Burden

Quinn23 Nov 2025 17:25 UTC

17 points

4 comments4 min readLW link

Beliefs about formal methods and AI safety

Quinn23 Oct 2025 16:43 UTC

32 points

1 comment5 min readLW link

July-October 2025 Progress in Guaranteed Safe AI

Quinn22 Oct 2025 2:30 UTC

15 points

2 comments7 min readLW link

(gsai.substack.com)

Grizzly Man screening, tacos, carlsmith discussion

Quinn21 Jul 2025 19:48 UTC

6 points

0 comments1 min readLW link

May-June 2025 Progress in Guaranteed Safe AI

Quinn26 Jun 2025 21:30 UTC

8 points

0 comments4 min readLW link

(gsai.substack.com)

Trouble at Miningtown: Prologue

Quinn24 Apr 2025 19:09 UTC

19 points

0 comments4 min readLW link

March-April 2025 Progress in Guaranteed Safe AI

Quinn20 Apr 2025 19:00 UTC

6 points

0 comments4 min readLW link

(gsai.substack.com)

January-February 2025 Progress in Guaranteed Safe AI

Quinn28 Feb 2025 3:10 UTC

15 points

1 comment8 min readLW link

(gsai.substack.com)

November-December 2024 Progress in Guaranteed Safe AI

Quinn22 Jan 2025 1:20 UTC

17 points

0 comments4 min readLW link

(gsai.substack.com)

Plausibly Factoring Conjectures

Quinn and dspivak

22 Nov 2024 20:11 UTC

22 points

4 comments10 min readLW link

October 2024 Progress in Guaranteed Safe AI

Quinn28 Oct 2024 23:34 UTC

7 points

0 comments1 min readLW link

(gsai.substack.com)

Speedrunning 4 mistakes you make when your alignment strategy is based on formal proof

Quinn16 Feb 2023 1:13 UTC

63 points

18 comments2 min readLW link

Mid-Atlantic AI Alignment Alliance Unconference

Quinn13 Jan 2023 20:33 UTC

7 points

2 comments1 min readLW link

Riffing on the agent type

Quinn8 Dec 2022 0:19 UTC

21 points

3 comments4 min readLW link

Master plan spec: needs audit (logic and cooperative AI)

Quinn30 Nov 2022 6:10 UTC

17 points

5 comments7 min readLW link

What is estimational programming? Squiggle in context

Quinn12 Aug 2022 18:39 UTC

14 points

7 comments7 min readLW link

Abundance and scarcity; working forwards and working backwards

Quinn18 Feb 2022 19:05 UTC

29 points

4 comments8 min readLW link