An OpenAI model has disproved a central conjecture in discrete geometry

532 points357 comments

GitHub confirms breach of 3,800 repos via malicious VSCode extension

358 points118 comments

Starship's Twelfth Flight Test

48 points27 comments

Flipper One Tech Specs

174 points66 comments

Google Declaring War on the Web

163 points61 comments

How fast is N tokens per second really?

246 points65 comments

Qwen3.7-Max: The Agent Frontier

578 points224 comments

Not alive, but not dead: disembodied human brains used for drug testing

99 points78 comments

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play

25 points2 comments

Why is Inkwell stuck in review

79 points24 comments

Qian Xuesen: The missile genius America lost and China gained (2025)

75 points45 comments

SpaceX S-1

119 points78 comments

Saying Goodbye to Asm.js

286 points123 comments

Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects

20 points3 comments

Archaeologists find Egyptian mummy buried with the 'Iliad'

17 points2 comments

Map of Metal

379 points135 comments

SBCL: the ultimate assembly code breadboard (2014)

114 points7 comments

Sharla Boehm, the programmer whose code underpins the Internet

74 points22 comments

Google's AI is being manipulated. The search giant is quietly fighting back

237 points167 comments

GitHub's take on age assurance for developers

10 points3 comments

Incident Report: May 19, 2026 – GCP Account Suspension

354 points214 comments

Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE

879 points374 comments

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth

49 points5 comments

Long-term editing of brain circuits using an engineered electrical synapse

5 points1 comments

Formal Verification Gates for AI Coding Loops

93 points22 comments

LoRA and Weight Decay (2023)

26 points0 comments

Show HN: Dari-docs – Optimize your docs using parallel coding agents

12 points4 comments

Node.js 26.0.0 (Now with Temporal)

109 points33 comments

Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling

164 points127 comments

Testing distributed systems with AI agents

73 points10 comments