skysight-inc/HackerNews huggingface dataset:
> Dapper

This is all I use now, it's fast and lightweight, works with MSSQL and MySQL and I'm not averse to getting down and dirty with dynamic objects instead of having to define POCO's upfront. It's a hugely productive tool for me. I also don't mind writing raw SQL statements and I don't need to worry about having to abstract away the DB because these apps are targeted for specific DB products.

Before Dapper when I went in search of ORM's for .NET I tried NHibernate, but too much config ceremony. Then I had a short dalliance with LINQ to SQL, it wasn't terrible, but it was a bit of a pain to work with legacy DB stuff, same with backing in new table columns/changes (sure I could edit the .dbml files directly then regen the .designer.cs, but meh).

I had a look at EF 4.x but at the time its support for enums was non-existent (it took until 5.0's release in 2012) and that was a deal breaker. It was also just too much of a monster and got in the way, and I found myself more often tha not executing SQL directly via the data context.

So yes, Dapper, thank you Mark Gravell, Sam Saffron and Nick Craver for with wonderful tool.
Penn and Teller have a show called FOOL US where sometimes they say they have no idea how the person did it!
"Their new profitability gives me some measure of confidence"

"Profitability" can mean whatever you want it to mean at a given moment. In this particular case it's closer than a lot of measures, but it's still a non-GAAP profit. In general these sort of startup announcements are marketing materials.

Every company I've been at has declared themselves "profitable" -- the devil is in the details of what you choose to ignore.
Learning Automata with Side-Effects
Damn, I read this "earlier than 1.9". Sorry.
Aha makes sense. Where do I sign up for updates? :-)
I wish TS would consider the annotation-in-comments form from flow: https://flow.org/blog/2015/02/20/Flow-Comments/

For switching a large existing JS codebase, it's easy to add flow comments without changing the final minified builds, allowing you to reap the full benefits of the type check.
Microservices: a Language-based Approach
> FWIW, the beta version did manage to update to final 2.0

That's great. So hope the updates are now more stable.
Be careful using S3 for lots of small writes. The price is utterly dominated by the PUT calls which cost $0.01/1000.
just another, not sure if it will help.
san jose international - home start, date 2017/05/02

berlin,3 days

boston, 3 days

shanghai, 3 days

http://imgur.com/dcLXmlr

I've booked marked it. Cool site.
And if you stick with a moving image of some sort, pick something that loops better. The reset on this one is a little jarring.
I really don't get why ebooks are so pricy. If they were half the price of a book, I would actually consider buying them instead of borrowing them or only using Amazon Prime's free offerings.
Nicely thorough. Wow.
It's written in Ada, if memory serves. ;-)
>Given that Calvin's stated and recorded views run precisely counter to those ideas, it would require some pretty significant mental contortions to characterize anyone with those views as "Calvinist".

So, just like being pro-war, racist, etc, but considering oneself a good Christian?

>but if one wishes to speak credibly about such things, getting some basic facts correct should be among the prerequisites.

"What Calvin wrote" and "what calvinists believe" are two almost orthogonal topics. Even more so "what calvinists practice in real life".

Moreover you won't find many scholars that disagree with regards to whether calvinism had an influence on seeing wealthy as "good", e.g:

http://www.ucdenver.edu/faculty-staff/bgoodric/Pages/Protest...

"Now, it's rather natural, if one is a Calvinist, to be constantly looking for any little indications that God does approve of oneself, that God has predestined one to be redeemed, that one is "of the elect" of God. And how might God give any promising little hints? Well, material success is one way. If one has a successful business, God seems to be smiling on one! And as for those poor destitute farmers who just lost everything they owned due to a drought, well, God is all-powerful, and must have decided that they should suffer. And who are we miserable sinners to disagree, and thwart the plans of God?

