>>12685303This hurt.
I'm a compling student, into the same stuff as OP and I'm also a Haskell weeb.
He would probably be into logic programming as well.
Podcasts:
Future of Programming
The Search Space
Darkweb Diaries
Magazines:
Logic
New Models
New Design Congress
Books:
GEB
To Mock a Mockingbird
Embassytown
Langs:
LEAN
Haskell
Maybe Julia, it's not that special but useful and it's sort of new
Games:
TIS-100
MHRD
Heaven's Vault
Fields:
CogSci
Abstract Algebra+Category Theory+Topology
Meteorology
Cryptography and Cyber Security
Also within linguistics you should look at everything to do with generative capacity:
Jeffrey Heinz
David Medeiros
John Goldsmith
Thomas Graf
And many others
