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

Post #4505998
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'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?
Post #2735450
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. 👻 😱
Post #2373356
I wanted a #Haskell function to efficiently compute the conjugate of an integer partition. I think I know how to write it, but it&#39;s fiddly. There&#39;s a nice, succinct functional specification: conjugate = reverse . map length . transpose . map (`replicate` ()) but it&#39;s slow. Now I&#39;m wondering whether it&#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...
Post #2166437
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
Post #2162177
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.
Post #1733537
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&#39;m never quite sure how or when to say in class. http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml