1. .md File is not a specification: Using formal analysis to find requirements gaps (blog.fizzbee.ai)
Using Formal Analysis to Find Requirements Gaps
3. Show HN: Artvinto – Vintage posters and fine art prints (www.artvinto.com)
Discover vintage art poster reproductions, historic prints, and classic wall decor carefully restored for modern spaces.
4. Show HN: Superwhisper S1 mini – Text and tone normalizer for speech-to-text (huggingface.co)
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
5. Show HN: Kahawai – An open source, modular media system (kahawai.net)
A self-hosted media server for your own movies, series, anime and music. Direct play first, transcode only what a device cannot play.
8. Why the AI future will be awesome (nullpaste.org)
10. Show HN: Upfling.host – Free static site hosting for HTML, CSS and JavaScript (upfling.host)
Upload HTML, CSS, and JS, or drag a whole folder. Get a live website with SSL on a shareable URL in seconds. No setup, no config, no code.
11. Show HN: Plan trips across the U.S. using only local public transit (ahhhtrak.com)
Plan trips across the US using only local public transit and small flights.
12. Show HN: Viberuler – measure where your AI coding context goes (github.com)
The benchmark for vibe coders. npx viberuler — tokens per dollar, LoC shipped, meme ranks, global leaderboard. - master5d/viberuler
13. Show HN: Rinkata, shared project context for teams using coding agents (rinkata.dev)
Rinkata Hub UI is where your team and your AI agents share one source of truth: goals, specs, decisions, and completion evidence.
16. Show HN: SVG Spark – 10 client-side SVG design and dev tools (svg-spark.vercel.app)
Converters, formatters and debuggers that never upload your files.
17. April: APL as a DSL in Common Lisp (github.com)
The APL programming language (a subset thereof) compiling to Common Lisp. - phantomics/april
18. Show HN: TomCad, Caddy server config from a single .toml file (github.com)
Manage Caddy server with a single .toml file. Contribute to cy6erlion/tomcad development by creating an account on GitHub.
19. Show HN: jev-bisect – Find answers with Jev via higher, lower, or (github.com)
A Python library that uses Jev to find a numeric answer through repeated higher, lower, or exactly decisions. - mkly/jev-bisect
20. Show HN: Crashlytics for AI Coding Agents (github.com)
Crashlytics for AI coding agents. Search production crashes, inspect stack traces, and find hot files from the terminal. - 0xfirattamur/xcrashlytics
21. Show HN: MarbleMD – Free collaborative alternative to Typora (marble.md)
Online Markdown editor and collaborative workspace
22. Show HN: BerryDB – Open-source macOS database client written in Swift and AppKit (github.com)
Contribute to berry-apps/berrydb-desktop development by creating an account on GitHub.
23. Show HN: Singularity – memory that makes coding agents cheaper on repeat work (github.com)
Contribute to pandacover/singularity development by creating an account on GitHub.
24. Show HN: Coding Agent with Cost Saving Built-In (www.wiyomi.com)
Wiyomi is an agent for coding, research, and everyday work, with built-in token-saving strategies and memory.
25. Show HN: Opposable – Computer Use for iPhone and Android (getopposable.com)
Opposable is computer use for phones. Claude Code, Codex or an on-device model can see, tap and type across every app on a real Android phone, yours or one in our cloud.
26. Self-Modeling Interventions Modulate Emergent Misalignment (www.lesswrong.com)
Code: https://github.com/atagade/sgtr-em • Model checkpoints: https://github.com/atagade/sgtr-em/blob/main/MODEL_README.md …
27. Show HN: A satirical yet useful employee survey app for tolerable workplaces (tolerableworkplace.com)
The workplace certification that can’t be bought. A real anonymous employee survey, real analytics, and an honest bar: if 65% of your people say it’s fine, it’s fine.
28. Show HN: agentc: <1mb static/no-libc, minimal, embeddable agent with Rust/C API (github.com)
A minimal, static, embeddable coding agent in C - no libc, less than 1MB. - abird-ai/agentc
29. Show HN: Nutrition facts for your own body, as an EU food label (human-nutrition.anishsheela.com)
What is the nutritional value of a human? A German/EU-style food label for your body, printed as a packaging proof. Just for fun: it does not encourage eating anyone.
30. Show HN: Letterkin – Make every letter count (letterkin.io)
Letterkin is a daily word puzzle where you solve five clues using as few different letters as possible. Play, beat the target, and share your score online.