Cyrus Omar
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Reposted by Cyrus Omar
Striking a boat full of unarmed civilians is murder. The first strike was murder. The followup strike was also murder.
We're not at war. It's not a "war crime". Everyone involved, including the POTUS, SecDef, the Admiral who relayed it and the person who pressed the button needs to be on trial.
We're not at war. It's not a "war crime". Everyone involved, including the POTUS, SecDef, the Admiral who relayed it and the person who pressed the button needs to be on trial.
December 3, 2025 at 5:43 AM
Striking a boat full of unarmed civilians is murder. The first strike was murder. The followup strike was also murder.
We're not at war. It's not a "war crime". Everyone involved, including the POTUS, SecDef, the Admiral who relayed it and the person who pressed the button needs to be on trial.
We're not at war. It's not a "war crime". Everyone involved, including the POTUS, SecDef, the Admiral who relayed it and the person who pressed the button needs to be on trial.
Reposted by Cyrus Omar
“I think we have to be careful with the Nazi comparisons” people are always waiting until we are five minutes until the Holocaust and then they’re like well it’s only ethnic cleansing not a Holocaust
Is this clear enough or are we still doing that whole thing where we pretend it’s about “crime”?
December 3, 2025 at 1:03 AM
“I think we have to be careful with the Nazi comparisons” people are always waiting until we are five minutes until the Holocaust and then they’re like well it’s only ethnic cleansing not a Holocaust
Reposted by Cyrus Omar
She shouldn't have to keep doing this by herself. She is supposedly a member of a political party and every single one of her *colleagues* should be BLASTING the fascist in chief. ALL OF THEM. Where is the solidarity???
Congresswoman Omar calls Trump's comments about her 'creepy' after the US president launches into an anti-Somali tirade.
Ilhan Omar denounces Donald Trump for calling Somali immigrants ‘garbage’
Congresswoman Omar calls Trump's comments about her 'creepy' after the US president launches into an anti-Somali tirade.
bit.ly
December 3, 2025 at 12:34 AM
She shouldn't have to keep doing this by herself. She is supposedly a member of a political party and every single one of her *colleagues* should be BLASTING the fascist in chief. ALL OF THEM. Where is the solidarity???
Reposted by Cyrus Omar
As many expected, the truth is finally coming out, they were just fishermen. The family of the Colombian man killed in the Sept. 15 U.S. military strike in the Caribbean Sea has now filed a formal complaint with the Inter-American Commission on Human Rights, alleging
December 2, 2025 at 11:36 PM
As many expected, the truth is finally coming out, they were just fishermen. The family of the Colombian man killed in the Sept. 15 U.S. military strike in the Caribbean Sea has now filed a formal complaint with the Inter-American Commission on Human Rights, alleging
Reposted by Cyrus Omar
A couple weeks ago I had the great pleasure of inviting Rustan Leino (of Dafny fame) on my podcast, to talk about all sorts of logic stuff!
Part II to come soon!
open.spotify.com/episode/4d9J...
Part II to come soon!
open.spotify.com/episode/4d9J...
Rustan Leino - part I
Spotify video
open.spotify.com
December 1, 2025 at 10:14 PM
A couple weeks ago I had the great pleasure of inviting Rustan Leino (of Dafny fame) on my podcast, to talk about all sorts of logic stuff!
Part II to come soon!
open.spotify.com/episode/4d9J...
Part II to come soon!
open.spotify.com/episode/4d9J...
Reposted by Cyrus Omar
The news has entirely failed to grasp the unprecedented scope of the ICE and DHS budgets. Nothing like it in modern history. A galaxy of public/private surveillance and caging institutions for $100,000,000,000s unleashed on a public that will be forever changed. www.brennancenter.org/our-work/res...
ICE Wants to Go After Dissenters as well as Immigrants
The Trump administration is being open about its plans to violate Americans’ First and Fourth Amendment rights.
www.brennancenter.org
December 1, 2025 at 12:33 PM
The news has entirely failed to grasp the unprecedented scope of the ICE and DHS budgets. Nothing like it in modern history. A galaxy of public/private surveillance and caging institutions for $100,000,000,000s unleashed on a public that will be forever changed. www.brennancenter.org/our-work/res...
Reposted by Cyrus Omar
presented without comment
December 1, 2025 at 2:28 AM
presented without comment
Reposted by Cyrus Omar
🧵This 58-year-old nurse from Maryland is seen being violently dragged along the ground by officials in Ghana.
Trump deported her there.
This abhorrent & disgusting abuse of a woman who saved American lives and cared for injured and ill Americans for 30 years.
All the details below are worse.
Trump deported her there.
This abhorrent & disgusting abuse of a woman who saved American lives and cared for injured and ill Americans for 30 years.
All the details below are worse.
Woman deported from Maryland shown on video being dragged in Ghana
Rabbiatu Kuyateh was detained this summer at her annual ICE check-in, her son said. She moved to the D.C. area 30 years ago as she fled civil war in Sierra Leone.
www.nbcnews.com
November 30, 2025 at 4:30 AM
🧵This 58-year-old nurse from Maryland is seen being violently dragged along the ground by officials in Ghana.
Trump deported her there.
This abhorrent & disgusting abuse of a woman who saved American lives and cared for injured and ill Americans for 30 years.
All the details below are worse.
Trump deported her there.
This abhorrent & disgusting abuse of a woman who saved American lives and cared for injured and ill Americans for 30 years.
All the details below are worse.
Reposted by Cyrus Omar
for instance, the c programming language teaches you not to want a computer that works
"Programming languages teach you not to want what they cannot
provide."
provide."
November 24, 2025 at 5:41 PM
for instance, the c programming language teaches you not to want a computer that works
Reposted by Cyrus Omar
To paraphrase what an ICE field director said at a Texas hiring event earlier this year: what makes ICE different from other law enforcement officers is that we catch criminals "before" a crime is committed.
NEW: ICE has finally released post-shutdown detention data. The latest data reveals that a full 40%(!) of people arrested in the interior and held in ICE detention have no criminal record; no criminal charges or prior convictions. That is up from just 4% when Trump took office.
November 24, 2025 at 3:57 PM
To paraphrase what an ICE field director said at a Texas hiring event earlier this year: what makes ICE different from other law enforcement officers is that we catch criminals "before" a crime is committed.
Reposted by Cyrus Omar
I invented this thing called The Utility Mat
It’s a silicone work mat that captures excess mixed resin and forms it into useful tools and items (Stir sticks, scrapers, spreaders etc) instead of amorphous trash. You work right on top of it
I make them myself and sell them at keithdecent.com
🧶
It’s a silicone work mat that captures excess mixed resin and forms it into useful tools and items (Stir sticks, scrapers, spreaders etc) instead of amorphous trash. You work right on top of it
I make them myself and sell them at keithdecent.com
🧶
November 3, 2024 at 8:51 AM
I invented this thing called The Utility Mat
It’s a silicone work mat that captures excess mixed resin and forms it into useful tools and items (Stir sticks, scrapers, spreaders etc) instead of amorphous trash. You work right on top of it
I make them myself and sell them at keithdecent.com
🧶
It’s a silicone work mat that captures excess mixed resin and forms it into useful tools and items (Stir sticks, scrapers, spreaders etc) instead of amorphous trash. You work right on top of it
I make them myself and sell them at keithdecent.com
🧶
Reposted by Cyrus Omar
They are literally firing all the judges they think might grant relief. They just fired a friend of mine a couple hours ago. They have no shame. The bastards want an assembly line for deportations and nothing more; rubber-stamping bootlickers who’ll yes’sir at every new diktat to deny.
Instead of hiring more immigration judges, the Department of Justice just posted an ad for "deportation judges." join.justice.gov
November 21, 2025 at 11:17 PM
They are literally firing all the judges they think might grant relief. They just fired a friend of mine a couple hours ago. They have no shame. The bastards want an assembly line for deportations and nothing more; rubber-stamping bootlickers who’ll yes’sir at every new diktat to deny.
Reposted by Cyrus Omar
On this Trans Day of Remembrance, we remember the bright and courageous trans people whose lives were stolen by hatred. Their absence is felt across our city.
We will honor them by building a New York where every trans person can live safely, fully and freely.
We will honor them by building a New York where every trans person can live safely, fully and freely.
November 20, 2025 at 4:57 PM
On this Trans Day of Remembrance, we remember the bright and courageous trans people whose lives were stolen by hatred. Their absence is felt across our city.
We will honor them by building a New York where every trans person can live safely, fully and freely.
We will honor them by building a New York where every trans person can live safely, fully and freely.
Reposted by Cyrus Omar
Reposted by Cyrus Omar
Software Substrates Workshop. Submission deadline Feb 20
2026.programming-conference.org/home/substra...
2026.programming-conference.org/home/substra...
Substrates 2026 - Substrates-26 - ‹Programming› 2026
An increasing number of researchers see their work as interactive authoring tools or software substrates for interactive computational media. By talking about “authoring tools”, we remove the divide b...
2026.programming-conference.org
November 20, 2025 at 3:53 AM
Software Substrates Workshop. Submission deadline Feb 20
2026.programming-conference.org/home/substra...
2026.programming-conference.org/home/substra...
Reposted by Cyrus Omar
Apparently you can reliably jailbreak frontier models with poetry. How … poetic
arxiv.org/html/2511.15...
arxiv.org/html/2511.15...
Adversarial Poetry as a Universal Single-Turn Jailbreak Mechanism in Large Language Models
arxiv.org
November 20, 2025 at 8:45 PM
Apparently you can reliably jailbreak frontier models with poetry. How … poetic
arxiv.org/html/2511.15...
arxiv.org/html/2511.15...
Reposted by Cyrus Omar
Our sociotechnical future is not determined: we can shape it! Preprints are a recent example. Let’s keep hoping and building together!
November 20, 2025 at 10:33 AM
Our sociotechnical future is not determined: we can shape it! Preprints are a recent example. Let’s keep hoping and building together!
Reposted by Cyrus Omar
I've been using—and loving—@kagi.com as my main search engine. This new feature should boost authentic content even more.
> Every piece of harmful AI-generated content you identify helps create a better, more trustworthy search experience for everyone.
blog.kagi.com/slopstop
> Every piece of harmful AI-generated content you identify helps create a better, more trustworthy search experience for everyone.
blog.kagi.com/slopstop
Introducing SlopStop: Community-driven AI slop detection in Kagi Search | Kagi Blog
blog.kagi.com
November 15, 2025 at 9:40 PM
I've been using—and loving—@kagi.com as my main search engine. This new feature should boost authentic content even more.
> Every piece of harmful AI-generated content you identify helps create a better, more trustworthy search experience for everyone.
blog.kagi.com/slopstop
> Every piece of harmful AI-generated content you identify helps create a better, more trustworthy search experience for everyone.
blog.kagi.com/slopstop
Reposted by Cyrus Omar
With Advent of Code coming up I've written a blog post about solving coding challenges with functional programming. Maybe someone reads it and recognizes that you dont need deep understanding of type theory or monads to get started with the cool stuff. Examples in OCaml.
ecsodikas.eu/posts/functi...
ecsodikas.eu/posts/functi...
Functional Programming for Coding Challenges
A brief introduction into starting coding puzzles with functional programming.
ecsodikas.eu
November 16, 2025 at 1:09 AM
With Advent of Code coming up I've written a blog post about solving coding challenges with functional programming. Maybe someone reads it and recognizes that you dont need deep understanding of type theory or monads to get started with the cool stuff. Examples in OCaml.
ecsodikas.eu/posts/functi...
ecsodikas.eu/posts/functi...
Reposted by Cyrus Omar
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
hazoo
patricoferris.github.io
November 11, 2025 at 4:11 PM
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
Reposted by Cyrus Omar
hazel development, september 2020 - september 2025
October 28, 2025 at 3:45 AM
hazel development, september 2020 - september 2025
Reposted by Cyrus Omar
The best part of going to a conference is the things you learn; come cool talks I saw include @kcsrk.info about formal verification of GCs, others about @neurocy.bsky.social's Hazel, @sadiq.toao.com on OCaml and AI, and how I got Shriramed by... @shriram.bsky.social anil.recoil.org/notes/icfp25...
What I learnt at ICFP/SPLASH 2025 about OCaml, Hazel and FP
anil.recoil.org
October 23, 2025 at 1:12 PM
The best part of going to a conference is the things you learn; come cool talks I saw include @kcsrk.info about formal verification of GCs, others about @neurocy.bsky.social's Hazel, @sadiq.toao.com on OCaml and AI, and how I got Shriramed by... @shriram.bsky.social anil.recoil.org/notes/icfp25...
Reposted by Cyrus Omar
Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!
October 18, 2025 at 2:20 PM
Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!
#SPLASH folks, check out our OOPSLA talk today at 10:30 on Syntactic Completions with Material Obligations! @dm0ney.bsky.social will discuss how we turn arbitrary text into parsed trees by error correction with a generalization of holes called obligations, turning parsing into structure editing!
October 17, 2025 at 12:12 AM
#SPLASH folks, check out our OOPSLA talk today at 10:30 on Syntactic Completions with Material Obligations! @dm0ney.bsky.social will discuss how we turn arbitrary text into parsed trees by error correction with a generalization of holes called obligations, turning parsing into structure editing!