skysight-inc/HackerNews huggingface dataset:
Positivism has fallen out of favor precisely because it cannot withstand its own criteria for meaning.

For example, the statement that "all true statements can be determined empirically" is not itself verifiable by empirical means.
Cozmo: the coolest little robot ever invented
Okay, I stand corrected about the Spanish breakfast. My wife spent a year there as an artist in a sort of fisherman's villa in Valencia, and had me believing that was the norm.
If I don't want my oats to change, isn't a label to let me know what hasn't changed exactly what I would want?
Weird, Garfield minus Garfield has the same premise, and was mentioned.

http://garfieldminusgarfield.net/

Wonder which came first?
I could actually see how maintaining a blacklist could actually lead them to legal problems. With any such blacklist, there will be omissions, and if Nintendo (or Niantic) establish that they are responsible for excluding unsafe areas but fail to do so, they will get sued by someone. If they establish that it is the player's responsibility to not put themselves in physical danger while playing (a sensible request, IMO), then they still might get sued, but at least they haven't assumed a responsibility to do with protecting their users, and it is easier to defend (IMO).
My opinion is that you can't talk about the Dartmouth Project without eventually mentioning the Lighthill Report [https://en.wikipedia.org/wiki/Lighthill_report], an investigation from a British mathematician as to whether the UK Government should put all its egg in the AI basket.

It's a highly recommended read [http://www.aiai.ed.ac.uk/events/lighthill1973/lighthill.pdf], or you could watch his presentation of the report (to Minsky amongst others) [http://www.aiai.ed.ac.uk/events/lighthill1973/] it's also on YouTube.

He was astute in identifying that AI has succeeded in A) Automation of well defined tasks, C) Investigation of problem solving processes, but failed to product much in the way of B) the combination of A and C, an independently intelligent artifact.

It's been a while since I read it, but I remember the video being entertaining, especially the exchanges between the Lighthill and the Minsky, and the analysis being relevent even to today's state of AI.
I would not ask it as an interview question either, and in fact I dislike interview puzzles unless they are directly related to the task at hand. I did ask this student to look at it, though. Without knowing anything about her I thought it might give me at least a little insight into whether I thought she was suited to a CS program, or not. Basically, I was hoping that _she_ would use her own reaction to the puzzle to make that judgment about herself.

I know CS isn't really directly related to this kind of toy puzzle, but like I mentioned, because solving it requires systematic thinking along the lines of making a mathematical proof.
Flying Cars Try to Take Wing
How is spending controlled? Does this end up being an actual card? If so, How does that work internationally?
If you had $18000 dollars and had the option of investing it all and paying tax later or paying tax now and investing the rest, you'll end up with the same amount.

If you have $24000 to invest, your two options are:

1. Invest $18000 in a 401k, pay tax on it later. Pay tax on $6000 now, invest the rest and pay tax on the gains later too.

2. Pay $6000 in tax now, invest $18000 in a Roth account, pay no tax on it later.

The second one is better because it's essentially letting you put more of your earnings into the tax-advantaged account.
MA Senate bill tightens restrictions on noncompete agreements
That's very cool; thanks for sharing.
> The people who run the Commission have been saying explicitly they don't even want to start talking about a free trade deal with the UK until after the UK is fully out.

This is incorrect. They are saying there will be no negotiation until Article 50 invoked, after which there will be two years of negotiations before complete exit.
For people looking for an alternative, cli centered approach, check out reveal-md.

https://github.com/webpro/reveal-md
They are quite happy, the fees on those make the 401k industry look like Boy Scouts.
> 2. If there's a problem with police and "race relations" in this country (which I believe is the case) it behooves us to address it.

The point is that race relations are actively being made worse by media narrating the tired identity politics that Clinton represents.

