https://pastebin.com/csdzDmah anything for you
1,418 karma · joined November 2, 2016
I have two conflicting thoughts at the moment:
1. It's insane
2. It's awesome. I wish I could get my hands onto one of those machines.
Short-answer is yes, and there's been lots of work done to go even further than having static typing and have formal verification for smart-contracts.
>I'm genuinely curious: what types of bugs does a stricter type system catch that a reasonable test suite probably would not?
Not sure what you mean by "reasonable" (is it extensive? testing pathological cases? where do you draw the line?). But type checking at compile time makes your code less inclined to showcase a certain class of bugs that are the byproduct of ambiguity in the language semantics and logical mistake in the programmer writing the code.
And with formal verification you can actually make sure that your logic meets the specs. You can hardly extract stronger correctness guarantees than that!
If that interests you, check out Tezos (https://tezos.com/) and github.com/tezos/tezos. The entire codebase is in OCaml.
It was on the frontpage a while back: https://news.ycombinator.com/item?id=15061029
>It also assumes hard forks are always bad and that everything can be agreed upon with votes
Those two statements are incorrect. If you want to understand what it brings to the table, then you should read the position paper: https://www.tezos.com/static/papers/position_paper.pdf
Or watch a presentation by the lead about Governance: https://www.youtube.com/watch?v=6OWxGqbknFQ
I think it's a promising development in the field (blockchain meets PLT)
More resources on Michelson I found helpful:
It's like saying you went to MIT (Minnesota Institute of Technology).
Other than this small nit, great article.
"Hello World"Macron has been elected in 2017. Given this article is about how he is sparking a tech boom in the country, I hardly see how that's his fault, or even related.
Here is a reputable source in French: https://www.lesechos.fr/tech-medias/hightech/030386245787-en...
Allez les gars !
How do people do it (buying BTC, or ETH)?
Just do it, it's a google search away from you.
That being said, the hyper-volatility has made me a bit afraid of investing any decent amount of money in it.
“On the contrary, it is Christian in the very finest sense,” I replied. “What was it that Jesus said when his parents rebuked him for his failure to keep his engagement with them on that first journey down from Jerusalem? ‘Wist ye not that I must be about my Father’s business?’ He demanded. He had work to do — great work and little time in which to do it. Even He was no exception to the eternal rule that achievement comes only through the subordination of every power to a great ideal; and that no man is really obliging who does not first discharge in full his obligations to his work.”