Thus, the Calvinist develops a European version of India's infamous caste system. In ancient India, foreign conquerors solidified their conquest by imposing a religion on the populace. According to this religion, there were set classes or castes of people, and anyone born into the poor castes must have done something in a previous life to deserve such punishment. Similarly, the Calvinist attributes prosperity and poverty to the mysterious workings of God. (Notice that in both cases these beliefs serve to legitimize whatever the status quo power is. The wealthy and powerful, whether in ancient India or in post-Renaissance Switzerland or 18th century Scotland, are presented as justifiably wealthy. And the poor or "untouchable" are dismissed as unworthy of any better treatment. These are classic examples of ideology.)

Dickens captured exactly this peculiar combination of self-punishment, self-righteousness, and misanthropy in his character Scrooge. Scrooge isn't a simple hoarder. Scrooge's avarice is a result of his secularized "Calvinist work ethic.""
I have a few people in my life who have been giving me advice. I've been given mostly minor resume changes, and then "you should find something soon". Most people I've gotten advice from sympathize because it is difficult getting the first job - but also tell me they are shocked that I haven't found anything yet. I'm always trying to change what I'm doing if it can help.
The only analysis I see in the original comment is what determines price, and the answer truly is supply and demand. I may be interesting to look at why the supply and the demand are what they are, but that seems to be outside of the scope of this discussion.

From a practical perspective, I'm not sure further analysis is necessary either. Price, as determined by basic supply and demand principles, is a useful signalling mechanism even without understanding the underlying reasons.
Anyone want the over over/under on how long it takes for United Airlines to sue this guy?
That was real! I mean he wasn't really angry but he really did have his mind blown.

The backstory is that the magician in question (Kostya Kimlat) did a trick that Penn & Teller also do, and he did it more or less the same way they do it - except that at the end, at the part where P&T do the sleights that make the trick work, in Kimlat's version the effect was already done because he'd done a different sleight, earlier, about five inches under P&T's noses. It was pretty glorious.

The trick: https://www.youtube.com/watch?v=SCFXV6o7cro

Penn talking about it: https://www.youtube.com/watch?v=MuKail7Jwwg
Agree 95%. On the Linux side, it can sometimes be a little tricky keeping it working. e.g. I recently lost my taskbar icon in Lubuntu after a Dropbox upgrade. I contacted support and was told they don't support Lubuntu. Perhaps understandable that they can't support all the various flavours of Linux but less than ideal for me. The various forums, Stackoverflows, etc are filled with similar issues with varying degrees of success. I'm a Dropbox for Business subscriber so did expect a little more of a thoughtful answer. Again, 95% agree...
Oregon Man Fined $500 for Study Showing Yellow Stoplights Are Too Short
As far as I remember the story was regarding a fairly specific segment of Bayou Carencro where the creature was said to have drowned, and is where the fossils were found. That makes it a bit more compelling than some Mastodon being unearthed in the general region.
Not much to see? If you like ARM, AArch64 VPSes are very exciting!
A smaller less featured one, but very useful nonetheless. (Specifically, sledgehammer is superior as a checker and automated proof library check is also invaluable in simplification.)

Technically, Why3 (intermediate language and prover manager used in SPARK for verification) can interface with Isabelle too. I should try it out.

More edit: someone has done it, called HOL-SPARK. Excellent.
[Disclaimer: I used to work at Dropbox.]

Dropbox has exabytes of data. I'd be very surprised if SpiderOak is storing more than a few PB. Perhaps some SpiderOak folks would care to correct me on this though?
Verizon's 2017 Data Breach Investigations Report
I don't mean to be controversial here, but I really don't think so. If you're a quality engineer, you should stay away from Magento at all cost. I recently tried to download M2 and take it for a spin. It's very apparent they haven't learned. As an example, Magento still requires flock as a form of application-level locking (ie: the locking semantics of the application depend on a file-system behavior that is often unavailable on network filesystems). The filesystem must be writable for Magento to work at all. The engineering team completely ignores the realities of running Magento on a multi-node setup, or in a cloud environment. Not that a 12-factor app is the end-all specification, but it seems like the engineering team doesn't even understand the challenges of running in a cloud environment at all. This is very discouraging to me. In the beginning, I had very high hopes for Magento and I devoted thousands of hours and dozens of modules back to the community. Sad.
Interesting. Thanks for the heads up. I've had the 8.99 offering for a while now and haven't had any issues... yet.
Okay, yes, echo your experience with Waze, that's really my experience, I can't keep my eyes off of it either. Yesterday I was on I-495 before merging onto Van Wyck, freakin' SUV driver made an abrupt left turn on the left-most lane, and then right turn back to cut one car off for no damn reason. He almost caused a collision with me and six other cars, freakin' driver (the car in front of me was trying to switch lane so we were constantly braking).
Md slides day? Nice to see another option. I use Keynote/Powerpoint only if I absolutely have to nowadays (collaboration). The simplicity of plain text -> slides really speaks to me.

