<a href="https:&#x2F;&#x2F;archive.ph&#x2F;y4Egm" rel="nofollow">https:&#x2F;&#x2F;archive.ph&#x2F;y4Egm</a><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Patrick_Stewart" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Patrick_Stewart</a>

Patrick Stewart has died

We're releasing the weights of Mistral Large 4

Binance-hacker-1029 – $5.6B stolen from Binance

DoorDash to acquire Instacart

LLM Voice

H.264 Is Magic (2016)

Chained PHP2Shell exploit roots 25 servers, including US Government servers

<a href="https:&#x2F;&#x2F;www.nytimes.com&#x2F;2026&#x2F;10&#x2F;29&#x2F;us&#x2F;politics&#x2F;nvidia-china-jensen-huang-trump.html" rel="nofollow">https:&#x2F;&#x2F;www.nytimes.com&#x2F;2026&#x2F;10&#x2F;29&#x2F;us&#x2F;politics&#x2F;nvidia-china-...</a>, <a href="https:&#x2F;&#x2F;archive.ph&#x2F;K7bih" rel="nofollow">https:&#x2F;&#x2F;archive.ph&#x2F;K7bih</a>

Alleged Chinese spy had 'close relationship' with Nvidia boss Jensen Huang

If IPv4 were land

Zombie stats: Where the numbers AI quotes come from

Grace Blackwell needs a new scheduler: 27% more usable GPUs from the same racks

The importance of communities around software

Claude Duet is the first personal-assistant-type harness that feels useful

This popup has been a constant gripe of mine for years.  I almost NEVER want to allow this permission and there is no system setting to disable it globally and prevent the popup from interrupting your typing, etc.  This tiny swift app I built will autoclose it in 1&#x2F;4th of a second and leave behind a little notification that it did so.  Would love to hear feedback!

Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"

16colo.rs – ANSI/ASCII art archive

A tiny world model running games on a Raspberry Pi Pico 2 W

We ran AI agent swarms in Minecraft and Mindustry

The linked repo is 100% vibe coded, but it was built on a handful of principles:- Most tax software derives trust from the party who maintains it (e.g. Intuit, the IRS, etc.)- Vibe coded software lacks this trustworthiness.- Therefore any formalization should build in verifiability and mechanisms that make it possible for users&#x2F;maintainers to trace claims&#x2F;interpretations back to authoritative source documents.It&#x27;s very much a back-burner passive project right now (do not use this for anything real!), but I feel strongly that something like this ought to exist for the public good. I built it to get a sense of what the shape of what such a thing might be.

Show HN: A proof-of-concept formalization of the IRS federal tax forms

Hi HN, we&#x27;re Ahnaf and Seungmin from Simantic (<a href="https:&#x2F;&#x2F;simantic.com">https:&#x2F;&#x2F;simantic.com</a>). We are building the simulation layer that lets engineers and AI agents test and validate firmware without hardware.Before Simantic, we were ex-firmware engineers at companies like Neuralink and Tesla. We’ve worked on some of the coolest projects, like the Cybertruck and Roadster, back when they were still early prototypes.We started working on firmware back when ChatGPT didn’t exist yet, but over the years, we saw how much of the engineering and development work has been automated as the frontier models improved to this point. In software, AI can run and test code inside your computer in a matter of seconds. But as firmware engineers, we didn’t have that luxury. An AI agent can write firmware in seconds, but in order to test it, we had to flash a physical board, then manually run tests using expensive and clunky tools with software made over a decade ago.To speed up the validation loop, we built the simulation layer that lets AI agents test the firmware and make decisions based on evidence, instead of waiting for the engineer to run tests for them. We used to spend hours testing our firmware manually on devboards, but now we use our own simulation to validate firmware in seconds.What we offer:
- Virtual devboards you can program and run with a single API call, without leaving your terminal.
- An AI code reviewer for firmware, that makes informed decisions based on evidence, using our simulation as a verification engine.
- A CI&#x2F;CD pipeline for your hardware projects that validates your firmware against a simulated version of the microcontroller on every commit.Here is a demo of our simulation used in an AI code review session: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=kBK1ZjGWWbQ" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=kBK1ZjGWWbQ</a>Our users are using Simantic for bare-metal and RTOS development for applications like flight controllers, electric vehicles, robotics, and satellites. For safety critical systems like avionics and automotives, a robust simulation system is incredibly important, because every change in the firmware puts a human life at stake, especially for machines that cost hundreds of thousands to millions of dollars.We recently helped an early stage space startup building satellites, to test their firmware on hardware that they don&#x27;t yet have. Even the development modules for those satellites costs over $100k, and we helped them do that at just a hundredth of the cost and time.Early on in our journey, we established our idea to make better simulation but didn’t have a clear idea of how we would do it, we considered developing our software around open source emulation frameworks like Renode (<a href="https:&#x2F;&#x2F;github.com&#x2F;renode&#x2F;renode" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;renode&#x2F;renode</a>) and QEMU (<a href="https:&#x2F;&#x2F;www.qemu.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.qemu.org&#x2F;</a>), because they were tools already used within the firmware industry. We built our MVP that was essentially a wrapper around Renode, but we quickly realized there were a lot of limitations to doing this.1. We were bottlenecked by the development speed of Renode themselves. We tried making contributions on Github to fix issues we came across, but the speed in which we could merge our features in was not fast enough for a startup like us trying to move fast.2. Renode is built using Dotnet, and it was proving itself to be slower than we would have liked. Renode was released in 2017, which was when all code was still being written by hand, so I think it made sense looking back, but there were limitations because of the language itself.3. The open source tools were bloated, with features that we would never use. Yes, there were a breadth of features, but we had a lot of things we had to work around just because we couldn’t remove or change them.
Users were complaining about simulation accuracy. Renode is an emulator at the core, but our users, especially those who are building systems where timing accuracy is crucial did not find the accuracy good enough to validate their firmware.Because of these issues, we made our own simulation engine from scratch, fully written in Rust.- Our simulation is focused on accuracy. Open source frameworks often focus on expandability and developer experience, which means there were a lot of tradeoffs made to prioritize a breadth of models rather than going deep into a set of select models.- We have our own hardware validation rigs running 24&#x2F;7 to ensure our simulation models are as close to real world hardware as possible, and any gaps are detected and fixed as soon as we can. It currently looks like devboards connected to a Saleae Logic MSO and a SWD bus, controlled by a Linux PC, running Claude 24&#x2F;7 just finding these gaps.Our cloud-hosted simulator is available to use right now! We also provide a native binary with our developer plan licenses that let you run your firmware on your machines locally without any limitations.Check it out at <a href="https:&#x2F;&#x2F;simantic.com&#x2F;cloud-sim">https:&#x2F;&#x2F;simantic.com&#x2F;cloud-sim</a>, and you can start using our AI firmware reviewer bot in your own Github repos here: <a href="https:&#x2F;&#x2F;simantic.com&#x2F;dashboard&#x2F;simantic-bot">https:&#x2F;&#x2F;simantic.com&#x2F;dashboard&#x2F;simantic-bot</a>.We currently have support for some models of the STM32F0, F4, H7 series MCUs, ESP32-S3&#x2F;C3, and RP2040, but we’re constantly working to release new models every week, and improve our existing ones.Thank you, and if you have any questions, feel free to send us an email at founders@simantic.dev

Launch HN: Simantic (YC F26) – Firmware Simulation for AI Agents

Scattered thoughts on how doing math feels these days