carlsverre's submissions

1.		Implementing Monads with Async Zig (platypro.net)
		2 points by carlsverre 1 day ago \| past \| discuss
2.		Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes (github.com/tiruart)
		6 points by carlsverre 5 days ago \| past \| 4 comments
3.		Send a Message to Space (hellooo.space)
		1 point by carlsverre 3 months ago \| past
4.		How to teach Claude to write better code (ponylang.io)
		5 points by carlsverre 3 months ago \| past
5.		Weird Rust Expressions (github.com/rust-lang)
		3 points by carlsverre on Jan 2, 2025 \| past
6.		The disaggregated write-ahead log (2023) (schmizz.net)
		88 points by carlsverre on Feb 6, 2024 \| past \| 13 comments
7.		Gamifying GitHub Contributions (carlsverre.com)
		1 point by carlsverre on Jan 29, 2024 \| past
8.		Thoughts on Handmade Seattle 2023 (carlsverre.com)
		3 points by carlsverre on Nov 28, 2023 \| past
9.		The disaggregated write-ahead log (2023) (schmizz.net)
		7 points by carlsverre on Nov 14, 2023 \| past
10.		Migrating a 2TB database in 7.5 minutes (usefathom.com)
		6 points by carlsverre on July 5, 2023 \| past
11.		Edge-compatible Serverless Driver for Postgres (neon.tech)
		69 points by carlsverre on Dec 8, 2022 \| past \| 44 comments
12.		Building a SaaS in 2022 (charliejoseph.com)
		2 points by carlsverre on Oct 19, 2022 \| past
13.		I built a universe simulation running in SingleStore (github.com/singlestore-labs)
		2 points by carlsverre on July 19, 2022 \| past
14.		Laravel Connector for SingleStore (singlestore.com)
		1 point by carlsverre on July 5, 2022 \| past
15.		Making the world’s fastest analytics even faster (usefathom.com)
		2 points by carlsverre on Aug 17, 2021 \| past
16.		Your phone already has Bottomless (singlestore.com)
		1 point by carlsverre on July 27, 2021 \| past
17.		Scaling Worldwide Parcel Logistics with SingleStore and Vectorized (singlestore.com)
		2 points by carlsverre on June 24, 2021 \| past \| 1 comment
18.		Show HN: Teleportal – easy p2p persistent video portals (github.com/carlsverre)
		4 points by carlsverre on Nov 12, 2016 \| past \| 5 comments
19.		Show HN: Procedurally Generated Interpretation of Sol LeWitt's Wall Drawing 91 (carlsverre.com)
		1 point by carlsverre on July 3, 2016 \| past
20.		Show HN: Debate a Bot – Our 48hr Comedy-hack-day Hack (debateabot.com)
		13 points by carlsverre on Feb 9, 2015 \| past \| 1 comment
21.		React-Outlet: Transclusion helpers for React.js (github.com/carlsverre)
		6 points by carlsverre on Feb 1, 2015 \| past
22.		Running MemSQL’s 107 Node Test Infrastructure on CoreOS [video] (memsql.com)
		33 points by carlsverre on Sept 9, 2014 \| past \| 9 comments
23.		How I didn't take down the Internet (mixpanel.com)
		60 points by carlsverre on May 23, 2011 \| past \| 4 comments

HN For You