Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean https://ift.tt/LOBGQn8

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean https://ift.tt/Wg1SAhU August 8, 2026 at 10:04PM

Show HN: Check if any of the $656M in unclaimed royalties at The MLC is yours https://ift.tt/rNizbdm

Show HN: Check if any of the $656M in unclaimed royalties at The MLC is yours https://pub.doub.ly/ August 7, 2026 at 09:35PM

Show HN: Zaivern Code – a Rust cockpit for parallel AI coding agents https://ift.tt/0gGZYQ4

Show HN: Zaivern Code – a Rust cockpit for parallel AI coding agents https://ift.tt/mDK71t6 August 7, 2026 at 11:23PM

Show HN: Mousecrack – Teaching an LSTM to move a mouse like a human https://ift.tt/Un7wYNb

Show HN: Mousecrack – Teaching an LSTM to move a mouse like a human https://ift.tt/mQycNEP August 7, 2026 at 08:53PM

Show HN: ARF – a record format for AI evaluation runs, with reproducible digests https://ift.tt/FOGiA6y

Show HN: ARF – a record format for AI evaluation runs, with reproducible digests https://www.korvo.xyz/arf August 7, 2026 at 03:25AM

Show HN: Learn System Design, one campaign at a time https://ift.tt/yJtka0b

Show HN: Learn System Design, one campaign at a time https://scalequest.io/ August 7, 2026 at 01:55AM

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2 https://ift.tt/agA70RV

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2 Pokémon Emerald ported to the RP2350 microcontroller. No emulator, 60 fps HDMI output. Recompiled from ARMv4T to Cortex-M33 and the Game Boy Advance's video hardware is reimplemented in software on the second core. https://ift.tt/3AirJyY August 7, 2026 at 01:49AM

Show HN: Ocean – All your team's agent sessions in one place https://ift.tt/4Jtgy8p

Show HN: Ocean – All your team's agent sessions in one place I spend a lot of time in Claude Code and Codex with my friend. We kept losing the context behind changes because every agent session lived on one person's laptop, and by the time code made it into a PR, all the reasoning was gone. We tried commits, PRs, and docs, but they only really capture the end result, so we built a tool to keep all of our agent sessions in one searchable place. Now we (and our agents) can check out anyone's session and ask things like "what was Alex working on yesterday?" It's also quite helpful in recovering the context behind a change days or weeks later. Ocean works with Claude Code, Codex, OpenCode, Hermes, Pi, and other agent harnesses. We've been using it every day ourselves and it's become a core part of how we work together. Hopefully some of you find it useful too! Try it out: https://ift.tt/rT1BF6A Demo: https://www.youtube.com/watch?v=sjyrgkRBWVg https://ift.tt/rT1BF6A August 5, 2026 at 10:18PM

Show HN: Maple-Preview – ternary 20B MoE running at 120 tok/s on a iPhone https://ift.tt/3mw6dIO

Show HN: Maple-Preview – ternary 20B MoE running at 120 tok/s on a iPhone https://ift.tt/amr5wX2 August 4, 2026 at 11:44PM

Show HN: My tool scanned 256 AI-built apps and most had exposed credentials https://ift.tt/r6taJpn

Show HN: My tool scanned 256 AI-built apps and most had exposed credentials All of a sudden everybody wants to build with AI. People in hell want ice water. Built something with AI and don't know if it's secure? Try necktochoke. https://ift.tt/kyex9NY August 5, 2026 at 12:12AM

Show HN: TormentNexus – Local-first Go control plane with persistent memory https://ift.tt/lA9Rz7w

Show HN: TormentNexus – Local-first Go control plane with persistent memory https://tormentnexus.site August 4, 2026 at 11:17PM

Show HN: Spellfolio – my stock market game with news events and inside info https://ift.tt/z470TB2

Show HN: Spellfolio – my stock market game with news events and inside info https://ift.tt/ykRKvNg August 4, 2026 at 02:38AM

Show HN: Freqcast, an Android radio player that finds streams from a website URL https://ift.tt/iFXVgT6

