Hacker News

1.▲
Show HN: Coldframe, a honeypot that poses as a supermarket fridge controller(github.com)
207 points by hedgerow-dev 11 hours ago | 44 comments
2.▲
Show HN: Where Were We(wherewerewe.app)
34 points by zkiihne 7 hours ago | 14 comments
3.▲
Show HN: An offline desktop companion to help maintain a healthy blink rhythm(eyesrhythm.com)
28 points by prnysoni 7 hours ago | 14 comments
4.▲
Show HN: We compressed a 31B video+audio diffusion model to 14B, 6 steps, INT8(github.com)
58 points by jiant 13 hours ago | 12 comments
5.▲
Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes(unfix.dev)
13 points by u-pump 2 days ago | 1 comments
6.▲
Show HN: Spindle – a full-featured, type-safe web framework for OCaml 5(github.com)
56 points by zaiev 2 days ago | 8 comments
7.▲
Show HN: Waymark – A workflow engine that compiles jobs instead of replaying(github.com)
81 points by icyfox 2 days ago | 39 comments
8.▲
Show HN: Levithas(levithas.app)
2 points by monidp 7 hours ago | discuss
9.▲
Show HN: Tmux-restore saves tmux windows and agent sessions across reboots(github.com)
53 points by boldi 4 days ago | 36 comments
10.▲
Show HN: Logo Deal – Logos anyone can edit with text(logo.deal)
9 points by vednig 15 hours ago | 3 comments
11.▲
Show HN: Live songbook for guitarists(kantamigo.com)
3 points by gosen 10 hours ago | discuss
12.▲
Show HN: Laplace's Scissors – A tool for directly editing LLM weights(github.com)
2 points by 032renya 10 hours ago | discuss
13.▲
Show HN: We made a new theme to increase engagement on our website(zenmemes.com)
5 points by forgotmypw17 10 hours ago | 4 comments
14.▲
Show HN: Tumblr Likes Calendar: Browse Your Likes by Date(hakuren-dev.blog)
2 points by Hakurendev 11 hours ago | discuss
15.▲
Show HN: FoilGateway–Linux firewall gateway with telemetry blocking (2×Ethernet)(github.com)
2 points by Codemonkey2k5 11 hours ago | discuss
16.▲
Show HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights)(linum.ai)
281 points by schopra909 3 days ago | 29 comments
17.▲
Show HN: Stroq – a local audit of what your coding agent did and why(github.com)
92 points by agybay_07 2 days ago | 34 comments
18.▲
Show HN: Agents infer Lego mechanisms from sources, then animate them(github.com)
30 points by antelocnova 1 day ago | 2 comments
19.▲
Show HN: Firenook – Firebase emulators in Rust: 40× faster writes, 10× less RAM(firenook.dev)
170 points by sanjevirau 2 days ago | 30 comments
20.▲
Show HN: AegisKernel – Zero-trust POSIX runtime for AI agents in <0.016ms(adikshatriyag-crypto.github.io)
13 points by adityawebde 1 day ago | 3 comments
21.▲
Show HN: An online shop where your friends can hurry the courier(dopaminechic.com)
6 points by AmsterErdo 16 hours ago | 2 comments
22.▲
Show HN: Agentic Identity Broker, OAuth Delegation for AI Agents(github.com)
23 points by jbspeakr 1 day ago | 3 comments
23.▲
Show HN: I built a tool that prices a pre-built PC part by part(pcdealcheck.com)
119 points by adlep 3 days ago | 85 comments
24.▲
Show HN: After a decade of reversing, I got co-op working in DOS Wing Commander(fireflyk64.github.io)
255 points by daniel_rh 3 days ago | 40 comments
25.▲
Show HN: Retex, a Faster LaTeX Engine(gitlab.com)
3 points by skadge 18 hours ago | discuss
26.▲
Show HN: Uncracked City, detective game where you question LLM suspects that lie(uncracked.city)
127 points by passkey1510 4 days ago | 69 comments
27.▲
Show HN: I built ivyNote, a local-first Markdown notes app(ivynote.app)
5 points by songtianlun1 1 day ago | discuss
28.▲
Show HN: I taught my Fujifilm X-T30 II to print on an instax Link 3 over BLE(ronangaillard.github.io)
4 points by j_leboulanger 19 hours ago | discuss
29.▲
Show HN: Overhead – the planes overhead, painted on an e-ink frame(github.com)
12 points by xDaftTurtle 1 day ago | discuss
30.▲
Show HN: Software Layoffs Tracker(hissingkitty.com)
3 points by drewlem 10 hours ago | discuss