Mastodon Feed: Posts

Boosted by glyph ("Glyph"):
amsomniac@mastodon.mit.edu ("air queerness index") wrote:

3 billion devices runs on dunkin

Boosted by glyph ("Glyph"):
SnoopJ@hachyderm.io wrote:

disorganized attachment style? yea idk I usually just save them in ~/Downloads

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

Went to perform a task but got neurodiverted

Boosted by glyph ("Glyph"):
Lana@beige.party ("𝐿𝒶𝓃𝒶 "not yet begun to fight"") wrote:

GUINAN: What can I get you, big guy

WORF: I would like to order a drink

GUINAN: Great, what kind of drink?

WORF: It is an Earth beverage

GUINAN: Oh no

WORF: I heard my mother describe it to me as a child.

GUINAN (backing away): No no no it's happening please don't-

WORF: It is called

GUINAN: Don't say it if you say it I can't-

WORF: Kool Aid

KOOL-AID MAN: OHHHHHH YEAAAAAAAH

ENTERPRISE: [venting into space]

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
jzb@hachyderm.io ("Joe Brockmeier") wrote:

From last night: We had tornado warnings so I gathered all the cats and dog into the stairs to the basement as the safest spot if a tornado hit the house. Sam was not convinced that it was necessary. #catsofmastodon

jonny@neuromatch.social ("jonny (nonvenomous)") wrote:

does anyone know of anything like a "share screen mode" extension for firefox where i can flip all the settings like search bar autocompletions, text box autocompletions, etc. on and off quickly? it's not like i do much unsavory online, but i don't think people need to know how often i download left 4 dead 2 maps and etc. when i'm giving a talk

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

Attachments:

• gifv: 44e9b7fb73606413.mp4

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
unascribed@sleeping.town ("Exa, lost&found") wrote:

apropos of nothing, irregular reminder to replace fonts.google.com or fonts.googleapis.com with fonts.bunny.net anywhere that you use it

it's a drop-in replacement that is privacy-respecting and isn't fucking google

i generally prefer to host my own fonts and trim them down to just characters i need, but this is markedly better than staying on google and requires basically no effort

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
kurrikage@meow.social ("Kurrikage :deifirev:") wrote:

BLFC photoshoots are now open! Prices starting at $200 for an hour session. I'll be your camera for the time and we can go wherever you'd like.

Examples of past shoots can be found on my Furtrack #BatPics

https://www.furtrack.com/user/Kurrikage/album-3898

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
Cornellbox@a2mi.social ("Philip Proefrock, architect") wrote:

At the time, I thought Vernor Vinge was an idiot when I hit that part of Rainbows End, because it was so blatantly, flagrantly idiotic. Even as metaphor, it was just ludicrously ham fisted and stupid.

And yet, here we are, in the year 2026, and some fresh batch of nexus tormenting techbros are "inventing" that very idiocy.

That kind of behavior is what fully engages my misanthropy. And I owe Vernor Vinge a full apology.

https://beige.party/@laprice/117005195737270080

Boosted by kornel ("Kornel"):
RikerGoogling@mas.to ("Riker Googling") wrote:

bash_profile vs bashrc

Boosted by glyph ("Glyph"):
jrconlin@mindof.jrconlin.com ("j-r conlin") wrote:

Do Not Take Less than 20% over your previous rate.

Make it hurt.

https://mastodon.social/@annaecook/117005159685124497

Boosted by kornel ("Kornel"):
grumpygamer@mastodon.gamedev.place ("Ron Gilbert (GrumpyGamer)") wrote:

You heard it here first:

https://www.grumpygamer.com/twp2%5Fannounce/

Boosted by kornel ("Kornel"):
rygorous@mastodon.gamedev.place ("Fabian Giesen") wrote:

"Strings don't vibrate the way you think" https://www.youtube.com/watch?v=sYdXa%5Fyp0fc This is really cool.

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

Our moral and political imagination must concieve and demand Elon Musk behind bars for the rest of his life.

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

Just saw Spider-Man: Brand New Day. It was very good.

Boosted by jwz:
koen_hufkens ("Koen Hufkens, PhD") wrote:

So, this "curing cancer" thing will have to wait to feed the word salad generator.

https://www.engadget.com/2225849/google-shuts-down-alphafold/

Boosted by jonny@neuromatch.social ("jonny (nonvenomous)"):
aryounce ("A. R. Younce") wrote:

@mevenlennonbertrand @jonny This incident is reminiscent of Adrian Thompson’s evolutionary algorithms work which ended up exploiting chip-specific variation in FPGAs. https://www.damninteresting.com/on-the-origin-of-circuits/ & https://gwern.net/doc/ai/1997-thompson.pdf

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

It's probably worth seeing the actual top-level post too, though:

https://old.reddit.com/r/learnprogramming/comments/1v9ee0b/how%5Fdo%5Fsenior%5Fdevelopers%5Fbuild%5Fsuch%5Fbroad%5Fand/?depth=1

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

I wrote a Reddit comment on r/learnprogramming yesterday and thought it might be worth sharing here too, in case it's helpful to anyone:

https://old.reddit.com/r/learnprogramming/comments/1v9ee0b/how%5Fdo%5Fsenior%5Fdevelopers%5Fbuild%5Fsuch%5Fbroad%5Fand/p0e9l9g/

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

Our moral and political imagination must encompass Elon Musk behind bars for the rest of his life.

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
SimpsonsGifs ("Simpsons Gifs") wrote:

Season 14, Episode 19: Old Yeller-Belly

#Simpsons #TheSimpsons #S14E19 #Cartoon #Frinkiac

Attachments:

• gifv: e25f09fad753c22f.mp4

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

1971 was a good year https://music.apple.com/us/album/on-the-way-home-live/218213938?i=218213939

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
ada@nyan.network ("ada f64.0") wrote:

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
ada@nyan.network ("ada f64.0") wrote:

glyph ("Glyph") wrote:

RE: https://mastodon.social/@glyph/115647478978972835

ah shit people are faving this again, what fresh hell awaits me when I find out why

jonny@neuromatch.social ("jonny (nonvenomous)") wrote:

RE: https://lipn.info/@mevenlennonbertrand/116997917683191056

As a longtime collatz conjecture enjoyer, it is pleasing to hear that it proved powerful enough to resist proof by revealing a bug in the prover.

Boosted by jonny@neuromatch.social ("jonny (nonvenomous)"):
mevenlennonbertrand@lipn.info ("Meven Lennon-Bertrand") wrote:

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 provides a sorry-free proof of the Collatz conjecture, with llm involved
- the proof is detected as actually being a kernel bug
- 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) reproduce the bug, because they essentially copied the reference kernel implementation

And so
- adversarial AI writing proofs raises the bar for kernel correctness by a lot
- 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 catch logic bugs

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Summer day on the beach. This is how we roll here in Pacific Northwest :-)

#darktable #photography

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

giant hugweed