skysight-inc/HackerNews huggingface dataset:
> No it doesn't. You've formalized it incorrectly.

I haven't formalized anything, I just used notational short-hands.

Example goes:

If Debbie and TJ have two sons and two daughters, then they must have at least one son.
Debbie and TJ have two sons and two daughters.
Therefore, Debbie and TJ must have at least one son.

If I substitute string "Debbie and TJ have two sons and two daughters" with "p" and string "they must have at least one son" with "q" and write relation If ... then ... as ... => ... and implied conjunction between two first lines as ( ... , ... ) and substitute string "Therefore" with "so" (for no reason, I just like short syntax) I get what I wrote: (p=>q, p) so q

It's not formalization, it's just string substitution. What I implied later (mainly that the author of the example claims that something tautologically true is fallacy) assumes that we can agree to assign either true or false to the strings denoted by p and q and we use conventional logic.

The only way this could be incorrect is if words in one line of the example are defined to mean something else than exact same words in other line they occur. It's possible but without explicit definition of such bizarre behavior I won't be guessing what author had in mind.

> Doesn't matter

Oh, yes it matters. It's an excellent example of what remained of philosophy when natural philosophers left. Thinking so fuzzy that it lacks not only application but even meaning. Despite that appreciated and cited as a marvelous tool for argumentation.

> affirming the consequent

Much better. But that piece of philosophy was swallowed by math long time ago. Any statement about logic that philosophy can currently make is math, false or semantically fuzzy. You won't be trying to refute many arguments using reasoning of Zeno of Elea nowadays.

> What you're saying is that the simple acts of either formalizing your arguments or precisely defining your premises somehow turns it into math and precludes it from being philosophy. Yet philosophers do exactly that all the time.

Really? Could you point me to works of some, perhaps fairly modern, philosopher that defines what he ponders with accuracy that could be appreciated by a mathematician? But no cargo cult please. Preciseness and some actual meaning is what I'm looking for.
Seriously? The first thing I do when writing python 2 is import the print_function!
As far as I've ever seen, Google have no particular interest in D. Facebook have expressed quite a bit of support, but Google just have a way of doing there own thing (Dart, Go, forking WebKit etc). Another problem with Google is that they're fickle, fragmented, and known for crappy support.

> It seems like C++ programmers openly admit that D is better than C++ in many ways.

Anecdotally, I've not seen this. The vibe I've picked up on over the years seems to be that D is and was always seen as a cleaner, but slightly less powerful, C++ with a lot of potential... but now C++ standardisation has accelerated, there's just much more comfort amongst C++ devs that the language looking forward is good. C++ is almost as old as C and evolving faster than ever. If anything though, Rust seems to be the serious topic of choice atm.
A foreign company has been able to come in and dictate through the courts that the whole industry should work on a completely different model.

Welcome to the world outside the US.
Isn't organic cat litter made from corn?
Python is still, by far, the most friendly language for beginners. The single biggest factor in this is the powerful data structures that Python has, especially lists. As so many others have said, Python is almost "executable pseudocode".

Python remains the language of choice for introducing programming because it is so simple. It isn't fast, and it might not be very well suited for large-scale, long-term use. That's okay.

This appeal to beginners, which the article claims is waning, is the vital force of Python; as long as it is the de facto language for beginners, it will never go the way of Perl.
Rap music isn't synonymous with violence and to suggest so displays an ignorance of the genre.
With all due respect:

Levinson DID backup his security claims by pulling the plug.

Dennis's Law: The very best security controls are practices not
products. :)

I believe the bigger problem is that people no longer know what
security is. We are indoctrinated to think it is tools and technology
if we can only find that elusive 0-day then we can be secure!

The only security is OPSEC - it has always been OPSEC. But the new
kids aboard the money-train of security don't know this. And so we
get developers turning out more and more buggy software, each a
security tool that maybe the elusive magic bullet that will save us
all. It is a Utopian dream that doesn't exist - and that is perfect if
you want to sell snake-oil! (And to be clear: I am not of the opinion that Matasano is one of the security snake-oil salesmen!)

