| | Racket->Rhombus: To Sexp or Not to Sexp? (gopiandcode.uk) |
|
2 points by g0xA52A2A on Sept 17, 2023 | past
|
|
| | Rhombus: A New Spin on Macros Without All the Parentheses [pdf] (gopiandcode.uk) |
|
7 points by todsacerdoti on Sept 13, 2023 | past
|
|
| | Petrol: Embedding a type-safe SQL API in OCaml using GADTs (gopiandcode.uk) |
|
3 points by gopiandcode on April 24, 2023 | past
|
|
| | I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost (gopiandcode.uk) |
|
154 points by gopiandcode on April 23, 2023 | past | 108 comments
|
|
| | Unifying fold left and fold right in Prolog (gopiandcode.uk) |
|
90 points by gopiandcode on Aug 26, 2022 | past | 15 comments
|
|
| | Racket-Rhombus: To Sexp or Not to Sexp? (gopiandcode.uk) |
|
2 points by gopiandcode on Aug 25, 2022 | past
|
|
| | The future of programming with certified program synthesis (gopiandcode.uk) |
|
84 points by tluyben2 on July 6, 2021 | past | 92 comments
|
|
| | The future of programming with certified program synthesis (gopiandcode.uk) |
|
2 points by matt_d on July 5, 2021 | past | 1 comment
|
|
| | Goodbye C developers: The future of programming with certified program synthesis (gopiandcode.uk) |
|
5 points by gopiandcode on July 5, 2021 | past | 2 comments
|
|
| | Testing out Algebraic effects in OCaml for Animations (gopiandcode.uk) |
|
1 point by BadInformatics on Jan 15, 2021 | past
|
|
| | Friendship ended with Monads: Testing out Algebraic effects in OCaml (gopiandcode.uk) |
|
4 points by matt_d on Jan 7, 2021 | past
|
|
| | FrTesting out Algebraic effects in OCaml for Animations (gopiandcode.uk) |
|
1 point by monoideism on Jan 2, 2021 | past | 1 comment
|
|
| | Testing Out Algebraic Effects in OCaml for Game Animations (gopiandcode.uk) |
|
3 points by gopiandcode on Jan 2, 2021 | past
|
|
| | Bloom filters debunked: Dispelling 30 Years of bad math with Coq (gopiandcode.uk) |
|
472 points by gopiandcode on July 25, 2020 | past | 126 comments
|
|
