Advertisement Β· 728 Γ— 90

Posts by Mikey ( @ahdinosaur )

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

4 days ago 2 0 0 0

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

4 days ago 1 0 0 0
Preview
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…

> 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...

1 month ago 0 0 0 0
Preview
CodeSpeak: Software Engineering with AI CodeSpeak is a next-generation programming language powered by LLMs. Shrink your codebase 5-10x.

if only we had a formal and deterministic way to tell a computer what to do... πŸ˜…

codespeak.dev

1 month ago 1 0 1 0

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? πŸ‘Ύ

1 month ago 1 0 1 0

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. 🎨

1 month ago 1 0 2 0

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? 🎰

1 month ago 1 0 1 0
I was a 10x engineer. Now I'm useless.
I was a 10x engineer. Now I'm useless. YouTube video by Mo Bitar

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? 😭

1 month ago 2 0 2 0

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

1 month ago 7 2 1 0
Advertisement
Prediction: Microsoft Is Going to Do the Funniest Thing Imaginable | Hacker News

Hacker News comments are not convinced: news.ycombinator.com/item?id=4667...

3 months ago 0 0 0 0
Preview
πŸͺŸ 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.

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?

3 months ago 0 0 2 0
A cartoon of a brown dog wearing a small hat sitting calmly at a table while the room around him is engulfed in flames. The dog looks unconcerned, with large, wide eyes. In the second panel, the dog says, β€œThis is fine.”

A cartoon of a brown dog wearing a small hat sitting calmly at a table while the room around him is engulfed in flames. The dog looks unconcerned, with large, wide eyes. In the second panel, the dog says, β€œThis is fine.”

🟩

6 months ago 3 0 0 0
Preview
Experiments with a framebuffer by ahdinosaur Β· Pull Request #90 Β· ahdinosaur/blinksy πŸ‘©β€πŸ”¬ πŸ§ͺ πŸ’₯

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...

6 months ago 5 0 1 0

How decentralized is Bluesky really ❓

dustycloud.org/blog/how-dec...

6 months ago 1 0 0 0

How decentralized is Bluesky really?

dustycloud.org/blog/how-dec...

6 months ago 0 0 0 0
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...

"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". πŸ“šπŸ‘πŸŒ»

6 months ago 4 0 0 0

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.

6 months ago 2 0 0 0

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?

6 months ago 4 0 4 0
Advertisement
Video

Oops, I think I broke something. 🧊🌈

6 months ago 2 0 0 0
The first politician on Gary's Economics
The first politician on Gary's Economics YouTube video by Garys Economics

"Poverty doesn't come from nowhere. It's directly caused by this tolerance to wealth inequality"

youtu.be/zl_LgDjpzxE

#wealthtax #nzpol #ukpol

6 months ago 8 0 0 0
Regolith Desktop Environment Productivity focused Ubuntu derivative and desktop environment

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.

6 months ago 1 0 0 0
Preview
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...

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...

6 months ago 0 0 1 0
Preview
DESTROY the virus WITH lockdown SCIENCE Live peer-to-peer jam using feedhack.nz. Facebook stream: https://www.facebook.com/groups/arthacknz/posts/2589734861173323/

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...

6 months ago 1 0 0 0
Preview
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)

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

6 months ago 4 0 1 0

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. ☠︎︎

7 months ago 1 0 0 0

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? 🐸

7 months ago 3 0 1 0
Advertisement
2 dangerous women force you to lock in with tech house mix that's brutally deep
2 dangerous women force you to lock in with tech house mix that's brutally deep YouTube video by ackerlady

youtu.be/xsyk-Xmr6wQ?...

7 months ago 488 22 32 2

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

7 months ago 187 35 7 2
A cube of LEDs sits next to a small rubber duck

A cube of LEDs sits next to a small rubber duck

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

7 months ago 6 1 0 1
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.

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.

7 months ago 0 0 0 0