Hacker News
- I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost https://gopiandcode.uk/logs/log-writing-activitypub.html 108 comments
- Unifying fold left and fold right in Prolog https://gopiandcode.uk/logs/log-unifying-folds.html 15 comments
- The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 92 comments
- Goodbye C developers: The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 2 comments
- Bloom filters debunked: Dispelling 30 Years of bad math with Coq https://gopiandcode.uk/logs/log-bloomfilters-debunked.html 126 comments
Lobsters
- Rhombus: A New Spin on Macros Without All the Parentheses https://gopiandcode.uk/pdfs/rhombus-oopsla23.pdf 7 comments pdf , plt
- Racket->Rhombus: To Sexp or not to Sexp? https://gopiandcode.uk/logs/log-racket-and-rhombus-sexp.html 23 comments lisp
- Goodbye C developers: The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 32 comments formalmethods , programming
- Bloom filters debunked: Dispelling 30 Years of bad math with Coq https://gopiandcode.uk/logs/log-bloomfilters-debunked.html 6 comments compsci
- Petrol: embedding a type-safe SQL API in OCaml using GADTs https://gopiandcode.uk/logs/log-ways-of-sql-in-ocaml.html 4 comments programming
- Petrol: embedding a type-safe SQL API in OCaml using GADTs https://gopiandcode.uk/logs/log-ways-of-sql-in-ocaml.html 3 comments ocaml
- How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost https://gopiandcode.uk/logs/log-writing-activitypub.html 7 comments programming
- Racket->Rhombus: To Sexp or not to Sexp? https://gopiandcode.uk/logs/log-racket-and-rhombus-sexp.html 9 comments racket
- Testing out Algebraic effects in OCaml for Game Animations http://gopiandcode.uk/logs/log-bye-bye-monads-algebraic-effects.html 3 comments ocaml
- Abolish the state! or no? An OCaml Perspective https://gopiandcode.uk/logs/log-abolish-state.html 2 comments ocaml
- Bloom filters debunked: Dispelling 30 Years of bad math with Coq! https://gopiandcode.uk/logs/log-bloomfilters-debunked.html 26 comments programming
- Bloom filters debunked: Dispelling 30 Years of bad math with Coq https://gopiandcode.uk/logs/log-bloomfilters-debunked.html 7 comments math