again: do not move to the U$ right now if you want to do research or academia
Elin McCready
"The new rules would allow any federal agency to cancel any grant at any time based on the vague assertion that it isn’t in the 'national interest'."
arstechnica.com/science/2026...
the directness of the parallel between this quote from lea levy and the words of kathleen stock back in the day in sussex is just 😵
woooo amazing! hope to see yall soon!!!!
are you apologizing for taking on a whole project (especially that technically rather intense one)? thank you infinitely! but I actually think it's working to put a type presupposition on the content side and let that propagate into the types proper, even without explicit notational indication
if so that would be amazing!
my current thought is: yes, but not necessarily in a way that's reflected in the notation. but yes, in a way that can be alluded to formally when writing generalizations.
