| user: | gopiandcode |
| created: | June 5, 2019 |
| karma: | 1.2k |
| about: | pronouns: she/her url: kirancodes.me |
| 1. | |
| 2. | |
| 3. | Lean proved this program was correct; then I found a bug(kirancodes.me) |
| 4. | Buffer Overflow in Lean_io_prim_handle_read(github.com) |
| 5. | |
| 6. | Vibe-Coding a Verified Compiler (JS-2-WASM)(docs.google.com) |
| 7. | Humanity is stained by C and no LLM can rewrite it in Rust(kirancodes.me) |
| 8. | Why Lean 4 replaced OCaml as my Primary Language(kirancodes.me) |
| 9. | LLMs pose an interesting problem for DSL designers(kirancodes.me) |
| 10. |