Top
New
Ask
Show
gopiandcode
pronouns: she/her
url: kirancodes.me
1108 karma
LLMs pose an interesting problem for DSL designers
220 points by
gopiandcode
3 weeks ago |
151 comments
The looming problem of slow and brittle proofs in SMT verification
4 points by
gopiandcode
1 month ago |
0 comments
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
81 points by
gopiandcode
2 months ago |
17 comments
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
6 points by
gopiandcode
4 months ago |
1 comment
LeanSSR: An SSReflect-Like Tactic Language for Lean
2 points by
gopiandcode
1 year ago |
0 comments
Sisyphus – Mostly Automated Proof Repair for Verified Libraries
2 points by
gopiandcode
1 year ago |
0 comments
Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect
2 points by
gopiandcode
2 years ago |
0 comments
Petrol: Embedding a type-safe SQL API in OCaml using GADTs
3 points by
gopiandcode
2 years ago |
0 comments
I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
154 points by
gopiandcode
2 years ago |
108 comments
LLaMA-based Emacs Search plugin
2 points by
gopiandcode
2 years ago |
0 comments
Show HN: A web front end for your Org-files
92 points by
gopiandcode
2 years ago |
13 comments