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
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.
Reposted by Cyrus Omar
The governing party of the United States is shutting down the federal government to cover-up evidence the president sexually abused children so he can continue trying to implement dictatorship.
That's just a true statement about the world!
That's just a true statement about the world!
July 22, 2025 at 4:23 PM
The governing party of the United States is shutting down the federal government to cover-up evidence the president sexually abused children so he can continue trying to implement dictatorship.
That's just a true statement about the world!
That's just a true statement about the world!
Reposted by Cyrus Omar
Xavier Van de Woestyne
"Generating Static Websites the Functional Programming Way"
at #FUNOCaml 2025!
Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions
📅 Sept 15-16 | Warsaw
"Generating Static Websites the Functional Programming Way"
at #FUNOCaml 2025!
Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions
📅 Sept 15-16 | Warsaw
July 16, 2025 at 12:28 PM
Xavier Van de Woestyne
"Generating Static Websites the Functional Programming Way"
at #FUNOCaml 2025!
Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions
📅 Sept 15-16 | Warsaw
"Generating Static Websites the Functional Programming Way"
at #FUNOCaml 2025!
Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions
📅 Sept 15-16 | Warsaw
Reposted by Cyrus Omar
People who entered the US legally and have no criminal charges are being held in the Everglades camp, according to records obtained by the Miami Herald. Maybe that’s why the government won’t release the names of those being detained. www.miamiherald.com/news/local/i...
Exclusive: Hundreds at Alligator Alcatraz have no criminal charges, Miami Herald learns
Descriptions of the Everglades detention center as a place for violent criminals tell only part of the story.
www.miamiherald.com
July 13, 2025 at 6:27 PM
People who entered the US legally and have no criminal charges are being held in the Everglades camp, according to records obtained by the Miami Herald. Maybe that’s why the government won’t release the names of those being detained. www.miamiherald.com/news/local/i...
Reposted by Cyrus Omar
Nothing to see here, just a dried out old thorn.
One of the nice things about these insects is that they take their thorny role-playing seriously and don't move.
Treehopper (Enchenopa sp.) PA
One of the nice things about these insects is that they take their thorny role-playing seriously and don't move.
Treehopper (Enchenopa sp.) PA
July 12, 2025 at 2:40 AM
Nothing to see here, just a dried out old thorn.
One of the nice things about these insects is that they take their thorny role-playing seriously and don't move.
Treehopper (Enchenopa sp.) PA
One of the nice things about these insects is that they take their thorny role-playing seriously and don't move.
Treehopper (Enchenopa sp.) PA
Reposted by Cyrus Omar
There may be some tiny opening to save the NSF funding. It is worth calling your Senators. This is a big deal if it can be saved.
www.nature.com/articles/d41...
www.nature.com/articles/d41...
US senators poised to reject Trump’s proposed massive science cuts
Committee gives first hint that policymakers might preserve, rather than slash, funding for US National Science Foundation and other agencies.
www.nature.com
July 12, 2025 at 1:57 AM
There may be some tiny opening to save the NSF funding. It is worth calling your Senators. This is a big deal if it can be saved.
www.nature.com/articles/d41...
www.nature.com/articles/d41...
Reposted by Cyrus Omar
Literally lining up to receive a paste to give children with extreme malnutrition.
July 10, 2025 at 11:09 PM
Literally lining up to receive a paste to give children with extreme malnutrition.
Reposted by Cyrus Omar
I made a bluesky client. That looks and works by famous phpBB2 by przemo.
Check it out if you miss those funny forums bskybb.domi.zip/forum/index....
Check it out if you miss those funny forums bskybb.domi.zip/forum/index....
September 7, 2024 at 7:03 PM
I made a bluesky client. That looks and works by famous phpBB2 by przemo.
Check it out if you miss those funny forums bskybb.domi.zip/forum/index....
Check it out if you miss those funny forums bskybb.domi.zip/forum/index....
Reposted by Cyrus Omar
Here’s the bottom line for what’s going on with Grok - if the owner of the website is putting his thumb on the scale hard enough for the chatbot to turn into Goebbels, you should be deeply concerned about what he’s doing to the algorithm that you can’t so easily see, and what it’s doing to you
July 8, 2025 at 9:10 PM
Here’s the bottom line for what’s going on with Grok - if the owner of the website is putting his thumb on the scale hard enough for the chatbot to turn into Goebbels, you should be deeply concerned about what he’s doing to the algorithm that you can’t so easily see, and what it’s doing to you
Reposted by Cyrus Omar
Killing MIT seems dumb to me
July 11, 2025 at 12:11 AM
Killing MIT seems dumb to me
Reposted by Cyrus Omar
We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers.
The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
July 10, 2025 at 7:47 PM
We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers.
The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
Reposted by Cyrus Omar
If you ask the new Grok (via grok.com without any custom instructions) for opinions on controversial topics it runs a search on X to see what Elon thinks
I know this sounds like a joke but it's not. This genuinely happens: x.com/jeremyphowar...
I know this sounds like a joke but it's not. This genuinely happens: x.com/jeremyphowar...
July 10, 2025 at 10:53 PM
If you ask the new Grok (via grok.com without any custom instructions) for opinions on controversial topics it runs a search on X to see what Elon thinks
I know this sounds like a joke but it's not. This genuinely happens: x.com/jeremyphowar...
I know this sounds like a joke but it's not. This genuinely happens: x.com/jeremyphowar...
Reposted by Cyrus Omar
i don't know if everyone who still uses ""X"" gets this, but like, *you* are what's giving it its legitimacy.
if it were just nazis on there, it would only be a (large but still) fringe nazi hangout space, but it's *not* that.
if it were just nazis on there, it would only be a (large but still) fringe nazi hangout space, but it's *not* that.
July 10, 2025 at 10:07 PM
i don't know if everyone who still uses ""X"" gets this, but like, *you* are what's giving it its legitimacy.
if it were just nazis on there, it would only be a (large but still) fringe nazi hangout space, but it's *not* that.
if it were just nazis on there, it would only be a (large but still) fringe nazi hangout space, but it's *not* that.