frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
366•evankhoury•5h ago•188 comments

alpr.watch

https://alpr.watch/
648•theamk•10h ago•325 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
446•ryandrake•7h ago•81 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
362•gavide•6h ago•74 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
135•MrAlex94•5h ago•80 comments

Midjourney is alemwjsl

https://www.aadillpickle.com/blog/midjourney-is-alemwjsl
86•aadillpickle•6d ago•35 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
334•charlierguo•9h ago•175 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
509•kevin-david•9h ago•591 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
79•pbowyer•4h ago•46 comments

Sei AI (YC W22) Is Hiring

https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior
1•ramkumarvenkat•2h ago

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

https://bernsteinbear.com/isdt/
17•vismit2000•1h ago•0 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
400•geox•13h ago•176 comments

More than 100 rally against data centers at Michigan Capitol

https://www.lansingstatejournal.com/story/news/local/2025/12/16/lansing-state-capitol-data-center...
31•rmason•3h ago•17 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
435•recvonline•13h ago•676 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
34•handfuloflight•4h ago•14 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
15•surprisetalk•4d ago•3 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
336•mitchbob•1d ago•137 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
129•rgovostes•18h ago•106 comments

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

https://github.com/TheAuditorTool/Auditor
12•ThailandJohn•13h ago•4 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
227•wicket•14h ago•36 comments

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
25•englishcat•2h ago•9 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
206•mosura•5h ago•102 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/
90•tempodox•11h ago•53 comments

Locked out: How a gift card purchase destroyed an Apple account

https://appleinsider.com/articles/25/12/13/locked-out-how-a-gift-card-purchase-destroyed-an-apple...
22•nonfamous•1h ago•6 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
89•thatoneengineer•1d ago•110 comments

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

https://arstechnica.com/cars/2025/11/an-electric-car-thats-faster-than-f1-around-monaco-thats-the...
4•PaulHoule•5d ago•0 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
151•ewt-nv•1d ago•29 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
55•nulbyte•5h ago•11 comments

Meta's new A.I. superstars are chafing against the rest of the company

https://www.nytimes.com/2025/12/10/technology/meta-ai-tbd-lab-friction.html
76•furcyd•6d ago•95 comments

Can I use HTTPS RRs?

https://www.netmeister.org/blog/https-caniuse.html
24•zdw•4d ago•7 comments
Open in hackernews

Booting the RP2350 from UART

https://pfister.dev/blog/2025/rp2350-uart-bl.html
89•hugolundin•7mo ago

Comments

vardump•7mo ago
One could also send a binary stub that sets up fast CPU clock speed and decompresses the rest of the firmware at the RP2350 side. Should be even faster.

Just like old C64 decrunchers and Amiga PowerPacker. Or Fabrice Bellard's LZEXE. (Is there anything that guy did NOT write?!)

duskwuff•7mo ago
In principle, you could boot the RP2040 over SWD. It'd be much more difficult to code, but the possibility is there...
flyingcircus3•7mo ago
Are you implying the SWD signals would send the RAM contents every time? If I had to do that, I would first use a logic analyzer like Saleae to capture the SWD signals of a JLink performing the necessary operations to load the image into RAM. Then figure out, from the bytes that get send and received, whatever needs to be parameterized, and where to put the image data itself, perhaps by capturing different scenarios, and seeing what changes. Maybe even look up the SWD spec. You would also need to figure out what kind of back and forth is necessary, what must block waiting for a response. From there, assuming there isn't cryptography involved, it just becomes a matter of providing bytes to a bus in the correct order or timing based on the proper events. Some of those bytes are "canned" and never change. Some of them are parameters that describe some important quantity relevant your specific image. And the rest are your firmware image, probably chunked up with some overhead wrapped around it. I allow for the possibility that SWD is far more complex than I imagine, but this approach works pretty well for figuring out whats going on with SPI or I2C or BLE.
duskwuff•7mo ago
SWD and the associated debug interfaces are all documented by ARM; there's no need to reverse-engineer anything here. See the ADIv5 documentation [1] for a starter.

[1]: https://developer.arm.com/documentation/ihi0031/a

dmitrygr•7mo ago
ADIv6 for RP2350 (!important)
bsder•7mo ago
> I allow for the possibility that SWD is far more complex than I imagine, but this approach works pretty well for figuring out whats going on with SPI or I2C or BLE.

SWD is pretty well documented. I won't claim its simple, but, in my opinion, it's decent at what it does. The RISC-V folks haven't seemed to be able to do better (and, IMO, did quite a bit worse in a few places, actually).

