skysight-inc/HackerNews huggingface dataset:
I personally would be happy to give up a few dollars of the $1,859 [1] I spend on bombs every year. That is 6 weeks of work if you are working minimum wage. The blah blah budget hawks is b.s. to remove the few elements the benefit the general public and reshape the U.S. into a developing country where we fight over scrapes. Matthew 25:40 : what you do unto the least of your brother ... if we don't start taking care of one another as a family you won't have much left.

[1] : https://en.wikipedia.org/wiki/List_of_countries_by_military_...
They're also not very interested in making it easier for you to train models at home. Not that it's a big risk for them if you were able to do so: you don't have the data, and your models are only as good as your data, but they'd rather you came to their cloud and paid $2/hr per die for an outdated Tesla K80. Which, to their credit, they've made it very easy to hook up to your VM. Literally, you just tell them how many you need and your VM starts with that many GPUs attached. Super slick.
Not at all! The open source self-driving car project is still open sourc and hasn't been commercialized in any way. The spinout involves no student-written code. Hope that helps.
Are you affiliated with CatLight? https://news.ycombinator.com/submitted?id=aplex
If you're doing root cause analysis of a system failure, you're not looking to blame an individual. If you find something malicious then, sure, deal with it. But assume good faith in all parties from the outset and you're more likely to succeed in fixing the problem.
The case is not at trial yet. They're still in discovery and coming up on a possible preliminary injunction. Evidence is coming in and going on record, but it's not evaluated at this stage. That's why the judge makes remarks like "we're not there yet".
What is difficult?
Udacity looks to challenge Uber with its own autonomous taxi service
If you think of the things you'd ask a human Uber driver to do, we need to reproduce almost all of those digitally, whether through voice or just your mobile phone. Things like changing destinations, asking for ETAs, or turning up the AC.
Introducing Twitter Lite
I can see where you come from, but try to run some obscure nontrivial Perl package of the 90s and see how far it goes. I had the displeasure to exhume legacy Perl programs three times in the last two decades. It always ended with a total rewrite in another language. In contrast, awk is such a nice and minimalist language with multiple implementations available.
Note however, that on Intel it's actually slower than run off the mill float32 linear algebra library like Eigen or OpenBLAS. Its main forte seems to be ARM.
I think you are making a very valid point. Even Putin is an individual and its just wrong to shame a person with photoshop images.

Imagine if instead of Putin, it was someone whom you knew closely. I agree with the courts verdict.

There is no good way to determine a fine line between artistic freedom and hurting someones sentiments. Just as there is no good way to determine someones motivations or quantify various human traits.
> The obvious difference here is that a speaker is not tightly coupled to an engine in the same way that...well really any internal component of a smartphone is coupled to other internal components.

That's an obvious and important distinction, but it can't be solely left up to the manufacturer to determine what was coupled or related enough to void the entire warranty or absolve the manufacturer of all liability. If it's left up to them, they have a strong incentive to prohibit any third-party repairs of any kind. A good regulatory policy would need to ensure that the incentive is for the manufacturer to be the cheapest and easiest provider of repair services, so that poorly-executed third-party repairs are less likely to happen in the first place.
I've recently been using vim inside of tmux on a remote server to "replicate" what C9 offers. It's rather nice and I'm enjoying it a lot, but I also found C9 to be pretty awesome too.
Try accounting for population size before touting universities as a good measure of anything.

Try looking up cost of tertiary education and maybe cost of medical care and see who ends up better.

You haven't proved your point.
Just thinking out loud but the car one seems solvable by moving the responsibility for accidents. It starts with the manufacture and transfers to the modifer. Although like above the issue gets complicated quickly since modifying one thing might be unrelated to the accident.

I guess if it can be proven it was because of the mod then responsibility should transfer to the modder.
How so? I'm pretty sure Syrians had to unlearn that long ago. Now that realisation is (literally) coming here.
regarding GPS errors, is it GPS which is the issue, or just phones with sub-par sensors and set ups?

I ask this cause my wife's previous phone had consistently crappy GPS performance, losing satellite connection very often, getting stuck etc.

I never had such issues with mine, nor with her new one.
Pretty irresponsible of someone to drive drunk to save $20-30. I could never imagine doing that over the options (riding a bike, ignore going to the bar in the first place etc).
Yes, all Powershell objects can be cast to string ($strvar = [string]$var) or piped to Out-String.
You are entirely right, this is a puff piece, the 'may' in the title and the 'correction' at the end of the article shows the level of thought put into it.

The really interesting takeaway imo is how Uber made taxis cool (billions $ cool) with a bit of rebranding and made people defend 'our' taxis against 'their' taxis, doing all kind of mental gymnastics to rationalize their pick of taxi service in the process.
Meanwhile social media seem to be condemning the company for all kind of shenanigans while their service is booming, fascinating.
> My keyboard driver isn't unix-ey, because I can use it to input a 'k'. Or a 'K'. Or a lot of other characters.

