Mastodon Feed: Posts

cstanhope@social.coop ("Your weary 'net denizen") wrote:

Once again feeling vindicated for staying a version behind Fedora's latest.

(Not that there's anything particularly wrong with Fedora's latest offerings, but at this point in my life, I have to let other people scout out and report problems and figure out workarounds. Also I really need to get off Fedora.)

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
randahl ("Randahl Fink") wrote:

A man from South Africa who has migrated to the United States, now wants Americans to kick migrants out of the country.

Make it make sense.

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
VeroniqueB99 ("Vee") wrote:

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
koen_hufkens ("Koen Hufkens, PhD") wrote:

RE: https://mastodon.energy/@Sustainable2050/116982434655513966

Mitigating climate change was expensive they said. People wouldn't want to be burdened by the costs. Above all, industry does not want to contribute their fair share.

Count your pennies, the bill of (adapting to) climate change effects will be worse than the one mitigating it. (FYI this was all predicted in 2006 - see Stern review)

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

Wow.

RE: https://www.threads.com/@trysta%5Fkrick/post/DbPSl7xjL9H

baldur@toot.cafe ("Baldur Bjarnason") wrote:

Almost forgot to add the photos themselves. These are from a new path that was made in the reforestation area to the north of the town to a small grove called Ísakslundur that wasn't really accessible before

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

anyway i am quite happy, because the floor for type system i can have is now HKT. that's really not a terrible place to be, even if i'd like somewhat more

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
ah@goto.boserup.eu ("asta") wrote:

Ding dong the commit is gone.

brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:") wrote:

platypus now has a hat, that should help with the faceblindness

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
kuriko@wetdry.world wrote:

there’s two type of life activities, vibing and following instructions

rave? vibe. tax forms? following instructions. gardening? vibe. rhythm games? following instructions

despite looking like following instructions, cooking is vibe

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
parisba@cloudisland.nz ("Dr Paris (he/him)") wrote:

librarians are always the coolest

https://techcrunch.com/2026/07/25/librarians-are-hosting-viral-avoiding-ai-workshops-for-people-who-are-fed-up-with-big-tech/

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

my main takeaway is that FP people are frankly baffled by the idea that HKT might be slow because there is no good reason to think that.

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

okay the working theory is that actually, HKTs are basically free, provided you are already trying to have a vaguely proper type system.

and that they probably would be slow in rust because rust already just likes to throw many templated copies of stuff at llvm

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
obtener@mastodon.world ("Georgiann Baldino") wrote:

#Science #ClimateCrisis #AISlop

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

RE: https://mastodon.social/@deech/116986804037160449

dear types people, this is a very interesting thought and i am inclined to believe it. however, it strikes against the lore of compiler developers that i've absorbed over the years, with the conventional answer being that HKT is just inherently slow.

i'm not sure i've ever believed it was that slow, but clearly there is more to do to check the types.

my question: what can we have that will be fast and not beyond me to implement?

like i feel confident i could knock up a hindley-milner style arrangement, but i do not feel confident that i could implement a proper and useful type theory (which i would have to design first in any case...)

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
shaedrich@mastodon.online ("Zuri (he/him) ❌️👑 | 🕐 CET") wrote:

Is there a job portal/network for the #noAI, #neoLuddites crowd?

#FollowerPower #getFediHired #FediHelp #jobSearch

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
geekysteven@beige.party wrote:

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
spiosra@sylfox.one ("Spíosra") wrote:

@patcharcana I read somewhere a good point that one of the key problems which FOSS in general has sidestepped from inception (maybe because it's not clear how to affect the possibility) is - and I roughly paraphrase - how can we make it easier for anyone to make changes to and deploy the software.

I think the same applies to self-hosted tech too. The problem of actually permitting the possibility has largely been seen as a secondary issue, despite the underlying principles of both open source and the Web naïvely assuming that self-deployment and user-modification as a taken for granted and fundamental action.

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

in today’s NY Times

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

Also, as someone whose own blog is coming up on their 28th anniversary in two months, I really encourage people to have their own spaces on the internet that they own and control, away from social media sites controlled by billionaires and algorithms. My site has seen the rise and fall of several generations of social media, from AOL onward. It's the one place anyone will always be able to find me.

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

(coughs discreetly)

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

there is a temporary irc channel ##dysfunlang on liberachat for now if people want to discuss ideas.

brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:") wrote:

Finally wrote up my post about how I feel about LLMs. I hope this resonates; it was not easy to write and took a lot of re-drafting.

https://theweeklymiscellaneous.co.uk/posts/2026/07/large-language-models-in-2026/

I hope this wraps up my (inadvertant) series of LLM posts, I can't really write about it much further. Next idea I have for a post is to write up some of my gamedev work.

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
mastodonmigration@mastodon.online ("Mastodon Migration") wrote:

RE: https://mastodon.online/@mastodonmigration/116984404932257367

So, this guy is not a slick polished pol, but if you actually listen to his speech you can understand why he ran away with the nomination. Why he will trounce Susan Collins. And, why Chuck Schumer is terrified of him and the Progressive Democratic movement. #WeThePeople are rising, and we are coming for their jobs.

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

some of these brave men survived. this one was a teenager when he volunteered.

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

when i started writing gnt, i was thinking more green threads than actors tbh, but the way it evolved, i realised actors are actually just a good way of doing it from a performance perspective.

this did surprise me a bit, because i have written quite a lot of erlang and it is not what you'd call blazing 🔥 fast 🚀, even if you had no sense of irony.

that it comes with a nice programming model attached is pretty gravy. you can write synchronous-looking programs and get it all async.

baldur@toot.cafe ("Baldur Bjarnason") wrote:

So this is a very short quick and dirty, if a bit silly, video where I talk about the place I'm in with the photos I just took, laid out over the audio.

Attachments:

• video: A video of stills over a soundtrack of somebody (me, I'm the somebody) talking about trees and a grove.

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

okay apparently people like the idea of 'low level erlang'. yeah, so do i.

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

oh yeah, for new followers: please do jump into my responses with comments when i do these tech monologues, it gives me things to think about.

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

the only cost i don't like with stackful coroutines is allocating stacks. i have integrated stack watermarking in gnt to help you measure the actual depth your stacks get to in practice, but with compiler support we could do much better than that. just probably not with any of the existing compilers...

otherwise, well spawning an actor is literally under 20 cycles on my machine when branch predicted correctly. this is not your bottleneck and i don't think it takes much polling to make up for it.