Here's another: https://remarkjs.com/

There are even commercial apps, such as Deckset (macOS).
There is a pretty great comparison of major VPS providers that looks at the networks. Scaleways network wasn't great but very tolerable.

https://www.webstack.de/blog/e/cloud-hosting-provider-compar...
A Denial of Service vulnerability is a security vulnerability no matter the cause. That COULD be an attacker, but it could also be that your code runs too slowly or the UI is too hard to learn.
The Importance of the Emotionally Fit Founder
I agree. Getting competent in another language/framework isn't difficult -- I've done it more times than I can count. I agree having a few different perspectives is good; learn a functional language, learn assembly, etc.

I'm not dismissing problem solving, organization, logic, etc. But you can't dismiss the practical details like what APIs exist, what bugs they have, how do you call them, language features, platform differences, XML configuration file of the week, etc. You can only hold so much of that in your mind at once. And having that is what gives you productivity.
“Cloud server” means both bare metal and VPS at Scaleway.
I think there's a heavy dose of press release to what Google is saying. Most people wouldn't call PR puff "lying", but only because standards are low.

I don't think Google has fundamentally different deep-learning technology than everyone else. In fact, TensorFlow indicates that they have the same kind of deep-learning technology as everyone else and they just want to do it more cleanly.

Deep learning is parameter optimization. There are more parameters now, and they optimize more things, but don't get caught up in wild visions of machines designing themselves. Would you consider the bzip2 algorithm to be "self-directed learning"? What's the difference, besides the number of parameters?

The PR people, when they say "blank slate", are discounting all the programming that went into the system because it sounds more impressive that way. This is unfortunate. It has happened in AI for decades. To be a responsible consumer of AI press releases, you need to understand this.
Asking this question without disqualifying the answer "No breaking changes whatsoever" usually just generates a bunch of different ways of phrasing that.
In the article the language you should use is made clear.
Yeah, when I was working at Burroughs in 1980, they were doing printer drivers and a distributed OS prototype in their version of Pascal. Problem was, everyone needed to beef up Pascal in their own way to make it industrial level.
> interviews just don't cut it, too much potential to lie.

That, and, an interview is a handful of hours at most. There's no way to really evaluate a culture in that amount of time, even if nobody is hiding anything. The real problems, the frustrating politics, etc only become apparent after you've been "in it" a while I think.
How 'Cities: Skylines' new transit expansion connects to mod community
Honestly, Saunders MacLane's book, "Categories for the Working Mathematician", was very useful for this non-mathematician. It was surprisingly accessible if I started at the introduction and did not move forward until I grokked the content.

I won't pretend I absorbed all (or even most) of it, but I at least understand the "Standard Haskell Joke" now (which is a funny misquote from his book)[1][2]. I also understand much more clearly why Haskell is so associated with Category Theory.

[1]: "A monad is just a monoid in the category of endofunctors, what's the problem?"

[2]: What MacLane actually wrote is:

All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.
Mac still doesn't come with python 3 out of the box, so if i want to distribute a script to people without requiring them to install anything else, python 2 is my only option.
As you've encountered, they count shared folders towards the quota of every single user with access. This multiple charging for the same data was one of the reasons I stopped using Dropbox.
> Bodybuilding is an aesthetic competition, not an Olympic sport.

I personally agree with you but it's a controversial topic: https://en.m.wikipedia.org/wiki/Bodybuilding#Olympic_sport_d...
> I think that things would be better if everyone saw life as a game rather than a race to the finish line.

Does it matter what history thinks?
I have nearly pulled out of Dropbox by now. The fact that people send me Dropbox links is it's only reason to stay. I find it very convenient to use as a download manager.

My reason to drop it is that I want my data out of the US for privacy. Our local (german) companies can provide the cloud basics by now.
Homeowner: There's a hole in my house where the back door should be.

Builder: Just hire security guards until you sell the house.
The Way to Design
Drew's statement that Dropbox is the fastest SaaS company to $1B in annual revenue is either wrong or basically tied. Salesforce.com did it in just over 9 years, and it has been almost 10 years since Dropbox was founded.
Adding to that, if you like card tricks (magic?) you should check out the movie Ricky Jay and his 52 Assistants. It's on Youtube, and is one of the most mind-blowing bits of slight-of-hand I have ever seen. It helps that Ricky Jay is also a stupendous performer, and very well versed in the history of card tricks.

I think I first heard of the movie from someone here on HN, and I have shared it with all my friends, who all agree it is amazing. Even people who have no (initial) interest in magic are captivated.
I can't find a technical reason, but at least it is a way not to give in to Intel's monopoly on CPUs.
You said that the AIs would be able to "communicate and interact" much faster than humans. If they can't think much faster than humans, then they can't communicate and interact (meaningfully) much faster than humans.
Ed: Make that 5/4 * 16.5x or 20.6 However, again it becomes more than 1 CO2 by weight because the 2 O's in CO2 make up a larger fraction of total weight than 4 H's.
Small computers are built by companies that used to make light bulbs and toasters and other hardware that you sell and forget about. They try to do the same with software that is connected to the net.
Preliminary PostgreSQL 10 release notes
Spacecraft survives unprecedented trip between Saturn, rings
Man do I miss native desktop apps. This is so well done!

Something like this could be a Guitar Pro killer if it had support for writing a score/tablature. Imagine being able to commit changes to a score and have your bandmates pull it down and review, add to it, etc... it could really change the way we write music, especially in a world where you don't have to be in the same room to record an album together.
It seems that where companies are outsourcing jobs with a 'gig economy' model, they know these jobs will be automated in the near future and want to be able to easily replace humans with computers. Amazon has the same setup with delivery drivers here in the UK. If they expected these jobs to be long term, they would invest in them in-house.
TypeScript allows for JSDoc Comments for types in .js files with `--allowJs`. you do not need to change your code for that.

See https://github.com/Microsoft/TypeScript/wiki/JSDoc-support-i...
> Expansiveness in that Three Body Triology takes place over a large period of time (billions of years), and the fact that it takes place over such a large space (Earth, Trisolaris, outer planets, etc).

I'm talking solely about the first one, I only read that (and probably wouldn't have bothered finishing it if it hadn't been for the Hugo). There's no large time range that I remember, very little happening anywhere other than Earth, and nothing of philosophical interest that I saw.

> When you say "slow and boring", I say "subtle build" to the final realization of what Paul has done and how his realization has proved the "dust" theory.

I found it just took too long to get around to a "reveal" that was already obvious. And the conclusion of part 2 doesn't really engage properly with the dust theory; if anything the humans' inability to modify the machines the ants' universe is running on undermines it, because under their physics that action would make perfect sense. The ants' reality "wins" by pure authorial fiat; you could - and should, it would be interesting - make an argument for why it should based on kolgomorov complexity or some such, but Egan neglects to.
It is possible to simplify the interface by reducing the number of tools without necessarily removing functionality.

The idea is to identify large sets of tools that can be replaced with a handful of powerful combinable tools to perform the same tasks - this is not always easy but if done well can end up not only simplifying UI but providing more powerful, intuitive tools and reducing unnecessary learning.

