skysight-inc/HackerNews huggingface dataset:
> Logical reasoning has always been one of the methods of philosophy. It seems quite bizarre to say that the development of proof theory has nothing to do with philosophy, which for millennia prior had been interested in the question of what distinguishes good arguments from bad arguments and which arguments are formally valid.

Logical reasoning in the form it takes in the philosophical works of any of the philosophers you mentioned and the kind done in mathematics are worlds apart. Comparing Spinoza's "proofs" which are supposed to follow the style of geometric proofs with actual geometric proofs reveals a pretty stark contrast. More generally, philosophers rarely phrase their logic in a formal language (although they do on occasion), while mathematics has been done only in a formal logic since the advent of proper axiomatic foundations in the early 20th century. Informal reasoning is often used to assist formal arguments at an intuitive level, but no mathematician takes it seriously on its own.

How many philosophical works do you see start with a list of fully precise axioms and then continue only use those as assumptions, making their uses clear? There are a few I can think of, but they are far from the norm.

> Also, proof theory does not look that much like the rest of math.

How so? Even early results like Godel's incompleteness theorems look strikingly like other mathematical proofs. He lays out the precise definition of a formal system, and even sets up an encoding for sentences of that language in the natural numbers. A significant part of it is also pretty much straight out of Cantor's diagonal argument.

More modern proof theory looks even more like conventional mathematics, with a lot of it being phrased in the language of category theory.

> And it's pretty clear from reading Aristotle that he didn't think of the study of logic as a branch of mathematics.

Yes, because the mathematics of Aristotle's time was not equipped to handle something like proof theory. Frege (as well as the others you listed) at the very least thought the right way to study logic was through mathematics.

> Could you elaborate? I'm not sure which methods you're referring to.

Okay, pick 10 papers at random from a philosophy journal of your choice. How many of them are yet another examination of the one of the works of "old philosophy" the original article was imploring us to read, and how many are exploring something new? I don't mean "something new" as in standing completely alone and without any references to past works (I've yet to see such a paper in math or science), but simply drawing conclusions that are something other than a response to an age old argument. And as I said before, how many use formal logic as opposed to informal logic?
You raise a good point, but I start to have a feeling people read my comment as a defense of Google and free markets. It's not. The opening sentence was meant sarcastically.
I chuckled at your defensive reaction. Apple’s TouchBar has such a bad reputation that people genuinely fear it will spread to their beloved Mac models.
The Lives of Barney Rosset
"commitment to your privacy with Windows", says the data collecting PRISM program member.

It's so surreal that there are no words for it anymore.
OP was talking about content that has not yet been delivered. Forbes is in fact refusing to serve him content (as is their inarguable right) and he's promising to maliciously work around that and distribute it on his own.

It's hard for me to imagine a legitimate defense of this that isn't a wholesale rejection of the concept of intellectual property.
Ask HN: Do you carry a backpack? Which one?
Then you don't understand depression if you believe that
You can't use a respectable site for that sort of a redirect! Use a tabloid like drudgereport.com ;)
At the IBM event he said that the current concurrency model (gcd) might be replaced/extended by an actor/task based model in version 5.
And then Grandma dies of her heart attack because you can't rush her to the hospital because one tire is 3psi underinflated? Most of these issues aren't binary.
And put ads on it? That's so 2005.

I really should do more with "downside.com". It had the first search engine for companies that returned financial data from SEC filings, back in 2000. But now everybody has that. The SEC data updater stopped working at the beginning of 2017 because the SEC shut down FTP access in favor of HTTP, so I either have to fix the ancient Perl code or turn that off.
How would a warrant work in this case?

BestBuy reports that they found child porn, but proceeds to give the computer back to the owner? Is that legal or are they trafficking?

Meanwhile the FBI goes and requests a warrant based upon what they heard from BestBuy? That seems almost more slippery to me, does the FBI just need to "hear something" from somebody to get a warrant to look around? Or is it even possible for them to get a warrant in a case like this, save for BestBuy involving them like they do?

