Mike Samuel 🟣
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques.
Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Reposted by Mike Samuel 🟣
Just added my book, "Theory of Computing: An Open Introduction" to OER Commons, and working on getting it listed in Canadian repositories too. One step closer to making education more open and accessible to everyone!
oercommons.org/courses/theo...
oercommons.org/courses/theo...
Theory of Computing: An Open Introduction
This book is suitable for courses on the theory of computing at both the undergraduate and graduate levels, and for self-study. Topics are introduced in a logical order: we begin with the simple finit...
oercommons.org
November 6, 2025 at 6:12 PM
Just added my book, "Theory of Computing: An Open Introduction" to OER Commons, and working on getting it listed in Canadian repositories too. One step closer to making education more open and accessible to everyone!
oercommons.org/courses/theo...
oercommons.org/courses/theo...
Sun Tzu wouldn't have had to write _the Art of War_ if he could've sat his generals down with _the Oregon Trail_.
November 6, 2025 at 4:14 PM
Sun Tzu wouldn't have had to write _the Art of War_ if he could've sat his generals down with _the Oregon Trail_.
Remembering Dick Cheney:
Pro torture,
pro pre-emptive war,
pro fabricating the intelligence to fit the mission,
pro Enron writing energy policy,
pro pre-emptive pardons,
pro imperial presidency,
just not pro one particular imperial president.
www.nytimes.com/2005/12/23/o...
Pro torture,
pro pre-emptive war,
pro fabricating the intelligence to fit the mission,
pro Enron writing energy policy,
pro pre-emptive pardons,
pro imperial presidency,
just not pro one particular imperial president.
www.nytimes.com/2005/12/23/o...
Opinion | Mr. Cheney's Imperial Presidency (Published 2005)
www.nytimes.com
November 4, 2025 at 3:53 PM
Remembering Dick Cheney:
Pro torture,
pro pre-emptive war,
pro fabricating the intelligence to fit the mission,
pro Enron writing energy policy,
pro pre-emptive pardons,
pro imperial presidency,
just not pro one particular imperial president.
www.nytimes.com/2005/12/23/o...
Pro torture,
pro pre-emptive war,
pro fabricating the intelligence to fit the mission,
pro Enron writing energy policy,
pro pre-emptive pardons,
pro imperial presidency,
just not pro one particular imperial president.
www.nytimes.com/2005/12/23/o...
I don't place much stock in AGI discourse, but Dawn is not someone to dismiss lightly.
_A Definition of AGI_ by D.Hendrycks, D.Song, et al: arxiv.org/abs/2510.18212
_A Definition of AGI_ by D.Hendrycks, D.Song, et al: arxiv.org/abs/2510.18212
November 3, 2025 at 6:18 PM
I don't place much stock in AGI discourse, but Dawn is not someone to dismiss lightly.
_A Definition of AGI_ by D.Hendrycks, D.Song, et al: arxiv.org/abs/2510.18212
_A Definition of AGI_ by D.Hendrycks, D.Song, et al: arxiv.org/abs/2510.18212
Who else is going to be in Japan for W3C TPAC?
October 31, 2025 at 10:15 PM
Who else is going to be in Japan for W3C TPAC?
Reposted by Mike Samuel 🟣
I'm writing another book, and the first few chapters are available through Manning Early Access now! For 50% off!
hubs.la/Q03Q9PGP0
More details, and the story of how I came to write it, are on my blog at
ericlippert.com/2025/10/30/i...
It feels great to be writing again after a long break. :)
hubs.la/Q03Q9PGP0
More details, and the story of how I came to write it, are on my blog at
ericlippert.com/2025/10/30/i...
It feels great to be writing again after a long break. :)
Fabulous Adventures in Data Structures and Algorithms - Eric Lippert
Author Eric Lippert introduces fabulous solutions using uncommon algorithms and data structures.
There’s a lot more to algorithms than the useful-but-boring recipes you recite for every interview. Th...
hubs.la
October 30, 2025 at 4:39 PM
I'm writing another book, and the first few chapters are available through Manning Early Access now! For 50% off!
hubs.la/Q03Q9PGP0
More details, and the story of how I came to write it, are on my blog at
ericlippert.com/2025/10/30/i...
It feels great to be writing again after a long break. :)
hubs.la/Q03Q9PGP0
More details, and the story of how I came to write it, are on my blog at
ericlippert.com/2025/10/30/i...
It feels great to be writing again after a long break. :)
@leaflet.pub Do you need all these permissions?
Your service looks cool so I'll give it a try with an unlinked account, but I'm not going to connect accounts if it requires broadening who can manage my profile and posts and if it allows for unlimited delegation.
Your service looks cool so I'll give it a try with an unlinked account, but I'm not going to connect accounts if it requires broadening who can manage my profile and posts and if it allows for unlimited delegation.
October 31, 2025 at 3:56 PM
@leaflet.pub Do you need all these permissions?
Your service looks cool so I'll give it a try with an unlinked account, but I'm not going to connect accounts if it requires broadening who can manage my profile and posts and if it allows for unlimited delegation.
Your service looks cool so I'll give it a try with an unlinked account, but I'm not going to connect accounts if it requires broadening who can manage my profile and posts and if it allows for unlimited delegation.
Reposted by Mike Samuel 🟣
as facilitating “the growth of a diverse and international community of Python programmers” is written directly into our mission and core to our values, so we withdrew our application.
October 27, 2025 at 2:47 PM
as facilitating “the growth of a diverse and international community of Python programmers” is written directly into our mission and core to our values, so we withdrew our application.
> This marks the first time a major social platform has handed full control of content discovery to an Al model.
What do they think the ML heuristics were if not an AI model?
What do they think the ML heuristics were if not an AI model?
October 26, 2025 at 5:13 PM
> This marks the first time a major social platform has handed full control of content discovery to an Al model.
What do they think the ML heuristics were if not an AI model?
What do they think the ML heuristics were if not an AI model?
Reposted by Mike Samuel 🟣
I'm nearing the end of my masters so starting the search for a job
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at https://0x76.dev/cv.html […]
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at https://0x76.dev/cv.html […]
Original post on fedi.xirion.net
fedi.xirion.net
October 26, 2025 at 9:19 AM
I'm nearing the end of my masters so starting the search for a job
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at https://0x76.dev/cv.html […]
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at https://0x76.dev/cv.html […]
Cast operators in modern PLs have two distinct senses making them effectively bivariant.
The `as` operator requires there be some relationship between the left operand's type and the type specified in the right operand. But it could sensibly be subtype or supertype.
This is a PiTA to solve.
The `as` operator requires there be some relationship between the left operand's type and the type specified in the right operand. But it could sensibly be subtype or supertype.
This is a PiTA to solve.
October 24, 2025 at 6:45 PM
Cast operators in modern PLs have two distinct senses making them effectively bivariant.
The `as` operator requires there be some relationship between the left operand's type and the type specified in the right operand. But it could sensibly be subtype or supertype.
This is a PiTA to solve.
The `as` operator requires there be some relationship between the left operand's type and the type specified in the right operand. But it could sensibly be subtype or supertype.
This is a PiTA to solve.
Reposted by Mike Samuel 🟣
NEW EPISODE: Donald Trump has corrupted the Department of Justice into a weapon against his political opponents — and too many legal experts are falling into a dangerous trap by pretending it’s still a normal institution. www.youtube.com/watch?v=yZR9...
Why Smart People Keep Getting Trump's DOJ Scandal Wrong
YouTube video by Democracy Docket
www.youtube.com
October 24, 2025 at 4:14 PM
NEW EPISODE: Donald Trump has corrupted the Department of Justice into a weapon against his political opponents — and too many legal experts are falling into a dangerous trap by pretending it’s still a normal institution. www.youtube.com/watch?v=yZR9...
Truths were told.
> All the good Indian food is in New Jersey.
>
> Mamdani: Honestly, Edison.
youtu.be/yEX1xJcvRqI?...
> All the good Indian food is in New Jersey.
>
> Mamdani: Honestly, Edison.
youtu.be/yEX1xJcvRqI?...
Zohran Mamdani on Freezing Rent, Making NYC Affordable Again, & Who is Really Stopping Him
YouTube video by FLAGRANT
youtu.be
October 23, 2025 at 6:03 PM
Truths were told.
> All the good Indian food is in New Jersey.
>
> Mamdani: Honestly, Edison.
youtu.be/yEX1xJcvRqI?...
> All the good Indian food is in New Jersey.
>
> Mamdani: Honestly, Edison.
youtu.be/yEX1xJcvRqI?...
I really want to keep liking Bernie too but I am in this place.
I’m a Sanders Man through and through but you cannot cannot cannot fail on this very easy question. And for anyone referring to “Is it ok for your candidate to have a Waffen SS tat?” as a purity test, I have gotta ask:
October 23, 2025 at 6:35 AM
I really want to keep liking Bernie too but I am in this place.
Do R users really kvetch about its 0-basedness enough that this is worth calling out?
I suppose Fortran users get to feel smug either way.
I suppose Fortran users get to feel smug either way.
October 17, 2025 at 5:45 PM
Do R users really kvetch about its 0-basedness enough that this is worth calling out?
I suppose Fortran users get to feel smug either way.
I suppose Fortran users get to feel smug either way.
Reposted by Mike Samuel 🟣
Taking in refugees isn't just a nice thing we do — we have a legal obligation. The 1951 Refugee Convention came about specifically because countries like the US refused entry to Jews who were trying to escape Germany, because the world didn't ever want that to happen again.
October 15, 2025 at 7:46 PM
Taking in refugees isn't just a nice thing we do — we have a legal obligation. The 1951 Refugee Convention came about specifically because countries like the US refused entry to Jews who were trying to escape Germany, because the world didn't ever want that to happen again.
Reposted by Mike Samuel 🟣
I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too.
In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!
🎞️ Playlist: www.youtube.com/playlist?lis...
👉 More info: d3s.mff.cuni.cz/teaching/npr...
In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!
🎞️ Playlist: www.youtube.com/playlist?lis...
👉 More info: d3s.mff.cuni.cz/teaching/npr...
Write your own tiny programming system(s)! - YouTube
The goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...
www.youtube.com
October 7, 2025 at 9:18 PM
I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too.
In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!
🎞️ Playlist: www.youtube.com/playlist?lis...
👉 More info: d3s.mff.cuni.cz/teaching/npr...
In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!
🎞️ Playlist: www.youtube.com/playlist?lis...
👉 More info: d3s.mff.cuni.cz/teaching/npr...
Reposted by Mike Samuel 🟣
Its been 2 yrs. I still grieve those murdered on 10/7 by Hamas & the people held hostage. But even today we must focus on urgently ending this genocide. We cant grieve those murdered on 10/7 w/o also grieving those who have been killed since by Israel. They are connected crimes
October 7, 2025 at 1:40 PM
Its been 2 yrs. I still grieve those murdered on 10/7 by Hamas & the people held hostage. But even today we must focus on urgently ending this genocide. We cant grieve those murdered on 10/7 w/o also grieving those who have been killed since by Israel. They are connected crimes
Dan was a delight. I miss getting super energetic emails out of the blue where he starts on one topic and then ends up interrogating me about everything I know related to three completely different topics before running off to build something no-one else can.
RIP
RIP
Dan Kaminsky would be proud and that is who we do it for
October 8, 2025 at 5:33 AM
Dan was a delight. I miss getting super energetic emails out of the blue where he starts on one topic and then ends up interrogating me about everything I know related to three completely different topics before running off to build something no-one else can.
RIP
RIP
Reposted by Mike Samuel 🟣
(the blog)
Cheat Codes for Junior Engineers | Kat Kime
katexcellence.io
October 7, 2025 at 4:46 PM
(the blog)
Reposted by Mike Samuel 🟣
🎵 Song A Day #6098: Boom, Gone, Bing, Bong!
boom, gone, bing, bong
Watch on YouTube: https://youtube.com/watch?v=vY34Uak3CVc
boom, gone, bing, bong
Watch on YouTube: https://youtube.com/watch?v=vY34Uak3CVc
September 11, 2025 at 7:44 PM
🎵 Song A Day #6098: Boom, Gone, Bing, Bong!
boom, gone, bing, bong
Watch on YouTube: https://youtube.com/watch?v=vY34Uak3CVc
boom, gone, bing, bong
Watch on YouTube: https://youtube.com/watch?v=vY34Uak3CVc
Reposted by Mike Samuel 🟣
The US informed Europe that it is terminating agreements to fight disinformation from hostile states like Russia and China. At a time when information warfare is escalating, this move weakens efforts to counter propaganda. Unilateral disarmament.
September 8, 2025 at 5:29 PM
The US informed Europe that it is terminating agreements to fight disinformation from hostile states like Russia and China. At a time when information warfare is escalating, this move weakens efforts to counter propaganda. Unilateral disarmament.
Reposted by Mike Samuel 🟣
"It is past time for both Hakeem Jeffries and Chuck Schumer to step down and step aside. This fascist moment, this age of Trump, demands outspoken, unrelenting and fearless opposition... we all deserve better."
I make the case, in my latest for The Guardian, for new leadership:
I make the case, in my latest for The Guardian, for new leadership:
It’s time for Chuck Schumer and Hakeem Jeffries to step down | Mehdi Hasan
This fascist moment, this age of Trump, demands outspoken, unrelenting and fearless opposition. We all deserve better
www.theguardian.com
September 3, 2025 at 3:20 PM
"It is past time for both Hakeem Jeffries and Chuck Schumer to step down and step aside. This fascist moment, this age of Trump, demands outspoken, unrelenting and fearless opposition... we all deserve better."
I make the case, in my latest for The Guardian, for new leadership:
I make the case, in my latest for The Guardian, for new leadership:
