Hacker News Digest
· 89 Hacker News
Tristan Buckmaster and Levent Alpöge claim to have achieved finite-time blowup for the incompressible Euler equations and related models, using LLMs to extend earlier work by Diego Córdoba and Luis M…
OpenAI has announced that an internal AI system produced an analytical proof, formalized in Lean, that the Navier–Stokes equations can develop a singularity in finite time, resolving one of the Clay…
Mistral, the French AI startup, has raised €3 billion in a Series D round led by Samsung Electronics, valuing the company at over €21 billion. This is the largest equity fundraising ever by a Europea…
LibreOffice 26.8, released on August 26, became the software's most popular update ever, with over 1 million downloads in its first week (excluding Linux distro updates). The Document Foundation (TDF…
Meta has unveiled Muse, a personal AI agent available on iOS and Android that goes beyond answering questions to take real actions on your behalf. Running on a secure virtual machine with its own bro…
Jellyfin 12.0, the open-source media server's new major release, abandons the '10' version prefix to signal true major updates. It rewrites playlist and collection storage for speed, extends alternat…
Google DeepMind has released AlphaGenome Atlas, a database predicting the effects of all 9 billion possible single-letter DNA changes in the human genome. Built with the AlphaGenome AI model, the 1-p…
A couple built a house with a basement game room featuring 12 wall-mounted PCs that fold away, DDR pads in the floor, and an office table that transforms into six more gaming stations. All 20 machine…
Gamers Nexus, with Level1Techs and independent researchers, tested retail LG OLEDs and found they constantly scan Wi-Fi networks, log location data, and send it to LG Ad Solutions. Even on standby, t…
Weird Gloop, the nonprofit hosting wikis for RuneScape, Minecraft, and others, reveals a frustrating Google Search change from March 2024 that effectively buries brand-new domains: only their main pa…
This GitHub project, i-have-adhd, provides a skill for AI coding assistants that forces them to give direct, actionable answers instead of verbose, hedged responses. It enforces rules like leading wi…
The author extracts 512-bit RSA root certificates from archived Netscape and Internet Explorer installers, finds two from the defunct Canadian CA E-Certify, and factors them with CADO-NFS on a deskto…
In a series of posts on Mathstodon, mathematician Terence Tao warns that AI is rapidly flattening the 'difficulty landscape' of mathematics, making good open problems a scarce, non-renewable resource…
Blackmagic Design's DaVinci Resolve 21.1 is now available, introducing AI assistant integration with Claude and ChatGPT Codex for tasks like organizing media and batch rendering. The update expands c…
A developer turns a programmable e-ink reader into a fully functional printer. By implementing the Internet Printing Protocol (IPP) and Bonjour discovery, the device appears as a standard printer on…
A satirical first-person account from a worker at Mondo Mayo, one of the last three corporations on Earth, who is forced back to the office to operate AI tools. The narrator, an Associate Slop Doula,…
An analysis of 44,143 European companies with a detected CDN finds that 89.6% use Cloudflare, far ahead of Amazon (3,112), Fastly (1,299), and Akamai (396). The concentration varies by country, from…
As Paramount and Warner Bros. pursue a $111 billion merger, Techdirt reports that Paramount has been caught using an 'astroturf' nonprofit, Neighbors for Strong Communities, to text Californians and…
OpenAI has launched ChatGPT Images 2.5, a new image model that improves fidelity, editing precision, and multi-turn consistency. The update cuts generation latency by up to 50% compared to Images 2.0…
404 Media has uncovered a secretive Department of Homeland Security program called Predictive Intelligence Targeting Teams (PITT), which analyzes Americans' financial activity and other data to flag…
Terrastruct has open-sourced TALA, its autolayout algorithm for D2 diagrams, under the permissive MPL-2.0 license. TALA is designed for software architecture diagrams, producing orthogonal layouts th…
GLM 5.3-flash, an open-weight model from Z.ai, is now cheap enough to run locally on consumer hardware and capable enough to exploit real-world vulnerabilities, with refusals removed by abliteration.…
A benchmark of Qwen3.8 27B quantizations shows that the 4-bit Q4_K_M variant (17 GB) matches the full BF16 model on Terminal-Bench 2.1, fitting on a 24 GB GPU like the RTX 4090 with room for context.…
A new fork of Deltafin, ARGODRIVE, streams the full, unpruned 2.8-trillion-parameter Kimi K3 model from SSDs on Apple Silicon, achieving 1 token/s on a MacBook Pro. The project prioritizes exact mode…
Following their Emmy win for Outstanding Animated Program, Trey Parker and Matt Stone announced a major rebrand: South Park is now 'South America.' The creators cited inspiration from 'the bravery an…
A growing body of research suggests that contact with soil, plants, and other natural materials can boost the diversity of microbes on our skin, which in turn may benefit our immune system. Studies i…
The story of Saints Barlaam and Josaphat, venerated in Christian churches for centuries, is actually a retelling of the life of the Buddha. Originating from Sanskrit via Persian and Arabic versions,…
Inception Labs has released Mercury 2.5, its most capable production model and, to its knowledge, the largest diffusion language model ever trained. The model delivers a 40% increase in intelligence…
Copperhead is an open-source AI agent that designs, documents, and verifies printed circuit boards (PCBs). It works like pair programming, but the codebase is a circuit board. You describe a change o…
The web is in constant flux, and so is its markup. This post catalogs obsolete HTML snippets that once served practical purposes—fighting browser wars, appeasing third-party integrations, or preventi…
A new study reveals that large language models can develop novel social biases on their own through adaptive exploration, even without explicit biased training data. Researchers found that when model…
The CH-53 Sea Stallion, a massive helicopter in service since 1966, faces a challenge: detecting cracks in its rotor blades before they fail. The blades are sealed and pressurized with nitrogen; a cr…
Bedrock, a minimal, human-crafted starter kit for Emacs, has reached version 2.0. This major release requires Emacs 31 and breaks compatibility with Emacs 29. It introduces better defaults, improved…
Dan Luu tests whether simple instructions to coding agents to use specific testing techniques or libraries improve implementation correctness. Across 26 prompt conditions—including TDD, property-base…
The Albanese government has released draft legislation for a Digital Duty of Care, building on its world-leading social media age ban. The proposed law would require platforms like social media, game…
A 92-year-old mathematician and a teenage apprentice have solved a problem that stumped experts for decades. Their unlikely collaboration, spanning generations, led to a breakthrough in number theory…
NYU mathematician Tristan Buckmaster announced three proofs on Tuesday, including a preliminary finding on the Navier-Stokes existence and smoothness problem, one of the Millennium Prize problems. Bu…
LLM Attention Visualization is an interactive web app that reveals how transformer-based language models decide which past tokens influence each generated token. By hovering over or tapping any outpu…
This interactive page renders classic mathematical surfaces—like Boy's surface and Morin's surface—as hand-hatched pen-and-ink drawings, complete with contour lines, dashed hidden lines, and paper ha…
The FreeBSD Release Engineering Team has announced FreeBSD 14.5-RELEASE, the sixth release of the stable/14 branch. Focused on maintenance, it brings bug fixes, driver updates, and refreshed third-pa…
In this sixth post about optimizing the Plush interpreter, the author describes replacing the 16-byte Rust tagged enum used for values with a 64-bit low-bit tagging scheme. The new representation pac…
The Public Domain Review showcases John Margolies' photographs of American roadside architecture, from novelty buildings like a whale-shaped car wash to punning billboards. His archive, now in the Li…
The OECD's PISA 2025 results reveal a sharp decline in reading and mathematics performance across member countries, marking one of the steepest drops in the assessment's history. The report highlight…
A technical issue at UK air traffic control provider Nats caused widespread disruption on Tuesday, leading to hundreds of flight cancellations and delays at airports across the country. Heathrow ran…
A developer benchmarked 10 combinations of AI models and coding harnesses (Codex, OMP, OpenCode, DSH) on a single prompt: build a self-contained Three.js sci-fi hangar with drones, warning lights, an…
TradingAgents is an open-source framework that simulates a real trading firm using multiple LLM-powered agents. It employs specialized roles—fundamental, sentiment, news, and technical analysts—along…
A new investigation by Gamers Nexus and Level1Techs reveals that LG OLED televisions are capturing audio, recording webcam feeds, and scanning home networks even when the TV appears to be off. The TV…
Law enforcement agencies across the US are increasingly concerned that Meta's Ray-Ban smart glasses could be used to covertly record officers and facilities, or aid in crimes and terrorism. Previousl…
A deep dive into GamersNexus's two-hour investigation of LG smart TVs reveals serious security vulnerabilities, including potential eavesdropping via microphones and webcams, even when the TV appears…
The author experiments with the ZX Spectrum's 1-bit speaker, implementing PCM playback and attempting PWM, but focuses on achieving multichannel sound (chords) through software mixing. They detail cy…
Herdr, the terminal multiplexer for agents, hits 0.9 with multi-machine support. Now you can attach a remote machine over SSH and see its workspaces, tabs, and agents alongside your local ones in the…
Google DeepMind has released AlphaGenome Atlas, a free platform predicting the molecular effects of all 9 billion possible single-letter DNA variants in the human genome. It combines AlphaGenome and…
Arm's Mali G2-Ultra NX is the first AI-native Mali GPU, integrating neural accelerators directly into the shader cores. This enables neural super sampling and frame rate upscaling, boosting performan…
Y Combinator is launching the Early Access Network, an invite-only group for senior technology leaders. Members get early looks at curated YC enterprise-AI startups four times a year, meet founders d…
Formal verification of systems software is crucial but rarely done by the programmers who write the code, due to the disconnect between programming and verification environments. Researchers introduc…
A deep dive into the virtual machines that run mobile agents. Claude Code uses Firecracker microVMs with a custom Rust init, while Instinct rents E2B sandboxes running full Ubuntu. The key difference…
Applied Compute Agent Cloud (AC2) is a researcher cockpit for end-to-end model development, inference, and continual learning. It offers a CLI, an MCP server, and a Python SDK with packages for datas…
Martin Uecker explains the implementation of GCC's nested functions, contrasting them with C++ lambdas. He details how GCC lowers nested functions by collecting accessed parent variables into a synth…
A deep dive into computer memory architecture, from the basics of memory structure and operations to the memory hierarchy, CPU caches, memory interleaving, and the evolution of memory modules from SI…
In this open-access MIT Press book, economist Joshua Gans argues that AI's primary economic effect is not automation but the enhancement of decision-making. He examines the supply and demand for AI p…
Animating a 3D model in Bevy can be confusing: you need an AnimationPlayer, an AnimationGraph, and a NodeIndex, all connected in a non-obvious way. This guide builds an intuition for how these pieces…
The concept of 'Lake America'—a proposed U.S.-controlled digital sphere—raises urgent questions about the reliability of American tech firms. As geopolitical tensions reshape the internet, the articl…
C. Wodtke argues that all design is behavior change, often in service of shareholder value, creating an unsolvable 'cursed problem' for designers who want to make the world better. Drawing on a tech…
The author explores using the Jacobian lens (J space) to derive activation steering vectors for LLMs from just a few concept tokens, bypassing expensive fine-tuning. Testing on Qwen3-1.7B, they find…
A developer recounts the journey of republishing Professor Mmaa's Lecture, a 1953 novel about termites, after acquiring the rights. The process involved using Claude to draft a contract, OCR and clea…
Jane Street's puzzle challenges you to reverse engineer an ASIC from its GDS file. This solution walks through the process: understanding GDS layout files, identifying the SkyWater 130nm process from…
ThesysDev has released OUI-1, the first open-weight model purpose-built for generative UI. A finetune of Google's DiffusionGemma, it scores 71.7% on the Generative UI Benchmark—up from the base model…
NumPy's np.add is among the most executed lines of numerical Python, yet most users treat it as a black box. This deep dive traces a single call with float64 arrays from the Python entry point down t…
New research reveals that the extinct thylacine, or Tasmanian tiger, had a unique skull and jaw structure adapted for snapping up small prey, not the sheep it was blamed for killing. Its skull was as…
A developer recounts how his business partner vibe-coded the entire payments backend in one day, producing a 5,236-line PR with redundant AI-generated docs and untested endpoints. The author, who had…
The Colorlight 5A-75B, originally a receiver card for LED displays, has become a favorite among hardware hackers due to its low cost and full support for open-source FPGA tools. With a Lattice ECP5 F…
AlphaGeo's Climate Risk & Resilience Index (CRRI) ranks 72 major cities by physical climate risk and resilience-adjusted risk (RAJ). The analysis reveals that adaptation can cut risk by up to 33 poin…
A Financial Times column argues that Americans under 30 have grown up in an era of failed foreign policy, from the Iraq War to Afghanistan and the current Ukraine conflict. It contends that this gene…
A nationwide randomized trial in 243 French high schools (9,628 students) tested two interventions: free digital subscriptions to a major national newspaper and teacher-led media education modules. T…
This article challenges the idea that function arguments, like Go's context.Context, are equivalent to function colors. It proposes a criterion: a color forces a change on all functions in the call s…
Ad tech companies like LG use Automatic Content Recognition (ACR) to analyze everything displayed on their smart TVs. We Own the Glass is an artistic protest that turns your screen into a digital pit…
GrapheneOS, the privacy-focused Android ROM, has teamed up with Motorola to produce phones running its custom OS. But Teh AnKorage, host of the Switched To Linux podcast, has serious doubts. In this…
Michael Harley shares his family's practical approach to emergency preparedness, focusing on likely scenarios like water and power outages rather than doomsday events. They stock 35 gallons of drinki…
A Harvard study found that a wandering mind is an unhappy mind, and the author argues this is especially true for high-potential tech workers drowning in career options. Constant comparison and fanta…
A developer explains why they added a floating orb screensaver to the center of their custom IDE. The orb provides a relaxing visual break from code, and the IDE itself is built with agents, terminal…
Researchers at Brown University trained a robot to hand-write Japanese characters, and it surprised them by generalizing to other scripts—Hindi, Greek, English, even cursive—just by looking at exampl…
Falcons AI, based in Ras Al Khaimah, has seen its open-source NSFW image classifier downloaded over 50.8 million times in the past 28 days, making it the sixth most-downloaded model on Hugging Face o…
DriveSync is a fast, Rust-based command-line tool that keeps local folders in sync with Google Drive, offering push, pull, and diff commands similar to Git. It features conflict detection, safe opera…
Two years after releasing LogiCola 3, a web-based logic drill program, its developer has reverse-engineered the 2008 original to rebuild its design language. The new version restores mastery learning…
In a Stanford lecture, Andrew Ng predicts the end of prompt engineering within six months, advocating for graph-based agent architectures. He argues that simple prompts fail on multi-step tasks, whil…
NYC MapTap is an interactive quiz game designed to help you master New York City's neighborhoods and subway system. Each round presents a neighborhood name, and you tap its location on a map, with im…
The U.S. Fish and Wildlife Service's Feather Atlas now offers an interactive tool to identify bird feathers by pattern, color, size, position, and bird type. Users can search by feather length (small…
aispace.sh has open-sourced its client, a scriptable CLI for temporary file sharing designed for both AI agents and humans. It features expiring links, predictable JSON output, and optional local age…
Anystation is an experimental public bulletin board shaped like a tree, where every post has a unique address and replies form threads. No account is needed, and posts can be made through a surprisin…