There undoubtedly is a problem of police unaccountability in this country, potentially affecting any of us. The incidents are inherently rare, otherwise they'd be quickly changed through democratic feedback. The media has completely derailed this issue with its racism, framing it as a problem that non-blacks do not need to worry about (but just perhaps feel bad about). I can't think of a better way to preserve the status quo.
How to Convert SaaS Trial Users into Paid Customers
The people who would work on these two things are pretty disjoint, or at least, I'm not aware of any SpiderMonkey people working on our wasm support. So it's not really an either-or kind of proposition.
> There is a massive amount of political downvoting going on in this thread

People might be fed up reading your opinion. You've posted 25 comments on this story, many of them alike.
X-ray Echoes of a Shredded Star Provide Close-Up of 'Killer' Black Hole
100 Days of Swift: The Tutorials
I'd add "plausibly deniable" as well - requiring either party to have a copy of "The Lil' Saboteur's Guide To Field Encryption" is probably bad for espionage.
Don't have Github account so I can't place an issue there, but PDF export appears to fail with source-code listings in the Gaia theme.

Otherwise, this application is simple and to the point for making quick slide sets. I wonder if someone will invest the time to make a Go-lang style slide theme.
Look I'm not shitting on it. It's not orthogonal that you both saw large numbers of people playing it and that it wasn't as popular as Pokémon Go. I'm not saying it's a technological failure, I'm saying it didn't capture as many people's attention in the same way that Go did.
If anything I think Uber has motivated taxi companies to innovate.

I'm not sure how long they'd been using it, but when I visited Buenos Aires the cabs could be summoned (similar to Uber) and had apps on their phones (typically attached to their dashboard somehow) showing GPS and (presumably) where they were being summoned to (of course I was a passenger so didn't witness this side of it).

Uber makes it possible for me, living in a relatively small city, to make some extra cash because there's not enough demand for full-time taxi services. We have a couple, but they mostly ferry around the elderly and people who've lot their licenses (typical DUIs). Most of the business is Friday night, taking people home from downtown. But you can't justify a fleet for that limited demand. In larger cities, Uber's not necessarily disruptive enough to replace taxis unless the existing companies refuse to accept change (possibly reducing fares, making themselves more accessible to customers, etc.).
Yes, you could do it the other way and wait until the three day window expires. There are two reasons to do it before.

1. It's less bug-prone. If you forget to increment the counter later you have a big problem. But if you forget to decrement the counter later you are only in a little bit of trouble.

2. If you get a flood of notices about a user before the three day window expires, you probably have an obligation to disable the account.

About a DOS based on bad-faith notices, this does less business harm to you than a failure to act.

That said, I agree that decrementing the counter needs to be covered. I'll treat that as a bug report and look for a fix.
Show HN: Insight – A Simple, Completely Free Phishing Assessment
Shadows of Mordor cost $60 at launch. Let's say just 20,000 people went out and bought the game as a result. Suddenly, the value of that fraudulent promotion is $120,000.

20,000 x 60 = $1,200,000
WebP Support – It’s More Than You Think
Sorry, I didn't realize that was a guideline.

Q: What if the original title is too long to fit in the space allotted?
Related:

https://news.ycombinator.com/item?id=12073942

https://news.ycombinator.com/item?id=12077621
For those interested in the nature of information as such and as it relates to computation, you might find "From Aristotle to John Searle and Back Again: Formal Causes, Teleology, and Computation in Nature" by E. Feser interesting.
SYN Flood Mitigation with synsanity
>I think Cheryl's Birthday puzzle is exactly an example of a terrible problem to evaluate a programmer with.

All true, but please note I was not interviewing her for a job, just trying to give her advice on whether I thought she would even want to _start_ a CS major.
And it's pretty affordable too: $13,500 total budget (in 1955 dollars though of course...). :P
They do, in lots of companies, have "Software Developer I", "II", "III" ...

Or MTS/SMTS/LMTS/PMTS with a gazillion different levels for each
Random idea: I wonder if you could set up an education track, perhaps for homeschoolers (?), that transitioned from music study to music performance in a group to computer programming to programming in a team.
Vanishing the People’s Wealth to Make the Bosses Richer
Marking legal requirements is a good idea. I'll consider that an issue to address.

Thanks!
Missed a zero. Thanks for the correction!
Just looking at the intro and I see SDLC and cringe. Is this still applicable to agile practices?
Neuroscientist here: Just listened to a talk from a reseacher who studied tDCS and tACS in human subjects, and found that IQ scores were actually going down relative to control groups. It's absolutely not clear what the appropriate protocols are, and behavioral outcomes could be incredibly sensitive to factors such as 1) electrode placement, 2) stimulation frequency, 3) amplitude, 4) direct or alternating current, etc.

On top of that, benefits may come at the cost of other unobserved effects (i.e. faster learning and plasticity, accompanied by faster forgetting, to oversimplify).
I'm pretty sure these kinds of regulations have existed in the US for a while too. According to [1], having an algorithm be interpretable (which NNs aren't) is a legal requirement in any financial decisions subject to anti-discrimination laws.

In this case, it doesn't necessarily mean there will be a HUGE CLASH. We will either turn to more interpretable AI, or continue developing more and more interpretability techniques for deep learning, which has been an area of very active research in the recent years.

[1] https://www.cs.princeton.edu/picasso/mats/Book_Schapire.pdf page 664
Back in my day, vigorous intellectual disagreement and debate was the point of living on campus during college

Well they've sure fixed that, haven't they.
Tax consequences related to withdrawing your own money is very much a stark contrast to, whoops this money we promised you doesn't exist.
It sure is harder, but not impossible.
Personally, I see this as entirely positive. Note the law doesn't preclude automated decision making, it requires explanation of the decision process (which then has to be based on lawful criteria). This is what "fighting against evil IAs" looks like in the real world.
If Ireland wishes to make themselves a tax haven, then the US has very little influence over that.

But for anyone to claim that Ireland would experience this sort of growth without being the go-to tax avoidance location for the likes of Google, Apple, Facebook and fill in the blank--is ridiculous on its face. Through the phenomenon of "income stripping" these tech companies essentially gift their IP to their Irish subsidiaries and then the subsidiary charges the parent company to use that IP, thereby stripping the parent company's earnings from the US--where the companies are actually located--to these tax havens.

In case you've been living under a rock you would know that Facebook has been fighting a lawsuit from the US treasury since 2010 over this exact situation.
What's wrong with odin? Other than the moral aspects of using leaked software?
Grammatical structure IDE
It seems that this motor's power-to-weight ratio advantage applies just as well to ground vehicles. Are there reasons why that isn't the case? I.e. is this approach somehow specific to heavier-than-air engines? (Also, speaking not necessarily to using this specific motor, but rather applying Siemens' cited optimization techniques for ground applications.)
You're right. The scales changing don't allow changes in states over time to be seen. It is strange isn't it?
BOOM! Typed, assembly language is exactly what I was going to recommend! TALC assembly, Chlipala's Bedrock, and Microsoft's CoqASM are Google keywords to use for anyone following along.

CakeML or Verisoft's C0 could be useful for assembly generation but not as sure there. Tough constraints in JIT. Edited to add Myreen's JIT that I just remembered.

http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=F58...
Porto-based InovRetail secures funding to become a leader in retail analytics
My favorite, very similar in premise, is realfield: https://www.tumblr.com/search/realfield
That's obviously better but often not possible when taking into account the constraints of a single DIN.
You sound a lot like the preacher in Ecclesiastes
> In Christianity, the meaning of life is love

Technically the entire "love thy neighbour" stuff seems to largely be based on the understanding that "thy neighbour" is a fellow Christian (or Hebrew, considering Christianity wasn't yet a thing when most of it supposedly happened).

The Old Testament alone is full of double standards about how you should treat your fellow tribespeople compared to what is allowable to be done to outsiders or enemies of the tribe.

If Christianity had consistently interpreted these rules as universal, there probably wouldn't be many Christians around.

This is similar to Islam's claim of being the "religion of peace": Islam certainly expects Muslims to treat fellow Muslims well, and actually goes to some lengths to make sure non-believers shouldn't be directly killed, but it has fairly strict rules about apostates and people trying to convert believers away from Muslim faith.
Perhaps the d3 library isn't loading. What's the error you see in your network tab?
Well, yeah, I suppose it was a little contradictory. I was not really evaluating her ability to do a real-world programming task (which, note, is not _entirely_ related to some of the stuff one might have to do for a CS degree). With only an e-mail and a phone call to get to know her, I was casting about for some way to evaluate, and ask her to evaluate, whether she had the basics of a systematic approach to problem-solving, or even enjoyed it.
At least in Silent Garfield Jon is talking to something instead of nothing which leads to hilarious and depressing scenarios.
Why Go interfaces are so strict
Salary Negotiations Study: Data from Tech Employees
Discovery of First mcr1 gene in E. coli bacteria found in a human in United States
Backdoor on OS X systems allows full access
Neat! Combine this with http://entrproject.org/ and https://github.com/cortesi/devd/releases for live-regenerating+reloading html output on md input changes :) . Or incrond, but entr feels great for this kind of ad-hoc workflow.
I hope not. One would have to exclude benefits to a lot of people who have been paying the top tax rate for SS to save any significant amount of money. In effect, this would be a retroactive tax. SS has never been a means tested program.

See also:

> Social Security benefits are relatively evenly distributed among retirees. The vast majority of benefits go to people who are low- or middle-income by any standard. This means that a means test that is focused on taking back benefits from upper income retirees is likely to raise very little money...

> This suggests that means testing is not an effective route for reducing the cost of Social Security.

Source: http://cepr.net/documents/publications/ss-2011-03.pdf
The title, while accurate, is perhaps unintentionally click-bait-y.

The article includes a less obtuse alternate sub-title: "Is there a publication bias in behavioral intranasal oxytocin research on humans?"

If I'd seen that I probably would not have clicked it to find out what on Earth a "file drawer problem" was.
Not sure if you are speculating that I am a supporter or detractor of his. My only impression of the man up until now was that I thought he and his wife conducted themselves with grace and forebearance during the Halloween fiasco. I find this research fascinating.
You're right that the key point is that this is so rare. A simple chart like this is only possible if you're making a lot of 80/20 choices.

Any time something happens that falls out of an 80/20 choice, call a lawyer. This should happen rarely enough that the legal bills don't kill you.

(Note: if you are deliberately running an infringement business, there is no 80/20 path for you. Don't be this guy).

Maybe there should be a decision path for calling a lawyer.
Here's an interesting hypothetical of someone who always invests over their life st the worst possible time (right before crashes). He still comes out pretty well

http://awealthofcommonsense.com/2014/02/worlds-worst-market-...
Absolutely.

And, same for healthcare IMO. Assuming no single-payer system, the group negotiating companies have to do with plan providers is just such a waste. I was part of a 3-person startup last year, and nobody (even going through Zenefits) would even talk to us about a healthcare plan. We were apparently in some edge case that because we were all co-founders and had no employees we didn't qualify for most of the common plans or something. We ended up shutting down before our COBRA ran out so we never ended up figuring this out. But why does the system need to be so complex?

It seems like it could only help entrepreneurship and un/under-employment (less friction to try a new job) for as much of this stuff as possible to be decoupled from employers.
True, though he made that decision in a particular historical context. Consider:

1. The computational resources at the time. I tried to run 14 node multi-layer NNs in the 90s and I'd have to go to lunch and come back before a single run was done. (backprop looped several times to converge).

2. The whole symbolic vs statistical debate that was going on at MIT. You had Chomsky, Fodor and Minsky lining up on almost philosophical grounds. (In Fodor's case, explicitly so).
They improved her ability to play a shooting video game.

Quite honestly, those games ("simulations") are like Counter Strike on adderal. They are nothing like the real deal. They certainly do not teach precision sharp shooting.

What they do teach is reaction times and hand eye coordination (see bad guy, point gun, pull trigger, repeat).

Let's hope the CSGO community never find out about this and start trying to juice themselves with 9v batteries.
Longterm yes, but the cd drives on these things die decades before the roms and processing hardware. He had mentioned in the video that he was surprised that the solid state laser died so soon but I was under the impression that it's almost always the drive motor that's the first to go.
Shameless plug: I'm a lecturer and have scratched this itch some time ago with a pet project that a couple lecturers are using now: https://github.com/munen/p_slides/

It doesn't ship it's own editor, because everyone already has a favorite(for me that's formerly vim, now Emacs). It's only static files, so it doesn't need a server or pre-compilation. It's extensible, has syntax highlighting and produces PDFs for the students. Also, it's only a mash up of great existing libraries, so it needs no maintainance and further development. One of the few pieces of software that I wrote which are feature complete^^

A couple friends(also lecturers) and I have been using it for about five years now.
>The wording is designed to obfuscate and confuse.

Yep. have you ever worked with a software development process that used formal specification documents? : )
I don't remember where I picked up the bit about synthetic C. Thanks for pointing this out.
Cypress Acquires Broadcom's IoT Business for $550M
Looks like he's not quite ready to kill math?
Private Internet Access shuts down Russian servers
One of the most exciting parts of this launch to me is that we did a ground up rewrite of the front-end in react+redux, which opens up a lot of really exiting opportunities to play with React-Native, as well as iterate quickly on bringing new user experiences to the chat box.
What Product VPs at High-Growth Startups Have in Common
Show HN: Baqqer – a better way to grow your projects
Interesting -- if you can find that puzzle, I'd like to see the original.
For python developers - why does not any CI out there support Conda - out of the box.. :(
The US Army sometimes uses DRYAD. [1] It's not very good, but if you use a new code sheet every 6 hours and don't send much, it's OK.

The military views secrecy as a short-term issue. The most important secrets are "we're going to attack X at 0500 tomorrow". After tomorrow morning, it doesn't matter if the enemy can read the message. A cryptosystem only has to slow the enemy down enough that they can't react until it's too late. Classic Navy line: "Where the ship was last week is UNCLASSIFIED. Where the ship was yesterday is CONFIDENTIAL. Where the ship is now is SECRET. Where the ship will be tomorrow is TOP SECRET."

[1] https://en.wikipedia.org/wiki/DRYAD
How much Vitamin D are you taking? I have been supplementing with it, but it did not put much of a dent in my winter depression. And what is considered to be a loading dose?
That's a great idea. They should consider doing that even if the initial code mighg be convoluted a bit.
A scanner doesn't target a single (intellectual) property. This feature of this hack, on the other hand, would have only one use: dumping the ROM of a Sega Saturn.

I hadn't thought of the 'for personal use' defense, though.
They already have an sdr in them - its just locked. Getting the open access to utilize those components as I see fit - that is a serious challenge.

Edited
> most people don't know how to drive or know anything

That's a little like the sort of statement you hear from people that get into auto accidents, but always because someone else did something wrong.

I'd recommend listening to podcasts or something if getting behind the wheel becomes an exercise in grading other drivers' skills. I half suspect that using your phone and texting friends while driving, to take your focus of other drivers, is safer than getting agitated enough about their incompetence that driving turns into a competition.
[TheLarch proffers curmudgeon fist bump]
It does seem rather harsh to hold Minsky to account for a conclusion which is only true with access to the massive computing resources of the 21st century. Not only was the future power of computation unknown in 1955, the quality of neural networks remains nonobvious even with that prediction - you have to actually run the things and see if they work.

None of that makes Minsky right, but it's hard to see how much could even have been achieved on neural nets back in '55. Our architecture design today descends from experimental results that were not going to be available for many decades.
The file drawer problem has been getting discussed quite a bit recently. There was an article that I read from month or so ago that specifically mentioned this being an issue across many fields of research with medical being the largest concern. There's a bit of a movement growing to try and address this throughout the scientific community. The tendency to only publish positive results has a chilling effect that could cause great harm to society.
The Confinement Problem (1973)