You're missing the article's forest for its trees. The author is claiming that "filter or sort the items in a list" and "get a list of files in a folder" are two different "things". That's not a frivolous, hair-splitting thing to say - the difference between generating a list and re-ordering it should be apparent to anyone who writes code.

After all, when you write a function that returns an array, do you typically have it take in a boolean argument for whether or not to reverse the array's contents?
Any objections?

The same objections you have regarding the fair coin.

You say you submerge the animals in a tank of water. How does that work? You have this giant tank, put in the animal and one molecule of water? Just like a single toin coss, a single molecule of water will not tell you much.

You need hundreds of billions of water molecules?

Ok. And how do you know these will behave in the expected way?

Because you have a model in your head how molecules behave? Well, I have a model how fair coins behave.

Because you saw different sized objects result in different water levels before? I saw fair and unfair coins result in different head:tail distributions before.
Personal Finance Software Review – PersonalMoneyService
I had hopes, but then played the game. It's very basic and doesn't work on mobile browsers such as Firefox on Android and iOS, nor iOS Safari. Doesn't load in desktop IE11. No touch support.

HTML5 games seem to be stuck in a pattern of ultra-simple design, limited browser support and poor responsive characteristics - what HTML should be good at. Even a graceful degrade is absent.

Very simple games should counter-balance that simplicity with awesome cross browser and mobile support.

Not trying to discredit the educational efforts, but perhaps making a dedicated windows or native app game would have been better to teach things like animating sprites and physics, where the end result sits more comfortably on the platform it was made for.
The sex-offenders are just a minuscule part of the rejected (less than 1%). How is a history of violent crime ordinary behaviour? How are multiple serious driving offenses ordinary?
If you're going to talk up preservation of the atmosphere while downplaying the enormous technological progress and bold, financially uncertain moves that SpaceX is making, you need to give your head a shake. The atmosphere has already been killed. And the methane that's being unlocked because of it's desecration will kill you, and it will kill me. We killed ourselves with the same type of ignorance towards new, uncertain technology that you have displayed in this comment chain. We took existing, working, and bad technology (ICE vehicles) and paraded it around to the world, and it worked, because we could show people how to use them to make money. We had an MVP with gasoline powered vehicles. People ate it up. Yet electric cars, the correct technology choice, get no mindshare with the serfs because they're heavier, slower, and can't exactly carry a dump truck full of aggregate rock up inclines for 24 hours a day.

You need to stop with the sour grapes, the tall poppy syndrome, and you need to start supporting the people who are actually doing shit. And you need to do it before the window of opportunity to use our technology to save ourselves closes. Keep in mind that me writing this comment to you is an enormous waste of my time, and I really thought it through, so please absorb the meaning in my words and stop having these pissing matches on the internet over things you completely misunderstand.
Twitter Lite
Yeah exactly, it's all just edgy trolling from 4chan. When did trolling suddenly become equivalent to being a Nazi?
I've been looking for someone to grow a blog, but I'm not sure if I'm going to hire a freelance or use a service like this.

Is there a plan where I can choose how long the article would be and the depth of the research made?

Can I share the main points the article should contain and build the content around that?
Sounds like a perfect case for autonomous cars. They don't have to be paid to wait.
The 5th covers several rights of a person accused of a crime. In this context they are referring to the amendment's protection against self incrimination: "nor shall be compelled in any criminal case to be a witness against himself."

A person has the right to decline to answer questions if they believe that their answers could be used against them as evidence of a criminal act. This particular proceeding is civil rather than criminal so its outcome can't result in any criminal convictions. However, if he were later to be charged with a crime and tried in a criminal court any testimony he gave in this civil action could be used against him as evidence in the criminal trial.
It follows from Christian theology (imago dei) but that's increasingly losing ground in the West. If we're just agglomerations of atoms why should I believe that all human agglomerations are equally precious?
Thanks for the reply. Did you face any issues during crawling process like access restrictions. If you share your practice I will be appreciated.
That's no way to witch hunt.
"It" being the hackathon to create a product in some amount of time?
Yes, the school of though from Xerox PARC and ETHZ workstation systems and safe systems programming languages, with development environment deeply integrated with the OS.

