Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 30/09/2026the universe is cruel and uncaring (see everyone at SPLASH! -- I'm giving a talk at PLMW on Sunday, and Alexander Bandukwala's OOPSLA paper talk on Hazel Lab -- HAZEL FOR DATA SCIENTISTS!!! -- is on Monday morning!) 2173
Reposted by Cyrus Omar on sabbatical in CambridgeAsher HELLbein @asherelbein.bsky.social · 27/09/2026I don't mean what I'm about to say in a sappy way, but a fairly hard-nosed one: natural ecosystems are often remarkably good at recovering from serious local natural disasters *if they are given the chance.* 21419405
Reposted by Cyrus Omar on sabbatical in CambridgeGavin Owens @gavinowens.net · 25/09/2026@neurocy.bsky.social showing off hazel. Fun fact, the IDE we built at my old company Deco had some similar features like inline elements for data types, like sliders, but it was done in such a dumb way that hazel makes me ashamed and embarrassed because it is very impressive. 092
Reposted by Cyrus Omar on sabbatical in Cambridgee.w. niedermeyer @niedermeyer.online · 22/09/2026my love and respect for Larry David grows all the time pagesix.com/2026/09/22/h... 412764431
Reposted by Cyrus Omar on sabbatical in Cambridgedan @danabra.mov · 14/09/2026this is really a "year of linux on desktop" kind of situation for FP and a bunch of other things. the barrier to using these techniques is now very low so if you know what you want but don't know how to do it, it is no longer a problem 1241
Reposted by Cyrus Omar on sabbatical in CambridgeTyler, from the Internet (Haunted) @tylerfromtheinternet.com · 12/09/2026this is not true. in the 80s & 90s, you used to be able to travel INSIDE a computer -- like Tron! You could move around like in a city. Hacking was more like burglarizing a second hand store, even if it was the FBI! They later removed the supernatural components of computer, we still don't know how. 1318929
Reposted by Cyrus Omar on sabbatical in CambridgeRyan O'Donnell @booleananalysis.bsky.social · 10/09/2026Am teaching grad complexity theory at CMU; about 1/3 of the lectures will be new (vs. last time), 'modern' results. Videos are going onto www.youtube.com/@ComplexityT... which will later also feature student videos. We did Williams (/Cook-Mertz/Shalunov) TIME(t) in SPACE(~√t) today.youtube.comComplexity Theory At Carnegie Mellon 05717
Reposted by Cyrus Omar on sabbatical in CambridgeShriram Krishnamurthi @shriram.bsky.social · 09/09/2026Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post introducing the paper: cel.cs.brown.edu/blog/design-...cel.cs.brown.eduA Design Space Exploration of Async/AwaitEvery language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven mo... 310327
Reposted by Cyrus Omar on sabbatical in CambridgeElizabeth Jacobs, PhD @elizabethjacobs.bsky.social · 03/09/2026Just in time for the 2026-2027 vaccines, a new review shows that COVID19 vaccination significantly reduces the risk of severe illness and hospitalization across all age groups, including kids. Pregnant women were also protected, as were their babies. Don’t forget to schedule your vaccination!jamanetwork.comCOVID-19 Vaccine Effectiveness and Safety for the 2026-2027 Respiratory SeasonThis Special Communication aims to identify and summarize the most recently published evidence evaluating the effectiveness and safety of US-licensed COVID-19 vaccines and report on the epidemiology o... 17267742681
Reposted by Cyrus Omar on sabbatical in CambridgeWolfproof Press 🐑🫸 🐺✨ @wolfproofpress.com · 03/09/2026These prints update text from resistance to the 1968 Soviet invasion of Czechia/Slovakia. "Don’t have, don’t know how to, don’t give..." a commitment to override ingrained "civility" to not aid fascism in any way & do your part throwing sand into the gears: 1134
Reposted by Cyrus Omar on sabbatical in CambridgeTom McCoy @rtommccoy.bsky.social · 01/09/2026🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n 431888
Reposted by Cyrus Omar on sabbatical in CambridgeMatthew Gertz @mattgertz.bsky.social · 31/08/2026I dunno much about Maness or Anderson but Schlicter is a straight-up fascist who wants to among other things "use the law to ensure blue submission" and "imprison dissenters" to achieve the aim, "force them to be like us." 1391816738
Reposted by Cyrus Omar on sabbatical in CambridgeProgramming for the Planet @propl.dev · 28/08/2026The 3rd Programming for the Planet talk videos are now live, with notes on anil.recoil.org/notes/pldi26.... By @neurocy.bsky.social @anil.recoil.org @kcsrk.info @dorchard.bsky.social and also up at www.youtube.com/playlist?lis...anil.recoil.orgThe 3rd Programming for the Planet 2026 videos are availableVideos from the third Programming for the Planet (PROPL) workshop at PLDI 2026, and Cyrus Omar is visiting Cambridge on sabbatical for a year to drive followups! 043
Reposted by Cyrus Omar on sabbatical in Cambridgeandrew blinn @disconcision.com · 26/08/2026modules are metaballs 2628
Reposted by Cyrus Omar on sabbatical in CambridgeColin Carlson @colincarlson.bsky.social · 20/08/2026year 1: there's still grant funding, but we may need to change how we talk about our work, or what we work on year 2: the government has disappeared one billion dollars of science funding. it is unclear why they did that or where that sits within concepts like "the rule of law" 8980420
Reposted by Cyrus Omar on sabbatical in CambridgeJimmy Miller @jimmyhmiller.bsky.social · 21/08/2026Now that language adoption is not bottlenecked by people learning it or liking the syntax, we are going to start seeing more ambitious languages. Type system craziness, distributed systems languages, dsl first approaches. All the crazy dreams of pl nerds are now possible. 2163
Reposted by Cyrus Omar on sabbatical in CambridgeMariano Guerra @marianoguerra.org · 17/08/2026hey claude, implement xanadu, no mistakes 3252
Reposted by Cyrus Omar on sabbatical in CambridgeJen Taub @jentaub.bsky.social · 17/08/2026“A single-payer universal health care system could cover every American, save more than 100,000 lives a year, and still cost $1 trillion less than the system it would replace, according to a new preprint study led by researchers at the Yale School of Public Health.” ysph.yale.edu/news-article...ysph.yale.eduUniversal Health Coverage Could Save $1 Trillion and 114,000 Lives Every Year, Yale Study ProjectsA single-payer universal health care system could cover every American, save more than 100,000 lives a year, and still cost $1 trillion less than the system it 595165447121
Reposted by Cyrus Omar on sabbatical in CambridgeBetter Things Are Possible @internethippo.bsky.social · 16/08/2026Wife: The trash is overflowing. Can you-- Me: Well I can't take it out but here's what I'll say. We need a strong trash can. And I'm committed to reforming the kitchen so the trash doesn't pile up 415155641
Reposted by Cyrus Omar on sabbatical in Cambridgemr. TIM @timkellogg.me · 14/08/2026looks very interesting 2463
Reposted by Cyrus Omar on sabbatical in CambridgeJørgen Heszlein @heszlein.bsky.social · 12/08/2026New estimate of Elon Musk’s death toll just dropped www.thelancet.com/journals/lan... 9136761736
Reposted by Cyrus Omar on sabbatical in Cambridgea ton of crates @tonofcrates.bsky.social · 06/08/2026how your email finds me 347778
Reposted by Cyrus Omar on sabbatical in CambridgeKaren K. Ho @karenho.bsky.social · 06/08/2026it's always odd when "you should expose yourself to more diverse ideas" always means a certain kind of conservatism instead of like, Indigenous art, new fusion foods, math paradoxes, or the Dvorak keyboard layout 159115342685
Reposted by Cyrus Omar on sabbatical in CambridgeMicah @rincewind.run · 01/08/2026this is extremely good, not because I think Harris is likely to be the nominee again but because this is how expanding the Court becomes table stakes for everyone who wants to run for President 303495483
Reposted by Cyrus Omar on sabbatical in Cambridgepvh @pvh.ca · 31/07/2026The Local-First Conf 2026 talks are up! I always get hallway tracked real hard at this event so I'm really excited to catch all the talks I missed... www.youtube.com/playlist?lis...youtube.comLocal-First Conf 2026 - YouTube 0245
Reposted by Cyrus Omar on sabbatical in CambridgeFluffy Cyborg, IInd of the name @avel.kairos-research.org · 26/07/2026Would assume everyone knows it by now, but just in case "First the traitors, then the invaders" is an explicit reference to The Turner Diaries, where a white supremacist revolution overruns "The System" and kills all their enemy during the evocatively named "Day of the Rope".en.wikipedia.orgThe Turner Diaries - Wikipedia 9042821875
Reposted by Cyrus Omar on sabbatical in CambridgeAnil Dash @anildash.com · 27/07/2026Just in case you still use any Basecamp products, DHH is crashing out about his AI product gently pointing out that it’s bad for him to have extermination fantasies about the Roma people. 852286644
Reposted by Cyrus Omar on sabbatical in CambridgeBrandon Friedman @brandonfriedman.bsky.social · 26/07/2026Musk calls for the assassination of a reporter who embarrassed him with basic questions 14049781589
Reposted by Cyrus Omar on sabbatical in CambridgeJonathan Aldrich @jonathanaldrich.bsky.social · 26/07/2026The solution to AI safety is not to train closed models so that they never "press the nuclear button." Because we can't stop the bad guys from finding workarounds or using open models. The solution is formal security guarantees that models don't have nuclear buttons to press. 091
Reposted by Cyrus Omar on sabbatical in CambridgeMartin Kleppmann @martin.kleppmann.com · 26/07/2026Engineering management after the cost of code collapsed: “Investing in machine-checkable correctness is now among the highest-leverage infrastructure work an org can fund” karimjedda.com/engineering-... 813225
Reposted by Cyrus Omar on sabbatical in CambridgeSarah T Roberts, PhD @ubiquity75.xyz · 22/07/2026A reminder that UC _faculty_ and Faculty Associations — not the universities themselves nor their administrators — are waging this battle in court, demonstrating great bravery and moral clarity.apnews.comWhite House admits it used keywords to kill billions worth of California research grantsFederal agencies that terminated more than a thousand research grants at the University of California last year admitted that they used keywords related to diversity, gender, vaccine hesitancy and COV... 1632951213
Reposted by Cyrus Omar on sabbatical in CambridgeMayor Zohran Kwame Mamdani @mayor.nyc.gov · 22/07/2026Benjamin Netanyahu is a war criminal. 20368812724829
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 21/07/2026I'm in NYC and freeish on Wednesday if anyone wants to hang / talk about PL / make a geospatial silent disco in central park 051
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 21/07/2026HearHere, our geospatial silent disco system, doing it's thang at my place. still some bugs to iron out but it's happening!!! 2102
Reposted by Cyrus Omar on sabbatical in Cambridgepublic health guy @publichealthguy1.bsky.social · 20/07/2026matthew always brings the receipts 6776073907
Reposted by Cyrus Omar on sabbatical in CambridgeHeba Gowayed هبة جويد @hebagowayed.bsky.social · 18/07/2026A Haitian friend lives is terror as the July 24 deadline for termination of TPS looms. He smiles as he always does but can’t help but look pained, “they will start deportations” he said. This is a man my son runs to from across the street to hug. Not sure how to raise him in this cruel world. 8489105
Reposted by Cyrus Omar on sabbatical in CambridgeBill @bill-of-lefts.bsky.social · 17/07/2026the degree to which they want to destroy one of the jewels of the American republic—our exceptional research universities—is just gobsmacking 412428579
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 16/07/2026post-tenure inspo from Raffi 070
Reposted by Cyrus Omar on sabbatical in CambridgeRyan Marino, MD @ryanmarino.bsky.social · 11/07/2026 6872171775
Reposted by Cyrus Omar on sabbatical in Cambridgemidwest emo fan @natalie.sh · 09/07/2026this world is fucking crazy man news.ycombinator.com/item?id=4884...news.ycombinator.comPostgres rewritten in Rust, now passing 100% of the Postgres regression tests | Hacker News 1119621
Reposted by Cyrus Omar on sabbatical in CambridgeOops! All Paperclips @all-paperclips.bsky.social · 30/06/2026Ouroboros tentacle dissolves into bowler hat jellyfish and jumping anemones. Probably my coolest 3d find so far 08311
Reposted by Cyrus Omar on sabbatical in Cambridgejamelle @jamellebouie.net · 29/06/2026this is absolutely wild. where does roberts think these agencies come from?!? who invested them with authority to act? whose mandate are they designed to execute? the president is the chief EXECUTive. his job is executing the will of Congress as it spells out in its duly-passed laws! 12875031826
Reposted by Cyrus Omar on sabbatical in CambridgeChise @sailorrooscout.bsky.social · 29/06/2026GOOD NEWS! A personalized mRNA vaccine, known as mRNA-4157, has shown promise in keeping melanoma, a deadly skin cancer, from returning. FIVE years later, NEARLY 70% of people in the vaccine group are CANCER-FREE. The vaccine also cut a person’s risk of the cancer metastasizing by NEARLY 60%.nbcnews.comA personalized vaccine for melanoma cut the risk of cancer returning after five yearsIf the vaccine is effective in a late-stage trial, it would be “paradigm-shifting,” one expert said. 273135504475
Reposted by Cyrus Omar on sabbatical in CambridgeSharon 🪳🌹 @sharonk.bsky.social · 23/06/2026there's something remarkable how on a scientific level we're performing what would essentially be miracles and on a cultural/political level, we're going in reverse 3058811287
Reposted by Cyrus Omar on sabbatical in CambridgeAnil Madhavapeddy @anil.recoil.org · 23/06/2026My afternoon has been derailed by @oppi.li pointing me to the absolutely gorgeous font collection at djr.com/ferndjr.comFernA humanist bookface, reimagined for the web. 2141
Reposted by Cyrus Omar on sabbatical in CambridgeRacket @racket-lang.org · 22/06/2026Try a little Rhombus! a fun way is functional pictures docs.racket-lang.org/rhombus-pict/ (you may already be familiar with the Functional Geometry by Peter Henderson eprints.soton.ac.uk/257577/1/fun... or the SICP picture language) Start with docs.racket-lang.org/rhombus-quick/docs.racket-lang.orgPict: Functional Pictures 122
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 23/06/2026Worse than it sounds, approximately zero new NSF grants are being funded right now: the cuts and hare-brained reallocation leaves only enough to keep previous grants funded. Research groups that do fundamental research will be unable to accept new students at all. 7192
Reposted by Cyrus Omar on sabbatical in CambridgeRonen Tamari @ronentk.me · 23/06/2026"The truly visionary AI for Science company is not automating experiments or AI-generating Nature papers, but building technology to improve the collective sensemaking ability of scientists @cosmik.network and alphaXiv are both examples of startups trying to build new sensemaking infrastructure"republicofscience.substack.comScience as Collective SensemakingWhat is Science? 2266