I think Modo has done this fairly well in this regard for 3D modelling and animation (programs which tend to be notoriously full of thousands of discrete tools).

This is not limited to DAWs. 3D animation packages, photo editing and video editing packages all historically have this problem... They grow these discrete tools to a large number, it increases the UI complexity, inevitably resulting in tons of stuff hidden under context menus and usually heavily resorting to mode based interfaces.

I had hoped this concept would become popular so that things like Photoshop and Illustrator could be simplified.
A free and open internet, threatens only those who do not support free and open speech.

I cannot conceive of any other tiered relationship between international interests and the sovereign interests of citizens

We placed these rules upon our infrastructure, not as a limit to power, but as a safeguard to freedom

Down with the bloody big head!
Work Spaces Around the World
I had this as well. The home airport was London Gatwick, and the other entries were Bangkok, Khon Kaen, and Singapore.

It seemed to me that it couldn't find a route from London to Khon Kaen (Khon Kaen isn't an international airport), but interpreted that as a zero cost flight. The route it gave me was Gatwick -> Khon Kaen -> Bangkok -> Singapore and the cost for the whole thing was a fraction of what it should have been.

The way to make that route work, by the way, is to go Gatwick -> Bangkok -> Khon Kaen -> Bangkok -> Singapore (or throw Chiang Mai or Hat Yai into the mix). You can only reach Khon Kaen by air through internal flights in Thailand.
It seems like making your platform easy to run in the cloud is kind of important these days.

I used Magento for a store several years ago, but dropped it after running into problem after problem. Looks like it's still not time to come back.
Hi Alex (I have an email from you that I have to respond to)! TS guy here. We've had discussions around this and the reason we use our own AST format is for compilation speed and editing scenarios, both of which our team really focuses on.

I'll also note that incredible folks like James Henry have already written tools to convert TypeScript ASTs to the ESTree format[1]. I've heard it's been working well for using ESLint on TypeScript code.

[1]: https://github.com/eslint/typescript-eslint-parser
The developer has a song named "Winter Sun". As a fellow Wintersun fan, I was excited too, but then realized it was not the same.
As I read the article I remembered that I would rather read a magazine article online --- an ezine? --- than flip through a real magazine. The same goes for newspapers. And I remembered I would much rather look up a function in an online reference than a thick, heavy book. I would rather get my mail electronically. But I would rather read a novel in paperback.
it means if your target is 3.5 those are the only features that need to be compiled to another form; the lower ones already work
Angular 2 to Angular 4 is not a good example of getting comfortable using something then the next version coming out. They are the same framework and it is trivial to upgrade Angular 2 to Angular 4. "Updating to 4 is as easy as updating your Angular dependencies to the latest version, and double checking if you want animations. This will work for most use cases." from https://angularjs.blogspot.com/2017/03/angular-400-now-avail...

Angular 1 to Angular 2/4 is a valid argument though.
Restricted shares // RSUs are real shares, as long as they have vested. Restricted refers to the fact that they need to vest, as well as some other terms typically attached, like transfer restrictions.
It's apparently supported (so says zfsonlinux.org) but I wouldn't use it for anything you care about without ECC ram -- I'm willing to bet these have cheapo controllers which don't support that though..
It was actually an engineering error. The software in question was designed for Ariane 4, and the condition that happened in Ariane 5 could not occur. But a shortcut was taken, and the suitability of the software was not reassessed. Then Ada's exception mechanism was pulled into play when it never should have been given the requirements of the Ariane 4.
Please read the comments above about the various uses of Kobble. Gists are for public use and sharing. Private repos are coming very soon for other use cases.
Wal-Mart's Tech Incubator Hires Co-Founder of Rent the Runway
The typical solution would be to have a longer-term contract. I don't think Jeep in the example is going month to month; for something like this I'd expect a large enterprise to be looking at years-long contracts (around the lifetime of the product in question, actually).
​Google's Sergey Brin secretly building blimp at NASA, say reports