RSS

Quinn

Karma: 1,535

https://​​for-all.dev

AI security via formal methods

https://​​newsletter.for-all.dev

Lies, Damned Lies, and Proofs: For­mal Meth­ods are not Slopless

12 Jan 2026 22:32 UTC
102 points
9 comments7 min readLW link

Can We Se­cure AI With For­mal Meth­ods? Novem­ber-De­cem­ber 2025

Quinn29 Nov 2025 14:10 UTC
9 points
0 comments11 min readLW link
(newsletter.for-all.dev)

For­mal con­fine­ment prototype

Quinn24 Nov 2025 12:57 UTC
8 points
0 comments1 min readLW link
(github.com)

Please Mea­sure Ver­ifi­ca­tion Burden

Quinn23 Nov 2025 17:25 UTC
17 points
4 comments4 min readLW link

Beliefs about for­mal meth­ods and AI safety

Quinn23 Oct 2025 16:43 UTC
32 points
1 comment5 min readLW link

July-Oc­to­ber 2025 Progress in Guaran­teed Safe AI

Quinn22 Oct 2025 2:30 UTC
15 points
2 comments7 min readLW link
(gsai.substack.com)

Griz­zly Man screen­ing, tacos, car­l­smith discussion

Quinn21 Jul 2025 19:48 UTC
6 points
0 comments1 min readLW link

May-June 2025 Progress in Guaran­teed Safe AI

Quinn26 Jun 2025 21:30 UTC
8 points
0 comments4 min readLW link
(gsai.substack.com)

Trou­ble at Min­ing­town: Prologue

Quinn24 Apr 2025 19:09 UTC
19 points
0 comments4 min readLW link

March-April 2025 Progress in Guaran­teed Safe AI

Quinn20 Apr 2025 19:00 UTC
6 points
0 comments4 min readLW link
(gsai.substack.com)

Jan­uary-Fe­bru­ary 2025 Progress in Guaran­teed Safe AI

Quinn28 Feb 2025 3:10 UTC
15 points
1 comment8 min readLW link
(gsai.substack.com)

Novem­ber-De­cem­ber 2024 Progress in Guaran­teed Safe AI

Quinn22 Jan 2025 1:20 UTC
17 points
0 comments4 min readLW link
(gsai.substack.com)

Plau­si­bly Fac­tor­ing Con­jec­tures

22 Nov 2024 20:11 UTC
22 points
4 comments10 min readLW link

Oc­to­ber 2024 Progress in Guaran­teed Safe AI

Quinn28 Oct 2024 23:34 UTC
7 points
0 comments1 min readLW link
(gsai.substack.com)

Speedrun­ning 4 mis­takes you make when your al­ign­ment strat­egy is based on for­mal proof

Quinn16 Feb 2023 1:13 UTC
63 points
18 comments2 min readLW link

Mid-At­lantic AI Align­ment Alli­ance 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 au­dit (logic and co­op­er­a­tive AI)

Quinn30 Nov 2022 6:10 UTC
17 points
5 comments7 min readLW link

What is es­ti­ma­tional pro­gram­ming? Squig­gle in context

Quinn12 Aug 2022 18:39 UTC
14 points
7 comments7 min readLW link

Abun­dance and scarcity; work­ing for­wards and work­ing backwards

Quinn18 Feb 2022 19:05 UTC
29 points
4 comments8 min readLW link