iiinova — where your digital self keeps evolving

Mikey ( @ahdinosaur ) @mikey.nz · 16/04/2026

Oh no, I've fallen down the agentic AI slippery slope. The addiction is real. RIP me. 💀

020

Mikey ( @ahdinosaur ) @mikey.nz · 16/04/2026

Oh no, I've fallen down the agentic AI slippery slope. The addiction is real. RIP me. 💀

010

Mikey ( @ahdinosaur ) @mikey.nz · 12/03/2026

> If the spec defines precisely what a program will do, with enough detail to generate the program itself, this just begs the question: how do you write the spec? Such a complete spec is just as hard to write because just as many details have to be answered www.joelonsoftware.com/2007/12/03/t...

joelonsoftware.com

Talk at Yale: Part 1 of 3

This is part one of the text of a talk delivered to the Yale Computer Science department on November 28. The rest of the talk will be published tomorrow and Wednesday. I graduated with a B.S. in Co…

000

Mikey ( @ahdinosaur ) @mikey.nz · 11/03/2026

the AI code i see always looks good on the first read, until i start editing and i'm like "wait what... why did they do this nonsense?" the same applies to documentation, blog posts, etc. it might look good at first, but then you realize it's not good. so why the hype with the latest models? 👾

110

Mikey ( @ahdinosaur ) @mikey.nz · 11/03/2026

maybe why i'm not yet addicted to AI is that i continue to find that AI writes worse code than me. 💁‍♀️ sure it's fast af, but i care too much about the code itself to be happy with low quality over-engineered slop. 💩 some people care about outcomes, i care about the craft, i care about art. 🎨

210

Mikey ( @ahdinosaur ) @mikey.nz · 11/03/2026

AI is like a slot machine, send the prompt and maybe if you're lucky you get that sweet sweet hit of dopamine. we all know if feels good. if not, just try again! what could go wrong? 🎰

110

Mikey ( @ahdinosaur ) @mikey.nz · 11/03/2026

i love to express my creativity with code. why would i want to give that up? 🤷‍♀️ i resonate with this video: youtu.be/pzkwn3hu1Cc 💯 using AI feels like having someone else play a video game for you so you can get the achievements. but what's the point of playing video games? what are we doing? 😭

youtu.be

I was a 10x engineer. Now I'm useless.

YouTube video by Mo Bitar

220

Reposted by Mikey ( @ahdinosaur )

ncnvrgnt @inconvergent.net · 06/03/2026

LLMs are just good enough at programming to be a problem. and they are more than bad enough at programming to be an even greater problem

172

Mikey ( @ahdinosaur ) @mikey.nz · 19/01/2026

Lol, my friend @noiseissues.bsky.social made this same prediction: gamesbymason.com/blog/2026/mi... I'm somewhat convinced it will happen, especially but not mentioned in the blog: Microsoft's core business is now cloud services, Microsoft's customers are corps. So why not reduce development costs?

gamesbymason.com

🪟 Prediction: Microsoft Is Going To Do The Funniest Thing Imaginable

When you think Microsoft you probably don't think sense of humor. And yet, I'm convinced that Microsoft is going to do a very specific *very* funny thing within our lifetimes.

200

Mikey ( @ahdinosaur ) @mikey.nz · 09/10/2025

Oops, I'm deep in a manic refactor, up against the limits of no-alloc #rustlang. Generic constants everywhere. Praying for a future with the generic_const_exprs feature. 😭 github.com/ahdinosaur/b...

github.com

Experiments with a framebuffer by ahdinosaur · Pull Request #90 · ahdinosaur/blinksy

👩‍🔬 🧪 💥

150

Mikey ( @ahdinosaur ) @mikey.nz · 08/10/2025

"The (software) quality without a name": kieranpotts.com/the-quality-... 💜 I'd recommend anyone to read "The Timeless Way of Building", I really liked that book. Also "A Pattern Language". 📚🏡🌻

kieranpotts.com

The (software) quality without a name

The Timeless Way of Building by Christopher Alexander is a classic text on real-world architecture. In computing, it was influential in the emerging field of object-oriented programming in the late 19...

040

Mikey ( @ahdinosaur ) @mikey.nz · 05/10/2025

For what it's worth though @tantacrul.bsky.social, imo the new logo has the vibes of a soulless corporation, not a lively open source project. I like the blue color and the waveform, I like the vibes of the old logo.

020

Mikey ( @ahdinosaur ) @mikey.nz · 05/10/2025

Wow, Audacity 4 is looking good! Breaks the stereotype of open source. 🎧 I'm hopeful for a new era of open source becoming pro: Blender, OBS, my new fav Kdenlive. I like GIMP and Inkscape, but not sure these are there yet. Any other examples of open source gone pro?

440

Mikey ( @ahdinosaur ) @mikey.nz · 02/10/2025

Oops, I think I broke something. 🧊🌈

020

Mikey ( @ahdinosaur ) @mikey.nz · 30/09/2025

