infruset

15 ms·

121.
Moralized Rationality(journals.plos.org)
1 points by infruset 10y ago|0 comments
122.
by infruset 10y ago
I was under the impression that there were scrypt ASICS. Can someone explain how, if true, this is compatible with this claim?
123.
In search of software perfection(royalsociety.org)
1 points by infruset 10y ago|0 comments
124.
by infruset 10y ago
A relevant article on large proofs: http://gallium.inria.fr/blog/large-proofs/
125.
The trouble with books(unenumerated.blogspot.com)
1 points by infruset 11y ago|0 comments
126.
Doctors and Drugs: Promoting Growth and Equality Through Free Trade(cato.org)
2 points by infruset 11y ago|0 comments
127.
Coq 8.5 is out(coq.inria.fr)
2 points by infruset 11y ago|0 comments
128.
Are You Using the Right Axiomatic System?(inutile.club)
2 points by infruset 11y ago|0 comments
129.
by infruset 11y ago
Really? My experience has been that for some reason, on some phones, messages are only downloaded when the app is opened, which is really annoying but seems to be an interaction-with-the-OS issue rather than a networking issue. However, mes
130.
by infruset 11y ago
Great! I just saw your reply, I don't know your twitter handle (it doesn't seem to be @l_m_g_ or @tezos).
131.
by infruset 11y ago
Hi, I've been trying to find a way to contact you about the Tezos paper, which I found very interesting. Are you working on an implementation? Is there any way to participate in the process?
132.
The Bootstrapper’s Guide to Bitcoin Remittances(techcrunch.com)
1 points by infruset 11y ago|0 comments
133.
by infruset 11y ago
Worth noting, lest the name scare you away from a great computer science achievement: https://coq.inria.fr/news/114.html
134.
by infruset 12y ago
Well, I would like to oppose two things to this: - this may be exceedingly US centered, as in my country it is not quite as obvious. In fact, the word "race" does not even exist in my language (at least in the American meaning, th
135.
by infruset 12y ago
You are starting from the assumption that it is normal that people date inside of their "race". This is an assumption that is very often made by Hollywood movies and which I find offensive, all the more because it is self-fulfilli
136.
by infruset 12y ago
This reminds me of the concept of Permacoin ( https://www.cs.umd.edu/~elaine/docs/permacoin.pdf ). Maybe they should give it a thought? The idea is to create a financial incentive to store chunks of a huge dataset b
137.
Synereo: A Decentralized and Distributed Social Network(synereo.com)
1 points by infruset 12y ago|1 comments
138.
by infruset 12y ago
Would this affect Bitcoin private keys generated with this kernel?
139.
by infruset 12y ago
Does anyone know if there is technology out there which would allow for VPN traffic to blend in with other traffic, or to bypass DPI in any way?
140.
by infruset 12y ago
> book a ticket in the home supporters area How is that related? They didn't book a ticket in Mecca for all I know.
141.
by infruset 12y ago
Because the character is depicted similarly as in a previous cartoon by the same cartoonist: https://i.imgur.com/Lm4p71F.jpg I don't get why you're being downvoted though. Have an upvote.
142.
If There Is No Struggle, There Is No Progress (1857)(blackpast.org)
2 points by infruset 12y ago|0 comments
143.
by infruset 12y ago
Yep, I stopped reading there.
144.
by infruset 12y ago
I would say, women of an Asian type (in my language). However, in my mind this is a blurry distinction referring to appearance as opposed to an administrative category. And yes, it is legal, I don't think I ever denied your freedom of
145.
by infruset 12y ago
In my language, the equivalent of "race" is a word no one would ever use because it implies (in my language, I'm not saying that's what it sounds like in English, I'll leave that to native speakers) there are differ
146.
by infruset 12y ago
Ok, but it is not relevant in this context. This guy is president of the United States , speaking of unlikely events..
147.
by infruset 12y ago
> 53 year old african american man How is his "race" (as you guys call it) relevant?
148.
by infruset 12y ago
So your cure to the sickness is to bring about the sickness itself? The good thing about this point of view is that you will be happy whatever happens.
149.
by infruset 12y ago
I would bet a big portion of upvotes come from France.
150.
by infruset 12y ago
I think your answer is biased from a certain environment. In mine, Ocaml is definitely not a fad and any development is very exciting and definitely deserves the front page of Hacker News. Also, in my country, a sizeable percentage of engin

More ›