frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
219•psxuaw•4h ago•115 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
193•johnbender•5h ago•104 comments

Quad9 (DNS Resolver) to Exit France

https://quad9.net/news/blog/au-revoir-france/
1055•farrokhi•13h ago•376 comments

The Secret Life of Circuits is now in stock everywhere

https://blog.coredump.cx/p/the-secret-life-of-circuits-is-now
48•surprisetalk•2d ago•14 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
329•niemandhier•10h ago•172 comments

Woman faces six years in prison over Cash App account she never opened

https://www.techspot.com/news/114296-woman-spends-three-nights-jail-faces-six-years.html
569•oidar•14h ago•583 comments

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855472
38•gumby•2d ago•13 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
287•rakannimer•12h ago•341 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
353•aghuang•12h ago•132 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
242•dewey•11h ago•95 comments

AI compute is the new oil–and needs a new market

https://www.economist.com/finance-and-economics/2026/10/22/ai-compute-is-the-new-oil-and-needs-a-...
33•ijidak•4h ago•23 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
33•giancarlostoro•4h ago•1 comments

What Is Gridifcation

https://musicalform.substack.com/p/what-is-gridifcation
424•gumby•3d ago•206 comments

Hedra is a 3D open world game I wrote from scratch while in highschool

https://github.com/maxilevi/project-hedra/tree/pre-ai
158•maxilevi•9h ago•31 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

427•petecooper•17h ago•182 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
243•entryleveljobsc•16h ago•216 comments

eMudhra to exit global SSL/TLS certificate business

https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business
977•bo0tzz•14h ago•651 comments

Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It

https://idiallo.com/blog/asus-laptop-keeps-rebooting-after-sleep
11•surprisetalk•2d ago•4 comments

Railpass

https://train.samismith.com/
68•CharlesW•6h ago•21 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
64•xiaoyu2006•3h ago•54 comments

Mapping the Northern Sky

https://www.maps.com/star-map-charts-stars-and-constellations-of-northern-hemisphere/
22•tmseidman•4h ago•9 comments

AI and the Enclosure of the Scientific Commons

https://arxiv.org/abs/2610.27251
122•jrepinc•9h ago•72 comments

Dungeon Generation in the Gnomish Mines of NetHack

https://www.boristhebrave.com/2026/10/18/dungeon-generation-in-the-gnomish-mines-of-nethack/
132•ibobev•3d ago•17 comments

How to Design Flowers

https://www.asimov.press/p/flowers
23•surprisetalk•2d ago•2 comments

Faster than earcut: triangulating 3.7M map polygons in 489 ms

https://globus.software/blog/2026/10/16/cutting-map-polygons/
210•molind•18h ago•39 comments

Show HN: Uberblok – an interactive museum of ZFS internals

https://uberblok.storagebits.workers.dev/
94•storagebits•1d ago•23 comments

Speeding up code review with `small-change`

https://lethain.com/small-changes/
31•alexmolas•3d ago•17 comments

Jailbreaking the Switch 2

https://pepsipu.com/blog/2026-10-switch2-jailbreak-ns2jb/
750•ledoge•20h ago•263 comments

A farewell to Arc browser

https://arc.net/
250•suhdonghwi•11h ago•218 comments

Startup taps underwater volcano as energy source in “proof point” test

https://arstechnica.com/science/2026/10/startup-taps-underwater-volcano-as-energy-source-in-proof...
129•wffurr•3d ago•55 comments
Open in hackernews

Armbian Updates: OMV support, boot improvents, Rockchip optimizations

https://www.armbian.com/newsflash/armbian-updates-nas-support-lands-boot-systems-improve-and-rockchip-optimizations-arrive/
74•transpute•1y ago

Comments

proxysna•1y ago
Armbian is an exceptional project, even if the support might be uneven in some places, being able to roll out the same OS across almost every SBC i have is an absolute game changer. If there is support, Armbian is worth trying 100% of the time.

Edit: Also if you don't like/want Ubuntu/Debian their build documentation is pretty great.

