mpiedrav

22 ms·

151.
Proofs and Types (2007)(paultaylor.eu)
2 points by mpiedrav 7y ago|0 comments
152.
by mpiedrav 7y ago
However, Intel closed the fab business here years ago, when they decided to reduce expenses even further by moving production to Malaysia. They are still around with some software-related projects. Our Costa Rican economy is, more than ever
153.
A Gentle Introduction to Numerical Simulations with Python(link.springer.com)
2 points by mpiedrav 7y ago|0 comments
154.
An Annotated Edition of G.H. Hardy's a Mathematician's Apology(www-history.mcs.st-and.ac.uk)
1 points by mpiedrav 8y ago|0 comments
155.
Understanding the Rise of China (2010)(ted.com)
3 points by mpiedrav 8y ago|0 comments
156.
Beto O'Rourke's membership in America's oldest hacking group(reuters.com)
498 points by mpiedrav 8y ago|370 comments
157.
Distributed Systems in One Lesson by Tim Berglund (2017)(youtube.com)
1 points by mpiedrav 8y ago|0 comments
158.
The David Rubenstein Show: Yo-Yo Ma (2017)(bloomberg.com)
2 points by mpiedrav 8y ago|0 comments
159.
by mpiedrav 8y ago
An "academically correct" solution (i.e., not to taint the prestige of a scholar who cites the solution) would be to cite a real, proxy scholar who checks the solution, but gives all credit to the anonymous 4chan user. Scientists
160.
by mpiedrav 8y ago
A counterexample: Costa Rica (where I'm from). We haven't had an army for the last 70 years and still remain a country. Superpowers (e.g., US, China, Russia) might need armies as means of mutual deterrence. Smaller countries not s
161.
I sabotage myself when I feel threatened by project/task deadlines(threadreaderapp.com)
1 points by mpiedrav 8y ago|0 comments
162.
The C Family of Languages: Interview with Ritchie, Stroustrup, Gosling (2000)(gotw.ca)
1 points by mpiedrav 8y ago|0 comments
163.
How Japan's Rail Network Survived the Earthquake (2011)(railway-technology.com)
1 points by mpiedrav 9y ago|0 comments
164.
Review of Data and Reality 3rd Edition (2012)(tdan.com)
2 points by mpiedrav 9y ago|0 comments
165.
by mpiedrav 9y ago
It was 7 lb (3.18 kg) of sesame brittle. Indeed, an entertaining and practical talk on TLA+.
166.
The short history of global living conditions and why it matters that we know it(ourworldindata.org)
1 points by mpiedrav 9y ago|0 comments
167.
Leveraging the Power of Automated Reasoning in Security Analysis… (2017)(youtube.com)
1 points by mpiedrav 9y ago|0 comments
168.
Textbook examples of recursion (1991)(arxiv.org)
2 points by mpiedrav 9y ago|0 comments
169.
Expressive Power of SQL (2003) [pdf](homepages.inf.ed.ac.uk)
55 points by mpiedrav 9y ago|18 comments
170.
by mpiedrav 9y ago
«The film’s sheer scale and ambition elicited gasps of awe upon its release in 2002. Four years in development, it was the first feature to be shot in one continuous, HD Steadicam shot covering more than one and a half kilometres. Utilising
171.
Russian Ark(sensesofcinema.com)
1 points by mpiedrav 9y ago|1 comments
172.
Germany–United Kingdom relations(en.wikipedia.org)
1 points by mpiedrav 9y ago|0 comments
173.
Computer Immunology (1998) [pdf](usenix.org)
3 points by mpiedrav 9y ago|0 comments
174.
Chasing diagrams in cryptography (2016)(arxiv.org)
63 points by mpiedrav 9y ago|5 comments
175.
by mpiedrav 10y ago
Specifically on InfoSec, I would recommend: Krebs on Security https://krebsonsecurity.com Daniel Miessler https://danielmiessler.com/blog