This is a fantastic episode. @dancarlin.bsky.social eloquently expressed many of the sentiments that have been bouncing around in my head with a great dose of historical context to boot. It's a long listen but it's worth every moment.
NEW: In a new filing, we argue Mahmoud Khalil's detention by ICE violates his rights to free speech and due process.
President Trump can't arrest, detain, and threaten to deport someone because of their speech. Along with @nyclu.org and the rest of Mahmoud’s legal team, we won’t back down.
I wrote up a blog post on some of my recent work to upgrade Semgrep to OCaml 5, and the difficulties I encountered. Check it out!
At any rate, I’ll file an issue tomorrow and share what I can. Thanks for the nudge to do so!
FYI we actually set space_overhead as low as 15 in production. It seemed a bit excessive to me but that’s what was necessary to match the characteristics of OCaml 4 in practice.
Unfortunately I don’t think I’ll be able to make a publicly available repro case for this. I may be able to get source code access for a limited group, and I can definitely try out changes to the runtime and report back. Let me know if either of those two options sound good to you.
I’ll do what I can to get you the information and access you need if you’d like to look into this. The bulk of the work here was needed for our proprietary interfile analysis. I did need to change space_overhead in the community edition too, but a static value sufficed to match OCaml 4’s performance
SemGrep has migrated to OCaml 5 with negligible performance impact.
semgrep.dev/blog/2025/up...
They’ve had to do a bit of work to get a GC spacetime behaviour that matches OCaml 4. This feels like an issue with OCaml 5 GC scheduling. Needs investigation.
🎉 Big news! Semgrep has secured $100M in Series D funding! With this boost, we’re more committed than ever to transforming cybersecurity.
👉Learn more here: www.prnewswire.com/news-release...
🚀✨ Another Trip Around the Sun for Semgrep! ✨🚀
On Friday, we wrapped up another year of growth and innovation. Huge thanks to our team, customers, partners, and of course, to our brilliant founders, Isaac Evans, Drew Dennison, and Luke O'Malley, for making it all possible!
