gopiandcode

Recent Submissions

1. 1. ▲ PL research is dead, the age of PL exploration is just beginning (kirancodes.me) 2 points · 5 days ago · 0 comments
2. 2. ▲ Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com) 5 points · 2 months ago · 0 comments
3. 3. ▲ Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack (basis.ai) 4 points · 2 months ago · 0 comments
4. 4. ▲ Pact: Trustworthy Coordination for Multi-Agentic Ecosystems (basis.ai) 3 points · 5 months ago · 0 comments
5. 5. ▲ Building an Unverified Compiler with Agents (basis.ai) 2 points · 5 months ago · 0 comments
6. 6. ▲ Lean proved this program was correct; then I found a bug (kirancodes.me) 7 points · 5 months ago · 0 comments
7. 7. ▲ Buffer Overflow in Lean_io_prim_handle_read (github.com) 2 points · 5 months ago · 1 comment
8. 8. ▲ Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me) 1 point · 6 months ago · 0 comments
9. 9. ▲ Vibe-Coding a Verified Compiler (JS-2-WASM) (docs.google.com) 3 points · 7 months ago · 1 comment
10. 10. ▲ Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me) 3 points · 10 months ago · 9 comments