Linux Kernel Explorer

Penpot: The Open-Source Figma

DIY NAS: 2026 Edition

Interactive λ-Reduction

Voyager 1 is about to reach one light-day from Earth

Music eases surgery and speeds recovery, study finds

G0-G3 corners, visualised: learn what "Apple corners" are

Willis Whitfield: A simple man with a simple solution that changed the world

S&box is now an open source game engine

Coq: The World's Best Macro Assembler? [pdf] [2013]

Principles of Vasocomputation

Gemini CLI Tips and Tricks for Agentic Coding

Migrating the main Zig repository from GitHub to Codeberg

Running Unsupported iOS on Deprecated Devices

Last Issue of "ECMAScript News"

Show HN: Era – Open-source local sandbox for AI agents

Functional Data Structures and Algorithms: a Proof Assistant Approach

How/why to sweep async tasks under a Postgres table

New research highlights a shortage of male mentors for boys and young men

A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards)

Fara-7B: An efficient agentic model for computer use

C100 Developer Terminal

The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop