amelia

The New Jersey Programming Languages and Systems Seminar's (NJPLS) date has been set for November 13th at Jane Street's office in Manhattan! Registration is free as usual and talk proposals are open until October 20th! Please consider signing up if you feel like making the trip and if possible propose a talk, it's a very nice community and all talks related to PL or PL-y systems are welcome! As usual the notion of "new jersey" is a vibe more than a specific place, all are welcome!

https://njpls.org/nov2026.html

dessert of the day at the local sandwich shop is a Tiramisu so I guess it's #tiramisufriday

I want to replay death stranding so bad now...

we should really move njpls to be hybrid, I have so much fomo now that I'm missing it

We will be presenting at LATTE in a couple of weeks during ASPLOS in Pittsburgh! Our talk will be on our ongoing work on porting the @ClashHDL@fosstodon.org compiler to CIRCT. It's a super fun project where we get to explore some neat optimizations and cool IR design. If you're interested in learning more about it you can read our short LATTE paper here:
https://www.cs.princeton.edu/~ad4048/pdfs/latte-2026-submission-14.pdf

Transit card acquired!

going to Ottawa today, excited to do some Canadian tourism 🇨🇦

Any of the Canadians here have any recommendations for things to see, food to eat, or coffee to drink?

anyone here going to LATTE and/or APLOS this year? I'm guessing @javathunderman@discuss.systems and potentially @thezoq2@mastodon.social ?

I would also be fun to hang out with anyone here who's in Pittsburgh for other reasons too 😅

@CanLehmann@mastodon.social I mean there's already an existing pipeline that goes from the core dialects to LLVM IR through arcilator, so in theory this dialect can be used for that too, and as I briefly mentioned in the paper, lc can also very much be used to encode software, so if someone wants to they could pretty straightforwardly write a direct lowering to LLVM IR

holy smokes Ottawa is expensive (compared to mtl)

ugh why is flying to Vienna twice the price as flying to Paris, seriously Québec your franco-favoritism is showing...

does anyone know if the it's easy to get covid boosters in the UK as a tourist?

They're so hard to get in France, and I'll be in the UK next weekend so might as well try and get one there

@CanLehmann@mastodon.social hmmm interesting, thanks for the pointer! Glancing at it, it seems quite interesting but also like they're trying to encode a different set of constructs, and don't seem to mention recursion or adts anywhere, so it's unclear how it could model something like Haskell?

There are a couple of dialects that attempted to encode something close to lambda calculus in mlir, most notable one that actually partially upstreamed is rise, but they tended to not want to deal with recursion of higher order functions and their design was really focused around making it easier to target llvm ir, so that's why we opted for making a more recursion focused, hardware oriented one.

It's a very fun space to work it because so many people have different views of what is important to keep in the ir to make the lowering easier, I'm excited to see how much we'll have to change lc when we try to upstream it 😅