Monthly Highlights
2101.
2102.
Proving Liveness with TLA
(roscidus.com)
2103.
A look back: LANPAR, the first spreadsheet
(technicallywewrite.com)
2105.
2106.
China starts UHV power line: The new 700 km UHV line will transmit 8M kW
(switchgear-magazine.com)
2107.
Autism hasn't increased
(marginalrevolution.com)
2108.
Gamers Are Overwhelmingly Negative About Gen AI in Video Games
(quanticfoundry.com)
2109.
Why Prefer Textfiles? (2010)
(textfiles.com)
2111.
2112.
2113.
2114.
2115.
I wrote a code editor in C and now I'm a changed man
(github.com)
2116.
2117.
Show HN: Digital Carrot – Block social media with programmable rules and goals
(digitalcarrot.app)
2118.
Time in C++: Inter-Clock Conversions, Epochs, and Durations
(sandordargo.com)
2119.
How to Win Friends and Influence People: Unrevised Version
(socialskillswisdom.com)
2120.
AI results can be manipulated
(ahrefs.com)
2121.
"HP-UX hits end-of-life today, and I'm sad"
(osnews.com)
2122.
Finding Jingle Town: Debugging an N64 Game Without Symbols
(blog.chrislewis.au)
2123.
An Experimental Approach to Printf in HLSL
(abolishcrlf.org)
2124.
Unix v4 tape raw binary image recovered
(elk.zone)
2125.
2126.
2127.
Exploring Speculative JIT Compilation for Emacs Lisp with Java
(kyo.iroiro.party)
2128.
TRIZ
(en.wikipedia.org)
2129.
Trump Says Maduro Captured After US Airstrikes Hit Venezuela
(bloomberg.com)