Tech News

Show HN: Rejourney – Open-source revenue leak prediction for web and mobile apps

Rejourney is an open-source tool that detects revenue leaks in web and mobile apps by identifying product failures in…

The Future Worth Building Is Human – Thinking Machines Lab

Thinking Machines advocates for AI systems that are shaped by and distributed among the people who use them, rather than…

Actegories

Bartosz Milewski explains actegories, a fundamental concept in programming optics (lenses, prisms, traversals), by first…

The US-China AI arms race has taken an unexpected turn

Powerful artificial intelligence models built by Chinese companies have gone from inducing widespread panic to being met…

The great digital fatigue: How digital burnout is changing social media use

A survey of 1,000 adults reveals that people are experiencing digital burnout and quietly withdrawing from active social…

San Francisco: 200 Protesters Call on OpenAI, Anthropic, and DeepMind to Pause Their Models

Debates around artificial intelligence continue to grow as the most advanced models gain power.

Demis Hassabis has a plan to harness AI safely

https://xcancel.com/i/article/2076957440109625718https://www.economist.com/business/2026/07/14/demis-hassabis...,…

Pinwheel launches a retro-inspired landline phone for kids

Kid-friendly tech company Pinwheel announced the launch of a new landline phone designed to let children stay connected…

European "age verification" "app" forcing everyone to use Android or iOS

A European Union digital identity wallet project is facing criticism for requiring Google Play Integrity API and Apple…

Alternative(s) to run CUDA on non-Nvidia hardware

Spectral Compute has developed SCALE, a compiler tool that allows CUDA code—the dominant programming language for AI and…

Two Case Studies of NaN

IEEE-754 NaN (Not a Number) violates implicit assumptions in programming language design, causing unexpected behavior in…

Telegram’s t.me Domain Vanishes From Global DNS as Founder Pavel Durov Seems “Caught off Guard”

Telegram’s core shortlink domain, t.me, was placed on “server hold” by the .me registry on July 13, dropping it from the…

The Anatomy of an Instruction Pipeline Hazard

The article examines instruction pipeline hazards in Nvidia's B200 GPU by analyzing real hardware behavior through…

Just Let Me Write Digits

Switzerland's AGOV digital identity system, deployed in 2024 with 1.6 million accounts, has become mandatory for…

OpenAI's Ad Business Is on Pace to Miss Its Own Forecast by 90%, Analyst Says

OpenAI's ad business is projected to generate less than $1 billion in revenue this year, falling 90% short of the…

YouTrackDB is a general-use object-oriented graph database

YouTrackDB is a general-use object-oriented graph database developed and supported by JetBrains that is already used in…

Agents.md – Dumb Human

A GitHub gist titled "AGENTS.md – Dumb Human" provides instructions for AI agents working with code repositories,…

Already rich, already successful, why the last wave of tech winners is grinding again

They're rolling up their sleeves again, seemingly out of fear of missing AI's defining moment and, presumably, the…

Fundamentals of Wireless Communication

"Fundamentals of Wireless Communication" is a 2005 Cambridge University Press textbook by David Tse and Pramod Viswanath…

Satellite Tracker – Live Map of Starlink and 30k Satellites

SatelliteMap.space is an interactive web application that provides real-time tracking of over 30,000 satellites,…

What will be left for us to work on?

Arvind Narayanan, a Princeton researcher, delivered a keynote at ICML 2026 arguing that while AI capabilities will…

Building Food Metadata with LLM Juries

Is x86 ready to ACE it?

Intel's x86 ecosystem has introduced ACE, a new accelerator extension for matrix operations that works alongside the…

MorphoHDL: A minimalistic language for growing circuits

Show HN: MemStitch – Zero-copy context bridging for vLLM (25x TTFT speedup)

MemStitch is a zero-copy context bridging system for vLLM that eliminates redundant GPU processing when multiple agents…

ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

Researchers have developed ESBMC-Arduino, a formal verification tool that bridges the gap between abstract verification…

The Git history command deserves more attention

Git's experimental `git history` command, introduced in versions 2.54 and 2.55, offers several benefits of alternative…

Uber’s product chief on hotels, robotaxis, and why the company doesn’t want to be “everything for everyone”

Uber Chief Product Officer Sachin Kansal walks TechCrunch through the company's financial-services ambitions, its…

Success may not matter if you aren't doing what you love

The article argues that while product-market fit is essential for startup success, founders often overlook the equally…