carlsverre

About

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 ]

1. ▲ Code Contracts (code-contracts.cc) 3 points · 24 days ago · 0 comments
2. ▲ Implementing Monads with Async Zig (platypro.net) 2 points · 3 months ago · 0 comments
3. ▲ Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes (github.com) 6 points · 4 months ago · 4 comments
4. ▲ Send a Message to Space (hellooo.space) 1 point · 7 months ago · 0 comments
5. ▲ How to teach Claude to write better code (ponylang.io) 5 points · 7 months ago · 0 comments