Mastodon Feed: Posts

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
geekysteven@beige.party wrote:

cwebber@social.coop ("Christine Lemmer-Webber") wrote:

Well, it's been a day, time to break the kayfabe. Yes, the *pro-LLM* Guix Consensus Document is satire, as is the prior "review" I gave of it. But the issue at hand is serious, so here is me explaining the joke: https://codeberg.org/guix/guix-consensus-documents/pulls/14#issuecomment-20264173

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

So I think what i'm seeing here is:

• a hard core of my long term followers, the ones who get up to the sort of stuff i get up to. juggling chainsaws, no compromise on performance and the will to not be beaten by a fucking computer program.
• most people are less demanding. many would like it to be fast and powerful of course but perhaps other aspects of the language are more important
• some people have been burned out dealing with messes that happen when power in a language is abused and consider preventing that a top priority
• everyone else doesn't care too much as long as it's not obviously terrible in some way

db@social.lol ("David Bushell 🪿") wrote:

whoopsies, human rights violation lol, don't forget to review your slop 😜

https://www.theguardian.com/uk-news/2026/jul/28/home-office-used-ai-hallucinated-information-to-refuse-asylum-claim-judge-suggests

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

ToDoToDay:

sending out notes to friends in the Bay Area to scare up places to stay during my 9-16 SEP visit… it has been far too long (pre-COVID)

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
gsuberland@chaos.social ("Graham Sutherland / Polynomial") wrote:

Quoth the raven: unable to decrypt message.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
cuchaz@gladtech.social ("Jeff Martin") wrote:

@miss_rodent @soatok very much this! 'Likes doing it' is a superpower worth far more than just being smart.

Also, large amounts of pure persistence. I feel suuuper dumb when struggling to solve a hard problem. But the sheer act of Just Not Giving Up is usually what gets me to a somewhat workable solution. Eventually.

A lot of times, trying harder for longer can make up for any (perceived) lack of innate ability.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
49016@catgirl.cloud ("⬡-49016 :neobot_box_cat_ears:") wrote:

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

soooooo much this. like obviously there are factors in this; it wouldn't be into cryptography if it didnt have one of those violently autistic hyperfocuses on it, but that only helped with getting started and pouring enough time for it. where there's a want, there's a possibility; this isnt a skill tree where you need 15 intelligence points to unlock the next level. you can just do that, nobody but yourself is stopping you. and you might take longer or shorter, and that's okay! but there isn't a gate with John Cryptography standing there saying "You Shall Not Pass". you can really just do that

~ signed, a total dumbass who made it work too

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
octonion@tech.lgbt ("Popstar Tourist") wrote:

@kbal @dthompson @cwebber @bremner @pawv

> How could anyone fail to spot that as sarcasm

In my case, the uncertainty was caused by a combination of autism and Poe's law, coupled with a recent history of every beloved project falling to AI.

I was reasonably sure that it was a joke because I've seen enough of Christine's writings and positions and trust David by transitivity. But I can't really fault anyone who is less familiar with either of their work for not seeing the intent.

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

You are adopting a new programming language in 2026. how much masochism do you want?

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

guh, what i really want is to list some things and get people to order them in terms of importance. it's a bit much for the fedi poll format.

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

I freak out over the stuff I don't do but when it comes to actually doing it my brain be like "I don't wanna~"

And without a sense of urgency nothing makes me

Chat, I think I need to adjust my meds

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

You are adopting a new programming language in 2026. How important is performance?

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
dotjayne@tech.lgbt ("Jayne") wrote:

I'm not a mad scientist, just a disappointed scientist

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
jeffjarvis ("Jeff Jarvis") wrote:

This is *not* what the world needs.
Newsmax and Meta Enter AI Content Partnership
https://ir.newsmax.com/news/news-details/2026/Newsmax-and-Meta-Enter-AI-Content-Partnership-/default.aspx

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
vv@solarpunk.moe ("vv 💫 [follow my new artist profile!]") wrote:

ya girl is a rare member of the "chased two chickens out of an Amazon delivery van" club

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
ShadowJonathan@tech.lgbt ("Summer Jo :v_enby: ☀️:neocat_melt_3:") wrote:

Top 3 things that will fix your life instantly (2026 hack) (no scam):

• Sleep
• Just fucking sleep
• Go the fuck to sleep dumbass

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

