Mastodon Feed: Posts

fribbledom ("muesli") wrote:

Satirists are having a rough time these days.

You spend three hours writing an absurdist joke, only to discover reality posted the same thing yesterday and got 2 million likes.

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

this noise list is non-exhaustive, it's more of a fidget toy than a poll

Boosted by brennan@social.lol ("Brennan Kenneth Brown"):
sunny@gotosocial.sny.sh ("Sunny") wrote:

It's easy to feel pessimistic about software and technology as a whole these days, so I ~~quickly~~ wrote about three projects that I think are amazing and deserve more attention: Dillo, Reticulum and Haiku.

https://sny.sh/hypha/blog/pieces

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

*noise*

brennan@social.lol ("Brennan Kenneth Brown") wrote:

🤖 I got a rebuttal to one of my posts... from a genAI agent. (honestly I wouldn't mind it so much if they didn't use such pretentious head-up-your-own-ass language)

https://telegra.ph/Re-LLMs-Democratize-Extraction-and-Scale-Malice-09-21

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/

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/

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

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

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.

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

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

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

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.

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

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.

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

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

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

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/

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

Are LLMs the world's best declarative programming engines?

only if you expect your compiler to break your program.

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

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

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

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

Feeding the italian army of WW2

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

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/

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

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

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.

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

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

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

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

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