Stories by carlsverre

Implementing Monads with Async Zig

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

Send a Message to Space

How to teach Claude to write better code

Weird Rust Expressions

The disaggregated write-ahead log (2023)

Gamifying GitHub Contributions

Thoughts on Handmade Seattle 2023

Disaggregated Wal

Migrating a 2TB database in 7.5 minutes

Edge-compatible Serverless Driver for Postgres

Building a SaaS in 2022

I built a universe simulation running in SingleStore

Laravel Connector for SingleStore

An Engineer's Guide to Building a Database for Data-Intensive Applications

Making the world’s fastest analytics even faster

Your phone already has Bottomless

Scaling Worldwide Parcel Logistics with SingleStore and Vectorized

Show HN: Teleportal – easy p2p persistent video portals

Show HN: Procedurally Generated Interpretation of Sol LeWitt's Wall Drawing 91