frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

An Empirical Study of Harness Design for Coding Agents

https://arxiv.org/abs/2609.20804
75•wek•1h ago•9 comments

I Vibed a Proof of Conway's Conjecture

https://overreacted.io/how-i-vibed-a-proof-of-conways-conjecture/
13•m-hodges•13m ago•0 comments

Bend 2 and the Vibe-Coding Trap

https://blog.liampwll.com/posts/bend_vibe_coding/
245•LiamPowell•2h ago•164 comments

I don't like passkeys

https://hawksley.dev/blog/i-dont-like-passkeys
292•ethanhawksley•2h ago•239 comments

OpenJev

https://openjev.com/
301•ilreb•5h ago•179 comments

The Shadows Lurking in the Equations – Underwater Islands

https://gods.art/articles/equation_shadows
26•vismit2000•2d ago•3 comments

Subnormal floating-point numbers are expensive on Intel processors

https://lemire.me/blog/2026/09/15/subnormal-floating-point-numbers-are-expensive-on-intel-process...
46•zdw•2d ago•30 comments

Jemalloc 5.4.0

https://github.com/jemalloc/jemalloc/releases/tag/5.4.0
248•gkfasdfasdf•10h ago•61 comments

Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him

https://www.nytimes.com/2026/09/18/business/warren-buffett-berkshire-chairman.html
148•saimiam•3h ago•99 comments

ZCode, the GLM coding agent, silently uploads your Git history

https://tokenstead.ai/guides/zcode-silent-git-history-upload
212•cdnsteve•4h ago•44 comments

The scourge of x86 emulation

https://fex-emu.com/Scourge-of-emulation/
211•dagmx•10h ago•56 comments

Cekura (YC F24) Is Hiring

https://www.ycombinator.com/companies/cekura-ai/jobs/AiWwUxI-forward-deployed-engineer-us
1•atarus•2h ago

Microsoft exec called AI scraping 'the largest theft of labor in human history'

https://techcrunch.com/2026/09/17/microsoft-exec-called-ai-scraping-the-largest-theft-of-labor-in...
545•pluc•5h ago•450 comments

Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint

https://prismml.com/news/bonsai-2-27b
516•JonSchneider•17h ago•163 comments

Astra for Law

https://openai.com/index/astra-for-law/
542•vertigoruntime•18h ago•642 comments

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

https://bend-lang.com/
546•nicolas-siplis•18h ago•267 comments

NATS publishes preliminary report on technical incident of 8 September

https://www.nats.aero/news/nats-publishes-preliminary-report-on-technical-incident-of-8-september/
5•asplake•1h ago•0 comments

Replacing Pull Requests with Delta

https://zed.dev/blog/delta-public-beta
94•vquemener•2d ago•47 comments

Qwen 3.8 Omni Flash

https://qwen.ai/blog?id=qwen3.8-omni-flash
286•jjcm•15h ago•101 comments

Hister: A private search engine for the pages you visit and the files you keep

https://github.com/asciimoo/hister
670•bookofjoe•22h ago•178 comments

Wax motor

https://en.wikipedia.org/wiki/Wax_motor
477•mhb•2d ago•87 comments

When the fractional part of a float fixes your shader

https://crocidb.com/post/when-the-fractional-part-of-a-float-fixes-your-shader/
76•vinhnx•2d ago•12 comments

Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA

https://global.fujitsu/en-global/pr/news/2026/09/14-02
617•my123•2d ago•241 comments

Pre-Greek: The lost language hidden within Ancient Greek

https://linguisticdiscovery.com/posts/pre-greek/
120•axiologist•11h ago•57 comments

Second Circuit Allows Government to Search Electronic Devices at the Border

https://knightcolumbia.org/content/second-circuit-allows-government-to-search-electronic-devices-...
9•HotGarbage•38m ago•1 comments

How to Write with an LLM

https://sockpuppet.org/blog/2026/09/17/how-to-write-with-an-llm/
241•joeriddles•17h ago•168 comments

Show HN: Navier-Stokes Visualized as 1kB i386 demos

https://juandecos.github.io/TurboZip/vortex.html
44•chaostaco•4d ago•3 comments

New wild cat species discovered – with only one known living member

https://www.bbc.com/news/articles/c6x2zgv9rr4ro
26•drgo•7h ago•2 comments

Dr Julius Neubronner's Miniature Pigeon Camera

https://publicdomainreview.org/collection/dr-julius-neubronner-s-miniature-pigeon-camera/
23•vitonsky•3d ago•0 comments

A heap overflow and SSO misconfiguration to compromise OpenAI internal repos

https://www.hacktron.ai/blog/hacking-openai
400•Handy-Man•12h ago•171 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.