YAYERKA

9 ms·

31.
Automated algebraic cryptanalysis with OpenREIL and Z3(blog.cr4.sh)
18 points by YAYERKA 12y ago|0 comments
32.
by YAYERKA 12y ago
This is a great tip. I've been using it for a few years now to watch various lectures on youtube--especially mathematics. Professors lecturing mathematics tend to speak slowly since they don't want to say anything erroneous. Spe
33.
CryptoAction(youtube.com)
1 points by YAYERKA 12y ago|0 comments
34.
by YAYERKA 12y ago
http://en.wikisource.org/wiki/Science_and_Hypothesis http://en.wikisource.org/wiki/The_Measure_of_Time
35.
by YAYERKA 12y ago
English translations of Science and Hypothesis as well as The Measure of Time can be read here; ` http://en.wikisource.org/wiki/Science_and_Hypothesis' , ` http://en.wikisource.org/wiki/The_M
36.
by YAYERKA 12y ago
The comparisons between filesystem-level vs. block-level encryption that I've encountered usually make a common distinction; namely that file metadata is still present when only applying fs-level encryption. What are some attributes o
37.
by YAYERKA 12y ago
>Trying to hold on to worthless jobs is a terrible but popular idea. It seems warm and fuzzy to think Sam, and the implicit company he keeps (the ultra rich)--who are "leveraging not only their abilities and luck" but already a
38.
by YAYERKA 12y ago
>1. modularity (and now that they have added generative functors à la SML, you can have true abstraction) Could you share some information regarding Haskell and it's 'modularity' problem (vs. the ML family of languages). I
39.
by YAYERKA 12y ago
Tcl/Tk is an often overlooked tool to quickly test UI ideas. Check out ` http://wiki.tcl.tk/' (which has lot's of good information). Also learn some Tcl by reading the redis test suite here, ` https:/&#x2
40.
Research at Google(research.google.com)
1 points by YAYERKA 12y ago|0 comments
41.
The Stanford Natural Language Processing Reading Group Schedule(nlp.stanford.edu)
1 points by YAYERKA 12y ago|0 comments
42.
by YAYERKA 12y ago
Thanks for sharing, and for anyone else reading you might also like the following book--`Modern Compiler Implementation in ML' by Appel. ( http://www.cs.princeton.edu/~appel/modern/ml/ )
43.
Failed Software Economics(pchiusano.github.io)
1 points by YAYERKA 12y ago|0 comments
44.
by YAYERKA 12y ago
>The street became colder, short Russian summer moves for the winter. Brains cooled down a bit and began to think. I've always anticipated winter with a similar sentiment--I like the way this was said.
45.
PiP 2014: Principles in Practice(cl.cam.ac.uk)
1 points by YAYERKA 12y ago|0 comments
46.
The Ethos Operating System(ethos-os.org)
3 points by YAYERKA 12y ago|0 comments
47.
Ultimate physical limits to computation(arxiv.org)
1 points by YAYERKA 12y ago|0 comments
48.
The Ur Programming Language(impredicative.com)
2 points by YAYERKA 12y ago|0 comments
49.
Swift Boating in Modern Cryptography(in-theory.blogspot.com)
2 points by YAYERKA 12y ago|0 comments
50.
by YAYERKA 12y ago
Previously discussed here ` https://news.ycombinator.com/item?id=5872043' . And links to the `greatest of the great' papers; ` https://news.ycombinator.com/item?id=5872310' .
51.
Grothendieck Inequality(en.wikipedia.org)
2 points by YAYERKA 12y ago|1 comments
52.
Douglas Engelbart(en.wikipedia.org)
2 points by YAYERKA 12y ago|0 comments
53.
Is Ebola adapting?(bedford.io)
4 points by YAYERKA 12y ago|0 comments
54.
by YAYERKA 12y ago
For anyone interested, here is another paper concerning similar topics: `Verification of a Cryptographic Primitive: SHA-256', https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf . And don't forget ab
55.
Computers in Spaceflight: The NASA Experience(history.nasa.gov)
1 points by YAYERKA 12y ago|0 comments
56.
3rd BIU Winter School on Cryptography 2013(youtube.com)
2 points by YAYERKA 12y ago|0 comments
57.
PhotoMath(vimeo.com)
4 points by YAYERKA 12y ago|0 comments
58.
by YAYERKA 12y ago
Thanks for posting this; this is such a great interview. I always find you can learn so much from an accomplished artist. They seem to know about everything! This was one of my favourite parts ... > Yes, I use pencil first. With Genesi
59.
What is SageMathCloud: let's clear some things up(sagemath.blogspot.com)
2 points by YAYERKA 12y ago|0 comments
60.
Brief History of the Internet(internetsociety.org)
6 points by YAYERKA 12y ago|0 comments

More ›