infruset

28 ms·

91.
Coq 8.7+beta2(coq.inria.fr)
3 points by infruset 9y ago|0 comments
92.
CSAW CTF 2017: Realism (400 pts)(fortenf.org)
1 points by infruset 9y ago|0 comments
93.
Microsoft Adds Cloud Security to Keep Out Hackers – And Government Snoops(bloomberg.com)
2 points by infruset 9y ago|1 comments
94.
Inverse Symbolic Calculator(isc.carma.newcastle.edu.au)
1 points by infruset 9y ago|1 comments
95.
Coq 8.7+beta1(coq.inria.fr)
1 points by infruset 9y ago|0 comments
96.
Numworks graphing calculator is made for students raised on tech(engadget.com)
9 points by infruset 9y ago|0 comments
97.
Fear and Loathing at Effective Altruism Global 2017(slatestarcodex.com)
2 points by infruset 9y ago|0 comments
98.
On Campus, Failure Is on the Syllabus(nytimes.com)
1 points by infruset 9y ago|0 comments
99.
How to Wake Up Feeling Totally Alert (2007)(stevepavlina.com)
2 points by infruset 9y ago|0 comments
100.
by infruset 9y ago
Couldn't slightly randomizing the image before inputting it to the neural network invalidate such manipulations?
101.
by infruset 9y ago
Yes, I admitted as much in my other comment ( https://news.ycombinator.com/item?id=14921916 ). Out of curiosity, do you think this has always been the case or is it a more recent trend?
102.
by infruset 9y ago
Point taken. I still think many people here would frown upon such websites, but maybe it's also a matter of my living in an echo chamber of atheist and internationalist liberals :-) I'd be curious to know what percentage of French
103.
by infruset 9y ago
In France where I live, I suspect such community-based dating apps would be frowned upon and seen as close-minded. Most people I know see religion as something people slowly liberate themselves from and not as a silo inside which you get ma
104.
by infruset 9y ago
Any signs this project isn't dead? The curl command for installing it does not work and the last blog post is from January.
105.
Turtl: A secure, encrypted Evernote alternative(turtlapp.com)
3 points by infruset 9y ago|1 comments
106.
Why Procrastinators Procrastinate (2013)(waitbutwhy.com)
3 points by infruset 9y ago|0 comments
107.
by infruset 10y ago
That's exactly what Tezos [1] is proposing: a strongly typed language whose semantics is currently being formalized in the Coq theorem prover. [1]: https://tezos.com/pages/tech.html
108.
When Will We See Collisions for SHA-1? (2012)(schneier.com)
9 points by infruset 10y ago|1 comments
109.
Michelson:a Statically Typed Stack Based Language for Smart-Contracts[video](youtube.com)
1 points by infruset 10y ago|0 comments
110.
Highlights from the Comments on Cost Disease(slatestarcodex.com)
3 points by infruset 10y ago|0 comments
111.
We should justify ourselves no more: Felwine Sarr’s Afrotopia(jhiblog.org)
1 points by infruset 10y ago|0 comments
112.
Hero's Journey(thewritersjourney.com)
2 points by infruset 10y ago|0 comments
113.
Listening to Trump Voters(the-american-interest.com)
3 points by infruset 10y ago|0 comments
114.
CompCert C: a trustworthy compiler(compcert.inria.fr)
1 points by infruset 10y ago|0 comments
115.
by infruset 10y ago
This is probably obvious to most people here, but I just want to mention that such software should not be trusted blindly for mathematical correctness. It is easy in most computer algebra systems to find false results (and trivial if it inc
116.
1 second everyday(1se.co)
2 points by infruset 10y ago|0 comments
117.
What Flirting Looked Like in 2016(theblog.okcupid.com)
3 points by infruset 10y ago|0 comments
118.
Coq 8.6 is out(coq.inria.fr)
151 points by infruset 10y ago|88 comments
119.
The upcoming version: Coq 8.6rc1(coq.inria.fr)
1 points by infruset 10y ago|0 comments
120.
Anti-homeless spikes:Sleeping rough opened my eyes to the city’s barbed cruelty(theguardian.com)
42 points by infruset 10y ago|29 comments

More ›