This seems like the step that causes a warrant to be issued for more stuff. How I'd imagine it goes:
1) BestBuy worker finds child porn while doing normal work.
2) BestBuy worker does "extra work" to report child porn to FBI and does not return the machine, he files some paperwork, maybe makes a full backup, etc..
3) BestBuy employee signs a deposition, BestBuy hands machine over to FBI with owner's information
4) BestBuy or BestBuy employee gets some money (I'd think BestBuy would want their cut but that's a detail, maybe they're cool to their people in that way) for doing "extra work" and reporting crime.
5) FBI and federal prosecutors look at evidence, seek warrant for other evidence, start planning case. Perhaps said warrant makes a big case or identifies nothing else.
6) BestBuy worker may potentially be called to testify. Sadly at the end of the day $500 isn't going to pay much for a personal lawyer and I think it would be ill-advised to show up to court in any capacity in a federal case without one.
...
you banned me? confused... seems like i can still comment / vote

edit: hellban, content invisible.
Microsoft added Win10-style telemetry to Win7 in 2016. You're running it right now!
Hard to have this mindset when your tool of choice is LuaJIT... sighs
Google is a legal monopoly, by most definitions. http://www.businessinsider.com/peter-thiel-google-monopoly-2...
Except the cases where you're likely to meet a large vehicle on a one-way road are most likely to be in extreme rural situations, where cell-phone coverage is far from guaranteed.

And if you expect you can force non-connected cars to not exist on rural roads sometime this century, you are delusional.
Do they serve coffee at these shops?
How do you exit insert mode?
It's quite important if you're trying to provide libraries for developers to use...
Your subjective opinion is noted, but I'm confused how someone with this read would ever be appeased.

Sequence of events:

1. Microsoft ships an OS with signal collection roughly analagous to OSX.
2. Microsoft is raked over the coals for this.
3. Microsoft scales it back a bit.
4. People demand more.
5. Microsoft actually makes a UI and offers even more cutbacks, with less collection by default and a more thorough set up experience.
6. People claim this is a PR stunt.

What the hell do you actually want other than a black hole to swallow the Redmond you learned to hate in high school? That ship has sailed. They're already gone.
New Tools for OCF Discovery and Device Onboarding
I understand your POV, and I thank you for your comment, but mine is actually opposite and I want to explain why. I consider Redis, even if the license is different, kinda of the old "Public Domain", that you grab it and do whatever you want, without also expecting much if not what you see the project direction and activity is. However Github I think was the very first big site using Redis and clearly stating it, when it was in beta, so they did a very bold thing and helped Redis a lot to grow up. Github current CEO even wrote the first Redis-based queue system that provided Redis with an huge popularity boost. And they are still using Redis even if no longer for durable data, so it's a 7 years symbiosis going forward. Even if we never exchanged much infos, I think it's fine, I actually think it's the hackers way :-)
OCF is Interesting, I was at CES and there were so many stupid one off consumer IoT platforms there and then the OCF had a huge area and some cool demos showing some cool interoperability with a wide range of devices using a unified data model and api.

https://openconnectivity.org/resources/specifications
Really? Where can I learn more about this?
The vast majority of users don't browse with caching disabled.
Does anyone know how this publication relates to Six Easy Pieces? Same thing now free? Different lectures? Same lectures but one is abridged?

http://www.basicbooks.com/full-details?isbn=9780465025275
Cool app! Thanks for sharing. I think this is great for an introduction to meditation and to help build a habit.

One difficulty I have with apps like this is that they're not necessarily incentivized to produce good meditation habits. If a user builds a real meditation practice then they're likely not going to want to use an app like this -- they'll probably want to meditate in silence and for much longer than 5 minutes. I'm curious how you think about what the ideal end-game is for each user and if you're concerned about churn? How do you plan to serve users who grow beyond 5 minute meditation?
Unfortunately, most people on the whole territory are still not free from Soviet spell.

