Liskell: Haskell with Lisp syntax.
.pdf
DougMerritt (log😅 = 💧log😄)
DougMerritt (log😅 = 💧log😄)
npub1cqpv...us7x
I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.
Also:
#computer_science #unicode #unix #linux #bsd
#compilers
#operating_systems
#GOF_AI
#cognitive_science
#linguistics
#physics
#mathematics
Ex-springboard diver; scuba diver; free diver
Ars longa, vita brevis.
@npub1knzs...c73p
This conceivably could be of interest to you, although it's 8 months old so you also may have heard of it already:
"Emily Riehl Makes Infinity Categories Elementary"
"Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn.
"In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine what math even is."
In the channel of Curt Jaimungal, who somehow manages to get a lot of high-profile interviewees.