Viewing profile — mattmight

Original article author here. One of the interesting things about the lambda calculus is its universality: by itself, it's a complete foundation for computation. Here's a different…

Good point -- JavaScript's syntax grew up since I wrote that article!

Thank you for the kind words! I keep hoping I can find the time to do more writing again. And, yes, I started that blog in 2008.

Wondering the same, and in somewhat different terms. And as models shrink in size yet go up in intelligence and performance, I'm finding ever more life in older hardware. When I go…

Blog: https://matt.might.net/articles/ Main site: https://matt.might.net/

Nothing to feel bad about. Thank you for sharing that too. My son’s life changed my own in profound ways, and even though he died four years ago, he is still changing my life in pr…

Happy to hear that! Thank you for sharing it with others. :)

So happy it helped! Thank you for the kind words!

Good for you!

Original author of the guide here. Wonderful to see these little illustrations still making the rounds. I first published them in 2010! To those in the comments who mentioned you a…

"Think of it as an unholy combination of bash and Lisp" reminded me of Scheme Shell: https://scsh.net/ My Ph.D. advisor Olin Shivers created this. It's more pulling bash into Lisp …

Same! I use ollama a lot, but when I need to do real engineering with language models, I end up having to go back to llama.cpp because I need grammar-constrained generation to get …

Glad to see you're still doing the right thing, JT!

(Article author here.) This was the reference I used for TeX programming: https://pgfplots.sourceforge.net/TeX-programming-notes.pdf

I had a similar thought after finishing:if you wanted to really learn a new language in depth, you could solve all 25 days using that language.

Day 7 is still impressive!

Thanks! I have a part two planned to comment more about the languages / days themselves. This post was just getting too long to include it here.

Woops -- I'll take those down. Thanks for pointing that out.

I’ve never written any serious software using C++. But, I did once learn how to do template meta-programming: https://matt.might.net/articles/c++-template-meta-programmin...

Thank you for the kind words! I missed blogging too, so I set a New Year’s resolution in January to write at least two blog posts this year. It had been over seven years since my l…

Feel free to reach out. Happy to help. Also, I've put much of what I've learned online: https://bertrand.might.net/articles/algorithm-for-precision-...

I've been in your shoes, but for my son, who ended up being the first case ever discovered of his particular genetic disorder. I'm happy to help. I written down an Algorithm for Pr…

miniKanren definitely exploits a lot of the syntactic dexterity of Scheme/Racket/Lisp to do some really cool things -- or at least to express them more succinctly. Yes, it is alway…

Thanks for the kind words! It's definitely a deliberate leap back to the old logical/symbolic era of AI. Not mentioned in the article is that logic makes it much easier to emit "pr…

I'm the researcher mentioned in the article. We used Racket in part because before we transitioned into academic medicine, Will Byrd and I were in academic computer science with a …