myHN

1114

An OpenAI model has disproved a central conjecture in discrete geometry

(openai.com)

by tedsanders • about 14 hours ago • 804 comments

804

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

(bleepingcomputer.com)

by Timofeibu • about 19 hours ago • 325 comments

106

Haskell Foundation 2026 Update

(discourse.haskell.org)

by azhenley • about 7 hours ago • 29 comments

Vivaldi 8.0

(vivaldi.com)

by OuterVale • about 1 hour ago • 30 comments

260

Show HN: I reverse engineered Apple's video wallpapers

(github.com)

by kageroumado • about 9 hours ago • 52 comments

New features in GCC 16: Improved error messages and SARIF output

(developers.redhat.com)

by siteshwar • 2 days ago • 10 comments

244

DOS Zone

(dos.zone)

by rglover • about 10 hours ago • 47 comments

Typewise (YC S22) Is Hiring an AI Growth Engineer (Zurich or Remote)

(ycombinator.com)

by janisberneker • about 1 hour ago

153

The Letter S, by Donald Knuth (1980) [pdf]

(gwern.net)

by bambax • about 9 hours ago • 20 comments

361

Flipper One Tech Specs

(docs.flipper.net)

by gregsadetsky • about 14 hours ago • 127 comments

181

Anthropic is expanding to Colossus2. Will use GB200

(twitter.com)

by aurareturn • about 12 hours ago • 164 comments

Simulating Infinity in Conway's Game of Life with Modern C++

(ryanjk5.github.io)

by HeliumHydride • 3 days ago • 2 comments

403

How fast is N tokens per second really?

(mikeveerman.github.io)

by hexagr • 3 days ago • 78 comments

130

Archaeologists find Egyptian mummy buried with the 'Iliad'

(openculture.com)

by diodorus • 5 days ago • 88 comments

What is a Demand Coop

(cahootzcoops.com)

by DeonRob • about 8 hours ago • 54 comments

All the bugs they found

(andreapivetta.com)

by ziggy42 • 2 days ago • 2 comments

OpenAI Is Preparing to File for an IPO Soon

(wsj.com)

by louiereederson • about 16 hours ago • 183 comments

Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP

(yes-we-scan.app)

by gmac • 3 days ago • 26 comments

371

Saying goodbye to asm.js

(spidermonkey.dev)

by eqrion • about 21 hours ago • 144 comments

Show HN: I made a tactical map-based WWII submarine simulator (public beta)

(silentshark.app)

by epaga • 3 days ago • 12 comments

Recreate famous water profiles using supermarket bottled water

(waterdictionary.net)

by smugglerFlynn • 3 days ago • 21 comments

Your Most Improbable Life

(kevinkelly.substack.com)

by jger15 • 3 days ago • 67 comments

The Interview That Ships to Production: replacing whiteboards with pull requests

(angellist.com)

by asimov4 • 3 days ago • 2 comments

182

Intuit to lay off over 3k employees to refocus on AI

(techcrunch.com)

by wapasta • about 8 hours ago • 133 comments

A Markdown-based test suite

(blogsystem5.substack.com)

by zdw • 3 days ago • 9 comments

169

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

(usni.org)

by thnaks • about 15 hours ago • 88 comments

308

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

(bbc.com)

by tigerlily • about 22 hours ago • 191 comments

137

Why is Inkwell stuck in review

(manton.org)

by speckx • about 15 hours ago • 45 comments

148

Learnings from 100K lines of Rust with AI (2025)

(zfhuang99.github.io)

by pramodbiligiri • about 23 hours ago • 156 comments

148

SBCL: the ultimate assembly code breadboard (2014)

(pvk.ca)

by yacin • about 17 hours ago • 8 comments

362

SpaceX S-1

(sec.gov)

by cachecow • about 12 hours ago • 279 comments

432

Incident Report: May 19, 2026 – GCP Account Suspension

(blog.railway.com)

by 0xedb • 1 day ago • 244 comments

Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos

(github.com)

by mrkn1 • about 11 hours ago • 24 comments

515

Google Declaring War on the Web

(tante.cc)

by cdrnsf • about 11 hours ago • 345 comments

128

Sharla Boehm, the programmer whose code underpins the Internet

(scientificamerican.com)

by dxs • 3 days ago • 28 comments

206

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

(legiscan.com)

by ki4jgt • about 12 hours ago • 64 comments

1017

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

(alqst.org)

by giuliomagnifico • about 20 hours ago • 430 comments

662

Qwen3.7-Max: The Agent Frontier

(qwen.ai)

by kevinsimper • about 22 hours ago • 260 comments

123

Formal Verification Gates for AI Coding Loops

(reubenbrooks.dev)

by pyrex41 • about 17 hours ago • 30 comments

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

(vmax.ai)

by AMavorParker • about 12 hours ago • 6 comments

178

Nobody understands the point of hybrid cars [video]

(youtube.com)

by CHB0403085482 • 3 days ago • 179 comments

210

Declining America

(tbray.org)

by AndrewDucker • about 12 hours ago • 115 comments

Deep – CLI/REPL for generating and iterating on codebases using DeepSeek

(github.com)

by cynchro980 • about 10 hours ago

186

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

(science.org)

by Timofeibu • about 13 hours ago • 162 comments

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

(youtube.com)

by tzury • 3 days ago • 6 comments

419

Map of Metal

(mapofmetal.com)

by robin_reala • about 22 hours ago • 161 comments

GitHub's take on age assurance for developers

(github.blog)

by hanifbbz • about 12 hours ago • 20 comments

940

Gemini 3.5 Flash

(blog.google)

by spectraldrift • 1 day ago • 643 comments

LoRA and Weight Decay (2023)

(irhum.github.io)

by jxmorris12 • 2 days ago • 1 comments

Autoregressive next token prediction and KV Cache in transformers

(medium.com)

by coarchitect • 4 days ago