Eric McCorkle
@emc2.indieweb.social.ap.brid.gy
Senior research scientist at a major UARC, (infosec, distributed systems, formal methods, quantum computing). Non-profit employee. Tech industry veteran. Election […]
🌉 bridged from https://indieweb.social/@emc2 on the fediverse by https://fed.brid.gy/
🌉 bridged from https://indieweb.social/@emc2 on the fediverse by https://fed.brid.gy/
@hrefna
Formal methods: after decades of work, we can mathematically verify what your programs do.
AI boosters: what if we rolled dice instead?
Formal methods: after decades of work, we can mathematically verify what your programs do.
AI boosters: what if we rolled dice instead?
January 14, 2026 at 8:51 PM
@hrefna
Formal methods: after decades of work, we can mathematically verify what your programs do.
AI boosters: what if we rolled dice instead?
Formal methods: after decades of work, we can mathematically verify what your programs do.
AI boosters: what if we rolled dice instead?
@petealexharris
The open source movement is arguably the most potent refutation of the necessity and supremacy of profit motive in the modern world.
It is also arguably the most successful and largest-scale implementation of cooperative enterprise in history- something oft referenced in […]
The open source movement is arguably the most potent refutation of the necessity and supremacy of profit motive in the modern world.
It is also arguably the most successful and largest-scale implementation of cooperative enterprise in history- something oft referenced in […]
Original post on indieweb.social
indieweb.social
January 13, 2026 at 8:46 PM
@petealexharris
The open source movement is arguably the most potent refutation of the necessity and supremacy of profit motive in the modern world.
It is also arguably the most successful and largest-scale implementation of cooperative enterprise in history- something oft referenced in […]
The open source movement is arguably the most potent refutation of the necessity and supremacy of profit motive in the modern world.
It is also arguably the most successful and largest-scale implementation of cooperative enterprise in history- something oft referenced in […]
Update here: bought a supernote, and am quite pleased with it.
January 5, 2026 at 11:33 PM
Update here: bought a supernote, and am quite pleased with it.
December 24, 2025 at 1:26 AM
Beyond that, we're beholden to nothing. Try to enclose a browser, fine, we'll all jump to a fork and you'll be left with a ghost town.
But in that migration, some more fundamental questions get stirred up. "Maybe browsers and the internet itself could be different, at a deeper level?" "Why do […]
But in that migration, some more fundamental questions get stirred up. "Maybe browsers and the internet itself could be different, at a deeper level?" "Why do […]
Original post on indieweb.social
indieweb.social
December 17, 2025 at 3:16 PM
Beyond that, we're beholden to nothing. Try to enclose a browser, fine, we'll all jump to a fork and you'll be left with a ghost town.
But in that migration, some more fundamental questions get stirred up. "Maybe browsers and the internet itself could be different, at a deeper level?" "Why do […]
But in that migration, some more fundamental questions get stirred up. "Maybe browsers and the internet itself could be different, at a deeper level?" "Why do […]
One of the greatest strengths of OSS is that it can capture funding and resources from the business world, but it can't effectively be captured *by* the business world. Sure, it can be influenced by money, but there's a built-in regulatory mechanism from the freedom to fork, and one that voids […]
Original post on indieweb.social
indieweb.social
December 17, 2025 at 3:11 PM
One of the greatest strengths of OSS is that it can capture funding and resources from the business world, but it can't effectively be captured *by* the business world. Sure, it can be influenced by money, but there's a built-in regulatory mechanism from the freedom to fork, and one that voids […]
I have long believed that OSS represents something that cannot be properly characterized in terms of the cold war era capitalist vs anticapitalist dichotomy. I've debated this with both business and leftie types.
The freedom to fork fundamentally changes what power dynamics are even possible […]
The freedom to fork fundamentally changes what power dynamics are even possible […]
Original post on indieweb.social
indieweb.social
December 17, 2025 at 3:04 PM
I have long believed that OSS represents something that cannot be properly characterized in terms of the cold war era capitalist vs anticapitalist dichotomy. I've debated this with both business and leftie types.
The freedom to fork fundamentally changes what power dynamics are even possible […]
The freedom to fork fundamentally changes what power dynamics are even possible […]
@JessTheUnstill
That and people who lived their whole childhood in some place like Newton, MA, and get extremely angry at me when I don't accept their ideas unquestioningly.
Not everyone was lucky enough to be born in a place where progressive ideas were the default. For some of us, the only […]
That and people who lived their whole childhood in some place like Newton, MA, and get extremely angry at me when I don't accept their ideas unquestioningly.
Not everyone was lucky enough to be born in a place where progressive ideas were the default. For some of us, the only […]
Original post on indieweb.social
indieweb.social
December 15, 2025 at 2:48 PM
@JessTheUnstill
That and people who lived their whole childhood in some place like Newton, MA, and get extremely angry at me when I don't accept their ideas unquestioningly.
Not everyone was lucky enough to be born in a place where progressive ideas were the default. For some of us, the only […]
That and people who lived their whole childhood in some place like Newton, MA, and get extremely angry at me when I don't accept their ideas unquestioningly.
Not everyone was lucky enough to be born in a place where progressive ideas were the default. For some of us, the only […]
@JessTheUnstill
I call these types the "Calvinist left". It's a corruption of the philosophy that we should make people's lives better, into one that wants to split the world into the "elect" and the damned (privileged).
I call these types the "Calvinist left". It's a corruption of the philosophy that we should make people's lives better, into one that wants to split the world into the "elect" and the damned (privileged).
December 15, 2025 at 1:37 PM
@JessTheUnstill
I call these types the "Calvinist left". It's a corruption of the philosophy that we should make people's lives better, into one that wants to split the world into the "elect" and the damned (privileged).
I call these types the "Calvinist left". It's a corruption of the philosophy that we should make people's lives better, into one that wants to split the world into the "elect" and the damned (privileged).
December 7, 2025 at 8:32 PM
November 22, 2025 at 10:41 PM