Cyrus Omar

Cyrus Omar

@neurocy.bsky.social

🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar

1,028 Followers 449 Following 71 Posts Joined May 2023
1 day ago

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."

488 188 5 7
5 days ago
Video thumbnail

Which Network Operating System Does Oxide Use? FAQ Friday #38

46 5 3 1
5 days ago
Post image Post image Post image Post image

Some people drink coffee.
Others drink coffee and reason about it formally ☕

FP & proof assistant mugs →
https://twp.ai/9PatXs

1 2 0 0
5 days ago

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.

2,055 645 71 20
1 week ago
Preview
Call for abstracts: Rewilding the Web: diversity and resilience in digital infrastructure This workshop will bring together ecologists, philosophers, cultural theorists, and technologists to discuss how contemporary insights from theoretical biology and ecology can provide a richer understanding of what makes for a thriving biosphere, and how this might provide inspiration for cultivating sociotechnical infrastructure that is more resilient against co-option by monopolising tendencies.

@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!

22 6 0 4
1 week ago

cant stop thinking about this , wondering how weird we can make code editors if we completely abandon their current structure

34 1 1 0
1 week ago

the templeOS of ides

26 3 0 3
1 week ago
Post image

making a GUI IDE in 2026 is an increasingly meditative act

121 13 8 4
1 week ago

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.

9,520 4,134 77 165
1 week ago

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.

8,328 2,492 98 107
1 week ago
Preview
Insiders Fear Steep Civilian Toll In Iran After Trump Slashed Pentagon Personnel The U.S. has "no stupid rules of engagement," Defense Secretary Pete Hegseth said Monday.

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-...

93 60 3 7
1 week ago

this somehow looks a lot like [hazel](hazel.org) or some mahjong games

9 3 0 0
1 week ago
A line graph showing NSF grant awards made through 2/27/26 for fiscal year 2026 compared with grant awards for fiscal years 2021-2025 for the Directorate of Computer and Informations Science and Engineering.

3/10

75 12 1 2
1 week ago
Post image

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.

23,874 5,955 1,730 632
2 weeks ago
Proof Assistants in the Age of AI Leonardo de Moura — Creator Lean and Z3

"Readable formal specifications are not a convenience that AI can replace. They are the foundation of trust."

3 1 0 0
2 weeks ago

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

93 55 2 1
2 weeks ago

This allows the Trump administration to literally condition citizenship on what it defines as acceptable speech

1,902 805 48 15
2 weeks ago

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!

804 168 4 5
2 weeks ago

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.

15,150 5,673 206 272
2 weeks ago

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.

2,318 963 18 23
2 weeks ago

do you code goofy or regular?

125 12 18 0
3 weeks ago

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.

41,055 10,834 476 1,027
3 weeks ago
Preview
Browse code by meaning Navigate a repository using topic modeling

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...

73 16 5 1
3 weeks ago
Preview
The Case for Keeping ICE and CBP Defunded - The American Prospect Democrats should not provide one thin dime to MAGA storm troopers.

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:

654 195 9 22
3 weeks ago

glad you've moved on from your subliminal ways

2 0 0 0
3 weeks ago

Hey definitely call your senators about this. Like seriously.

3,391 2,759 16 13
3 weeks ago
Preview
Idaho families sue over immigration raid that swept up hundreds, including U.S. citizens — NBC News About 400 people, including children and U.S. citizens, were detained for four hours while they were denied food and water in the raid, according to the lawsuit.

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...

7,618 3,970 239 610
1 month ago

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"

5 7 1 0
1 month ago

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.

20 6 1 0