The SWD description at the packet/command level: https://arm-software.github.io/CMSIS-DAP/latest/index.html

There is open source code directly from ARM for it: https://github.com/ARMmbed/DAPLink/tree/main/source/daplink/...

The documentation of the actual wire protocol is also extensive, but a little more scattered: https://developer.arm.com/documentation/ihi0031/a?lang=en https://community.nxp.com/pwmxy87654/attachments/pwmxy87654/...

The big problem with the SWD wire protocol ARM documentation (and everybody who copies it) is that they don't point out the fact that when you go from Write-to-Read the active edge of the clock changes. In SPI-speak, you switch from CPHA=1 to CPHA=0. This makes sense if you stop to think about it for a moment because during debug there is no clock. Consequently, SWD must provide the clock and you switch from "put something on DATA a half phase early->pulse clock to make chip do something with it" to "pulse clock which makes chip put something on Data->read it a half phase later". However, if it has never been pointed out to you before, it's likely to trip you up.

Sigrok (or similar) which can decode SWD properly and a digital signal analyzer (even a cheap $10 one) are your friends.

The only diagrams which seem to resemble scope traces that point this out are on obscure Chinese engineering blogs.

jdbxbdjehe•7mo ago
This is completely unnecessary since SWD is both trivial as well as well documented
duskwuff•7mo ago
Well... I wouldn't call it "trivial". But it is documented.
gadgetoid•7mo ago
We (Pimoroni) actually shipped this technique in PicoVision, used to load the “GPU” firmware (an RP2040 used to offload the HDMI signal generation) at runtime-

https://github.com/pimoroni/picovision/blob/main/drivers/dv_...

no_time•7mo ago
What are the advantages of doing this instead booting it through UART? Speed perhaps?
vardump•7mo ago
I think RP2040 does not support UART booting.
gadgetoid•7mo ago
In theory you wouldn’t even need to load firmware- you could just manipulate the relevant registers directly over SWD for the silliest IO expander.

In our case it was the only choice. I’d say we’d use UART now but the RP2350 can pretty much do it all in one chip.

mschuster91•7mo ago
There's nothing speaking "version 1.0" more than a bunch of stuff just manually soldered as piggyback over other components of the board :D

Thanks for the writeup.

mrheosuper•7mo ago
this is also how some BLE controller boot.
kees99•7mo ago
Some wifi controllers can also boot like that. In particular ESP8089 chip that shipped with some android tablets circa 2012-2014.

Later, Espressif took that chip, modified bootrom to be able to boot from an SPI flash as well, and marketed that variant as "ESP8266". Serial bootloader was kept as a debug/programming interface, and that was inherited to ESP32 and later chips. All of which can boot directly from serial.

bluehex•7mo ago
This is awesome. I've had similar ideas but wasn't able to do any prototyping yet as I only have Pico 2 boards that don't expose the CSn pin in the pinout.

Rather than UART booting every time I thought it might be nice to use UART Boot just as a way to deliver the firmware update to the sub chip - so the UART image you load would just be a program that accepts a larger image (over UART again) and would write to the flash for subsequent boots. I think that would get around the SRAM and boot time downsides the author mentioned. Is there a reason this might not work?

vardump•7mo ago
That requires having a flash chip in the first place. By booting via UART you don't need any flash at all.
zoobab•7mo ago
The CH32V003 has also a UART bootloader, but for some reason there is no open source command line client to do something with it. WCH has a Windows GUI though.
devdri•7mo ago
This is one of the tricks to enable using both QSPI slots for PSRAM instead of the typical FLASH+PSRAM.

This is great for making audio modules, where the firmware is be small and operates on a big audio buffer. Since the biggest available PSRAM chips are 8MB, this combined 16 MB could hold around 3 minutes of mono 16-bit audio, which allows for a very nice multi track looper.

Another way (in case there's no other MCU to help with uart bootstrap) would be to add a logic chip to multiplex the CS line between Flash and the first PSRAM - copy firmware to flash and then switch to using ram.

ThrowawayR2•7mo ago
Are there any off-the-shelf hobbyist boards that expose QSPI CSn (pin 75 on the RP2350B?) and QPI_SD1-3 signals to a header or pin? Doesn't seem like the official Pico 2 or the Adafruit or Pimoroni versions of the Pico 2 expose access to these signals without modifying the board, which most people won't be able to do.
ptorrone•7mo ago
https://www.adafruit.com/product/6000 has the pads for external PSRAM you can connect to the QSPI pins there (pt @ adafruit)