Wow https://github.com/webyrd/mediKanren

Cool.

Even cooler: https://www.statnews.com/2019/07/25/ai-expert-writing-code-save-son/?utm_content=buffer047ee&utm_medium=social&utm_source=twitter&utm_campaign=twitter_organic

(Using mediKanren.)

I feel like when it comes to the news Matt Might is just an “X expert” for all X, apparently

so now the list is {Programming Langauges, AI, Medicine} at least :wink:

Thanks for linking to the article.

I haven’t read it yet, but was wondering if it was Matt Might

More on medikanren: https://www.uab.edu/news/research/item/10382-a-high-speed-dr-house-for-medical-breakthroughs

Of course UAB made the Matt Might -> Greg House comparison..

If you ever travel to Birmingham it’s Matt central.

I saw his face on at least one bus a day..

Colleges have become predatory big business, slinging out sub-par education.

It’s not just Matt’s expertise, but his energy. He gets an incredible amount done.

It’s funny, I was just thinking the same thing :slightly_smiling_face:

Only knowing Matt through his work and various profile pieces I am in awe of him and his family. Very glad that he has chosen to share his intellect with us.