Quinn

Karma: 1,605

https://for-all.dev

AI security via formal methods

https://newsletter.for-all.dev

Patching ~All Security-Relevant Open-Source Software? [niplav 2025]

Quinn19 Jun 2026 12:13 UTC

15 points

1 comment1 min readLW link

(forum.effectivealtruism.org)

Apr-May 2026 AI Security via Formal Methods

Quinn21 May 2026 15:40 UTC

12 points

0 comments1 min readLW link

(newsletter.for-all.dev)

[exploding note] Apply to Mentor Secure Program Synthesis Fellowship by May 5th

Quinn28 Apr 2026 18:50 UTC

6 points

0 comments1 min readLW link

(newsletter.for-all.dev)

Can We Secure AI With Formal Methods? January-March 2026

Quinn2 Apr 2026 18:50 UTC

10 points

0 comments6 min readLW link

(newsletter.for-all.dev)

How to Solve Secure Program Synthesis

Max von Hippel, Simon Henniger, miyazono and Quinn

30 Mar 2026 20:12 UTC

23 points

0 comments11 min readLW link

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

Quinn and Max von Hippel

12 Jan 2026 22:32 UTC

102 points

11 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