Science Is Open Software
(news.ycombinator.com)
1.
2.
Scientists develop new method for deciphering ancient scrolls
(arstechnica.com)
3.
Google really wants you to record a video selfie in case you get locked out of your account
(androidauthority.com)
4.
5.
What we have learned at OpenShell applying formal methods to control AI agents
(news.ycombinator.com)
6.
Measuring Gauss-Seidel loop-carried dependency and fixing it via loop unrolling
(news.ycombinator.com)
7.
Developing provably correct Rust code with Verus
(news.ycombinator.com)
8.
We do modern frequentist statistics: Using fake-data simulation
(news.ycombinator.com)
9.
Hackers exploit Tencent app flaw to deploy GrayRabbit malware
(bleepingcomputer.com)
10.
Top mathematicians are outraged by OpenAI's methods
(news.ycombinator.com)
11.
12.
Show HN: Compute polynomials twice as fast
(news.ycombinator.com)
13.
C*: Unifying Programming and Verification in C (2025)
(news.ycombinator.com)
14.
C*: Unifying Programming and Verification in C
(news.ycombinator.com)
15.
39 New Methods That Compromise Passkey Authentication
(bleepingcomputer.com)
16.
Methods for Random Gradients (2024)
(news.ycombinator.com)
17.
Methods for Random Gradients
(news.ycombinator.com)
18.
Try the ‘What Three Things?’ Method This Growth Specialist Uses to Unlock Millions
(feeds.feedburner.com)
19.
21.
Video reconstruction of variable VLBI observations with neural fields
(feeds.nature.com)
22.
Gary Vaynerchuk Shares His Method for Grabbing People’s Attention
(feeds.feedburner.com)
23.
Generic Methods in Go 1.27
(news.ycombinator.com)
24.
Go 1.27
(news.ycombinator.com)
26.
eigendrum
(news.ycombinator.com)
27.
28.
29.
Skullcandy Discount Code: 30% Off | August 2026
(wired.com)
30.
Today's top topics:
polymarket