The Two Factions of C++

There seems to be a lot of fighting and arguing over the future of C++. On Reddit and a certain orange website, definitely, but also surely at the official C++ standard committee meetings. You don’t need to look very far. EDIT (25-11-2024):Typos and phrasing. Mentioned onHN,r/cpp,lobste.rs. It looks like we’re in the following situation: I … Devamını oku

Where Human Sleep Went Wrong

A conversation with David Samson, evolutionary anthropologist and author ofThe Sleepless Ape, about how to sleep When evolutionary anthropologistDavid Samsonwas 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. … Devamını oku

Scientists stunned by children’s lung recovery in ultra low emission zone

Scientists say they have been “stunned” by how quickly young children’s lungs began to recover and grow after pollution restrictions were brought in where they lived. Researchers found that children in London whose lung growth had been stunted by pollution showed impressive improvements after the introduction of an Ultra Low Emission Zone (Ulez) in 2019 … Devamını oku

Bun 1.4 Rust rewrite is not looking good

I care about Bun. I have been rooting for it since the initial release in 2022. I switched all my development from Node to Bun. I used it in the development of theNue frameworkand now with my new projectHertta. The last three months have not looked good for Bun. It started as one of the … Devamını oku

Palomar: A registry of Lean verified mathematics

18 August, 2026 inadmin,advertising| Tags:Lean,Palomar| byTerence 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 Lean repository actually proves the claimed statement is somewhat non-trivial, especially for an audience … Devamını oku

OpenLogi

A native,local-firstalternative to Logitech Options+, written inRust 🦀. Remap buttons, drive DPI and SmartShift over HID++ — withno accountandno telemetry. Signed & notarized .dmg · Linux .deb/.rpm/.pkg.tar.zst · Windows .msiMIT / Apache-2.0Not affiliated with Logitech This is the heart of the app — an interactive mouse diagram with clickable hotspots and a per-button action picker. … Devamını oku

Cerebras CS4

Introducing CS-4: The Fastest AI Accelerator in the Industry Learn more >> Introducing the all new Cerebras CS-4, a revolutionary rack-scale solution that delivers upto 30x faster inference compared to GPUs, enhanced economics, and a simple path todeploy hyperscale capacity. It is the architecture for frontier AI.​ Each wafer delivers up to 2x the speed of the … Devamını oku

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. SoLo crosses that boundary. It provides adlfcn-style source API backed by its own ELF loader (x86-64 and aarch64) and a glibc ABI bridge implemented on top of musl. The result is … Devamını oku

Who owns the code?

for founders, engineering leaders, and counsel shipping AI-generated code Ownership is not a formality you fix later. It is decided by who authored the expressive work, line by line. // the AI did the expressive workWhen you let the AI make the creative decisions, the code is not human-authored, and code that is not human-authored … Devamını oku