Show HN: Autonomy – Self-Harness/Self-Directed AI Agent Core Under Development https://bit.ly/4aZAoxo

Show HN: Autonomy – Self-Harness/Self-Directed AI Agent Core Under Development https://bit.ly/4w4oElF June 20, 2026 at 07:31AM

Show HN: Pytest-tia – run only the tests your Git diff affects, with receipts https://bit.ly/4uPo22b

Show HN: Pytest-tia – run only the tests your Git diff affects, with receipts https://bit.ly/4uTgv2l June 20, 2026 at 07:14AM

Show HN: Rundown - Niche Intelligence for YouTube Creators https://bit.ly/4vpe8FF

Show HN: Rundown - Niche Intelligence for YouTube Creators https://bit.ly/4vS8Z8E June 20, 2026 at 04:47AM

Show HN: Let agents send/receive SMS using your old Android phone https://bit.ly/4vhhJ8t

Show HN: Let agents send/receive SMS using your old Android phone While playing with agents I realised it might be quite handy if they could get access to OTP codes. And while at it, why not give them ability to send the SMS as well. Twillio is expensive and annoying to set up for my taste. I vibe coded simple Android app that can read/send SMS and simple relay server that acts as MCP for agents. Works surprisingly well and my old android phone from a drawer is doing something useful again. Feel free to use it if you find it useful. I put it just to a $5 vps. If it's crashed, you should be able to spin up your own instance on your own VPS just in a few minutes. https://bit.ly/4vhhJoZ June 19, 2026 at 10:06PM

Show HN: BeamWeaver – LangChain/DeepAgents-style agents and workflows for Elixir https://bit.ly/4oBItyb

Show HN: BeamWeaver – LangChain/DeepAgents-style agents and workflows for Elixir Hi HN, We build agents in Elixir. We kept running into the same issue and found there is no observability for agentic systems. We decided to take the best aspects of LangChain, LangGraph, and DeepAgents and put them into Elixir. BeamWeaver comes with an OTP-native design and: - agents and tool calling - graph workflows - checkpoints and resumable execution - memory stores - retries, fallbacks, interrupts, and human review - typed streaming events - provider adapters for OpenAI, Anthropic, Google Gemini, xAI, and Moonshot/Kimi - fake/replay models for deterministic tests We're also building observability on top of it through WeaveScope, which we'll release very soon. BeamWeaver gives Elixir teams the tools needed to build advanced agentic systems without pushing the hard parts into Python services. https://bit.ly/43Gggwv June 19, 2026 at 03:06AM

Show HN: Talos – Open-source WASM interpreter for Lean https://bit.ly/44nzPty