dima55•1y ago
Their website doesn't answer the obvious question: what is it, and how is it different from vanilla debian? Do you know?
qwertox•1y ago
Vanilla Debian will not run on your nice and shiny Radxa Rocks 5B or Banana Pi whatever.
dima55•1y ago
Why not? What's missing?
qwertox•1y ago
Different boot process, U-Boot needs to be compiled for the exact board, drivers for the specialized components are needed, DTB (on ARM systems, the kernel doesn't probe hardware the same way a PC does) and other reasons.
RetroTechie•1y ago
> Different boot process, U-Boot needs to be compiled for the exact board

Why? That sounds dumb. And (assuming you're correct), how does Armbian deal with that / get around it?

ajb•1y ago
It's basically the same in the x86 world : your bios is customised to the board

The sad part is that on ARM the kernel is usually also custom compiled for the board. So what happens is that Armbian ship a different image for each board.

If you go and look in https://github.com/torvalds/linux/tree/master/arch/arm you see a zillion "mach-xxx" directories for different SoC architectures, even if they all use Arm.

Device-tree is a partial solution, but no-one seems to have an incentive to finish the job and let a single image run on any (sufficiently recent) arm board. It's difficult for the community to fix because most people have only their own board. Someone would need to pay for a CI rig with every board, and some kernel devs to do the work of building a single kernel to run across everything. (I think that's originally what Linaro was for - not sure why they didn't finish the job)

qwertox•1y ago
Right, the x86 BIOS/UEFI is baked into the motherboard firmware and handles early hardware init in a mostly standardized way. But with ARM boards, there's no universal firmware, it usually needs to be part of the image you download for that specific board.
FlyingSnake•1y ago
How does Armbian compare to DietPi?

FWIW: I’m running dietPi on my OG Pi Zero W and it doesn’t even hit 30% resource usage.

apple4ever•1y ago
Completely agree. I use it on my old PINE64 and it keeps on ticking.
chris37879•1y ago
I just stumbled across armbian recently and I must say I really like it.

I wanted to use UEFI, but my orangepi cm5 modules don't seem to have the SPI chip needed to store the UEFI there, so I'd have to load it on a partition and lose out on some features like persisting variables across boot.

The arm ecosystem really needs to settle on some sort of universal boot loader / firmware layer and stop just hacking up the linux kernel and not contributing back to it.

Nexxxeh•1y ago
I'm not an Arm dev and am just a consumer so I may be misunderstanding, but isn't Arm SystemReady pretty much the thing that's intended to solve the problem you're talking about (among others)?

https://developer.arm.com/documentation/107981/0302/SystemRe...

robotnikman•1y ago
It is, but it seems like only servers are adopting it at the moment. Or high end ARM workstations. I can't think of any consumer devices or SBC's off the top of my head that support it.
moondev•1y ago
Raspberry PI and Nvidia AGX

https://github.com/pftf/RPi4

moondev•1y ago
https://developer.arm.com/Architectures/Unified%20Extensible...
yjftsjthsd-h•1y ago
> Why? That sounds dumb.

Good, you understand the situation perfectly.

> And (assuming you're correct), how does Armbian deal with that / get around it?

You'll notice that if you try to download it from https://www.armbian.com/download/ , nearly every board has a different download image; this is because every one of those images embeds its own boot chain. There are efforts (in some projects, I'm not aware of armbian doing this) to build some amount of early bootloader per-board (often uboot), and just make the install steps something like "install this per-board thing, then install the real OS using a standard image" but that's less common and doesn't work super well when that initial bootloader has to go on the same storage device as the main OS.

dima55•1y ago
I believe that's common on ARM devices. But "vanilla debian" generally refers to userspace, and that should just work. Is this "armbian" thing quite literally "kernel + bootloader + vanilla debian"? The website doesn't say that in any obvious place
puzzlingcaptcha•1y ago
Pretty much, plus their little configuration utility for loading dtb overlays among other things.
pabs3•1y ago
The hard work of upstreaming/mainlining all the hardware support code in the userspace drivers like mesa, the Linux kernel core/drivers, bootloaders like GRUB/u-boot, boot firmware like coreboot/Tianocore/u-boot.