Show HN: I built FlipCards – a flashcard app with variations to improve learning (flipcardsapp.vercel.app)

The weakness of formal verification systems is that they turn the problem of writing correct programs into the problem of writing correct specifications, which is just as difficult, while adding extra layers of complexity. How do your tools address this difficulty?

Show HN: A small browser game (PC only) built with Phaser 3 (cubic-zombies.pages.dev)

Show HN: I built FlipCards – a flashcard app with variations to improve learning (flipcardsapp.vercel.app)

Show HN: A Map of All YC Companies (5,300 Startups by Batch and Location) (yc.foundersaround.com)

Show HN: A roguelike game that runs inside Notepad++ (github.com)

Show HN: Provable Safety for AI Agents (sentinelops.xyz)

Show HN: Quicknote.zip (Daily Micro Scratchpad) (quicknote.zip)

Show HN: Shimmy – 5MB privacy-first, local alternative to Ollama (680MB) (github.com)

Show HN: Prompt-to-proof: reproducible LLM eval with hash-chained receipts (github.com)

Show HN: Comfyfile - Secure, Anonymous File Sharing with Auto-Expiry No Account (comfyfile.com)

Show HN: Terragon – Run Claude Code as a Background Agent (terragonlabs.com)

Show HN: Car Chomper – A tool to visualize car sizes (carchomper.com)

Show HN: Entropy-Guided Loop – How to make small models reason (github.com)

Show HN: Prototyper – AI design platform with its own compiler and runtime (getaprototype.com)

Show HN: LightCycle, a FOSS game in Rust based on Tron (github.com)

Show HN: Moribito – A TUI for LDAP Viewing/Queries (github.com)

Show HN: Neural Siege – a text-based experiment in resisting rogue AI persuasion

Show HN: SHAde – A tool that turns Git Commit Hashes into deterministic Art (github.com)

Show HN: Amber – better Beeper, a modern all-in-one messenger (useamber.app)

Show HN: Built a civic issue certificate app in 1 hour (200k views) (civil-certificate.vercel.app)

Show HN: Vapor – A notepad that fades away as you type (enda.sh)

Show HN: Tsuki – Lua 5.4 ported to Rust (github.com)

Show HN: Skada – Automate any workflow with a single prompt (skada.ai)

Show HN: rm-safely – A shell alias that moves files to trash instead of deleting (github.com)

Show HN: My first Go project, a useless animated bunny sign for your terminal (github.com)

Show HN: We built an open-source alternative to expensive pair programming apps (github.com)

Show HN: I built an AI that uses a metacognitive loop 2 solve invention problems (robw1se.substack.com)

Show HN: Simple modenized .NET NuGet server reached RC (github.com)

Show HN: Spotilyrics – See synchronized Spotify lyrics inside VS Code (github.com)

Show HN: Listgitfiles.sh – Fetch Raw GitHub File URLs with One Command (gist.github.com)

Show HN: Davia – A community platform to build, share, and edit applications (docs.davia.ai)

Show HN: A unified approach to compute sandboxes (computesdk.com)

Show HN: Hacker News em dash user leaderboard pre-ChatGPT (gally.net)

Show HN: Sosumi.ai – Convert Apple Developer docs to AI-readable Markdown (sosumi.ai)

Show HN: Trending rust NTP inspection CLI (github.com)

Show HN: Run gpt-oss-20b on 8GB GPUs (github.com)

Show HN: Woomarks, transfer your Pocket links to this app or self-host it (woomarks.com)

Show HN: Best JSON Comparison Tool (jsontoolbox.com)

Show HN: TwoTickets – meet through events, not swipes

Show HN: I built a deep research tool for local file system (github.com)

Show HN: Helpme, a CLI tool to look up emergency and non emergency resources (github.com)

Show HN: Anonymous Age Verification (gist.github.com)

Show HN: A vibe port of security library libinjection from C to Rust (github.com)

Show HN: VoiceGecko – System-wide voice-to-text that types anywhere (voicegecko.io)

Show HN: Text2SQL with a Graph Semantic Layer (github.com)

Show HN: Super Web Scraper – The Ultimate Data Extraction Tool (chromewebstore.google.com)

Show HN: Find Hidden Gems on HN (pj4533.com)

Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts (bilawal.net)

Show HN: A hacky app for location sharing without suirvellance (fyrspot.app)

Show HN: Multi-Agent-Coder Is #12 on Stanford's TBench. Beats Claude Code (github.com)

Show HN: Blueprint: Fast, Nunjucks-like templating engine for Java 8 and beyond

Show HN: Provable Safety for AI Agents

Comments (1)