Where Human Sleep Went Wrong
When evolutionary anthropologist David Samson was living and working among the Hadza tribe in northern Tanzania, he noticed something puzzling: Their sleep was highly fragmented, short in duration, and low in “efficiency,” or actual time spent sleeping versus time in bed. This broken sleep was partly the consequence of activity and noise well into the […]
Palomar: A registry of Lean verified mathematics
Palomar – a registry of Lean verified mathematics 18 August, 2026 in admin, advertising | Tags: Lean, Palomar | by Terence Tao In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking that a given […]
OpenLogi
FAQ Questions, answered. Is OpenLogi made by Logitech? No. It’s an independent, open-source project, not affiliated with or endorsed by Logitech. “Logitech”, “MX Master” and “Options+” are their trademarks. Do I have to quit Logi Options+? Yes. OpenLogi and Options+ both speak HID++ to the same device, and only one can own a receiver at […]
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
By: NK Koh Published: 17 Jan 2016 | Updated & Revised: 26 May 2026 Discovery and Initial Recovery In 2013, a violent storm exposed a shipwreck on the beach of Binh Chau in Quang Ngai province, central Vietnam. The discovery quickly drew the attention of local villagers, triggering a frantic wave of illicit pot-hunting. Consequently, […]
New paper shows that 37% of workers in US saw real wages decline from 2021-2024 [pdf]
Download PDF
Scientists stunned by children’s lung recovery in ultra low emission zone
Lead author, Dr Helen Wood, at Queen Mary University of London said while the results were very promising there was no room for complacency as “air pollution in both London and Luton – as well as other cities across the UK – remains above WHO guideline levels, so there is still work to be done”.
Cerebras CS4
CS-4 is the first iteration of the new Cerebras Nexus Platform Architecture. It is built around a modular concept with three foundational elements: Compute, Power, and I/O – each with significant innovation to simplify manufacturing, deployment, maintenance, and upgrades.
Why crypto’s best infrastructure companies stopped looking like crypto?
Every infrastructure sector in modern history developed using the same playbook. Someone builds raw capacity ahead of demand. The raw resource commoditizes and gets cheaper forever. And the money moves to whoever sells guaranteed, contracted service on top of it. So far, cloud ran it, telecom ran it, even chip makers did it to an […]
Solo – a .so loader for static Linux binaries
Ship one musl-linked executable. At runtime, load the user’s existing glibc-linked GPU driver. No container, no AppImage, and no second libc in the process. Static binaries are a wonderfully boring way to deploy software on Linux: one file, no dependencies, nothing to break. We build ours with IX, a source-first build system for producing fully […]
AI usage patterns in software teams
HOW TEAMS BUILD 000000000000000000000000000000000000000000000000011111111111111111111111111111111111111111111111112222222222222222222222222222222222222222222222222333333333333333333333333333333333333333333333344444444444444444444444444444444444444444444444455555555555555555555555555555555555555555555555556666666666666666666666666666666666666666666666777777777777777777777777777777777777777777777777888888888888888888888888888888888888888888888889999999999999999999999999999999999999999999999999 EDITION 01 – TIM QI (2026) Tens of thousands of teams build software inside Linear every day. Over six years that’s given us a detailed picture of how product development happens, from before AI was widely adopted to now. Model companies and coding tools have published plenty on token usage and […]