Mastodon Feed: Posts

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

maybe @davidgerard would like to cover the fash bootlicking in the proof assistant space? there sure is a lot of it going on.

more reason for idris not to consider itself a proof assistant, i guess

Boosted by aredridel@kolektiva.social ("Mx. Aria Stewart"):
Daojoan ("JA Westenberg") wrote:

Thank you for being a valued Streaming Service+ subscriber. Your monthly plan is increasing from $9.99 to $24.99. This price adjustment reflects our continued investment in canceling your favourite shows after one season, removing titles from the library without warning, and building a worse user interface. Note: Your tier now includes ads. To remove them, upgrade to our new Ultra Premium Platinum plan ($39.99/mo). Btw your password can no longer be shared with the people you live with.

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

RE: https://types.pl/@amy/116410578096025767

agda offers the unique opportunity to lick fash boot, totally unlike all the other theorem provers who love the fash boot.

Boosted by slightlyoff@toot.cafe ("Alex Russell"):
legoktm@wikis.world ("Kunal Mehta") wrote:

I would've been shocked if a *jury* didn't find #Ticketmaster guilty

https://apnews.com/article/live-nation-ticketmaster-antitrust-trial-f0ffdd20dd4f64e8b4bb9d97134b826f

Kudos to the (lowercase) united States for sticking with the case after the (uppercase) United States tried to corruptly cut a deal.

Now it's time for remedies!

slightlyoff@toot.cafe ("Alex Russell") wrote:

@zkat Bad manners for sure.

Boosted by adele@social.pollux.casa ("Adële 🐁"):
CoMaps@floss.social ("CoMaps - Hike, Bike, Drive") wrote:

We have recently received a trust score by 9.6 out of 10 from "European & Open Source Alternatives", a website that wants to help people find trustworthy alternatives to Big Tech.

With that stellar rating, we are currently the top-rated alternative in the Maps category, side-by-side with our friends from #OpenStreetMap ❤️

Check out how that score was calculated for us, and other map alternatives here: https://european-alternatives.cloud/en/browse?category=maps

Boosted by adele@social.pollux.casa ("Adële 🐁"):
benpate ("Ben Pate 🤘🏻") wrote:

The beauty of the Fediverse, to me, is our rich diversity of experiences, abilities, and needs.

Everyone brings something unique of themselves into this place, and everyone needs something different from it.

That is a strength, not a weakness. Many come here with expectations that are different from mine ~ on any number of topics: AI, encryption, money, and more.

None of us are “wrong“.. we all just need different things from this place.

And that is beautiful.

pzmyers@freethought.online ("pzmyers 🕷") wrote:

Zebra jumper, with nameless dead Diptera.

https://freethoughtblogs.com/pharyngula/2026/04/15/hunting-season-has-begun/

Boosted by slightlyoff@toot.cafe ("Alex Russell"):
Techmeme@techhub.social wrote:

A jury finds that Live Nation and Ticketmaster illegally maintained monopoly power in the ticketing market, in a case brought by state AGs after the DOJ settled (NBC News)

https://www.nbcnews.com/business/consumer/livenation-illegally-monopolized-ticketing-market-jury-antitrust-trial-rcna273714
http://www.techmeme.com/260415/p39#a260415p39

zkat@toot.cat ("Katerina Marchán") wrote:

ominous "something happened here"

Boosted by adele@social.pollux.casa ("Adële 🐁"):
darth@silversword.online ("Linux Renaissance 🇭🇷") wrote:

For *BSD fans, I wish to understand something that truly bothers me.

