Show HN: Choreo – an animation DSL that verifies its own rendered output https://ift.tt/Jr8XY32

Show HN: Choreo – an animation DSL that verifies its own rendered output https://ift.tt/HebiEZs July 27, 2026 at 11:34PM

Show HN: Boffin – Staff-engineer layer for AI coding agents https://ift.tt/XKBG1qh

Show HN: Boffin – Staff-engineer layer for AI coding agents Staff-engineer layer for AI coding agents: routes per-edit architectural constraints for AI coding agents https://ift.tt/ylpuh4n July 26, 2026 at 10:58PM

Show HN: Working Async – The new wave of remote work is async-first https://ift.tt/Nro4OHQ

Show HN: Working Async – The new wave of remote work is async-first After living in multiple countries around the world and working remotely, I discovered that the best working cultures are asynchronous ones. An asynchronous working culture is a model where team members collaborate and complete tasks on their own schedules, without needing to be online at the same time or respond instantly. This means employees can work when and where they please for maximum productivity, often times companies who have succesfully implemented async communication have teams with employees across the globe. I created a job board dedicated to curating these types of jobs because I strongly believe that async communication will be a standard for many job types in the future. You can check out the site here: https://workingasync.io Right now there are over 400 jobs listed (including roles from companies like DuckDuckGo, GitLab, and Docker). I’m planning to add new features over the coming weeks, and have update the blog regularly. Feedback is very welcome! https://workingasync.io July 25, 2026 at 11:35PM

Show HN: I made some transistor animations https://ift.tt/GgHRxSI

Show HN: I made some transistor animations Hi HN, I made some animations of the most important kinds of transistors using my semiconductor simulation, details of which are on the page. I tried to make the visuals as realistic as possible while also aiming for clarity. If you want to go beyond the charge carriers and look at, for example, the electric field, you can do so in the simulation software. The desktop software also has less common devices like IBGTs and SCRs that have similar animations. The last thread about my software was posted here about a year ago: https://ift.tt/CpgaolZ https://ift.tt/AiKhJ97 July 25, 2026 at 12:07AM

Show HN: Sourceminder.org - token-efficient code search https://ift.tt/ZNIiadC

Show HN: Sourceminder.org - token-efficient code search Hey HN, The code indexing tools released in December now have added capabilities (Rust, Perl support), better token efficiency, easier install method, and a website! The website has a wasm port of the query tool, qi, so you can try it out in the browser. Let me know what you think. Thanks! https://ift.tt/s4bYLmO July 24, 2026 at 10:28PM

Show HN: Advanced Coffee Search Covering Over 17,000 coffees https://ift.tt/NCGvsc2

Show HN: Advanced Coffee Search Covering Over 17,000 coffees https://ift.tt/E5Oi6eV July 24, 2026 at 02:59AM

Show HN: Notebooker.ai – NotebookLM alternative, your own models, keys, storage https://ift.tt/fiyAGQe

Show HN: Notebooker.ai – NotebookLM alternative, your own models, keys, storage Hi HN. This is a personal side project I've been building for about six months on top of the open-source Open Notebook platform ( https://ift.tt/UnLITlp ). Notebooker saves the stuff you'd otherwise lose in tabs and bookmarks - links, PDFs, audio, video - and makes it useful later: chat with a notebook and get answers that cite the exact source, turn a reading list into a podcast episode (private RSS feed, works in any player), or generate study material from your own sources. The part I've had the most fun with is a plugin engine for creation types - flashcards, charts, infographics, mindmaps, textbooks, essays, slideshows, timelines, wikis are each plugins, and new ones can be added without touching the core. Everything I've built on top of open-notebook has either been submitted upstream as PRs or is open source at https://ift.tt/7r5Gekc . Decisions this crowd might care about: - Bring your own AI keys (OpenAI, Anthropic, local/OpenAI-compatible endpoints) or use the built-in defaults. I enjoy testing Cloudflare Worker AI models. Nothing you save is used for training. You can deploy you own OpenAI compatible endpoint to play with at https://ift.tt/estxQVr - Bring your own S3-compatible storage (R2, Spaces, AWS) if you want your files in a bucket you control. - Webhooks in and out — anything that can POST JSON can trigger a workflow, and workflows can POST anywhere. Notebook also processes incoming RSS feeds and generates its own - Export everything or delete your account with a click. There's a view-only demo notebook at https://ift.tt/b9k2tFW . Happy to answer any questions. I'm expecting some hiccups in releasing, feel free to report bugs or feedback. https://notebooker.ai/ July 24, 2026 at 12:32AM