Location: Salt Lake/Utah Valley, Utah
    Remote: Yes
    Willing to relocate: Possibly
    Technologies: Elixir, Ruby, Julia, Haskell, Rust
    Résumé: https://lambdaland.org/resume.pdf
    Email: mail@wiersdorf.dev

I am a PhD student looking for a summer gig. I don't require benefits—I'm happy to hire on as a contractor. I have worked as a back-end software engineer for a variety of companies throughout my schooling, so I've got the experience of a mid-level engineer. I specialize in building interpreters & compilers and I have experience with formal verification tools and techniques. That said, I won't turn down a job working on the back-end of whatever your SaaS project may be. :)

The hedgehog knows one great thing. This is it. Thank you.

I wonder how hard some folks ant Apple had to work to keep Alan Dye away from the Emoji design.

Ok but if I try to get ye flask, will it tell me why I cannot get ye flask?!

(This is a Strong Bad reference for the younger kids here.)

I have nothing bug praise for Zotero. Zotero is absolutely essential to my workflow as a researcher, second only to Emacs. Without Zotero, I would be spending inordinate amounts of time keeping all my papers + associated citation information organized. Zotero just takes care of it all. I love the iOS app—I read and markup papers on my iPad and everything gets synced smoothly.

I've been a paying member for a few years now. Part of it is for the storage (PDF packrat here) but mostly because I want to support development. Please consider supporting them if they help you in your work—they're worth it. https://www.zotero.org/storage

Hey there! Thanks for reading my article, and thanks for sharing something cool about TS!

------

Real quick: I'm a PhD student and I'm looking for an internship this summer. I've done a little work with gradual typing—working with TypeScript would be super cool! I don't see a good way to contact you on your profile, hence this reply; if you've got an opening for an intern on your team, I would be very interested in applying. My email is on my blog.

Thanks again for reading my post!

Hey Mickey! Thanks for all the stuff you've made in the Emacs space. Thanks for commenting here. :)

Thanks for the kind remarks, Ashton :)

Hey! Thanks for the kind words. :) I'm working on some updates for the upcoming release of Emacs 31. Should be good!

This exactly. Last year I got handed a big ball of work slop. Someone asked me to review this big ol' design document and I had the hardest time parsing it. It sounded right, but none of the pieces actually fit together. When I confronted the PM who gave it to me and asked if it was AI generated, they replied that "there were parts of it that were human-generated"! -_-

Anyway, I wrote a little more about that here: https://lambdaland.org/posts/2025-08-04_artifical_inanity/

Intent matters a ton when reading or writing something.

> you can highlight a binding if it’s mutable or style an enum/struct differently

Wow! That is an incredibly good reason. Thank you very much for telling me something I didn’t know. :)

UPDATE: I've added a paragraph talking about the ability of rust-analyzer. Thank you again!

Another pretty common application is to color unused bindings with a slightly faded-out color. So for e.g. with the TypeScript LSP, up at the top of the file you can instantly tell what imports are redundant because they're colored differently.

I love this in xcode / swift. Where classes and structs have a different colors between local classes and external classes (from a lib).

Its surprisingly useful to know if you’re working with a entity that you made.