skysight-inc/HackerNews huggingface dataset:
Unsurprisingly this is carried on many major websites. I wonder whether one of these will be submitted and win the popularity vote, or whether it will be one not listed here ...

https://www.ft.com/content/14166898-8b8d-11e7-9084-d0c17942b...

http://money.cnn.com/2017/08/27/technology/new-uber-ceo/

https://techcrunch.com/2017/08/27/breaking-uber-has-selected...

https://www.theverge.com/2017/8/27/16162344/uber-new-ceo-dar...

http://abcnews.go.com/Technology/wireStory/ap-sources-expedi...

http://uk.businessinsider.com/who-is-dara-khosrowshahi-ubers...

https://www.cnbc.com/2017/08/27/new-uber-ceo.html

http://www.marketwatch.com/story/uber-said-to-pick-expedias-...

http://www.hindustantimes.com/business-news/silicon-valley-o...

http://www.chicagotribune.com/bluesky/technology/ct-uber-ceo...

https://www.wsj.com/articles/uber-selects-expedia-ceo-dara-k...

https://www.buzzfeed.com/ryanmac/uber-names-expedia-ceo-dara...

https://arstechnica.com/tech-policy/2017/08/uber-board-picks...

https://www.bloomberg.com/news/articles/2017-08-28/uber-is-s...

https://qz.com/1063293/ubers-board-selects-expedias-dara-kho...

http://www.ndtv.com/world-news/ubers-chooses-a-surprising-ne...

http://economictimes.indiatimes.com/small-biz/startups/uber-...

http://www.npr.org/sections/thetwo-way/2017/08/27/546621735/...

https://www.nytimes.com/2017/08/27/technology/uber-ceo-searc...

https://www.reuters.com/article/us-uber-ceo-idUSKCN1B70PD

https://www.forbes.com/sites/miguelhelft/2017/08/27/uber-nam...

https://www.theguardian.com/technology/2017/aug/27/former-ge...

http://www.telegraph.co.uk/technology/2017/08/28/uber-board-...
Looks promising, doesn't work for me on mobile but I'll check out the desktop version later. Thanks for the link.
The A2S is not worth a 50% price increase for most users, but if you really want more output (in the form of a bigger hotspot, probably not more intensity or throw distance), it's only $10 extra.
I think time is spent trying to map Logic to English because its our more familiar framework for thinking through logical problems. We do it everyday when problem-solving and weighing options, so its only natural that we want a way to make the abstractions of formal Logic into a concrete 'cause and effect' type of explanation via language.

That being said, I agree that one needs to try and resit this urge, otherwise you won't get past the barrier that material implication presents. It really just doesn't make sense at first, and not for a long time of playing with it and using it within larger statements does one start to sus-out some kind of concrete mechanical meaning for its behavior.
IMO that's a bad trade-off. You're going to be using your personal computer more than the time you spend switching computers. In that case it makes sense to customize your set up to fit you. How often do you get a new computer?
That would only be the case if those tools did the same thing
Interesting, how can space x invent several
new rockets for a few billion while a jet takes 10x more?
Welcome to this VR cycle's Trough of Disillusionment. I'm looking forward to the coming Slope of Enlightenment.

VR is not going to immediately obsolete your smartphone, computer monitor, TV and car. But, it is a wonderful new option for a great many things. It's not ready for daily use by hundreds of millions of people today. But, it is getting better pretty fast. Give it time (and a lot more investment). When it is ready, I expect to see a lot of people immersed in new worlds with new interfaces and new opportunities reporting back "Well, yeah I use a VR interface at work. It's OK, I guess. I wish they'd fix this one feature..."
>Can get fully working copies on Setapp for a really low monthly price.