Show HN: Talos – Open-source WASM interpreter for Lean At Cajal (YC W26) we’re excited to share Talos ( https://bit.ly/4uIKTw4 ), an open source framework for formal verification of WebAssembly modules in Lean. AI is now writing tons of the code that gets pushed to production. As code generation gets cheaper, verification becomes the bottleneck. We believe in a future where every piece of software comes with a mathematical proof that it does what its author intended - in doing so, eliminating many classes of exploits. Talos is part of the foundation for that. Talos provides a Wasm interpreter optimized for reasoning at the binary level, together with a weakest-precondition calculus layer for proving properties about programs. Because we reason directly about WebAssembly, any language with a Wasm backend is in scope: Rust, C++, Go, C, Swift, Kotlin, Zig, C#, and many more. To make this possible, we use Lean: a programming language and theorem prover that lets you both write software and mathematically prove that it's correct - all in one system. That's what lets Talos double as both an executable interpreter and the formal object Lean reasons about. Lean also integrates with modern AI proving tools, discharging goals automatically via both proof search and direct evaluation. To see Talos in action check out a proof for Stein's GCD algorithm, implemented in the popular Rust crate num-integer: https://bit.ly/4vWWSaz... . Our roadmap: - Full Wasm coverage by first passing the official W3C testsuite, then later verifying against SpecTec (formal Wasm spec) - Arbitrary crate verification - any Rust crate that compiles to Wasm should be in scope - Building our proof library codelib, to make verifying increasingly complex programs tractable We would love to hear the community’s feedback on Talos and comments on the state of formal verification right now. Contributions are also welcome! https://bit.ly/4uIKTw4 June 18, 2026 at 02:10PM

Show HN: Crawlie – Free open-source SEO audit tool for humans and agents https://bit.ly/4vkbyR4

Show HN: Crawlie – Free open-source SEO audit tool for humans and agents With AI, it's faster than ever to ship a marketing site... but most of what gets generated is slop that was never built to be found. Plus the tools meant to catch that fall short: most SEO auditors cost money, don't play nicely with your agents, or tell you what's wrong without telling you how to actually rank for SEO and GEO (Generative Engine Optimization: being cited by AI search like ChatGPT, Perplexity, and Google AI Overviews). crawlie fixes that! It's 100% free, it's local-first, it's agent-native (MCP baked in!), and every issue it finds comes with why it matters and how to fix it. https://bit.ly/4vrQt7C June 18, 2026 at 11:54PM

Show HN: Cowork/Codex DOCX plugin. Uses 2x fewer tokens than the docx skill https://bit.ly/4vT84Vz

Show HN: Cowork/Codex DOCX plugin. Uses 2x fewer tokens than the docx skill Hi HNers, I'd like to share our DOCX plugin for Cowork and Codex. It uses 2-5x fewer tokens compared to the traditional docx skill because it doesn't write any code nor execute python/node script. It is also much more reliable. Our DOCX plugin converts docx<->html bidirectionally. This means AI only operates on HTML. AI is excellent and very efficient when it comes to HTML. Most libraries (if not all) support docx->html, but none supports html->docx. This is what is novel about our approach. Here's the demo: https://bit.ly/44e6mlR... We've been using it in-house for redlining legal documents, and we love it. If you redline docx files, please give it a try: https://bit.ly/4ecMPrW... https://bit.ly/4uMFBzQ June 18, 2026 at 01:49AM

Show HN: Reyn – local-first AI that journals and recalls your work https://bit.ly/4vb9vie

Show HN: Reyn – local-first AI that journals and recalls your work Hey HN, I built Reyn - which I like to describe as "granola but for everything". You're probably thinking another screen capture AI tool (which is true). Same as always, the biggest question that comes up is privacy, so I'll talk about that first 1. raw screen data is never stored in the cloud 2. user controlled filters are granular to the point that you're able to configure specific apps, windows, websites, or even keywords to be discarded immediately (once again never leaving your mac) and never captured down the pipeline I personally built it because I find it useful and always had the problem of organizing my day (not note taking or task management), as well as sharing context on things that just happened to go undocumented throughout my day. As I was building it I decided to go even further and see if I could collect useful insights and find room for improvements in my day to day workflow. This led to the current version of Reyn and its differentiating factor being the fact that it has a proactive layer. Most tools in this space are reactive - you ask, they retrieve. Reyn surfaces insights on its own and sends a daily recap of what you worked on, what's still open, and what deserves attention. The journal feature also lets you search across basically anything you've done on your Mac. The proactive insights work by first having you configure what your ideal workday looks like — whether that's hours worked or the type of work being done. We have a few broad categories that tasks fall under, with more customization coming. Current integrations: Obsidian (available now, improvements in progress) Gmail, calendar, web search via a floating window with some agentic functionality Notion (coming soon) BYOK for LLM API requests (on the roadmap) ... and more It's still early, but the journal and insights features are the strongest parts right now. Would love some feedback especially on the privacy model. My personal take - I think with enough safeguards in place, the data aggregated about your work is fully in your control. A lot of these data sources already store your data. If you're using Notion, Claude, or just browsing a website, that data is already being stored somewhere. Reyn is just aggregating it and putting it to work for you. Happy to answer any questions about how it works usereyn.com (public beta) https://bit.ly/3S6u4hk June 17, 2026 at 11:31PM

Show HN: Day-ahead river discharge forecasting using USGS and ERA5 data https://bit.ly/4oxdYJJ

Show HN: Day-ahead river discharge forecasting using USGS and ERA5 data https://bit.ly/4eBb4PE June 17, 2026 at 08:25AM

Show HN: Easy text to social media cards platform https://bit.ly/4vjxv2O

Show HN: Easy text to social media cards platform Includes text to card conversion, visual editing, variations and integration for posting directly from the editor. https://bit.ly/4vrbMWw June 17, 2026 at 12:47AM

Show HN: Numax - a portable runtime for distributed apps https://bit.ly/43G77E4

Show HN: Numax - a portable runtime for distributed apps Hi, over the past few months I've been working on this project: Numax is a small Rust runtime that does three things: it runs WebAssembly modules in a sandbox, has a built-in local key-value store, and syncs everything across nodes with CRDTs and gossip. Basically, you write a wasm module, run it on two machines, and they converge (I hope !). It's a decentralized system... I hope someone finds it interesting! There's a whitepaper I've put a lot into, and I think the code isn't bad either! I believe there's still room in this world for software that's fun and well made, and while building Numax I had a great time! I love Numax and I love software. Thanks to anyone who'll spend a bit of their time even just to open the repo and take a look! https://bit.ly/4eLVYYy June 16, 2026 at 11:25PM

Show HN: Tamper-evident audit trail for AI coding agent activity https://bit.ly/4uHCklb

Show HN: Tamper-evident audit trail for AI coding agent activity We released what I've been working in the last few months: an Openclaw plugin that ecords every session, tool invocation, and prompt exchange into a local SQLite database with SHA-256 hash chain integrity, so you can verify that no events were altered or deleted after the fact. https://bit.ly/3SHD0K4 June 16, 2026 at 12:01AM

Show HN: Wtdb – give every Git worktree its own database https://bit.ly/43D2Tx3

Show HN: Wtdb – give every Git worktree its own database I run a lot of agentic coding sessions in parallel, each in its own git worktree. Every worktree points at the same local Postgres though, so the moment one branch runs a migration it changes the schema out from under the others. I'd end up with agents tripping over each other, or me babysitting which branch "owned" the DB at any given moment. I made this to fix it. I hope you might find it helpful too. https://bit.ly/43Bt1Z7 June 15, 2026 at 12:35AM

Show HN: Coding agent with algebraic memory (VSA) instead of RAG https://bit.ly/4vaAnyO

Show HN: Coding agent with algebraic memory (VSA) instead of RAG https://bit.ly/43x7KzV June 15, 2026 at 12:44AM

Show HN: Is Fable 5 available? (it is not) https://bit.ly/4eMcVkL

Show HN: Is Fable 5 available? (it is not) https://bit.ly/4oq4506 June 14, 2026 at 11:33PM

Show HN: I run a vision model on every screenshot, locally, on a 4GB GPU https://bit.ly/3Sm41CI

Show HN: I run a vision model on every screenshot, locally, on a 4GB GPU https://bit.ly/4e9N0UZ June 14, 2026 at 12:12AM

Show HN: Slopsome – a VRAM fit calculator and tok/s database for local LLMs https://bit.ly/3S6rTKA

Show HN: Slopsome – a VRAM fit calculator and tok/s database for local LLMs https://bit.ly/4fL7YuA June 13, 2026 at 08:44PM

Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering https://bit.ly/49X84eM

Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering Setting up Kafka or such enterprise oriented software with their clusters or dedicated servers is heavy and bothering enough that most small teams or indie hackers skip it entirely and making compromise to use in-memory queues. I wanted something in between: a persistent queue that is simple to run (one binary, which makes one sqlite db), gets real fault isolation and crash recovery due to Elixir, easy to inspect (open ezra.db in any SQLite browser and see every task), and requires no new client library - it speaks the Redis Streams wire protocol, so any Redis client in any language just works out of the box. Very short demo video: [ https://www.youtube.com/watch?v=MLYyD3DVWmE ] https://bit.ly/4eJGwv9 June 10, 2026 at 02:45PM

Show HN: LLMRender, a 10kb Markdown+LaTeX renderer for React https://bit.ly/4xx2E4u

Show HN: LLMRender, a 10kb Markdown+LaTeX renderer for React I've been using the popular React Markdown renderers with Katex and Prism.js for rendering my Markdown and LaTeX, but was tired of having to bundle 300kb+ of min+gzip JS only for this (1.2MB+ of plain JS!). So I created a small Markdown renderer that does it all in a tiny package. I added a small playground to the homepage, please feel free to try it and let me know what you think! It's not perfect, it's definitely not "correct" in that I'm using Regex internally instead of a proper AST parser, but for my usecase and the majority of Markdown out there, this works perfectly fine (cue the StackOverflow post [1]). It's also conservative for this reason; no HTML by default, parsing wrong content produces escaped HTML entities instead of XSS. [1] https://bit.ly/4xrJ1dY https://bit.ly/4eGTRFm June 13, 2026 at 05:11AM