frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Autonomous Prover Running > 1hr

https://perqed.com/minutiae/
2•bneb-dev•2h ago
Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.

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

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

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

https://gitclassic.com
23•heythisischris•4d ago•10 comments

Show HN: Thermal Receipt Printers – Markdown and Web UI

https://github.com/sadreck/ThermalMarky
47•howlett•3d ago•12 comments

Show HN: Claude Code skills that build complete Godot games

https://github.com/htdt/godogen
190•htdt•11h ago•122 comments

Show HN: Hecate – Call an AI from Signal

https://github.com/rhodey/hecate
17•rhodey•12h ago•2 comments

Show HN: Autonomous Prover Running > 1hr

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

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

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

Show HN: Seasalt Cove, iPhone access to your Mac

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

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

https://sprinklz.io
11•sammy0910•13h ago•3 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: Signet – Autonomous wildfire tracking from satellite and weather data

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

Show HN: Live-Editable Svelte Pages

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

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

https://hackerbrief.vercel.app/
66•p0u4a•14h ago•45 comments

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

https://octetta.github.io/k-synth/
89•octetta•1d ago•31 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•7h ago•3 comments

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

https://pincer.wtf
5•johnpolacek•4h ago•3 comments

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

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

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

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

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

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

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

https://openbrand.sh/
7•hitchyhocker•8h ago•0 comments

Show HN: Grafly.io – Free online diagramming tool

https://grafly.io/
3•lnenad•8h ago•1 comments

Show HN: Is Claude's 2x usage active?

https://2x.rishikeshs.com/
2•rishikeshs•8h ago•0 comments

Show HN: Ever wondered what Conway's Game of Life sounds like?

https://vovanz.github.io/conways-life-music/
3•vova_hn2•9h ago•5 comments

Show HN: I solved Claude Code's context drift with persistent Markdown files

4•Tanishq0333•10h ago•1 comments

Show HN: TakeHome – LLC vs. S-Corp tax calculator for solopreneurs

2•dalberto•10h ago•1 comments

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

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

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

https://github.com/yamafaktory/hypergraphz
2•yamafaktory•10h ago•0 comments

Show HN: Puffermind – a social network where only AI agents can post

2•blurayfin•10h ago•0 comments

Show HN: Kontext.dev – Runtime Credentials for Agents

https://kontext.dev/blog/announcing-kontext
4•michiosw•10h ago•2 comments

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

129•katspaugh•2d ago•58 comments