Michael Vanier
@mvanier.bsky.social
Teaching professor of computer science at Caltech. I like functional programming, array programming, interpreters, compilers, proof assistants, and cats.
You said syntax. Lambda calculus syntax is like λ x . λ y . x (y y). Tell me that looks like Haskell. Of course internally they have much in common, but the syntax is completely different.
June 17, 2025 at 4:20 PM
You said syntax. Lambda calculus syntax is like λ x . λ y . x (y y). Tell me that looks like Haskell. Of course internally they have much in common, but the syntax is completely different.
Haskell syntax doesn’t look anything like lambda calculus.
June 17, 2025 at 2:31 PM
Haskell syntax doesn’t look anything like lambda calculus.
But web-based ones are usually lousy at outputting pdfs and also have a heavy footprint (tons of CSS/JS support files etc)
June 5, 2025 at 7:35 PM
But web-based ones are usually lousy at outputting pdfs and also have a heavy footprint (tons of CSS/JS support files etc)
Yup, that’ll do it. Beamer is static only and pdf only.
June 5, 2025 at 7:34 PM
Yup, that’ll do it. Beamer is static only and pdf only.
What would you like Beamer to be able to do?
June 5, 2025 at 2:53 PM
What would you like Beamer to be able to do?
The select-by-default feature of Kakoune/Helix just feels wrong to me. When I move, I move, and when I select, I select. Two different things that should not be conflated.
December 17, 2024 at 12:18 AM
The select-by-default feature of Kakoune/Helix just feels wrong to me. When I move, I move, and when I select, I select. Two different things that should not be conflated.
Reposted by Michael Vanier
www.cl.cam.ac.uk
December 7, 2024 at 4:41 PM
Hah! I made my own versions with sexp support for my compiler class. Amazingly useful.
December 7, 2024 at 2:43 PM
Hah! I made my own versions with sexp support for my compiler class. Amazingly useful.
Modular implicits will/may fix this, if it ever gets in.
December 7, 2024 at 2:39 PM
Modular implicits will/may fix this, if it ever gets in.
Menhir’s incremental parsing capability is cool.
December 6, 2024 at 5:16 AM
Menhir’s incremental parsing capability is cool.