mattmight

6 ms·

1.
by mattmight 4mo ago
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 old post of mine showing how to build the rest of
2.
by mattmight 4mo ago
Good point -- JavaScript's syntax grew up since I wrote that article!
3.
by mattmight 4mo ago
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.
4.
by mattmight 5mo ago
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 got my M1 Max in 2021, GPT-3 was about 1.5 years old and
5.
by mattmight 8mo ago
Blog: https://matt.might.net/articles/ Main site: https://matt.might.net/
6.
by mattmight 2y ago
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 profound ways. I am always grateful for the reminder and to
7.
by mattmight 2y ago
Happy to hear that! Thank you for sharing it with others. :)
8.
by mattmight 2y ago
So happy it helped! Thank you for the kind words!
9.
by mattmight 2y ago
Good for you!
10.
by mattmight 2y ago
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 are just starting your own PhD: Good luck to you! And, I hope
11.
by mattmight 2y ago
"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 than Lisp into bash. It does
12.
by mattmight 2y ago
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 most models to behave reasonably. They just don't foll
13.
by mattmight 4y ago
Glad to see you're still doing the right thing, JT!
14.
by mattmight 4y ago
(Article author here.) This was the reference I used for TeX programming: https://pgfplots.sourceforge.net/TeX-programming-notes.pdf
15.
by mattmight 4y ago
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.
16.
by mattmight 4y ago
Day 7 is still impressive!
17.
by mattmight 4y ago
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.
18.
by mattmight 4y ago
Woops -- I'll take those down. Thanks for pointing that out.
19.
by mattmight 4y ago
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...
20.
by mattmight 4y ago
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 last! I still hadn’t written one by November, but now I’ve g
21.
by mattmight 5y ago
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-...
22.
by mattmight 5y ago
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 Precision Medicine that abstracted the journey all t
23.
by mattmight 5y ago
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 always possible, in fact, since logical arguments can a
24.
by mattmight 5y ago
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 "proofs" that end users like physicians can
25.
by mattmight 5y ago
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 focus on programming languages. Will was building up m
26.
by mattmight 6y ago
Thank you for the kind words -- and also for reminding me about the Godel hashing work!! That was one of the last things I did before the hard pivot into academic medicine.
27.
by mattmight 6y ago
Thank you :)
28.
by mattmight 6y ago
The Precision Medicine Institute that I now run produces mediKanren: https://github.com/webyrd/mediKanren It's an open source logical reasoning engine (read: 1960's AI) for drug repurposing that we deploy rou
29.
by mattmight 6y ago
Thank you for looking at the draft! Suggestions and corrections always welcome if you have any.
30.
by mattmight 6y ago
Thank you for the very kind words and friendship. I certainly hope Bertrand's legacy of science in the service of patients continues to grow with time.

More ›