oursignal

#formalmethods All stories

1. Creusot 0.14.0

   

   devlog.creusot.rs 5 min read

2. Quint: executable specifications for reliable systems

   

   quint-lang.org 1 min read

3. Program verification is not all-or-nothing

   

   lawrencecpaulson.github.io 5 min read

4. GitHub - AxiomCodeAI/axiomcodegraph: Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

   

   github.com 18 min read

5. The Landscape of Lisp - Church of Turing

   

   churchofturing.github.io 20 min read

6. `find` + `mkdir` is Turing complete

   

   ogiekako.vercel.app 7 min read

7. Pragmatic Category Theory | Part 1: Semigroup Intro

   

   dev.to 3 min read

8. piantadosi2026mathematics.pdf

   

   colala.berkeley.edu 3 min read

9. Jepsen Test on Patroni: A PostgreSQL High Availability Solution | Bin Wang - My Personal Blog

   

   www.binwang.me 20 min read

10. Closing Keynote with Leslie Lamport | SCALE 22x

    

    www.socallinuxexpo.org

11. The Hitchhiker's Guide to Logical Verification - hitchhikersguide.pdf

    

    browncs1951x.github.io 2 min read

12. Five Worlds of AI (a joint post with Boaz Barak)

    

    scottaaronson.blog 11 min read

13. PGO or not PGO this is the dilemma. Step 2

    

    www.percona.com 6 min read

14. A Turing Test for Physical Engineering

    

    www.spectrallabs.ai 26 min read

15. Arithmetic with Continued Fractions

    

    perl.plover.com 2 min read

16. Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic

    

    arxiv.org 1 min read

That's all 16. The list refreshes every minute.