Mastodon Feed: Posts

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

@Dio9sys Not to derail your larger point, but at least for the books archive.org scans itself, I thought they didn't destroy them?

https://archive.org/details/eliza-digitizing-book%5F202107

https://digitization.archive.org/

Of course, that isn't to say that others haven't uploaded scans of books that were destroyed in the process.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
Louisa@mastodon.xyz wrote:

Based on my ramblings last night, the dream of a good internet

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

I feel like we should reserve judgment as to whether digital archiving of material is successful at preserving things. Maybe in a few hundred years we can revisit the topic.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
owashe@meow.social ("Owashii :corgi:🐾:therian:") wrote:

@soatok I got put on a deferral list for Red Cross because I admitted to doing gay things (this was pre-transition) and was told later on (after they apparently changed their mind on that whole anti-gay thing, not sure if they changed back or something) I could get taken off if I called and I don't have the spoons to undo something that shouldn't have been there in the first place.

Shame because donated blood genuinely saved my life in 2014 but bigotry means I was never allowed to pay that back in kind.

Boosted by Mastodon:
MastodonEngineering ("Mastodon Engineering") wrote:

We just released Mastodon 4.6.4, 4.5.14 and 4.4.21.

Those updates include multiple security fixes, including fixes for two major issues.

We encourage server administrators to update as soon as possible, as one of the issues can expose PII of local users. We are investigating potential uses of this exploit and will soon share more information.

Full release notes and update instructions are available on the GitHub release page.

https://github.com/mastodon/mastodon/releases/v4.6.4

#MastoAdmin

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

RE: https://furry.engineer/@soatok/117001915049315875

Relevant to the quoted thread, some people have really weird beliefs about me.

Boosted by andrewnez ("Andrew Nesbitt"):
reproducible_builds@fosstodon.org ("Reproducible Builds") wrote:

diffoscope 326 just released 💠 https://diffoscope.org/news/diffoscope-326-released/ by @lamby

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
faoluin@chitter.xyz ("Softwarewolf") wrote:

@tilton Turns out when your society defunds the humanities, it starts producing inhuman people.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
ezra@problemeowtic.net ("ezra quacks playfully") wrote:

adhd is saying "i can't wait to do the thing" and then waiting 6 and a half hours to do the thing once you're able to

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

Everyone in tech should should know that they could have replaced "AI" with "React" in this post ~5-7 years ago and gotten a clean dry-run of what we're living through at wider scale. Same failure rates (by any objective metric), same religious fervour, same keep-your-head-down-or-be-fired cult consequences, same shitty mgmt class. It was all there, boiling away in the npm fever swamps:

https://ludic.mataroa.blog/blog/ai-mania-is-eviscerating-global-decision-making/

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
linguistgoneforeign ("Linguist Gone Foreign 🌏") wrote:

[Not so universal] healthcare 🩺

His ambulance ride bill from twenty years ago still haunts him.

#ThrowbackThursday
#Healthcare
#Comics

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
alexia@starlightnet.work ("Alexia :makko_bnuuy:") wrote:

some good stuff signal.org has been doing that you've likely missed because people love to be doomers about signal on fedi:

signal working on registration without phone number

signal-desktop will be usable without a phone

signal can now be linked on android tablets

phones can now be secondary/linked devices

cross-device, end-to-end-encrypted backups

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

@soatok I’m ace but still refuse to donate out of solidarity.

Plus, if it’s as much of a crisis as they claim, then maybe they should stop selling blood to the pharma industry and donate more of it to hospitals?