"Poverty doesn't come from nowhere. It's directly caused by this tolerance to wealth inequality" youtu.be/zl_LgDjpzxE #wealthtax #nzpol #ukpol

youtu.be

The first politician on Gary's Economics

YouTube video by Garys Economics

080

Mikey ( @ahdinosaur ) @mikey.nz · 26/09/2025

For an alternative to DHH's Omarchy, I use regolith-desktop.com (on Debian), which I love. 🌔 💜 To me, Regolith (GNOME + i3) is the best balance: things like printers and displays just work, easy to find packages in the Debian / Ubuntu ecosystem, plus I get to use an awesome tiling window manager.

regolith-desktop.com

Regolith Desktop Environment

Productivity focused Ubuntu derivative and desktop environment

010

Mikey ( @ahdinosaur ) @mikey.nz · 26/09/2025

To be clear, you should _also_ still say what you want about DHH, he's got uninspiring opinions on race and gender: web.archive.org/web/20250920... See also: github.com/Plan-Vert/op...

web.archive.org

As I remember London

As soon as I was old enough to travel on my own, London was where I wanted to go. Compared to Copenhagen at the time, there was something so majestic about Big Ben, Trafalgar Square, and even the Tube...

100

Mikey ( @ahdinosaur ) @mikey.nz · 25/09/2025

I miss Feedhack, basically what if OBS was p2p: shared canvas, each peer can add local audio or video. Makes me want to try again in Rust with www.iroh.computer. From the second COVID lockdown: - tube.arthack.nz/w/mkhms1tQgk... - tube.arthack.nz/w/pBhhMN53L7... - tube.arthack.nz/w/6HpjLFTz6k...

tube.arthack.nz

DESTROY the virus WITH lockdown SCIENCE

Live peer-to-peer jam using feedhack.nz. Facebook stream: https://www.facebook.com/groups/arthacknz/posts/2589734861173323/

010

Mikey ( @ahdinosaur ) @mikey.nz · 25/09/2025

Art~Hack went virtual last night 🌈 🥽 🎧 📞 tube.arthack.nz/w/wQQFL5fdxq... Reminds me of the #COVID lockdown days (in New Zealand) when we still met (virtually) every week despite the situation. In those days @noiseissues.bsky.social made Feedhack, now he's made Cyberdoof. #live #music #peertube

tube.arthack.nz

Doof~Hack 2025.09.25 : Boxed In ☐ and Visor 🥽

Party in a virtual world at https://cyberdoof.com/ Visuals made by https://visor.live/ (Apologies for the low quality visuals, compression on compression on compression)

140

Mikey ( @ahdinosaur ) @mikey.nz · 15/09/2025

Yeah, "punishing intellectual" libertarian teen aside, lucky for me my childhood in general was positive, learned feminism from my mom working in corporate America. I turned a new leaf at uni and thankfully had good soil to re-grow from. Now means I can better relate to those carrying toxic ideas. ☠︎︎

010

Mikey ( @ahdinosaur ) @mikey.nz · 14/09/2025

As someone who grew up on 4chan as a despondent highly-online teen, who was inspired to "do it for the lulz", who rejected empathy as making you weak, I'm grateful in my childhood that 4chan wasn't active in meme-ifying politics. Had I grown up on the internet 10 years later, who would I be? 🐸

130

Reposted by Mikey ( @ahdinosaur )

SE Gyges @segyges.bsky.social · 09/09/2025

i do not like low trust society and would prefer a high trust society. this appears to require making society trustworthy

518635

Reposted by Mikey ( @ahdinosaur )

Ben Gatewood @bengatewood.bsky.social · 02/09/2025

I wouldn’t tell anyone if I’d been to @rustforgeconf.com but there would be signs

A cube of LEDs sits next to a small rubber duck

061

Mikey ( @ahdinosaur ) @mikey.nz · 08/09/2025

Big credit to Steam's Proton for making games on Linux just work. That was my last real reason to dual-boot to Windows. My most recent Linux realization is that Kdenlive, the open source video editor, is really good. Like as good as Davinci for what I use. So that's cool.

kdenlive.org

Kdenlive - Free and Open Source Video Editor

Kdenlive is the acronym for KDE Non-Linear Video Editor. It works on Linux, Windows, macOS, and BSD.

000

Mikey ( @ahdinosaur ) @mikey.nz · 08/09/2025

Say what you want about DHH, as a long-time Linux user I support the effort to bring Linux to the masses. It's funny, a week ago I was repeating the joke "this year will be the year of the Linux desktop!!!", but then I realized wait, the Linux desktop is pretty good now, even for newbies.

220

Mikey ( @ahdinosaur ) @mikey.nz · 08/09/2025

TIL that DHH (the Ruby on Rails dude) is all-in on Linux. 🐧 omarchy.org A batteries-included Linux setup for devs, primarily aimed at those switching from Windows or MacOS.

omarchy.org

Omarchy

An opinionated Arch + Hyprland Setup by DHH

121

Mikey ( @ahdinosaur ) @mikey.nz · 31/08/2025

