infruset

10 ms·

61.
A Solidity Parser in OCaml with Menhir(medium.com)
1 points by infruset 6y ago|0 comments
62.
by infruset 6y ago
Claude Lévi-Strauss said[0]: "A day will come when the idea that for the sake of food the people of the past raised and massacred living beings and with complete equanimity displayed their flesh in bits and pieces in shop windows, will
63.
Demystifying Supersonic (Snark Protocol)(research.cryptium.ch)
2 points by infruset 7y ago|0 comments
64.
Introduction to Binance DEX: Part I, Atomic Swaps Explained(medium.com)
9 points by infruset 7y ago|2 comments
65.
Games with Oracles on Blockchains(medium.com)
4 points by infruset 7y ago|0 comments
66.
Games with Oracles on Blockchains (Part I)(medium.com)
1 points by infruset 7y ago|0 comments
67.
by infruset 7y ago
Cultural question from a non-native speaker: is it customary to tell stories in the past tense when mentioning a movie or book? (I ask because in my language and culture it sounds a bit childish, and because I've also seen stories reco
68.
by infruset 7y ago
For context: this smart contract language is being developed in Ocaml by engineers from OCamlPro, the firm behind the initial development of Tezos and the subsequent fork "Dune Network". They are also behind the TzScan block explo
69.
Love: A New Smart Contract Language for the Dune Network(medium.com)
7 points by infruset 7y ago|1 comments
70.
Clever Ways to Solve Mastermind?(puzzling.stackexchange.com)
2 points by infruset 7y ago|0 comments
71.
In Paris, a Mathematician Confronts the Political Odds(nytimes.com)
1 points by infruset 7y ago|0 comments
72.
WhatsApp down: Anger as users can't send picture, voice or video message(express.co.uk)
5 points by infruset 7y ago|0 comments
73.
Roko's Basilisk(wiki.lesswrong.com)
3 points by infruset 7y ago|0 comments
74.
The St Petersburg vegans cooking up a revolution(bbc.com)
1 points by infruset 7y ago|0 comments
75.
How to help protester friends organize In Ecuador?
1 points by infruset 7y ago|0 comments
76.
by infruset 7y ago
We get a spectacular view of what would have happened had Satoshi tried to create Bitcoin through official channels.
77.
The Short, Unhappy Life of a Libertarian Paradise(politico.com)
3 points by infruset 7y ago|0 comments
78.
by infruset 7y ago
How does your argument not apply to eating human beings, say those who would objectively have had a painful life, by first giving them a quality life before slaughtering them?
79.
Cryptocurrencies Before Bitcoin(hackernoon.com)
3 points by infruset 8y ago|0 comments
80.
The space of all human DNAs(biology.stackexchange.com)
1 points by infruset 8y ago|0 comments
81.
Yuval Peres(liorpachter.wordpress.com)
2 points by infruset 8y ago|0 comments
82.
The Omnigenic Model as Metaphor for Life(slatestarcodex.com)
94 points by infruset 8y ago|35 comments
83.
Why Is US Health Care So Expensive? Some of the Reasons Turn Out to Be Myths(nytimes.com)
1 points by infruset 9y ago|0 comments
84.
The Beginning of Time(hawking.org.uk)
1 points by infruset 9y ago|0 comments
85.
by infruset 9y ago
This post describes how Mozilla is incorporating F* verified cryptographic code into Firefox: https://blog.mozilla.org/security/2017/09/13/verified-crypto...
86.
Coq 8.7(coq.inria.fr)
3 points by infruset 9y ago|0 comments
87.
by infruset 9y ago
I wonder how culture specific this is. I once read a fascinating article about the differences in taste between Quebec and French women, where the former preferred muscular men while the latter preferred thinner ones. The theory was that in
88.
Mr. Money Mustache’s retirement (sort of) plan. (2016)(newyorker.com)
1 points by infruset 9y ago|0 comments
89.
Messenger.com Now 50% Converted to Reason(reasonml.github.io)
1 points by infruset 9y ago|0 comments
90.
Inverse Symbolic Calculator(isc.carma.newcastle.edu.au)
1 points by infruset 9y ago|0 comments

More ›