F*: A general-purpose proof-oriented programming language Sun, 02 Aug 2026 12:31:16 +0000 · Hacker News · 💬 Comments
Great Question (YC W21) Is Hiring Senior Demand Gen Manager Sun, 02 Aug 2026 12:01:00 +0000 · Hacker News · 💬 Comments
Foldables are sort of boring now — and that’s great news for Apple 2026-08-02T08:00:00-04:00 · The Verge
Meshdiff – visually compare two STL versions in the browser, client-side Sun, 02 Aug 2026 11:34:41 +0000 · Hacker News · 💬 Comments
Wikimedia Foundation refuses union recognition, hires union-busting law firm Sun, 02 Aug 2026 11:24:20 +0000 · Hacker News · 💬 Comments
Show HN: Fuse – statically typed functional programming language Sun, 02 Aug 2026 11:23:56 +0000 · Hacker News · 💬 Comments
I made a Promise-aware debounce and throttle library for TypeScript Sun, 02 Aug 2026 11:07:56 +0000 · Hacker News · 💬 Comments
As Taiwanese server makers expand in Mexico, the country has become the second-largest supplier of servers to the US, behind Taiwan, with $46.9B in YTD sales (Financial Times) Sun, 02 Aug 2026 07:00:32 -0400 · Techmeme
The James Webb Telescope Is Changing Astronomers’ Understanding of the Ancient Cosmos Sun, 02 Aug 2026 11:00:00 +0000 · Wired
US Treasury undertakes historic intervention in yen market Sun, 02 Aug 2026 10:46:28 +0000 · Hacker News · 💬 Comments
Show HN: Katharos Functional programming and CSP-style concurrency for Python Sun, 02 Aug 2026 10:45:11 +0000 · Hacker News · 💬 Comments
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge Sun, 02 Aug 2026 10:18:24 +0000 · Hacker News · 💬 Comments
Europeans Are About to Find Out How Entrenched AI Is in Their Daily Lives Sun, 02 Aug 2026 10:00:00 +0000 · Wired
Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores Sun, 02 Aug 2026 09:48:08 +0000 · Hacker News · 💬 Comments
Show HN: Bor – Open-source policy management for Linux desktops Sun, 02 Aug 2026 09:06:33 +0000 · Hacker News · 💬 Comments
YouTube Star AboFlah Made Streaming His Life. He Wants His Kids to Live Offline Sun, 02 Aug 2026 09:00:00 +0000 · Wired
IBM i (OS/400) the Database Operating System Sun, 02 Aug 2026 07:17:49 +0000 · Hacker News · 💬 Comments
Cloudflare Introduces Meerkat for Strongly Consistent Global Coordination Sun, 02 Aug 2026 06:17:00 GMT · InfoQ
A profile of Jacob Tsimerman, who won the Fields Medal last week and is taking a leave from the University of Toronto to join OpenAI and work on AI safety (Ben Cohen/Wall Street Journal) Sun, 02 Aug 2026 02:00:36 -0400 · Techmeme
Chinese VC firms are rushing to raise new funds after three years of record-low fundraising, amid renewed enthusiasm for China's tech, AI, and robotics sectors (Eleanor Olcott/Financial Times) Sun, 02 Aug 2026 01:40:00 -0400 · Techmeme
LemonEdge, a fund accounting and operations software provider for the private markets sector, raised a $21M Series A led by Blackstone Innovations Investments (FinTech Global) Sun, 02 Aug 2026 01:30:01 -0400 · Techmeme
Malaysia shuts down Network School, Balaji Srinivasan's techno-utopian project, over licensing issues; Srinivasan says he is opening a new campus in Kazakhstan (Wall Street Journal) Sun, 02 Aug 2026 01:10:01 -0400 · Techmeme
Apple introduced a cap and a 30-day cool-off period on bug report submissions, citing a deluge of AI-assisted reports; researchers can request higher quotas (Financial Times) Sun, 02 Aug 2026 01:00:15 -0400 · Techmeme
Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 Sun, 02 Aug 2026 04:21:14 +0000 · Hacker News · 💬 Comments
MkLinux and the pimped-out Apple Workgroup Server 9150 Sun, 02 Aug 2026 03:12:52 +0000 · Hacker News · 💬 Comments
An investigation reveals Dubai-based unlicensed crypto exchange Shelbit has processed at least $4B as part of Iran's sanctions-evasion operation since May 2024 (Reuters) Sat, 01 Aug 2026 23:05:52 -0400 · Techmeme
Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific Sun, 02 Aug 2026 02:51:15 +0000 · Hacker News · 💬 Comments
Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built Sun, 02 Aug 2026 02:07:09 +0000 · Hacker News · 💬 Comments
ASRock BC-250: Building the Budget Steam Machine Sun, 02 Aug 2026 01:35:11 +0000 · Hacker News · 💬 Comments
Inside the London hacker house taking a stand against founder burnout Sat, 01 Aug 2026 21:14:48 +0000 · TechCrunch
São Paulo resident transforms degraded area into urban forest Sat, 01 Aug 2026 21:02:26 +0000 · Hacker News · 💬 Comments
Judge denies xAI’s request to block Minnesota ban on ‘nudify’ apps Sat, 01 Aug 2026 20:26:04 +0000 · TechCrunch
US judge refuses xAI's request to stop a Minnesota law banning "nudify" apps, noting the request came only three days before the law was to take effect (NBC News) Sat, 01 Aug 2026 15:50:38 -0400 · Techmeme