1. Show HN: I built a command palette for the terminal – 6.2MB, pure Go, no fzf (github.com)
Contribute to matheuzgomes/decoreba development by creating an account on GitHub.
2. Flight Planning with Little Navmap (tech.marksblogg.com)
Benchmarks & Tips for Big Data, Hadoop, AWS, Google Cloud, PostgreSQL, Spark, Python & More...
3. Celestrak adds catalog digit, fixes Y2K bug (www.celestrak.org)
4. Show HN: threadfork – AI meeting notes that run on your Mac (www.threadfork.com)
Your private, local-first AI workspace
5. I built a page that tells you what AI model your laptop can run (localsotabenchmark.engineersf.dev)
6. Show HN: Ekko – PQC encryption inside of your keyboard (useekko.app)
Post-quantum encryption, right where you already type. No new messenger, and nobody to talk into switching.
7. Zoom is now Chrome only (zoom.us)
Preview your next Zoom Meeting using out test meeting tool to check your settings and display.
8. Show HN: Chalk: a Mac app for technical diagrams with a built-in MCP for Claude (chalk.appkit.studio)
9. Show HN: Designing a Static Site Generator for iPhone (hypertemplates.net)
What if posting to your website was as easy as sending a text message or posting on social media?
10. Measuring reward-seeking by instilling contrastive beliefs (alignment.openai.com)
We developed Contrastive Synthetic Document Finetuning (Contrastive SDF), a new test for whether an AI model changes its behavior when it has different beliefs about what a grader rewards.
11. Show HN: In Meeting – A native macOS Mic/Cam observer for home automation (github.com)
Contribute to fellowgeek/in-meeting development by creating an account on GitHub.
12. Show HN: UEFI Bootloader for TempleOS (codeberg.org)
13. A Mathematical Tribute to the Soccer Ball (www.nytimes.com)
15. What most histories get wrong about MUMPS's first standard (github.com)
A faithful implementation of the 1976 MUMPS standard plus some DEC MUMPS-11 Extensions - rochus-keller/MUMPS
16. Show HN: Datalevin – a simple, fast, and versatile Datalog database (github.com)
A simple, fast and versatile Datalog database. Contribute to datalevin/datalevin development by creating an account on GitHub.
17. Show HN: Edky, a CLI to convert Ed25519 public keys from one encoding to another (github.com)
Convert Ed25519 public keys between various encoding formats. - artob/edky
19. Show HN: DocCharm – The help center that keeps itself up to date (doccharm.com)
DocCharm notices when your product changes and drafts the help-article updates for you to approve.
20. Show HN: Take a photo of a menu, get a website (www.eatfoodnow.com)
Snap a photo of your menu and get a professional restaurant website in 5 minutes. No coding, no designers, 100% free.
21. Show HN: Vertically Works – UI components built on writing-mode: vertical-RL (vertically.works)
Every UI component you know assumes horizontal text. Vertically Works is what interface design becomes when reading flows top to bottom, right to left.
23. (Ab)Using Overload Sets to Create Ad-Hoc Template APIs in D (blog.dlang.org)
The official blog for the D Programming Language.
24. Zero-dependency streaming tar parser and writer for JavaScript (ayuhito.com)
Zero-dependency streaming tar parser and writer for JavaScript.
25. The Rise of Grocery Tourism (thefreemanmag.substack.com)
26. Show HN: Faceblind – In-browser only video face blurring (kmcheung12.github.io)
27. YouTube System Design for Robotics Data Infrastructure (hebbianrobotics.com)
28. Show HN: Quartz – A (much) better Voice Memos app (iPhone) (www.madebywindmill.com)
Quartz turns your iPhone into a pocket-sized pro audio recording studio. Available now on the App Store.
29. Show HN: Instancez – Open-Source Declarative Single-Binary Supabase Alternative (github.com)
An LLM-friendly, single-binary, drop-in replacement to Supabase - instancez/instancez
30. Show HN: Maith – open math research with AI (github.com)
Maith is a research workspace for using AI to explore open mathematics—without confusing plausible text, numerical evidence, or symbolic output with proof. - clidey/maith