Recent posts
View all
Show HN: Pytest-tia – run only the tests your Git diff affects, with receipts https://ift.tt/10mXhGz
Show HN: Pytest-tia – run only the tests your Git diff affects, with receipts https://ift.tt/01aH49V June 20, 2026 at 09:14AM
Show HN: Rundown - Niche Intelligence for YouTube Creators https://ift.tt/MIqGEWT
Show HN: Rundown - Niche Intelligence for YouTube Creators https://getrundown.xyz June 20, 2026 at 06:47AM
Show HN: Let agents send/receive SMS using your old Android phone https://ift.tt/BMi1aDe
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 j…
Show HN: Jumpjet – a WASM runtime for game developers https://ift.tt/IveCwPA
Show HN: Jumpjet – a WASM runtime for game developers I built Jumpjet because I realized that engine and indie game developers are always repeating the same work: building the core infrastructure that touches the OS. Webassembly solves this in the Component Model by enabling interop between packages written in different languages. And in my opinion it's sort of the perfect fit for Jumpjet's model: providing a chassis without an engine. Jumpjet works by defining a very close mapping of WebGPU (and a few other WebIDL features) to WIT so …
Show HN: Talos – Open-source WASM interpreter for Lean https://ift.tt/hKmLGS3
Show HN: Talos – Open-source WASM interpreter for Lean At Cajal (YC W26) we’re excited to share Talos ( https://ift.tt/9gmGyXL ), 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 foun…
Show HN: Crawlie – Free open-source SEO audit tool for humans and agents https://ift.tt/4LS7B21
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'…
Show HN: OSymandias – Open-source runtime for multi-agent AI systems https://ift.tt/4j3m9PN
Show HN: OSymandias – Open-source runtime for multi-agent AI systems https://ift.tt/Hp6Ykxe June 18, 2026 at 11:32PM
Social Plugin