| 1. | | Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me) |
| 1 point by gopiandcode 1 day ago | past | discuss |
|
| 2. | | Vibe-Coding a Verified Compiler (JS-2-WASM) (docs.google.com) |
| 3 points by gopiandcode 30 days ago | past | 1 comment |
|
| 3. | | Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me) |
| 3 points by gopiandcode 4 months ago | past | 9 comments |
|
| 4. | | Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me) |
| 27 points by gopiandcode 7 months ago | past | 5 comments |
|
| 5. | | LLMs pose an interesting problem for DSL designers (kirancodes.me) |
| 220 points by gopiandcode 9 months ago | past | 151 comments |
|
| 6. | | The looming problem of slow and brittle proofs in SMT verification (kirancodes.me) |
| 4 points by gopiandcode 10 months ago | past |
|
| 7. | | How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me) |
| 81 points by gopiandcode 11 months ago | past | 17 comments |
|
| 8. | | Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me) |
| 6 points by gopiandcode on March 8, 2025 | past | 1 comment |
|
| 9. | | LeanSSR: An SSReflect-Like Tactic Language for Lean (github.com/verse-lab) |
| 2 points by gopiandcode on March 25, 2024 | past |
|
| 10. | | Sisyphus – Mostly Automated Proof Repair for Verified Libraries (verse-lab.github.io) |
| 2 points by gopiandcode on July 24, 2023 | past |
|
| 11. | | Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (github.com/gopiandcode) |
| 2 points by gopiandcode on May 25, 2023 | past |
|
| 12. | | Petrol: Embedding a type-safe SQL API in OCaml using GADTs (gopiandcode.uk) |
| 3 points by gopiandcode on April 24, 2023 | past |
|
| 13. | | I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost (gopiandcode.uk) |
| 154 points by gopiandcode on April 23, 2023 | past | 108 comments |
|
| 14. | | LLaMA-based Emacs Search plugin (reddit.com) |
| 2 points by gopiandcode on March 26, 2023 | past |
|
| 15. | | Show HN: A web front end for your Org-files (codeberg.org/gopiandcode) |
| 92 points by gopiandcode on Dec 2, 2022 | past | 13 comments |
|
| 16. | | Unifying fold left and fold right in Prolog (gopiandcode.uk) |
| 90 points by gopiandcode on Aug 26, 2022 | past | 15 comments |
|
| 17. | | Racket-Rhombus: To Sexp or Not to Sexp? (gopiandcode.uk) |
| 2 points by gopiandcode on Aug 25, 2022 | past |
|
| 18. | | Goodbye C developers: The future of programming with certified program synthesis (gopiandcode.uk) |
| 5 points by gopiandcode on July 5, 2021 | past | 2 comments |
|
| 19. | | Testing Out Algebraic Effects in OCaml for Game Animations (gopiandcode.uk) |
| 3 points by gopiandcode on Jan 2, 2021 | past |
|
| 20. | | Bloom filters debunked: Dispelling 30 Years of bad math with Coq (gopiandcode.uk) |
| 472 points by gopiandcode on July 25, 2020 | past | 126 comments |
|
| 21. | | Structural OCaml Editing in Emacs (ocaml.org) |
| 138 points by gopiandcode on March 14, 2020 | past | 9 comments |
|
