gopiandcode

LLMs pose an interesting problem for DSL designers

220 points by gopiandcode 3 weeks ago | 151 comments

The looming problem of slow and brittle proofs in SMT verification

4 points by gopiandcode 1 month ago | 0 comments

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

81 points by gopiandcode 2 months ago | 17 comments

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

6 points by gopiandcode 4 months ago | 1 comment

LeanSSR: An SSReflect-Like Tactic Language for Lean

2 points by gopiandcode 1 year ago | 0 comments

Sisyphus – Mostly Automated Proof Repair for Verified Libraries

2 points by gopiandcode 1 year ago | 0 comments

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

2 points by gopiandcode 2 years ago | 0 comments

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

3 points by gopiandcode 2 years ago | 0 comments

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

154 points by gopiandcode 2 years ago | 108 comments

LLaMA-based Emacs Search plugin

2 points by gopiandcode 2 years ago | 0 comments

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

92 points by gopiandcode 2 years ago | 13 comments