Yes, but will Ulysses remain on Setapp now that they're doing their own subscription thing?
When you count IBM mainframe Unix vendors like Amdahl UTS, Interactive Systems (ISC) VM/IX, Locus Computing AIX/370, etc, Unix virtualisation (under VM) actually dates back to the 1980s, with the earliest iterations of it reaching back into 1970s (early versions of Amdahl UTS c. 1979 and earlier work done at Princeton to port Unix to VM/370 c. 1975-1976). So Cray doing Unix virtualisation in the 1990s wasn't from that perspective particularly novel. Pretty much continuously from the late 1970s through to today, there has been some variant of Unix running under VM somewhere.
Software development and screen readers at 450 words per minute
what have you switch to?
This is truly remarkable, what an intersting perspective on the craft
Tempat Daftar Dan Login Ahliqq – Agen Domino QQ – QQPoker99
case law is generally not as relevant in Europe as it is in the US.
They should have put a macroassembler in front - you upload the LDAs and STAs and get the execution back :)
Rodnay Zacks would be proud!
> Valve needs an organisational restructuring

There's nothing to restructure.
How comfortable are people with subscription pricing for a Mac App? I've been seeing a lot of them are going that way.

To give a developers perspective, I have been contemplating to implement subscription based model into my app to make it more sustainable. Putting in time for development and as well as marketing (to always get more users) is frustrating.
I loved Paul Tomassi's Logic. If like me you find all the symbols intimidating and fear that you're not mathematically-minded, try it. It's like the iPhone for learning logic. Everything is clearly explained and explained to an extremely accessible degree. It's such a shame that the author died very early, I'll never see it updated or revised.

https://www.amazon.co.uk/Logic-Paul-Tomassi/dp/0415166969/re...
I like the idea of accessible code. It seems the next level after testable code.

Code with a lot of mockable dependencies is usually considered testable but sometimes it's a pain to setup.

Accessible code seems to fix this. Instead of taking dependencies, return some data so it's easy to check what your component does in isolation.
This is a really nifty little library you have here. I think it has a really good use case, and there aren't a lot of good looking options in this arena. You mention an API, but this appears to be only a desktop (Electron) application. There is some good potential here
Oxford Dictionary disagrees with Merriam-Webster:

https://en.oxforddictionaries.com/definition/octopus
You mean clicks or actual conversions?
FDR4 – A CSP refinement checker
Great collection. My favourite editor for notes/code is Quiver. It does Markdown, WYSIWIG, code (via ACE editor), MathJax and even markup for diagrams. It has a cell based approach so you can mix and match different sections if you don't want everything as one big Markdown block. The only downside is that there is no iOS editor, only viewer.

http://happenapps.com
A few of the budget brands like Convoy, Eagle Eye, and Maxtoch have official Aliexpress stores. I'm not sure about linking Aliexpress here, as the filter might think I sold my account to a spambot, but their store IDs are:

* Convoy: 330416

* Eagle Eye: 1735126

* Maxtoch: 314381

All three make good stuff that has been popular with flashlight geeks. Convoys with "new firmware" or "Biscotti" have an open source firmware: http://bazaar.launchpad.net/~toykeeper/flashlight-firmware/t...
> died from flying too close to terrain

Is that a euphemism for crashing into the ground?
Seems good but a bit non-remarkable
Angular CLI, Angular 4 and Wijmo's FlexSheet
Haha, at least they are not flashing around and popping up into the viewport. Someone's gotta keep the lights on, right? ;-)
Chromium is mostly outdated since none of the Void maintainers really uses it and want to maintain it.
I think Jupyter has the right idea here with various kinds of repr-alternatives that can render html or images directly into the notebook. http://ipython.readthedocs.io/en/stable/config/integrating.h...
There are several browser extensions available which activate the links. E.g. https://chrome.google.com/webstore/detail/text-link/ikfmghnm...
Can't say I agree. They upsell heavily, but it's not that confusing to navigate and avoid the extras.
Doesn't that lead to a huge amount of salt getting in your soil?
Best sports streaming sites
Just to keep things in perspective, all I'm saying is that "the ability to write multiplication naturally" comes at a cost. I'm aware of Haskell/ML-like syntax for curried functions, but it is at odds with juxtaposition for multiplication.

I'm speaking from the position of having tried designing languages with these features and not being able to find a way to make everything consistent.

> And mathematics definitely has functions that return functions

Recall, I said "tends not to". My point was that the notation of mathematics is set up to prefer the case of functions returning values.

