THE HACKER NEWS

ilreb
4 hours ago
AlphaProof Code
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions....
2 DAYS AGO
MOEBROWNE
PHP2Shell Deep Dive
16 HOURS AGO
BIGWHEELS
Locating the source of a mysterious beep
A DAY AGO
OCD
Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system
AN HOUR AGO
SKITTLESON
Smart home devices should work without the internet
13 HOURS AGO
IVOAH
Ultorg: The User Interface for Relational Databases
5 HOURS AGO
CODERLUII
Show HN: A 15 MB self-hosted Netflix and Spotify for your media server
4 HOURS AGO
PHASER
Ableton Live 13
35 MINUTES AGO
HELLOUSERNAME
Nintendo is officially investing in game preservation
A DAY AGO
A585GUPT
Show HN: Every satellite that passed over any place this week, and its photos
5 DAYS AGO
NOMI_UW
A primer on GPUs and kernel optimization
A DAY AGO
SSHAH03
The first 300-millimeter power silicon carbide (SiC) wafer
15 HOURS AGO
CARNEVALEM
Formalizing CPython
5 DAYS AGO
NOMI_UW
A primer on GPUs and kernel optimization
A DAY AGO
TALBOREN
On Being an Engineer in 2026
A DAY AGO
SSHAH03
The first 300-millimeter power silicon carbide (SiC) wafer
amlib
25 minutes ago
Blender 5.3 released with Gaussian Splat support
Gaussian splats, DLSS denoising, light dispersion, EEVEE fisheye, Outliner sorting, ripple video editing, and so much more.
image
lairv
a day ago
Claude Fable 5.2 and Mythos 5.2
Claude Fable 5.2 and Claude Mythos 5.2, our new models for the hardest technical challenges. Fable 5.2 sets a new bar in coding, finance, and the sciences....
runesoerensen
39 minutes ago
.NET 11
.NET 11 is here with C# 15, faster developer tools, runtime and library improvements, and new capabilities for web, mobile, desktop, and AI apps....
leugim
an hour ago
Show HN: Valencia, Spain in Sim City/Isometric View
An isometric pixel-art map of València, painted block by block....
aloukissas
11 hours ago
Amazon saves millions by replacing Sonnet 4.6 with Strands Decider
Two Amazon engineers swapped Claude Sonnet 4.6 for a decision model in one of the world's biggest internal ticketing systems....
bookofjoe
2 hours ago
The Death Knell of Digital Search
Companies such as Google used to be our portals to the rest of the web. Can the internet as we know it survive when A.I. answers all of our questions?...
evakhoury
21 hours ago
Here comes the sun[light]:An ambient Daylight Clock with time and space controls
Project write-up for an analog clock with an edge-lit illumination of day vs night, for passive passage-of-date awareness…and clocking on sunshine....
meetpateltech
33 minutes ago
Gemini 4 Carbon is now available
Today, we’re making Gemini 4 Carbon available to developers, enterprises, scientists, and consumers....
https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-4-carbon-now-available/
vismit2000
a day ago
Foldable Flight: The Best Paper Airplanes
The world's largest database of paper airplanes with easy, step-by- step video tutorials for folding each plane!...
porridgeraisin
a day ago
E-means: Outperforming k-means in one-tenth the epochs
Modern optimization and scaling laws for k-means clustering...
theanonymousone
4 days ago
How hard is it to check for whitespace?
A journey through Unicode's whitespace characters and perfect hashing....
random__duck
4 days ago
Building an OOO RISC-V CPU from scratch
Building Specula, a 32-bit Out of Order RISC-V processor, from its microarchitecture and RTL implementation to FPGA synthesis and optimization....
stevefan1999
4 hours ago
What's new in the .NET 11 runtime
Learn about the new features introduced in the .NET 11 runtime....
tosh
28 minutes ago
Gemini 4 Carbon is rolling out today
Gemini 4 Carbon is rolling out today. It’s built for sustained, long-horizon tasks, reasoning deeply through complex software engineering, cybersecurity, and scientific discovery. Coming gl...
speckx
a day ago
Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics
See-through solar cells harvest some wavelengths of light to make electricity, while passing through the red and blue wavelengths that plants need. In a new agrivoltaics experiment, broccoli...
gabrielbirnbaum
a day ago
Y/N (YC S23) is hiring a growth lead to distribute superhuman A.I. storytelling
About Y/n Y/n is creating a new form of entertainment: interactive stories. Y/n lets people play a character in a book, finally letting anyone meddle with the universes and characters they ...