Lightnews — Scholar-powered news

asker the gauche, glycojohn destroyer of carbs

@johnbender.bsky.social

140 followers 89 following 330 posts

Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.

Posts Media Videos Starter Packs

Pinned

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · Nov 23

pin it

Loris D'Antoni @lorisdanto.bsky.social · Nov 23

Impossible to know for sure without a Coq formalization

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 2d

I guess maybe also figuratively 😔

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 2d

Literally, transitively or both? 😬

Reposted by asker the gauche, glycojohn destroyer of carbs

conputer dipshit @davidcrespo.bsky.social · 9d

just realized the dril drunk driving tweet also works for regular driving

wint @dril
drunk driving may kill a lot of people, but it also helps a lot of people get to work on time, so, it;s impossible to say if its bad or not,

1 72 330

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 4d

nah it just snagged when he was taking out his comb

derek guy @dieworkwear.bsky.social · 4d

this is the jacket's breast pocket lining pulled up to make it look like a pocket square

Stephen Miller in a gray suit, white shirt, and gray tie.

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 4d

The oft ignored caveat to “it’s just help” is that discipline is in short supply for most developers on a somewhat regular basis. So, when getting something done feels better than locking in it’s uncertain if it’s a net gain.

All that to say, we don’t know where and when this is a net win yet. 🤷

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 4d

rebrand: locally sourced, organic package collection

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 5d

Frosted Flakes over Honey Bunches of Oats? time to find new friends

SungWon Cho @prozdishere.bsky.social · 5d

my friends and i did a CEREAL BRACKET, randomized seeds, it was very enlightening for me to learn that half of my friends have DOGSHIT GRANDPA TASTE IN CEREAL, how did CORN POPS get to TOP 4, anyways we landed on

1. Cinnamon Toast Crunch
2. Frosted Flakes
3. Honey Bunches of Oats
4. Corn Pops

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 5d

this is the kind of high quality shitposting that LinkedIn is missing 10/10

Reposted by asker the gauche, glycojohn destroyer of carbs

Andrea Junker @strandjunker.com · 6d

“Terrible things are happening outside. Poor helpless people are being dragged out of their homes. Families are torn apart. Men, women, and children are separated. Children come home from school to find that their parents have disappeared.”

Diary of Anne Frank
January 13, 1943

260 8K 17K

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 6d

There are a lot of rather awful things going on in the world just now but fwiw I had a nice bike ride today.

(A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 7d

I have to say following tweets about this book for the last few months has given me a sense that it has a necronomiconesque quality, filled to the overflowing with eldritch knowledge and horrors (and as I write this it occurs me that may be altogether appropriate given the actual subject matter)

1 1 2

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 9d

bruh 🫠🫠🫠🫠

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 9d

we’re already so close to 40k, prompt engineering is effectively praying to the machine spirit and thermal paste is really just a machine salve

Anna Hollinrake @ MIGW & SXSW! @annahollinrake.com · 9d

I'm not really superstitious about anything, except the computer, which must be restarted if it has been on too long, to cleanse it of bad or negative energies

Reposted by asker the gauche, glycojohn destroyer of carbs

Miriam Posner @miriamposner.com · 10d

Once again, it is *faculty*—not administrators—who brought this case and won. Including UC Faculty Association chapters of the AAUP.

Court Rules in AAUP v Rubio: Trump Admin Violated First Amendment

The AAUP and partners sued to block the Trump administration from carrying out large-scale arrests, detentions, and deportations of noncitizen students and faculty members for ideological reasons.

www.aaup.org

4 270 880

Reposted by asker the gauche, glycojohn destroyer of carbs

David Van Horn @lambda-calcul.us · 10d

Can't stress this enough:

Miriam Posner @miriamposner.com · 10d

Once again, it is *faculty*—not administrators—who brought this case and won. Including UC Faculty Association chapters of the AAUP.

Court Rules in AAUP v Rubio: Trump Admin Violated First Amendment

The AAUP and partners sued to block the Trump administration from carrying out large-scale arrests, detentions, and deportations of noncitizen students and faculty members for ideological reasons.

www.aaup.org

1 1 7

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 11d

the only people left on these platforms love polka dots it’s not that complicated

@ratlimit @ratlimit.bsky.social · 11d

This is the single most overrated image on the internet. Pisses me off how every time I see it, it has thousands of Likes.

Airplane diagram with red dots marking where planes are shot

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 11d

What you both say is fair and correct but I really have experienced not feeling up to programming when the stakes are high and these techniques are my safety net, eg types and refactoring.

Anyway, I guess I’d say the folks who usually do this are mostly guilty of being a bit too pithy?

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 12d

whoa whoa whoa I’ve been living under a rock clearly

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 18d

My brilliant wife!

www.nytimes.com/2025/09/21/s...

A Beauty Brand Hit-Maker Strikes Out on Her Own

www.nytimes.com

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 19d

🎶Believe it or not🎶

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 20d

“Is this Milton Friedman person in the room with us right now?”

1 1

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 25d

Just got around to watching stage 16 of the Vuelta and I swear I’m not crying. An Egan Bernal stage win is all I wanted from this sport for the last few years. After nearly dying in an awful training accident he’s back to winning. Incredible person, amazing cyclist, brilliant win.

1 4

Reposted by asker the gauche, glycojohn destroyer of carbs

Jonathan Aldrich @jonathanaldrich.bsky.social · 25d

Today's video introduces my coverage of program semantics, from Chapter 4 of our Programming Language Pragmatics text:

PLP 4.1: Program Semantics and Abstract Syntax Trees - youtu.be/7JrF4TeavZM

For more content, check out the whole playlist: tinyurl.com/PLP5vids

PLP 4.1: Program Semantics and Abstract Syntax Trees

YouTube video by Jonathan Aldrich

youtu.be

1 1 1

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 27d

some beyblade-ass product names too

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · Sep 6

@steveklabnik.com

1 1