Mastodon Feed: Posts

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

lol, if potential contributors are deterred by a ban on ai contributions, that's almost certainly a good thing, why the hell would you think otherwise?

Boosted by dysfun@treehouse.systems ("gaytabase"):
joshchen@types.pl ("Josh Chen") wrote:

https://github.com/agda/agda/pull/8507

"We are concerned by these developments", "negative effects of large language
models (LLMs) on many individuals, our society, and our planet", "surveillance, censorship, discrimination, labor violations, climate and ecological impact, impact on the hardware market, and centralization of power by Big Tech"

Here's the thing: the actual honest statement is more along the lines of "DESPITE these negative externalities, some of the core team are not willing to develop Agda without the use of LLMs".

Maybe this is counterintuitive, but I am much less inclined to feel judgey about such a statement, than about one which pays lip service to negative externalities while obviously not caring about them in any meaningful way.

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

With a friend or rando, you can just say "Hey, can you stop wasting my time with that?" or ask "Are you interested in a genuine conversation here? Or should we stop talking?"

But at work, where LLM mandates are becoming commonplace, ...

Boosted by glyph ("Glyph"):
mcc wrote:

RE: https://c.im/@blueorangeblue/116416264014964812

In the primitive hobbitsian state, there is no government or source of moral authority, and persons revert to a primitive state of taking long lunches and lots of naps

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

Imagine you're having a text chat with someone about whether you should paint your bike shed red or blue. You type out a couple bullet points to make your case. Then they copy-paste 5 paragraphs of AI drivel to make their point.

They haven't even had time to read it themselves, much less write it, but they expect you to rebut it.

Wouldn't that feel like a big "fuck you"?

It feels the same when someone asks me to review AI generated code.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
pq1r@tech.lgbt ("Arik") wrote:

@kirtai @soatok There can't be an organised transition, since there's just no way to force the Internet at large to transition to another protocol.

But today, finally, after 27 years since its drafting and almost 9 years of it being a proper standard, it's ubiquitous at the OS software stack level, at least for anything that's not a cheapo IoT device (which is a bit ironic since IPv6 was supposed to solve the emergence of a multitude of IoT devices).

My ISP provides IPv6 out of the box and when I check my currently established connections on this box, I only have IPv6 connections to addresses external to my local network. Pretty cool.

I think the only reason IPv6 is not adapted sooner is because we keep inventing ways to avoid doing it because of some perceived need for backward compatibility. I think that this is a self perpetuating problem - hosts won't configure for IPv6 because IPv4 still exists, and that keeps the demand for IPv4 going.

soatok@furry.engineer ("Soatok Dreamseeker") wrote:

Yeah, Fedi has its problems.

But at least most folks are good about using the CW feature most of the time.

