Cyrus Omar's Avatar

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,027 Followers  |  447 Following  |  71 Posts  |  Joined: 02.05.2023
Posts Following

Posts by Cyrus Omar (@neurocy.bsky.social)

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

04.03.2026 00:58 β€” πŸ‘ 5    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Policy forces change-your-gender mental violence on unconsenting adults unable to opt out; labels "not performing a strict tiny definition of gender" as mental illness to be "cured". (As w/book bans, a step toward sexuality, sexism, beyond if/when; weird uncare for imprisoned folks abets this test)

02.03.2026 13:59 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
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.

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

01.03.2026 14:48 β€” πŸ‘ 75    πŸ” 12    πŸ’¬ 1    πŸ“Œ 3
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.

02.03.2026 07:54 β€” πŸ‘ 23804    πŸ” 5924    πŸ’¬ 1722    πŸ“Œ 632
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."

19.02.2026 00:53 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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

21.02.2026 16:37 β€” πŸ‘ 93    πŸ” 56    πŸ’¬ 2    πŸ“Œ 1

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

22.02.2026 19:51 β€” πŸ‘ 1904    πŸ” 807    πŸ’¬ 48    πŸ“Œ 15

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!

19.02.2026 06:28 β€” πŸ‘ 804    πŸ” 168    πŸ’¬ 4    πŸ“Œ 5

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.

19.02.2026 13:08 β€” πŸ‘ 15159    πŸ” 5678    πŸ’¬ 208    πŸ“Œ 272

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.

19.02.2026 01:03 β€” πŸ‘ 2268    πŸ” 934    πŸ’¬ 18    πŸ“Œ 22

do you code goofy or regular?

18.02.2026 23:41 β€” πŸ‘ 125    πŸ” 13    πŸ’¬ 18    πŸ“Œ 0

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.

18.02.2026 17:39 β€” πŸ‘ 41053    πŸ” 10836    πŸ’¬ 477    πŸ“Œ 1029
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...

16.02.2026 15:55 β€” πŸ‘ 73    πŸ” 16    πŸ’¬ 5    πŸ“Œ 1
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:

16.02.2026 14:25 β€” πŸ‘ 654    πŸ” 195    πŸ’¬ 10    πŸ“Œ 22

glad you've moved on from your subliminal ways

15.02.2026 01:54 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Hey definitely call your senators about this. Like seriously.

12.02.2026 03:29 β€” πŸ‘ 3392    πŸ” 2762    πŸ’¬ 16    πŸ“Œ 13
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...

12.02.2026 01:35 β€” πŸ‘ 7624    πŸ” 3975    πŸ’¬ 240    πŸ“Œ 611

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"

11.02.2026 12:59 β€” πŸ‘ 5    πŸ” 7    πŸ’¬ 1    πŸ“Œ 0

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.

11.02.2026 13:53 β€” πŸ‘ 20    πŸ” 6    πŸ’¬ 1    πŸ“Œ 0

Friends from Minneapolis reporting to me that things are at the point where folks are being hidden in other people's houses and we are in the "again" part of "never again" which the "never" was supposed to preclude

10.02.2026 22:54 β€” πŸ‘ 27142    πŸ” 9614    πŸ’¬ 56    πŸ“Œ 358

THEY ARE BUYING UP WAREHOUSES TO HOLD HUMAN BEINGS IN DETENTION INDEFINITELY.

I feel crazy at how everyone is acting like this is normal. These are concentration camps being built right before our eyes. These buildings are not meant to house human beings. People will be caged like cattle and die.

10.02.2026 23:19 β€” πŸ‘ 6457    πŸ” 2411    πŸ’¬ 147    πŸ“Œ 70

This isn’t a setback. This is deliberately thwarting the research and development of safe and effective medicine.

10.02.2026 23:46 β€” πŸ‘ 2606    πŸ” 785    πŸ’¬ 35    πŸ“Œ 8

Amongst other things, this again highlights the core point about due process. It’s bad enough to be in a β€œshow me your papers” situation, but your precious citizen/non-citizen, β€œlegal”/β€œillegal” distinctions are meaningless when you can’t prove anything to authorities because they don’t give a shit.

09.02.2026 12:59 β€” πŸ‘ 3334    πŸ” 1114    πŸ’¬ 36    πŸ“Œ 22

This is what we’re doing to people. We are the bad guys.

09.02.2026 11:48 β€” πŸ‘ 2439    πŸ” 1082    πŸ’¬ 36    πŸ“Œ 33
Preview
Avoiding Medical Care due to Heightened Immigration Enforcement Concerns: Findings from a National Latino Immigrant Sample - Journal of General Internal Medicine Journal of General Internal Medicine -

"Due specifically to deportation plans announced by President Trump, 13% of Latino immigrants reported avoiding healthcare services. Less than half of those who have avoided care were naturalized citizens (44%)"

link.springer.com/article/10.1...

09.02.2026 14:58 β€” πŸ‘ 34    πŸ” 11    πŸ’¬ 0    πŸ“Œ 1

ICE is torturing legal residents until they agree to deportation

09.02.2026 14:12 β€” πŸ‘ 787    πŸ” 204    πŸ’¬ 5    πŸ“Œ 1

i'm afraid to ask this but how can a bunny be bad

07.02.2026 06:18 β€” πŸ‘ 129    πŸ” 9    πŸ’¬ 28    πŸ“Œ 5

Weird how these posts never include "I support national legislation to limit gerrymandering"

07.02.2026 03:24 β€” πŸ‘ 2630    πŸ” 279    πŸ’¬ 45    πŸ“Œ 7

This galaxy is VERY tinyβ€”much much smaller than our own Milky Wayβ€”& incredibly distant. But we can see it AND distinguish its shape!

How?

The light we see from it is from SO LONG AGO that the Universe was MUCH smaller at the time: we see it as it was when it was close enough to us to look big!! 🀯

07.02.2026 02:28 β€” πŸ‘ 1295    πŸ” 242    πŸ’¬ 26    πŸ“Œ 5

I had long since rewritten the app myself in Swift, so this was only a contrived test of Xcode's new agentic programming support. But it did in 5 mins what took me months (years?) of on-again/off-again effort and preparation

05.02.2026 13:24 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 1