Migrating the main Zig repository from GitHub to Codeberg
ziglang.org
Penpot: The Open-Source Figma
github.com
Voyager 1 is about to reach one light-day from Earth
scienceclock.com
Coq: The World's Best Macro Assembler? [pdf] [2013]
nickbenton.name
Willis Whitfield: A simple man with a simple solution that changed the world
sandia.gov
Running Unsupported iOS on Deprecated Devices
nyansatan.github.io
Functional Data Structures and Algorithms: a Proof Assistant Approach
fdsa-book.net
S&box is now an open source game engine
sbox.game
Gemini CLI Tips and Tricks for Agentic Coding
github.com
Music eases surgery and speeds recovery, study finds
bbc.com
A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards)
benjoffe.com
Fara-7B: An efficient agentic model for computer use
github.com
Show HN: Era – Open-source local sandbox for AI agents
github.com
DSP 101 Part 1: An Introductory Course in DSP System Design
analog.com
Bring bathroom doors back to hotels
bringbackdoors.com
The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop
arstechnica.com
Making my 1970's-style renderer multi-threaded
filiph.net
Ruby Was Ready from the Start
obie.medium.com
A woman on a mission to photograph every species of hummingbird
audubon.org
Bonsai_term: A library for building dynamic terminal apps by Jane Street
github.com
How Does Microwaving Grapes Create Plumes of Plasma?
pbs.org