Jim Carlson's Home Page
Current interests: Type theory (Martin-Löf, HOTT) and functional programming, mostly Elm and Futhark. Some projects:
Building MiniLaTeX, a subset of LaTeX that can be rendered to HTML. The most interesting part is the parser-renderer, which is written in Elm. I’ve used it for some lecture notes and various other little projects.
Learning Type Theory. Absolutely fascinating, touching everything from philosophy to logic to mathematics to programming. What more could one ask for? Currently reading Programming Language Foundations in Agda, by Philip Wadler and Verified Functional Programming in Agda, by Aaron Stump. Both are based on Per Martin-Löf’s work and both give down-to-earth treatments of how to prove theorems using type theory.
Occasional teaching: a Python Bootcamp for math and physics grad students. The basics, some modeling, simulation, and data analysis, e.g. earth’s temperature change, 1880 to present, Hubble’s original galactic recession data. Fourier analysis of birdsong (it is data too!): the Nightingale sings at F# 7, the highest F# on the piano keyboard. Monte Carlo methods. The students are great, and we are having a blast! Here are the syllabus and GitHub repo.
Tarring Files in Elm — a package written in pure Elm to tar and untar files. Oslo Elm Day, Feb 16, 2019. Wow, was the hospitality great!
The MiniLaTeX Project, Carnegie Mellon University, Dept. of Computer Science, October 16, 2018
Making a LaTeX to Html Parser in Elm — talk at Elm Europe, Paris, June 6, 2018.
I’m a professor emeritus of Mathematics at the University of Utah, presently visiting the Ohio State University. For the last seven years, I have also held a visitig scholar position at BICMR, the Beijing International Center for Mathematical Research at Peking University. Next year (2019-20), I will be visiting the Collège de France in Paris. After that, back to New York City.
Points of contact
Now he is taller than me.
- Email: jxxcarlson at gmail
- Elm slack: jxxcarlson
- Twitter: @epsilon2178
- GitHub — Code!
- GitHub Pages — various apps, mostly in Elm.
- Curriculum vita — rather out of date, but I am still doing things (and, most importantly, new things)
Footnotes (the best part!)
- Nightingale has best birdsong because of its complex brain. Amazing what 4 billion years of engineering work can come up with.
- Song of the nightingale (link to audio)
- George Oakley, Sonata for Cello and Piano, Inga Kashakashvili, piano, and Jay Campbell, cello.
- Dylan Carlson, piano. Salt Lake City 2010
- Why the “xx” in “jxxcarlson”? Identifiers must be unique. Nothing to do with mathematics or with an excellent brand of Mexican beer, although both are in some sense applicable.
- The bird: a red-throated flycatcher (Ficedula albicilla)