HN Explorer

gopiandcode

↗ HN profile [ 104 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Pact: Trustworthy Coordination for Multi-Agentic Ecosystems (basis.ai)
    3 points 0
  2. Building an Unverified Compiler with Agents (basis.ai)
    2 points 0
  3. Lean proved this program was correct; then I found a bug (kirancodes.me)
    7 points 1
  4. Buffer Overflow in Lean_io_prim_handle_read (github.com)
    2 points 1
  5. Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me)
    1 points 0
  6. Vibe-Coding a Verified Compiler (JS-2-WASM) (docs.google.com)
    3 points 1
  7. Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me)
    3 points 4
  8. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points 2
  9. LLMs pose an interesting problem for DSL designers (kirancodes.me)
    220 points 156
  10. The looming problem of slow and brittle proofs in SMT verification (kirancodes.me)
    4 points 0
  11. How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
    81 points 17
  12. 1 points 0
  13. Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)
    6 points 1
  14. 1 points 0
  15. 1 points 0
  16. LeanSSR: An SSReflect-Like Tactic Language for Lean (github.com)
    2 points 0
  17. 1 points 0
  18. Sisyphus – Mostly Automated Proof Repair for Verified Libraries (verse-lab.github.io)
    2 points 0
  19. Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (github.com)
    2 points 0
  20. Petrol: Embedding a type-safe SQL API in OCaml using GADTs (gopiandcode.uk)
    3 points 0
  21. I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost (gopiandcode.uk)
    154 points 111
  22. LLaMA-based Emacs Search plugin (old.reddit.com)
    2 points 0
  23. Show HN: A web front end for your Org-files (codeberg.org)
    92 points 13
  24. Unifying fold left and fold right in Prolog (gopiandcode.uk)
    90 points 16
  25. Racket-Rhombus: To Sexp or Not to Sexp? (gopiandcode.uk)
    2 points 0