skysight-inc/HackerNews huggingface dataset:
>"have a sane userland (where programs don't run as root, when they don't need to and ideally have privilege separation)"

On this point, have you considered using Snaps or Flatpak? Before Canonical pulled the plug on Ubuntu Mobile I believe they intended to use Snaps for most/all userland software. Though I'm not a Linux expert, it still seems like a solid idea.
This may seem pedantic, but the nuance here is important: It's about liberty, not freedom. Medical weed is is allowed in half the states and recreational in 8; New York has effectively banned fracking. I've lived in 6 different states, but many people seem scared to move (not on HN I realize).
There's a difference between chilled meals(which last 3 days), and frozen meals(which you find in the supermarket). Munchery sold chilled meals, and at least according to reviews/media, they we're quite good.
Want to be a millionaire? Nowadays it's just not enough
The cheats are based around detecting when a car is strapped down to a dynamometer, indoors. That why the cheaters are looking at ambient temp, steering wheel angle, etc.
Good read, and missed out the shenanigans of Cambridge Analytica. This is a company owned by Robert Mercer, and claims to have influenced the Brexit referendum and Trump election.
It did this (or claims to) through personality profiling using facebook likes (see Michal Kosinski for further reading).
With personality profiling you can be microtargeted with fake news that matches you confirmation bias.
Accurate microtargeting a known confirmation bias is effective for many reasons.
It bypasses the person's critical faculties. That's the nature of a confirmation bias.
It also bypasses social critical scrutiny. It's aimed at you, no-one else, so the chance of someone else calling is lowered.
And yes, you may redistribute the fake news thereby opening debate, but that will be into your social group, a like minded echo chamber that will ruminate and magnify the effect.

Did this happen? Who knows. The evidence is ephemeral, no paper trail to prove or disprove. Which is another scary thing about facebook.
https://motherboard.vice.com/en_us/article/how-our-likes-hel...
If you like this you may possibly enjoy my blog post about creating an elliptic curve for cryptographic use (for fun): http://blog.bjrn.se/2015/07/lets-construct-elliptic-curve.ht...

I also have a lot of elliptic curve code for Python here: https://github.com/bjornedstrom/elliptic-curve-chemistry-set
>I think it would be exhausting to get dressed up and eat at Michelin starred restaurants every day - most of the time I just want something from a restaurant down the road.

Come spend some time in LA and you'll see that only the plebs dress up when they go out to eat at a fancy place. All of the celebrities and people with "real" wealth ($100 million+) don't bother.
Yeah, the world is a pretty big place.
Again, that's not what happened, and not what I described several times even though you can see it for yourself. I'm not going to repeat myself to describe it again, but this is absurd. It represents what you suspect in your mind - motives and intent - not the words on the page, while it overlooks half the actual text (the second paragraph, which contains the evidence). What defense is there from mind-reading? The baseless allegations are not welcome, even from moderators.

EDIT: I don't even disagree with the alleged astroturfers; I've known about Aadhaar for a long time and think it probably is a good idea on balance. This really is a ridiculous situation.
The difference is its all there out of the box without mincing with a config file or numerous extensions.
Why not lifestyle business instead?
Google code can't age gracefully. They constantly replace key infrastructure in their monorepo, so either a project is important enough for engineers to keep it on the upgrade treadmill, or it needs to be shut down before it abruptly fails.
IIRC, Nero's own guard took his sorry ass out and replaced him with Claudius, the only remaining male relative (or something like that) of Nero because he drooled on himself and appeared to be completely incompetent. He promptly stopped drooling on himself and turned out to be a fine leader.

I am satisfied with how that went.
I released a mobile application about ten months ago. By far, I've gotten the best feedback through the feedback feature I built into the app. It's a simple dropdown menu, accessible from any screen, that allows the user to send feedback directly to my email. In addition to this, I talk to my users.
These two techniques have given me an overwhelming amount of domain knowledge to build.

Just reaching out and talking to people works wonders and takes almost no effort, so I never had to automate any of it.
"Build a car that doesn't emit more than X of exhaust Y when a typical driver drives it a) ten kilometers in the city, b) a hundred kilometers on the highway."

That seems like a good enough requirement to me. Define "a typical driver" as "out of a hundred random test drivers, no more than 20 exceed the thresholds, no more than 5 exceed the thresholds by more than a factor two." That forces the car manufacturers to have a sufficient safety margin in their emissions.

I don't know how difficult the actual measurement is, but maybe you could pay a couple thousand people a reasonable amount of money to have some devices attached to their cars for a month or two and collect data. Or make the car makers pay for the procedure.
The cited problem was abstracting over different architectures. Go's IR solves this problem already. Solving this problem has nothing to do with making LLVM IR and Go's IR interoperable. A related problem might be that Go's IR doesn't target as many platforms as LLVM's, but that's still a different problem.
1000+ Bitcoin companies have been created. You may disregard everything else, but this fact alone make Bitcoin not "wasteful". We get more than just transactions and SHA256 computations out of it, since already thousands of jobs were created at these companies.

http://blog.zorinaq.com/bitcoin-mining-is-not-wasteful/

So far no one has been able to come up with a useful PoW that leaves the properties of Bitcoin intact (notably decentralization, and trustlessness.) That is why it has to be based on abstract puzzles like hashing data. Some thoughts as to how implementing a useful PoW might be done: https://news.ycombinator.com/item?id=8963209

Also, Bitcoin miners use only a fraction of the electricity used by a thing that is literally useless on a technical level: Christmas decorative lights (6.63 TWh/yr in the US, probably 20+ TWh/yr in the world). This helps put things in perspective. If Xmas lights use 4x more electricity, you should be 4x more mad at Xmas lights.
It is very possible to be a healthy meat eater but in general vegetarians have lower incidences of common ailments that decrease lifespan in western populations like cancer and heart disease.

Here's a relevant meta-analysis: https://www.karger.com/article/fulltext/337301
There is a common misconception of the Laffer curve that is based on trying to interpret the data. However, what the Laffer curve demonstrates is that there is a curve, nothing else.

Please note that I do not consider anything from Wikipedia as evidence of anything, so if you are trying to get me to respond to something to do within a Wikipedia article, it just isn't going to happen. The number of times I have discovered serious issues with those articles, especially on political, philosophical, and academic topics is, frankly, disturbing.

There is a theory within some economic schools of thought that savings generates production, but this is not directly to do with tax rates or the Laffer curve, nor even rich people.
Sorry about that. There were a few technical difficulties this week that delayed our lecture releases. Alan Kay's second lecture will be up again asap this coming week, with our new lecture as well.
I think it comes to needs.

Military needs a way to position vehicles, you get gps, same goed for arpanet. A good chunk of military inventions are done by civilians on military funding.

I think it is the desire in US military to be always on the bleeding edge, and the accountability that it brings. There is also less pressure for profit, I guess.

You said digging holes, elon musk is doing that boring job :)
You would do it because you assume and have a reasonable ability to believe in the assumption, that the money for such a program won't come from your pocket.
It smells more like a "smoking tailpipe".
Help AJ fund the cure to his wife's cancer – you are his last hope
Backwards compatibility.

Older versions of the Office suite used ~ files as locks. New versions flag those same files as hidden and system, so Microsoft hacked in a compatibility fix for old versions of Office to mark all ~ files similarly automagically.
Stated end goal of Quantum:

"The point of “becoming an attractive journal for researchers in every stage of their career” is crucial: Quantum should become an attractive publishing venue for the whole community of researchers in the field, including those who support Quantum’s vision but who, due to external constraints, cannot afford to take the risk of not publishing in a high-impact journal. Arguably this can be achieved in one of two ways: either the whole incentive system is overturned, or Quantum must become comparable to high-impact journals for the purposes of career advancement. In the short and medium term, only one of these options seems realistic. The decision to create Quantum as a selective journal is to a good extent based on the belief that it will give Quantum a much higher chance of making a difference." [source: http://quantum-journal.org/should-quantum-be-selective/]

I think it's an apples and oranges case given one (PCiX's) is a platform and the other (Q's) is a journal. It also seems to me that PCiX's goals are explicitly aligned with facilitating the sharing of results in a trust/reputation network, whereas Quantum seeks to address additional e.g career issues as well (which can limit it to more conservative decisions.)
Not really, but the crypto currency community looks like a pyramid scheme. First users gets most of the coins.
Investors clueless about impact of possible market correction
So I can't provide a strictly bank-oriented response, but blockchain is just a distributed ledger system. I think some disservice is done in not clearly separating out the functions of blockchain from those of cryptocurrencies. You could use blockchain to manage property, contracts, microtransactions, data commerce, file storage, or certification, to name a few things. I think it's mostly a question of what can be fit into the ledger framework. Some people think that various local networks and other functionalities in the Internet of Things could be a testing ground for its broader uses (e.g., managing ownership of smart devices). Blockstack envisions it as kind of a backbone for a new Internet browsing paradigm, leveraging blockchain as a sort of DNS replacement if memory serves correctly. It's unclear if any of these ideas will take off in the near term.

Going back to these blockchain applications being separate from cryptocurrencies, to me Ethereum is a step away from the coupling of the two, because it is designed with contracts in mind rather than just money. And a number of folks have signed on to developing systems that leverage Ethereum - take a look at the Enterprise Ethereum Alliance. Still I suspect that given the fact that it's unproven, the actual investment made in personnel and capital by these firms is low. Also, the ironic counterpoint to this view is that Ethereum also has ETH, a cryptocurrency. I'm an investor in ETH, but even so, I am not sure what it is worth at this point, since the value of Ethereum seems to lie not in currency but in other applications of the blockchain.
Thanks for the link. I hadn't heard of it, but ended up reading through just now.

For any else who hasn't come across it before, it's a simultaneous discussion of and example of what it means to express oneself using a 'small' language. It also gets into how such small languages may be effectively designed to grow into larger languages. The document itself is an example of the process using a subset of the English language, but Steele's focus is on planning/architecting programming languages which can be effectively grown by: providing effective, general primitives which can be used to define new terms and rules for the language; and structuring the language development process in 'bazaar' fashion, allowing many people to participate in design and implementation, while someone with excellent judgement surveys contributions with an eye for good ideas/work.

I liked this quote, which is a fairly typical example of some definitions he has to make in order to stick to his own rules for the project:

Meta means that you step back from your own place. What you used to do is now what you see. What you were is now what you act on. Verbs turn to nouns. What you used to think of as a pattern is now treated as a thing to put in the slot of an other pattern. A meta foo is a foo in whose slots you can put foos.

(His use of pattern here is in the sense of pattern vs. instance.)

I thought his conclusions on what he learned by carrying out the project were also interesting and insightful. Here's part of it:

I learned in my youth, from the books of such great teachers of writing as Strunk and White, that it is better to choose short words when I can. I should not choose long, hard words just to make other persons think that I know a lot. I should try to make my thoughts clear; if they are clear and right, then other persons can judge my work as it ought to be judged.

Edit: fixed formatting.
I may be missing something here, but if you take a step back this just seems like a tragedy of misaligned economic incentives.

Both the US & EU would have wanted this information from day one, and this whole fiasco cost VW billions in fines.

There would have been any number of engineers at VW and Bosch that knew exactly how this worked, but there was nothing in it for them to come clear about it. They were never going to get charged for writing that code, and they would have likely been out of a job or destroyed their career at those companies if they volunteered to authorities how this worked.

So why don't investigators just offer a huge cash prices to engineers at those companies who can provide details about exactly how this worked, along with immunity as long as they're forthcoming with information about who instructed them to implement this?

You'd have an army of engineers overnight willing to spill the beans, and you'd save millions in investigative costs, and quickly get to the real root cause of the corruption.

Instead some independent team of investigators is left digging through old firmware images posted on forums to reverse engineer how the defeat device worked.
Since we asked you repeatedly not to break the HN guidelines and you've continued to do it repeatedly, we've banned this account.

We detached this comment from https://news.ycombinator.com/item?id=14434886 and marked it off-topic.
PyCon 2017: The Dictionary Even Mightier
> Issues: [...] Slow on single cores, Raspberry Pi

A text editor that is slow on 1GHz single-core machines. What a time to be alive.
While I certainly don't support the 'rogue engineer' excuse that VW originally gave everyone, the idea does bring up an interesting point.

An engineer did write this code. Almost certainly, many of them, working together. Now, their managers told them it was okay to do this, maybe that legal had given the go-ahead or that they had to do it to keep their jobs... But it's still pretty clear that this was not right. They still did it, and then didn't tell anyone. And that doesn't sit well with me.

In my opinion (and I welcome disagreement and debate) engineers have an obligation to say 'no' to wiring unethical code.
What offers distributed consensus is proof-of-work, not blockchains themselves. The append-only list of blocks, that is a blockchain, is designed the way it is such that past blocks accumulate work performed on later blocks.

And the only "digital good" a blockchain can make scarce is the token which exists on the blockchain itself, which is completely useless unless it's supposed to act as a store of value. And, arguably, if a blockchain token is valuable because it's scarce, it makes little sense to have an unlimited number of blockchains even if each of them only have a limited number of tokens.
This sort of personal attack will get your account banned on HN, so please don't do it again. Ditto for uncivil swipes like https://news.ycombinator.com/item?id=14435509.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
Having a block chain doesn't mean that you have to give access worldwide to anyone and everyone. Banks could provide blockchain access to only computers that cleared their firewall, and are API authorized. Think ach except with a black chain as th back end.
Probably, but dictatorship comes as more fundamental. Signing orders is the worst way to do it. You first grow a base thqt would support you, bring them into positions that would strenghten your absolute power. Sure trump is doing that somewhat but i dont think it is happening at fundamental levels. You also need charisma somewhat.

Good thing is, the US has the checks and balances that would make it really hard for him to achieve his potential goal. It takes more than one guy to make it happen.

I have seen it first hand, in Turkey.
US might extend cabin laptop ban worldwide, top official says
AmigaOne X5000 review: the beloved Amiga meets 2017
How dos the block chain make digital goods scarc beyond making the currency itself scarce?
http://catb.org/jargon/html/anthropomorphization.html
Not exactly. In "European style" blackjack, the dealer does not take a hole card until all hands have been played. House rules then dictate whether the extra money from doubles/splits is returned or taken in the event the dealer eventually draws a blackjack.
I've seen quite a few guides and blog posts using OpenVPN, but very few show how to setup native Cisco ipsec which works out of the box with macOS and iOS without any 3rd party software to configure.

Thus, here is a blog post I wrote a bit ago on how to setup a dedicated native Cisco ipsec pi:

https://blog.elasticbyte.net/setting-up-a-native-cisco-ipsec...
Growing up playing RTSes, I always found the keyboard to be indispensable ;)
I installed it literally 2h ago with no problems. Set the OS to Windows Server 2003 32-bit and don't touch anything else. It installed in no time and it works perfectly.

http://i.imgur.com/bBLBWY5.png

I found the Windows Server 2003 thing in their wiki:

https://reactos.org/wiki/VirtualBox
I have had multiple affluent friends who are absolutely non-tech non-geek ask me what are the hot coins. They're shoveling tens of thousands of dollars into Bitcoin, Ethereum, and Ripple based entirely on the fact that there's a run up happening. They have no understanding of what it is and the intention is sell to the greater fool after another 10x move.

Maybe it isn't a bubble, but it sure does walk like a duck and talk like a duck.
I did a workshop for artists on dimensional analysis, and those wikipedia 'Orders of magnitude' pages are amazing!
> In 2015, regulators realized that diesel Volkswagens and Audis were emitting several times the legal limit of nitrogen oxides (NOx) during real-world driving tests.

This means that they can detect emissions levels during real world driving tests. What's wrong with just making those tests the actual regulatory ones? So whatever ingenuity automakers can use will be put to minimizing emissions in the exact same scenarios that will be used in real life.
Machine-learning promises to shake up large swathes of finance
You are correct. "Just following orders," is sometimes an understandable action (in the sense that I understand why someone might not want to refuse an order and risk their job), but that doesn't make it an excusable one.
Internet companies during the dotcom bubble had market value of several trillion dollars.

The total market cap of crypto-currency is still only ~$70 billion. I agree with the principle, but this boom is still pretty modest.
First of all, as always, huge respect for your work, and I'm looking forward to reading the rest of the posts. There is something I'd like to start a discussion on, though:

> nor will reading these posts teach you how to write good specifications; so this series is neither necessary nor sufficient for putting TLA+ to good use, but I think it is both necessary and sufficient for understanding it.

Emphasis on the 'good specifications' part: I think this is a _huge_ oversight in the TLA+ community and the biggest barrier to its current adoption. The problem isn't that people don't understand (or can't understand) the theory behind it, yet it's the thing everybody focuses on teaching. The problem is specification: _nobody_ is talking about how to actually use TLA+. In fact, some of the advice given is actively harmful!

One example: in _Specifying Systems_, Lamport defines a memory cache with the operator `NoVal == CHOOSE v : v \notin Val`. He explicitly calls this best practice, because adding a `NOVAL` constant would be making the model more complex. Except unbounded CHOOSE is not checkable by TLC! While `NoVal` is nice for abstract specifications, it breaks things in the 99% of cases where you're actually using TLA+.

I find it telling that the majority of example TLA+ specs "in the wild" are either abstract algorithms or optimization problems. The things you don't find? How to write good invariants. When you should be using raw TLA+ versus the PlusCal syntax. Example models. Optimization your model checking. The stuff that might get people to start using TLA+ and _keep_ using it.

Again, none of these are criticisms of your work or your writing. I just wanted to openly say that if your goal is to get people interested in the theory of TLA+, it's great, but if it is to get people interested in use of it, a lack of good theoretical introductions isn't the main barrier.
Toward standard practices for sharing computer code and programs in neuroscience
It seems they did well both before and after 1970. So???
> Firmware images were gleaned from car-tuning forums and from an online portal maintained by Volkswagen for car repair shops. Documentation, in the form of so-called “function sheets,” was harder to come by. The function sheets were necessary to give the binary context, but the sheets are copyrighted by Bosch and generally not shared with the public. The research team ended up turning to the auto-performance tuning community again. These hard-core hobbyists and professionals share leaked function sheets so they can make aftermarket modifications to their cars.

This is crazy. And, as we move toward self-driving cars, dangerous.

Can someone point me to a well-regarded source in the industry that makes a cogent and convincing argument for why all the software running in a car (save maybe for the entertainment panel) should not be required to be open source?

To be clear: I'm not asking for speculation, or even an explanation from an expert based on years of experience. I'm asking for a publicly accessible reference based on research data that explains the security benefits of not releasing the source code for life-critical software in the car.

Edit: clarification
You don't need to work more hours you just need better machines to make the average hour worked more productive. If the productivity went up 10% you could give everyone a UBI of 10% of GDP without any additional hours worked.
Dr. Rhonda Patrick explains how inflammation and depression are related. Might find these videos useful: https://www.youtube.com/results?search_query=rhonda+patrick+...
You are not alone. I had terrible trouble parsing the end of the title because I've literally just finished watching yesterday's episode of Doctor Who.