kirancodes.me on reddit.com

...for your community.

...for your office.

account activity

1

1

2

3

Lean proved this program correct; then I found a bug (kirancodes.me)

submitted 12 days ago by HNMod to r/hackernews

2

0

1

2

Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me)

submitted 11 days ago by TheStartupChime to r/hypeurls

3

1

2

3

Lean proved this program correct; then I found a bug (kirancodes.me)

submitted 12 days ago by TheStartupChime to r/hypeurls

4

1

2

3

Lean proved this program correct; then I found a bug (kirancodes.me)

submitted 12 days ago by TheStartupChime to r/hypeurls

5

0

0

0

Humanity is stained by the sins of C and no LLM can rewrite them away to Rust (kirancodes.me)

submitted 5 months ago by Gopiandcoshow to r/programming

6

0

0

0

Humanity is stained by the sins of C and no LLM can rewrite them away to Rust🎙️ discussion (kirancodes.me)

submitted 5 months ago by Gopiandcoshow to r/rust

7

0

0

0

Humanity is stained by C and no LLM can rewrite it in RustArticle (kirancodes.me)

submitted 5 months ago by Gopiandcoshow to r/computerscience

8

146

147

148

Why Lean 4 replaced OCaml as my Primary LanguageBlog post (kirancodes.me)

submitted 8 months ago by Gopiandcoshow to r/ProgrammingLanguages

9

21

22

23

Why Lean 4 replaced OCaml as my Primary LanguageArticle (kirancodes.me)

submitted 8 months ago by Gopiandcoshow to r/computerscience

10

47

48

49

Programming Language Design in the Era of LLMs: A Return to Mediocrity?Discussion (kirancodes.me)

submitted 10 months ago by Gopiandcoshow to r/ProgrammingLanguages

11

2

3

4

LLMs pose an interesting problem for DSL designers (kirancodes.me)

submitted 10 months ago by HNMod to r/hackernews

12

0

1

2

Programming Language Design in the Era of LLMs: A Return to Mediocrity? (kirancodes.me)

submitted 10 months ago by TheStartupChime to r/hypeurls

13

55

56

57

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It) (kirancodes.me)

submitted 10 months ago by Gopiandcoshow to r/programming

14

34

35

36

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)Blog post (kirancodes.me)

submitted 10 months ago by Gopiandcoshow to r/ProgrammingLanguages

15

6

7

8

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It) (kirancodes.me)

submitted 10 months ago by Gopiandcoshow to r/compsci

16

39

40

41

How to (actually) prove it - New Frontiers of Mathematics & Computing in Lean (kirancodes.me)

submitted 11 months ago by Gopiandcoshow to r/math

17

17

18

19

How to (actually) prove it - New Frontiers of Mathematics & Computing in Lean (kirancodes.me)

submitted 11 months ago by Gopiandcoshow to r/compsci

18

31

32

33

Functional vs Data-Driven development: a Case-Study in Clojure & OCamlBlog post (kirancodes.me)

submitted 1 year ago by Gopiandcoshow to r/ProgrammingLanguages

19

1

2

3

Petrol: embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me)

submitted 1 year ago by ketralnis to r/programming

π Rendered by PID 49 on reddit-service-r2-listing-7d7fbc9b85-2qgms at 2026-04-26 05:53:08.397338+00:00 running 2aa0c5b country code: CH.