Submissions from kirancodes.me

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