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."
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! 🙏
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:
I am really angry about all of the scientists who cozied up to Epstein even after it was known who he was.
I am nearly as angry at how many people are justifying this as "they had to, it's how academia works"
NO IT FUCKING WELL ISN'T
I was just telling Carlo Angiuli that "type safety" is a bad term and we shouldn't use it.
Elm obviously. It made functional programming mainstream
A moment of silence that ends with someone shouting "fuck ICE!" and the crowd roaring in response
DHS has shot 12 people during immigration enforcement operations since September:
