Profile

Cover photo
Alli Quaknaa
Attends Charles University in Prague
149 followers|15,631 views
AboutPostsPhotosYouTube

Stream

Alli Quaknaa

Shared publicly  - 
 
𝘉𝘶𝘵 𝘭𝘪𝘣𝘦𝘳𝘵𝘺, 𝘢𝘴 𝘸𝘦 𝘢𝘭𝘭 𝘬𝘯𝘰𝘸, 𝘤𝘢𝘯𝘯𝘰𝘵 𝘧𝘭𝘰𝘶𝘳­𝘪𝘴𝘩 𝘪𝘯 𝘢 𝘤𝘰𝘶𝘯𝘵𝘳𝘺 𝘵𝘩𝘢𝘵 𝘪𝘴 𝘱𝘦𝘳𝘮𝘢𝘯𝘦𝘯𝘵𝘭𝘺 𝘰𝘯 𝘢 𝘸𝘢𝘳 𝘧𝘰𝘰𝘵𝘪𝘯𝘨, 𝘰𝘳 𝘦𝘷𝘦𝘯 𝘢 𝘯𝘦𝘢𝘳-𝘸𝘢𝘳 𝘧𝘰𝘰𝘵𝘪𝘯𝘨. 𝗣𝗲𝗿𝗺𝗮𝗻𝗲𝗻𝘁 𝗰𝗿𝗶𝘀𝗶𝘀 𝗷𝘂𝘀𝘁𝗶𝗳𝗶𝗲𝘀 𝗽𝗲𝗿𝗺𝗮𝗻𝗲𝗻𝘁 𝗰𝗼𝗻𝘁𝗿𝗼𝗹 𝘰𝘧 𝘦𝘷𝘦𝘳𝘺𝘣𝘰𝘥𝘺 𝘢𝘯𝘥 𝘦𝘷𝘦𝘳𝘺𝘵𝘩𝘪𝘯𝘨 𝘣𝘺 𝘵𝘩𝘦 𝘢𝘨𝘦𝘯𝘤𝘪𝘦𝘴 𝘰𝘧 𝘵𝘩𝘦 𝘤𝘦𝘯𝘵𝘳𝘢𝘭 𝘨𝘰𝘷𝘦𝘳𝘯𝘮𝘦𝘯𝘵.
---Aldous Huxley: Brave New World Revisited
http://www.huxley.net/bnw-revisited/
1
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
It's hard to keep track of all the NSA leaks. Here's a nice summary of what we currently know: http://www.reddit.com/r/technology/comments/1m773a/how_the_feds_asked_microsoft_to_backdoor/cc6hes1
Thanks to Snowden, we now know the NSA: * Had James Clapper lie under oath to us - on camera - to Congress to hide the domestic spying programs [Occu...
1
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
"We must do away with the absolutely specious notion that everybody has to earn a living."
http://i.imgur.com/Lm3QLri.jpg
1
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
So it seems like (to some people anyway) RSA and others will fall soon... and guess who standardaized the only viable alternative they also promote (I don't blame them)? Yup, the NSA. I don't really think there's something fishy at play, but as I'm getting more and more paranoid, this doesn't help.
See the presentation: http://www.isecpartners.com/media/105564/ritter_samuel_stamos_bh_2013_cryptopocalypse.pdf
 
MIT tech review article on Black Hat conference, on research by Joux on the discrete log problem underpinning RSA & Diffie-Hellman encryption schemes: "Academic advances suggest that the encryption systems that secure online communications could be undermined in just a few years."
Academic advances suggest that the encryption systems that secure online communications could be undermined in just a few years.
1 comment on original post
1
1
Jakub Bystroň's profile photoLukáš Lánský's profile photo
 
:-)
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
Many of the questions I wanted to ask are answered here. Very important conversation.
1
Alli Quaknaa's profile photo
 
Especially this one I was looking for:

Q: Is encrypting my email any good at defeating the NSA survelielance? Id my data protected by standard encryption?

A: Encryption works. Properly implemented strong crypto systems are one of the few things that you can rely on. Unfortunately, endpoint security is so terrifically weak that NSA can frequently find ways around it. 
Add a comment...
 
Strongly recommend this paper as a follow-up to the lower-bounds given by Frick and Grohe in 2004.  Note that this also contains a proof that model checking of MSO_2 is not even XP for cliques; the first proof was given by Courcelle, Makowski and Rotics in 2000 but relied heavily on old results by Fagin which are somewhat hard to parse. The proof in this paper is self-contained and actually pretty insightful. #spnetwork #recommend arXiv:1302.4266
Selected Papers Network
A well-known result by Frick and Grohe shows that deciding FO logic on trees involves a parameter dependence that is a tower of exponentials. Though this lower bound is tight for Courcelle's theorem, it has been evaded by a series of recent meta-theorems for other graph classes.
1
Add a comment...
 
 
+brian wang brings some really lovely infographics to the table depicting the decoupling and where the jobs are going.  Definitely worth saving.
Productivity increases but jobs do not increase. In economics, productivity—the amount of economic value created for a given unit of input, such as an hour of labor—is a crucial indicator of growth and wealth creation. It is a measure of progress. On the chart Brynjolfsson likes to show, ...
1 comment on original post
2
1
Alli Quaknaa's profile photoLukáš Lánský's profile photo
 
+Moshe Vardi seems to really care about this topic, so check out his stream. +Lukáš Lánský +Tomáš Jakl +David Kopecký +Zdeněk Rosenberg 
Add a comment...
In his circles
219 people
Have him in circles
149 people
Daniela Mattern's profile photo
Pavel Bláha's profile photo
Kryštof Novák's profile photo
Petr Sedláček's profile photo
Jirka Maršík's profile photo
Jakub Šnapka's profile photo
Michael Skotnica's profile photo
Martin Smolka's profile photo
KSP's profile photo

Alli Quaknaa

Shared publicly  - 
 
Good summary of arguments for and against Universal Basic Income.
2
Jirka Maršík's profile photo
 
That's encouraging! I didn't know it was already in a Swiss referendum...
Add a comment...
 
We really are getting screwed hard by the NSA.
Fact 1: The NSA designs the standards for encryption schemes and algorithms.
Fact 2: What's more, it designs them such that they're vulnerable (http://arstechnica.com/security/2013/09/new-york-times-provides-new-details-about-nsa-backdoor-in-crypto-spec/)
Fact 3: The most widely used cryptography schemes (RSA/DSA) might get broken soon mathematically (http://www.technologyreview.com/news/517781/math-advances-raise-the-prospect-of-an-internet-security-crisis/)
The kicker: The most recommended alternative (Elliptic Curve cryptography) standardization came from... the NSA.
The paper points a finger definitively at the long-suspected Dual_EC_DRBG algorithm.
1
2
Moshe Vardi's profile photoChe Han Lim's profile photo
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
On science, uncertainty and asking good questions.
http://nautil.us/issue/2/uncertainty/certainly-not
1
Tomáš Jakl's profile photo
 
Beautifully written.
Add a comment...
 
Listen to this -- and then download all his music for free :)
 
Pure awesome!
Stop-motion & Electro!

Music by Professor Kliq, video by Victor Haegelin.

Free download:
http://jamen.do/t/398210

#electro   #creativity   #freedownload   #stopmotion  
View original post
2
Vít Rýznar's profile photoAlli Quaknaa's profile photoTomáš Koutecký's profile photo
4 comments
 
Taky jsem u někoho viděl odkaz na nový Daft Punk a dost příjemně mě to překvapilo :)
 ·  Translate
Add a comment...

Alli Quaknaa

Shared publicly  - 
 
+Tomáš Jakl This could take off.
 
Here it is at last: the Selected Papers Network.   Given that social networks already exist, all we need for truly open scientific communication is a convention on a consistent set of tags and IDs for discussing papers.  Christopher Lee has developed software that makes this work.  Try it out!  

What's cool about this system is that it's federated.  Instead of “locking up” your comments within its own website—the “walled garden” strategy followed by many other services—it explicitly shares these data in a way that people not on the Selected Papers Network can easily see. Any other service can see and use them too!
57 comments on original post
1
Tomáš Jakl's profile photo
 
Jo dík, už to sdílel Timothy Gowers, takže to mám uložený a přečtu si to.
 ·  Translate
Add a comment...
People
In his circles
219 people
Have him in circles
149 people
Daniela Mattern's profile photo
Pavel Bláha's profile photo
Kryštof Novák's profile photo
Petr Sedláček's profile photo
Jirka Maršík's profile photo
Jakub Šnapka's profile photo
Michael Skotnica's profile photo
Martin Smolka's profile photo
KSP's profile photo
Basic Information
Gender
Male
Education
  • Charles University in Prague
    Discrete models and algorithms, 2011 - present
  • Charles University in Prague
    Computer Science, 2008 - 2011
Links
Contributor to