Michael Kohl
banner
citizen428.net
Michael Kohl
@citizen428.net
Your friendly neighborhood anarcho-cynicalist. I do things with computers and occasionally succeed. 🇦🇹 in 🇹🇭 since 2013. Fan of 1990s pop culture. I delete old posts.

I'm more active on Mastodon: https://chaos.social/@citizen428
Pinned
Reposted by Michael Kohl
🤔 What if there were a conference without talks? Just hanging out with OSS maintainers & builders, seeing what they’re working on, and learning cool stuff by actually talking to people.

🤯 What if hallway track turned into the whole event!

💡 @tannerlinsley.com is exploring it. Interested? ⬇️
Web Forge Conf - A new kind of web developer conference
A community funded, not for profit event built for creators and the developers who use their work. Less stage. More story. All signal.
webforgeconf.com
November 13, 2025 at 9:36 AM
Replacing workers with robots controlled by underpaid operators in developing countries: the billionaire techbro’s wet dream.

https://restofworld.org/2025/philippines-offshoring-automation-tech-jobs/
Japanese convenience stores are hiring robots run by workers in the Philippines
Filipino tele-operators remotely control Japan’s convenience store robots and train AI, benefiting from an uptick in automation-related jobs.
restofworld.org
November 10, 2025 at 1:53 AM
"Ironclad is a (partially) formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software."

https://ironclad-os.org/
Ironclad
Ironclad is a free software formally verified kernel written in SPARK/Ada
ironclad-os.org
November 9, 2025 at 4:17 PM
Huh, I was so used to always using Jane Street's Base when writing #ocaml that I haven't looked at the stdlib in a very long time. Turns out it's pretty usable now. Just updated some code and it wasn't that much effort, especially thanks to the ListLabels module. Good to keep in mind going forward.
November 1, 2025 at 5:16 PM
Reposted by Michael Kohl
November 1, 2025 at 10:51 AM
I’m currently halfway through season 3 of my #Babylon5 rewatch. A fascist president using a paramilitary organization and xenophobia to become dictator is not that different from watching the news though. This was supposed to be entertaining ☹️
November 1, 2025 at 9:28 AM
Consistently being able to quickly output an image in the terminal turns out to be a major headache for people who use different terminal emulators on different systems. This zsh function is my current best attempt (code in alt text).

#terminal #productivity
October 31, 2025 at 4:34 AM
Space Exploration Logo Archive
Space Exploration Logo Archive
spaceexplorationlogoarchive.webflow.io
October 30, 2025 at 7:40 AM
I like consistent colors in my terminal, and I like #OCaml, so I threw together a quick Nord color scheme for utop:

git.sr.ht/~citizen428/nord-utop
October 29, 2025 at 5:52 PM
3. F# — I have no specific need to target .NET, so I just use OCaml, even though I miss some F# features like active patterns
October 29, 2025 at 6:16 AM
"What if the speed of sound were as fast as the speed of light?"

https://www.livescience.com/what-if-speed-of-sound-sped-up
What if the speed of sound were as fast as the speed of light?
Simultaneous thunder and lightning is only the beginning.
www.livescience.com
October 29, 2025 at 6:04 AM
Interesting:

reddwarf.app

"Red Dwarf is a Bluesky client that does not rely on any Bluesky API App Servers. Instead, it uses Microcosm to fetch records directly from each users' PDS (via Slingshot) and connect them using backlinks (via Constellation)"

#atproto #decentralization
Red Dwarf
an appview-less Bluesky client using Constellation and PDS Queries
reddwarf.app
October 29, 2025 at 4:31 AM
If you're looking for a TUI email client, I can heartily recommend aerc.

https://aerc-mail.org

I recently made the switch from NeoMutt and am very happy with it.

#productivity #terminal
October 26, 2025 at 2:16 PM
“Hacking Formula 1: Accessing Max Verstappen's passport and PII through FIA bugs”

#infosec #f1
https://ian.sh/fia
Hacking Formula 1: Accessing Max Verstappen's passport and PII through FIA bugs
We found vulnerabilities in the FIA's Driver Categorisation platform, allowing us to access PII and password hashes of any racing driver with a categorisation rating.
ian.sh
October 26, 2025 at 5:10 AM
Doctor Bashir: You know, Commander... having seen a little of the 21st century, there is one thing I don't understand: how could they have let things get so bad?
Commander Sisko: That's a good question. I wish I had an answer.

#StarTrek #DS9 , episode "Past Tense, Part II"
October 25, 2025 at 3:40 PM
Reposted by Michael Kohl
So now Mark’s creeper specs do what they are intended to do and the company can claim users are circumventing the “guardrails” and violating the TOS. Everyone gets what they want, except for the rest of us, who get screwed.
New: a $60 mod to Meta's Ray-Ban glasses disables the privacy LED light. This is supposed to light when people are filming with the glasses. We bought the mod, verified it works. Now you can never be sure whether someone wearing Meta Ray-Bans is filming you or not
www.404media.co/how-to-disab...
A $60 Mod to Meta’s Ray-Bans Disables Its Privacy-Protecting Recording Light
Meta’s Ray-Ban glasses usually include an LED that lights up when the user is recording other people. One hobbyist is charging a small fee to disable that light, and has a growing list of customers ar...
www.404media.co
October 23, 2025 at 1:11 PM
Got my first PR to @tangled.org merged. A tiny change, but a good way to slowly familiarize myself with the codebase.
Add alt text to follow card #696
Closes https://tangled.org/@tangled.org/core/issues/266. Adds the username as `alt` attribute to the follow card.
tangled.org
October 22, 2025 at 4:30 PM
Reposted by Michael Kohl
Newsletter: Anatomy of a crypto meltdown

October 2025 brought the most dramatic crypto flash crash of all time, but it was only a dress rehearsal for the systemic crisis the industry is building toward.

www.citationneeded.news/anatomy-of-a...
Anatomy of a crypto meltdown
October 2025 brought the most dramatic crypto flash crash of all time, but it was only a dress rehearsal for the systemic crisis the industry is building toward.
www.citationneeded.news
October 17, 2025 at 9:18 PM
"How I Reversed Amazon's Kindle Web Obfuscation Because Their App Sucked"

https://blog.pixelmelt.dev/kindle-web-drm/
How I Reversed Amazon's Kindle Web Obfuscation Because Their App Sucked
As it turns out they don't actually want you to do this (and have some interesting ways to stop you)
blog.pixelmelt.dev
October 22, 2025 at 12:39 PM
Just wasted an hour before I realized that you can't just start sshd on macOS the normal way if you use nix-darwin. 🤦‍♂️
October 21, 2025 at 6:21 PM
After the shocking news of Daniel Naroditsky**'s** untimely death at only 29, agadmator remembers him with this review of one of his great games. RIP Danya!

https://www.youtube.com/watch?v=4Uitl2inW5g

#chess
- YouTube
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
www.youtube.com
October 21, 2025 at 3:51 PM