frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: SyncKit – Offline-first sync engine (Rust/WASM and TypeScript)

https://github.com/Dancode-188/synckit
7•danbitengo•1h ago

Comments

danbitengo•1h ago
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

android521•22m ago
Is support for react native on the roadmap?

Show HN: Runprompt – run .prompt files from the command line

https://github.com/chr15m/runprompt
20•chr15m•1h ago•3 comments

Show HN: MkSlides – Markdown to slides with a similar workflow to MkDocs

https://github.com/MartenBE/mkslides
15•MartenBE•3h ago•3 comments

Show HN: SyncKit – Offline-first sync engine (Rust/WASM and TypeScript)

https://github.com/Dancode-188/synckit
7•danbitengo•1h ago•2 comments

Show HN: Era – Open-source local sandbox for AI agents

https://github.com/BinSquare/ERA
41•gregTurri•10h ago•10 comments

Show HN: Derusted – An open-source programmable HTTPS MitM proxy engine in Rust

https://github.com/kumarimlab/derusted
4•kumaras•2h ago•0 comments

Show HN: KiDoom – Running DOOM on PCB Traces

https://www.mikeayles.com/#kidoom
338•mikeayles•1d ago•49 comments

Show HN: Safe-NPM – only install packages that are +90 days old

https://github.com/kevinslin/safe-npm
82•kevinslin•3d ago•51 comments

Show HN: I turned algae into a bio-altimeter and put it on a weather balloon

https://radi8.dev/blog/stratospore/
129•radeeyate•4d ago•12 comments

Show HN: PyTorch-World – Modular Library to Build and Train World Models

https://github.com/ParamThakkar123/pytorch-world
2•paramthakkar•5h ago•0 comments

Show HN: Env files aren't meant for storing secrets

https://github.com/BinSquare/envmap
2•binsquare•5h ago•0 comments

Show HN: I built an interactive HN Simulator

https://news.ysimulator.run/news
522•johnsillings•2d ago•213 comments

Show HN: Yolodex – real-time customer enrichment API

https://api.yolodex.ai
34•hazzadous•3d ago•21 comments

Show HN: MakeSkill – The Intelligent Skill Builder for Claude

https://makeskill.cc
9•thanhdongnguyen•12h ago•2 comments

Show HN: We built an open source, zero webhooks payment processor

https://github.com/flowglad/flowglad
385•agreeahmed•1d ago•213 comments

Show HN: Anthony Bourdain's Lost Li.st's

https://bourdain.greg.technology/
19•gregsadetsky•1d ago•5 comments

Show HN: I wrote a minimal memory allocator in C

https://github.com/t9nzin/memory
135•t9nzin•3d ago•32 comments

Show HN: OCR Arena – A playground for OCR models

https://www.ocrarena.ai/battle
214•kbyatnal•5d ago•62 comments

Show HN: Stun LLMs with thousands of invisible Unicode characters

https://gibberifier.com
200•wdpatti•3d ago•109 comments

Show HN: Cynthia – Reliably play MIDI music files – MIT / Portable / Windows

https://www.blaizenterprises.com/cynthia.html
86•blaiz2025•3d ago•33 comments

Show HN: White-Box-Coder – AI that self-reviews and fixes its own code"

https://github.com/EMMA019/WHITE-BOX-CODER
3•tarocha1019•18h ago•0 comments

Show HN: Datamorph – A clean JSON ⇄ CSV converter with auto-detect

https://datamorphio.vercel.app
23•sumit_entr42•6d ago•9 comments

Show HN: ChatIndex – A Lossless Memory System for AI Agents

15•LoMoGan•1d ago•4 comments

Show HN: Build the habit of writing meaningful commit messages

https://github.com/arpxspace/smartcommit
109•Aplikethewatch•4d ago•131 comments

Show HN: Infinite scroll AI logo generator built with Nano Banana

https://durable.co/ai-logo-generator
3•rookhack•20h ago•0 comments

Show HN: Wealthfolio 2.0- Open source investment tracker. Now Mobile and Docker

https://wealthfolio.app/?v=2.0
673•a-fadil•5d ago•213 comments

Show HN: We cut RAG latency ~2× by switching embedding model

https://www.myclone.is/blog/voyage-embedding-migration/
24•vira28•2d ago•3 comments

Show HN: Forty.News – Daily news, but on a 40-year delay

https://forty.news
438•foxbarrington•4d ago•179 comments

Show HN: Ghostty-Web – Ghostty in the Browser

https://github.com/coder/ghostty-web
11•jonayers_•22h ago•4 comments

Show HN: Aigit – AI-powered Git CLI for commit messages, branch names, and PRs

https://github.com/hardiksondagar/aigit
4•hardiksondagar•22h ago•0 comments

Show HN: Wolfrominoes

https://demos.samgentle.com/wolfrominoes/
9•sgentle•4d ago•2 comments