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.
It's entirely appropriate for lawmakers to say "don't break laws."
We want to speak directly to members of the Military and the Intelligence Community.
The American people need you to stand up for our laws and our Constitution.
Don’t give up the ship.
The American people need you to stand up for our laws and our Constitution.
Don’t give up the ship.
November 20, 2025 at 8:08 PM
It's entirely appropriate for lawmakers to say "don't break laws."
If you like W3C, PLs, program translation, standards:
I talked at TPAC about how programming languages & ubiquitous libraries can aid standards work.
I had an hour prepped, but only got through 10mins because of audience questions, a great problem to have.
Here are my prepared remarks:
1/50ish
I talked at TPAC about how programming languages & ubiquitous libraries can aid standards work.
I had an hour prepped, but only got through 10mins because of audience questions, a great problem to have.
Here are my prepared remarks:
1/50ish
November 20, 2025 at 7:58 AM
If you like W3C, PLs, program translation, standards:
I talked at TPAC about how programming languages & ubiquitous libraries can aid standards work.
I had an hour prepped, but only got through 10mins because of audience questions, a great problem to have.
Here are my prepared remarks:
1/50ish
I talked at TPAC about how programming languages & ubiquitous libraries can aid standards work.
I had an hour prepped, but only got through 10mins because of audience questions, a great problem to have.
Here are my prepared remarks:
1/50ish
Have they considered adding "rewrite it in Prolog" to the system prompt?
November 19, 2025 at 10:27 PM
Have they considered adding "rewrite it in Prolog" to the system prompt?
Reposted by Mike Samuel 🟣
Exciting opportunity alert! 🌟 Want to speak at the #OWASP Global #AppSec EU 2026 Conference in Vienna? The Call for Presentations is now open! Share your expertise in our diverse tracks. Submit your proposal today! Link: sessionize.com/owasp...
#devsecops #SDLC #threatmodeling #AI
#devsecops #SDLC #threatmodeling #AI
OWASP Global AppSec EU 2026 - CFP (Vienna, Austria) : Call for Speakers
OWASP Global Conferences are a must attend event by all cybersecurity professionals. Join the team and become a speaker at this well sought after eve...
sessionize.com
November 17, 2025 at 10:36 PM
Exciting opportunity alert! 🌟 Want to speak at the #OWASP Global #AppSec EU 2026 Conference in Vienna? The Call for Presentations is now open! Share your expertise in our diverse tracks. Submit your proposal today! Link: sessionize.com/owasp...
#devsecops #SDLC #threatmodeling #AI
#devsecops #SDLC #threatmodeling #AI
Rust unwrap discourse sounds eerily like null pointer exception discourse.
Periodic reminder: the billion dollar mistake was not `null`* per se. It was not statically checking initialization before use.
* - though I prefer option type's unambiguous compositionality
Periodic reminder: the billion dollar mistake was not `null`* per se. It was not statically checking initialization before use.
* - though I prefer option type's unambiguous compositionality
November 19, 2025 at 4:16 PM
Rust unwrap discourse sounds eerily like null pointer exception discourse.
Periodic reminder: the billion dollar mistake was not `null`* per se. It was not statically checking initialization before use.
* - though I prefer option type's unambiguous compositionality
Periodic reminder: the billion dollar mistake was not `null`* per se. It was not statically checking initialization before use.
* - though I prefer option type's unambiguous compositionality
Reposted by Mike Samuel 🟣
Incredible report just released by T4P's Media Bias Meter, with a detailed study of over 50,000 articles showing how the New York Times, BBC, Le Monde, Globe and Mail, and others systematically shielded Israel from criticism during its genocide in Gaza
🧵 Thread
🧵 Thread
MEDIA BIAS METER
© 2025 Media Bias Meter. All rights reserved.
www.mediabiasmeter.com
November 19, 2025 at 2:51 PM
Incredible report just released by T4P's Media Bias Meter, with a detailed study of over 50,000 articles showing how the New York Times, BBC, Le Monde, Globe and Mail, and others systematically shielded Israel from criticism during its genocide in Gaza
🧵 Thread
🧵 Thread
Reposted by Mike Samuel 🟣
The next lab from my tiny systems course is up.
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
November 17, 2025 at 9:11 PM
The next lab from my tiny systems course is up.
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
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