gopiandcode.uk: 7 stories from 6 submitters

  1. 18
    Rhombus: A New Spin on Macros Without All the Parentheses pdf plt gopiandcode.uk
    Decabytes avatar via Decabytes 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  2. 7
    Petrol: embedding a type-safe SQL API in OCaml using GADTs databases ml gopiandcode.uk
    zem avatar via zem 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 54
    How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost ml web gopiandcode.uk
    jmiven avatar via jmiven 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 22
    Racket->Rhombus: To Sexp or not to Sexp? lisp gopiandcode.uk
    zem avatar via zem 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  5. 26
    Goodbye C developers: The future of programming with certified program synthesis formalmethods programming gopiandcode.uk
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  6. 5
    Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations ml plt gopiandcode.uk
    brendan avatar via brendan 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 37
    Bloom filters debunked: Dispelling 30 Years of bad math with Coq compsci gopiandcode.uk
    mooreds avatar via mooreds 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments