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
Functional Data Structures and Algorithms: a Proof Assistant Approach
fdsa-book.net
Running Unsupported iOS on Deprecated Devices
nyansatan.github.io
S&box is now an open source game engine
sbox.game
Gemini CLI Tips and Tricks for Agentic Coding
github.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
Bring bathroom doors back to hotels
bringbackdoors.com
DSP 101 Part 1: An Introductory Course in DSP System Design
analog.com
The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop
arstechnica.com
Ruby Was Ready from the Start
obie.medium.com
Making my 1970's-style renderer multi-threaded
filiph.net
A woman on a mission to photograph every species of hummingbird
audubon.org
How Does Microwaving Grapes Create Plumes of Plasma?
pbs.org
A cell so minimal that it challenges definitions of life
quantamagazine.org
Bonsai_term: A library for building dynamic terminal apps by Jane Street
github.com
Alan.app – Add a Border to macOS Active Window
tyler.io