kushti

87 ms·

781.
by kushti 11y ago
What is the possible level of interoperability?
782.
Emulating Higher-Order Modules in Haskell(dnaq.github.io)
8 points by kushti 11y ago|0 comments
783.
by kushti 11y ago
Oh yeah, would be interesting. Also some comparison of different teams suspected in working for govs
784.
Understanding Brute Force (2005) [pdf](cr.yp.to)
22 points by kushti 11y ago|0 comments
785.
by kushti 11y ago
How is it protected from Sybil attacks on consensus algo? The algo description is definitely needed.
786.
Google Correlate does not imply Google Causation(slatestarcodex.com)
2 points by kushti 11y ago|0 comments
787.
WTF Are Smart Contracts Anyway?(db.erisindustries.com)
3 points by kushti 11y ago|0 comments
788.
Thank You FBI and Justice Departments(facebook.com)
1 points by kushti 11y ago|0 comments
789.
Isabelle as a solver in Leon(github.com)
2 points by kushti 11y ago|0 comments
790.
by kushti 11y ago
The article is an exaggeration at least. "Space travel" wasnt' comparable with dialectical materialism(lead Soviet philosophical doctrine) in any way. Interestingly, could be "american exceptionalism" called an &quo
791.
Teens Charged with Sex Crimes After One Sends Nude Selfie to the Other(deathandtaxesmag.com)
2 points by kushti 11y ago|0 comments
792.
FBI, Intel Chiefs Decry “Deep Cynicism” Over Cyber Spying Programs(arstechnica.com)
5 points by kushti 11y ago|1 comments
793.
Send Aliens Modern Messages of Earth's Equality and Diversity, Say Scientists(theguardian.com)
3 points by kushti 11y ago|2 comments
794.
by kushti 11y ago
"the Komsomolskaya Pravda daily has reported" - it's worthless to read after these words. Komsomolskaya Pravda is a yellow press.
795.
FBI used Burning Man to field-test new surveillance equipment(boingboing.net)
3 points by kushti 11y ago|0 comments
796.
Homotopy Type Theory for Dummies (2013) [pdf](cs.nott.ac.uk)
41 points by kushti 11y ago|9 comments
797.
Crypto Protocols(kodu.ut.ee)
1 points by kushti 11y ago|0 comments
798.
Dependently typed programming and theorem proving in Haskell(jeltsch.wordpress.com)
87 points by kushti 11y ago|1 comments
799.
What Computer Science Papers Should Everyone Read?(cstheory.stackexchange.com)
2 points by kushti 11y ago|0 comments
800.
by kushti 11y ago
Living not far away from Saint-Petersburg, I would like to request SPb meetup too
801.
“I confirm that I am not a resident of Iran, Syria, North Korea or State of NY”(reddit.com)
25 points by kushti 11y ago|3 comments
802.
Wisecracker 1.0 – A high performance distributed cryptanalysis framework(georgeskut.ch)
1 points by kushti 11y ago|0 comments
803.
San Francisco Mayor Vows to Remove City's Homeless by Super Bowl Weekend(news.vice.com)
1 points by kushti 11y ago|0 comments
804.
by kushti 11y ago
How much time have you spent in India? I've been for half an year there, and 1.5 months in US. My feeling is americans are MUCH more aggressive in general
805.
by kushti 11y ago
Indians made this (see Gandhi & Indian independence movement), but I don't sure "americans"(mostly english people living overseas those days) were capable for that(especially with taking natives genocide & slavery int
806.
Encrypted database case #1(yurichev.com)
143 points by kushti 11y ago|12 comments
807.
All Hail King Bitcoin Not(cryptoanarchy.liberty.me)
3 points by kushti 11y ago|0 comments
808.
by kushti 11y ago
Well, I have a feeling problems will be not so huge as in 2009 due to increased money velocity index, but I can't find statistics behind that (imports shrinked though http://www.tradingeconomics.com/russia/imports
809.
The Secure Computation API(github.com)
2 points by kushti 11y ago|0 comments
810.
NIST Releases SHA-3 Cryptographic Hash Standard(nist.gov)
5 points by kushti 11y ago|0 comments

More ›