4
19
America Is Headed Toward the Infinite Workweek (theatlantic.com)
3
The Biggest Tell That Something Was Written by AI (theatlantic.com)
5
Backyard Star Wars (2010) (ieee.org)
1
America Is Missing Out on the Ultimate Mosquito Weapon (theatlantic.com)
2
I Am Begging You to Read Terry Pratchett (theatlantic.com)
2
The Single Dumbest Conspiracy Theory of 2026 (theatlantic.com)
5
The Story of the Cartel Olympics (theatlantic.com)
7
Everyone but Trump Understands What He's Done (theatlantic.com)
8
The Obvious Is Taking Its Revenge on Trump (theatlantic.com)
3
Communicating Sequential Processes (2022) [pdf] (archive.org)
2
Warren's Abstract Machine: A Tutorial Reconstruction (1999) (archive.org)
6
U.S. Capabilities Are Showing Signs of Rot (theatlantic.com)
7
The Glaring Oversight in the U.S. War Plan (theatlantic.com)
4
Deceit, Desire, and the Literature Professor: Why Girardians Exist (2012) (stanford.edu)
4
Trump Has a Bridge He Wants to Sell You (theatlantic.com)
4
"Wildly irresponsible": DOT's use of AI to draft safety rules sparks concerns (arstechnica.com)
2
Rotavirus Could Come Roaring Back–Soon (theatlantic.com)
3
How the Cybertruck's design may have trapped crash survivors in flames (washingtonpost.com)
17
US spy satellites built by SpaceX send signals in the "wrong direction" (arstechnica.com)
3
Software design is refinement, not abstraction (2022) (sicpers.info)
7
Leverage Points: Places to Intervene in a System (1999) (donellameadows.org)
1
"Unexpectedly, a deer briefly entered the family room": Living with Gemini Home (arstechnica.com)
205
Falling panel prices lead to global solar boom, except for the US (arstechnica.com)
1
Technology Shouldn't Give Big Brother a Head Start (2009) (schneier.com)
1
My Life in Ambigrammia (theatlantic.com)
5
The Useful Idiots of AI Doomsaying (theatlantic.com)
2
Replit's latest update is infuriating customers with surprise cost overruns (theregister.com)
1
A day of rebranding at The Pentagon, this name change slipped under the radar (arstechnica.com)
2
Making reliable distributed systems in the presence of software errors (2003)PDF (erlang.org)
1
Subversive of What? (1948) (theatlantic.com)
2
Software books I wish I could read (buttondown.com/hillelwayne)
1
Technical issues of separation in function cells and value cells (1988) (dreamsongs.com)
2
A Sea of Nodes IR Tutorial (github.com/seaofnodes)
4
Space Force begins testing of first OCX software blocks for GPS sats (breakingdefense.com)
1
Weapon Systems Annual Assessment (gao.gov)
1
KSAT – Vegard Sandengen, Rust Engineer [audio] (corrode.dev)
248
Introducing tmux-rs (richardscollin.github.io)
1
Language Workbenches: The Killer-App for Domain Specific Languages? (2005) (martinfowler.com)
16
Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
1
Space Force official: Commercial satellites can do a lot more than we thought (arstechnica.com)
138
GOP sneaks decade-long AI regulation ban into spending bill (arstechnica.com)
1
Situated Software (2004) (gwern.net)
3
Design in TDD (tidyfirst.substack.com)
55
Attorney representing a student protester detained by federal immigration agents (npr.org)
6
Donald Trump takes his trade war to the tiniest nations (ft.com)
57
[flagged] An 'Administrative Error' Sends a Maryland Father to a Salvadoran Prison (theatlantic.com)
6
The Bird-Flu Tipping Point (theatlantic.com)
10
The Pentagon's DEI Panic (theatlantic.com)
52
DOGE's AI use in government doesn't add up (washingtonpost.com)
4
The Telepathy Trap (theatlantic.com)
2
Satellite firm bucks miniaturization trend, aims to build big for big rockets (arstechnica.com)
152
[flagged] Trump's likely FCC chair wrote Project 2025 chapter on how he'd run the agency (arstechnica.com)
2
The Debugging Book (debuggingbook.org)
3
We're Entering Uncharted Territory for Math (theatlantic.com)
1
Static Program Analysis [pdf] (au.dk)
2
Researchers hack electronic shifters with a few hundred dollars of hardware (wired.com)
1
Soundness and Completeness: Defined with Precision (2019) (acm.org)
2
Agile Manifesto co-author blasts failure rates report (theregister.com)
3
ICFP Contest 2024 (icfpcontest2024.github.io)
2
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
4
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
5
Automata via Macros (2006) (brown.edu)
5
The surprise is not that Boeing lost commercial crew but that it finished at all (arstechnica.com)
3
IT Doesn't Matter (hbr.org)
3
How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (chalmers.se)
2
TDD's Missing Skill: Behavioral Composition (tidyfirst.substack.com)
1
Automate Your Way to Better Code: Advanced Property Tests [video] (youtube.com)
1
On the Design and Development of Program Families (1976) [pdf] (msu.edu)
274
Nobody ever gets credit for fixing problems that never happened (2001) [pdf] (web.mit.edu)
88
The Apple Vision Pro is spectacular and sad (theatlantic.com)
1
David Kahn, historian who cracked the code of cryptology, dies at 93 (washingtonpost.com)
1
An Incremental Approach to Compiler Construction (2006) [pdf] (uchicago.edu)
1
The strengths of the academic enterprise (1994) (utexas.edu)
1
A full online version of Object-Oriented Software Construction, 2nd Ed. (1997) (bertrandmeyer.com)
1
FAQ Sheet on Feature Interaction (2004) (pamelazave.com)
57
Local-first software: You own your data, in spite of the cloud (2019) (inkandswitch.com)
3
An Air Force sergeant spotted pulsars months before astronomers (arstechnica.com)
1
How do we tell truths that might hurt? (1975) (utexas.edu)
3
How Did Software Get So Reliable Without Proof? (1996) [pdf] (springer.com)
31
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
4
Logic Programming is Underrated (2013) (swannodette.github.io)
2
Programming Pearls: A Literate Program (1986) [pdf] (acm.org)
1
Iterative and Incremental Development: A Brief History (2003) [pdf] (umd.edu)
2
Cast Handbook: How to Learn More from Incidents and Accidents (2019) [pdf] (sunnyday.mit.edu)
3
Nobody Ever Gets Credit for Fixing Problems That Never Happened (2001) [pdf] (web.mit.edu)
1
The Humble Dialog Box (2002) [pdf] (martinfowler.com)
27
Closures and Objects Are Equivalent (2013) (c2.com)
10
Solving puzzles with hypothesis (edoput.it)
4
Form and Content in Computer Science (1970) (media.mit.edu)
1
OOP in FP (1999) (okmij.org)
2
Free Your Technical Aesthetic from the 1970s (2010) (dadgum.com)
2
Overview of Ada 2022
1
Synchronous Programming of Reactive Systems (1993) [pdf]
1
ICPF Contest 2022
3
The Limits to Growth (1972) [pdf]
1
Deconstructing the Bakery to Build a Distributed State Machine
1
Imaginate (2004) [pdf]
2
The Magpie Developer (2008)
11