Even those who claim to be anti-Soviet express all the same thinking patterns.

WRT the article: The real start-upers bartered western PCs (faxes, etc) for raw materials, quickly got a good capital and were able to start serious enterprises.
You could get a train car of aluminium for a fax machine, since having one was A Thing for late soviet bureaucrats and they had aluminium to spare.

I think Volozh did something like that before he decided to start Yandex.
Everyone I know who has learned Go has encountered this issue. "What's this GOPATH env variable? What should it be set to?" When I personally learned Go this (and how go do/doesn't do vendoring) was the hardest thing to learn. It's strange that it took this long to get this feature out.

Now if they could figure out a way to get go get to work nicely with private repos out of the box without SSH config hacks that'd be great..
Header bidding will begin to cut into Google when it becomes more widespread.

https://adexchanger.com/the-sell-sider/the-strategic-implica...
There are people that are considering these issues, but I'm a bit concerned that I've only read insightful commentary on this issue from urban planners, which aren't going to be the ones creating self driving vehicles and advancing that tech forward. In contrast on the Silicon Valley side, I am disturbed by how many tweets and breezy blog posts I read from people that don't seem to know what Induced Demand is and don't seem to understand how cities work.
do emails get stored?
>Our ads were turned off for almost five weeks - completely and totally their mistake

Who is running your campaigns that they can be disabled for more than a month without anyone noticing?!
Looks like a nice skin on top of the existing PageSpeed tools
I don't see how anyone can monetize user privacy without NYT's permission, with or without HTTPS. All of the monetization methods, ad trackers on NYT pages, browser fingerprinting, malware on your computer, etc works with or without HTTPS.
There’s no reason to be confrontational here; I’m wondering why we refer to some people by their first name rather than they last name. The most obvious reason is when there’s already a famous <last_name> (e.g. "Hillary" vs. "Clinton"), or if you know that person personnally. Wikipedia refers to both Marissa M_a_yer and Larry Page (and everybody) with their last name. Do you have some examples of e.g. press articles where Brin or Page are referred to by their first name?
Because the theoretical "free market" is nothing like what actually happens in practice. The Economist had a great writeup on this a few days ago [1], but the short of it is that Google is the definitive market leader, with almost no one in second place. Moving to a different network is simply accepting that your ads will perform worse.

Additionally, responding to outright fraud by Google with the statement "move elsewhere" is a pretty incredible admission of the power they have. They can abuse their near-monopoly of the market with almost no fear of reprisal.

[1]: http://www.economist.com/blogs/economist-explains/2017/01/ec...

---

EDIT: Just saw your below comment that you were trying to be sarcastic. Ah well, it was apparently lost on me.
Your link somehow got truncated. Here’s the full thing:
https://medium.com/imgly/bringing-wide-color-to-photoeditor-...
How is this news worth upvoting though?
That’s right; thanks!
These days, you can never tell for sure.

Poe's Law strikes again!
The dealer was very specific that they are supplementary sensors.

The only practical solution is probably sensor redundancy. Of course that doesn't mitigate all of the risks.
Absolutely. I really enjoyed the "Why I Built Currently" but it's a bit heavy and overwhelming for someone's first impression of a social network. For some it might even give the wrong impression about the app -- I initially thought there was going to be some tie-in in the app itself to help report sexual abuse.

I think the most appropriate place for this kind of story would be your first blog post because it's more about humanizing you and the developers more than it's about the product itself. However, since it's important to you I don't think there's anything wrong with keeping it on the home page so more people can see it.
CNN based regression approach for estimation of remaining useful life
WTF is an S-1 Filing?
For linear algebra this youtube playlist called essence of linear algebra is probably the best intro I've ever seen. it's relatively short (like 2 hours) but gives you all the right intuitions

https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2x...
Not a counter-point at all, just an aside: consumer windows and NT were fundamentally different software. The "Showstopper! the Breakneck Race to Create Windows NT and the Next Generation at Microsoft" book is a packed guide of what happened at Microsoft at the time and covers the differences. Very interesting read.
No, it is a fact. If you actually spoke to people with depression you would know that.

> Quantifying that nothing in someones life (or their past) is causing them sadness

I didn't say sadness, I said depression. They are not the same.

> This charade

Wow.

I'll give you the benefit of the doubt and assume you've never experienced depression, and don't know anyone with it.

If that should change you'll quickly realize just how mistaken you were, and you'll feel bad for ever saying things like this.

To put it in context: It's like telling someone blind who still has physical eyes "You can see, stop pretending."
> This is entirely the wrong approach. Just don't harvest the data in the first place. Have opt-in measures if you must. That's it. That's what a serious commitment to privacy looks like. Anything else is a serious commitment to get away with harvesting as much data as possible while minimizing PR backlash.

I'm sorry, but it's not economically realistic to demand that companies trying to minimize cost stop all data collection. They're not selling it: they're using it to make their developers work on real problems and improve real features. That's the same as nearly every mobile app. Watch how much your phone sings to mixpanel, kahuna, or google analytics to get a sense of what I mean.

You can raise the price substantially, or you can find ways to make things cheaper. The market is really clear they want the cheaper and are fine with benign telemetry collection. But what's really absurd is that you then decide that doing what a small minority of users are asking for is a PR stunt because it doesn't go far enough in one step.
I'm curious if you've thought thru actual locations for building said city (especially if site is in US). I just finished "Triumph of the City" and it really echoed this.

I definitely think it's possible.

Have you been keeping up with Sidewalk Labs, YC Research and their attempts to reshape cities?

Also, would look at Tom Currier's stuff (although he is no longer actively working on this) https://medium.com/@tomcurrier/build-something-people-want-1...
I think that this is definitely not a tool for everybody, and I think that's alright.

Dan Abramov said it best, when he opened an issue urging to resist the urge to add configuration: https://github.com/jlongster/prettier/issues/40

Configuration has a cost, and the product will be better and more reliable if it's limited. As it stands right now, the configuration isn't ideal for my preferences, but I'm fine with that; either I'll

* use the tool and adopt new patterns (ones which, frankly, have very little impact on anything),
* keep doing this stuff manually (it's gotten me this far!)
* fork the project, and bear the cost of maintaining the updated configuration myself.
> Have large ice sheets in the past forced/caused changes in human behavior

Not human in this example, but they can be devastating to penguin populations:

https://www.theguardian.com/world/2016/feb/13/150000-penguin...
Indeed, and that is precisely my point.

And this applies not just to Google - but also to Apple, Amazon, Facebook, and probably few others, as proven by the amount of such stories popping up on HN in the past few years.
When you say "loss layer" I think you mean output? The notation is a bit mixed up.

Those building blocks are precisely the art (it's both art and engineering) that siavosh is referring to. Everyone is mostly using derivatives of the same basic MNIST architecture of LeCun from 20 years ago ('97), because that's what works (no other justification). With tweaks of course (ReLU, batch norm, etc), also because "they just work."

It's funny you should mention dropout, because that's falling out of favor (fully-connected layers are also falling out of favor). Why? Because in many cases it doesn't seem to be necessary if you do batch norm. That's art and engineering (basically you try with dropout and batch norm, or with just batch norm, and just go with batch norm if no difference).
This is a cool idea. I see people on youtube recording themselves painfully while driving and stuff, and the entire video is just them in the front seat driving. With this, you can rant while doing activities that require your entire visual field (washing dishes, laundry, errands, etc.)

Edit: hellban, post invisible. (content good). classify bad content vs. good content, hellban bad content specifically. possible improvement to an umbrella hellban
I have a Tom Bihn Synapse 25 (https://www.tombihn.com/collections/backpacks/products/synap...). I'm very happy with it. Seems like it will last a lifetime. The pockets are well organized and usable.

Cons: it's expensive.
It's only for vim (ctrl-[ by the way, not ctrl-], but you can map almost any key you want). I don't actually use esc that much in any other applications so for me its not a big deal to use the softkey instead.
Hm... It doesn't return anything for my site. It runs the tests, says 100% done, then returns to the home-screen without an input field.

Anyone else?
In some schools (like mine) we did a geography segment as part of the history class. So same teacher, primarily teaching history.
I've found three things to help motivate myself in endeavors such as this:

1) recognize that if you really want to be good at it, it will take time and consistent, proper work at it (see deliberate practice).

2) maybe you don't have to be the best; you might be able to muster something that is good enough and that would still be of value to others (by definition, if it's good enough).