Tools can only be useful if you know what and how to use them? And
how do we know how and what to use them for? OPSEC.

Products fail, tools fail, mistakes can and will be made - what keeps
us safe is not the products, tools and pursuit of perfection: rather it
is our detection, response and adaptation to the change. Again that is
OPSEC.
I think that means the (emulated) machine is filled out to a full 64KiB. In the days of "4K BASIC", and 4KiB memory boards, a full 64KiB would have been impossibly expensive, but BASIC didn't care: The "Bytes Free" was how much room was left in RAM for what program you might care to load or toggle in after the BASIC interpreter had loaded.

Those 4K boards in the original Altair were expensive: $264 kit in 1975 [1].

I do recall the smell of those TTYs: Machine oil, bronze bearings, paper and ink.

Nice to see those 16 Address Bus switches, with the lower 8 switches doubling as data switches for the "Deposit" and "Deposit Next" switch.

edited for reference

[1] http://www.pc-history.org/altair.htm
AFAIK, the most complex board game solved to date is checkers http://en.wikipedia.org/wiki/Chinook_(draughts_player). Chess is also solvable, but researchers are far from solving it yet
but would groups of mostly women be as aggressive as groups of mostly men?

scientists get on this shit or I will come to your house and burn your degrees
Disclosure: I run one of the largest wooden pallet manufacturing companies in the United States. My family has been in this business for 50+ years.

Your perspective on whitewood comes from a 3rd tier perspective (grocery, as you say). In other words your various suppliers buy their pallets from various sources and then ship their product into you on those pallets. You and your (former?) employer are not directly involved in their procurement so you have little say in what you get, and I'm sure the quality varies widely.

That being said whitewood pallets (or just wooden as we would say) are actually a very cost effective and reliable way to ship product in the US, much more so than plastic. There are many quality manufacturers around the entire nation that provide great product and service, much better than your experience seems to suggest. Plastic is expensive to buy, more expensive to lose, and has various other problems and concerns.

To compare a built CHEP pallet with a "whitewood" pallet is a bit misleading however in several directions, especially to come to the conclusion that they are the "good stuff". They are the good stuff in terms of build quality because (by my estimation) they are built roughly 3x as strong as a generic 48x40 (standard GMA pallet.) They also cost upwards of 3x as much to manufacture and the process is no different than the bad quality pallets that you have had experience with. (Estimated GMA is about $10-11 per, CHEP block pallet would be above $30, depending on locale.) Of course they hold up better, they are built to do so. However, the pallet industry has gone from standardization on sizes in the last 20 years (GMA 48x40, Coke pallet 36x36 mentioned below) to being specifically engineered to the load it was made to carry.

TL;DR: There are wooden pallet manufacturers out there that produce a high quality product. CHEP and plastic are both expensive but have their own issues.
I can't wait to see what kind of vehicle Boosted start working on next now they have this done.

Electric bicycles are a good, existing market (especially in Europe), but there are already some good options there and I suspect their prefer something where their R&D is more directly applicable (bicycles are heavier and human power can take a bigger proportion of the propulsion load). OTOH, it might be possible to engineer an add-on solution for existing bikes that would work well.

Electric scooters seems like a good bet. The form factor is similar, and I'd imagine many of the technologies can be directly transplanted. I think a folding electric scooter could be more practical than a longboard for many people.

There are of course more exotic options. The self-balancing electric unicycle (which was on HN the other day) was interesting, and I'd hope there are other things waiting to be invented.

Anyway - I'm very excited about the increased diversity in transport options.
Obviously Mahbod's latest annotations were inappropriate. Based on his past behavior, these recent antics should not come as much of a surprise.

As an aside, it has always amazed me how many people over the years have failed to realize Rap Genius' gimmick is just that, a gimmick. It's their attempt at using an admittedly off-color flavor of comedy to build their brand. Said brand is heavily rooted in rap, which is one of the most politically incorrect and offensive mediums of pop culture in existence today.

