Hacker Newsnew | past | comments | ask | show | jobs | submit | kapv89's commentslogin

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 Postgresql and MySQL (mysql part is new homepage hasn't been updated to reflect that) Building it solo. I hope this will also interest the tech community


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 based complex web-apps - react-native based android apps - socket programming - multiplayer software - canvas based software - And currently learning database engineering

After exploring so many fields, either I have lost a unified mental model for programming, or the mental model has become so large that it resides out of my active memory and guides my intuition.

I explored most of these fields being a contractor, and then am entrepreneur. As a result, I didn't have enough validation on my code, and only had achieving the business results as my guiding principle.

I work at a mfaang now, so get enough validation on my output from peers to know that the solutions I come up with are technically sound.

There's still one field that I very much wanted to add to my skillset but couldn't for some or the other reason - k8s based ci/cd at scale on a cloud platform.


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 write mathematical theorems in github readme


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: