RSS

miyazono

Karma: 77

How to Solve Se­cure Pro­gram Synthesis

Max von Hippel, Simon Henniger, Quinn Dougherty and miyazono
30 Mar 2026 20:12 UTC
19 points
0 comments11 min readLW link

Ret­ro­spec­tive on Math­e­mat­i­cal Boundaries Workshop

miyazono and Chris Lakin
12 May 2024 21:58 UTC
22 points
0 comments4 min readLW link
(formalizingboundaries.substack.com)

An­nounc­ing At­las Computing

miyazono11 Apr 2024 15:56 UTC
45 points
4 comments4 min readLW link