Now I'm absolutely wrecked. Need to seriously recharge my social batteries. 😅 Was surprised by how much I was able to socialize. Since becoming a parent my social anxiety has gone way down, I lost my fucks to give, learned in most situations if you're being authentic there's no wrong answers. 💜

080

Mikey ( @ahdinosaur ) @mikey.nz · 31/08/2025

Also RENEGADE arthack.nz SHOW: - 🎶 Music: @noiseissues.bsky.social aka DESTROY WITH SCIENCE with #Eurorack #synthesizer controlled by Pi sequencer - 🌈 Visuals: www.jackvpurvis.com using visor.live - 🧊 LEDs: Me using blinksy.dev Music and visuals created #live, everything powered by #rustlang.

140

Mikey ( @ahdinosaur ) @mikey.nz · 31/08/2025

I gave a talk: "Rust in Color: Embedded LED Art", showing the power of Rust to make high-level abstractions for low-level applications. 🔴🔵🟢 Slides: ahdinosaur.github.io/rustforge-20... Recording to come out later. Thanks everyone for the positive feedback. 🥰

ahdinosaur.github.io

Rust in Color: Embedded LED Art - Slidev

"## Rust in Color: Embedded LED Art\n\nBeautiful art with LEDs:\n\n> Using **Rust** to write nice code for an embedded _no-std_ _no-alloc_ LED cube.\n\n<https://blinksy.dev>\n"

110

Mikey ( @ahdinosaur ) @mikey.nz · 31/08/2025

@rustforgeconf.com was AWESOME! 🙌 So lucky to be part of a lovely #rustlang conference, here in my home of #wellington, #newzealand. Met lots of interesting people, learned some new Rust, enjoyed sharing my own creative passions. 🦀🥝 Thanks @timclicks.dev for organizing. 💜

1205

Mikey ( @ahdinosaur ) @mikey.nz · 14/08/2025

A friend's view on the way home. 🚗 #Wellington #SH2

000

Mikey ( @ahdinosaur ) @mikey.nz · 10/08/2025

we talk about misinfo on the right, what about misinfo on the left? i'm pretty sure this ain't ICE, but you wouldn't know by the comments. 💁‍♀️

010

Reposted by Mikey ( @ahdinosaur )

Jack @jackvalinsky.com · 20/07/2025

Single #SSB message to QR code for #sneakernet purposes

A screenshot of a terminal window with a dark background. At the top, a command is shown: jack@winesap ~/Software/stammtisch/stammtisch *(feature/sync)*% target/debug/ssb-qr list.

The output of the command is a table with five rows and the following columns: Seq, ID, Type, Timestamp, and Content.

The rows list various message types, such as git-ssb/repository, chess_invite, and hokuu.photo, with timestamps from July 20, 2025. The ID column contains long alphanumeric hashes, and the Content column contains JSON data snippets.

Below the table, a summary line reads, "Showing 5 of 5 total messages," followed by a new, empty command prompt.

A screenshot of a terminal window on a dark background. A large, blocky QR code is displayed in the upper portion of the window using white text characters. Below the QR code is a command prompt which reads: jack@winesap ~/Software/stammtisch/stammtisch *(feature/sync)*% target/debug/ssb-qr pick --seq 2 --encode --terminal.

252

Mikey ( @ahdinosaur ) @mikey.nz · 04/08/2025

hi hello! i facilitated the Rust-y Sunrise Choir, yeah. that's awesome what you're trying to do, good luck! 🌅 btw, have you seen golgi.mycelial.technology? the authors were @notplants.bsky.social and merveilles.town/@glyph.

golgi.mycelial.technology

golgi ssb library

Golgi is an asynchronous, experimental Scuttlebutt client that aims to facilitate Scuttlebutt application development.

110

Mikey ( @ahdinosaur ) @mikey.nz · 27/06/2025

In unrelated news, I've started studying to get an Amateur Radio license. I like the idea of being able to communicate (over long distances) using radio, without the internet. Wish me luck. 🙏

020

Mikey ( @ahdinosaur ) @mikey.nz · 27/06/2025

Joined the Wellington mesh tonight! Communicated with a friend ~60km away, over the Remutaka Range, using Meshtastic (LoRa @ 915Mhz) instead of the internet. 📻 🗻 📶 #solarpunk #meshtastic #decentralization #lora #radio #wellington #mesh

160

Reposted by Mikey ( @ahdinosaur )

Mikey ( @ahdinosaur ) @mikey.nz · 27/06/2025

Woohoo, 3D-native LED animations! 🙆 Made with unreleased version of blinksy.dev, a Rust LED library for embedded micros. 🟥 🟩 🟦 (Music by @noiseissues.bsky.social ) #rustlang #fastled #wled #embedded #creativecoding #opensource #maker

051

Mikey ( @ahdinosaur ) @mikey.nz · 27/06/2025

Do you have (or have access to) a 3d printer? I plan to share a video on how to make one yourself, but won't be for at least a couple months. 💜

010

Mikey ( @ahdinosaur ) @mikey.nz · 27/06/2025

051