Show HN: Kedr Programming Language (codeberg.org)
4 points by denismarkelov a day ago | 2 comments
31Show HN: Oblivious HTTP for Go (github.com)
10 points by jmort a day ago | 0 comments
32Show HN: Helium Browser for Android with extensions support, based on Vanadium (github.com)
64 points by jqssun 4 days ago | 29 comments
33Show HN: Apache Fory Rust – 10-20x faster serialization than JSON/Protobuf (fory.apache.org)
67 points by chaokunyang 2 days ago | 55 comments
34Show HN: Qwe – Atomic Version Control System (github.com)
3 points by mbhatt99 a day ago | 0 comments
35Show HN: Spectral Indexing, from concept to paper to alpha in 45 days (tuned.org.uk)
2 points by tuned a day ago | 0 comments
36Show HN: LLM Rescuer – Fixing the billion dollar mistake in Ruby (github.com)
95 points by barodeur 6 days ago | 14 comments
37Show HN: Diagram as code tool with draggable customizations (github.com)
257 points by RohanAdwankar 5 days ago | 59 comments
38Show HN: HortusFox – FOSS system for houseplants with enterprise-scale features (github.com)
7 points by foxiel 2 days ago | 0 comments
39Show HN: Emotive Engine – Animation engine with musical time (not milliseconds) (github.com)
6 points by emotiveengine a day ago | 2 comments
40Show HN: Permit Watch, Turning Ireland's work permits into a job-demand proxy (permitwatch.ie)
5 points by fredthedeve 2 days ago | 0 comments
41Show HN: OpenAI Apps Handbook (github.com)
10 points by init0 2 days ago | 0 comments
42Show HN: Git for LLMs – A context management interface (twigg.ai)
103 points by jborland 7 days ago | 37 comments
43Show HN: Front End Fuzzy and Substring and Prefix Search (github.com)
9 points by kmschaal a day ago | 0 comments
44Show HN: Rewriting Scratch 3.0 from scratch in Lua (browser-free native runtime) (github.com)
6 points by sixddc 2 days ago | 0 comments
45Show HN: Deta Surf – An open source and local-first AI notebook (github.com)
140 points by mxek 7 days ago | 40 comments
46Show HN: Tommy – Turn ESP32 devices into through-wall motion sensors (tommysense.com)
106 points by mike2872 7 days ago | 80 comments
47Show HN: GPU-Based Autorouting for KiCad (github.com)
7 points by wanderingjew 21 hours ago | 6 comments
48Show HN: Ball X Pit – Physics Roguelite with 42 Ball Evolutions (ballxpit.net)
7 points by aishu001 2 days ago | 0 comments
49Show HN: UndatasIO's document parser MCP server is online (docs.undatas.io)
4 points by jojogh 2 days ago | 0 comments
50Show HN: Learn Basic Chess Movements (minichessgames.com)
12 points by patrickdavey 4 days ago | 5 comments
51Show HN: Nostr Web – decentralized website hosting on Nostr (nweb.shugur.com)
101 points by karihass 7 days ago | 35 comments
52Show HN: OpenSnowcat – A fork of Snowplow to keep open analytics alive (opensnowcat.io)
76 points by joaocorreia 7 days ago | 18 comments
53Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
94 points by nsomani 8 days ago | 63 comments
54Show HN: Chonky – a neural text semantic chunking goes multilingual (huggingface.co)
43 points by hessdalenlight 5 days ago | 6 comments
55Show HN: A fast, privacy-first image converter that runs in browser (imageconverter.dev)
48 points by wainguo 6 days ago | 38 comments
56Show HN: Tamagotchi P1 for FPGAs (github.com)
3 points by agg23 2 days ago | 0 comments
57Show HN: nblm - Rust CLI/Python SDK for NotebookLM Enterprise automation (github.com)
10 points by K-dash 3 days ago | 0 comments
58Show HN: I made semantic search engine for engineering blogs and conferences (devblogs.sh)
14 points by iillexial 2 days ago | 0 comments
59Show HN: VS Code extension to run/debug Go table tests (github.com)
3 points by drakyoko 2 days ago | 0 comments
60