Elektrine lite

← Feed

Brent Yorgey

byorgey@mathstodon.xyz

<p>Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.</p>

Posts

  • View post

    Upgraded to Ubuntu 26.04, as one does. Only realized AFTER upgrading that it completely removed support for X11 and now xmonad doesn&#39;t work. 😭 My options seem to be (1) just get used to vanilla Gnome, (2) switch to some other tiling window manager, (3) downgrade to LTS 24.04 by overwriting my current system while carefully preserving my home partition. (1) and (2) are actually unthinkable. If anyone knows of any other options besides (3) I&#39;m happy to hear them.

  • View post

    My 14yo son would like to learn how to read academic papers, so I offered to read one together with him. He wants to start with a paper about Rust (for context, he has written tens of thousands of lines of Rust, from a raytracer to a library for constructing custom Minecraft servers). I don&#39;t know any Rust, but of course I know a good deal of PL theory and how to read research papers; I think we will make a good team. Any suggestions of good papers for us to read?

  • View post

    I was testing out a Swarm scenario that starts by generating a random permutation of characters. I ran it and this is the first random permutation that was generated. 👻 😱

  • View post

    I wanted a #Haskell function to efficiently compute the conjugate of an integer partition. I think I know how to write it, but it&amp;#39;s fiddly. There&amp;#39;s a nice, succinct functional specification: conjugate = reverse . map length . transpose . map (`replicate` ()) but it&amp;#39;s slow. Now I&amp;#39;m wondering whether it&amp;#39;s possible to derive an efficient version from this specification, #Bird-Meertens style. Anyone know of previous work along these lines? Or should I a...

  • View post

    My department is hiring a 1-year visitor in mathematics. Please pass along to anyone you know who might be interested - this is a really fantastic place to work, with engaged students, supportive colleagues, and no one forcing you to use LLMs for anything. https://hcm.paycor.com/l/r/D555BCF0

  • View post

    Finally finished a just-for-fun, completely-from-scratch constructive proof of the Fundamental Theorem of Arithmetic (just the existence part, not uniqueness (yet)) in #Agda. Took me about 10 hours and 750 lines of code. Fun times! Will probably turn it into a blog post at some point.

  • View post

    I wrote something for my students reflecting on the current cultural and technological moment - a collection of important things I want to say that I&amp;#39;m never quite sure how or when to say in class. http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml