3 stories from 3 submitters
  1. 26
    Goodbye C developers: The future of programming with certified program synthesis formalmethods programming gopiandcode.uk
    sergeyb avatar via sergeyb 4 months ago | cached | 32 comments
  2. 5
    Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations ml plt gopiandcode.uk
    brendan avatar via brendan 10 months ago | cached | no comments
  3. 37
    Bloom filters debunked: Dispelling 30 Years of bad math with Coq compsci gopiandcode.uk
    mooreds avatar via mooreds 1 year ago | cached | 6 comments