Submissions from kirancodes.me

		Lean proved this program correct; then I found a bug (kirancodes.me)
		145 points by bumbledraven 3 hours ago \| past \| 78 comments
		Lean proved this program was correct; then I found a bug (kirancodes.me)
		6 points by gopiandcode 12 hours ago \| past \| discuss
		Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me)
		1 point by gopiandcode 6 days ago \| past \| discuss
		Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)
		1 point by PaulHoule 3 months ago \| past
		Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)
		1 point by todsacerdoti 3 months ago \| past
		Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me)
		3 points by gopiandcode 4 months ago \| past \| 9 comments
		Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
		4 points by fanf2 7 months ago \| past
		Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
		7 points by pabs3 8 months ago \| past \| 1 comment
		Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
		27 points by gopiandcode 8 months ago \| past \| 5 comments
		Building static websites for dummies (2024) (kirancodes.me)
		2 points by ode 9 months ago \| past
		LLMs pose an interesting problem for DSL designers (kirancodes.me)
		220 points by gopiandcode 10 months ago \| past \| 151 comments
		The looming problem of slow and brittle proofs in SMT verification (kirancodes.me)
		4 points by gopiandcode 10 months ago \| past
		How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
		81 points by gopiandcode 11 months ago \| past \| 17 comments
		Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)
		4 points by dunefox on March 31, 2025 \| past
		Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)
		6 points by gopiandcode on March 8, 2025 \| past \| 1 comment
		Petrol: Embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me)
		2 points by thunderbong on Jan 28, 2025 \| past
		Petrol: Embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me)
		2 points by todsacerdoti on Jan 26, 2025 \| past

HN For You