Sign in

pwalrus

@pwalrus.bsky.social
247 followers 1.1K following 10 posts

trying to be a mathematician. i like Coq/Agda/Lean

PostsRepliesMedia
Reposted by pwalrus
Tom Ellison @123tomellison.bsky.social · 25/06/2026
The must see visual from Propublica's brutal takedown of carbon capture magical thinking: projects.propublica.org/why-carbon-c... @amywestervelt.bsky.social @propublica.org @drilledmedia.bsky.social
On the left, a line graph showing a flat trajectory of actual carbon capture and storage contrasted with optimistic projections of it taking off into the future. On the right, a line graph showing actual solar electricity production skyrocketing ahead of all projections.
513971
pwalrus @pwalrus.bsky.social · 28/05/2026
OMG #yyc
bleak week: cinema of despair 2026 poster
010
Reposted by pwalrus
🤘Patricia Lee, Publisher @hairydogproductions.com · 11/05/2026
Hemp plastics have been an option for some time now too. Unless we FORCE manufacturing to change.. why wouid it? phys.org/news/2026-04...
phys.org
Hemp-based thermoplastic offers a greener alternative to plastic packaging
As the global pollution crisis caused by manufacturing and disposing of single-use plastics continues to grow, researchers have developed a non-toxic plastic alternative derived from the hemp plant—a ...
19153871841
Reposted by pwalrus
Return of the Cmonmacques @cmonmaque.bsky.social · 11/05/2026
Airbnb is a scourge upon humanity and should be eradicated
37614
Reposted by pwalrus
Ursula K. Le Guin Bot @leguinbot.bsky.social · 03/05/2026
Those who build walls are their own prisoners. I'm going to go fulfil my proper function in the social organism. I'm going to go unbuild walls.
118250
Reposted by pwalrus
Katch @katchdraws.bsky.social · 27/04/2026
743541360
Reposted by pwalrus
AAUP @aaup.org · 22/04/2026
Two headlines from last week tell an interesting story if you’re paying attention. 👀
23399171
Reposted by pwalrus
Henderson the Purple Rain King @ericksoen.bsky.social · 22/04/2026
Also: data breach fatigue
0208
Reposted by pwalrus
Eric Ravenscraft @lordravenscraft.bsky.social · 18/04/2026
how do i vote for this guy for any office he wants
6381121
Reposted by pwalrus
Dan Kaszeta FRHistS @dankaszeta.bsky.social · 02/04/2026
The bastards who stole one of my books are now complaining that copyright actually matters, but just for them not book authors. Bastards
218253
Reposted by pwalrus
Ian Coldwater 🧊🚫 @lookitup.baby · 01/04/2026
Youths, may I recommend you look up how the subprime mortgage crisis happened? Just, you know, for science
20548185
Reposted by pwalrus
Ingrid Burrington @lifewinning.com · 01/04/2026
www.microsoft.com/en-us/micros... is it good to build an entire economy and software infrastructure on this
Highlighted section of the Copilot ToS which says "Copilot is for entertainment purposes only"
18177512018
Reposted by pwalrus
Sage Deviant 🏳️‍⚧️ @trans.bsky.social · 21/03/2026
Dylan M. Taylor, a Senior DevOps Engineer at Credit Genie, pushed age verification PRs to systemd, Ubuntu, & Arch. He collaborated with two Microsoft employees to merge it. Lennart Poettering then personally blocked the revert & allowed the PR through. The surveillance state runs on unpaid simps.
sambent.com
The Engineer Who Tried to Put Age Verification Into Linux
Dylan, useful idiot with commit access, pushed age verification PRs to systemd, Ubuntu & Arch, got 2 Microslop employees to merge it, called it 'hilariously pointless' in the PR itself, then watched L...
461852775
Reposted by pwalrus
Erin Fogg says Free Link @criminalerin.bsky.social · 19/03/2026
Driving on the sidewalk: 3 hours Forgetting how to do arithmetic at the grocery store so I just give them all my money: 2 hours Eating candles because I forgot all my groceries in the parking lot: 3.75 hours Emails: 15 minutes Can someone who is Forbes print this my family left me
Fuckin Forbes 3 days ago: I tested chatGPT's new apps feature. it saved me 9 hours a week
823736
Reposted by pwalrus
much like your posting @mlyp.bsky.social · 18/03/2026
Perfect
214274987275
Reposted by pwalrus
Effie Seiberg @effies.bsky.social · 12/03/2026
"Palantir CEO Alex Karp says his AI technology will lessen the power of “highly educated, often female voters, who vote mostly Democrat” while increasing the power of working-class men." Just saying it right out loud now. newrepublic.com/post/207693/...
newrepublic.com
Palantir CEO Makes Shocking Confession on Disrupting Democratic Power
They’re saying the quiet part out loud now.
33652542800
Reposted by pwalrus
Gravel Influencer @gravelinfluencer.bsky.social · 08/03/2026
This is honestly the treatment Trump voters should get in the U.S. too. Don't let them try to hide from the effects of their choice. It's always the people who believe in the worst things that get mad when someone "makes things political."
91872392
Reposted by pwalrus
Omg. WTF is Happening? @lalahaenzy.bsky.social · 05/02/2026
Sir Ian McKellen performing a monologue from Shakespeare’s Sir Thomas More on the Stephen Colbert show. Never have I heard this monologue performed with such a keen sense of prescience. Nor have I ever been in this exact historical moment.TY Sir Ian, for reaching us once again. #Pinks #ProudBlue
5783267214031
Reposted by pwalrus
Coach Finstock @coachfinstock.bsky.social · 02/02/2026
Incrementalists take it on the chin again. This is why they hate Mamdani. He's giving up the game that people in power HAVE POWER and don't solely exist to beg you for $5 every day. He's ruining the Democratic Party by showing voters that they have the power to do stuff instead of crouching in fear
2753531503
Reposted by pwalrus
Kevin M. Kruse @kevinmkruse.bsky.social · 03/02/2026
If you campaigned for the presidency on a promise to destroy these assholes, you would win a landslide the size of FDR in 1936, when he campaigned on a promise to destroy these assholes.
667197016001
Reposted by pwalrus
Standplaats Kraków could really use some cash! @standplaatskrk.pl · 24/01/2026
IT AIN'T GOING YOUR WAY!
3409108
Reposted by pwalrus
.chantal//RYAN @thoughtrise.bsky.social · 15/12/2025
this field biologist does a great job highlighting the insidiousness of AI editing these one-click AI edit buttons are incredibly appealing to many photographers, amateurs and professionals alike, and are framed as innocuous this is worth sharing and educating people about
screenshot of a post on facebook from Alex Lamoreaux, depicting two versions of the "same" photograph of a bobcat in front of a pine plantation, one labeled original game cam photo, one labeling AI processed

