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."
Which Network Operating System Does Oxide Use? FAQ Friday #38
Some people drink coffee.
Others drink coffee and reason about it formally ☕
FP & proof assistant mugs →
https://twp.ai/9PatXs
I'm unsure how people really think people were downplaying a virus that can kill you, make you go blind, wipe out your immune system for years, and oh yeah come back and kill you a decade after you thought you'd shaken it.
@kathrynnave.bsky.social and Dave Ward are organising a workshop in Edinburgh on rewilding the web at the end of May! I'll be speaking about https://anil.recoil.org/papers/2025-internet-ecology there, and I hope to see some of you there too!
cant stop thinking about this , wondering how weird we can make code editors if we completely abandon their current structure
the templeOS of ides
making a GUI IDE in 2026 is an increasingly meditative act
When someone says „Scientists do not want you to know“ you can dismiss everything from there on. Scientists want you to know. They are desperate that you know. They can’t shut up about what they found out and want you to know.
There's been a lot of debate within the Democratic establishment about what rhetoric to use via ICE.
Well, an incumbent doesn't lose by 48 percentage points very often—and her vote on collaborating with ICE was the defining issue here.
Before the war on Iran, Trump dismantled teams at the Pentagon that focused on limiting civilian casualties in conflict
Upon entering the war, the admin says: “no stupid rules of engagement”
Big fear of war crimes among sources familiar with military discussions
www.huffpost.com/entry/trump-...
this somehow looks a lot like [hazel](hazel.org) or some mahjong games
3/10
You cannot talk like this about any other minority in America.
And if it was any other president’s adviser who said something like this about any other minority, it’d be the instant end of their presidency.
"Readable formal specifications are not a convenience that AI can replace. They are the foundation of trust."
Reminder: the entire NSF budget is 9B and NIH like 47B. And they have 500B that they don’t know how to spend.
This allows the Trump administration to literally condition citizenship on what it defines as acceptable speech
every time someone’s like “why can’t we have a nuanced discussion about trans issues” i want to scream “MANY OF US ARE ALREADY NAVIGATING OUTRAGEOUSLY DEGRADING ‘NUANCED DISCUSSIONS’ WITH LOVED ONES ABOUT WHETHER WE’RE FULL PEOPLE WHO CHANGED OR THE WALKING UNDEAD.”
just let us piss & play soccer!
UK: Prince Andrew arrested.
South Korea: Former President Yoon sentenced for life.
Brazil: Former President Bolsonaro serving a 27-year sentence.
USA: President Trump demands $10 billion payout from taxpayers.
People can say it’s utopian or dreamy but it’s a fact that you have to believe new things are possible, fundamentally, in order to make them real. You have to make the choice to believe that more than this is possible & not be resigned to this being the way things have to be because it’s not at all.
do you code goofy or regular?
BREAKING: The Department of Education has ended its directive that attempted to restrict diversity, equity, and inclusion efforts in schools nationwide.
This is a victory for academic freedom and education equity.
We can build better interfaces to language models than chat if we're willing to put in the design and engineering work. This post showcases a proof-of-concept implementation of one such interface: a semantic navigator for an arbitrary repository of files
haskellforall.com/2026/02/brow...
ICE/CBP have gone unfunded for 3 days; how about 3 years? The best way to claw back the $170 billion immigration enforcement surge in the Big Beautiful Bill is to just claw it back. The 2nd-best way is to slowly drain it by never funding the underlying appropriation. @ryanlcooper.com makes the case:
glad you've moved on from your subliminal ways
Hey definitely call your senators about this. Like seriously.
More than 400 people, including hundreds of citizens, were “sorted” at gun point into racial and ethnic groups by 200 ICE agents who fired flash-bang grenades into cars with people inside, pointed guns at children & demanded their zip tied parents not comfort them. apple.news/Ausdx6kWtT0e...
Google "provided ICE with the usernames, physical addresses, and an itemized list of services associated with the Google account of Amandla Thomas-Johnson, a British student and journalist who briefly attended a pro-Palestinian protest in 2024 while attending Cornell University in New York"
Your regular reminder that the citizens who serve on these DC grand juries lack the basic right to representation in the very government they are asked to participate in. Statehood for DC must be at the top of the agenda when we get through this crisis.