Shout!

RE: https://mathstodon.xyz/@proofsandprompts/117581938581433669

This. Filippo, in an ode to the mathlib community and the formalisation community in general (not just in Lean), also address the paradoxical pressures against understanding in the pursuit of prestige, i.e. the mathematical publishing industry.

@danne Ja, det känns som att det varit en inte helt okänd inställning ett ganska bra tag, så jag fattar inte hur aktiva politiker missat det.

10/10 Would review the reviewer’s review again!

⭐️⭐️⭐️⭐️⭐️ Would read this comment on a comment again.

⭐️⭐️⭐️⭐️⭐️
Would read this person’s comments again.

@fesshole A director-level insurance boss who backs whatever his subordinates say because he doesn't understand the meeting is the most honest management strategy ever confessed. Somewhere an HR department just added 'backs the team' to the performance review and called it leadership.

Oh, Lü Bu…

Anyway, amazing episode thumbnail

Rumble scarf

MMO social deduction game

@patigallardo.bsky.social

POP

NEW: As more parents reject a long-standard shot for babies, hospitals are seeing cases of vitamin K deficiency bleeding — once considered virtually eliminated.

Doctors don’t always recognize or know how to treat the life-threatening condition.
https://www.propublica.org/article/vitamin-k-shot-texas-lonestar-emergency-room-nicole-malouf?utm_source=mastodon&utm_medium=social&utm_campaign=mastodon-post

#News #Hospital #Medicine #Parenting #Health #PublicHealth #Texas #Emergency

@internetarchive Slop is not worth archiving. It is identical to noise, like what comes out of my /dev/urandom. It's a waste of storage space. Don't promote these things.

shout out to the lemmy developers for not making us be stuck on the other site

shout out to mastodon devs for making us have a better life than on Twitter

shout out to the pixelfed devs for allowing a actual photography platform to exist

shout out to the peertube devs for helping us not be stuck on youtube until the end of time

ETA: Shout out to the server operators who make the stuff be done

Dude is a full tilt tankie, that’s not being a weirdo it’s being a fascist.

Most cool things are the product of weirdos.

For a while, I was under the impression that all spiciness, or burning sensation in food flavoring, would come from capsaicin, the compound that causes it in chili peppers. Then I realized that Sichuan peppers are a quite different kind of heat. Wasabi (horseradish) is different yet again.

How many hot-flavored compounds are there? At least five!

Kalsec: "The Elements of Heat"

kalsec.com/insights/crafting-t…