Whole-known-network
<p>What the hell is the two level lambda calculus</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> I’ve decided to simply move forward and read the rest of this paper hoping I understand better when it gets to the examples. Ty tho u have made me less worried</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@bhaktishh" class="u-url mention">@<span>bhaktishh</span></a></span> </p><p>You are close to reaching the standards of Socrates and Plato.</p><p>The next step is when you realize that you know that you know nothing.</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> hm now im trying to write (x) and the whole type kind thing is confusing me bc what you said technically won’t be definable</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> on those days I (1) don’t check email until late afternoon and (2) work from a coffee shop.</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> have you considered making one day (or two, or three) a week fully clear from teaching, meeting, and admin, focusing it solely on research?</p>
<p><span class="h-card" translate="no"><a href="https://chaosfem.tw/@rooster" class="u-url mention">@<span>rooster</span></a></span> omg Jessica istg I don’t even have therapy for another week 😭</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@bhaktishh" class="u-url mention">@<span>bhaktishh</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> it's not a type it's a "will be a type, later (once it's applied)".</p>
<p>so fucking sweaty i could melt into a puddle i cannot live in the tropics</p>