skysight-inc/HackerNews huggingface dataset:
The reason native apps have avoided that fate is because they are not cross-platform, they are entirely controlled by a single vendor. Of course you also have cross-platform GUI toolkits like Java and Qt, but they suck because they don't have true vendor support.

The web has solved these things: it's an open standard which any serious device maker must support to be taken seriously. It can load applications in a relatively safe sandbox on demand. And it does all this with tremendous backwards compatibility that even 90s Microsoft would be envious of.

You're absolutely right Chrome is a virtualized operating system, but that's what it takes to be open and cross platform. Designing a better platform is the easy part; getting it to cross the chasm where it has first class device vendor support on a majority of platforms is the practically insurmountable part. I'm not saying it can't happen, but I don't think any organized group of humans has the power to do it intentionally.
Europe is not the same in all countries.
Depends of the country.
Where I live, Germany, people do take train, for 40 minutes per day. But is normal, as with car you will do the same. And with train is more safe and relax. Changing jobs, is not the norm. Being an engineer you probably will work some years(3-7) before exchange
How to Delete Skype Chat History on Android Phone?
The book "Algorithms to live by - The computer science of human decisions" [1] has an hypothesis on this in the chapter on explore vs exploit.

It is that in the early part of life, we focus on exploration (extreme case: young kids), which includes meeting lots of new people and having many friends. Then as we age, we focus more on the "exploitation" part: focusing on what we liked best. This leads to reducing the circle of friends to a reduced core of very good friends.

Of course, it would be reductive to only consider this angle (e.g.: having kids tends to reduce quite a lot social activities, and often happen in this age range). But it's an interesting perspective, and the CS part of it may resonate with the HN crowd ;)

