Meta
Meta Pauses Employee-Tracking Program Following Internal Data Leak
Database Internals
Christophe Pettus: All Your GUCs in a Row: enable_indexscan and enable_bitmapscan
Diagnose index scan performance problems by temporarily disabling index scans or bitmap scans and measuring what the planner chooses instead.
Show HN: Y – A malleable coding-agent desktop app built with Electron
AI Coding Tools
How to Passive-Aggressively Shame People Who Use LLMs Selfishly
Amazon
Walmart-backed Flipkart expands quick-commerce push as Amazon ramps up in India
maestro: Lightweight, Linux-compatible kernel, written in Rust
Rhombus Language 1.0
Inventing the Future, One Lisp Machine at a Time
Show HN: RLM-based local debugger for AI agent traces
Startups and Venture
India’s MoEngage bets that the future of marketing is millions of AI agents
X / Twitter
John Carmack on why he would push back against anti-datacenter efforts
LaTeX.wasm: LaTeX Engines in Browsers
Show HN: I explained 821 US patents in plain English, with JSON/Markdown
Orion 1.1 for macOS is out, with containers
Startups and Venture
Is there an AI bubble? VCs on valuations and ARR inflation
ATProto Permissioned Data Proposal Draft
Amazon
WaPo Loves Data Centers More Than Disclosing Bezos's Financial Interest in Them
Microsoft
In memory of the man who put red and green squiggles under words
xAI
Superhuman acquires AI detection startup GPTZero
AI Coding Tools
I automated my job (and it made me a better leader)
F* file system – file search that reads SSD directly bypassing OS kernel
No AI Co-Authors. A Manifesto
VPN and Tunneling
Proton avoids internal IP fingerprinting
Robotics
Ultrasound imaging turns a robot hand into a skillful mimic
Our hands are the nimblest parts of our bodies, coordinating 34 muscles, 27 joints, and over 100 tendons and ligaments to perform countless nuanced movements and gestures. So far, robots have been notoriously bad at mimicking that dexterity, in part because researchers struggle to capture what is actually going on under our skin in order…
Mathematics
Sharing a love for calculus
The national conversation about the value of education is currently dominated by speculation about the risks and positive potential of AI. Whatever your own perspective on that debate, I hope you’ll be glad to know that MIT is also working on a deeply important but comparatively old-fashioned challenge: American high school students’ startlingly uneven access…
Large Language Models
A man of many words
Brian Sietsema has a favorite word. It’s somewhat surprising that he can choose just one. He’s the person spellers rely on to confirm pronunciations and answer questions about the roots of the words they’re given at the Scripps National Spelling Bee—arguably the world’s most prestigious competition of its kind. The story of how the word…
Computational Complexity
Super Mario is mathier than you think
Here’s a problem you probably didn’t solve in school: You’re an ambitious young plumber from Brooklyn in a world inhabited by violent human-size mushrooms called Goombas. The love of your life has been kidnapped, so you embark on a quest to rescue her, venturing through stretches of pipe-filled and monster-ridden terrain where your only means…
TSMC: Manufacturing as an Innovation Platform
TSMC manufactures the vast majority of the world’s most advanced semiconductors, and its powerful partnerships create entry barriers for potential competitors.
I, (Language Emulation of) Robot
Autonomous agents' drive for self-preservation and resorting to immoral practices to achieve their goals will almost certainly arise from the architecture and training of LLMs.
LLM Evaluation
I don't want you to summarise the page
Artificial Intelligence
Show HN: The Cascade Graph – An interactive map of AI and energy constraints
Netflix
Let’s take a look at the retro tech making a comeback
AI Psychosis
Opening a door to mental-health help online
Rob Morris, SM ’09, PhD ’15, didn’t know where to turn when he first felt symptoms of depression as a teenager: “I had no exposure to healthy coping strategies. I had no vocabulary for what was happening to me.” That experience, he says, has driven his work on Koko, a tech nonprofit that grew out of…
Communicating the Value of Publicly Funded Science
Recommendations for communicating with the public about the positive impact of scientific work on their everyday lives.
Anthropic
Anthropic updates their terms to verify age or identity
Startups and Venture
After betting the firm on Anthropic, Menlo Ventures raises victorious $3B fund
FUTO Swipe – A new swipe typing model
A 0.5s periodic hitch in my local screen stream turned out to be macOS AWDL
Artificial Intelligence
Exposing the 'brute force' of AI that is 'trying to make humans redundant'
AI Coding Tools
The End of Code Review: Coding Agents Supersede Human Inspection
Meta
Mark Zuckerberg wants Meta to launch its own prediction market
AI Inference
Modal Auto Endpoints: Optimized inference you own
Cryptography and PKI
The post-quantum EO is an important milestone. Now it’s time to get to work
The new post-quantum executive order sets a 2030 migration deadline and establishes a powerful foundation for post-quantum resilience. We look at what it gets right, where it can go further, and our migration playbook for government and industry.
Apple
Millions in UK could claim share of £3B after Apple case given green light
Startups and Venture
SpaceX launches $25B notes offering, source says
Google
Fired by Google for Creating the Google Workspace CLI
Artificial Intelligence
How Agentforce Prevents Language Drift in 600K Daily Multilingual AI Workflows
In our Engineering Energizers Q&A series, we highlight the engineering minds driving innovation across Salesforce. Today, we spotlight Ishween Kaur, Senior Software Engineer on the Agentforce Agentic Reasoning team. As Agentforce expanded globally, Ishween’s team faced the challenge of delivering consistent multilingual AI experiences across 34 fully supported and 26 (Beta) supported languages. Explore how […] The post How Agentforce Prevents Language Drift in 600K Daily Multilingual AI W...
Package Management
Swift Package Index Joins Apple
Microsoft
Why Windows 95 Was Tech's Last True Revolution
Rethinking Modularity in Ruby Applications
Anthropic
Claude Tag
Mark Zuckerberg directed meta to create a prediction markets app
F3
Natural Language Processing: How NSF Supports Visionary New Approaches to NLP
NSF support has been foundational to both NLP research that made today’s LLMs possible, as well as applications with important positive social impact.
Storage Engines
Backblaze Announces Five-Year Multi-Exabyte Agreement with CoreWeave
Anthropic
Anthropic’s Claude Tag is learning your company, one Slack message at a time
Your AI shipped a backend that boots. That is the whole problem.
Privacy
Pact: Anonymous Credentials for the Web
PostgreSQL
David Wheeler: pg_clickhouse 0.3.2: Ready For Postgres 19
I’ve got a new post over on the ClickHouse blog today: What’s New in pg_clickhouse v0.3.2: Postgres 19, TLS, Regex, and Memory. The big news is Postgres 19 support: The topline change? Support for PostgreSQL 19 Beta1. The new Postgres version required relatively minor revisions to the pg_clickhouse source code to take advantage of tuple and array optimizations, remove old typedefs, add new headers, and some test outputs. And with that, we’ll be ready for the final Postgres...
Chip Design and Semiconductors
Samsung Demonstrates 3D Stacked FETs with Triple Nanosheet Channels at 42nm
Developer Tools
The Importance of Documentation in B2B API Adoption
We read reviews before buying a TV, a sweater, almost anything. Businesses do the same – potential enterprise partners evaluate APIs through every piece of content they come across. So what happens when you improve all of it?
Stripe
Four travel and hospitality trends from HITEC 2026
More than 6,000 hospitality executives and operators gathered in San Antonio last week for the HITEC conference. The big topic: whether the industry’s AI investment is actually working. Across four days and over 50 meetings, four trends stood out.
Meta
How Meta Engineered Ultra-Narrow Batteries for AI Glasses
Smart glasses like the Ray-Ban Meta and Oakley Meta Vanguards need to pack enough energy to power features like cameras, speakers, AI workloads, and even a display. But it all has to fit into the glasses’ temple arms. So how do you place a battery with enough power to run a pair of smart glasses [...] Read More... The post How Meta Engineered Ultra-Narrow Batteries for AI Glasses appeared first on Engineering at Meta.
Show HN: Treedocs: Documentation that automatically checks for staleness
X / Twitter
Wikipedia Cofounder Larry Sanger Banned From Site For ‘Canvassaing’
“All he has done is try to start a right-wing/conservative pressure group within Wikipedia.”
Can AI Detectors Be Trusted?
AI detectors are errratic and undependable.
Anthropic
AI's Affordability Crisis
Open Source
Open Source for IBM Z and LinuxONE
Lift4D: Harmonizing Single-View 3D Estimation for 4D Reconstruction In-the-Wild
The Low-Tech AI of Elden Ring
80386 Early Start Memory Access
Lossless GIF recompression via exhaustive search
Show HN: Bun-sqlgen – Type-safe raw SQL for Bun, no ORM
RAG
Mistral OCR 4
Anthropic
Elevated error rate across multiple models
Information Theory
Researchers used math to crack Wordle
Meta
Meta debuts new, cheaper smart glasses under its own brand
Spying on kids to save kids from spying is stupid
Netflix