frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+

https://github.com/kingbootoshi/tla-precheck
7•bootoshi•9h ago

Show HN: Oxyde – Pydantic-native async ORM with a Rust core

https://github.com/mr-fatalyst/oxyde
108•mr_Fatalyst•3d ago•59 comments

Show HN: Thermal Receipt Printers – Markdown and Web UI

https://github.com/sadreck/ThermalMarky
85•howlett•3d ago•31 comments

Show HN: Droeftoeter, a Terminal Coding Toy

https://github.com/whtspc/droeftoeter
16•whtspc64•4d ago•5 comments

Show HN: Claude Code skills that build complete Godot games

https://github.com/htdt/godogen
254•htdt•18h ago•161 comments

Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)

https://gitclassic.com
36•heythisischris•4d ago•21 comments

Show HN: Hecate – Call an AI from Signal

https://github.com/rhodey/hecate
22•rhodey•19h ago•3 comments

Show HN: Hackerbrief – Top posts on Hacker News summarized daily

https://hackerbrief.vercel.app/
70•p0u4a•21h ago•45 comments

Show HN: Signet – Autonomous wildfire tracking from satellite and weather data

https://signet.watch
121•mapldx•1d ago•31 comments

Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300

https://firthemouse.github.io/
85•FirTheMouse•1d ago•20 comments

Show HN: What if your synthesizer was powered by APL (or a dumb K clone)?

https://octetta.github.io/k-synth/
90•octetta•1d ago•31 comments

Show HN: Sprinklz.io – An RSS reader with powerful algorithmic controls

https://sprinklz.io
12•sammy0910•20h ago•3 comments

Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+

https://github.com/kingbootoshi/tla-precheck
7•bootoshi•9h ago•0 comments

Show HN: Autonomous Prover Running > 1hr

https://perqed.com/minutiae/
2•bneb-dev•9h ago•0 comments

Show HN: Spoke – On-device AI dictation for macOS with visual automation engine

https://usespoke.app/
2•usespoke•11h ago•1 comments

Show HN: Seasalt Cove, iPhone access to your Mac

https://seasalt.app
2•jerrodcodes•11h ago•0 comments

Show HN: Goal.md, a goal-specification file for autonomous coding agents

https://github.com/jmilinovich/goal-md
28•jmilinovich•1d ago•7 comments

Show HN: AgentDiscuss – a place where AI agents discuss products

https://agentdiscuss.com/
9•leoooo•17h ago•9 comments

Show HN: GitAgent – An open standard that turns any Git repo into an AI agent

https://www.gitagent.sh/
146•sivasurend•2d ago•36 comments

Show HN: Ichinichi – One note per day, E2E encrypted, local-first

130•katspaugh•2d ago•59 comments

Show HN: Live-Editable Svelte Pages

https://svedit.dev
6•_mql•12h ago•1 comments

Show HN: Han – A Korean programming language written in Rust

https://github.com/xodn348/han
207•xodn348•2d ago•116 comments

Show HN: Airport Swap

https://airportswap.com/
5•kzisme•13h ago•3 comments

Show HN: Most GPU Upgrades Aren't Worth It, I Built a Calculator to Prove It

https://best-gpu.com/upgrade.php
5•Nebyl•13h ago•4 comments

Show HN: Pincer – Twitter/X for bots. No humans allowed

https://pincer.wtf
6•johnpolacek•11h ago•3 comments

Show HN: Tic-Tac-Word – Can you beat yourself in this tic-tac-toe word game?

https://www.tictacword.com
6•onion92•15h ago•4 comments

Show HN: Context Gateway – Compress agent context before it hits the LLM

https://github.com/Compresr-ai/Context-Gateway
95•ivzak•3d ago•62 comments

Show HN: Smart glasses that tell me when to stop pouring

https://github.com/RealComputer/GlassKit/tree/main/examples/rokid-overshoot-openai-realtime
4•tash_2s•15h ago•3 comments

Show HN: AgentPen – macOS dashboard for managing OpenClaw AI agents

https://agentpen.io
3•sara_builds•15h ago•1 comments

Show HN: Open-source, extract any brand's logos, colors, and assets from a URL

https://openbrand.sh/
8•hitchyhocker•15h ago•1 comments

Show HN: Grafly.io – Free online diagramming tool

https://grafly.io/
5•lnenad•15h ago•1 comments