gopiandcode

1,203 karmajoined June 5, 2019On HN

pronouns: she/her

url: kirancodes.me

Recent submissions

Kernel accepts wrong-structure projections, allowing axiom-free proof of False github.com/leanprover
5gopiandcode1modiscuss
Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack basis.ai
4gopiandcode1modiscuss
Pact: Trustworthy Coordination for Multi-Agentic Ecosystems basis.ai
3gopiandcode4modiscuss
Building an Unverified Compiler with Agents basis.ai
2gopiandcode4modiscuss
Lean proved this program was correct; then I found a bug kirancodes.me
7gopiandcode5modiscuss
Buffer Overflow in Lean_io_prim_handle_read github.com/leanprover
2gopiandcode5mo1 comment
Multi-Agentic Software Development Is a Distributed Systems Problem kirancodes.me
1gopiandcode5modiscuss
Vibe-Coding a Verified Compiler (JS-2-WASM)docs.google.com
3gopiandcode6mo1 comment
Humanity is stained by C and no LLM can rewrite it in Rust kirancodes.me
3gopiandcode9mo9 comments
Why Lean 4 replaced OCaml as my Primary Language kirancodes.me
27gopiandcode1y5 comments
LLMs pose an interesting problem for DSL designers kirancodes.me
220gopiandcode1y151 comments
The looming problem of slow and brittle proofs in SMT verification kirancodes.me
4gopiandcode1ydiscuss
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean kirancodes.me
81gopiandcode1y17 comments
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml kirancodes.me
6gopiandcode1y1 comment
LeanSSR: An SSReflect-Like Tactic Language for Lean github.com/verse-lab
2gopiandcode2ydiscuss
Sisyphus – Mostly Automated Proof Repair for Verified Libraries verse-lab.github.io
2gopiandcode3ydiscuss
Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect github.com/Gopiandcode
2gopiandcode3ydiscuss
Petrol: Embedding a type-safe SQL API in OCaml using GADTs gopiandcode.uk
3gopiandcode3ydiscuss
I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost gopiandcode.uk
154gopiandcode3y108 comments
LLaMA-based Emacs Search plugin old.reddit.com
2gopiandcode3ydiscuss
Show HN: A web front end for your Org-files codeberg.org
92gopiandcode3y13 comments
Unifying fold left and fold right in Prolog gopiandcode.uk
90gopiandcode4y15 comments

All submissions and comments on Hacker News.