Boggle Nogs
LLMs pose an interesting problem for DSL designers
(
kirancodes.me
)
216 points
150 comments
The looming problem of slow and brittle proofs in SMT verification
(
kirancodes.me
)
4 points
discuss
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
(
kirancodes.me
)
81 points
17 comments
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
(
kirancodes.me
)
4 points
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
(
kirancodes.me
)
6 points
1 comment
Petrol: Embedding a type-safe SQL API in OCaml using GADTs
(
kirancodes.me
)
2 points
Petrol: Embedding a type-safe SQL API in OCaml using GADTs
(
kirancodes.me
)
2 points
more