Submissions from kirancodes.me

		Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)
		1 point by PaulHoule 49 days ago \| past
		Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)
		1 point by todsacerdoti 69 days ago \| past
		Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me)
		3 points by gopiandcode 3 months ago \| past \| 9 comments
		Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
		4 points by fanf2 5 months ago \| past
		Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
		7 points by pabs3 6 months ago \| past \| 1 comment
		Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
		27 points by gopiandcode 6 months ago \| past \| 5 comments
		Building static websites for dummies (2024) (kirancodes.me)
		2 points by ode 8 months ago \| past
		LLMs pose an interesting problem for DSL designers (kirancodes.me)
		220 points by gopiandcode 8 months ago \| past \| 151 comments
		The looming problem of slow and brittle proofs in SMT verification (kirancodes.me)
		4 points by gopiandcode 8 months ago \| past
		How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
		81 points by gopiandcode 9 months ago \| past \| 17 comments
		Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)
		4 points by dunefox 11 months ago \| past
		Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)
		6 points by gopiandcode 12 months ago \| 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