Feed hacker-news Hacker News

Favorite IconHacker News

Link https://news.ycombinator.com/
Feed https://news.ycombinator.com/rss
Updated 2025-09-20 13:31
Clean, a formal verification DSL for ZK circuits in Lean4
Comments
A language for building concurrent software with confidence
Comments
Parameter-Free KV Cache Compression for Memory-Efficient Long-Context LLMs
Comments
California bill aims to phase out harmful ultra-processed foods in schools
Comments
Show HN: Xorq – open-source Python-first Pandas-style pipelines
Comments
Alkanes on Mars
Comments
Abundance Isn't Going to Happen Unless Politicians Are Scared of the Status Quo
Comments
Tracing the thoughts of a large language model
Comments
Replit (YC W18) Is Hiring Engineers to Automate Coding
Comments
Launch HN: Continue (YC S23) – Create custom AI code assistants
Comments
Mud, water and wood: The system that kept a 1604-year-old city afloat
Comments
A Special Year at the Heinz Nixdorf MuseumsForum
Comments
What went wrong with the Alan Turing Institute?
Comments
Crawl Order and Disorder
Comments
A filmmaker and a crooked lawyer shattered Denmark's self-image
Comments
Blasting Past WebP - An analysis of the NSO BLASTPASS iMessage exploit
Comments
Source code art in the Rivulet language
Comments
Piranesi's Perspective Trick (2019)
Comments
Modern C
Comments
Glider for Apple II
Comments
Supabase (YC S20) Is Hiring a Senior Auth Engineer (Remote)
Comments
They Might Be Giants Flood EPK Promo (1990) [video]
Comments
DeepSeek-V3 Technical Report
Comments
First C compiler source code from 1972
Comments
DJ With Apple Music launches to enable subscribers to mix their own sets
Comments
Europen Union creates Fedora-based Linux distribution for the public sector
Comments
Blender releases their Oscar winning version tool
Comments
After 50 million miles, Waymos crash a lot less than human drivers
Comments
Oracle customers confirm data stolen in alleged cloud breach is valid
Comments
Stockpile 72 hours of supplies in case of disaster or attack, EU tells citizens
Comments
Building a Firecracker-Powered Course Platform to Learn Docker and Kubernetes
Comments
Problems with the Heap
Comments
Google makes Android development private, will continue open source releases
Comments
Airline Demand Between Canada and United States Collapses, Down 70%+
Comments
OpenAI adds MCP support to Agents SDK
Comments
Firefox Is Finally (Re)Adding Support for Web Apps
Comments
Debian bookworm live images now reproducible
Comments
Sharding Pgvector
Comments
A love letter to the CSV format
Comments
Microsoft Study: AI Makes Human Cognition "Atrophied and Unprepared"
Comments
Ask HN: Is Washington Post correct in saying Signal is unsecure?
Comments
The Gang of Four is wrong and you don't understand delegation (2012)
Comments
The long-awaited Friend Compound laws in California
Comments
You should know this before choosing Next.js
Comments
How to protect your phone and data privacy at the US border
Comments
Europe's Largest Makerspace
Comments
Gemini 2.5 Pro reasons about task feasibility
Comments
ESA has a commercial launch strategy, but will member states pay?
Comments
The surreal joy of having an overprovisioned homelab
Comments
CIA Director Reveals Signal Comes Installed on Agency Computers
Comments
...136137138139140141142143144145...