I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar. Does anyone want to pay me to do this?

Our upcoming ITP'25 paper has been published: "Program Optimisations via Hylomorphisms for Extraction of Executable Code" drops.dagstuhl.de/entities/doc...

Already registered for SPLASH or @icfp-conference.bsky.social? If not, check out our list of accepted papers: conf.researchr.org/home/icfp-sp... It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!

It's Thursday, and My Last* Day at Kent Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement. When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2

excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️ includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬

Every flashbang could instead be a meal for a poor kid. Every hotel room for a National Guardsman deployed to fire at our neighbors could house a homeless vet. Every "less-than-lethal" bullet pulled from a journalist's eye could be already needed healthcare for anyone else. All of this is a choice.

MPLR extended its deadline to June 24th to better align with some other notification dates. Two more weeks to submit your work on language implementations, VMs, compilers, interpreters, and tooling! conf.researchr.org/home/icfp-sp...

This year's DLS Most Notable Paper award goes to Compiling for Multi-language Task Migration by Marc Feeley The paper is motivated by the challenges of implementing continuations for an uncooperative environment, and worth a read! Congratulations to the author! www.iro.umontreal.ca/~feeley/pape...

"Spegion: Implicit and Non-Lexical Regions with Sized Allocations" This is the extended pre-print of a paper we will be presenting at ECOOP '25 in a few weeks. arxiv.org/abs/2506.02182

Looking for somewhere to submit work in functional programming with a focus on performance (broadly construed) or numerical computing? Consider the FProPer workshop! Co-located with ICFP and SPLASH 2025 conf.researchr.org/home/icfp-sp... I went last year, gave a keynote, and enjoyed it immensely!

New blog post by my PhD student on type-safe packed data in Haskell: arthichaud.xyz/posts/packed/

The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th. We're especially interested in students interested in programming languages, compilers, and systems! www.kent.ac.uk/scholarships...

Very cool paper on a new and efficient way to do tagging with double-precision floats, implemented in Bigloo Scheme. arxiv.org/abs/2411.16544

Looks like followup work to the Copy-and-Patch paper founds its way to arxiv Deegen: A JIT-Capable VM Generator for Dynamic Languages No More Compromise Between Performance and Engineering Cost arxiv.org/pdf/2411.11469 #stillToBeRead