|
Charles Hoskinson
@
IOHK_Charles
Boulder, Colorado
|
|
8830 AC64 17F2 5164 195C 05DE 21E3 E377 13E1 5586 | CEO of IOHK
And of Course:
7633A01E022A6E5B57F68387E78F2A8BA43F91307E8331DC72BAA04CDA4578AF
|
|
|
8,102
ทวีต
|
768
กําลังติดตาม
|
86,051
ผู้ติดตาม
|
| ทวีต |
|
|
Charles Hoskinson
@IOHK_Charles
|
18 นาที |
|
eprint.iacr.org/2018/378 Ouroboros Genesis is on eprint finally. Read and enjoy
|
||
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
36 นาที |
|
Our chief scientist talking about EuroCrypt ascii.jp/elem/000/001/6…
|
||
|
|
||
| Charles Hoskinson ถูกรีทวีต | ||
|
Zvi
@nivertech
|
16 ชม. |
|
Cardano selected LLVM over WebAssembly for their general-purpose smart contracts layer.
— @IOHK_Charles pic.twitter.com/332ZJUrg8S
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
21 ชม. |
|
Great to meet with Sirin Labs today. Once of the most exciting hardware plays in the cryptocurrency space pic.twitter.com/aTlNYKYwhB
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
30 เม.ย. |
|
Who's ready for EuroCrypt 2018! It's like the thunderdome of cryptography. Two papers enter, one leaves pic.twitter.com/DosXUY3Vo9
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
30 เม.ย. |
|
We've been testing rust crypto for a browser based cardano wallet github.com/input-output-h… it's been a thoroughly enjoyable experience
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
30 เม.ย. |
|
Why? In the age of web assembly, we ought to push this stuff to Rust
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
Well I've met charles hoskinson and that guy is kind of an asshole!
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
What does that have to do with the use of formal methods and peer review?
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
They don't stop innovation nor do they require permission and actually speed up delivery to market. For example, we are ahead of Casper despite them working on it longer
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
My entire argument is that you need to follow a process to provide high assurance that systems are correctly designed and implemented. Human beings have dedicated the last 4 decades to refining methods and techniques. Why not use them?
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
You are actively trying to start a fight that you can't win because your position is indefensible. There have been hundreds of millions of dollars worth of hacks in our space. This is a fact. Many protocols are broken. This is a fact.
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
This is what happens when you have sloppy engineering and rush mission critical systems to production. pic.twitter.com/LIsGKpHrLK
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
Will you actually answer my question? Your analogue just proves my entire point. Massive value and even lives are at stake. We have tools and techniques to get high assurance things are done correctly. You are advocating to ignore them?
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
So peer review and formal methods had nothing to do with the growth and success of the aerospace industry? You would trust your life and the lives of your family to a weight brothers plane?
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
Great now a peer reviewed paper
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
He just made a claim. I'm asking for a name based on it
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
29 เม.ย. |
|
Name one academic iota is working with
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
28 เม.ย. |
|
You don't say
|
||
|
|
||
|
|
Charles Hoskinson
@IOHK_Charles
|
28 เม.ย. |
|
@SatoshiLite Charlie I think we need to merge. That would place us back at our favorite number :)
|
||
|
|
||