carlsverre

Karma: 408
Created: 15 years ago

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 ]

Recent Submissions

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

All submissions on HN · View profile on HN