> Not sure if you mean existential quantification or just the number 3 in '3f(x)'

I meant 3f(x) to mean 3*f(x). I believe you'd want to be able to write 3f(x) since you should be able to have the "ability to write multiplication naturally," in your words.

> sin can't take cos as an argument

But sin can be represented as a power series and cos can be substituted in with cos^n meaning iterating cos n times. This may or may not be reasonable; I don't think it is "obvious."
Only if you're American and, honestly, after the shit the American electorate just pulled by electing Trump, you're on your own sorting this shit out. Come back to the world when you've worked out how to behave and not elect dangerous morons.
Forgive me for my ignorance, but why do I need my flashlight to have open firmware?
A badly written, badly argued, and boringly long article that boils down to "I don't like VR, I lack the imagination to come up with any use-case besides (western) consumer entertainment, so it is useless and therefore dead."

No mention of Hololens, which is unfortunate - and shows how poorly researched this verbal diarrhea actually is.
Uber story is interesting: it's a fall of an American business not due to underlying business reasons, but due to politics and the board virtue signaling to the customer base. More similar cases to come, until the entire economy folds in 25-30 years (I budgeted ~5-7 downvotes on this: to me these downvotes only confirm the new growing anti business virtue signaling "consensus" that is toppling down the economy)
> It's an illusion of meaning.

Sure, but to be fair, so is everything else.
> Except the don't as they recently pulled their only electric vehicle (B-Class) and haven't exactly shown any interest in pursuing this technology in cars.

The e-Smart is quite successful as a car sharing platform. But yes, there are forces inside Daimler that actively work against the E-mobility efforts of other parts of the company.

> The state of affairs when it comes to electric cars in car country Germany is a very sad one.

Yes; for some strange reason[0], no money goes to advancing generic charging infrastructure, but instead to research projects benefiting individual OEMs.

[0] OK, it's plain corruption
App cost calculator
"Smart" cars are made for congested, with very little space to park European cities...
Colloquy is free, too.

http://colloquy.info/

Pretty much abandonware now, but still completely functional.
"Who owns the future" is an interesting book that talks at length about a possible solution of a data-driven economy.

It's definitely worth the read and something we're working towards with our latest project[0].

[0] https://synapse.ai/
> Aerobatics rely on senses and no instruments.

But I bet you check the airspeed and altitude before doing any maneuvers that'll take you near the ground. I've seen the videos of pilots at airshows pulling out of a dive and having not quite enough altitude to do it.

Also, stall recovery is well known to be something that runs counter to every natural instinct a person has.
I'm not sure yet -- still using the non-subscription/non-Cloud 1password. I probably have it easier than most, as I don't like the browser plugins and 1password-mini, and I just use 1password as a store for passwords -- I open it, search, and paste when I need to.

So I can just go to using an encrypted DMG + plain text if push comes to shove.

I used Wallet by Acrylic before 1password, so I might return to that.
Freedom.

On the other hand, in many states it is banned and illegal to sign a waiver stating you understand the risks, then buy and consume unpasteurized milk.
Super Hero Kids School Bus Driver
The summer vacations are finally over and you’re arranging to get back to work as Super Hero Kids School Bus Driver. The kids are waiting for their favorite school bus driver to transport them to school on time. Drive along some crazy paths while making sure the super hero kid’s gets entertain and you drop school safely
It is a topic that fascinates me. Would you have a more extensive read list to recommend (graduate textbook level)?

Note: Without decapitating rats, if possible...
That's a really great idea! Thanks for the tip.
`Uses Electron because I have to (hello Facebook?)`

Do you really think React native for macOS is coming?
> For me, with the stupidly high electricity prices in Australia (some of the highest in the world) at that point it would save me money in 3-5 years, and I am not the only one thinking like this.

It's so ludicrous that Australia has highest electricity prices in the world, when you could be profiting from so much free sun and wind power... Unfortunately, politicians are owned by the fossil fuel industry and they're destroying the Great Barrier Reef to keep burning coal... Ridiculous!
How do you deal with the spam issue?
> They're probably the only commonly encountered BE systems today.

Freescale's embedded PowerPC (e500 et. al) controllers are used in automotive powertrain ECUs (those that do not use TriCore), though it's debatable whether this counts as common.
VR: still rubbish. Not rocket science.
What's in your bug out bag?
I'm interested to see how useful Java's REPL is going to be. Like you I will use a JUnit test, or maybe a standalone class with a main method, to test a small bit of code. With Eclipse's debug support I don't feel the need for a REPL.
I really hate to see HN's general attitude towards ads. As another poster said, ads are a shitty system and its abused, but it really is the only way some people can provide free content.

When I started my first tech blog back in 2009, I was 18yo, living in Nepal. I had no means whatsoever to make money online but it was super easy to setup adsense account and in no time I was generating some revenue.

I agree, the ad system is broken, but this is not a solution. This tool will do nothing but harm publishers, possibly get their adsense account banned for click fraud, and eventually cause them to shut down their website.

Ad industry is huge and there ought to be better way to fix the problems than straight out blocking the ads, or tools like these which gets so much kudos on HN that it makes me sick. It is the same bunch of crowd who call themselves entrepreneurs and then they cheer for anti-entrepreneur tools like these.

The ugly fact is we don't have a better system in place than what we have now, and tools like these don't make the situation any better.
Do you know the brainchild of Google?
He said with permission, which overrides any license.
It's technically challenging; 1:1 calls can use WebRTC without a server (after 'signaling'), whereas a good experience with a group call usually requires a server to mix audio and video. It's difficult to do that when it's encrypted.

The only group I'm aware of that are taking a serious look at it is the Matrix team. If you see it anywhere, it'll likely be on that protocol first.
I will begrudgingly subscribe if the app is good enough, but vastly prefer purchasing software and paying for new versions/pro features.

"Good" is a high bar... If an app costs $5/m, it has to convince me I'll see $300 in value over 5 years.
we use WordPress and a plugin called wp knowledgebase. fits the purpose and its free.
Don't underestimate how large of a market the amusement industry is.

> United States: Nearly 30,000 attractions (theme and amusement parks, attractions, water parks, family entertainment centers, zoos, aquariums, science centers, museums, and resorts) produced a total nationwide economic impact of $219 billion in 2011.

(The figures there are a couple years outdated. Last few years have seen record numbers.)

http://www.iaapa.org/resources/by-park-type/amusement-parks-...

The video game industry is barely half that: https://www.cnbc.com/2017/02/15/digital-games-market-to-see-...

If investors want to keep blowing money trying to force tech into the home, so be it.

Ninja edit: Not trying to say you're wrong by any means though. The amount of money being thrown at putting VR into the home is insane and in my opinion just outright stupid. Way better to spend that same money in an industry that's already accepting of the same tech.
Not sure what the OP meant, as I'm an European who does all of his traveling through Booking.com and as such I've encountered both situations, I'd say in equal measure: i.e. I've either paid the booking up-front or I've paid it after the stay was over (at check-out). I slightly prefer to pay at check-out, but that is in no way a stopping point for me when shopping for accommodation.

What Booking.com is really excellent for is that it just works and that it takes away a lot of the stress when traveling. Just by filtering on 8+ -rated reviews and by your desired nightly pay and you're sure to get what you want, no hidden gotchas, no anything.
It's too bad so many people look at personality instead of focusing on the ideas. I try to watch myself, and if I catch myself focusing on personality, try to switch back to focusing on the ideas.
Also waves come grouped in series of 3-10 (at least in the Atlantic Ocean) so the strategy is usually not to panic (easy to say) and wait for a small calm moment
Maybe it's just that people only remember the good tv shows/films/music/things from those years and ignore the boring chaff.

Maybe there are just as many good tv shows these days.

but in my opinion the vast majority of current tv shows/films/music/webcontent is utter undiluted mind numbing banal drivel and there isn't a circle of hell worthy enough to hold those responsible.
Personally I'm not against subscriptions model per se, but I am put off by massive price increases in the guise of a subscription.

For example some apps have moved to a sub model where the annual fee is more than the original one-off purchase price of the software was.
It's also super handy to just put on your running gear and start running... I don't want a phone in my hand or in my gym shorts when running. I just need the watch to track my movements and when I get back home, I can sync it up to my smartphone, who will take the data, upload it to some running website and analyze everything (including heart rate data).
That's still one of the best use cases to justify buying a smart watch at the moment
Although I didn't implement this myself, the plot accompanying the answer shows that if correctly implemented, this method is unstable in some regions inside the ellipse.
They'd discover such things as a basement sump pump that wasn't on emergency power.
How to Install Web Push Notifications?
Pretty sure YNAB 3 was a pay-once desktop app and YNAB 4 is a subscription web app.
Free 3D models and 360 Panoramas
I think you should check Visual Studio with C# and .NET

Thats what I would use (If target machines are windows)

I still havent tried Net core on Unix machines so I cant say much.

If you pack it into exe you lose the cross-platform thing, so you might aswell use any other language.
A gyroscopic vehicle concept is full of other ridiculous ideas
Elon-envy.
Came across this Wikipedia list of wingsuit fatalities: https://en.m.wikipedia.org/wiki/List_of_fatalities_due_to_wi...

The past few years is pretty sobering, especially given that most of these guys were experts and clearly knew their stuff
True for most people, but I have been in situations where I got new Windows machines pretty often. Then I learned to just suppress my itch to customize and just the darn thing.

Now I am my Mac since a few years and also transferred the whole thing once from a TimeMachine backup, so I customize. Though that list of the OP... SO MANY APPS?! I get weak knees just from scanning that list. Though several I may pick, like the Focus app and maybe a few others.
IMO these franchises have one big advantage: They are in a science fantasy setting that has already introduced the concept of teleportation. So there is already precedent for teleporting around the map, making locomotion unnecessary.
This is the kind of use cases where multiple dispatch is useful.
> I don't think you can have all of traditional mathematical notation (which is often highly overloaded) in a programming language while only using syntax for disambiguation.

I think it is reasonable to be able to handle certain subsets of mathematical notation, but yeah, in total it seems to be context dependent. (I've tried designing languages to deal with this before, and my previous comments were about actual issues I had encountered making it all consistent.)

> For example, sin cos x would parse as sin(cos(x)), (sin(cos))(x), (sin * cos)(x), ... and most of these would be discarded by the type checker

Unfortunately, all of those make some sense! The first is what anyone who took precalculus would read, but the second could be substituting cos into the power series of sin, and the third could be the pointwise product (sin * cos)(x) := sin(x) * cos(x), which is particularly important for the ring of functions on the real line.

> Overall, I'm not convinced that such a highly ambiguous system would be beneficial in a general purpose programming language, but when you just want to type in a specific mathematical formula, disambiguate it once, and then work with the unambiguous representation (maybe using a pretty-printer), I think it would be useful.

One thing I've been enjoying about Mathematica is the ability to have the source code be written in 2D graphical notation.

I'm not convinced that it would be useful to have a special way to input and disambiguate mathematical formulae for a general purpose programming language because 1) actual formulae are infrequent and 2) it tends not to be too challenging to translate a formula into the syntax of the programming language. I think the main use case for trying to interpret traditional math notation is for exploratory calculating/graphing/programming where you would only ever use the equation at most a few times.
> Maybe "How to make a Bitcoin exchange or Ethereum contract that's 100% guaranteed not to rob you of your money?"

I think you'll find that specifying that and proving it is orders of magnitude more complicated and costly than the example in this post. I think that at this point, the most optimistic estimates are that producing software like that (meaning, verifying global correctness properties) would require about 1 day per line of code (and we're not there yet, but 2-5x that), and that is provided that the overall program is no more than a few thousand lines and uses just the simplest algorithms possible.

There are other formal methods that allow cheaper verification for the cost of weaker evidence of correctness, like test generation from specifications, model checking of small, finite instances etc.. It is an open question how much confidence formal proofs actually add. For example, while model checking has found errors in informal (although peer-reviewed) proofs several times, I am not aware of cases where a program verified with a model checker on small instances turned out to be incorrect.