Programming news.
Programming and developer news — languages, frameworks, open source, tooling, and engineering deep-dives for people who ship code.
Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM
Kakehashi Userspace macOS ARM64 → Linux aarch64 translation layer (CLI-first, no JIT). Load Darwin Mach-O on Linux aarch64, map a freestanding libSystem, translate BSD syscalls, and run real guests (clang probes, 7-Zip…

How the words we teach English language learners changed
Every one of them is among the most commonly used words in the English language.They come from a 2023 list of about…

Ursula K. Le Guin: A Rant About "Technology" (2005)
And my books don’t have technology in them, because I am only interested in psychology and emotions and squashy stuff…

The Seinfeld Chronicles: Digital Edition
Scroll down or Use keyboard arrows Though the first episode was aired in the US in 1989, there would be a four-year…
I made a Promise-aware debounce and throttle library for TypeScript
temporize Small, strongly typed timing and concurrency utilities for modern TypeScript. Every scheduled call returns a…
F*: A general-purpose proof-oriented programming language
Uses F* is used in several projects in both industrial and academic settings. If you are using F* in your project,…

Has the New Cocaine Arrived?
Clubgoers across the US and Europe are increasingly using the synthetic stimulant 3‑MMC, which they describe as a…
Show HN: Fuse – statically typed functional programming language
fuseFuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. Algebraic…
Twenty Years of RISC OS Open
On 20 June 2006 we incorporated RISC OS Open Ltd with one slightly mad ambition: to take a proprietary operating…

An internal OpenAI Astra model solved 10 major open math and CS problems
Noam Brown@polynoamialAn internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems…

Meshdiff – visually compare two STL versions in the browser, client-side
See exactly what changed between two 3D model versions — added material, removed material, dimensional drift. Free,…

Great Question (YC W21) Is Hiring Senior Demand Gen Manager
Great Question, an AI-powered customer research platform, is hiring a Senior Demand Generation Manager. The role will…
Wikimedia Foundation refuses union recognition, hires union-busting law firm
The Wikimedia Foundation declined to grant voluntary recognition to the Wiki Workers United union. It has engaged a…
US Treasury undertakes historic intervention in yen market

Show HN: Bor – Open-source policy management for Linux desktops
This release adds three new policy types — Thunderbird, Microsoft Edge for Business, and Firewalld zones — alongside a…
Is the Industrial Revolution a good precedent for explosive growth today?
Is the Industrial Revolution a good precedent for explosive economic growth today? July 27, 2026 One line of evidence…
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge
John turned to the Ars Notoria after being unable to afford traditional study resources, dedicating himself to its…
Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores
syncular Server-authoritative, offline-first SQL sync you can operate. Clients keep a real local SQLite database (OPFS…
I don't recommend Tailwind CSS
Tailwind CSS is a widely used utility‑first CSS framework that can speed up UI development. The author argues that its…

The time filter in Google Search broke a few days ago
Attached: 1 image The time filter in Google Search broke a few days ago, and no one seems to care. Would have been…

Show HN: Tone Generator
A tone generator plays one clean sound at the pitch you choose. You type a number in hertz (Hz) and the tool plays…

Nerd culture is murdering intellectuals
Nerd culture is murdering intellectualsNerdom is great. . . but at what cost?Erik HoelNov 09, 2023960162145ShareArt…

Canadians are leaving the country at record levels. Can anyone solve this?
Canada is experiencing record levels of net emigration, reaching 65,372 in 2024-25, the highest in a 50‑year series.…
Linux desktop market share has hit over 10% in North America

Running Kimi K3 on MI355X at Better Performance per Dollar Than B300
July 31, 2026Ian YeIs memory the moat?Running Kimi K3 at ~952 tok/s/node, AMD continues to prove its case as the…
Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

The teenage hitmen recruited to kill across Europe
The Foxtrot Network, an organised crime group linked to the Iranian regime, recruits teenagers across Europe to carry…

MkLinux and the pimped-out Apple Workgroup Server 9150
As is typical here in the Floodgap lab, it all started so innocently: rebuilding a flaky Apple Workgroup Server 9150,…
.jpg&w=480)
Plug-in solar is coming. Plug-in batteries should follow
Plug-in batteries: putting power in people’s handsRooftop solar and home battery systems are a well-established pillar…
The Greenhouse and the Lens: Two Modes of Agentic AI Work
The article discusses two modes of work in software engineering, the greenhouse and the lens, which represent…
Walsh: Multi-agent research pipeline with risk manager that can veto trades
Live demo: walsh-demo.vercel.app · Demo GIF Results Backtest run: AAPL · MSFT · NVDA, Jan 2023 – Dec 2023, $100k…
Persistent State Machines: LLM Attention with INT4 In-Memory Cells
Published August 2, 2026 | Version v8 Preprint Open Persistent State Machines: Complete Mathematical Proofs and Vivado…
The Art of 64-bit Assembly
The Art of 64-bit Assembly is a book that aims to provide a deep understanding of assembly language programming. It…

A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention
While signing the convention does not create binding obligations (that requires ratification), the decision to sign a…
Morten Linderud resigning from Arch Linux development team
Morten Linderud is resigning from the Arch Linux development team after almost a decade of service. He has sent an…
RipGrep musl binaries occasionally segfault during very-large searches
That binary is byte-for-byte identical with the one in…

Kontigo (YC S24) Is Hiring
Low wages, bitter cold, long hours of complete darkness. Honour and recognition in event of success" You gotta be in…
How to Do Great Work
Solid Queue 1.6.0 now supports fiber workers
No results found View all tags rosa released this 31 Jul 11:59 v1.6.0 86f3d92 A long-awaited feature thanks to @crmne…

RamenHaus
RamenHaus is a growing archive of 114 bowls photographed, slurped and posted around the world.

Ten advances in mathematics and theoretical computer science
That is why we recently announced ChatGPT for Academic Researchers, an initiative providing 100,000 scientists and…
A migrant surge tests Spain's open policies
Ten Ways NAS Is Getting Enshitified
About 100 firefighters are convicted of arson, every year
Firefighter arson remains a persistent problem in North America, with roughly 100 firefighters convicted each year.…
What Liberal Arts Education Is for (2024)
What Liberal Arts Education Is For A Manifesto Paul Cantrell 2024–2–29 In college, I took a religious studies class…

What Is MiniMax H3? Everything You Need to Know About the Hailuo 3.0 Video Model
New models arrive every few months, each claiming to push the boundary further. So what exactly does H3 bring to the…
The development pipeline is a production system
The development pipeline is a production system by Jerry Orr Jul 31, 2026 programming technology 2 minute read…
BMW Is Showing Full-Screen Ads on Its Cars' Main Dashboard Control Display
In 2020 the company announced a subscription that charged drivers a recurring fee to activate the heated seats already…