lattice (order) vs lattice (group) is one of the most annoying terminological clashes in math, I think

because what do you mean "ideal lattice" ≠ "lattice of ideals"

Can anyone show me where in the rules it says that Caruso's shoe block is a goaltend: official.nba.com/rule-no-11-b... #nba

We're running a user study, maybe you can help!

We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

Fagioli: The Bean Cuisine of Italy This revised and expanded edition of Judith Barrett's seminal book on Italian bean cuisine honors every region of Italy with more than 120 inspiring recipes for modern home cooks. Barrett introduces u...

unbeatable cookbook www.ranchogordo.com/products/fag...

A line graph of the number of NSF awards in fiscal 2026 compared to fiscal years 2021-2025. The fiscal year 2026 is well below the other curves and increasing only very slowly.

NSF Update through March 13, 2026

1/2

At ~$1 billion/day, the US has spent as much on the war in Iran in ten days as the entire FY25 budget for the National Science Foundation ($10 billion).

Trump's FY26 budget request for the agency declined to $3.9 billion, due to a "realignment of resources in a constrained fiscal environment."

Needham native Amy Littlefield hunts for the ‘Killers of Roe’ in a book of journalism that pays homage to Agatha Christie - The Boston Globe Q&A w/Needham-raised investigative reporter Amy Littlefield ahead of the release of her new book, Killers of Roe, a deep dive into the architects and hidden motives behind the fall of abortion rights.

Happy pub day to me! Coffee and this beautiful Q&A by the wonderful @katetuttle.bsky.social in the Boston Globe is the perfect way to celebrate!

www.bostonglobe.com/2026/03/10/a...

This is all a lot, but as far as "grammatical errors or nonstandard syntax" -- something I really love is when people are too stupid to recognize an intentional style decision, and instead believe they're discovering errors.

General techniques sure, gluing/logical relations. Algorithmically checkable not sure what you mean exactly but probably not

Nice observation. Though proving double negation internally is much stronger than externally proving something is a conservative extension. E.g. "all functions are continuous" and LEM are both conservative extensions of constructive type theory (eg HoTT) but their double negations are not provable

(Complimentary)

Of course without functional dependency you have to deal with non-determinism/partiality

I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames).
2 hours • $50 Visa prepaid card
Hoping to finish sessions by March 13.
Details + sign up in 🧵
Reposts appreciated! 🙏

The Man Who Stole Infinity | Quanta Magazine In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.

www.quantamagazine.org/the-man-who-...
Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.

Statements made by the utterly deranged

Reminder: the entire NSF budget is 9B and NIH like 47B. And they have 500B that they don’t know how to spend.

remember: if the USA loses, 3-on-3 overtime is a travesty. if the USA wins the people complaining about it are sore losers

join our study pls

a text editor is a projective visual direct manipulation programming tool which converts abtract syntax to a tangible, material, spatialized substance (text), and uses a tactile peripheral (keyboard) to effect rich semantic transformations in a physicalized humanized ergonomic milieu

Any particular examples you have in mind here?

Congrats!

Successfully defended my dissertation today. Now Dr. Joe!

Syntax being inductive and semantics being structurally recursive over syntax is the entire idea of compositional/denotational semantics

Who do you order from

|- is syntax and |= is semantics so makes sense to me

The current regime took a week to abolish USAID, which is three times as old and was not in the news every day for brutalizing children

on the balance i think partisan gerrymandering is bad but the only way it ends is if democrats weaponize it against republicans everywhere they can. wiping out republican lawmakers in blue states might bring the GOP to the table to end the practice.

At press time, it remained unclear whether adults should be held responsible for their actions.

Note from the editors: ProPublica is publishing the names of the two federal immigration agents involved in the fatal shooting of Minnesota protester Alex Pretti. We believe there are few investigations that deserve more sunlight and public scrutiny than this one, in which two masked agents fired 10 shots at Pretti as he lay on the ground after being pepper-sprayed. The Department of Justice said it is investigating the incident, but the names of the two agents have been withheld from Congress and from state and local law enforcement. The policy of shielding officers’ identities, particularly after a public shooting, is a stark departure from standard law enforcement protocols, according to lawmakers, state attorneys general and former federal officials. Such secrecy, in our view, deprives the public of the most fundamental tool for accountability.

A note from our editors: