▲An OpenAI model has disproved a central conjecture in discrete geometry(openai.com)
566 points by tedsanders 4 hours ago | 59 comments
▲GitHub confirms breach of 3,800 repos via malicious VSCode extension(bleepingcomputer.com)
384 points by Timofeibu 9 hours ago | 30 comments
▲Flipper One Tech Specs(docs.flipper.net)
187 points by gregsadetsky 4 hours ago | 26 comments
▲Starship's Twelfth Flight Test(spacex.com)
62 points by pantalaimon 1 hour ago | 14 comments
▲Google Declaring War on the Web(tante.cc)
194 points by cdrnsf 1 hour ago | 34 comments
▲How fast is N tokens per second really?(mikeveerman.github.io)
255 points by hexagr 2 days ago | 29 comments
▲Qwen3.7-Max: The Agent Frontier(qwen.ai)
582 points by kevinsimper 12 hours ago | 33 comments
▲Not alive, but not dead: disembodied human brains used for drug testing(science.org)
110 points by Timofeibu 3 hours ago | 20 comments
▲Why is Inkwell stuck in review(manton.org)
86 points by speckx 5 hours ago | 9 comments
▲Qian Xuesen: The missile genius America lost and China gained (2025)(usni.org)
80 points by thnaks 5 hours ago | 12 comments
▲PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play(vmax.ai)
26 points by AMavorParker 1 hour ago | 3 comments
▲Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects(legiscan.com)
31 points by ki4jgt 2 hours ago | 3 comments
▲SpaceX S-1(sec.gov)
139 points by cachecow 2 hours ago | 22 comments
▲Saying Goodbye to Asm.js(spidermonkey.dev)
289 points by eqrion 11 hours ago | 21 comments
▲Archaeologists find Egyptian mummy buried with the 'Iliad'(openculture.com)
21 points by diodorus 5 days ago | 2 comments
▲DOS Zone(dos.zone)
4 points by rglover 15 minutes ago | 0 comments
▲Map of Metal(mapofmetal.com)
381 points by robin_reala 12 hours ago | 53 comments
▲SBCL: the ultimate assembly code breadboard (2014)(pvk.ca)
116 points by yacin 7 hours ago | 3 comments
▲Sharla Boehm, the programmer whose code underpins the Internet(scientificamerican.com)
81 points by dxs 2 days ago | 9 comments
▲Google's AI is being manipulated. The search giant is quietly fighting back(bbc.com)
241 points by tigerlily 12 hours ago | 32 comments
▲Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos(github.com)
7 points by mrkn1 1 hour ago | 0 comments
▲Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE(alqst.org)
882 points by giuliomagnifico 10 hours ago | 61 comments
▲Incident Report: May 19, 2026 – GCP Account Suspension(blog.railway.com)
357 points by 0xedb 14 hours ago | 43 comments
▲GitHub's take on age assurance for developers(github.blog)
14 points by hanifbbz 1 hour ago | 3 comments
▲Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth(youtube.com)
49 points by tzury 2 days ago | 3 comments
▲Formal Verification Gates for AI Coding Loops(reubenbrooks.dev)
93 points by pyrex41 7 hours ago | 12 comments
▲Show HN: Dari-docs – Optimize your docs using parallel coding agents(github.com)
14 points by byhong03 6 hours ago | 4 comments
▲Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling(beyondplastics.org)
170 points by theanonymousone 4 hours ago | 25 comments
▲LoRA and Weight Decay (2023)(irhum.github.io)
26 points by jxmorris12 2 days ago | 0 comments
▲Long-term editing of brain circuits using an engineered electrical synapse(nature.com)
6 points by bookofjoe 3 days ago | 1 comment