(I can't comment on alt-text usage on either community, but I'd imagine it's more commonly used here.)

Boosted by slightlyoff@toot.cafe ("Alex Russell"):
volts.wtf@bsky.brid.gy ("David Roberts") wrote:

Guess who's winning the war? "The world’s top 100 oil and gas companies banked more than $30m every hour in unearned profit in the first month of the US-Israeli war in Iran..."

$30m an hour: big oil reaping ...

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
privacyguides@neat.computer ("Privacy Guides") wrote:

ICYMI, be sure you catch our interview with Cindy Cohn, @eff Executive Director and prolific civil liberties attorney in the fight for digital rights.

Cindy sat down with us in Ann Arbor, MI to discuss her work, the origins of the EFF, her latest book “Privacy’s Defender,” and the still-ongoing fight for privacy and digital liberties 💪

Watch now: https://youtube.com/watch?v=-PFv0ki3nDc

#EFF #Interview #PrivacysDefender #CindyCohn #DigitalRights #Privacy #Security #Law

soatok@furry.engineer ("Soatok Dreamseeker") wrote:

The cool thing about bsky being down practically all day is I didn't have to accidentally observe completely untagged content for other people's kinks that squick me, which (due to not being tagged) bypasses my muted word list.

So who's to say if it's good or bad?

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
Heliograph@mastodon.au wrote:

yes :Froglet:

Gargron ("Eugen Rochko") wrote:

Here’s a snippet of the first track.

#vinyl #NowPlaying

Attachments:

• video: A pink translucent LP spinning on a record player playing The Wasteland by The Dear Hunter.

Gargron ("Eugen Rochko") wrote:

My pink LP of #TheDearHunter’s new album Sunya finally arrived!

#vinyl #NowPlaying

Boosted by jwz:
flexghost ("flexghost.") wrote:

I know.

I thought it was fake too.

It’s real.

Here’s Pete Hegseth at the Pentagon quoting the Bible verse …from Pulp Fiction

Attachments:

• video: Side-by-side clip Pete Hegseth Samuel L Jackson

Boosted by ChrisWere@toot.wales ("Chris Were ⁂🐧🌱☕"):
chris@video.thepolarbear.co.uk ("Chris Were but on PeerTube") wrote:

Thoughts on leaving YouTube, and moving away from big tech...again

https://video.thepolarbear.co.uk/w/g75gRtk2tmKyFGxa5fNPJT

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
ireneista@irenes.space ("Irenes (many)") wrote:

@samir @soatok someone we know who has a bit more context said it's a serious proposal from an unserious person, which does explain it

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
technomancy@hey.hagelb.org wrote:

welcome to the resistance, #clojure

https://clojure.org/dev/contributor%5Fagreement#%5Fno%5Fgenerated%5Fcode

jwz wrote:

Some asshat out here calling themselves an "ethical AI vegan" because they only use corporate AI tools in "uwu smol" ways, and, I dunno, I guess they do a land acknowledgment before they boil a lake or whatever.

If anyone is an "AI vegan" it's me -- I don't use these tools at all, ever, because they are unethical. Telling me that they are delicious is not going to make them ethical.

Also, I will endlessly berate you about your use.

That's veganism, you're welcome.
https://jwz.org/b/yk6V

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
trashheap@tech.lgbt ("trashHeap :hehim: :verified_gay:") wrote:

Remembering, and really feeling that bit from Douglas Adam's "Life The Universe and Everything" :

He had just had a wonderful idea about how to cope... ... He stood up straight and looked the world squarely in the fields and hills. To add weight to his words he stuck the rabbit bone in his hair. He spread his arms out wide.

‘I will go mad!’ he announced.

‘Good idea,’ said Ford Prefect....

#DouglasAdams #HitchhikersGuideToTheGalaxy #H2G2 #LifeTheUniverseAndEverything

Boosted by jwz:
ghibli@beep.town ("Studio Gifli") wrote:

Attachments:

• gifv: Quiet down! You're scaring the baby.

Boosted by jwz:
oneunderscore__@threads.net ("Ben Collins") wrote:

The Onion: Get your RFK Jr. news a month early.
#RFK Jr

Boosted by jwz:
ianbetteridge@vivaldi.net ("Ian Betteridge") wrote:

Soooo... you're complaining about the noise from a nightclub that's been open for forty years when you bought a flat opposite eight years ago?

Why am I unsurprised this guy is a property developer?

https://www.theguardian.com/technology/2026/apr/16/man-pleads-guilty-ai-false-statements-shut-down-london-nightclub-heaven

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
nonehitwonder@tenforward.social ("None Hitwonder") wrote:

I want to take a break from talking about how awful everything is to show some love and appreciation for the greatest character in all of Star Trek.

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
cwebber@social.coop ("Christine Lemmer-Webber") wrote:

Well this is truly bad. US national level OS-level age verification bill. https://www.congress.gov/bill/119th-congress/house-bill/8250/all-info

The text of it isn't out yet.

EDIT: Well the text is now out and it's as bad as you could imagine. It's not even just that you need to verify your age to access a website... operating systems must verify your age to let you *use a computer at all*

EDIT EDIT: Thanks to @Andres4NY for pointing out that it also holds responsible anyone who has any software shipped on the operating system of a computer, meaning FOSS developers eveywhere

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
mttaggart@infosec.exchange ("Taggart :ifin:") wrote:

@campuscodi FYI, this thing is almost certainly slop. Also see the nonexistent OAuth8 (??) and other proposed specs, none of which exist.

Boosted by jwz:
jaredlholt.bsky.social@bsky.brid.gy ("Jared Holt") wrote:

woman hired to say "yes sir" to Elon Musk and post stuff like "What's everyone's favorite coffee?? ☕ I love conversation!!🥰🥰" absolutely petrified at the thought of paying more in taxes

Boosted by jwz:
jaredlholt.bsky.social@bsky.brid.gy ("Jared Holt") wrote:

Zohran Mamdani said he's going to start taxing rich people who buy luxury housing in NYC but don't actually live in there, and the former CEO of Twitter/X called it "actually one of the scariest things I have ever seen."

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

Wild, a database of the dynamic range of over 191,000 albums.

https://dr.loudness-war.info/

Kind of like citizen science but about a very specific (and annoying) aspect of commercial recordings.

rust@social.rust-lang.org ("Rust Language") wrote:

Rust 1.95.0 has been released! 🌈 🦀✨

This release includes cfg_select!{}, if-let guards in match,
Vec::push_mut, VecDeque::push_{front,back}_mut, std::hint::cold_path, and more!

Check out the blog post for details: https://blog.rust-lang.org/2026/04/16/Rust-1.95.0/

Boosted by jwz:
pathunstrom@ngmx.com ("Piper Thunstrom") wrote:

Advice for community managers:

Use the Olivia Hill rule.

It's surprisingly easy to enforce:

Fascists get really upset and will talk to you about why the rule is bad.

You then ban them.

That's it, that's all the work it takes!