1. Show HN: Can AI read your mind? (jeffyclassify.com)
A Markov chain learns your left/right pattern and predicts what you
2. Show HN: AI Hub – Open Access Lesson Plans for Teaching Students about AI (aihub.remakelearning.org)
Open-access resources from six nonprofits, helping educators in Allegheny and Westmoreland counties teach students about AI.
5. Show HN: Code Like It's 198x (code198x.com)
Learn programming by building complete games on classic 8-bit and 16-bit systems, in the languages people used at the time.
7. Show HN: The LAST DOOR – a tiny game about deciding when to leave (sydro.surge.sh)
8. Show HN: Using the long book of the law to improve PA health insurance appeals (gemini.google.com)
Created with Gemini
9. A Strongly Aperiodic Monotile in Three Dimensions (arxiv.org)
Socolar and Taylor asked for a single, simply connected three-dimensional prototile that forces nonperiodicity by shape alone, admitting no weakly nonperiodic tiling; the Schmitt-Conway-Danzer biprism and the three-dimensional Socolar-Taylor tile admit screw motions or a periodic stacking direction. We exhibit a rational polyhedral $3$-ball $Q$, which we call Chair44 (R44): a seven-cube chair whose $24$ exposed unit panels carry tiny square-pyramid features, and prove, as a proof submission, that $Q$ admits tilings of $\mathbb{R}^3$ by congruent copies, reflections allowed, and that every such tiling has no translational period and a symmetry group of order at most $24$; every tiling is homochiral and carries a unique infinite hierarchy of nested supertiles. The solid was designed to a reading of the aperiodic-monotile phenomenon reached with the Six Birds emergence calculus (Section 3.3), and the construction turns on a single finite test, checked by machine: the tile's own contact rule survives coarsening, so that the decoded parent tiling obeys the tile's rule and no other. The proof combines a written geometric argument, that the features force every tiling onto a registered lattice, with exhaustive finite enumerations; the companion census is replayed by two independent implementations, every finite gate is kernel-checked in Lean 4 (modulo a named compiler hook per native_decide theorem), and the written geometric lemmas and the logical assembly are Lean theorems as well, so that the theorem is kernel-checked modulo the named compiler hooks; the written proofs remain as exposition.
Researchers have developed a new three-dimensional tile, called Chair44, that uniquely enforces nonperiodicity through its shape alone, without allowing for any periodic arrangements. This discovery could have significant implications for the study of aperiodic tiling in higher dimensions.
10. Show HN: Yagi DSP Modulation SIM (brian-armstrong.github.io)
Explore digital modulation and channel impairments in the browser.
Yagi DSP is a new library that ports the popular liquid-dsp C library to Rust, showcasing its capabilities through a browser demo that illustrates modem performance in noisy environments. With over 95% test coverage and a recent major refactor, it promises to be a solid tool for those interested in digital signal processing.
11. Show HN: Aside – Mac app that suggests what to say next during calls (asidehq.app)
Aside records calls on your Mac without a bot, transcribes them on-device and writes them up. When you want, it guides the call from under your camera.
12. Show HN: SuperLocalMemory" AI brain that never bluffs: Laya, Jev, Google Gemma (github.com)
Open-source governed, local-first memory control plane for AI agents and teams. arXiv:2608.08253 - qualixar/superlocalmemory
13. Show HN: PDF to ePub Conversion Tool for Mac (github.com)
Contribute to bnlcas/pdf2epub development by creating an account on GitHub.
14. FCSS 2: Utility CSS that reads like CSS (github.com)
Functional CSS: utility classes named after real CSS properties. One class, one declaration, zero runtime. Works with Vite, Next.js, Astro and Angular. - meerita/FCSS2
FCSS 2 introduces utility classes that mimic real CSS properties, simplifying styling with one class per declaration and no runtime overhead. It’s compatible with popular frameworks like Vite, Next.js, Astro, and Angular, making it a practical choice for developers looking to streamline their CSS workflow.
15. How to Select an Experiment (chillphysicsenjoyer.substack.com)
16. Private equity ownership affects dental practices (www.dentaleconomics.com)
17. Show HN: Sonia. Local AI Assistant Linux. 13Gb RAM, No GPU, Skills Supported (github.com)
Sonia - Local Voice Assistant in less than 13GB of RAM, TTS/STT, No Dedicated GPU required, Skills supported - grigio/sonia-assistant
18. Show HN: OraStage – turn two photos into a Hotel Lobby rap video (orastage.com)
Two photos become a Hotel Lobby rap duo video in minutes. 9:16 or 16:9 MP4, original beat included. Start free with 10 credits; failures are refunded.
20. Show HN: Brutus CLI – Tiny Dagger to Kill Your Mac's Caesar (github.com)
A small native macOS CLI for finding resource pressure and closing individual processes - smashah/brutus
21. Show HN: Fresh cleanup and reset a project after coding agent prs (github.com)
Start clean after a merged PR. . Contribute to Obedience-Corp/fresh development by creating an account on GitHub.
22. Show HN: Benchmark coding agents on deploying apps (github.com)
Benchmark of AI coding agents building web apps and deploying them to Cloudish, DigitalOcean, Render and Vercel, measuring success, time, tokens, cost, human steps and security. - cloudishai/ai-dep...
23. Show HN: Model Atlas – An LLM leaderboard you can reweight (philippdubach.com)
Compare model configurations with capability weights and published benchmark results.
24. Show HN: Mixdog – stretch your Claude/ChatGPT subscription with 63% fewer tokens (github.com)
Open-source desktop coding agent that matches Codex on Terminal-Bench 2.1 with 63% fewer tokens. - tribgames/mixdog
25. Show HN: Herdr for Android – The runtime coding agents run on (droidtty.com)
Droidtty shows what the coding agents in your Herdr workspaces are doing, and lets you answer their questions, approve commands, review diffs and open a real terminal from Android or iPhone.
26. Show HN: Cve.earth – Open-Source Environmental Destruction Tracking (cve.earth)
Put a company
28. Show HN: MLX Direct Decider, Mac local decider without fine-tuning (github.com)
Training-free decision engine for existing MLX models on Apple Silicon. No fine-tuning or extra decision weights. MLX-LM + experimental MLX-VLM action selection and semantic routing. Related: AnyJe...
29. Show HN: Fakenamegenerator – free browser based mock data generator (www.fakenamegenerator.online)
30. Show HN: Graft – open-source source control for agent-scale monorepos (github.com)
Source control for agent-scale monorepos: an open-source implementation of the design in Anthropic's 'Redesigning source control' post. Server-side changesets, derived data, want-only t...