Penpot: The Open-Source Figma
github.com
Voyager 1 is about to reach one light-day from Earth
scienceclock.com
Music eases surgery and speeds recovery, study finds
bbc.com
Willis Whitfield: A simple man with a simple solution that changed the world
sandia.gov
G0-G3 corners, visualised: learn what "Apple corners" are
printables.com
Ray Marching Soft Shadows in 2D
rykap.com
Coq: The World's Best Macro Assembler? [pdf] [2013]
nickbenton.name
Principles of Vasocomputation
opentheory.net
S&box is now an open source game engine
sbox.game
Migrating the main Zig repository from GitHub to Codeberg
ziglang.org
Running Unsupported iOS on Deprecated Devices
nyansatan.github.io
Gemini CLI Tips and Tricks for Agentic Coding
github.com
Functional Data Structures and Algorithms: a Proof Assistant Approach
fdsa-book.net
DNS Firewalling with MISP and Technitium DNS Server
zaferbalkan.com
Show HN: Era – Open-source local sandbox for AI agents
github.com
A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards)
benjoffe.com
Last Issue of "ECMAScript News"
ecmascript.news
Fara-7B: An efficient agentic model for computer use
github.com
The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop
arstechnica.com