Show HN: Typevia live LaTeX editing with AI assistance https://bit.ly/448XYUZ

Show HN: Typevia live LaTeX editing with AI assistance https://bit.ly/3SApyYr June 22, 2026 at 03:48AM

Show HN: Wirewright, an experimental symbolic physics environment https://bit.ly/44s0oOg

Show HN: Wirewright, an experimental symbolic physics environment The idea with Wirewright is to treat programs and algorithms as physical mechanisms, as machines or societies of machines inhabiting an immutable symbolic world, and time-step the latter to see what happens. This last part in particular reminds me of cellular automata. Said differently, in Wirewright, programs are modeled as "nouns" or "societies" of interacting "nouns" (think data structures). The world is then subjected to laws of physics -- symbolic physics; which is the only "verb" here (think function). Therefore, in Wirewright, we say that, in a sense, algorithm equals structure and the evolution of structure equals computation. I tend to shorten this to "structure is computation", but this may be incorrect if viewed in isolation. Now, I guess you're wondering what Wirewright actually is . In fact, I see the rules here state that I must tell you what Wirewright is, plainly and clearly. I will try, but beware that at the end of the day, I know as little as you do :^) My hands write, my brains ponder. It's hard for me to say definitively what Wirewright is . Please see the README for several attempts of mine to answer this question. Please see the tutorial(s) if you're interested enough to try and infer that yourself. I'm still not sure the README or the tutorial(s) are answering the exact question, though; I had no feedback yet on most of my work on Wirewright, so any feedback is welcome, other than, I guess, "I don't understand what this is"; this kind of feedback I can generate myself, no offense :^) If there wasn't a public GitHub repo and if I hadn't made a few announcements here and there already, you'd think I'm developing the project in secret. This kind of stuff is not something you ordinarily talk about, you see, especially "in the wild"; or else you'd be quickly labeled eccentric or outright crazy. Anyway. Wirewright is not a framework, not a UI toolkit, not an IDE. It's not a programming language either. I think I'm trying to explore the intersection of different things here, such as cellular automata, term rewriting, symbolic computation, dataflow, etc. I'm also prone to veering off for pages and pages into a genre one could call "folk biology"; biology and especially neurobiology is a huge inspiration for me. Inspiration doesn't mean copying or formal study, of course. In fact, if there are any biologists here, please "shut down" your eyes and ears and all other sensory organs if you decide to explore the depths of the project :^) For me, when I see something interesting in biology, I think, in excitement, "Oh, I want to do that too, I don't care how!" The project has been evolving more or less organically, along with me, so to speak, subsuming a lot of my ideas (but mostly the ideas of others; e.g., Varela, Maturana, Wolfram), and mixing them. I'd say it's a playground of mine which, over the years, has become consistent enough for me not to fear trying to tell the world about it. That is, about two years ago, Wirewright was an amorphous blob I couldn't even describe with analogies. Now I can at least try analogies. All this "symbolic physics" stuff is the product of my most recent work in recognizing where the project actually appears to be heading. Now, as a final disclaimer, please note I'm an amateur in all of the things I'm talking about, from programming to biology to philosophy. So maybe all of this is well-trodden grounds, and I'm coming up with these words and ideas for nothing, and what I'm saying is stupid. Maybe it is. Regardless, I hope at least the synthesis looks interesting to some of you, even if the exact wording and my little philosophy intermissions here and there feel a bit off. Sorry for the long text. https://bit.ly/4uOUn9i June 22, 2026 at 01:15AM

Show HN: MiniPCs.zip – Charting the Pareto frontier of Mini PCs https://bit.ly/3QYWCZL

Show HN: MiniPCs.zip – Charting the Pareto frontier of Mini PCs The overall idea is to chart out the thousands of Mini PCs by benchmark and reveal the Pareto Front so you can get the most Compute per Dollar. Definitely a labor of love as I have a number of Mini PCs for my "homelab" (TrueNAS, piHole, Plex, basic stuff). It uses Gemini to extract specs from listings (since they're not often strongly categorized). Quick blog post here: https://bit.ly/3SlHgio https://bit.ly/4vnJlZA June 20, 2026 at 08:55PM

Show HN: TownSquare, a tiny presence layer for websites https://bit.ly/4uUlS1f

Show HN: TownSquare, a tiny presence layer for websites https://bit.ly/4afYDHr https://bit.ly/4v86qil https://bit.ly/3QXTu0d June 20, 2026 at 12:55PM

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