Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Kiran's Blog Posts
kirancodes.me
Lean proved this program was correct; then I found a bug.
kirancodes.me
·
8w
8 weeks ago
·
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
Actions for Lean proved this program was correct; then I found a bug.
Humanity is stained by C and no LLM can rewrite it in Rust
kirancodes.me
·
29w
29 weeks ago
·
Hacker News
,
r/rust
Actions for Humanity is stained by C and no LLM can rewrite it in Rust
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me
·
43w
43 weeks ago
·
Lobsters
,
Hacker News
Actions for Why Lean 4 replaced OCaml as my Primary Language
Programming Language Design in the Era of LLMs: A Return to Mediocrity?
kirancodes.me
·
51w
51 weeks ago
·
Lobsters
,
Hacker News
Actions for Programming Language Design in the Era of LLMs: A Return to Mediocrity?
The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)
kirancodes.me
·
52w
52 weeks ago
·
Hacker News
,
r/compsci
,
r/programming
Actions for The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
kirancodes.me
·
57w
57 weeks ago
·
Hacker News
,
r/compsci
Actions for How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
kirancodes.me
·
65w
65 weeks ago
·
Lobsters
,
Hacker News
Actions for Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
Building static websites for dummies (2024)
kirancodes.me
·
49w
49 weeks ago
·
Hacker News
Actions for Building static websites for dummies (2024)
19 Apr, 2023 - How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
kirancodes.me
·
164w
164 weeks ago
Actions for 19 Apr, 2023 - How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
Petrol: embedding a type-safe SQL API in OCaml using GADTs
kirancodes.me
·
71w
71 weeks ago
·
Lobsters
,
Hacker News
,
r/programming
Actions for Petrol: embedding a type-safe SQL API in OCaml using GADTs
26 Aug, 2022 - Unifying fold left and fold right with Prolog
kirancodes.me
·
198w
198 weeks ago
Actions for 26 Aug, 2022 - Unifying fold left and fold right with Prolog
22 Aug, 2022 - Racket->Rhombus: To Sexp or not to Sexp?
kirancodes.me
·
198w
198 weeks ago
Actions for 22 Aug, 2022 - Racket->Rhombus: To Sexp or not to Sexp?
03 Jul, 2021 - Goodbye C developers: The future of programming with certified program synthesis
kirancodes.me
·
257w
257 weeks ago
Actions for 03 Jul, 2021 - Goodbye C developers: The future of programming with certified program synthesis
01 Jan, 2021 - Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations
kirancodes.me
·
284w
284 weeks ago
Actions for 01 Jan, 2021 - Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations
21 Aug, 2020 - Abolish the state! or no? An OCaml Perspective
kirancodes.me
·
303w
303 weeks ago
Actions for 21 Aug, 2020 - Abolish the state! or no? An OCaml Perspective
23 Jul, 2020 - Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
kirancodes.me
·
307w
307 weeks ago
Actions for 23 Jul, 2020 - Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
09 Dec, 2019 - Preprocessing in OCaml (using Ppxlib)
kirancodes.me
·
339w
339 weeks ago
Actions for 09 Dec, 2019 - Preprocessing in OCaml (using Ppxlib)
12 Aug, 2019
kirancodes.me
·
356w
356 weeks ago
Actions for 12 Aug, 2019
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help