asker the gauche, glycojohn destroyer of carbs
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Pinned
Impossible to know for sure without a Coq formalization
pin it
Reposted by asker the gauche, glycojohn destroyer of carbs
WE WON. I am *begging* you to take note of who did this. *Not* UCLA admin—they’re still scuttling around behind closed doors, attempting to appease—but FACULTY AND STAFF, led by AAUP.
BREAKING: In AAUP et al v. Trump (wall-to-wall union lawsuit challenging the administration’s unlawful use of TItle VI to reshape the University of California system), the faculty and staff of the UC system WON!!!
We were granted our preliminary injunction! @aaup.org
We were granted our preliminary injunction! @aaup.org
November 15, 2025 at 12:01 AM
WE WON. I am *begging* you to take note of who did this. *Not* UCLA admin—they’re still scuttling around behind closed doors, attempting to appease—but FACULTY AND STAFF, led by AAUP.
Reposted by asker the gauche, glycojohn destroyer of carbs
If sandwich shops don’t start offering a sandwich named “the acquittal” then what are we even doing
November 6, 2025 at 9:27 PM
If sandwich shops don’t start offering a sandwich named “the acquittal” then what are we even doing
yesss let it begin
November 6, 2025 at 8:54 PM
yesss let it begin
it remains unclear to me why there isn’t a fund to provide sandwiches for consumption during protest or for “ballistic vest impact” as it where
Border Patrol agent Lairmore testifies that he was not injured by the sandwich, but he felt the impact through his ballistic vest.
The sandwich came apart and "kind of exploded" on his chest upon impact, he says.
"I could smell the onions and mustard."
The sandwich came apart and "kind of exploded" on his chest upon impact, he says.
"I could smell the onions and mustard."
November 4, 2025 at 5:36 PM
it remains unclear to me why there isn’t a fund to provide sandwiches for consumption during protest or for “ballistic vest impact” as it where
Reposted by asker the gauche, glycojohn destroyer of carbs
Academics in Assyria in the 7th c BC complain that admin is preventing them from doing research and teaching
November 3, 2025 at 10:04 AM
Academics in Assyria in the 7th c BC complain that admin is preventing them from doing research and teaching
Change one letter, ruin a candy
Almond Knickers
Almond Knickers
Change one letter, ruin a candy
Wounds
Wounds
Change one letter, ruin a candy
Milky Wax
Milky Wax
October 29, 2025 at 11:31 PM
Change one letter, ruin a candy
Almond Knickers
Almond Knickers
“I can still see the fine print without glasses!” he said nursing his lower back and reading dosage information on the Advil bottle.
October 25, 2025 at 9:58 PM
“I can still see the fine print without glasses!” he said nursing his lower back and reading dosage information on the Advil bottle.
what are we doing here
October 24, 2025 at 8:05 PM
what are we doing here
holy hell Liquid Glass is absolutely awful
October 24, 2025 at 3:37 PM
holy hell Liquid Glass is absolutely awful
😭😂🤣
The only thing that anyone ever needs to know about Bill Ackman is that he once joined a group of avid long distance bikers from NYC to Montauk and back without training or preparation, arrogant in his ability to "lead the pack" and ended up screaming in agony
October 18, 2025 at 12:59 PM
😭😂🤣
it’s not niche, stop using your foot to press the crosswalk button you degenerate
Do you have any extremely niche, but serious, ethical stances?
October 17, 2025 at 5:20 AM
it’s not niche, stop using your foot to press the crosswalk button you degenerate
Reposted by asker the gauche, glycojohn destroyer of carbs
"I have a decent fluency in LLMs, and they have utility, but the absurd degree of over-hype, the way they're being forced on everyone, and the insistence on ignoring the many valid critiques about them make it very difficult to focus on legitimate uses where they might add value."
October 17, 2025 at 4:32 AM
"I have a decent fluency in LLMs, and they have utility, but the absurd degree of over-hype, the way they're being forced on everyone, and the insistence on ignoring the many valid critiques about them make it very difficult to focus on legitimate uses where they might add value."
Reposted by asker the gauche, glycojohn destroyer of carbs
At last, today is the day. I am immensely proud to announce that JavaScript for Everyone is here.
Tell a friend, tell a Slack channel — write it on a slip of paper, fold it once, and slide it across your boss' desk without breaking eye contact. _It's time to get weird._
piccalil.li/javascript-f...
Tell a friend, tell a Slack channel — write it on a slip of paper, fold it once, and slide it across your boss' desk without breaking eye contact. _It's time to get weird._
piccalil.li/javascript-f...
JavaScript for Everyone
A high quality, expansive written course that will elevate your JavaScript skills to a level you never thought was achievable.
piccalil.li
October 14, 2025 at 3:56 PM
At last, today is the day. I am immensely proud to announce that JavaScript for Everyone is here.
Tell a friend, tell a Slack channel — write it on a slip of paper, fold it once, and slide it across your boss' desk without breaking eye contact. _It's time to get weird._
piccalil.li/javascript-f...
Tell a friend, tell a Slack channel — write it on a slip of paper, fold it once, and slide it across your boss' desk without breaking eye contact. _It's time to get weird._
piccalil.li/javascript-f...
Reposted by asker the gauche, glycojohn destroyer of carbs
86,791 words later, countless rounds of thorough technical edits and a humongous team effort building custom infrastructure, JavaScript for Everyone is now ready and available to purchase.
piccalil.li/links/javasc...
piccalil.li/links/javasc...
JavaScript for Everyone is now available
86,791 words later, countless rounds of thorough technical edits and a humongous team effort building custom infrastructure, JavaScript for Everyone is now ready and available to purchase.
piccalil.li
October 14, 2025 at 12:07 PM
86,791 words later, countless rounds of thorough technical edits and a humongous team effort building custom infrastructure, JavaScript for Everyone is now ready and available to purchase.
piccalil.li/links/javasc...
piccalil.li/links/javasc...
searching for your limits is fun, finding them not as much
October 12, 2025 at 11:44 PM
searching for your limits is fun, finding them not as much
Reposted by asker the gauche, glycojohn destroyer of carbs
just realized the dril drunk driving tweet also works for regular driving
October 2, 2025 at 3:23 AM
just realized the dril drunk driving tweet also works for regular driving
nah it just snagged when he was taking out his comb
this is the jacket's breast pocket lining pulled up to make it look like a pocket square
October 7, 2025 at 2:36 AM
nah it just snagged when he was taking out his comb
Frosted Flakes over Honey Bunches of Oats? time to find new friends
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
1. Cinnamon Toast Crunch
2. Frosted Flakes
3. Honey Bunches of Oats
4. Corn Pops
October 6, 2025 at 2:09 AM
Frosted Flakes over Honey Bunches of Oats? time to find new friends
Reposted by asker the gauche, glycojohn destroyer of carbs
“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
Diary of Anne Frank
January 13, 1943
October 4, 2025 at 8:17 PM
“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
Diary of Anne Frank
January 13, 1943
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
(A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb
October 5, 2025 at 1:14 AM
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
(A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb
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
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
October 1, 2025 at 4:06 PM
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
Reposted by asker the gauche, glycojohn destroyer of carbs
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
October 1, 2025 at 1:18 AM
Once again, it is *faculty*—not administrators—who brought this case and won. Including UC Faculty Association chapters of the AAUP.
Reposted by asker the gauche, glycojohn destroyer of carbs
Can't stress this enough:
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
October 1, 2025 at 2:08 AM
Can't stress this enough:
the only people left on these platforms love polka dots it’s not that complicated
This is the single most overrated image on the internet. Pisses me off how every time I see it, it has thousands of Likes.
September 30, 2025 at 3:46 AM
the only people left on these platforms love polka dots it’s not that complicated