AI will make formal verification go mainstream
martin.kleppmann.com
Ty: A fast Python type checker and LSP
astral.sh
Pricing Changes for GitHub Actions
resources.github.com
No AI* Here – A Response to Mozilla's Next Chapter
waterfox.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
Americans overestimate how many social media users post harmful content
academic.oup.com
Dafny: Verification-Aware Programming Language
dafny.org
MIT professor shot at his Massachusetts home dies
bbc.com
Thin desires are eating life
joanwestenberg.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
Interesting read, but I was surprised that the author didn’t discuss the dynamics of the interplay between dissonance and consonance. What makes consonance so satisfying is the juxtaposition against dissonance. Maybe it didn’t come up because his examples don’t exhibit it? I wouldn’t know because I listen to different genres than he discussed. It is certainly a concept explored in many forms of jazz.
As another modern example, one could listen to the live recordings from the latest The Mars Volta tour where these incredibly beautiful progpop songs are interspersed with atonal and arhythmic interludes giving the simple beauty of their original studio songs a satisfying contrast.