Hacker News new | ask | show | jobs
user: carlsverre
created: 2011-05-12
karma: 408

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 ]

submissions:

Implementing Monads with Async Zig
2 points | 0 comments
0 points | 0 comments
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
6 points | 4 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Send a Message to Space
1 points | 0 comments
How to teach Claude to write better code
5 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments