skysight-inc/HackerNews huggingface dataset:
> In other words, our legal system is already 99.9999% good, it's the last remaining 0.0001% that ETH seems to try to replace.

Again, ethereum is a tool for automation- Once we can have contracts that can be enforced using code instead of judges, we can create contracts that can work even if we can't afford more than a few pennies for enforcement. That sounds like 90% of potential contracts to me, not the 0.0001% you claim (but neither one of us has citations to know what the real number may be)
for the sake of precision it should be pointed out that learning about mathematics by reading alone is not the logical compliment of learning about mathematics through reading and book exercises. the term "exercise" by its nature implies something that is "practice". one may, however, simply learn by doing (rather than "exercising"). for a programmer, there is a clear distinction. this might not be the case for a mathematician.
> Ethereum going to do better than that if a disagreement is settled not by inspecting the code, but by the opinion of an arbitrary community of miners?

Ethereum can guarantee that the sum total of the enforcement costs will always be a few pre-paid pennies (or fraction of a penny) and not the hundreds, thousands, or tens of thousands it costs to enforce a contract in a traditional legal system- Even if the community steps in, this will be the case.

(This ignores the fact that ethereum has applications that go well beyond legal contracts)
How did you get that working? I haven't had much luck with USB sticks so far. (not really new to Linux, but I'm very new to the Pi.)
I think one of the important things is that people have learned the need for backups in smart contracts. There will always be bugs, but if people build in failsafes to catch them then situations like the DAO draining can be avoided.

Here's a nice post about schemes for fault tolerance:
https://medium.com/@peterborah/we-need-fault-tolerant-smart-...
You would usually not try to block Tor at the network level. You would lock down your computers so employees can't make changes, and only allow them to run executables from locations which they have no write access to.
So this is called Algernon's law. That evolution has probably picked all the low hanging fruit, and it would be hard to find simple things that work.

The counter example might be that we evolved to conserve energy. Now that we have basically limitless calories, some parameters set by evolution may not be optimal.

There are also things like stimulants that seem to make people better able to focus on the task they want. Evolutionary this is probably suboptimal. Doing boring work without reward is probably a waste of energy other resources, and you should go find a task that is rewarding. IIRC hunter gatherers were found have higher rates of ADHD genes. Now being able to focus on boring tasks is a requirement for success, and ADHD is a huge curse.
Go easy on using "debunked" and "killed". "Discredited", "flawed", or "unpopular" would be less inflammatory and more accurate.

http://slatestarcodex.com/2014/12/13/debunked-and-well-refut...
You aren't required to use import, use require if you don't care for typings:

`var aLibrary: any = require('aLibrary');`
I'm just saying WOW is buggy on linux wine, etc.. -- I think if windows officially had their own wine-alternative with proprietary drivers, dlls, etc--it would open a whole new world of cross-platform use.
> without doing _any_ exercises?

I suggest you ask a question about what he actually said (wrote) if you want an answer. In the current form the question doesn't seem to be that (a question) at all but a cheap rhetorical method to pretend the other party said something ridiculous by taking a few words but adding exaggeration until the original contents no longer exists.
For All You Pigeons: Musk Has Announced Master Plan II
Judges don't get involve in contract that are not in dispute (that includes enforcement), so functionally most contracts do not need costly enforcement either. There are a lot of real world contracts that already automate (bank deduction monthly from your account?).

And there is one point where I thought about but didn't want to point out since it was a slight tangent: in ETH, you need someone to write the contract, then someone to vest it still, it's not free. Contract reuse? From what we've seen of CRUD reuse, it's kind of a pipe dream. People can read and copy a TOS, do you think they will trust a "contract TOS" and using it without hiring an "expert" ?
This is an interesting article and I've definitely seen 'robotic' behaviors in myself and others.

I do have to question, though, whether any of this is a bad thing (as the tone of the article seems to imply). We build machines because they do things we need them to do and we're so enamored with our computers because they're reliable and consistent.

Reflection is good. Social skills are good.

Irrational thinking though? I'll take the robohumans.
> No one says to themselves "That looks like a good story, but I'll just wait a few days and read about it in the New York Times."

I absolutely do. NYT isn't perfect, but all my other feeds are so full of junk I do wait to see what the NYT will write about it. You don't even have to wait a few days. The NYT is very good at covering developing stories online with reasonable accuracy.
I'm really surprised at how negative the comments are here... but at least they are reasonably well informed and respectful.

Oh well, guess I'll just keep trying to build useful stuff on top of ethereum and hope the opinions change (or that this thread is not representative :-)
Cool! Didn't see that on my quick scan. I agree and will probably use this library. It's needed. Thanks.
ever figure it out?
my lenovo yoga only comes with wifi (no rj45) that's not detected during openbsd install.

could you please share where you get firmware for lenovo? thx
How to Make a Police Shooting Disappear
No, it's not. Why does TensorFlow have separate benchmarks for Soumith's convnet comparison that show it to be significantly slower?

https://github.com/soumith/convnet-benchmarks
The Incalculable Value of Finding a Job You Love
Linux with grsecurity is a pretty obvious alternative. There are distros which include grsecurity patched kernels in their repo (or use it by default) although going this route over a self-compiled one does loose out on a few security features.

Some grsecurity features are supersets of the features you listed such as the W^X protections (which I might add have been in PaX for quite some time now). While the situation certainly isn't perfect with getting more packages using PIE at least a number of important packages are now built with that by default. Arch Linux compiles all packages in its repo's with stack protection AFAIK and at least on Arch it's very easy to recompile things to suit your (performance) needs/threat model.

Perhaps OpenBSD offers more of these compiled protections by default in its base/ports but you can still get these options on Linux if you're willing to put a little effort in or use the right distro for your needs.

OpenBSD is less of an obvious choice when you look at what you can do with grsecurity if you put a bit of effort into it both on the side of grsecurity (RBAC) and setting up your distro. You can't just wave your hand and dismiss grsecurity because you believe it to be non-standard/non-upstream or somehow incomprehensible/complicated. It's not about what's enabled by default, it's about how much security/protection/defense in depth I can get from it and arguably you get more from Linux w/grsecurity.
Newspapers used to have a robust QA mechanism: the profession of copy editing. Wasn't perfect, but they knew generally what they were doing. (My dad used to be one).

Guess who goes first in the layoffs.

Any discussion of the state of modern journalism has to acknowledge that newspapers are hemorrhaging cash and lashing out with desperate, short-term plays to try to keep breathing until next quarter.

In your software development analogy - they are perpetually out of runway and trying to cut the burn rate to make it just a little further before they have to send the rest of the staff home for the last time.

Look at what headcount at your local paper has done since the mid-90s. It's really not surprising QA has gone out the window.
Tails is for an almost entirely different use case.
> The performance issue comes with loading source files on every request

