That’s assuming a large chunk of humanity will just lay down and die off.
All they have to do is not reproduce. This is already happening.
Readit Newsjmoggr commented on AI CEO – Replace your boss before they replace you replaceyourboss.ai/... · Posted by u/_tk_
Hey HN, I built SyncKit after shipping two local-first projects (RestBolt and Graft) and realizing there's no simple way to add cross-device sync.
The problem: Existing solutions are either too complex (Automerge/Yjs require learning CRDTs) or too restrictive (Firebase isn't truly local-first, Supabase has no offline support - issue #357 has been open 4+ years with 350+ upvotes).
SyncKit is the middle ground: simple API, works offline-first, self-hostable.
Technical highlights: - TLA+ formal verification: 118,711 states checked, caught bugs before implementation - Rust → WASM core (48.9KB gzipped) - 700+ tests including 80 chaos tests (zero data loss) - Server: Bun/Hono WebSocket (SDK works in any JS runtime) - Production-ready: v0.1.0 on npm and Docker Hub
Known limitations (v0.1.0): - LWW only - advanced CRDTs (Text, Counter, Set) coming in v0.2.0 - React hooks only - Vue/Svelte adapters planned - Reference server is Bun (Node/Deno coming v0.3.0)
Happy to answer questions about the CRDT implementation, TLA+ modeling, or WebSocket architecture.
GitHub: https://github.com/Dancode-188/synckit npm: @synckit-js/sdk
> Automerge/Yjs require learning CRDTs
I've been using Automerge for a while and haven't had to look at any CRDTs. To me this looks very similar to Automerge.
Neat project!
jmoggr commented on Why are there so many rationalist cults? asteriskmag.com/issues/11... · Posted by u/glenstein
I think the comments here have been overly harsh. I have friends in the community and have visited the LessWrong "campus" several times. They seemed very welcoming, sincere, and were kind and patient even when I was basically asserting that several of their beliefs were dumb (in hopefully somewhat respectful manner).
As for the AI doomerism, many in the community have more immediate and practical concerns about AI, however the most extreme voices are often the most prominent. I also know that there has been internal disagreement on the kind of messaging they should be using to raise concern.
I think rationalists get plenty of things wrong, but I suspect that many people would benefit from understanding their perspective and reasoning.
jmoggr commented on Can an email go 500 miles in 2025? flak.tedunangst.com/post/... · Posted by u/zdw
units has (I assume room temp/pressure) densities for all elements, as well as some precious metal prices and currency exchange rates (you need to run the units_cur program regularly to update the database for these). It also has tab completion to make discovering these a bit easier.
The invocation is
You have: goldprice * golddensity * spherevol(10cm/2)
You want: GBP
Neat! Thank you!
jmoggr commented on Can an email go 500 miles in 2025? flak.tedunangst.com/post/... · Posted by u/zdw
It's one of my most used utilities, as someone who can't help but nerd-snipe myself on the regular. Example questions that I've used it for, just in the last week:
If I work 42 hours/week, how many minutes is that per year?
I've downloaded 4.91GB in the last minute, what's that in Mbps? How long will it take to download a 76GB game?
This AWS feature costs $0.045/hour, how much is that per month?
This guy I read about traveled 58,000km in 27 years, what's his average speed in m/s?
How much would a 10cm sphere of gold be worth in GBP?
If a 36 inch pipeline can deliver 25580 acre-feet of water in a year, how fast is the water flowing in m/s?
> How much would a 10cm sphere of gold be worth in GBP?
Is there some trick to this? Or do you have to input it like:
You have: 4/3pi(10 cm)^319320 kg/m^345000 GBP/kg
(What ChatGPT gave me)