darkinvisible

7 ms·

1. 1.▲
   by darkinvisible 2mo ago

   I just read the (cool!) article...didn't see a single CAR or CDR --was using them quite a bit... last century!
2. 2.▲
   by darkinvisible 4mo ago

   Does it use switch in place? x = x XOR y, y = x XOR y, x = x XOR y
3. 3.▲
   by darkinvisible 5y ago

   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.
4. 4.▲
   by darkinvisible 9y ago

   Ghostery: 25 uBlock Origin: 62
5. 5.▲
   by darkinvisible 9y ago

   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 in
6. 6.▲
   by darkinvisible 10y ago

   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 case