- 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)