user: gopiandcode

1118 karma | created 6 years ago

pronouns: she/her

url: kirancodes.me

recent submissions

(no title)

3 months ago|discuss

(no title)

3 months ago|discuss

(no title)

3 months ago|discuss

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

3 pts|3 months ago|9 comments

(no title)

6 months ago|discuss

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

27 pts|6 months ago|5 comments

(no title)

8 months ago|discuss

(no title)

8 months ago|discuss

(no title)

8 months ago|discuss

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

220 pts|8 months ago|151 comments

The looming problem of slow and brittle proofs in SMT verification (kirancodes.me)

4 pts|8 months ago|discuss

(no title)

9 months ago|discuss

(no title)

9 months ago|discuss

(no title)

9 months ago|discuss

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

81 pts|9 months ago|17 comments

(no title)

1 pts|10 months ago|discuss

(no title)

10 months ago|discuss

(no title)

10 months ago|discuss

Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me)

6 pts|1 year ago|1 comment

(no title)

1 pts|1 year ago|discuss