Hey I'm on the academic job market. I build systems to make programmers smarter, informed by PL theory (to make correct & generalizable tools) and HCI theory (to make humanly-useful tools). Also, students say I'm "one of the best lecturers at Stanford."

1/ We’ve submitted a letter to President Biden regarding the AI Executive Order and its potential for restricting open source AI. We believe strongly that open source is the only way to keep software safe and free from monopoly. Please help amplify.

Exciting work, taking a run at one of the core problems that makes it hard to write efficient parallel programs.

The list of all accepted #POPL2024 papers is now available for your perusal: popl24.sigplan.org/track/POPL-202…

The list of workshops at POPL'24 is astounding -- an embarrassment of riches! I guess we are experiencing a post-Covid PL renaissance. popl24.sigplan.org

🚨 I am looking to mentor PhD students, postdocs and visiting students. There are openings in my group WEISER at NUS NUS Computing We are a leading group in the area of wireless embedded systems (aka IoT). Please reach out and retweet 🙏 weiserlab.github.io/ambuj/position

Understanding graph theory will seriously enhance your engineering skills; you must absolutely be familiar with them. Here's a graph theory quickstart, in collaboration with Alejandro Piad Morffis. Read on:

Magicoder: Source Code Is All You Need Better instruction data leads to better code models! This work proposes a series of fully open-source LLMs for code that close the gap with top code models while having no more than 7B parameters. It's trained on 75K synthetic instruction

New blog post by @EdskoDeVries summarising our contributions to the Haskell Implementors' Workshop 2023, with links to videos: well-typed.com/blog/2023/12/h…

You. You love Haskell. You should join the haskell.org committee. Yes, you. discourse.haskell.org/t/haskell-org-…

NetHSM: first Open Source Hardware Security Module built using OCaml and MirageOS. Tarides helped build the software stack of NetHSM. nitrokey.com/news/2023/afte…

#TheHaskellInterlude interviews Edwin Brady, most famous for his work on the Idris programming language. We talk about his thoughts on dependently typed programming in Haskell, and his vision for Idris. haskell.foundation/podcast/38

If you want to define a continuous addition you get the Riemann integral This is what happens if you want to define a continuous *product* One of the weirdest and most satisfying integrals you've ever seen and why it's important for physics (a quite technical 🧵) 1/12

Proof assistants: History, ideas and future. ~ H Geuvers. ias.ac.in/article/fullte… #ITP #Math

Jane Street's Graduate Research Fellowship is happening again this year, and the deadline is soon! Student applications are due by December 17th, with letters due in early January. More here: janestreet.com/join-jane-stre…

Measuring the size of the cache line empirically Our computers do not read or write memory in units of bits or even bytes. Rather memory is accessed in small blocks of memory called “cache line”. For a given system, the cache line size is usually fixed and small (e.g.,  16 to

We have a new video series out, from our very own Richard Eisenberg, called OCaml Unboxed. (Ironically, it's going to start out talking about modes, rather than unboxed types. But I imagine we'll get there soon enough.) youtube.com/watch?v=PgUsmO…

Jane Street is looking for an experienced technical program manager for our internal dev tools team. Please share and retweet! janestreet.com/join-jane-stre… If you're excited about developer tools and programming languages, I think it's a really exciting spot.

Join us tonight (2024-01-17 at 1930 UTC) for the first #Haskell Unfolder episode of the new year! This time, @EdskoDeVries and Andres Löh will look at how to compute (with) constraints over type-level lists. youtube.com/watch?v=Jzymjo…

Four life lessons I learned while studying statistics: 1. False positives vs false negatives: Fewer false positives often come at the cost of more false negatives and vice versa. LIFE LESSON: The less stringent your criteria, the more crap you need to deal with, but the more