I just read the (cool!) article...didn't see a single CAR or CDR --was using them quite a bit... last century!
Does it use switch in place? x = x XOR y, y = x XOR y, x = x XOR y
Another issue: dumbing down. Connecting via web / browser has gradually dropped a lot of stuff and has become just like the mobile app. I used to log in a couple of times a week; now it's not even once a month.
Ghostery: 25 uBlock Origin: 62
The key to e.g. Goedel's results is the Fixed Point Lemma: if ψ is a formula with v free then there is a sentence φ such that, provably, φ <=> ψ(<φ>) [where <..> is the numerical code of .. ]. The proof, if you are…
Narrowing it a bit, how about paying to read research I WROTE? I tried to access a paper of mine I didn't have handy and sure enough the fee was $35. Turned to sci-hub, of course. I pirated myself. --Anonymous, just in…
I just read the (cool!) article...didn't see a single CAR or CDR --was using them quite a bit... last century!
Does it use switch in place? x = x XOR y, y = x XOR y, x = x XOR y
Another issue: dumbing down. Connecting via web / browser has gradually dropped a lot of stuff and has become just like the mobile app. I used to log in a couple of times a week; now it's not even once a month.
Ghostery: 25 uBlock Origin: 62
The key to e.g. Goedel's results is the Fixed Point Lemma: if ψ is a formula with v free then there is a sentence φ such that, provably, φ <=> ψ(<φ>) [where <..> is the numerical code of .. ]. The proof, if you are…
Narrowing it a bit, how about paying to read research I WROTE? I tried to access a paper of mine I didn't have handy and sure enough the fee was $35. Turned to sci-hub, of course. I pirated myself. --Anonymous, just in…
Narrowing it a bit, how about paying to read research I WROTE? I tried to access a paper of mine I didn't have handy and sure enough the fee was $35. Turned to sci-hub, of course. I pirated myself. --Anonymous, just in…