One would think that all this bioRFIDetery is there to prevent counterfeits, but, it turns out, it just about tracking.
Follow
Jan Malakhovski
@oxij
math, logic, agda, haskell, philosophy, security, *nix
Jan Malakhovski’s Tweets
Also 1h into this youtube.com/watch?v=qRz77m one can learn how ridiculously insecure your biometric RFID-enabled (yep, it is!) passport is
1
Spent quite a chunk of the last 18 months watching a lot of these youtube.com/user/AtGoogleT (ignore all the celebs) youtube.com/user/CCCen/vid
1
The Vice President of the United States assassinates the President, becomes President, then pardons himself
8
141
255
Actually, there are also some very interesting insights on this by Noam Chomsky, e.g.: youtu.be/jnc1Ay6X1bg?t=
Quote Tweet
Replying to @Liberationtech
Despite Silicon Valley hype, government funds most research: 73 of top 100 innovations in 2000s nybooks.com/articles/2014/ HT @Liberationtech
Replying to
Despite Silicon Valley hype, government funds most research: 73 of top 100 innovations in 2000s nybooks.com/articles/2014/ HT
2
83
74
Crypto debate: "All houses should be required to be doused in gasoline but we'll definitely require a warrant to actually set fire to them"
7
492
394
Replying to
Because, on reflection, I can't name that many general life perspectives and ideas I appreciated when I was both 16 and 22.
Replying to
Does it mean that people wouldd experience "teenage" psy problems multiple times? Would that be much different from actually dying?
1
Replying to
(Which, I assume, would be necessary to battle society stagnation.)
1
On hard sf. Assume people start living for 100*n (> 1) years, and battle neural over-fitting with e.g. drug therapy.
1
Replying to
See also: Jennifer Granick. The End of the Internet Dream keynote talk youtube.com/watch?v=Tjvw5f starts at 15:50
Replying to
Yes, there is at least one fine example: Stop the Music / Boing Boing
1
Which brings us to the question: Is there a sci-fi about copyright relations in the era of brain extension chips?
1
1
Modern copyright works because copying is much easier than reproducing and reproducing a copy is improbable. Suppose both are false.
... but suppose you can easily reproduce all the things you've ever written on the spot.
Which is especially interesting for programming. Today commonly you can't take proprietary code with you to e.g. a new job, ...
Wondering. Suppose it's year 2200, everyone uses brain extension chips, for media "saw" <=> "can reproduce". How's copyright gonna hold?
1
>> that I'm too lazy to document on account that fetchmail's upstream is being dead a little
Interestingly enough, most of the programs I touch lately I also patch. E.g. I have a couple more patches for fetchmail >>
``Add and document "passwordeval" option'' gitlab.com/fetchmail/fetc In case you don't like plaintext passwords in fetchmail
1
Tip of the week
git log --reverse --format="%H" <files> | xargs -n1 -I{} git show {}
does git-show for all revisions with changes to <files>
2
Also on the topic of that tweet three tweets ago see "Magic Cube 4D" superliminal.com/cube/cube.htm
OH: "I'm thinking about my next step" – "Big step or small step?" – "Small step. A big step semantics for life would be rather depressing"
13
13
Choose a discipline you love and you'll never work a day in your life likely because that field isn't hiring.
14
1,540
1,862
Or even more rigorously: FP language -> imperative intermediate -> asm -> RTL & linear logic -> differential equations -> electrons
2
conventional FP languages are compiled to asm only so that they then can be interpreted by an interpreter for asm written in FP language.
1
Today it struck me that since Register Transfer Level in Hardware Design is basically a functional programming language,
1
Replying to
1
Also, is there a language that has computable comments? I.e. e.g. function description comment references its arguments,
The idea, obviously, comes from an observation about a piece of code with an incredible number of universally irrelevant type arguments.