Skip to content

Top Best Ask Show New Jobs

carlsverre | Better HN

carlsverre

408 karmaJoined May 12, 2011146 submissions

Homepage: https://carlsverre.com

Building SQLSync and Graft. https://sqlsync.dev https://github.com/orbitinghail/graft

[ my public key: https://keybase.io/carlsverre; my proof: https://keybase.io/carlsverre/sigs/5eMnLTR-fsM9h4DZqnQ2ZBkWfNxYyzKGI7265PNjWzE ]

Recent submissions

1

Implementing Monads with Async Zig (opens in new tab)

(platypro.net)

2carlsverre18d ago0

2

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes (opens in new tab)

(github.com)GitHub

6carlsverre22d ago4

3

Send a Message to Space (opens in new tab)

(hellooo.space)

1carlsverre3mo ago0

4

How to teach Claude to write better code (opens in new tab)

(ponylang.io)

5carlsverre4mo ago0

5

Weird Rust Expressions (opens in new tab)

(github.com)GitHub

3carlsverre1y ago0

6

The disaggregated write-ahead log (2023) (opens in new tab)

(blog.schmizz.net)

88carlsverre2y ago13

7

Gamifying GitHub Contributions (opens in new tab)

(carlsverre.com)

1carlsverre2y ago0