-
29
Looking for Missed Alarm Bugs in a Formal Verification Tool
(blog.regehr.org)
-
97
2,500-year-old sculpture discovered at UNESCO site in Turkey
(theartnewspaper.com)
-
424
AI-Generated GitHub Copilot “Autofix” Allowed Compromise of Snowflake's Jira
(wiz.io)
-
9
Show HN: Sitmap – a World in Conflict inspired map maker for Cold War scenarios
(tomaytotomato.github.io)
-
166
Show HN: Desktopcolors.com – A museum for solid background colors of classic OS
(desktopcolors.com)
-
18
Speeding Up the Plush Garbage Collector
(pointersgonewild.com)
-
277
Linear algebra done right
(linear.axler.net)
-
5
Show HN: Sentrint, a security scanner for projects build with LLMs
(sentrint.com)
-
12
Protocol-Aware Deterministic Simulation Testing
(tigerbeetle.com)
-
5
The Modern Tech Career: A Survival Guide
(jeremyckahn.github.io)
-
297
Babies born under sugar rationing grew into adults with lower cancer risk
(theconversation.com)
-
29
From Quantum Relative Entropy to the Semiclassical Einstein Equations (2025)
(arxiv.org)
-
28
Aluminum Frame PC Fan Corsi-Rosenthal Build (2023)
(itsairborne.com)
-
1437
Qwen 3.8 27B
(huggingface.co)
-
4
The Depth of Wiles's Proof of Fermat's Last Theorem
(arxiv.org)
-
231
How do I permanently disable random Google Photos popup to backup photos? (2024)
(support.google.com)
-
7
μCOM-87: The Strangest Architecture You've Never Worked With
(ajxs.me)
-
623
A third world engineer responds to “RISC-V: They should have known better”
(rvembedded.com)
-
91
Evolve: An incremental game about evolving a civilization
(pmotschmann.github.io)
-
313
Field measurements of neighborhood-scale air temperature impacts of data centers
(asmedigitalcollection.asme.org)
-
28
The Future of CSS: Target Multiple Classes with the Class Prefix Selector
(bram.us)
-
6
California Draws More Startup Investment Than All Other 49 States Combined
(wsj.com)
-
45
Tiny satellite will use the dark side of the Moon as a shield
(cam.ac.uk)
-
13
A cotton T-shirt takes roughly 2,700 litres of water to produce
(spacedaily.com)
-
203
Solo – a .so loader for static Linux binaries
(github.com)
-
63
CUDA Shared Memory Swizzling
(leimao.github.io)
-
149
A particle made of force: physicists say they've found mysterious 'glueball'
(nature.com)
-
36
Show HN: Frugal Tokens – explore costs and usage across coding agents
(demo.frugaltokens.com)
-
150
GLM-5.3 Artificial Analysis Benchmarks
(artificialanalysis.ai)
-
33
FCC abolishes gigabit speed goal
(arstechnica.com)