gopiandcode.uk: 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 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  2. 5
    Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations ml plt gopiandcode.uk
    brendan avatar via brendan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 37
    Bloom filters debunked: Dispelling 30 Years of bad math with Coq compsci gopiandcode.uk
    mooreds avatar via mooreds 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments