🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

just realized haskell wasn't installed on my laptop... and must not have been for the year and a half i've been using it! easily the longest i've gone without it. end of an era

"It is with a hard-earned understanding, and the most profound regret, that I can tell you that no artistic endeavour, no matter how sublime it may appear, is worth denying your family or sacrificing those in your care." --Nick Cave

There's still time to sign up for my class at the The Center for Fiction, designed to help you overcome inertia and start that novel you've been wanting to write. Starting next week at 12pm. Hope to see you there! centerforfiction.org/group-workshop…

Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field. cspubs.org

new post on the SIGPLAN blog: "how to give a good talk", a summary of my PLMW talk at POPL 2025 blog.sigplan.org/2025/03/31/how…

Stand for what you believe in

Don't go to a conference where Curtis Yarvin is a keynote speaker. And definitely don't speak at it.

No spam, no bots, no worms, no crime, She’s haunted by traces she cannot define. Backdoors and obfuscation assault across log source, She pierces their UPX armor in potent force. In her mind, she’s still coding, still making the grade, Admins depend on the rules that she made.

omg the speech scroll actually says “garlic is my life” in german !!

first time using figma for slides... might actually be a proper keynote replacement. we are so back

pretty happy with my first cut at some simple lecture slides. so yeah, i'm thinking we're back

I would very much encourage every *everyone* to watch Michael Greenberg's very good (and very provocative) talk about how to give good talks. youtube.com/watch?v=I9kJgw…

I’m a broken record on this, but almost all of the most ~thoughtful~ people I know (or have interviewed) have memorized a lot of dates, places, names, numbers etc. And not just memorized, but care about their ability to recall specifics. Seek truth from facts. It’s the only way.

An article written by Paul Krill (Paul Krill) just came out covering our latest work on semantic-driven static analysis for shell script correctness (infoworld.com/article/397780…). There will also be a presentation at HotOS on Thursday (sigops.org/s/conferences/…) for anyone who is there!

Enterprise data infra is breaking under the weight of AI agents. MCP gives agents access to services—including databases—but most systems can’t handle the load. Materialize’s MCP server turns live data products into tools agents can use—without crushing your systems or

There’s still poetry on the internet