All
5+
10+
25+
50+
100+
3
Software design is refinement, not abstraction (2022) (sicpers.info)
a day ago |
Jtsummers
| sicpers.info
|
newest
7
Leverage Points: Places to Intervene in a System (1999) (donellameadows.org)
4 days ago |
Jtsummers
| donellameadows.org
|
best
1
"Unexpectedly, a deer briefly entered the family room": Living with Gemini Home (arstechnica.com)
a week ago |
Jtsummers
| arstechnica.com
|
newest
205
Falling panel prices lead to global solar boom, except for the US (arstechnica.com)
a week ago |
Jtsummers
| arstechnica.com
|
best
1
Technology Shouldn't Give Big Brother a Head Start (2009) (schneier.com)
a month ago |
Jtsummers
| schneier.com
|
newest
1
My Life in Ambigrammia (theatlantic.com)
a month ago |
Jtsummers
| theatlantic.com
|
newest
5
The Useful Idiots of AI Doomsaying (theatlantic.com)
a month ago |
Jtsummers
| theatlantic.com
|
newest
2
Replit's latest update is infuriating customers with surprise cost overruns (theregister.com)
a month ago |
Jtsummers
| theregister.com
|
newest
1
A day of rebranding at The Pentagon, this name change slipped under the radar (arstechnica.com)
a month ago |
Jtsummers
| arstechnica.com
|
newest
2
Making reliable distributed systems in the presence of software errors (2003)PDF (erlang.org)
3 months ago |
Jtsummers
| erlang.org
|
newest
1
Subversive of What? (1948) (theatlantic.com)
3 months ago |
Jtsummers
| theatlantic.com
|
newest
2
Software books I wish I could read (buttondown.com/hillelwayne)
3 months ago |
Jtsummers
| buttondown.com
|
newest
1
Technical issues of separation in function cells and value cells (1988) (dreamsongs.com)
3 months ago |
Jtsummers
| dreamsongs.com
|
frontpage
2
A Sea of Nodes IR Tutorial (github.com/seaofnodes)
3 months ago |
Jtsummers
| github.com
|
newest
4
Space Force begins testing of first OCX software blocks for GPS sats (breakingdefense.com)
4 months ago |
Jtsummers
| breakingdefense.com
|
newest
1
Weapon Systems Annual Assessment (gao.gov)
4 months ago |
Jtsummers
| gao.gov
|
newest
1
KSAT – Vegard Sandengen, Rust Engineer [audio] (corrode.dev)
4 months ago |
Jtsummers
| corrode.dev
|
newest
248
Introducing tmux-rs (richardscollin.github.io)
4 months ago |
Jtsummers
| github.io
|
best
1
Language Workbenches: The Killer-App for Domain Specific Languages? (2005) (martinfowler.com)
5 months ago |
Jtsummers
| martinfowler.com
|
frontpage
16
Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
5 months ago |
Jtsummers
| dafny.org
|
frontpage
1
Space Force official: Commercial satellites can do a lot more than we thought (arstechnica.com)
6 months ago |
Jtsummers
| arstechnica.com
|
newest
138
GOP sneaks decade-long AI regulation ban into spending bill (arstechnica.com)
6 months ago |
Jtsummers
| arstechnica.com
|
best
1
Situated Software (2004) (gwern.net)
7 months ago |
Jtsummers
| gwern.net
|
newest
3
Design in TDD (tidyfirst.substack.com)
7 months ago |
Jtsummers
| substack.com
|
newest
55
Attorney representing a student protester detained by federal immigration agents (npr.org)
7 months ago |
Jtsummers
| npr.org
|
frontpage
6
Donald Trump takes his trade war to the tiniest nations (ft.com)
7 months ago |
Jtsummers
| ft.com
|
frontpage
57
[flagged] An 'Administrative Error' Sends a Maryland Father to a Salvadoran Prison (theatlantic.com)
7 months ago |
Jtsummers
| theatlantic.com
|
best
6
The Bird-Flu Tipping Point (theatlantic.com)
8 months ago |
Jtsummers
| theatlantic.com
|
newest
10
The Pentagon's DEI Panic (theatlantic.com)
8 months ago |
Jtsummers
| theatlantic.com
|
frontpage
52
DOGE's AI use in government doesn't add up (washingtonpost.com)
8 months ago |
Jtsummers
| washingtonpost.com
|
frontpage
4
The Telepathy Trap (theatlantic.com)
8 months ago |
Jtsummers
| theatlantic.com
|
newest
2
Satellite firm bucks miniaturization trend, aims to build big for big rockets (arstechnica.com)
10 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)
a year ago |
Jtsummers
| arstechnica.com
|
best
2
The Debugging Book (debuggingbook.org)
a year ago |
Jtsummers
| debuggingbook.org
|
newest
3
We're Entering Uncharted Territory for Math (theatlantic.com)
a year ago |
Jtsummers
| theatlantic.com
|
newest
1
Static Program Analysis [pdf] (au.dk)
a year ago |
Jtsummers
| au.dk
|
newest
2
Researchers hack electronic shifters with a few hundred dollars of hardware (wired.com)
a year ago |
Jtsummers
| wired.com
|
frontpage
1
Soundness and Completeness: Defined with Precision (2019) (acm.org)
a year ago |
Jtsummers
| acm.org
|
newest
2
Agile Manifesto co-author blasts failure rates report (theregister.com)
a year ago |
Jtsummers
| theregister.com
|
newest
3
ICFP Contest 2024 (icfpcontest2024.github.io)
a year ago |
Jtsummers
| github.io
|
newest
2
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
a year ago |
Jtsummers
| washingtonpost.com
|
frontpage
4
New heroes of spaceflight: Not the astronauts but the software nerds (washingtonpost.com)
a year ago |
Jtsummers
| washingtonpost.com
|
newest
5
Automata via Macros (2006) (brown.edu)
a year ago |
Jtsummers
| brown.edu
|
frontpage
5
The surprise is not that Boeing lost commercial crew but that it finished at all (arstechnica.com)
a year ago |
Jtsummers
| arstechnica.com
|
frontpage
3
IT Doesn't Matter (hbr.org)
a year ago |
Jtsummers
| hbr.org
|
frontpage
3
How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (chalmers.se)
a year 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)
2 years ago |
Jtsummers
| pamelazave.com
|
newest
57
Local-first software: You own your data, in spite of the cloud (2019) (inkandswitch.com)
2 years ago |
Jtsummers
| inkandswitch.com
|
best
3
An Air Force sergeant spotted pulsars months before astronomers (arstechnica.com)
2 years ago |
Jtsummers
| arstechnica.com
|
newest
1
How do we tell truths that might hurt? (1975) (utexas.edu)
2 years ago |
Jtsummers
| utexas.edu
|
newest
3
How Did Software Get So Reliable Without Proof? (1996) [pdf] (springer.com)
2 years ago |
Jtsummers
| springer.com
|
newest
31
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
2 years ago |
Jtsummers
| azurewebsites.net
|
best
4
Logic Programming is Underrated (2013) (swannodette.github.io)
2 years ago |
Jtsummers
| github.io
|
newest
2
Programming Pearls: A Literate Program (1986) [pdf] (acm.org)
2 years 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)
3 years ago |
Jtsummers
| mit.edu
|
frontpage
1
OOP in FP (1999) (okmij.org)
3 years ago |
Jtsummers
| okmij.org
|
newest
2
Free Your Technical Aesthetic from the 1970s (2010) (dadgum.com)
3 years ago |
Jtsummers
| dadgum.com
|
newest
2
Overview of Ada 2022
3 years ago |
Jtsummers
| ada-auth.org
|
frontpage
1
Synchronous Programming of Reactive Systems (1993) [pdf]
3 years ago |
Jtsummers
| imag.fr
|
newest
1
ICPF Contest 2022
3 years ago |
Jtsummers
| github.io
|
newest
3
The Limits to Growth (1972) [pdf]
3 years ago |
Jtsummers
| donellameadows.org
|
frontpage
1
Deconstructing the Bakery to Build a Distributed State Machine
3 years ago |
Jtsummers
| acm.org
|
newest
1
Imaginate (2004) [pdf]
3 years ago |
Jtsummers
| pragprog.com
|
newest
2
The Magpie Developer (2008)
3 years ago |
Jtsummers
| codinghorror.com
|
newest
11
Modula-2 and Oberon (2007) [pdf]
3 years ago |
Jtsummers
| psu.edu
|
frontpage