It stands to reason that when the Rap Genius founders are in character, their behavior should not be taken literally as a reflection of who they really are.

A good example of this is when they were featured on stage at TechCrunch Disrupt 2013:

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

Most people simply took them literally, became offended, and jumped on the revulsion bandwagon. Others understood that the RG guys were essentially mocking the startup scene and the rap scene at the same time, in effect making fun of themselves.

---

In Mahbod's case specifically, it seemed like he was aiming for humor that went right up to the line but didn't cross it. Unfortunately, comedy is a hit-or-miss endeavor and some of the misses were bound to cross that line. Add to that his medical issues potentially adversely affecting his judgement, and it's no wonder.

Was what he said inappropriate? Absolutely.

Should he have been fired for it? Debatable.

Should we assume he's a terrible human being (as some other comments have implied)? Certainly not.
There’s a perfect storm brewing for SaaS startups in Asia
FastMail, NewsBlur and Amazon Prime video.
> Could a single Python interpreter somehow manage a mixture of 2 and 3 code?

You could write code for a subset of 3 that would be fully functional on 2. There are a number of efforts out there to provide the missing compatibility layer that opened a chasm between Python 2 and 3. My contribution is https://github.com/kislyuk/eight.

Depending on what you're doing, writing code that is compatible with even the easiest combination of versions (2.7 and 3.3) can be unreasonably hard, and the officially recommended migration tools suck. IMO this has to do with a few unfortunate design decisions made back in the 2.x days (most egregiously the ascii default encoding and silent Unicode coercion), combined with an unwillingness to admit that 3.0-3.2 were really bad in not providing a migration path and work on a more comprehensive migration strategy and backports library.
Nah. If I build a bridge using Caterpillar equipment I haven't re-arranged Caterpillar equipment into a bridge, I've just used tools.

Similarly, just because you write code in C# and then send it to code I wrote, which translates it to CIL, that doesn't mean that any of your code is actually an arrangement of my code. Your code just conformed to the required input of my tool (the C# compiler).
Python needs to be revived?

I always thought of Python as being a great utility programming language. It's not really a specialist, more of a jack of all trades.

For example PHP is all about web development. Ruby is probably most well known for Rails and also widely used for web development. Python is widely used for web development, but that's not necessarily the first thing you think of for Python.

What's going to keep any programming language alive is the libraries that become so well entrenched that a competing library would have a serious uphill battle to even come close to matching functionality. Python has a lot of libraries like this for scientific tools.

I'm always skeptical to hear that a developer has moved from X programming language to Go. I wonder how many of these tales are from developers who are actually referring to what they do in their spare time rather than their day jobs. Go is still early enough that doing the sorts of things which create the most jobs is still more painful than it needs to be (and so you would probably be doing these things in a different ecosystem.) It seems that the real Go job generating stories are from start-ups which have hit some momentum, received funding and are rewriting parts of their stack in Go.

The mass job generators are still at the Rails / Django / PHP / JS levels.
The original "idea" itself was itself sarcasm. Your parent was simply underscoring it. You just failed to identify the original sarcasm, and ended up confused and a bit too serious about it all. It's just some obscure humor, no need to get worked up over it :)
Monitoring in what way? There are already plenty of home security systems which can handle video and audio monitoring.
It's worth noting that web advertising is still small potatoes compared to more traditional channels- and the traditional channels make it astonishingly difficult to measure effectiveness. There's an awful lot of money in selling Coca-Cola, and Pinboard & Facebook haven't scratched the surface.
While CHEP definitely has changed the way some retail supply chains work, overall the pallet industry largely works the same as it did before CHEP was on the map. We build upwards of 2mil new manufacture wooden pallets per year and I never run into CHEP as an alternative for the sectors I service.

Source: I run one of the largest pallet manufacturers in the US, 50+ year old family business.
Sorry, but no.

Ok, not everybody is going to kill girls because they rejected you, but almost every man understand at least some of the feelings + frustrations he experienced (especially virgins).

To deny this is to deny the huge elephant in the room - the fact that men do have the primal need for sex, and when it's denied/suppressed, bad things happen as that need goes unfulfilled.
I'd wait until the product is shipping before 100% believing Kickstarter claims.

Yes, it is possible to do everything they claim. To get it into a reliable, shipping product is another matter.

http://howtomakeanelectricskateboard.wordpress.com/ has some intersting reading
Interesting! Nice insights I see in here.
Thanks for submitting, hope you enjoyed the read!
It's also an opportunity to demonstrate that you've done some basic research about the company and what it does, since giving an intelligent answer to the question "why do you want to work at ACorp?" is only possible if you've done that kind of research.
I'm nostalgic for the days of 8 and 16 bit computing but whenever I sit down at my c64 or Amiga now I marvel at how far we've come.

That said, I agree that a simple and constrained environment can be great for learning and creativity. This is one of the reasons I'm currently writing a Logo interpreter reminiscent of ones I used as a kid in the 80's, using an Apple Logo II manual as a guide. Hopefully I can get my almost six year old daughter interested in playing with it!
Unfortunately not. IIRC, any classifier with AUC < 0.5 can be improved by just inverting its output. Real classification quality requires being significantly above 0.5 -- 0.8 is a common threshold.
I just want lights to turn on when I enter the room, and turn off if I'm the last to leave. If Apple can turn the argument from 'control' to presence, then it would be interesting.
For anyone actually interested in implementing DNN's I wrote up a quick blog post (essentially a brain dump) of general guidelines to adhere to when training DNNs. The source for this information is primarily from videos given by Geoffrey Hinton as well as various papers.

http://343hz.com/general-guidelines-for-deep-neural-networks...
The supermarket cashier being fired for picking up change from the floor, now that’s tragic. This? Doesn’t matter.

The starving unemployed father who just lost his job is sad. This? At least the cashier is not going to starve to death with her family.
In theory, the universe will still be expanding in future years when funding might return. What a lame title.
You know, speaking as a dude it's pretty insulting to see you insinuate that I'm some pent up murder machine held in check only so long as I keep my dick wet.
Basecamp (2 accounts, soon to be 3), Base CRM, Google Apps, Lastpass, Instapaper, Google Apps (multiple), Quickbooks Online (multiple), an entirely disposable time billing program that plugs into Quickbooks that I won't name because I don't want to be sued for libel, Evernote, Crashplan. Edit: Feedly.

Some of these will not survive the earthquake.
EC2 California Down
My instances in us-west-1c are unreachable and EC2 status checks report "system reachability check failed at May 26, 2014 5:34:00 PM UTC-7". Anyone else?
I once had a client present me with an NDA which stated that their Intellectual Property included "all knowhow related to the project", and then a few paragraphs later that they had "the right to seize all Intellectual Property" upon termination of the contract.

When I asked if they intended this to include brain surgery, they agreed to amend it to only seizing documents.
Attempting Deep Work
Hi, I'm one of the creators of Metacademy. I hope you find it useful. Feel free to follow our new Twitter account if you'd like low volume updates:

https://twitter.com/meta_learning

Also, you can register an account for an occasional email.

PS) We're completely free and open source: https://github.com/metacademy/metacademy-application
Down for me too (us-west-1b).

AWS Status Update:
5:51 PM PDT We are investigating connectivity issues for EC2 instances and impaired EBS volumes in a single Availability Zone in the US-WEST-1 Region.
The problem is it's a thousand little things not just one big thing.

The real power is that every item can be improved a little with automation. Your dryer starts an hour before you wake up so that your clothes are dry, your underwear is warm and toasty to face that cold winter's day. You can check from the supermarket if there was anything you don't have at home for the cake you're baking. The lights slowly dim to get your brain thinking it's ready for bed. Your lights change colour to make the room feel warmer or colder. The blinds slowly open just before you're supposed to wake up so that you can be woken by light rather than an alarm clock. Your oven begins cooking the roast to work around your schedule. Stopping the microwave from continuing to nuke the popcorn from the other room so you can wait for it to cool without getting up.

None of these are particularly brilliant and maybe you would look at it and ask why spend an extra thousand on a fridge for this? An extra 50 a light-bulb... A few thousand for installation of a base system just to have the privilege. Another 500 for motors for blinds. And each of those is just for one nice hardly noticeable difference in your day.

Maybe the cost for the value doesn't make sense. It won't for a lot of people. Having said that it seems to me that what we're talking about here is automating some of the duties of a butler/body servant type job, at a lower cost than employing one for something that will be in place longer.

I'll also add some good old anecdotal stuff at the end about some of the silly little contraptions I've found in my apartment in Japan and the difference they make. I've got an automatic bath tub push a button and it fills to an appropriate level at a temperature you set. It seems so silly to spend the money to save yourself two minutes of faffing about with taps for something you might do every other week or once a month. But without that two minutes and without the pressure to not let it overflow I have nice relaxing baths much more often because all I need to do is push a button and finish whatever I'm doing before grabbing a book.
There are also remotes for the lights. It's great to walk in the door grab the one remote and walk through the place turning on and off the lights on my way to the lounge to settle down all without having to go slightly off towards one wall or another, this seems small (or ridiculously lazy) but I honestly think I'll spend the money when I move to keep this tiny freedom. Being able to turn the lights on and off from bed and freely rearrange rooms without worrying about light-switches is an added bonus as well as dimming by remote are all great and have made ever day slightly more pleasant. There are a few other contrived convenience around (there are others that I was used to that are missing here though) and I can honestly say that quite a few of them are something that have made necessities slightly easier or enjoyable things more accessible. I'll definitely be hunting out these little conveniences when I've left. So there's my two cents.
My learning has progressed from one area to the next--each person learns differently, and coding can be easy to learn, but like everything else it's difficult to master. I started out on google, pulling snippets/coaxing them to do my will, then I became good at reading docs -- and implementing straight from the docs, for instance in Laravel/Rails apps.

The next big change for me was going beyond the docs to the actual API to do even more customization, and override existing methods. It's a progression from low-level understanding to higher, and whatever gets you there - just don't give up.
This festive map shows seismic hazard in Northern California, where pretty much all the large Internet companies are based, along with a zillion startups. The ones that aren't here have their headquarters in an even deadlier zone up in Cascadia. (...)

So even if you don't agree with my politics, maybe you'll agree with my geology. Let's not build a vast, distributed global network only to put everything in one place!

That slide[1] hits close to home. I'm painfully aware of how hard (and almost pointless/powerless) it is to reason about long-term geological risks, esp compared to less catastrophic and more (short-term) predictable hazards like hurricanes, tornadoes or blizzards; but from time to time I idly question the wisdom, from a civilizational point of view, of having so many concentrated, incredibly talented people living directly atop one of the most dangerous fault regions on earth[2].

But again, it's pointless to think about it as an individual, so better get back to work and keep living day by day, I guess. Wovon man nicht sprechen kann...

[1] https://static.pinboard.in/bt14/bt14.069.jpg

[2] http://peer.berkeley.edu/pdf/Senate_testimonial-8-07.pdf
I don't believe that is accurate. There are plenty of patriarchal societies where women have high status and are not subject to mistreatment or violence, but no political or economic control.
Hoist (http://hoistapps.com/) seems like it might be something up your alley.
I think you need to do the algebra. You can't make a blanket statement like you want to.

You have taken things to an absurd extreme and gotten one result, I can "relax the assumptions" to the opposite extreme and get the opposite result:

Suppose the goalie only blocks 10% of shots when guessing correctly, and the kicker makes 80% to the strong side and 50% to the weak side. In this model it is obviously better to always kick to the strong side.