nuclx

17 ms·

121.
Quantstamp to Audit EOS Project: Insights Network(medium.com)
1 points by nuclx 9y ago|0 comments
122.
by nuclx 9y ago
Quantstamp. They're building a network for verifying smart contracts.
123.
by nuclx 9y ago
Also see https://quantstamp.com
124.
by nuclx 9y ago
Cardano could be a cryptocoin to look into due to their research first approach. TBH I didn't have a closer look into their whitepapers.
125.
by nuclx 9y ago
Acknowledged, that it really depends on how many people are willing to pay for verification services. Product developers may be encouraged economically or legally though. For example cryptocurrency exchanges may decide to list only Quantsta
126.
Ask HN: Will smart contract security bring attention to formal verification?
10 points by nuclx 9y ago|6 comments
127.
by nuclx 9y ago
There is also a haskell streaming library called conduit: https://hackage.haskell.org/package/conduit
128.
by nuclx 9y ago
As proposed by Dan Luu: https://danluu.com/testing/
129.
by nuclx 9y ago
There is speculation about artificially inflated prices. The world's largest bitcoin exchange in terms of volume (Bitfinex) is assumed having pushed the price of bitcoin by creating Tether tokens out of thin air. Additionally the price
130.
by nuclx 9y ago
Might be due to the fact that the amount of transactions is capped.
131.
by nuclx 9y ago
What I thought. The absence of a priori knowledge prohibits the application of Occam's Razor in this case.
132.
by nuclx 9y ago
The code doesn't look much worse than some of the production code bases I encountered.
133.
Why Dependently Typed Programming Will (One Day) Rock Your World (2014)(ejenk.com)
1 points by nuclx 9y ago|0 comments
134.
by nuclx 9y ago
Real World Haskell[0] is the best freely available resource imho. If some concepts remain unclear, Learn You a Haskell[1] is a good complement, though it doesn't go as deep as Real World Haskell. For example there is no coverage of mon
135.
by nuclx 9y ago
Definitely a gem. I loved their accurate comparison of the common programming paradigms, though I have to admit, that I didn't follow their idea of functional relational programming in detail.
136.
by nuclx 9y ago
"With all his energy and dynamics and creativity, Peter must have a dark side that we know nothing about" - no idea what else the person who said that knew. However if I read this as a conclusion, it appears unsubstantial.
137.
by nuclx 9y ago
N lines/hours is a useless metric unless you strictly only do coding to the spec in greenfield projects. E.g. compare using a code generator producing 20k LOC in a millisecond with modifying an undocumented legacy system, where every
138.
by nuclx 9y ago
The article should be more precise about when the actual encryption is happening. To my knowledge it is performed only after rebooting. Am I right to assume, that if for some reason the machine is powered off before booting up again, or if
139.
by nuclx 9y ago
As someone affected by the ransomware - did anyone else notice empty console windows popping up from time to time the days before the ransomware triggered the encryption?
140.
by nuclx 9y ago
How does this compare to the expressivity of Idris' dependent types? I'm intrigued by the idea of type-safe state-machines as e.g. file i/o and network socket code is almost always error-prone. So it feels crucial to rely on
141.
by nuclx 9y ago
Beautiful. Love the 'CHROMATIC' bubble style on the front page, which feels like modern graffiti. Didn't expect this to be done in the 1870s.
142.
by nuclx 9y ago
Avoiding Docker as well like I avoided Ruby and mocking frameworks. Some things just don't feel right.
143.
by nuclx 9y ago
I'd love to have enough time to read everything about homotopy type theory / category theory / number theory / cryptography. Heck I'd even want to read the complete Art of Computer Programming from beginning to end
144.
by nuclx 9y ago
The title is misleading as (from my understanding) no Django-specific features are supported. VS2017 'fully supports' Django as well as Flask as well as any other python library.
145.
by nuclx 9y ago
Parent was talking about full coverage. While fuzzers are great tools, able to generate test inputs for easily coverable parts of the code, formally correct software has to be designed for provability.
146.
by nuclx 9y ago
Still a pity it's only included in Enterprise edition. We need a strong foundation of accessible tools for automated test input generation improving on the current state of the art fuzzers. See e.g. danluu's vision of "Combin
147.
by nuclx 9y ago
python works fine for the more generic tasks like spawning subprocesses, parsing stdout/stderr, though the code can get a bit verbose when compared to bash scripts. Concerning the more OS specific bits and pieces, it really depends on
148.
by nuclx 9y ago
Oh yeah OllyDbg, such a versatile RE tool at the time. SoftICE was nice and all, but OllyDbg was definitely an evolution when it comes to user-mode debugging.
149.
by nuclx 9y ago
C is certainly out of place here as is any compiled let alone system programming language.
150.
by nuclx 9y ago
> We're working on one (!) and I hope we can offer it for free to non-commercial projects. That's good to hear. Hope you can find a way to monetize it for commercial projects. Getting the tech right certainly seems to be a hard

More ›