Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.
(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation
If anyone knows anything about #typetheory, that would be great.
https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome
and #lisp
@shizamura possibly you can explain types of OWL to us instead of sleeping?
Mura @shizamura@ciberlandia.pt@screwtape @dougmerritt @vnikolov ;u; sorry, turns out I have some personal things going on that prevent me from staying up late tonite...
@shizamura
I'm just bugging you / reminding myself to mention the troubles today
@dougmerritt @vnikolov
Mura @shizamura@screwtape @dougmerritt @vnikolov 
thank you, I hope I can get time next week for Troubles