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)

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 β€” πŸ‘ 1905    πŸ” 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    πŸ’¬ 209    πŸ“Œ 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 β€” πŸ‘ 2269    πŸ” 935    πŸ’¬ 18    πŸ“Œ 22

do you code goofy or regular?

18.02.2026 23:41 β€” πŸ‘ 124    πŸ” 13    πŸ’¬ 17    πŸ“Œ 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    πŸ” 10840    πŸ’¬ 477    πŸ“Œ 1031
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    πŸ” 196    πŸ’¬ 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 β€” πŸ‘ 7627    πŸ” 3977    πŸ’¬ 240    πŸ“Œ 613

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 β€” πŸ‘ 27141    πŸ” 9616    πŸ’¬ 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 β€” πŸ‘ 6456    πŸ” 2410    πŸ’¬ 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 β€” πŸ‘ 2607    πŸ” 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 β€” πŸ‘ 3333    πŸ” 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

make more liberatory computing propaganda, please

05.02.2026 21:10 β€” πŸ‘ 18    πŸ” 4    πŸ’¬ 2    πŸ“Œ 3
Post image

7. #CDC reports that about 95% of the confirmed cases so far this year are in people who aren't fully vaccinated (2 shots).
This map shows most parts of the country don't have measles vaccination rates high enough to stop spread if measles is introduced. Measles isn't going away anytime soon.

06.02.2026 21:06 β€” πŸ‘ 26    πŸ” 12    πŸ’¬ 1    πŸ“Œ 0

Dems inability to imagine a better country needs to be addressed. They need to dream bigger and fight harder. American and dem constituents are under attack and these cowards want to negotiate surrender.

06.02.2026 23:55 β€” πŸ‘ 963    πŸ” 86    πŸ’¬ 24    πŸ“Œ 4