the markings have been altered on the AI photo, and the head changed and resized

text says:

Oh! A neat goose hybrid posted to ‘What’s this Bird?’ but when you zoom in on the photos the bill details have been too manipulated by AI photo editing to be accurately assessed for which species may be involved.
Scroll on… A cool-looking Red-tailed Hawk that someone is wondering which subspecies it might be - right up my alley! But when you zoom in on the photos literally every feather group has been so heavily manipulated and altered by AI editing that it’s impossible to determine subspecies because the photo is essentially fake now; just a mashup of whatever AI thinks parts of a Red-tail should look like. 
Scroll on… WOW! That’s a remarkable trail cam photo of a Bobcat! It almost looks like a painting!… but the head looks oddly small…. hmmmm. After some prodding the original photo is produced and sure enough it had been so heavily altered by AI ‘post processing’ that the photo posted was essentially a digital mock-up with totally different proportions and fur markings. No longer the photo off the trail cam; it may as well have just been ‘created’ by AI from scratch.
This stuff is killing me. My days on social media are becoming very limited. We can’t even trust simple, everyday photos of animals to be real. The wildlife community needs to quit editing with AI, and we need to start calling out photographers that are using it. Our reality is being destroyed all around us.
8589974856
Reposted by pwalrus
Matt @mbunchanumbers.bsky.social · 06/12/2025
We got Weird Al out here singing Killing In The Name, the time for moderation is over
117125014427
Reposted by pwalrus
Evan Greer @evangreer.bsky.social · 03/12/2025
🚨 EVERYONE PLEASE RESKEET THIS FOR VISIBILITY!!! 🚨 A big coalition of LGBTQ+, abortion access, and human rights groups led by @fightforthefuture.org are organizing a WEEK OF ACTION this week against online ID checks, aka "age verification" laws. Join us: www.fightforthefuture.org/actions/stop...
1517321591
Reposted by pwalrus
Dare Obasanjo @carnage4life.bsky.social · 28/11/2025
Not wanting to disappoint you so much that it lies is the last quality I want in a computer.
582942571
Reposted by pwalrus
Wolfy D. Lucca 🌗🐺 @spookalucca.tv · 26/11/2025
them: "the risks of cognitive offloading are overblown!" this mofo:
1375
Reposted by pwalrus
Preeti Chhibber @runwithskizzers.bsky.social · 14/11/2025
THEN YOU PURCHASE THEM AND DO NOT USE THE PROPERTY OF OTHERS
1067362180
Reposted by pwalrus
Xalavier Nelson Jr. @writnelson.bsky.social · 06/11/2025
ECONOMICS GAMES ARE NOT ABOUT MONEY AND I CAN PROVE IT BY SHOWING THIS ALIEN BABY ABSOLUTELY BEEFING IT AND LOSING ALL AUTONOMY AND LIVELIHOOD IN SPACE WARLORD BABY TRADING SIMULATOR. I GROW MORE NORMAL BY THE DAY.
923254
Reposted by pwalrus
Carl T. Bergstrom @carlbergstrom.com · 20/10/2025
Genuinely least self-aware motherfucker in Washington.
RFK Jr. explains why socializing with Jeffrey Epstein wasn't such a big deal for him:
...I ran into everybody in NY. I mean, I knew Harvey Weinstein, I knew Roger Ailes, I knew
-- O.J. Simpson came to my house. Bill Cosby came to my house."
2293283675
Reposted by pwalrus
Peter @notalawyer.bsky.social · 13/10/2025
the actual story here, which the media never talks about, is that police in this country have become a discrete right-wing political operation. the story isn't about cops leaving (they're lying about that), it's about the police trying to exert influence over elections.
557212245503
Reposted by pwalrus
Megalulu ♡︎ @megalu.bsky.social · 25/09/2025
The UN Speech that should have been covered wall to wall
11914414
Reposted by pwalrus
Kevin Church (Spooky Remix) @beaucoupkevin.com · 26/09/2025
The most accurate recreation of DS9 I've seen.
1152892190
Reposted by pwalrus
Ed Zitron @edzitron.com · 26/09/2025
I cannot express how wild this quote is. This is a top tech analyst at a well-regarded firm saying that there is not enough capital to actually pay for all the stuff that NVIDIA and OpenAI has promised. It is so important that everybody realizes that *there is not enough money to do this*
6733651279
Reposted by pwalrus
onion person @junlper.beer · 23/09/2025
fascists in the government, anti-fascists are the terrorists. joke of an administration
81465191
Reposted by pwalrus
Christopher Owen @oysta.au · 21/09/2025
Yeah man we should really fight back by staying on X
256169954058
Reposted by pwalrus
Ed Zitron @edzitron.com · 21/09/2025
I was pretty late to covering AI but seemed to get it right in February 2023 www.wheresyoured.at/degenerative...
The result will be genuine human suffering as a result of dressing a fallible, experimental intelligence up as an authoritative source of information. People will be inspired to harm themselves or others, all while their ideas and likenesses are counterfeited and monetized, all so
that wealthy executives can tell the world - and Wall Street - that their companies are "innovative."
6649105
Reposted by pwalrus
jordan @jordantyranny.bsky.social · 16/09/2025
“The law of evolution is that the strongest survives!" 'Yes, and the strongest, in the existence of any social species, are those who are most social. In human terms, most ethical... There is no strength to be gained from hurting one another. Only weakness." ― Ursula K. Le Guin
221310358
Reposted by pwalrus
Conrad Hackett @conradhackett.bsky.social · 15/09/2025
LINK ROT: 38% webpages that existed in 2013 were no longer available 10 years later. Even among pages that existed in 2021, 22% no longer accessible just two years later. This is often because individual page was deleted or removed on otherwise functional website. Many implications for knowledge 🧪
A line chart showing that 38% of webpages from 2013 were no longer accessible one decade later.
291234455
Reposted by pwalrus
Air-rum @aarum.bsky.social · 15/09/2025
This was a word AND he cussed 😂
20586482994
Reposted by pwalrus
Olúfẹ́mi O. Táíwò @olufemiotaiwo.bsky.social · 14/09/2025
this is, hands down, the best video I've seen on men's influencer content and it's not close either
360318208274
Reposted by pwalrus
Families for Safe Streets @familiesforsafestreets.org · 12/09/2025
"In DC a pilot (banning right turn on red) at 74 intersections led to a 92% reduction in failure-to-yield incidents and a 97% drop in vehicle conflicts" Why cities like DC, Raleigh, Ann Arbor, Cambridge & Seattle are rethinking right turn on red @schlthss.bsky.social tooledesign.com/insights/202...
tooledesign.com
Right Turn on Red: It’s Time to Reconsider - Toole Design
Toole Design's Bill Schultheiss and Mariel Colman unpack why it's time to move away from a blanket approach to right turn on red (RTOR).
928670
Reposted by pwalrus
Disney Prime Video + ᵖᵃʳᵒᵈʸ @disneyprimevideo.bsky.social · 10/09/2025
Charlie Kirk stands with Funeral Creator Kyle Rittenhouse

