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
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!
#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?
October 16, 2025 at 3:58 AM
#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?
Reposted by Cyrus Omar
@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25
October 13, 2025 at 6:51 AM
@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25
Reposted by Cyrus Omar
That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...
October 13, 2025 at 2:57 PM
That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...
Reposted by Cyrus Omar
@neurocy.bsky.social arguing for the digital commons as a massive single live program that’s collaboratively edited by thousands of contributors and live updated! A Wikipedia-meets-GitHub-meets-Jupyter #icfpsplash25
October 13, 2025 at 6:56 AM
@neurocy.bsky.social arguing for the digital commons as a massive single live program that’s collaboratively edited by thousands of contributors and live updated! A Wikipedia-meets-GitHub-meets-Jupyter #icfpsplash25
Reposted by Cyrus Omar
we’re going to have to throw a lot of people in jail after all this is over
September 6, 2025 at 5:53 PM
we’re going to have to throw a lot of people in jail after all this is over
Reposted by Cyrus Omar
Several anti-ICE protestors on the Ohio-Kentucky border.
This is how the police dealt with them.
Literally beat the hell out of them.
This is Trump's police state America, coming to a protest near you.
This is how the police dealt with them.
Literally beat the hell out of them.
This is Trump's police state America, coming to a protest near you.
September 5, 2025 at 2:32 AM
Several anti-ICE protestors on the Ohio-Kentucky border.
This is how the police dealt with them.
Literally beat the hell out of them.
This is Trump's police state America, coming to a protest near you.
This is how the police dealt with them.
Literally beat the hell out of them.
This is Trump's police state America, coming to a protest near you.
Reposted by Cyrus Omar
Paulette Koronkevich, William J. Bowman
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317
July 30, 2025 at 4:27 AM
Paulette Koronkevich, William J. Bowman
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317
Reposted by Cyrus Omar
NEW: 18,500 children have been killed by Israeli forces in Gaza.
The Washington Post has just published every single known name.
A seminal moment.
The Washington Post has just published every single known name.
A seminal moment.
July 30, 2025 at 10:29 AM
NEW: 18,500 children have been killed by Israeli forces in Gaza.
The Washington Post has just published every single known name.
A seminal moment.
The Washington Post has just published every single known name.
A seminal moment.