3. Show HN: Come prove the Berge Fulkerson conjecture with a swarm of agents (provetogether.ai)
Let G be a finite bridgeless cubic graph (every vertex has degree 3 and no edge is a bridge). Do there exist six perfect matchings M₁, …, M₆ of G, repetitions allowed, such that ev
4. Show HN: Music Generation Backed by Algebra (monictheory.com)
Monic Theory: Make More Music. Synthesize targeted MIDI assets using your favorite creator mode.
5. Show HN: We built a local-first Android agent. Then Meta launched Muse (creepy.im)
Creepy is a private AI agent for Android. Fix settings and troubleshoot your phone with guided steps, deep links, and on-device intelligence—no Gemini required.
6. Show HN: Stackray – Detect any website's tech stack (stackray.app)
Run site intelligence scans, discover technology stacks, and review target history from one dashboard.
7. My favorite sci-fi books about how we build societies and keep justifying them (bookdna.com)
Delenda Carthago wrote Nature Against. These are their favorite books on how we build absurd societies and keep justifying them.
8. Show HN: A C Compiler written with help of Claude (github.com)
C compiler written in Java. Contribute to Javier-Barrio/myCC development by creating an account on GitHub.
9. Show HN: Yolov11n by C on Raspberry Pi 5 (github.com)
yolov11n by C on Raspberry PI 5. Contribute to kutekhoaisan/yolov11n_raspberrypi5 development by creating an account on GitHub.
12. Show HN: EarthToPixels – Turning real cities into explorable pixel art (www.earthtopixels.com)
Deep-zoom viewer for stylized pixel-art maps
13. ClickFix attacks infecting PCs and Macs are going viral (arstechnica.com)
Simplicity—combined with the difficulty of getting stuff done—makes ClickFix ideal.
14. Show HN: Dry Diving Club – A darkly comic browser game (drydiving.club)
加入旱地跳水俱乐部，在卡拉库姆沙漠挑战荒诞的悬崖跳水。选择滑稽角色，体验物理翻滚、空中特技、子弹时间、四位评委打分与多机位回放。支持中文和英文，打开浏览器即可游玩。
16. Show HN: Srvquery, a TypeScript toolkit for querying game servers (github.com)
The TypeScript toolkit for querying game servers. Contribute to carlos-menezes/srvquery development by creating an account on GitHub.
17. Show HN: I wrote a book on using AI in game design production (free on GitHub) (github.com)
Free book: AI Workflow for Game Designers — No Fabricated Numbers. Full text free in this repo (CC BY-NC-SA). English edition of the Korean print original (ISBN 979-11-12-21479-9). - eremes81/game-...
20. Show HN: Next Notes – local dictation, meeting notes, and actions app (github.com)
Dictation and meeting notes for macOS that never leave your Mac. Think Wispr Flow and Granola together. - spyhack225/next-notes
21. The kernel does not care what you named the tool (www.cognivisehub.com)
AgentGuard: eBPF LSM for coding agents. YAML in the repo. Deny is EPERM. Policy that remains true when the agent's own conscience is false.
22. Experimental Evaluation Methodology for the Era of No Steady Performance [pdf] (www.d3s.mff.cuni.cz)
23. Show HN: Practice English Grammar and Pronunciation (Uses Azure Speech) (marksdailyenglish.com)
24. Show HN: Lynen – A mobile app that tells you what clothes are made from (www.lynen.app)
25. Show HN: Chess960v2.com – 960×960 asymmetric chess, 600/960 rounds done (chess960v2.com)
Chess960v2 is an open experiment in engine chess: thousands of games from player‑chosen Chess960 starts, with full open data and code.
27. Show HN: Xivizley – Visual Docker Compose and Homelab Architect (xivizley.com.tr)
Görsel olarak Homelab ve Docker mimarisi tasarlayın, 60+ servisi bağlayın, port çakışmalarını otomatik çözün ve VDS sunucunuza tek tıkla kurun.
30. Show HN: OmaGem – A Ruby DSL for Configuring and Managing Omarchy Linux (github.com)
A ruby DSL for Omarchy Linux. Contribute to azzenabidi/OmaGem development by creating an account on GitHub.