Show HN: Freqcast, an Android radio player that finds streams from a website URL Hi HN! Not every internet radio station is listed in a directory like Radio Browser. For a lot of them, the only way to actually listen is to dig the stream URL (.mp3/.aac/.m3u8) out of the station's website by hand — and that's before you even find a player that isn't full of ads or locked to its own catalog. Freqcast lets you paste the station's website instead of the stream URL directly. It first checks the Radio Browser catalog, then scans the website itself, discovers a playable stream, verifies that it works, and adds it to your library. In many cases, you never have to hunt for the URL yourself. No ads, no tracking, no account — everything lives locally in the app. Your station list can be exported as JSON, and imported from JSON, OPML, M3U, or PLS. No Play Store listing — grab the APK from Releases. F-Droid submission is in progress. Would genuinely love feedback! https://ift.tt/IUv6e4X August 4, 2026 at 01:35AM

Show HN: Golars (Go Equivalent of Polars) https://ift.tt/V6lD9xM

Show HN: Golars (Go Equivalent of Polars) https://ift.tt/4ZHWENT August 4, 2026 at 12:00AM

Show HN: Make your Framework 12 sound like a creaky door https://ift.tt/vQklV8z

Show HN: Make your Framework 12 sound like a creaky door I was poking through the iio devices on my Framework the other day and turns out Framework 12s have a pretty accurate hinge angle sensor! So I made a version of LidAngleSensor ( https://ift.tt/zSnBAXC ) but for the Framework 12 on Linux, so you can make your hinge sound rusty https://ift.tt/sYjL6d3 August 3, 2026 at 12:33AM

Show HN: My public second brain – 660 notes, 15 years, open source https://ift.tt/DFH6d9C

Show HN: My public second brain – 660 notes, 15 years, open source Author here. ~660 notes published from a private Obsidian vault of 8,360 (3M words). Started in OneNote around 2011, moved to Obsidian in 2021 [1], imported everything with a Python script [2]. Notes are compounding over time, and that is where my writing comes from. The Semantic Layer note started in 2022, became a four-part blog series, then a chapter of my book. Materialized Views, One Big Table, dbt and OLAP were separate notes written years apart. I only later noticed they were the same pattern, and that became another chapter. Publishing: add #publish to a note, run `make deploy`. Quartz + Hugo, rsync to my own server [3]. Code [4]. Semantic search over the graph [5]. [1] https://ift.tt/avzfsTp [2] https://ift.tt/TaZIo9u... [3] https://ift.tt/5bV69oq [4] https://ift.tt/Bo5NQuI [5] https://explore.ssp.sh https://ift.tt/HR3ziPS August 2, 2026 at 11:42PM

Show HN: SteerPlane – Deterministic runtime guardrails for AI agents https://ift.tt/PCApMDt

Show HN: SteerPlane – Deterministic runtime guardrails for AI agents https://ift.tt/zxINBSX August 1, 2026 at 10:09PM

Show HN: GAI – A Go runtime for typed, tool-using LLM agents https://ift.tt/ENyfhQj

Show HN: GAI – A Go runtime for typed, tool-using LLM agents https://ift.tt/dyWb4Gx August 1, 2026 at 02:53AM

Show HN: Offline Flock Navigation https://ift.tt/iAke3Tr

Show HN: Offline Flock Navigation Hello HN! A little side project I have been working on a fork of OsmAnd with offline ALPR/Flock camera avoidance routing. Also, took the time to at least create a paper on the project as well. https://ift.tt/eRPNa57... And yes, I did use AI to help me with this. All of it open sourced and available for use. Though I don't intend to build Apple version of this, or submit it to the play store. I am looking for feedback! Thank you all and have great weekend. :) https://ift.tt/xJ3mBn0 August 1, 2026 at 12:10AM

Show HN: How to build and self-host a code review agent https://ift.tt/MShdcFg

Show HN: How to build and self-host a code review agent Hey HN, I've had a side-project that I've slowly ticked away at over the last year called Tilde. Tilde is a harness SDK platform - I've tried to take the best things of OpenClaw, Hermes & other harnesses and decompose them and make them available as cloud API building blocks. You can use Tilde to create AI agents for your use case, fast and self-host the agent's yourself. The documentation (and attached blog post) leave a lot to be desired in terms of technical documentation but hopefully the attached git repo does a good job of showcasing the API. https://ift.tt/lzL8JEH https://ift.tt/iaZhJmN August 1, 2026 at 12:27AM