frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
220•gmays•1h ago•106 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/
124•syrusakbary•1h ago•24 comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

https://bento.page/slides/
429•starfallg•3h ago•92 comments

Making

https://beej.us/blog/data/ai-making/
167•erikschoster•3h ago•66 comments

The startup's Postgres survival guide

https://hatchet.run/blog/postgres-survival-guide
210•abelanger•6h ago•111 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html
61•dcastm•1h ago•19 comments

Can a MUD evaluate LLMs? A $99 proof of concept

https://cruciblebench.ai/
55•Davisb135•3h ago•28 comments

Mechanical light bulb from 1675 [video]

https://www.youtube.com/watch?v=0Y-9GbsS9Fg
40•kadohg•1w ago•14 comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com
27•adeelraza•3h ago•19 comments

Perlin's Noise Algorithm

https://blog.jaysmito.dev/blog/02-perlins-noise-algorithm/
48•ibobev•4h ago•8 comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

https://www.orangecrumbs.com/hall/
145•oyster143•3h ago•32 comments

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/
129•ingve•7h ago•35 comments

“We have information that Moonshot distilled Fable for the development of K3”

https://twitter.com/mkratsios47/status/2079933645888880708
119•softwaredoug•4h ago•267 comments

Everyone Should Know SIMD

https://mitchellh.com/writing/everyone-should-know-simd
14•WadeGrimridge•1h ago•0 comments

Ghost Cut – or why Cut and Paste is broken everywhere

https://ishmael.textualize.io/blog/ghost-cut/
62•willm•4h ago•48 comments

OpenNode – Bitcoin Payment Processor

https://opennode.com/
89•gurjeet•4h ago•76 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
206•badcryptobitch•3d ago•40 comments

Nobody knows what a used GPU cluster is worth

https://ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster
50•rbanffy•1w ago•40 comments

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids

https://neoradar.space
45•daviazpen•3h ago•10 comments

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

https://deepsql.ai/
19•venkat971•2d ago•15 comments

Passkeys were invented by engineers with zero understanding of consumer brain

https://twitter.com/nikitabier/status/2079787406300266743
294•ksec•4h ago•382 comments

I tried to record music onto a cassette tape using modern tech

https://swiftrocks.com/i-tried-to-record-music-onto-a-cassette-tape-using-modern-tech
15•rockbruno•5d ago•7 comments

Hologram works. Elixir runs in the browser

https://hologram.page/blog/backing-hologram
66•lawik•4h ago•8 comments

Show HN: Web swing through midtown NYC

https://www.swingnyc.com/
38•shahahmed•2h ago•15 comments

When Is NVLink Worth It?

https://platform-fools.com/posts/2026-04-27-nvlink/
31•ak_t•4h ago•5 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
214•zdw•3d ago•90 comments

Cornell's Interactive Wall of Birds

https://academy.allaboutbirds.org/features/wallofbirds/?_hsmi=428996456
84•yareally•3d ago•32 comments

Airbus Full Scale Foldable Wing Extensions

https://www.airbus.com/en/newsroom/press-releases/2026-07-airbus-launches-new-flight-test-program...
52•r2sk5t•4h ago•46 comments

Most Americans say "not in my backyard" to AI data centers

https://www.redfin.com/news/ai-data-centers-opposition-education-benefit/
105•toomuchtodo•4h ago•217 comments

Original Apollo 11 Guidance Computer source code for command and lunar modules

https://github.com/chrislgarry/Apollo-11
160•noteness•13h ago•50 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.