New comment by schlich in "Bend – A language that blocks AI mistakes via proof, on CPU and GPU"

schlich — Fri, 18 Sep 2026 11:30:11 +0000

you might be interested in property-based testing, which somewhat enumerates tests based on invariance and induction

New comment by schlich in "Neural Boids"

schlich — Sun, 08 Mar 2026 21:41:49 +0000

Cool stuff! It's an interesting approach to the starling phenomenon. I'm familiar with the phenomenon through the lens of phase transitions and the critical point, which you allude to in the article briefly. Any further thoughts on how your neural-network based approach maps conceptually to the critical point and related models of emergent behavior?

Hacker News: schlich

New comment by schlich in "Bend – A language that blocks AI mistakes via proof, on CPU and GPU"

New comment by schlich in "Neural Boids"