gopiandcode

Recent Submissions

1. 1. ▲ Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me) 3 points · 29 days ago · 9 comments
2. 2. ▲ Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me) 27 points · 4 months ago · 5 comments
3. 3. ▲ LLMs pose an interesting problem for DSL designers (kirancodes.me) 220 points · 6 months ago · 151 comments
4. 4. ▲ The looming problem of slow and brittle proofs in SMT verification (kirancodes.me) 4 points · 6 months ago · 0 comments
5. 5. ▲ How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me) 81 points · 7 months ago · 17 comments
6. 6. ▲ Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me) 6 points · 9 months ago · 1 comment
7. 7. ▲ LeanSSR: An SSReflect-Like Tactic Language for Lean (github.com) 2 points · 1 year ago · 0 comments
8. 8. ▲ Sisyphus – Mostly Automated Proof Repair for Verified Libraries (verse-lab.github.io) 2 points · 2 years ago · 0 comments
9. 9. ▲ Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (github.com) 2 points · 2 years ago · 0 comments
10. 10. ▲ Petrol: Embedding a type-safe SQL API in OCaml using GADTs (gopiandcode.uk) 3 points · 2 years ago · 0 comments