2 stories from 2 submitters
  1. 5
    Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations ml plt gopiandcode.uk
    brendan avatar via brendan 3 months ago | cached | no comments
  2. 37
    Bloom filters debunked: Dispelling 30 Years of bad math with Coq compsci gopiandcode.uk
    mooreds avatar via mooreds 9 months ago | cached | 6 comments