from Hacker News

gopiandcode

joined 6/5/19, 8:23 PM has 1108 karma

• LLMs pose an interesting problem for DSL designers

  by gopiandcode on 6/17/25, 7:17 PM, with 151 comments

• The looming problem of slow and brittle proofs in SMT verification

  by gopiandcode on 6/8/25, 9:55 PM, with 0 comments

• How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

  by gopiandcode on 5/9/25, 1:00 AM, with 17 comments

• Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml

  by gopiandcode on 3/8/25, 4:18 AM, with 1 comments

• LeanSSR: An SSReflect-Like Tactic Language for Lean

  by gopiandcode on 3/25/24, 2:28 AM, with 0 comments

• Sisyphus – Mostly Automated Proof Repair for Verified Libraries

  by gopiandcode on 7/24/23, 3:57 AM, with 0 comments

• Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect

  by gopiandcode on 5/25/23, 9:36 AM, with 0 comments

• Petrol: Embedding a type-safe SQL API in OCaml using GADTs

  by gopiandcode on 4/24/23, 4:10 AM, with 0 comments

• I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

  by gopiandcode on 4/23/23, 10:56 AM, with 108 comments

• LLaMA-based Emacs Search plugin

  by gopiandcode on 3/26/23, 3:49 AM, with 0 comments

• Show HN: A web front end for your Org-files

  by gopiandcode on 12/2/22, 1:03 PM, with 13 comments

• Unifying fold left and fold right in Prolog

  by gopiandcode on 8/26/22, 5:03 PM, with 15 comments

• Racket-Rhombus: To Sexp or Not to Sexp?

  by gopiandcode on 8/25/22, 5:51 AM, with 0 comments