[1] http://algorithmstoliveby.com/
Interesting. Can you give an example of a hobby you have that tends to attract people who you don't tend to gel with (for whatever reason)?
My Subconscious Is a Better Developer Than I Am
Just make sure to rebase every time you start work to avoid merge conflicts, but yes, this is the single most effective git workflow for small and probably larger teams too! I'm in a small team where the lead dev comes from a top SV company and he introduced this workflow and it works great.
the documentation here is quite sparse, so correct me if i'm wrong. This seems like a dressed up theorem proving system like PROLOG dressed up as something new.
You know, I bet it was something to do with `memorializeUser` again (see https://www.columbia.edu/~ng2573/zuggybuggy_is_2scale4ios.pd... slide 46). In fact I would go so far as to say this is the kind of thing that should be encoded in the type system so it's a compile error to try to do this.
Dear Google, Apple, Mozilla, and MS: Please End Auto-Playing Media in Browsers
I know there are plugins than can somewhat do this, but no solutions are universal or great.

Please update all of our browsers so that no automatic video/audio can play without user interaction/permission.

Its getting to be impossible to visit many sites today without being bombarded by video and sound playing by default on the web. In the worst cases such as on mobile browsers like iOS Safari, visiting a site will start playing media that kills whatever you're already listening to in another app.

This is eating up our data and inconveniencing millions of people using your products.

Please help us enable a better web.
How to refresh Account Kit access token?
I wonder if there is any possibility to refresh an Account Kit access token that is about to expire without forcing the user to log in
Baby habibi swing doll
Wrong place to ask this. Try stackoverflow or FB dev forums.
Perhaps electromechanical is in reference to something like the enigma machine. Characters light up on a board, but the character that lights up is chosen by a purely mechanical process that selects the current path. I'm just speculating.
I am building native webapps using PWAs at the moment. They are not there yet.

He touches on navigation, but misses talking about the Android hardware back button, which in PWAs hooks up to the same mechanism as it does in the browser: it goes back. This quickly stops making sense when you're making an application, as you want that button to go "up" rather than back. Imagine you are viewing a list of contacts and you: tap on a contact, tap edit to get the editable version, make some edits, tap save to get the change read-only version. In an Android app, you'd expect hitting back at this point would take you to the contact list. Here, it will take you back to edit mode for that contact.

There is also little to no support for apps that want to use large or arbitrary amounts of storage (imagine spotify with offline support as a PWA), or a framework to allow users to deal with that. With a native application I can store as much data as I want, and the user can see what data I'm using in the app list, and clear my data to remove it, or simply uninstall my app. With a PWA you're limited to some confusing arbitrary amount that is unpredictable to the application, the user cannot see this amount anywhere, let along aloneside normal apps where it should be, nor can they reasonably clear the data.

We are currently solving both problems, ironically, by wrapping our app in a native android app: solving the former by overriding where the hardware back button navigates to, and the solving the latter by (no joke) shipping a patched version of chromium with the obtuse quotas patched out.
cmon now. This is a good attempt at pandering to the hackernews audience by being skeptical and cynical, but Quantum Supremacy is a big deal. From the same article:

If I have any policy advice, it’s this: recognize that a clear demonstration of quantum supremacy is at least as big a deal as (say) the discovery of the Higgs boson. After this scientific milestone is achieved, I predict that the whole discussion of commercial applications of quantum computing will shift to a new plane, much like the Manhattan Project shifted to a new plane after Fermi built his pile under the Chicago stadium in 1942.
The very definition of a free market is a market free from government intervention. That's why what you have in the US, and most so-called capitalist states, have what is called a regulated market, not a free market.

Another hallmark of a free market is that the market should rid itself of business that do not do well. In the US the governments bails out business that do not do well (like banks). Hence, Chomsky calls it a nanny state.
It would be nice if some of their contributions were less "throw it over the wall once or twice a year".

Some of their contributions are. See Swift.

It would be nicer still if they stopped thinking their browser only needs to get new features once per year.

Safari Technology Preview ships every 2 weeks. I use it as my main browser. It is as solid as any other browser.
And this is why you need hobbies -- >50% of my friends are from my hobbies, with work/school/misc friends rounding out the rest.

Also a possible disconnect I felt after reading: "written by a 29-year old". Sure some of these things are common phenomena, but I think it's one thing to collect the missives of Louis CK and what not and report on it, another to actually live it. Having lived through my thirties myself -- the reason why I don't make many new friends is because I'm doubling down on all the friends who are around -- and I have no mental bandwidth to keep growing more. The cost of building one deep friendship >> having pleasant company with a ton of acquaintances.
LAN parties and most CS-related events do this for me.
"Safari is rapidly getting a reputation as the new IE6."

And that is just a ridiculous comparison done by people who have never witnessed that period or are having a different agenda.

One of my first jobs (more then a decade ago) as a young developer was being a web developer for an American/Belgian e-commerce site. One of the things that was very important - because every customer counts - that the site displayed and worked perfectly in any browser (IE6, FF/Mozilla, Safari and Opera at the time)

That was a situation that wasn't a lot of fun because you had standard HTML that more or less worked in any browser with the exception of IE6. There where a lot of moments that I really hated my job because of the frustrations that IE6 often brought to the table. That is in no way comparable with Safari today.

And while I would like to have Apple more rapidly implementing new API's, with IE we could only dream of having an IE version that got new features every year. Years have we have witnessed the fallout of IE6, that will never be the case with Safari to this day.

IE6 was a vehicle to create an internet that only worked with Microsoft standards so that others couldn't be a valid alternative hence the IE6 markup vs the rest. You can't do that by dragging your feet when implementing API's, you only price yourself out of the market in that way.
The unilateral updates and URLs pointing to remote content also have downsides.

* it assumes you're online

* features can be removed at any time even if the user relies on them

* link rot

* totally unsuited for sensitive data
the main link works OK now.
In the loop: Dubai is to test the feasibility of hyperloop trains
Is this page written in Blueprint? It makes my Firefox consume 100% CPU.
Could you please define more specifically, or explain by example how an app (say a todo list) can be decomposed into the four elements you call inbox, outbox, meta and display?
They don't have billions of Adsense users, hence the comparison with KLM. And even a small publisher can grow into something big.
> "While many people feel it"

There's a useful distinction to be made between lonely and just being alone. Alone is the state of not having anyone else close to you in that moment, lonely is a negative emotion that comes from being alone.

It's quite possible to enjoy being alone, I know I do, my mind is much freer to wander, and I sure I'm not the only person that feels this way. As Byron put it...

"There is a pleasure in the pathless woods,
There is a rapture on the lonely shore,
There is society, where none intrudes,
By the deep sea, and music in its roar:
I love not man the less, but Nature more"

There's also a style of alone that can be very enjoyable, which isn't so widely commented on, and that's to be part of the hustle and bustle of a big city, with lots of human activity around you, but where you're only involved as a passive observer. Buses are good for getting in this state, as is exploring a city by foot (even better in a country where you don't speak the language), but really it's a mindset that's available anytime.
Just saw it today. Number 2 is the reason.
We use develop branch as a pre-master. All feature branches get pushed to origin and pull requests created to merge feature branches to develop from there. Once a sprint is finished we merge to master and deploy to staging. Staging gets promoted to production using pipelines. As we are in early stages the develop branch is good but I can see us dropping it and using only master once we start doing daily releases.
That was useful. If and when I need pure C++, or want a fast path to 'additional things', it sounds like versor is the way to go.

There is a lot to sort through in coming up to speed with this paradigm, and each new source helps build the practical picture. Thank you for contributing to that.
I guess the assumption is just as much one of: needs space for kids; can't afford more space in the city. Hence suburbs.
Have you committed any crime yet? If not try to find the most technical email on their site or hunt down someone on LinkedIn. However do not make anything sound like a threat and be upfront with your intentions regarding things like compensation and disclosure.
Google are starting to do some work on this front with Android 'Instant Apps': https://developer.android.com/topic/instant-apps/index.html
ObjectiveFS looks interesting but I wonder about the latency if you do many small random reads (this is what we're seeing with git).
Undercutting, even at loss, is a very common market tactic, I don't see a reason to highlight Uber for this.

It is certainly not illegal. That would only happen in an extremely regulated market.
Show HN: ffbinaries – API and CLI download of ffmpeg, ffprobe, ffplay, ffserver
Just started this project last night as I needed a way of getting a binary for one of the components.

I decided to repack the prebuilt binaries and serve as an API along with a Node module (can be used through CLI). Can be useful to someone else in CI builds or something.

Currently it only serves ffmpeg 3.2. You need to manually run unzip right now but will implement that step into the process as well.

http://ffbinaries.com/

https://www.npmjs.com/package/ffbinaries
We're currently at 70TB and we're planning for a 256TB setup https://docs.google.com/spreadsheets/d/1XG9VXdDxNd8ipgPlEr7N... . So that would be a lot of servers. I don't think SSDs for the file storage are affordable. We'll use SSDs for the journals.
Whenever I see the letters "MUI" this is exactly what I think of!
Just a bit curious, how is the code review integrated into this flow?
> I've heard the working hours are terrible with 12-14 hours workdays not at all uncommon.

Derivatives quants have perfectly normal hours
For pricing, yes basically
We looked at this but it didn't have either the features or the speed we needed. I do think it is very promising.
Yes. I didn't mean to propose that. I know that speech recognition already considers alternatives and probabilities.

The main focus of my proposal is something different: a more intuitive «understanding» using neural networks and lexicons. This is somewhat orthogonal to speech recognition.

Then I suggested that this «understanding» could help make speech recognition more reliable by adjusting of some probabilities.

You see, I have an important insight as a Deaf person. Lipreading only offers a small part of what a person could understand by hearing. But I am often still able to understand what a person says by guessing and using the discourse context to fill in the blanks. I am sure that we all do that to some extent, or we wouldn't have homonyms in the language.

This insight tells me that perhaps a disrupting innovation would be a more natural «understanding» of text (in written form) with the help of neural networks and a lexicon.
I am using latest FF too. Very lag
I'm not sure we want to pay huge money. Right now it looks like our cloud hosting bill for 2 months (about $250k) can pay for the hardware to host 4x as much https://docs.google.com/spreadsheets/d/1XG9VXdDxNd8ipgPlEr7N...
> Ignorance not an excuse.

Wow. Really?

Tell that to the millions of illiterate/semi-literate, lower-class people across the length and breadth of the country who are suffering right now. But wait - you don't need to. Modi already did.
Inference is straightforward using dictionaries, membership-testing, and set methods, like subset, superset, disjoint, union, intersection, and difference.

Python can't do a conditional assignment as nicely as Prolog's unification, but you can get similar behavior via the application of predicates in comprehensions and using set methods. I'm not saying Python is equivalent, but simply that you can get some of Prolog's style in Python. Erlang's pattern matching and concept of bound vs unbound variables is a bit closer to Prolog's unification.

Here's some Python implementations for examples shown in my first Google result for "prolog examples" (http://www.cs.toronto.edu/~sheila/384/w11/simple-prolog-exam...)

1. Here are some simple clauses.

>>> likes = {'mary': {'food', 'wine'},
... 'john': {'wine', 'mary'}}
>>> 'food' in likes['mary']
True
>>> 'wine' in likes['john']
True
>>> 'food' in likes['john']
False
>>> # John likes anything that Mary likes
>>> likes['john'] |= likes['mary']
>>> # John likes anyone who likes wine
>>> likes['john'] |= {name for name, objs likes.items() if 'wine' in objs}
>>> # John likes anyone who likes themselves
>>> likes['john'] |= {name for name, objs in likes.items() if name in objs}

2. Slightly more complicated family tree.

>>> male = {'james1', 'charles1', 'charles2', 'james2', 'george1'}
>>> female = {'catherine', 'elizabeth', 'sophia'}
>>> parents = {'charles1': 'james1',
... 'elizabeth': 'james1',
... 'charles2': 'charles1',
... 'catherine': 'charles1',
... 'james2': 'charles1',
... 'sophia': 'elizabeth',
... 'george1': 'sophia'}
>>> # Was George I the parent of Charles I?
>>> parents['charles1'] == 'george1'
False
>>> # Who was Charles I's parent?
>>> parents['charles1']
'james1'
>>> # Who were the children of Charles I?
>>> {child for child, parent in parents.items() if parent == 'charles1'}
{'charles2', 'james2', 'catherine'}

3. Recursion: Towers of Hanoi

>>> def move_one(x, y):
... print('Move top disk from {0} to {1}'.format(x, y))
... return True
...
>>> def move(n, x, y, z):
... if n == 1:
... return move_one(x, y)
... m = n - 1
... move(m, x, z, y)
... move_one(x, y)
... return move(m, z, y, x)
...
>>> move(3, 'left', 'right', 'center')
Move top disk from left to right
Move top disk from left to center
Move top disk from right to center
Move top disk from left to right
Move top disk from center to left
Move top disk from center to right
Move top disk from left to right
True

4. An example using lists:

This last one is a bit silly in Python as all the tools shown are built-ins.
Yep, and we at GitLab have Direct Connect to AWS as a requirement for picking out new colo.
Unrelatedly Gilles Pagès is an awesome and humble prof
The laws you refer to concerns a manufacturer's export of products to another country; specifically products sold at less than 'fair value'. I.e. international trade. It's not applicable to Uber in this regard. And as Uber does not employ their driver's, you have to look at laws regarding the use of freelancers/independent contractors and anything concerning fair wage. What about minimum wage?

> The Fair Labor Standards Act does not apply the minimum wage payment requirement to independent contractors. However, merely classifying a person as a contractor instead of an employee does not automatically keep the worker from being considered an employee entitled to minimum wage. Since improperly classifying a worker as a contractor carries with it legal repercussions, you must fully examine the work a person will take on for your company and compare it to labor standards.
The phrase "quantum supremacy" sounds click-baity but it's actually bona-fide jargon. These guys are working with complexity theorists, such as Scott Aaronson and Michael Bremner, to nail down specific tasks that are going to be completely impossible for classical computing. Part of the motivation is to move beyond the whole D-wave saga, and build something that for-sure kicks the shit out of current classical computing technology. Calling it "quantum supremacy" is a nice bit of marketing, imho.

Earlier this year I sat down with the guy that runs the google quantum computing lab (Hartmut Neven) and chatted a bit about what they are building. One of the ideas is to be able to re-purpose silicon fab technology; whoever gets this to work (if it's possible) is going to win big.

There are many other approaches being explored, by many research labs around the world. One particularly interesting idea is to use photonics (think fiber-optics), which has the great advantage of not needing to be ridiculously cold [1].

Source: me doing a PhD in the area.

[1] https://arxiv.org/abs/1607.08535
Binbot Binary Review
"Scientific models are much simpler than most software"

I've been noodling with some similar ideas around collaborative editing of interconnected declarative models, and I don't think the above is necessarily true. A diagram of the Linux Kernel might be even more complex than a diagram of some wild systems biology[0], but surely there is ever more complexity to discover. The tools for massively distributed digital collaboration seem much more polished in software than scientific fields today. I hope the author's work is a step in the right direction!

For similar Scheme-y computer algebra stuff, see Sussman and Wisdom's work in "Structure and Interpretation of Classic Mechanics" and follow-ons.

[0]: https://s-media-cache-ak0.pinimg.com/originals/35/98/92/3598...
A «misuse» would be a spying system which automatically «understands» euphemisms for forbidden things.

For me an important use would be a tool to make speech recognition more reliable, for example to automatically subtitle Youtube videos with better accuracy.
Reading that article on the phone is what's broken. It could really do with a framework that will stretch it to 100%
Maybe you should realize not all software are made to be used on 5inch devices, considering Palantir's tools, data exploration and other data intensive sites, it does not make sense to focus on mobile, because your target audience will not use them. Instead of me getting onboard, you should realize generalizing all use cases would not work in real life.
Well it gets a mention after a sizable chunk of article and the service is freeish anyway.
No, not really. The wikipedia page of Maude has a good explanation of what it is like: https://en.wikipedia.org/wiki/Maude_system. You can also see the Maude book if you're interested [1].

[1]: http://maude.cs.illinois.edu/w/images/0/0d/Maude-book.pdf
>The main difference between Leibniz and computer algebra systems is that Leibniz is a scientific notation whereas computer algebra systems are tools for doing computations. A notation needs to be clear, a tool needs to be flexible and efficient.

Different priorities lead to different design decisions. In a computer algebra system, you never see a definition of a term algebra or a list of rewrite rules. They are hidden from the user, and in the case of commercial software even heavily encoded to make them inaccessible. A computer algebra system is the equivalent of a single giant unpublished Leibniz context. In contrast, Leibniz encourages small, readable, and remixable contexts that can be examined and understood by scientists with reasonable effort. However, Leibniz lacks the huge database of simplification rules that make up the bulk of a computer algebra system.
Maybe that indicates you should develop another hobby you have some interest in but more importantly where you like the typical person who seems to be attracted to said hobby.

We are all multifaceted people and we often don't acknowledge that. Even Richard Feynman played the bongoes.
It sounds like the author doesn’t really have any idea what a “framework” is, but has heard several things they dislike called frameworks, so the presented thesis is “frameworks considered harmful” when what might be more accurate is the ”the following design patterns have this set of problems.”