You are adopting a new language in 2026. Where should it fall on the power/complexity scale

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
SDF@mastodon.sdf.org ("SDF.ORG") wrote:

RE: https://mastodon.sdf.org/@fvzappa/117000816894194888

A Xerox ALTO is going on the road in 2026!

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
researchfairy@scholar.social ("Unnamed TNG skant beefcake") wrote:

Be the Outlier Georg who should not have been counted that you want to see in the world

neatnik@social.lol ("Neatnik") wrote:

RE: https://front-end.social/@sia/117003338506466759

Real art, made a real (and awesome) person, delivered to my home each month?! I've never signed up for something so quickly in my life. 😍

Boosted by neatnik@social.lol ("Neatnik"):
sia@front-end.social ("Sia Karamalegos") wrote:

RE: https://front-end.social/@sia/116936155768993551

Friends, sign ups for my first edition (July) art print club cut off on this Friday, July 31st!

My goal for this 1st edition is 10 subs (stretch goal 25), and I'm currently sitting at 6.

Add a little joy and art to your mailbox 📬

$10, US shipping $1, rest of world $2

🎨🐌💌

#art #watercolor #linocut

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
CrumpledEphemera@bark.lgbt ("Crumpled Ephemera") wrote:

The Bumblebees have been making merry on the Cone flower blossoms.
#Bees #BloomScrolling #gardening #BadPhotography

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
uglyreykjavik.bsky.social@bsky.brid.gy ("Ugly Reykjavik") wrote:

I stumbled upon this little summer cabin completely by accident.

#Iceland #photography #naturephotography #nature #landscape #landscapephotography #countryside #rural #abandoned #decay

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
uglyreykjavik.bsky.social@bsky.brid.gy ("Ugly Reykjavik") wrote:

A tiny plastic flower.

#Iceland #photography #streetphotography #abandoned #decay #window #red #flower

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
0xabad1dea@infosec.exchange ("abadidea") wrote:

Okay, we have a new contender for Most AI Thing to Ever Happen

1. July 25th: someone messes around with an LLM and posts a proof of the Collatz conjecture that does, in fact, verify in the theorem prover. (The AI use is not disclosed on the github page) https://github.com/xrchz/CollatzLean

2. July 26th: several serious bugs are posted in the theorem provers, that in principle could allow a false statement to be "proven" true. They're serious, yes, but no need for panic, because you're not going to blunder into accidentally exploiting the bugs while writing a proof, probably.
   https://github.com/leanprover/lean-kernel-arena/pull/81

3. July 28th: someone who was right to be very skeptical of the Collatz proof, and had the expertise to study it with a fine-toothed comb, discovered it was exploiting a bug https://github.com/leanprover/lean4/issues/14576

4. The "proof" turns out to be exploiting multiple similar but distinct bugs to pass different solver variants!

5. the human who posted the proof acknowledges the AI use and claims they did not knowingly point it towards the bugs it exploited. https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Counterexample.20to.20the.20Lean.20Conjecture.20.28Soundness.20Bug.29/near/613135216

Note that the proof was posted shortly before the related bug reports were posted. It is an open question if the AI found people discussing the bugs shortly before they were formally posted and "decided" to exploit them, if the AI "knew about it" as a learned strategy from the training stage (putting every single "proof" it's ever made and ever will make into profound doubt), or if it's recently been repeatedly blundering into it by sheer stupidity and that's how people noticed the bug at about the same time.

Theorem provers aren't magic, and have bugs just like all other programs. They are tools to help us double-check our reasoning. When you skip the reasoning and ask an AI to "prove" something for you that's over your head, you're entering an adversarial pact with the monkey-pawed Devil of Customer Satisfaction.

my initial source for investigating this myself: https://lipn.info/@mevenlennonbertrand/116997927457012577

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
aimeecozza@mastodon.art ("Aimee Cozza Illustration") wrote:

It's here, it's here! 🌟 V2 of Hire Human Artists is now live. We make it easier than ever to find artists who have pledged not to use generative AI in their workflow. HireHumanArtists.com Use the directory to find artists for your project type, that do a certain style, and more! Now with images!

https://hirehumanartists.com/

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

someone mentioned a cat??

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

ooohhhh microtonality

Attachments:

• audio: brass instruments over a simple snare drum / bass drum drumbeat. the brass instruments are microtonal

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

so, of course I end up using my bathrobe as a towel instead… must not disturb Her Majesty