"Political Violence has No Place Here" Says Place Where Political Violence is Regularly Rewarded.
6579148
Reposted by pwalrus
more mr. nice guy @juniorhoncho.bsky.social · 07/08/2025
just imagine... a whole town of mozarts!! hundreds of mozarts to spare even if an entire shift were to perish in the mine
FORTUNE
Jeff Bezos, Elon Musk say human population not nearly big enough: 'If we had a trillion humans, we would have at any given time a thousand Mozarts'
2052074
Reposted by pwalrus
Hell Frasier: Bloodline @babadooknukem.bsky.social · 01/09/2025
Much like "crab", industrial music is constantly re-evolving from first principles basically anywhere where there's a bunch of metal and plastic laying about
234110733447
Reposted by pwalrus
Boatsim Boosterism @beasmeeply.bsky.social · 24/08/2025
"I reject the question" is a robust social philosophy. Metaphorically, literally, spiritually, emotionally: hit da bricks
2463140
Reposted by pwalrus
Olúfẹ́mi O. Táíwò @olufemiotaiwo.bsky.social · 17/08/2025
put street trees everywhere you can in a neighborhood, make curb cuts so that their roots can absorb storm water from the street, grow native plants around their base, check back in five years and count how many welfare and health measures have improved
272396541
Reposted by pwalrus
Joanna "Ms. Crow" Blackhart [They/Them] @joannablackhart.com · 12/08/2025
This is not a joke. Consider this. Its 150 gigs for images and all. That's literally less than one AAA game.
4650043290
Reposted by pwalrus
A.R. Moxon @juliusgoat.bsky.social · 12/08/2025
somehow it's worse than this
Simpsons future scene wherein a remote in a Pepsi-branded classroom issues partial credit to a remote student for answering a question "Pepsi?"
428145
Reposted by pwalrus
Gareth Watkins @garethwatkins.bsky.social · 10/08/2025
Somebody on LinkedIn said what we're all thinking.
480247255179