Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i used to write haskell, but it's too complicated for me, so i write idris instead
Mastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
it would be even easier in a true dependently typed language, but the whole point was to avoid needing that level of sophistication.
yes, obviously ghc is unsophistamacated stuff for ordinary people
Mastodon Feedjsonstein@masto.deoan.org ("Jeff Sonstein") wrote:
"...my friends, in this story you have a history of this entire movement. First they ignore you. Then they ridicule you. And then they attack you and want to burn you. And then they build monuments to you." - Nicholas Klein, 1918
Mastodon Feedchris@fedi.freebooters.uk ("Chris Were") wrote:
Talking some #HouseOfTheDragon with Max and Jenny
Mastodon FeedBoosted by brib@bribstodon.xyz ("brib :neofox_floof: :Nonbinary:"):
aisling@critters.gay ("Aisling "chilla time abolitionist" Fawn") wrote:
I don't like the way that having items customized to your body shape is currently considered a rich person thing. I want it to be for everyone.
Mastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
(can you tell what the thing i'm building with it is going to be yet?)
Mastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
some very naughty idris that ought to be quite fast https://gist.github.com/jjl/4775d44d1b6a0a875eaf1fbfb5fa5f60
Mastodon Feedbcantrill ("Bryan Cantrill") wrote:
Several years ago, we did something that (to the best of our knowledge) no computer company has ever done: we described -- in detail -- our experience getting EMC compliance.
https://oxide-and-friends.transistor.fm/episodes/oxide-and-the-chamber-of-mysteries
Our updated hardware (and especially, our Turin-based compute sleds) have necessitated a return to the Chamber of Mysteries -- and on today's episode, the hardware team joins us again to regale us with the tales from their new adventures. Join us, 5p Pacific!
Mastodon FeedBoosted by jwz:
culturednyc ("cultured nyc 🇺🇦") wrote:
Destroying all the world’s books is here to stay, so you better embrace it. If you don’t want to be left behind, you’d better go out there and destroy all the world’s books. If you have ethical concerns, just destroy a smaller bunch of local books.
Mastodon FeedBoosted by keul@fosstodon.org ("Luca Fabbri"):
SmilaBlomma@puntarella.party ("Smila Blomma") wrote:
Memento, un film su di me che rientro dalle ferie e cerco di ricordarmi che lavoro faccio
Mastodon FeedBoosted by brib@bribstodon.xyz ("brib :neofox_floof: :Nonbinary:"):
wizbean@tech.lgbt ("wiztina :blobcatwitch:") wrote:
Hello! My name is Christina (she/her) and I like games. Video games, board games, card games, roleplaying games, all of them. I have an extra soft spot for anything dungeon crawler-y. :blobcat: <- blobber
I'm a trans woman from Sweden 🇸🇪, planning to move to Luxembourg 🇱🇺. I'm currently studying to be a mechanic.
I'm a self-taught programmer, doing some game development from time to time. Currently working on my dark fantasy dungeon crawler using #Godot4. I also enjoy knitting and cooking.
Mastodon FeedBoosted by brib@bribstodon.xyz ("brib :neofox_floof: :Nonbinary:"):
datarama@hachyderm.io wrote:
@eniko The leatherback sea turtle almost never rests. In fact, its activity level is so high that despite having a typical reptilian metabolism, its muscle activity is high enough that it maintains a constant body temperature. It's estimated that it rests for less than 0.1% of the day.
This means that an actual turtle has more nines of uptime than Github
Mastodon FeedBoosted by slightlyoff@toot.cafe ("Alex Russell"):
phae@status.fberriman.com wrote:
Finally moved the home hacking blog off squarespace and onto @11ty & netlify!
Reviving the content by getting @slightlyoff to do the writing: https://sensorsandsensibility.com/blog/2026-08-18-home-assistant-two-years-later/
Mastodon Feedslightlyoff@toot.cafe ("Alex Russell") wrote:
Over on the revived (ported to 11ty) IoT blog, my first guest-post covering a bit of our very positive experience with Home Assistant over the past 3 years:
https://sensorsandsensibility.com/blog/2026-08-18-home-assistant-two-years-later/
Mastodon Feedbaldur@toot.cafe ("Baldur Bjarnason") wrote:
Just looked at a management book’s Amazon listing, not out of interest but more curiosity about the author/blogger and…
Is Palantir hate still a niche thing or is somebody proudly mentioning having worked for them in an author bio the very specific red flag I think it is?
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
alys@selfy.army wrote:
@nirak @cwebber Yeah, 404 Media just did a story where they were able to confirm an order of rare books went to Amazon’s book scanning operation.
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
glittercleric@corteximplant.com ("Layne 💫") wrote:
@nirak @cwebber Library assistant here, and I was going to say essentially the same. I'm not taking offense with the act of pulping itself, but I decidedly hate knowing that the AI machine is extremely unlikely to preserve the originals in any form that is not the slop. The potential loss of rare tomes makes me angry.
Mastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
SMD = Surface Mount Disaster
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
johncarlosbaez@mathstodon.xyz ("John Carlos Baez") wrote:
People have known for a while that AI companies are buying books, scanning them in, and destroying them in the process. Recently, unusually large anonymous purchases of "rare" books have been detected. AI companies at work? Now there's evidence!
"404 Media investigation was able to reveal Amazon’s book buying operation, which hasn’t been previously reported, by placing a tracking device in a rare book we suspected would be acquired by an AI company for training data, and following it around the country to its final destination.
That final destination was an Amazon warehouse in Las Vegas, Nevada. Amazon employees who work at this location say all they do is receive massive shipments of printed books which they then cut the bindings off in order to scan the books more quickly. The printed book is destroyed in the process."
(1/n)
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
bea@glitch.social ("beatrix bitrot") wrote:
i am 30 or 40 years old and i am going to enjoy myself
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
nirak@hcommons.social ("Karin Dalziel") wrote:
@cwebber In general, I have no problem with pulping books, libraries do it all the time when weeding (think old copies of "Windows 95 for dummies" and the like). We scan books without destroying them, which is super time consuming, but we have already decided these books are important to keep.
But when libraries send books off for recycling, almost all check to make sure other libraries have a copy and they are not getting rid of something super rare, which these companies are definitely NOT doing.
Mastodon FeedBoosted by cwebber@social.coop ("Christine Lemmer-Webber"):
alice@lgbtqia.space ("🅰🅻🅸🅲🅴 (🌈🦄)") wrote:
😳 Rainbow Bright! My goodness 🤭
But also, based 💁🏼♀️
Mastodon FeedBoosted by glyph ("Glyph"):
xgranade@wandering.shop ("Cassandra has had an adventure") wrote:
My biggest *technical* objection to LLMs, that is far less important than my *ethical* objections, is that they are not "everything machines" that can replace specialized algorithms and models.
Machine learning is an incredibly rich field with an immense amount of different ways to solve specific tasks, and it's a travesty to see that all flattened to feeding different prompts to an LLM and applying thoughts and prayers.
Mastodon Feedcwebber@social.coop ("Christine Lemmer-Webber") wrote:
I know there are some librarians on here following me, and I was ranting in a private group chat about how I feel about pulping of books for AI information, and a person who was not sold on my concerns told me "maybe you should talk to a librarian about that". And well, I have
But librarians of the fediverse, I know there are quite a few of you, feel free to weigh in: what are your thoughts on this, or other AI oriented subjects? Please elaborate!
Mastodon FeedBoosted by glyph ("Glyph"):
mcc wrote:
RE: https://chaos.social/@gsuberland/117111664748390312
This is very important and I believe it is true for OCR and speech recognition also. Post-OpenAI AI has made pre-OpenAI AI worse.
Mastodon FeedBoosted by glyph ("Glyph"):
mcc wrote:
Anyway, imagine I don't think machine learning language models are evil but I do think the "build a general chatbot model and feed it different kinds of natural language prompts for different tasks" approach is a dead end and must be utterly obliterated from this earth. Is there any reason to believe that if I switch from Google Translate to DeepL this will, or won't, mean my translations are done by "normal AI" (eg, a model specifically trained to translate text) instead of demoware chatbot AI?
Mastodon FeedBoosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
TexasObserver@texasobserver.social ("Texas Observer") wrote:
Texas has installed its own leaders at 8 school districts. In addition to 4 takeovers this year, 10 more districts are potentially at risk.
From buyouts to inflated salaries, here's how local taxpayers are left paying the bill for costly takeovers: https://www.texasobserver.org/the-takeover-tab/
Mastodon FeedBoosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
croyle@wandering.shop ("David Croyle") wrote:
#PhotoOfTheDay Street musician, in the small old town touristy area of Newport on the Oregon coast. He was really good!
Mastodon FeedBoosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
researchbuzz_firehose@rbfirehose.com ("ResearchBuzz: Firehose") wrote:
SF Standard: Castro bars dropped face scanners. The bigger fight isn’t over. “A months-long fight over an ID-scanning system that photographs arriving patrons at Castro gay bars has come to a head, with all three venues known to use it — Badlands, Toad Hall, and The Mix — halting the practice under pressure from privacy advocates. But the retreat from the tool, PatronScan, hasn’t […]
Mastodon FeedBoosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
jcrabapple@dmv.community wrote:
🦁 Camera traps in Spain captured female Iberian lynxes deliberately dunking dead rabbits in water troughs — the first documented case of a wild carnivore soaking its prey.
The behavior was first recorded in August 2020 when a lynx named Naia was seen carrying a freshly killed rabbit to a water trough and submerging it for over a minute. Since then, 5 different females have been observed doing the same thing 8 times, always during the hot summer months in central Spain.
Experiments confirmed that a soaked rabbit carcass retains water for up to 40 minutes. Scientists believe the lynxes may be using the soaked meat to hydrate their cubs or ease the transition from milk to solid food. The behavior runs in family groups, suggesting these solitary cats can learn from each other.