57
[flagged] An 'Administrative Error' Sends a Maryland Father to a Salvadoran Prison (theatlantic.com)
2 days ago | Jtsummers | theatlantic.com | frontpage
6
The Bird-Flu Tipping Point (theatlantic.com)
a week ago | Jtsummers | theatlantic.com | newest
10
The Pentagon's DEI Panic (theatlantic.com)
3 weeks ago | Jtsummers | theatlantic.com | frontpage
52
DOGE's AI use in government doesn't add up (washingtonpost.com)
4 weeks ago | Jtsummers | washingtonpost.com | frontpage
4
The Telepathy Trap (theatlantic.com)
4 weeks ago | Jtsummers | theatlantic.com | newest
2
Satellite firm bucks miniaturization trend, aims to build big for big rockets (arstechnica.com)
3 months ago | Jtsummers | arstechnica.com | newest
152
[flagged] Trump's likely FCC chair wrote Project 2025 chapter on how he'd run the agency (arstechnica.com)
5 months ago | Jtsummers | arstechnica.com | best
2
The Debugging Book (debuggingbook.org)
5 months ago | Jtsummers | debuggingbook.org | newest
3
We're Entering Uncharted Territory for Math (theatlantic.com)
6 months ago | Jtsummers | theatlantic.com | newest
1
Static Program Analysis [pdf] (au.dk)
7 months ago | Jtsummers | au.dk | newest
2
Researchers hack electronic shifters with a few hundred dollars of hardware (wired.com)
8 months ago | Jtsummers | wired.com | frontpage
1
Soundness and Completeness: Defined with Precision (2019) (acm.org)
9 months ago | Jtsummers | acm.org | newest
2
Agile Manifesto co-author blasts failure rates report (theregister.com)
9 months ago | Jtsummers | theregister.com | newest
3
ICFP Contest 2024 (icfpcontest2024.github.io)
10 months ago | Jtsummers | github.io | newest
2
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
10 months ago | Jtsummers | washingtonpost.com | frontpage
4
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
10 months ago | Jtsummers | washingtonpost.com | newest
5
Automata via Macros (2006) (brown.edu)
11 months ago | Jtsummers | brown.edu | frontpage
5
The surprise is not that Boeing lost commercial crew but that it finished at all (arstechnica.com)
11 months ago | Jtsummers | arstechnica.com | frontpage
3
IT Doesn't Matter (hbr.org)
12 months ago | Jtsummers | hbr.org | frontpage
3
How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (chalmers.se)
12 months ago | Jtsummers | chalmers.se | newest
2
TDD's Missing Skill: Behavioral Composition (tidyfirst.substack.com)
a year ago | Jtsummers | substack.com | newest
1
Automate Your Way to Better Code: Advanced Property Tests [video] (youtube.com)
a year ago | Jtsummers | youtube.com | newest
1
On the Design and Development of Program Families (1976) [pdf] (msu.edu)
a year ago | Jtsummers | msu.edu | newest
274
Nobody ever gets credit for fixing problems that never happened (2001) [pdf] (web.mit.edu)
a year ago | Jtsummers | mit.edu | best
88
The Apple Vision Pro is spectacular and sad (theatlantic.com)
a year ago | Jtsummers | theatlantic.com | best
1
David Kahn, historian who cracked the code of cryptology, dies at 93 (washingtonpost.com)
a year ago | Jtsummers | washingtonpost.com | newest
1
An Incremental Approach to Compiler Construction (2006) [pdf] (uchicago.edu)
a year ago | Jtsummers | uchicago.edu | newest
1
The strengths of the academic enterprise (1994) (utexas.edu)
a year ago | Jtsummers | utexas.edu | newest
1
A full online version of Object-Oriented Software Construction, 2nd Ed. (1997) (bertrandmeyer.com)
a year ago | Jtsummers | bertrandmeyer.com | newest
1
FAQ Sheet on Feature Interaction (2004) (pamelazave.com)
a year ago | Jtsummers | pamelazave.com | newest
57
Local-first software: You own your data, in spite of the cloud (2019) (inkandswitch.com)
a year ago | Jtsummers | inkandswitch.com | best
3
An Air Force sergeant spotted pulsars months before astronomers (arstechnica.com)
a year ago | Jtsummers | arstechnica.com | newest
1
How do we tell truths that might hurt? (1975) (utexas.edu)
a year ago | Jtsummers | utexas.edu | newest
3
How Did Software Get So Reliable Without Proof? (1996) [pdf] (springer.com)
a year ago | Jtsummers | springer.com | newest
31
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
a year ago | Jtsummers | azurewebsites.net | best
4
Logic Programming is Underrated (2013) (swannodette.github.io)
a year ago | Jtsummers | github.io | newest
2
Programming Pearls: A Literate Program (1986) [pdf] (acm.org)
a year ago | Jtsummers | acm.org | newest
1
Iterative and Incremental Development: A Brief History (2003) [pdf] (umd.edu)
2 years ago | Jtsummers | umd.edu | newest
2
Cast Handbook: How to Learn More from Incidents and Accidents (2019) [pdf] (sunnyday.mit.edu)
2 years ago | Jtsummers | mit.edu | newest
3
Nobody Ever Gets Credit for Fixing Problems That Never Happened (2001) [pdf] (web.mit.edu)
2 years ago | Jtsummers | mit.edu | newest
1
The Humble Dialog Box (2002) [pdf] (martinfowler.com)
2 years ago | Jtsummers | martinfowler.com | newest
27
Closures and Objects Are Equivalent (2013) (c2.com)
2 years ago | Jtsummers | c2.com | best
10
Solving puzzles with hypothesis (edoput.it)
2 years ago | Jtsummers | edoput.it | frontpage
4
Form and Content in Computer Science (1970) (media.mit.edu)
2 years ago | Jtsummers | mit.edu | frontpage
1
OOP in FP (1999) (okmij.org)
2 years ago | Jtsummers | okmij.org | newest
2
Free Your Technical Aesthetic from the 1970s (2010) (dadgum.com)
2 years ago | Jtsummers | dadgum.com | newest
2
Overview of Ada 2022
2 years ago | Jtsummers | ada-auth.org | frontpage
1
Synchronous Programming of Reactive Systems (1993) [pdf]
2 years ago | Jtsummers | imag.fr | newest
1
ICPF Contest 2022
2 years ago | Jtsummers | github.io | newest
3
The Limits to Growth (1972) [pdf]
2 years ago | Jtsummers | donellameadows.org | frontpage
1
Deconstructing the Bakery to Build a Distributed State Machine
2 years ago | Jtsummers | acm.org | newest
1
Imaginate (2004) [pdf]
2 years ago | Jtsummers | pragprog.com | newest
2
The Magpie Developer (2008)
2 years ago | Jtsummers | codinghorror.com | newest
11
Modula-2 and Oberon (2007) [pdf]
2 years ago | Jtsummers | psu.edu | frontpage