Matt Teichman
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
https://elucidations.vercel.app
ooh yeah, would love to learn more about this take
August 15, 2025 at 12:15 AM
ooh yeah, would love to learn more about this take
getting ready to move in here
photoarchive.lib.uchicago.edu/db.xqy?one=a...
photoarchive.lib.uchicago.edu/db.xqy?one=a...
Haskell Hall : Photographic Archive : The University of Chicago
The Photographic Archive contains more than 60,000 images documenting the history of the University of Chicago.
photoarchive.lib.uchicago.edu
July 30, 2025 at 1:23 AM
getting ready to move in here
photoarchive.lib.uchicago.edu/db.xqy?one=a...
photoarchive.lib.uchicago.edu/db.xqy?one=a...
Reposted by Matt Teichman
nice point; once you have static types, you can start to make your data structures suggest operations on them
May 14, 2025 at 12:16 AM
nice point; once you have static types, you can start to make your data structures suggest operations on them
Stupendous book, please everybody buy it!
May 1, 2025 at 1:44 AM
Stupendous book, please everybody buy it!
what, you mean you don't want a handrolled monaric parser from lists of characters into lists of parsetrees for your enterprise application?
April 30, 2025 at 2:22 PM
what, you mean you don't want a handrolled monaric parser from lists of characters into lists of parsetrees for your enterprise application?
wonder whether the utop devs would be up for a PR...
April 30, 2025 at 2:03 PM
wonder whether the utop devs would be up for a PR...
For the moment I'm settling for going back to utop mode with a plan to manually implement the comint features that I miss from doing it the old way.
April 30, 2025 at 2:01 PM
For the moment I'm settling for going back to utop mode with a plan to manually implement the comint features that I miss from doing it the old way.
right???? why the hell would a new compiler version bring the standard library out of scope??
April 30, 2025 at 2:00 PM
right???? why the hell would a new compiler version bring the standard library out of scope??
Ang yet, although this definitely seems true in principle, I feel like I haven't figured out how to capitalize on it yet. Probably a skill issue.
April 30, 2025 at 2:00 PM
Ang yet, although this definitely seems true in principle, I feel like I haven't figured out how to capitalize on it yet. Probably a skill issue.
Haha, yeah, I was going to mention, the fact that you can correct an LLM and follow up with it seems like the main contrast with Googling, where you're basically stuck with its first attempt to run your query.
April 30, 2025 at 1:59 PM
Haha, yeah, I was going to mention, the fact that you can correct an LLM and follow up with it seems like the main contrast with Googling, where you're basically stuck with its first attempt to run your query.
For example, I asked both o1 and 4o about this and got absolutely nothing that was of any use.
discuss.ocaml.org/t/weird-glit...
discuss.ocaml.org/t/weird-glit...
Weird glitch in 5.3.0 switch using utop in Emacs
Hello OCaml friends, I write OCaml using Opam + Dune + Emacs + Tuareg + Merlin. Emacs version 30.1 and Tuareg version 3.0.1. I run utop as my REPL via tuareg-interactive-process, using a pipe as my...
discuss.ocaml.org
April 30, 2025 at 1:53 PM
For example, I asked both o1 and 4o about this and got absolutely nothing that was of any use.
discuss.ocaml.org/t/weird-glit...
discuss.ocaml.org/t/weird-glit...