Kernel accepts wrong-structure projections, allowing axiom-free proof of Falsegithub.com·5 pts·gopiandcode·0
How to (actually) prove it – New Frontiers of Mathematics and Computing in Leankirancodes.me·81 pts·gopiandcode·17
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCamlkirancodes.me·6 pts·gopiandcode·1
Sisyphus – Mostly Automated Proof Repair for Verified Librariesverse-lab.github.io·2 pts·gopiandcode·0
Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialectgithub.com·2 pts·gopiandcode·0
I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostgopiandcode.uk·154 pts·gopiandcode·108
Goodbye C developers: The future of programming with certified program synthesisgopiandcode.uk·5 pts·gopiandcode·2
Bloom filters debunked: Dispelling 30 Years of bad math with Coqgopiandcode.uk·472 pts·gopiandcode·126