▲An OpenAI model has disproved a central conjecture in discrete geometry(openai.com)
532 points by tedsanders 3 hours ago | 56 comments
▲GitHub confirms breach of 3,800 repos via malicious VSCode extension(bleepingcomputer.com)
358 points by Timofeibu 9 hours ago | 29 comments
▲Starship's Twelfth Flight Test(spacex.com)
48 points by pantalaimon 1 hour ago | 12 comments
▲Flipper One Tech Specs(docs.flipper.net)
174 points by gregsadetsky 4 hours ago | 26 comments
▲Google Declaring War on the Web(tante.cc)
163 points by cdrnsf 1 hour ago | 27 comments
▲How fast is N tokens per second really?(mikeveerman.github.io)
246 points by hexagr 2 days ago | 29 comments
▲Qwen3.7-Max: The Agent Frontier(qwen.ai)
578 points by kevinsimper 12 hours ago | 32 comments
▲Not alive, but not dead: disembodied human brains used for drug testing(science.org)
99 points by Timofeibu 3 hours ago | 19 comments
▲PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play(vmax.ai)
25 points by AMavorParker 1 hour ago | 2 comments
▲Why is Inkwell stuck in review(manton.org)
79 points by speckx 5 hours ago | 8 comments
▲Qian Xuesen: The missile genius America lost and China gained (2025)(usni.org)
75 points by thnaks 4 hours ago | 12 comments
▲SpaceX S-1(sec.gov)
119 points by cachecow 1 hour ago | 18 comments
▲Saying Goodbye to Asm.js(spidermonkey.dev)
286 points by eqrion 10 hours ago | 21 comments
▲Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects(legiscan.com)
20 points by ki4jgt 2 hours ago | 2 comments
▲Archaeologists find Egyptian mummy buried with the 'Iliad'(openculture.com)
17 points by diodorus 5 days ago | 2 comments
▲Map of Metal(mapofmetal.com)
379 points by robin_reala 11 hours ago | 53 comments
▲SBCL: the ultimate assembly code breadboard (2014)(pvk.ca)
114 points by yacin 7 hours ago | 3 comments
▲Sharla Boehm, the programmer whose code underpins the Internet(scientificamerican.com)
74 points by dxs 2 days ago | 9 comments
▲Google's AI is being manipulated. The search giant is quietly fighting back(bbc.com)
237 points by tigerlily 11 hours ago | 30 comments
▲GitHub's take on age assurance for developers(github.blog)
10 points by hanifbbz 1 hour ago | 3 comments
▲Incident Report: May 19, 2026 – GCP Account Suspension(blog.railway.com)
354 points by 0xedb 14 hours ago | 42 comments
▲Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE(alqst.org)
879 points by giuliomagnifico 10 hours ago | 61 comments
▲Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth(youtube.com)
49 points by tzury 2 days ago | 2 comments
▲Long-term editing of brain circuits using an engineered electrical synapse(nature.com)
5 points by bookofjoe 3 days ago | 1 comment
▲Formal Verification Gates for AI Coding Loops(reubenbrooks.dev)
93 points by pyrex41 7 hours ago | 12 comments
▲LoRA and Weight Decay (2023)(irhum.github.io)
26 points by jxmorris12 2 days ago | 0 comments
▲Show HN: Dari-docs – Optimize your docs using parallel coding agents(github.com)
12 points by byhong03 5 hours ago | 4 comments
▲Node.js 26.0.0 (Now with Temporal)(nodejs.org)
109 points by aarestad 3 hours ago | 11 comments
▲Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling(beyondplastics.org)
164 points by theanonymousone 3 hours ago | 25 comments
▲Testing distributed systems with AI agents(github.com)
73 points by shenli3514 8 hours ago | 4 comments