dcreager.net - Profile | ThreadSky | a Reddit-style client for Bluesky

I wrote my first blog post at work with Maxime! It's about interprocedural static analysis railsatscale.com/2025-02-24-i...

submitted 6 days ago • 0 comments

Jamie has some very good ideas for more interesting tech talks Talk about failures, talk about inability to replicate a famous assumption, talk about things we expect to work that are actually just broken, etc. www.scattered-thoughts.net/writing/othe...

submitted 6 days ago • 0 comments

If you are researching #programmingLanguages, submit to #SCLIT at #prog25 Submission deadline: March 7, 2025 All aspects of computer languages are relevant including but not limited to theory, implementation, processing and analysis tools. 2025.programming-conference.org/home/sclit-2...

submitted 6 days ago • 0 comments

I see people saying this sort of thing often, and quite frankly it makes me sad. The truth is, more people are making good adventure games now than were ever made during the “golden age” of the 90s. For example: 🧵

submitted 16 days ago • 140 comments

YO, for anyone into Severance, and ambient music, Apple had ODESZA do a fucking 8 hour long themed "Music To Refine To" set, and its freakin great. www.youtube.com/watch?v=JRnD...

submitted 8 days ago • 12 comments

It bears repeating: Lego Masters Australia is BY FAR the superior Lego Masters.

submitted 13 days ago • 0 comments

♪ Hold me closer, tiny pointeeer ♫ arxiv.org/abs/2111.12800

submitted 19 days ago • 0 comments

I compiled (heh) some stuff about generating SSA: bernsteinbear.com/blog/ssa/

submitted 20 days ago • 0 comments

Idea to create a rival podcast to Type Theory Forall, focusing on untyped programming languages like lisp and prolog It would be called "Judgment Free Zone" and the logo would obviously be (⊬)

submitted 27 days ago • 3 comments

New blog post: Five coding hats → dubroy.com/blog/five-c... Yeah it's kinda goofy, but maybe also useful?

submitted 28 days ago • 2 comments

OpenAI right now

submitted 33 days ago • 303 comments

Marco Montes de Oca kicks off the reboot of #PapersWeLove Boston!

submitted 33 days ago • 0 comments

This is what I’m working on at Astral! Very excited to join this amazing team 🎉💥

submitted 33 days ago • 1 comment

I cut my teeth on a legacy Pick OS system in high school. My dad still works on it to this day!

submitted 34 days ago • 0 comments

We're continuing to grow the Astral team, and every hire we make is like a dream hire. I don't understand how we're doing it but it rules. This time, it's @gankra.bsky.social! Most recently CTO at Axo, author of cargo-dist, author of The Rustonomicon, Rust 1.0 team member, and more.

submitted 35 days ago • 1 comment

I wrote up some notes on different approaches for generating HTML from Go: dcreager.net/languages/go...

submitted 40 days ago • 1 comment

The first few HYTRADBOI 2025 talks are ready! I'm so excited to be finally able to tell people about them! Talk #1: A YJIT interview with Maxime Chevalier-Boisvert

submitted 40 days ago • 1 comment

News for GitHub users / AI haters: The Copilot "offer" UI that was added to Github last month (the boxes in the top toolbar and on the front page) can now be disabled. If you go to Settings->Copilot in Github there is now a new "Visibility" setting:

submitted 44 days ago • 1 comment

Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending! pliss.org/2025/

submitted 44 days ago • 2 comments

One week today is the deadline for expressing your interest to attend Programming Language Implementation Summer School (PLISS) -- we have a great program, if I do say so myself! pliss.org/2025/

submitted 48 days ago • 2 comments

It's easy to lose sight of the fact that, from a tech perspective, we're absolutely living in the future. Our CEO and co-founder @apenwarr.ca looks at just how powerful our modern machines are — and what that means for all of us

submitted 54 days ago • 0 comments

On Wednesday 15 January 2025 I’ll be defending my dissertation titled “Declarative Name Binding for Type System Specifications”. The defense starts at 17:00 CET and can be followed online (livestream: nmclive.tudelft.nl/mediasite/pl...). More details in thread...

submitted 54 days ago • 1 comment

Just blogged: C macro to loop over executable sections tia.mat.br/posts/2025/0...

submitted 54 days ago • 0 comments

have had this conversation several times now, so figured it was time to write it up redmonk.com/sogrady/2025...

submitted 56 days ago • 0 comments

Getting ready to kick off the new year of teaching. Advanced Programming this week, Raft next. If you whisper in my ear, I might have a discounted spot available in the upcoming Compilers course. Anyways details at www.dabeaz.com/courses.html.

submitted 56 days ago • 1 comment

Last year I asked a question about the state of tracing JITs, and it led to a wonderful exchange. @cfbolz.bsky.social has written a terrific summary that captures a lot of folk knowledge that would otherwise be lost. Thanks! pypy.org/posts/2025/0...

submitted 56 days ago • 0 comments

If you think you have a serious hobby obsession, may I present this guy: aschmann.net/AmEng/#Small... The scroll goes on, and on…

submitted 64 days ago • 2 comments

in the theory of abstract interpretation, this is referred to as over-approximation

submitted 67 days ago • 1 comment

You’re still arguing about tabs vs. spaces? May I present…

submitted 68 days ago • 163 comments

We now have a shared channel with the CPython core devs where we're discussing upstreaming python-build-standalone changes to CPython itself. It's been pretty awesome to see how welcoming, receptive, and helpful they've been. Grateful!

submitted 70 days ago • 2 comments

Wrote up some notes on Clay, a fascinating ~2,000 line dependency-free C layout engine project that can be (inadvisably) run via WebAssembly to define the front-end of a website entirely in C simonwillison.net/2024/Dec/21/...

submitted 72 days ago • 4 comments

python-build-standalone is now officially part of the Astral organization!

submitted 76 days ago • 2 comments

Papers We Love Boston is BACK! www.meetup.com/papers-we-lo... #boston #paperswelove #compsci #meetup #programming

submitted 79 days ago • 0 comments

Oh hey, #PapersWeLove BOS is back! www.meetup.com/Papers-We-Lo...

submitted 80 days ago • 0 comments

for those of you wondering why the local hashmap prevert hasn't written about swisstable it's because it's basically pointless because @gankra.bsky.social already wrote literally the post i would have written faultlore.com/blah/hashbro...

submitted 80 days ago • 1 comment

ive spent a while digging around go implementation reasons for one reason or another, and none of this crap is written down. so i wrote it down mcyoung.xyz/2024/12/12/g...

submitted 81 days ago • 6 comments

Sometimes it takes me 22 years (+ one evening) to write a blog post. Here are my thoughts on "homoiconicity" and, as an alternative, "bicameral syntax". (Warning: 4000 words.) parentheticallyspeaking.org/articles/bic...

submitted 91 days ago • 24 comments

Dear PL nerds: please send me your best recommendations on papers to read and projects to examine around type systems and/or other PL features related to prevention of dimensionality and cardinality mismatches, ideally in array or collection-oriented languages. Thanks!

submitted 86 days ago • 7 comments

how do you all remember every UUID? I find it really hard. so I wrote them all down on every uuid dot com the list has fast search across all 2^122 values (so you can find your favorites) - hoping to add some social features like "trending UUIDs" soon!

submitted 87 days ago • 52 comments

Lindsey Kuper's* group has produced this fantastic zine on choreographic programming that folks should definitely check out: decomposition.al/blog/2024/12... (* can't seem to find Lindsey here but please tag if you know the handle)

submitted 87 days ago • 0 comments