3) you're doing it for yourself.
They obviously mean it took that long to get a resolve.
At Zenimax: "Hey guys. This whole VR is becoming a real thing and we dismissed it along with this Carmack dude. Lets fill a suit against Zuckerberg for ludicrous amount of money, maybe we can get couple millions for free via settlement."
Companies that deal with sensitive data require not only that you verify your identity, but the customer service rep verify they're talking to you.

They're as much concerned with a CSR accessing accounts inappropriately as they are with a fraudster gaining access to customer accounts. And that CSR verification happens by the CSR typing in your information.
XFS, Reflinks and Deduplication
I don't know why people use redis as an LRU cache. Its a terrible LRU cache. Its eviction algorithm isn't true LRU and does sampling which may cause new keys to get incorrectly convicted. LRU is also really slow being single threaded.
But Windows 10 doesn't collect much more than Apple and Safari do. It collects substantially less than iOS and Android do. And of course, all of this ignores that individual 3rd party software is actually the real culprit (along with websites).
Service workers are the way to go now.
Neat, I had it report on itself..

DESKTOP SPEED 96/100 GOOD
MOBILE SPEED 94/100 GOOD
MOBILE FRIENDLINESS 100/100 GOOD
I suspect there are a few good people in the 33,000 others employed there.
I agree. The definition of death metal is a real hodgepodge. It's sort of like classifying animals as