Even Plan 9 and Inferno are more close to that design model than UNIX, hence Rob Pike's complaints about UNIX, how ACME works or Limbo's design.
This was what was being attempted. The UI would be optimal for a phone, until you docked it at which point it would adjust to take advantage of the new peripherals and larger screen. Developers could write an interface that morphed, or even completely different UIs, for the different environments.
Given the subjective nature of the statement I do not find it particularly disturbing to consider it may not be objectively true. Additionally, I disagree with the implication that because a conclusion is not reached through logic it is not objectively true. For one, there may still exist a logical argument whether I have made that argument or not. For another there is no guarantee that logic leads always to truth or that truth can only be found with logic. (Although I do find those two ideas rather disturbing...)
In PowerShell, ls is an alias for Get-ChildItem.
How would you prove with logic that human life is precious? I agree that it is precious, but I'm not sure how I'd prove it.
Third party software has been available on Linux distributions for a long time all the same.

Shipping this feature out of the box with an OS install started happening only recently (e.g. Night Shift came to iOS only 1 year ago, Windows 10 is getting it just now, AOSP has a "secret" knob to turn it on and it's enabled in 3rd party ROMs, etc).
Evolution of the Search Query and Altering Your Marketing Strategy Accordingly
The context here is all cases.
You guess? That is the whole thing with drunk driving. You endanger others. With a conscious choice I might add, when you go somewhere and drunk driving is the only way home.
In the USA do judges get assigned to cases because of their prior demonstrated ability to grasp a particular industry - or is this just a coincidence?
> is still very taboo in the US

Depends on where you are. In rural America it's borderline socially acceptable (unfortunately).
But 'casting to string' isn't very specific. Does casting to string mean that you always get a unique identifier for the object? Does it mean you always get a dump of the object's contents?
Logic programming is overrated (2013)
Postcodes a pointer to the education divide
Life is messy. I think there's a fine line, but still a difference, between factoring in past injustices and factoring in current negative conditions that resulted from past injustices. Throwing your hands up and saying "it's too hard" seems a bit of a cop out for the latter.
Shortest shortcut to launch your m-commerce mobile app
Anybody read this as Netzero the free internet dial up in the 90s?
Consumer guarantees do not apply if you:

[...]

- misused a product in any way that caused the problem

[...]

- asked for a service to be done in a certain way against the advice of the business or were unclear about what you wanted

source: https://www.accc.gov.au/consumers/consumer-rights-guarantees...

Good luck with that.

Also, Apple (US) licenses all their software to you without any warranty.

If you wish to keep using their device, you have to accept that the very first time you turn it on.

By this, Apple tries to protect your privacy (which is coincidentally also now basically their core business value) by not letting 3rd parties compromise your phone's security.
Neat I guess, but doing it all manually seems to be the only option? Feels like a chore just looking at it.

How about wrapping each PS1 (?) in the "mq" command and automatically look for stuff?

Or even just running some "mq auto" after each command that looks at the previous command - and if it hits certain things like "git commit" or whatever it would automatically complete that quest or however it works.
How is it a taboo? I notice that in almost every US TV show I watch, people drink and drive. Or drink and if you think, you know there is no other way for them to get home except in the car they arrived in. It's very visible once you notice it once.
London Police Ink Shadowy Deal with Industry on Website Takedowns
I need REAL experts in specialized fields for very short periods of time ....on demand. Currently I ask a million people a million questions while doing more research only to end up frustrated and with less time.
Blackwater founder held secret meeting to establish Trump-Putin back channel
Not at all. Logic doesn't need to be moral and, in fact, many logical conclusions are amoral.

There are five people trapped in a snowstorm during the winter. They are out of food and have no means of going outside to gather more. They need to eat to survive or else they will all perish. The logical conclusion for survival is cannibalism. Then you have the varying moral scales of "kill someone and eat them", "draw sticks and the unlucky loser gets eaten", "wait for the first person to die, then eat what remains of their starved body", or "everyone chooses to die of starvation instead of eating one another".

Among those choices - once again the logical conclusion for best chances of survival, namely "eating someone while they have enough meat to provide sustenance to the survivors" is typically considered amoral compared to the "everyone dies" or "eat the starved body and risk dying of starvation anyway" options.

I'm sure there are plenty of in between options or other options I missed out on. But "logical" is not equivalent to "moral" except by chance.
> "ls" is oriented for human viewing, not composition with other tools.

Is there any basis for this claim? My understanding is that many of the GNU ls options are just shorthand for things that you'd traditionally do compositionally. It even reverts to a plain, more pipe-friendly style of output if its stdout is not a TTY.

It still sucks at the job if you assume a system where the convention of not using newlines in filenames is ignored. Unix-likes are typically filled with these conventions that will qualify or disqualify any particular approach to a problem, which imposes a certain load on the users, administrators and developers that I assume isn't as severe in Powershell. An inexperienced user will constantly have to second-guess their solutions and may not experience any issues until much later, e.g. when it turns out that their script will have to accept spaces in filenames, or when their `rm -rf "/$INSTALLDIR"` needs to handle unset variables.

I'm all cool with this since it offers brevity and a profound flexibility. If you want, you can implement typed, object-passing IPC like Powershell on top of Unix. If you don't, you may be content stream-editing and grepping in file listings to get what you want in the format you need. Besides that, the most compelling case against Powershell that I can thing of is that Windows programs typically aren't very composable. It's conventional for even the most mundane and simple tools to be operated using full-fledged GUIs, if only to offer a file selector and a run button.
i have the greatest of respect for nix and 0install - however its an inexorable fact that I would like a mainstream, fully supported OS on my desktop - which is either Fedora or Ubuntu.

Let me flip this question - what does nix have that snap or flatpak does not ? From what I have read, they are pretty much the same.
> Perhaps a more poignant current example is youtube personality JonTron. [...]

I think it's at the very least disingenuous to claim that his recent remarks are racist (the more we use that word, the more watered down it becomes). And it's also sad that people assume that your politics cannot change either.

My reading of the situation is that he was just doing a thought-experiment and asking why multiculturalism is only an issue in the western world. It's true that he appears to be more right-leaning than other people in the skeptic "community" but that view is not racist. It's just a question. When he went on to "debate" someone else, it's quite clear that he hasn't debated this topic before and it's quite clear that he probably hasn't heard any of the counter-arguments to his points before (because he hasn't argued them before). Would he change his mind if he had heard those counter arguments? Would he refine his opinions? Maybe, but calling him a racist doesn't help anyone. I would've assumed people learned that with all of the recent political events (Brexit, Trump, everything that's happening in Europe), they'd realise that calling everyone a misogynist/racist/Nazi doesn't actually help...

> But I also think it's clearly wrong to treat any hate-speech/iconography as if somehow doesn't have all that extra cultural baggage.

Right, but "cultural baggage" doesn't appear to me to be a justification for wanting such things banned or not allowed. I find some of 4chan's trolling distasteful and I probably wouldn't have done what they did, but I would never say they shouldn't be allowed to do what they do (not the least of all because I find some of their trolling quite funny).
My first thought was the exceptions. And so yes, you can't say "Human life is worthless." But if you look around, there's plenty of evidence that, in fact, it sometimes is. For people who value something else more. Such as victory, profit, or whatever. There's also the issue that in-group lives tend to matter far more, by orders of magnitude, than out-group lives. I've seen quotes from famous people using 10^3 or more.
If you are a frontend developer who loves developer tools, has worked with SPAs and React - we've got an opening on the Blue Ocean team at CloudBees https://t.co/6ZP1faehVq
In his "History of Western Philosophy" Bertrand Russell writes about the non-humanist philosophy of Nietzsche that it is consistent but it does not describe the kind of world he would like to live in. So I think that humanism is a matter of social agreement.
at my last job, we developed games for online casinos with phaser (mostly slot machines). development started in 2014, and we looked at all the major html5 game frameworks, and phaser stood out by far for our requirements.
During my first visit to the USA, back in 2007, I was shocked at casual drinking and driving habits of my co-workers. They were fine with having 5-6 bottles of beer and a couple of shots and then drop me in the hotel before driving home. Fortunately they don't have to do that anymore.
The concept video for the MCT launcher showed it landing on the launch pad, having a new second stage craned on to it, refuelling and launching in the same day.
And she would have gotten away with it too, if it weren't for those meddling kids!
There are some automated theorem provers for higher-order logic [0][1], but they are not very good yet compared to their first-order counterpart. There are also some provers specialized in inductive proofs [2][3], although the frontier with proof assistants such as Coq or Isabelle starts getting blurry as you often need the user's intervention to explicitely provide lemmas.

I have some hopes that this is going to change in the next few years thanks to a colleague's effort [4] to build better higher-order provers. He's an expert in Sledgehammer (a tool to use automated provers from Isabelle) which is already a productivity boost, and should become better with this project.

You are right that the search space is more difficult to handle. Induction (and similar formulas) is particularly hard to handle because one usually has to introduce lemmas, and these lemmas have to be "guessed" (infinite branching factor there). Existing provers basically rely on heuristics to try and find lemmas that would be useful for solving the current goal(s). ACL2 [3] for instance uses heuristics accumulated and refined for decades.

Hopefully, proof assistants will get tighter and tighter integration with automated provers, and the user will have to specify only the main lemmas and the overall shape of a proof, leaving the details to CPU crunching.

[0] https://page.mi.fu-berlin.de/cbenzmueller/leo/
[1] https://www.ps.uni-saarland.de/~cebrown/satallax/
[2] https://github.com/sorinica/spike-prover
[3] https://www.cs.utexas.edu/users/moore/acl2/
[4] http://matryoshka.gforge.inria.fr/
The point of DUI being illegal isn't to protect drunk drivers; it's to protect everybody else (and everything) nearby.