relyio

23 ms·

181.
by relyio 9y ago
As I understand it, Michelson (The language used to write smart-contracts in Tezos) is better suited for high-value applications where you want to extract strong correctness guarantees out of the code you write. I think it's a promisin
182.
Are Fraudulent Tethers being used for margin lending on Bitfinex?(medium.com)
1 points by relyio 9y ago|0 comments
183.
by relyio 9y ago
As a rule of thumb, if you're not completely technologically illiterate or a trader then you are better off withdrawing your money and storing it offline. Exchanges lose their customers' funds all the time.
184.
Traffic in Network 1.0.0.0/8(potaroo.net)
3 points by relyio 9y ago|0 comments
185.
Tim Draper: Open Letter to the SEC(facebook.com)
2 points by relyio 9y ago|0 comments
186.
Bufferbloat: Dark Buffers in the Internet(queue.acm.org)
1 points by relyio 9y ago|0 comments
187.
An Inflection Point in the Evolution of Programming Languages(robert.ocallahan.org)
2 points by relyio 9y ago|0 comments
188.
NIST Random Beacon(nist.gov)
123 points by relyio 9y ago|59 comments
189.
Strace in 60 lines of Go(medium.com)
2 points by relyio 9y ago|0 comments
190.
Rethinking Time in Distributed Systems(youtube.com)
3 points by relyio 9y ago|0 comments
191.
by relyio 9y ago
This is for System Design engineering, OP is asking for CompEng
192.
by relyio 9y ago
It's worse
193.
Intel x86 considered harmful [pdf](blog.invisiblethings.org)
4 points by relyio 9y ago|1 comments
194.
Zero-copy networking(lwn.net)
1 points by relyio 9y ago|0 comments
195.
Terrorists and Criminals Are Rarely Using Bitcoin or Ethereum, EU Study Finds [pdf](europeanmemoranda.cabinetoffice.gov.uk)
2 points by relyio 9y ago|0 comments
196.
Strong Opinions, Weakly Held(bobsutton.typepad.com)
1 points by relyio 9y ago|0 comments
197.
Testnet stuck on block 27070(github.com)
4 points by relyio 9y ago|0 comments
198.
Object Capabilities(wiki.c2.com)
3 points by relyio 9y ago|0 comments
199.
Riposte: An Anonymous Messaging System Handling Millions of Users(arxiv.org)
3 points by relyio 9y ago|0 comments
200.
Why I Wrote PGP (1991)(philzimmermann.com)
3 points by relyio 9y ago|0 comments
201.
by relyio 9y ago
Remember, two years ago James Wilcox and Doug Woos were formally proving Raft's linearizable semantics using Verdi: https://news.ycombinator.com/item?id=10017549
202.
Spanner: becoming a SQL system(blog.acolyer.org)
3 points by relyio 9y ago|0 comments
203.
by relyio 9y ago
You should mention it is the Ecole Polytechnique... de Montreal. Usually, when people say "Ecole Polytechnique" they mean the original one. It's like saying you went to MIT (Minnesota Institute of Technology). Other than this
204.
Unix Recovery Legend(ee.ryerson.ca)
2 points by relyio 9y ago|0 comments
205.
Will the Real “End-End Principle” Please Stand Up?(mercury.lcs.mit.edu)
1 points by relyio 9y ago|0 comments
206.
The Origins of Silicon Valley: How and Why It Happened(youtube.com)
2 points by relyio 9y ago|0 comments
207.
Telegram Payments(telegram.org)
3 points by relyio 9y ago|0 comments
208.
How to Find $10M Just by Reading the Blockchain(blog.golemproject.net)
3 points by relyio 9y ago|0 comments
209.
by relyio 9y ago
"Hello World"
210.
Vulnerability Disclosure, Free Bug Reports and Being a Greedy Bastard(carnal0wnage.attackresearch.com)
3 points by relyio 9y ago|0 comments

More ›