John PooleJun 10

I used ChatGPT + OpenAI Codex to extract a Reticulum protocol specification from the Python implementation.

The result: an explicit SPEC.md, plus audit reports comparing several Reticulum implementations against that specification.

A protocol without a specification is a novel concept to me; now there is something concrete to compare against.

https://salemdata.net/johnpress/?p=861

#Reticulum #Codex #OpenAI #ProtocolDesign #SoftwareSpecification #Python #Rust #EmbeddedSystems #AIcoding

Show threadJesper Agdakx 🔸Sep 30, 2025
Third up: the experience report "Teaching Software Specification" by Cameron Moy and Daniel Patterson. This paper makes the provocative but very good point that (at least) some courses on software verification could actually benefit by teaching formal *specification* instead. I found section 7 (interviews with students who took two very different versions of their course) particularly interesting. I just might have to make some changes to my FP course based on this.

(Also I was glad to see the work of @sarantja on teaching theorem provers getting a mention here!)

dl.acm.org/doi/10.1145/3747533

#SoftwareVerification #SoftwareSpecification #Education