Viewing profile — kapv89

YJS CRDT database server written in Golang. 1ms ±x yjs update write latencies with persistence to disk. Abstracts away long term CRDT data storage behind a simple to use API.

I wish ts/js hackers just add proper threads (or green threads) with shared memory parallelism to the language instead of adding these gimmick-y features

Great ! I am also excited to share ERDTOOL built in this space - https://erdtool.com ... - Multiplayer entity-relationship-diagramming tool - think Figma of ERDs - Supports Postgre…

Woah

I've been programming for 11 years, and professionally for 10 years. In this time, I think I've become highly skilled at - Distributed backends - Tuning databases - Next.js + react…

I'd suggest join the company behind bun.sh - oven.sh

Checkout leanprover

600-900 pages proofs are why formalising mathematics is needed (lean)

I've found when I am near burnout, sleeping for 10-11 hours a day for a few weeks puts the burnout off indefinitely. Not sure what to do when I actually have one.

This seems complementary to the lean theorem prover, being developed by Microsoft. It's package manager uses github as it's "repository". Having latex in github makes it easy to wr…

I think he might be having some mental health issues ... probably a breakdown of sorts

There are frameworks like blitz.js( https://blitzjs.com/ ) coming up which build on top of next.js and provide you a full-stack development environment with react in the frontend. …

TypeORM or MikroORM, any of those should be fine

What amazon needs is some sort of regulation blocking AWS revenues from fuelling the e-commerce business. Without that, other e-commerce players will never have a level playing fie…

Won't Go's ecosystem go through a lot of churn after generics are introduced?

use melatonin

The "annotation syntax" is becoming a language feature with PHP8 attributes.

With something like vitess, you can go all the way with a monolith