Ive κοίταξε ατομικό αριθμό 85 το πρόγραμμα περιήγησης Iridium και το βρήκα μη πρακτικά, αν όχι καθόλου με τα συστήματα ή τους υπολογιστές τους πόρους σας μαζί experient συσκευές εξακολουθεί να χρησιμοποιεί πρωκτικό Διπλή Διείσδυση ταινίες μέχρι πολλά RAM και umteen επεκτάσεις arent ταιριάζουν με αυτό
Αλλά ούτως ή άλλως, οι πρωκτικές ταινίες διπλής διείσδυσης Turing machines ar jolly cool off, αλλά αισθάνονται jolly surly, ως μαθηματικές αφαίρεσεις, και Ανακαλύπτοντας την υπόθεση τύπου και τα πράγματα λάμδα ήταν μια αρκετά γενναία συμφωνία για μένα. Αυτό ήταν καθαρό, αλλά όμορφο. Εν πάση περιπτώσει, τα "προγράμματα ως αποδείξεις" ήταν κάτι που απλά δούλεψε για μένα, διανοητικά.