Super pumped to have interviewed Loic Pujet for a new episode! We talked about extensionality in type theory, which comes up a lot in practice (and in theory). open.spotify.com/episode/5B8u... as usual, the RSS: anchor.fm/s/db787130/p...

Loic Pujet - Type theory and extensionality part I

The Church of Logic · Episode

open.spotify.com

Tell them what you are going to tell them. Then tell them. Then tell them what you told them [<- this is the conclusion] So if you are at the point where you think, "I can stop here" then write a paragraph summarizing the journey for someone who was only half paying attention.

Ulrike Franke@rikefranke.bsky.social · last mo.

Hey fellow writers, can someone teach me how to write a conclusion/ final paragraph?! I HATE it. How do I do this?! Every time I look at my article and think “can I not just stop… right here?”

Close enough. Count it

Sam Adams@samadams.bsky.social · last mo.

He made it

ODYSSEUS, BRISTLING WITH RAGE: thou dare attempt to pork my wife? while i’m on my big trip?

Pete Hegseth: "We need our warriors to embrace the Spartan mindset" U.S. Military: *suffers crushing defeat to the Persians*

How do they keep getting away with this lmao

in a lot of ways the current republican government is just the worst, extractive red state governance taken national. total hostility to public goods, total indifference to long-term investment, and a monomaniacal interest in using the state to enrich private benefactors

Andrew Lawrence@ndrew.bsky.social · last mo.

the food safety stuff is another reminder that a large, huge, gigantic part of being a republican is going “lmao why are we spending money to prevent horrifying disasters from happening if they never happen 🤪”

these days, computer companies such as microsoft are turning megabytes into megabucks

www.insidehighered.com/news/faculty...

Brown Professor Suspects Most of His Class Used AI to Cheat

Brown University leaders’ response to the alleged cheating incident has been “meek,” the professor said.

insidehighered.com

Not saying that game was stolen from Egypt but it is now on display at museum in London.

Remembering Egypt’s big lead

haven’t seen America this thoroughly embarrassed on the world stage since we lost that war we started with Iran like 3 weeks ago

I'm so disillusioned, I almost don't even care who gets the FIFA Peace Prize next year

As someone who is a fan of the Saints, Astros and Wolverines, the Balogun suspension being lifted is honestly pretty low on the pecking order of controversies I've had to deal with lol

Varaguay

This is just straightforward white nationalist great replacement rhetoric, the kind of thing that would have been confined to neo-Nazi forums a decade ago. Multiple mass shooters in recent years believed exactly this.

I like Wemby more now that he's evil

Knicks have to raise the NBA cup banner too next year to normalize it

Random Knicks Dark Ages memory of the day: this completely inexplicable cover of “Country Roads” with “New York City” swapped in for “West Virginia” where the verse is just Doug E. Fresh naming neighborhoods and boroughs

roberts and alito have concocted a jurisprudence in which constitutional amendments explicitly ratified to secure the right of black americans to vote now restrain congress from securing the right of black americans to vote.

I’m honored and grateful to share that I’ve received tenure at the University of Michigan!

1961: CACM publishes Tony Hoare's quicksort algorithm. 2026: CACM publishes a self-promo article by some random guy who's pitting different LLMs against each other to pump unmitigated slop into a GitHub repo. Is this what my membership money's going toward, @acm.org?

The most 1999 thing about the previous NBA Finals between the Knicks and the Spurs might be that the Spurs were playing StarCraft against each other in between games

ETHICS #spurs #nba

former Sixer great Julian Champagnie, who the team cut so Mac McClung could wear a Sixers jersey in the dunk contest

Zverev's best shot at a slam ever now. Looking forward to watching him blow it #rolandgarros

A President ordering the Justice Department to criminally investigate a woman who won a sexual assault lawsuit against him makes Watergate look like an unpaid parking ticket.

Have to root for the spurs as they are the only ethical basketball team remaining

In case you haven’t heard we are all boycotting REI until they respect the union. Please spread the word.

UFCW 3000@ufcw3000.bsky.social · 3mo ago

Join us!