AI will make formal verification go mainstream
martin.kleppmann.com
Ty: A fast Python type checker and LSP
astral.sh
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.com
Pricing Changes for GitHub Actions
resources.github.com
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
simonwillison.net
40 percent of fMRI signals do not correspond to actual brain activity
tum.de
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
Dafny: Verification-Aware Programming Language
dafny.org
Americans overestimate how many social media users post harmful content
academic.oup.com
Thin desires are eating life
joanwestenberg.com
MIT professor shot at his Massachusetts home dies
bbc.com
Chat-tails: Throwback terminal chat, built on Tailscale
tailscale.com
The World Happiness Report is beset with methodological problems
yaschamounk.substack.com
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
kemble.net
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
Artie (YC S23) Is Hiring Senior Enterprise AES
ycombinator.com
Nvidia Nemotron 3 Family of Models
research.nvidia.com
Show HN: Sqlit – A lazygit-style TUI for SQL databases
github.com
I built a small Linux tool to deterministically verify GPU PCIe link health and bandwidth.
It reports: - Negotiated PCIe generation and width - Peak Host→Device and Device→Host memcpy bandwidth - Sustained PCIe TX/RX utilization via NVML - A rule-based verdict derived from observable hardware data only
This exists because PCIe issues (Gen downgrades, reduced lane width, risers, bifurcation) are often invisible at the application layer and can’t be fixed by kernel tuning or async overlap.
Linux-only: it relies on sysfs and PCIe AER exposure that Windows does not provide.