Mastodon Feed: Posts

Mastodon Feed

Boosted by pixxl:
mtrc ("Mike Cook") wrote:

New Post: Why I Love AI

Next month it'll be twenty years since I went to university, learned to program, and studied AI. I wrote about why I loved it, why I still love it, and why, unfortunately, it no longer exists.

https://www.possibilityspace.org/blog/posts/i-love-ai/

Five pictures of me from the last 20 years. On the left I'm 18 years old in my first year of university, through to a photo of me from a couple of years ago, and then my glitched out face which has zero subtext and you shouldn't read into.

Mastodon Feed

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Tesla has spent a year building up hype around its "Robotaxi" service. They "expanded" in several cities, they made a specialized shiny car model for it. Tesla fans are acting as if self-driving has been solved a long time ago (it hasn't).

Currently, the service is operating 8 (e-i-g-h-t) cars in Austin. That's all they managed to achieve.

Source: https://electrek.co/2026/09/22/tesla-robotaxi-active-fleet-austin-crashes-8-vehicles/

Mastodon Feed

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

good luck with that… President Bonespurs has created a mighty mess, once again.

https://www.dw.com/en/iran-war-spreads-through-region-as-trump-seeks-way-out/a-79370506?maca=en-newsletter%5Fen%5Fbulletin-2097-xml-newsletter&at%5Fmedium=Newsletter&at%5Fcampaign=EN%20-%20Daily%20Bulletin&at%5Fdw%5Flanguage=en&at%5Fnumber=20260922&r=67475041516289995&lid=4045195&pm%5Fln=355713

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

i was hungry so i quickly threw together spaghetti al aglio e olio.

or whatever the fuck it is, i'm not italian

Mastodon Feed

Boosted by krig@goto.liten.app:
neauoire@merveilles.town ("Devine Lu Linvega") wrote:

This is a reply to an email I wrote that I feel might have some value to others who have asked me similar questions the past.

> Hey I was lurking on lobsters and I saw this post/question "What is still exciting in tech?" And in it there is multiple references about stuff you made, from webring and the fashware list, which raised me a curiosity what would you reply in a question like that? I'm not OP of the post, but I've been following your work consistently for years, but the last years I've been like op loosing hope on tech much because on how clear is becoming that big corps just hate everything besides the money they make.

Hi R,

Before I could make up my own mind about it, I accidentally spoiled it for myself by reading comments, there were some very good replies. Obviously, a lot of the answers align with that which also interests me, seeing folks fight for their right to repair, open hardware, sabotage of AI infrastructure, personal computing explorations, permacomputing, etc. you know the ones.

https://lobste.rs/s/lcjf7c/what%5Fis%5Fstill%5Fexciting%5Ftech

But there is something I'd like to add, first, I am in a very odd position to answer this. I only hear as much of tech as I'm willing to look for. It's not forced onto me through a day job, and nobody close to me is even interested in any of it, so it rarely comes up in conversation; if I'm not actively searching for tech news on my own, I'll miss out entire booms and busts cycles of new operating systems and frameworks and apple conferences and languages and all that.

From where I'm standing, it feels like tech moves at a glacial pace, and once in a while, it feels like it even goes backward a bit. How many months went been between the volume control program was deprecated and fixed in Manjaro? Months. So the question, hasn't even really occurred to me, since everything is still to be done, everything is still broken and everyone is distracted with other things. There is a LOT that excites me in tech, but it's nothing that I can wait for, I can't wait for them because nobody would or even could do them for me.

Someone could make me a new mail client to fix the broken one I use, but it wouldn't help. My appreciation of technologies often relies on my understanding them from a foundational level. In this situation, there's no cheating myself by downloading an app, or changing OS. I guess, my technological journey is like a fitness journey in some sense, sending a robot to workout in my stead defies the whole point, downloading a new version of a program? just delays the inevitable, that I'll have to try to understand it for myself at some point anyways. I can only really appreciate something by understanding how it works.

This is half a curse, and half a blessing. Sure, I'm cursed to reinvent wheel after wheel, but it shields me, at least in part, from the cynicism that says that tech is utterly fucked. I understand why someone would think that, but I can't say that I do, because I'm constantly so excited about what's ahead!

I'm excited to know that I might be on the cusp of understanding something critical to multisets, I'm excited to think that in a few days I might have a better understanding of how to encode numbers in SICs, I'm excited to imagine how that email client I build will work. Each time, someone tries to sell me onto some new gizmo, you know what I do? I secretly implement it in my own little crappy language, see what it's worth, and often enough, it's a genius idea! And knowing that these come regularly is exciting me most of all. So, I'm hyped, because I feel like my work hasn't even begun.

Mastodon Feed

glyph ("Glyph") wrote:

having to dedicate this much energy to "AI policy" is really kind of offensive. I'm glad I've done the hard bit of actually writing the words, but now I probably need to make a stand-alone website for it (ugh) and maybe even register a domain, then update 100 READMEs and contributor guides. it feels like having to create a gigantic lighted "do not shit on my doorstep" sign to prevent all the people wandering in from off the street and shitting on my doorstep

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
nev@status.nevillepark.ca ("Neville Park") wrote:

In the MIT Technology Review, @timnitGebru @emilymbender puncture recent LLM hype and remind us to wait for experts to take a sober second look

Mastodon Feed

Boosted by neatnik@social.lol ("Neatnik :prami:"):
birming@social.lol ("Robert Birming") wrote:

Pika blog by @goodenough ♥️ some.pics by @neatnik = true. With these styles and instructions, you will have a perfectly integrated photo section up in no time. Happy photo blogging! 📸

Pics template: https://birming.paste.lol/pika%5Fsome%5Fpics
Live demo: https://photos.birming.com

#blogging #photography

Mastodon Feed

glyph ("Glyph") wrote:

If it is deployed *in this one specific way* I think it's important not to dismiss it, because "I don't want to think about the problem because I can wave it away with this other problem" is substantially different from "I *have* thought about it and I disagree with your conclusion". This doesn't mean the person is necessarily open to endless sealioning about their moral reasoning either but it does suggest discussion is possible.

Mastodon Feed

glyph ("Glyph") wrote:

I am reserving the tiniest sliver of grace for AI "what about meat" whataboutism, in that a few times now I have heard vegans or vegetarians use "but what about meat" as a shorthand for "I *have* considered the ethical calculus on AI and I think the cost/benefit is one I can live with, I know you find that ridiculous and disagree but I also find your eating of meat ridiculous and I disagree with that".

Mastodon Feed

Boosted by glyph ("Glyph"):
petrillic@hachyderm.io ("Powder Douce Enby") wrote:

If your strategy changes faster than your ability to execute, what you have is not strategy, it’s chaos.

Mastodon Feed

Boosted by glyph ("Glyph"):
kjaymiller ("Jay Miller") wrote:

I'm giving up ownership of my longest running project. To someone that will do a great job of maintaining it.

#python #render-engine

https://kjaymiller.com/blog/im-handing-off-render-engine.html

Mastodon Feed

Boosted by glyph ("Glyph"):
aeva@mastodon.gamedev.place wrote:

i've got the (drawing a blank on the word "audhd") hd audio

Mastodon Feed

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
wizbean@tech.lgbt ("wiztina :blobcat_engineer:") wrote:

I am stunned. This story moved my soul, and has tempered my resolve.
"The Colonization of Confidence" by @WeirdWriter

https://sightlessscribbles.com/posts/the-colonization-of-confidence/

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

Are LLMs the world's best declarative programming engines?

only if you expect your compiler to break your program.

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

morphosyntactic programming: cast, mood and type-directed...

no way that's a real thing, sounds like complete bafflegab

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

Feeding the italian army of WW2

well doesn't that sound like a fulfilling and well-thanked job?

Mastodon Feed

bcrypt@infosec.exchange ("yan") wrote:

because we have free will and soundcloud track IDs are sequential, it's possible to determine the best song ever uploaded to soundcloud by pairwise comparison of randomly selected songs. vote here: https://azuki.vip/bse/

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

"does anyone speak topology in french but also english?"

Mastodon Feed

Boosted by dysfun@treehouse.systems ("gaytabase"):
patrick_massot@mathstodon.xyz ("Patrick Massot") wrote:

Now I have a followup question. It would be nice to have an English version of those lectures notes (this course is actually taught in Frenglish, and some students cannot read the French lecture notes). Of course, if I ask a random colleague how to get that, the answer will be full AI. My question is: is it possible in today’s world to actually get a skilled human being to translate such lecture notes (and get the new source files with full rights to modify them further). If yes, how much would it cost? Depending on the answer, I may be able to get my department to pay for this. But note I’m not asking for a discount price, I’m asking how much it would cost for real, so that the translator could do it with dignity and joy, and the result wouldn’t be worse than an AI translation.

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
MicroSFF@mastodon.art ("Micro SF/F by O. Westin") wrote:

A spaceship landed in the park. A door dilated. An alien emerged with a chair, which they sat down on, backwards.

"Look," they said, "we're not here, okay? You know why nobody contacts you? Because the write-up would be such a pain."

They sighed.

"Get your shit together, okay? We know you can."

#MicroFiction #TootFic #SmallStories

Mastodon Feed

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
theresnotime@fox.nexus ("Sammy Arson Fox ( ?markov )") wrote:

hot bitch with a lot of keysmashing this morning fedi

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
carloangiuli@mathstodon.xyz ("Carlo Angiuli") wrote:

@danielgratzer and I have just released a new version of _Principles of Dependent Type Theory_! This one is a significant milestone: all planned content has been drafted; we do not expect any new sections at this point.

Main changes:
- Added Appendix B on generalized algebraic theories! This resolves some unfinished business from earlier in the book, by proving the "initiality theorem" for ETT/ITT.
- Added a draft of Section 4.4 on observational type theory.
- Removed "solutions to selected exercises", and converted the most important handful of exercises into lemmas with proofs.
- Various improvements to Chapter 6 (categorical semantics).
- Expanded Section 3.6 on undecidability of equality in ETT, including a series of exercises establishing the undecidability of equality in TT with judgmental Nat-eta.

https://www.carloangiuli.com/papers/type-theory-book.pdf

Mastodon Feed

jscalzi@threads.net ("John Scalzi") wrote:

Why? Because fuck you, that's why

https://www.kshb.com/politics/economy/workers-should-brace-for-biggest-health-insurance-cost-jump-in-decades

"Workers should brace for biggest health insurance cost jump in decades"

Mastodon Feed

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
aeva@mastodon.gamedev.place wrote:

@cwebber you ever think about how "audhd" looks like a terse name for a highfi audio thing

Mastodon Feed

jonny@neuromatch.social ("jonny (nonvenomous)") wrote:

Yes this loops, no clearing local storage and cache does not seem to help, I am allowed to look at my email precisely one time per day before some serverside thing expires

Mastodon Feed

jonny@neuromatch.social ("jonny (nonvenomous)") wrote:

Literally how do you fuck this up this badly. The one thing a login page cannot do is immediately log you out.

Attachments:

Mastodon Feed

NfNitLoop ("Cody Casterline 🏳️‍🌈") wrote:

> AI bros do not take “no” for an answer.

https://dbushell.com/2026/09/22/apple-intelligence/

Mastodon Feed

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
mcc wrote:

Living in the era of the AI omni-DDOS is weirdly similar to living in the era of dialup internet. Sites just don't load sometimes. Any cross-site image embedding (what we would come to call "CDNs" in the 00s) it's just a crapshoot whether it loads or takes 30 seconds to load or what, you get used to spotting empty spaces where an image is supposed to be but it didn't load. Search gives nonsense results about 30% of the time. There are no centralized repositories of open source code

Mastodon Feed

cwebber@social.coop ("Christine Lemmer-Webber") wrote:

*sobbing confessional to fediverse into microphone* I'm queer and trans and neurospicy and I have the audhds

does anyone know what these experiences are like. is this relateable