frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall"

https://github.com/deramazesaa-web/Crystalline-Protocol
7•strof•1d ago
created Crystalline Protocol. It treats the blockchain state not just as a key-value store, but as a mathematical set governed by the Axioms of Zermelo-Fraenkel set theory.

The PoC (written in Rust) demonstrates an "Axiomatic Engine" that enforces the Axiom of Regularity. It physically prevents circular dependencies (logical loops) at the VM level. If a transaction creates a cycle, the "Logic Firewall" rejects it before it can ever be executed.

Show HN: SMTP Tunnel – A SOCKS5 proxy disguised as email traffic to bypass DPI

https://github.com/x011/smtp-tunnel-proxy
66•lobito25•10h ago•18 comments

Show HN: TCP chat server written in C# and .NET 9, used in the terminal

https://github.com/Sieep-Coding/simple-chat-csharp
20•sieep•4d ago•8 comments

Show HN: VaultSandbox – Test your real MailGun/SES/etc. integration

https://vaultsandbox.com/
32•vaultsandbox•21h ago•3 comments

Show HN: Make audio loops online

https://makeloops.online/
40•bilalba•1d ago•10 comments

Show HN: Mantic.sh – A structural code search engine for AI agents

https://github.com/marcoaapfortes/Mantic.sh
67•marcoaapfortes•21h ago•28 comments

Show HN: A RAM-only, end-to-end encrypted P2P terminal chat in Python

https://github.com/diorwave/cmd-chat
2•isanoguchi•1h ago•0 comments

Show HN: 48-digit prime numbers every git commit

https://textonly.github.io/git-prime/
57•keepamovin•5d ago•45 comments

Show HN: Stash – Sync Markdown Files with Apple Notes via CLI

https://github.com/shakedlokits/stash
64•shuka•18h ago•20 comments

Show HN: Prism.Tools – Free and privacy-focused developer utilities

https://blgardner.github.io/prism.tools/
354•BLGardner•22h ago•98 comments

Show HN: Foundertrace – chain of YC startups founded by its employees

https://foundertrace.com/
38•loondri•3d ago•10 comments

Show HN: GPU Cuckoo Filter – faster queries than Blocked Bloom, with deletion

https://github.com/tdortman/cuckoo-filter
28•tdortman•12h ago•2 comments

Show HN: Jax-JS, array library in JavaScript targeting WebGPU

https://ss.ekzhang.com/p/jax-js-an-ml-library-for-the-web
78•ekzhang•16h ago•21 comments

Show HN: llmgame.ai – The Wikipedia Game but with LLMs

https://www.llmgame.ai
23•jmcallister•1d ago•19 comments

Show HN: Tailsnitch – A security auditor for Tailscale

https://github.com/Adversis/tailsnitch
268•thesubtlety•1d ago•28 comments

Show HN: 25 years of house prices in England and Wales

https://housepricedashboard.co.uk/
12•rowanajmarshall•12h ago•6 comments

Show HN: DoNotNotify – Log and intelligently block notifications on Android

https://donotnotify.com/
335•awaaz•1d ago•158 comments

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

https://github.com/neelsomani/symbolic-circuit-distillation
16•nsomani•14h ago•2 comments

Show HN: I built "Google" for searching Shadcn blocks on the web

https://shoogle.dev/
19•ali-dev•5d ago•3 comments

Show HN: DDL to Data – Generate realistic test data from SQL schemas

51•ddltodata•22h ago•26 comments

Show HN: Tera.fm – A calm, radio-style way to listen to today's tech news

https://tera.fm
3•digi_wares•5h ago•1 comments

Show HN: Finding similarities in New Yorker covers

https://shoplurker.com/labs/newyorker-covers/
17•tkp-415•14h ago•7 comments

Show HN: Open-source AI workflows with read-only auth scopes

https://github.com/seer-engg/seer
11•akshay326•4d ago•0 comments

Show HN: I built a tool to create AI agents that live in iMessage

https://tryflux.ai/
7•danielsdk•3d ago•4 comments

Show HN: Server-rendered multiplayer games with Lua (no client code)

https://cleoselene.com/
78•brunovcosta•2d ago•58 comments

Show HN: ccrider - Search and Resume Your Claude Code Sessions – TUI / MCP / CLI

https://github.com/neilberkman/ccrider
16•nberkman•20h ago•4 comments

Show HN: Funboxie – Free printables and coloring pages for kids

https://www.funboxie.com
2•chynnahe•8h ago•1 comments

Show HN: A simulator for engineers transitioning from IC to management

https://apmcommunication.com/scenario/backchannel-vp
72•pingananth•1d ago•93 comments

Show HN: Sidestream – an AI chat app with a side of insight

https://github.com/ericbrandon/sidestream
5•EricBrandon•14h ago•2 comments

Show HN: WOLS – Open standard for mushroom cultivation tracking

https://github.com/wemush/open-standard
39•mbeacom•1d ago•2 comments

Show HN: I replaced Beads with a faster, simpler Markdown-based task tracker

https://github.com/wedow/ticket
80•wild_egg•2d ago•48 comments