1. dog
2. cat
3. horse
4. other
That's exactly how Volvo's Drive Me project is supposed to work.

http://www.volvocars.com/intl/about/our-innovation-brands/in...
You could have used AllStar Link or EchoLink to connect to your club's net via the internet or mobile device.

Also, many clubs record their nets and post the archives online. (Mine does.)

[1] https://www.allstarlink.org/
[2] http://echolink.org/
The parent post is not saying anything against adblocking, it says something against copying content to other sites to access it despite the site owner not wanting you to.
>If the touchbar is so amazing, why didn't Apple have the courage to just replace the entire keyboard with one big OLED display?

Obviously this is no argument.

It basically is: If cake is so amazing why don't we eat cake or day?

Cake is indeed amazing to have in moderation, but it's also not the best thing to solely eat. We could thrive on just greens and meet maybe, but we'd do worse with just cake.

Standard alphanumeric keys are used far more often, and people rely on them far more than they do on function keys (common people, the 95% of users, don't use debuggers or vim). Without a great haptic feedback story that actually gives the sense of clicking it would be disaster.

Plus, it would be way costlier, and just give diminishing returns (since most of the time we just want the alphanumeric keys to be just that, whereas function keys already had a double life as controller keys for sound, etc).

Third, even if it was ergonomically perfect and likable, it will obviously be even more power hungry and expensive at this point.
How many of those are attributable to factors that could be mitigated through augmented systems (a cap on how fast a vehicle could travel, collision avoidance systems, HUD's etc) though? Those could probably be implemented much more easily and affordably. To me the appeal of truly autonomous vehicles (in additional to some safety improvements) is being able to reclaim my commute time.