(Source: https://www.redcrossblood.org/biomedical-services/specialty-services/cell-and-gene-therapy-solutions/whole-blood.html)

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
fasterandworse@hci.social ("Stephen Farrugia") wrote:

I think there will be real value in vibe code cleanup services but I expect most jobs would be a discovery that the vibe coding is a symptom, not a cause.

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
Ashedryden@xoxo.zone ("Ashe Dryden 🙆🏼‍♀️🐈🐈‍⬛") wrote:

The dramatic increase in AI data centers in such a short period of time, facilitated by governments at all levels, proves that there is political will for “progress”, but somehow that will is never available for anything other than making a handful of people rich.

I want to see this kind of push for infrastructure that tackles climate change and reduces suffering.

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

Because people are already being annoying about this: it’s obviously not notable when somebody who dislikes using LLM tools and worries about the impact of “AI” complains and ponders leaving the industry.

It is notable when people who think the tools are useful and have no moral objection to them also express the desire to leave industry. Obviously not as common but also obviously more notable.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
gigabecquerel@chaos.social wrote:

Surprise Source Day is always fun, but today said surprise source was a fission chamber containing highly enriched uranium and a good bit of activation products from testing in the 80s.

Today was a fun day at work.

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

made some decisions on littlegem today:

there will (probably) be a Heap<T> type for refcounted heap references in the vein of smart pointers. the compiler will insert refcount operations as appropriate in the style of koka's perceus (albeit likely with a modified algorithm), meaning it can compile without need of a large support library while having something akin to garbage collection (no cycle busting).

the default mode will thus be unboxed and if you want heap things, you can have them with the smart pointer and the integrated compiler support. there can of course be other types of smart pointer and this gives us a way both to flatten nested structs into a single allocation and a natural place to plug in raw pointers or such for use in unsafe code later.
Heap<T> does make you think about whether it should be on the heap or not, but that's about it, the compiler does most of the work

i think we are going to end up with more powerful types than i was thinking yesterday. possibly ones i will have to learn how to implement 😅 i just don't think i'd have it any other way. i will make sure the simple case is simple of course.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
wyatt@hachyderm.io ("Wyatt O'Day") wrote:

Writing a blog post about AI-slop and am looking to hire an artist to do a couple small interstitial images. They're gonna be small in size. They can be raster or SVG output -- whatever's more your bag. Anyone available for this quick one-off job?

No AI-slop-"artists", obviously. Only humans.

Boosts or pointing me towards artists you like that are taking this type of contract work are appreciated. Self-promotion is encouraged too!

Also, you can email me at wyatt@wyday.com if you'd prefer to take things off of socials.

Boosted by glyph ("Glyph"):
beep@follow.ethanmarcotte.com ("Ethan Marcotte") wrote:

modern computing is just repeatedly muttering “no, i do not want to click the sparkle button” to yourself as you try to get your work done

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

@baldur @datarama If they don't get "randomly selected" in the next round of redundancies :neocat_sweat:​

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

@Popsip @soatok The real reason is the new Reddit has more tracking, and more dark patterns like endless scroll designed to steal your attention. Also on mobile browsers, new Reddit will constantly spam you to use their app (which has even more tracking)

They’re trying to position themselves as a broker of human generated text content. Scraping cuts into their business model, and automated posting devalues what they’re selling to the AI companies.

So basically, they’re enshittifying their platform because their real customers are the AI firms. Their users are not the customers. They don’t care if “high quality” posters leave, because the real value is the organic conversations in the comments.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
wolfwalks@app.wafrn.net wrote:

@admin@app.wafrn.net

The best thing any artist can do is leave mastodon.art

RE: https://app.wafrn.net/fediverse/post/9374fcaa-ae14-4000-977f-4e586690d80f

Boosted by glyph ("Glyph"):
davidgerard@circumstances.run ("David Gerard") wrote:

having real trouble finding actually useful work by alphafold

wikipedia page has a fuckload on it winning competitions and also it uh predicted stuff about the COVID virus that was already known

if there was anything it'd be there

anyone got links to anything convincing?

Boosted by glyph ("Glyph"):
jaafar@hachyderm.io ("Jeff Trull") wrote:

Following both @selfcare and @simple_sabotage is great because they are released simultaneously and produce insane juxtapositions like this one

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
fnf@mathstodon.xyz ("Fredrik Nordvall Forsberg") wrote:

The TYPES 2025 post-proceedings have been published!

https://www.dagstuhl.de/dagpub/978-3-95977-441-3

Due to the efficiency of the Dagstuhl staff, some extra work was created for them by having to change the publication date from August to July.

Thanks to all authors and reviewers for all the hard working going into making this an excellent volume.

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
mevenlennonbertrand@lipn.info ("Meven Lennon-Bertrand") wrote:

EDIT: I jumped too fast on the easy story, and overplayed the role of AI here. Had I known how it would blow up, I would have been more careful... Things are still not entirely clear, but I've tried to make the post less wrong.
---------------------

This whole Lean kernel bug is almost too on point to be true, it fits perfectly in the discussions we've had here and elsewhere over the last months/years…

To summarize:
- formal methods researcher (@ramana) sets up a repo with a sorry-free proof of the Collatz conjecture
- the proof is reporting (by @kirancodes) as being a kernel bug, the repo was a tongue-in-cheek way of exposing the bug
- Ramana mentions llms were
involved (but how is unclear atm)
- the bug is related to (nested) inductive types, for which there is no clear theoretical specification: the kernel's code is the reference
- external checkers (lean4lean and nanoda from a week ago) are affected too, either because they copy the reference kernel implementation, or because (nanoda) of a missing check in this subtle part of the code
- the bugs compound, and the invalid proof is accepted by comparator, Lean's gold standard for proof checking

And so
- adversarial AI writing proofs raises the bar for kernel correctness
- without a clear type-theoretic understanding of *what is actually implemented*, we're toast
- external checkers help to catch implementation bugs, but without a clear specification they can't really catch logic bugs

I believe the whole story also showcase the solidity of human measures: the bug was fixed as soon as found, with healthy discussions between experts, in the open, as to what to do. At no point was there any real doubt as to the solidity of a mechanised result.

EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️") wrote:

I got out before the heat this morning and put a new connector on the buried gen2 starlink cable so it would work with the new dish, and was then able to clean up the temporary cat6 cable I had laid across the yard.

What took me 2 minutes inside sitting at my workbench took 45 minutes standing on top of a ladder in the yard, because I just could not get the cables straight enough to go through the connector in the right order.

But it is finished, and I should be done climbing up and down the ladder in the yard.

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

THE LITERATURE "AI" COULD NEVER - AND NEVER DARE - TO WRITE

May the universe bless Chuck Tingle and keep him always

Boosted by ChrisWere@toot.wales ("Chris Were ⁂🐧🌱☕"):
FediThing@chinwag.org ("FediThing :progress_pride:") wrote:

There are some really interesting videos on PeerTube nowadays. If you want a guided tour you might want to follow my account @FediVideo which boosts a human-curated selection of them.

#PeerTube #Fediverse