You are a fan of one or more BSD os. Is that BSD (doesn't matter which one) your daily driver, your primary OS on your main computer?

#BSD #FreeBSD #OpenBSD #NetBSD

Boosted by adele@social.pollux.casa ("Adële 🐁"):
keepandroidopen@techhub.social ("Keep Android Open") wrote:

RE: https://infosec.exchange/@muntashir/116372607911622394

Google's assault on F-Droid has begun. They are permitting malicious actors to claim other people's apps and take them over. As we've warned, this is going to destroy F-Droid and independent app distribution around the world. Speak out and help stop them at https://keepandroidopen.org. #keepandroidOpen

zkat@toot.cat ("Katerina Marchán") wrote:

like jesus fuck I'm not even ragging on LLMs or fighting anyone. I'm literally just saying "this is not the space for this discussion" and marking replies as off-topic, including my own responses to them, so as not to detract from the completely unrelated issue.

Boosted by adele@social.pollux.casa ("Adële 🐁"):
roblen@microblog.at ("Robert Lender") wrote:

#smolweb oder das schlanke Web

Beschreibung (übersetzt): Heutzutage sind die Hardware-Ressourcen unserer privaten Geräte im Grunde genommen überdimensioniert, um aufgeblähte Websites zu bewältigen. Wenn wir Webdesigner dazu anregen, zu einem schlankeren Web zurückzukehren, könnten kleine Geräte wie alte PCs, alte Smartphones, Retro-Geräte und kleine Boards wieder nutzbar werden.
Das ist das Ziel des „Smolweb“-Konzepts.

Mehr dazu unter https://smolweb.org/index.html

zkat@toot.cat ("Katerina Marchán") wrote:

some nerd: "I just want to have a discussion about LLM use in your project"
me: "this is not the place to be having that discussion. I have already established a boundary"
some nerd: "I am offended that you are not having this discussion right here, on my terms"

fuck you, this is my own damn repo

this is literally on one of the 1 or 2 open source projects I'm still willing to maintain at any level. Just absolutely not giving me any reason to keep doing open source at all. Fuck all of these people, and fuck open source.

Boosted by adele@social.pollux.casa ("Adële 🐁"):
knasman@fosstodon.org ("Keith Nasman") wrote:

I just added some little cgi scripts to my gemini capsule. I'd love a little feedback from any geminauts out there.

gemini.nasman.us

#GeminiProtocol #SmolWeb

glyph ("Glyph") wrote:

(I'm also using scare quotes there because changes to the mind are just neuroplasticity and that's a good thing, "brain damage" in this context is not a clinical observation like some kind of blunt-force trauma but a value judgement on the kind of changes *I* don't like, personally, as someone who is not undergoing them.)

Boosted by glyph ("Glyph"):
jplebreton ("JP") wrote:

They want you to feel comfortable, no matter how close you are to the kill line, and willing to let others die to preserve that comfort. They want you to feel mature and sensible and pragmatic for being so. Your outrage and grief and hope and compassion are weapons and they want you to disarm yourself.

Boosted by glyph ("Glyph"):
jplebreton ("JP") wrote:

They want you to feel like you've already lost and just need to make the best of it. They want you to believe there's nothing you can really do for your friends, family, neighbors, coworkers, students, fellow citizens, humans. They want you to feel like once you've "made it" - from renter to owner, contractor to full time, pedestrian to driver, nontenured to tenured - that there's nothing so wrong with the world it's worth sticking your neck out.

glyph ("Glyph") wrote:

RE: https://mastodon.social/@grimalkina/116410267466134747

I am, personally, really worried that AI might in fact cause something like "brain damage". Informally, I have seen manic behavior, risk-taking, and troubling personality changes from some heavy users, and I've seen similar things reported in the press. I think it's something we should worry about. But I co-sign this take enthusiastically because so many "studies" are framing "we made a task easier, and then people rationally invested less in learning that task" as some scary injury

Boosted by jwz:
pluralistic@mamot.fr ("Cory Doctorow") wrote:

@glyph @cstross @mitch @lasagne

As Trashfuture's Riley Quinn and November Kelly said on this morning's Trashfuture, American politics is a game with two health-bars: "racism" and "the number on the gas pump." They can be traded off for one another to a limited extent, but if you let either one dip too low, you are about to lose an election.

Boosted by glyph ("Glyph"):
grimalkina ("Cat Hicks") wrote:

Task avoidance is pretty much exactly what several hundred studies are claiming is "brain damage" re: how people are using AI. Do I think the default uses of these tools is necessarily great for learning, no; do I think they're designed well, lol, I hardly think any products are designed well

Boosted by glyph ("Glyph"):
grimalkina ("Cat Hicks") wrote:

A note on how we frame effects & causes. As many of you know, I and collaborators have studied Code Review Anxiety. We even did an empirical intervention on it. We documented the sizable negative effect that experiencing a hostile code review can have on how a developer faces their future work tasks

Boosted by adele@social.pollux.casa ("Adële 🐁"):
adele@social.pollux.casa ("Adële 🐁") wrote:

The Fediverse deserves a dumb graphical client

I love the Fediverse. I have been on it for years, and it remains the only social network where I actually enjoy spending time. No algorithmic feed pushing outrage, no dark patterns, no surveillance capitalism. Just people talking to each other over an open protocol.

But every time I wanted to recommend it to someone, I ran into the same wall: the clients are heavy. Mastodon's web interface ships megabytes of JavaScript. Elk, Phanpy, Ivory, beautiful apps, but they require a modern browser, a fast connection, and a device manufactured in the last five years ...

New blog post :

https://adele.pages.casa/md/blog/the-fediverse-deserves-a-dumb-graphical-client.md

Edit: try #SmolFedi :

https://smolfedi.pollux.casa/

adele@social.pollux.casa ("Adële 🐁") wrote:

#SmolFedi 1.2.1 brings some features/fixes

• Display media size limits in attachment panel in compose page
• Style nav menu with active link
• Choose date and time format in prefs
• Reuse pagination code. Add link to the top of the page in pagination nav
• Use preview images in post attachments instead of full size ones.
• Disable preload of video/audio media
• Add entry box to copy the original url of a post in Moderation panel
• View modification history of modified posts
• Link static/custom.css if exists

Enjoy!

Source code/Download Demo instance

#smolweb #fediverse #php

Boosted by glyph ("Glyph"):
molly0xfff@hachyderm.io ("Molly White") wrote:

The new Fellowship crypto PAC has filed its first fundraising disclosure. It reports a $10 million contribution from Cantor Fitzgerald (previously headed by Commerce Secretary Howard Lutnick, now controlled by his sons) and $1 million from Anchorage Digital.

#crypto #cryptocurrency #USpol #USpolitics

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
mbroome@infosec.exchange ("🎤🧹 (KR4ECS)") wrote:

@llorenzin and I were in Asheville over the weekend and were on campus at AB Tech for an event on Saturday when we saw a sign for the Asheville Radio Museum.

Following the signs through the building and up to the 3rd floor, we found a lovely museum with working tube radios including the centerpiece Zenith Stratosphere (of which there are only ~40 left in existence). They have a Bluetooth to AM transmitter setup in the museum room so they can play music the radios will pick up, and it sounded amazing!

They also have a lot of ham (and other) radio gear and a full ham radio station setup in the corner that operates as W4AFM.

Wonderful little museum, and both the docents we talked to were great! It was fairly random that we were there, the museum was open, and we had the time to stop in. I highly recommend going to the Asheville Radio Museum if you're in town.

#HamRadio #AmateurRadio #Museum

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
eyeling@mastodon.art ("Eyeling") wrote:

Second batch of trumpet cup lichen. Filled up after the rain. About 2cm(?) high.
CW: tiny fly visible im image 2&3 if you look closely.

#lichenSubscribe #mosstodon #MoosMittwoch #macro #flechten #Moos

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

The amazon rainforest was NOT natural

oh yes, aliens 3d printed all the trees

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
clacke@libranet.de ("clacke: exhausted pixie dream boy 🇸🇪🇭🇰💙💛") wrote:

Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.

Are there any languages that were originally written in Ada?

#Ada #AdaLang #AdaLanguage #bootstrapping