PHP ships with an opcode cache built-in (and at least on every distro I've seen, enabled by default) since PHP 5.5 that keeps the compiled bytecode in shared memory
Umm, no. https://en.wikipedia.org/wiki/Astroturfing
The easy ability to assign it to a vanilla integer or cast it implicitly (through an arithmetic operator or comparison for example) is what I mean when I say they aren't typesafe. A warning is also a fair bit weaker than a flat out compile error, although I'll grant that compiling with -Werror (a really challenging thing for most companies) alleviates that.
Sometimes memes lead to people learning incorrect grammar (as I beat down my former benevolent grammar dictator within).
> Judges don't get involve in contract that are not in dispute

Well, in ethereum that's true if the contracts are in dispute, as well- Anyone that disagrees with what the terms of a smart contract are are welcome to submit a transaction to the contract and they'll immediately get the "judge" of the ethereum protocol to supply them with a ruling.

As for contract vetting and code reuse: I agree those can get expensive and have their own problems.
Definitely! It was before my time there - but Deeplocal is great.
To be fair I've seen many game developers complain about the version of OpenGL that is included in Windows. Perhaps this had changed but I used to work with a few folks that did game developer on the side and it seemed to be a constant headache.

Though I'm sure there are ways around it, etc. I'm not very knowledgable on the subject but I'd certainly love to know more :)
> In 2016, there is really very little reason to pick a dynamically typed language for any serious project.

I wish this were true. I wholeheartedly agree that, all other things being equal, static typing is better than dynamic typing. If there were no other factors, I would choose static typing without a second thought. But there are other factors, and all other things are not equal.

I write ClojureScript every day. Its lack of static typing is a genuine source of pain. Every day. But when I compare it to Elm, which I'm quite interested in:

- JS interop. Maybe I suck at google, but it looks like it's not a first-class concern of the language or the community.

- Macros. Defining language features is great. It's the reason that a lisp can be small in terms of core language constructs (even if its standard library is enormous cough Clojure). In 2016, there is really very little reason to design a language without metaprogramming in mind.

- Community, which admittedly could and should and will grow in size and sophistication for Elm.

When I compare it to TypeScript?

- State. Welp.

- No seriously, why is everything mutable? It's 2016 and a language that was designed with concurrency and functional programming in mind from the start still hasn't caught on to mutability by default as a serious problem, and TypeScript inherits all this baggage.

- There's no simple clear path to even set up a TypeScript project. There's a million different ways with different tooling choices, and that fractured environment is evident whenever searching for answers. The world of JavaScript constantly bleeds through. If I want to know how to use TS, I need to know WebPack and NPM and Bower and who knows how many other things that are not even for TS.

- Forget metaprogramming.

- What is the TS community? Microsoft and a weird has-been cult team at Google? (Sorry guys, I did the Angular thing, and I watched it become a circus from the time Angular 2 was announced to the time your weird conference was more like a dance club than a tech conference.)

I could simplify this by calling out your last line. JavaScript rules the roost. You better play nicely with it, if you want to build a web app.

Honestly the web is going to be an increasingly fractured thing for many years. There's just too many ways to do things and they're all compromised in awful ways.

Postscript: I'm sorry this is so ranty. I mean no harm and I mean none of my criticisms to be taken as attacks. I want very much to do good work as a web dev and I'm just heartbroken that it's such a pain.
Bernie Sanders: CODA (The Last Laugh) – Beyond WikiLeaks, Before Philly
7 proven strategies for launching a marketplace
Agreed, welders for example spend a lot of their spare time working on side projects, learning new ways of welding, etc. Carpenters spend a lot of time on family and friends home projects. There is no correlation between a programmers willingness to learn and the median salary for the industry
Paul Ryan's comment completely ignores the context. The job of a judge is to make unbiased decisions. A judge engaged in ethnoactivism may conceivably be biased against a defendant whose political platform runs against those interests. This is simply not a racist claim. The mistake you and Ryan make is to misinterpret it as a much more general claim than it actually is.

You said there was an extensive list of racist comments by Trump, but then the only examples you can bring up are incredibly flimsy. It's therefore hard to take your accusations seriously.
This reads like a satire of the out-of-touch Silicon Valley archetype. Guy buys a bit of land in the middle of a pristine public park and puts a big day-glo orange box in it for abstruse reasons, and wonders why people are annoyed at him.

After all, its legal! ...Or, well, no, its not necessarily legal, but the reasons why it's illegal aren't immediately obvious! Shouldn't that mean I get to do whatever I want?
There are concerns w.r.t. the scientific value of this kind of DIY experimentation though. First, there are the sample size and control problems, but more critically, the experiment is meant to change the brain of the experimenter. That's quite a bias! However, one feature of these kind of experiments is that they can push the limits past what would normally be allowed by an institutional review board...
Author here. When I was benchmarking my library against a ruby one, I did actually try the ruby one on 2.4. Interesting findings are:

- Switching from =~ to Regex.match? did not yield significant speed improvement

- Without any changes though, 2.4.0-preview1 ran the stemming in 19s, compared to the 25s on 2.3.1.

The ruby stemmer I used is this one: https://github.com/NeilNjae/porter2stemmer
The zero sum delusion assumes someone only gets rich by taking from another. The delusion is that this is the ONLY way to generate wealth. When you create new markets and new products, the economy grows and everyone is better off. When the economy doesn't grow, the only way one person is better off is someone else is less well off. These are two different cases.
Probably nothing to do with the parents, do not underestimate the power of American TV
Measuring an unknown datum so that later you know that datum is time asymmetric because your of how your state of knowledge changes. Defining QM in terms of "measurement" automatically imposes the psychological arrow of time into it.

But physics can also be thought of as rules of the from "the joint probabilty distribution of preparations S_j and measurment results R_k is ..."

This in turn will depend on prior-probabilities for the S's and R's, and also the rule which tells us

P_jk \propto |<S_j|U|R_k>|^2 (where U is some unitary).

Notice that this rule treats R's and S's symmetrically.

Now the S's and R's are different. The prior for S can have any probability distribution we can engineer, and can even be deterministic. But the prior for the R's must be completely uniform unless we post-select results.

So there is a real asymmetry, but it exists in the past and future boundary conditions that we work with, and not in the mechanics (quantum or classical) of what happens in between.
> Well, in ethereum that's true if the contracts are in dispute, as well- Anyone that disagrees with what the terms of a smart contract are are welcome to submit a transaction to the contract and they'll immediately get the "judge" of the ethereum protocol to supply them with a ruling.

As mentioned before, unless we agree that the implementation is the contract (immutable code is law), it will be disputed that the implementation is not what the requirements want. A meat-space judge will be involved, and anything can happen from there.
Not to give banks any wiggle room, but I would argue that gaining access to random Gmail accounts poses a greater risk to most people than gaining access to random bank accounts, because the former is a superset of the latter.

Since email is used as the focal point of trust in most online transactions, it should be the most secure.
"Security mitigation work best in combinations,"

Exactly the kind of meaningless statement I was talking about. You've neither proven they work in isolation nor shown they're a strong combination against determined attackers. Almost all of those people are hitting Windows, Linux, iOS, and Android due to market share. Im not sure we've even seen thorough test of OpenBSD's defenses.

"suggesting OpenBSD's mitigations aren't the strongest in their class clearly needs some proof on your part"

Let's try a few memory or stack issues. SPARK can prove the absence of most of them. Concurrent Pascal and Eiffel could for concurrency. Rust can for dynamic memory and concurrency. SAFEcode does for many C-related errors. Example uses are in Muen, Redox, and SVA-OS. Softbound + CETS goes further with total spatial and temporal safety for C but not in OS's yet.

These are all stronger than OpenBSD techniques for similar use cases. Different tradeoffs involved in using them but definitely stronger. I mean, full safety without GC is strongest you can get in memory errors. Although SPIN OS did it in Modula-3 with GC and type-safe linking too.

"and shocking, they pioneered that too.. having created anoncvs."

Your lack of research is apparent as the first, secure OS with source was Burroughs B5000. It was proprietary but shipped source. Had stack checks, bounds checking, pointer protection, OS in high-level language, compile-time checks for function calls, and run-time checks for invalid arguments. Started high-assurance security by addressing root causes of most known issues... in 1961.

It's also not easy to figure out OpenBSD security effectiveness looking at source. The safer languages like Modula-3 or techniques of B5000/JX-OS/Genode are easy to follow since they are simple & fully preventative. Verify that then the rest inherits its properties if used or interfaced certain way. Not so with OpenBSD's scattered mechanisms: requires much more analysis given use of C and stuff in kernel mode.

Finally, bringing up AnonCVS, you might want to look at David Wheeler's Software Configuration Management security page to see what high-security requires in that. Shapiro's OpenCM (in architecture) or competing Aegis (features) were ahead in many ways with OpenBSD's SCM tactics not registering a blip due to missing requirements on Wheeler et al's lists. I even watched them replaced a distribution tool known to resist NSA per Snowden leaks for a simpler, but unproven, one.

OpenBSD has proven great at configuration, code quality, and minimalism. Burden of proof is still on it in terms of security engineering practices vs other methods or OS's. It's never been proven from requirements to methods to results. Fine with me as it has it's uses, esp where 0-days being low is top priority. Best not to pretend it is something it's not vs making the case with evidence as I described.
Beautiful Girl with Gladiator Sandals – The Emporialist│street Fashion Magazine
So you do a Series A these days and you get fuck-you money just like that. Good to know the pension fund LPs money is going to good use with over inflated salaries.
They at the same time lobby to fight any such legislation...
Embarrassingly this is exactly how I use it.
> Unless you're in a military unit that is on the march, what does the number of steps in a kilometer matter for at all?

Playing Pokemon Go?
Well, it works if you actually practice it...
Kale, a lisp-like language built on Python
On the other hand, it's basically impossible to negotiate fair terms with a bank because it's almost impossible to survive without a bank account, doing so carries extraordinary costs, and bank customers have basically zero leverage. You can argue that the bank's unilateral terms don't support a moral claim, but it doesn't invalidate the morality of the claim, only the legality.
Reference Counting: Harder Than It Sounds
Hydrogen and hydrocarbon fuels are just sources of electrons. The beauty of a real electric car is the efficiency of going directly from stored electrons to power.
I would be interested to know what you think things like "customer spending" and "financial growth" are for, if not human well-being and prosperity.

At some point we may just make economic growth obsolete altogether.
If you follow USV a little bit, they are clearly in talks investing in slock.it - probably they already did it at the DAO. So no neutral thinking here. And an example for the general problem of the fork and etherum as crypto currency - people won't trust such insider ruled 'club'
Lots of people are working on declarative contracts. Here's an overview.[1]
That paper has a set of desirable properties for a contract language, and analyzes some of the existing ones against those properties.

Here's a contract language from 2002.[2] The author expresses various common contracts, and some not so common, in it. This is reasonably readable. If you like logic formalism, there's this.[3]

Financial companies would like to have their contracts, especially derivatives, in a form suitable for running risk analyses and various scenarios. You'd like to be able to form queries like "Suppose X misses their payments for the next quarter? What does that trigger?" Some of the 2008 financial debacle came from the inability to ask questions like that.

[1] https://www.semanticscholar.org/paper/A-Survey-of-Formal-Lan...
[2] http://szabo.best.vwh.net/contractlanguage.html
[3] http://www.cse.chalmers.se/~gersch/slides-talks/slides-CL-Mo...
I don't think friendship is on the way out, but anecdotally I've observed the median strength of the bond decreased.
http://mobile.nytimes.com/2016/07/24/opinion/sunday/is-donal...
... for JVM languages.
It's a very simple and very cool life hack. Just listen and you'll be great friends with almost everyone.
Code does not need to be run every frame. You can decide when the gui state gets refreshed, for example only redraw the interface framebuffer on interaction. The linked ocornut imgui is pretty fast however, even without framebuffering. I found the overhead to be negligible (i am so confused by the arrangement of chars in this word), atleast on 5 years old low end x86 hd4000 hardware with gl3. i did not check on arm gles2 hardware though, but on every cheap modern labtop / desktop this will fly.

The only drawback i see is that the linked ocornut imgui is pretty minimalist in design and layout, not easily bendable and not well suited for an elaborate pixelised artistic game interface.
But since it got textured buttons already in, it might not so much work at all to wrap something up. In the current state it's super easy painless and quick to implement for small tools, and to get values on screen updated in realtime.
http://lmgtfy.com/?q=how+does+bitcoin+work
Unless the box is orange and placed around an area that was ear marked to become a park and a popular hiking spot. Then maybe everyone that goes up there will notice your box.