Viewing profile — darkinvisible

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; n…

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 .. ]…

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. …

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. …