skysight-inc/HackerNews huggingface dataset:
Not really, but the short of it is that I gave up my career as a successful software dev in the bay area and sold everything I own to work in diving.

I used to hate getting up in the morning and was consumed with stress about trivial work bullshit. These days I work in the South Pacific and split my time between environmental projects and training new divers.

It's not going to make me rich, at all, but I honestly don't care. I would trade the decade I wasted in front of computer screens to have started doing this a few years earlier.
The Economics of Package Management
I haven't learned/used them enough to appreciate higher-kinded types and the whole category theory monad thing. Individual usages make sense but each could be done differently without the generality.

One language that looks interesting is Clean[0]. It uses uniqueness types for mutations or other impure operations which kind of reminds me of software-transactional-memory or borrow checking.

[0] https://clean.cs.ru.nl/Clean

https://en.wikipedia.org/wiki/Clean_(programming_language)
Sure, but access to the U.S. market could have been used as an incentive to ensure data security globally.
> Another is that China learns to be a bit less self-serving and more cooperative with the rest of the world.

Because they have such a great example given by USA to follow.
I believe it's mostly state level, and at least in my state this would indeed be illegal without a permit, which I'm quite sure would not be granted in this case.
They want to do easily something that is hard. I can understand their revolt because it shouldn't be hard, but it is.

The easiest way out is probably #1, what probably will need the cooperation of some uncooperative 3rd party. It's the correct question, it's just that the answer sucks.
There is another very large factor in what has set Azure apart from Google. Google is more of a pure play competitor to AWS. Azure got a big jumpstart due to the Windows enterprise market adopting them as a natural home. From there Azure has gradually leveraged itself into taking some share of the Linux market. The Windows business segment provides a lucrative, lower competition base for Azure. Realistically, Google poses zero potential threat to the large Windows cloud business that Azure will yield billions in annual profit off of in time.
Stadia is a seriously huge win for Linux gaming in general. Especially with how things like Vulkan are playing out [1], I really think we're finally going to get that pipeline for Linux towards mainstream gaming that everyone has always dreamed of.

Steam was important for starting the momentum, and now hopefully Stadia will be able to finish things off!

[1] https://www.reddit.com/r/linux/comments/b30m3g/googles_stadi...
CSS provides basically no way to hide you’re doing this. I don’t believe this is real.
When I did safety training at a US Energy Department facility they said you should use salt extinguishers for lithium battery fires. They are quite rare and yellow.

They didn't say why.
It’s great against mistaken API clients. Murphy is the most frequent adversary I encounter.
Off course the end game of every employee at the company is to make money. But people are hired for specific focused areas for a reason. If you expect your engineers to do your VPs and director's jobs too, you should fire all you senior leadership. The employees aren't doing cool stuff because they don't care about the directions from above. If the product directions are wrong, it is a fault of senior leadership more than anyone else.

Android has made sure google will survive. If iOS and windows phone were the two dominant platforms, they could change the default search engine at any time, and give Google a huge shock. In the post PC world, without Android google would have been at the mercy of the mobile vendors. A lot of search income should be direct result of android, which the above figure doesn't acknowledge.
It would be quite a fun project. You could even use machine learning to predict the motion of the target to be most effective even when you reach 1-4 seconds bullet travel time (1 second at the range of the effective range, 4 seconds at maximum range).

Reliably detecting humans sounds hard though. This is a highly adversarial scenario, they will do anything from carrying cardboard in front of them to disguising as wildlife and vegetation. I'm not sure this is even solvable without shooting down anything that moves and is unidentified.
i love the quadrants. I can definitely name some in my own experience.
Nope, don’t give me the “oh there is no better way so let’s continue using our shitty way” excuse. Citing another poor way of hiring does not make the existing one better.

And I don’t know what a new process should be. Google has the data from literally millions of applications and has decided to just ignore them or not to try different ways of hiring? Give me a break.
See here https://news.ycombinator.com/item?id=20069538
It's easy to choose an arbitrary timescale to fit a viewpoint. The author chose a massive timescale from 2002 to 2014 (presenting it as if that period of activity were simply unremarkable) - and then made a bold, unsubstantiated claim. I'm not going to give the author any more wiggle room, sorry.

I listed multiple BILLION dollar opportunities created in the just the past few years during the tail end of that author's range. I think this shows that the author's argument is weak at best and completely unsubstantiated at worst.

The ones founded in 2016/2017 haven't had time to mature yet. I suspect we'll see more breakouts hit ~$1B valuations soon enough.

But sure I'll give you examples:

* Brex was founded in 2017 and is now worth $2B.

* Whatever you think of scooter companies, Lime and Bird were both founded in 2017, and are now $1B+ companies.

* Nuro was founded in 2016 and is a $2.7B+ company.
I'll just hope this Huawei debacle will be the spark that burns the patent and copyright systems to the ground.
Right, the problem with SMT solvers (and the SAT solvers they're based on, although the problem there is slightly better) is that they're unpredictable and highly dependent on the form in which you pose the instance, often in very unintiitive ways (they can fail on an instance that you'd think would be as easy or even easier than another they do manage).
> Is failing to tell someone something the same thing as deception?

Yes, absolutely. Imagine you are the only person that doesn't know your fiance was in porn and you committed to her without knowing that.

> Is this supposed right symmetric? Does bride-to-be have the right to know if the husband participated in porn video?

Of course. Even though social stigma for males is lower, it has a devastating impact on their business relationships.
I also looked at Elm and liked it a lot but wondered why there was so much controversy around Sum/Union types and why they aren't 'just' added. If it was open-sourced and there was a fork that at least tried it, I'd be happier to use whichever one worked out for my use case.
Of historical interest, it's the sort of thing you might do if you were a Victorian industrial magnate, for some value of "home": https://en.wikipedia.org/wiki/Cragside
Not sure if I agree. Ruby is a language founded on quirkyness and bespoke vocabulary. They've certainly blown their "weirdness budget" too, but it has a large following.
The Art of Observation: The Two Types of Observations (2013)
In my case I don't need a third layer on top, I simply don't use(aka don't need) tmux most of the time - I just run terminal buffers inside NeoVim tabs/windows and can switch quickly between workspaces and windows via i3 shortcuts.

But if I was forced to use a DE I'd also go for Gnome - it's pretty polished and provides switchable workspaces a bit like i3. It's just not near as configurable as I'd like.
> "No guns = no shootings" is an idealized logical conclusion, not a pragmatic consideration

Perhaps, but “better control of guns = less shootings” I'd an emninently well-demonstrated pragmatic consideration.

> an existing super-empowering technology can be used by individuals to decentralize and evenly distribute political power

The US has very nearly the least evenly distribution of political power as well as the easiest access to firearms in the developed West, so whatever the US actually has, ideological fantasies aside, isn't a pragmatic solution to that question, either.

> We are safer and more reliable when the State does not have a monopoly on force.

The State is by definition whatever entity or combination thereof possesses a monopoly on the legitimate use of force.
>This testing exists today, but it’s only used in patients who show strong resistance to pharmacological intervention. It should be standard.

Is it possible to do this kind of thing oneself with 23andme style SNP tests and a google scholar search, or does it involve more than that?
I often encounter this problem in the form of newbies asking how to dynamically create variables inside a loop:

"foo1 on the first iteration, foo2 on the second, etc."

As much as I am a fun of weird little endeavors like programmatically modifying the local scope, my answer is usually along the lines of "...arrays."
Or maybe "the data from literally millions of applications" has made Google realize that their current way is the best among all the others possible? Who knows.
> Seriously? I view this as just government sponsored corporate extortion.

Which government are you talking about? I'm assuming the Chinese (?), but you left it unclear.
Users flagged it; I'd guess for reasons similar to what the comments express.
Yeah, just like king is "actually" spelled cyning.[1]

The variant miniscule has been attested since 1871. Given that almost every word that's been in English for long enough has had multiple spelling variants, what does it mean to say that miniscule is wrong and minuscule is right?

[1]: The earliest known use of the word king in an English sentence is "Se cyning sealde & gebocade Wullafe fif sulung landes.", according to the OED.
Fascinating! This explains why I never saw anything like PageRank in YST: I presume it was present in what became Vespa (which, to be fair, probably didn't scale to YST's corpora sizes.) Pity we can't continue this conversation offline..
Since most people lack your technical know-how or patience or budget to implement such a setup, do you have recommendations for alternative consumer solutions on the market that do it right?
Why did it suddenly disappear from HN? I could not see it in first 3 pages. It just was on 23th place of HN front-page.
An interesting side-aspect is the different battery supplier for the chinese market. I wonder if Samsung, LG, etc. will see their battery IP "unwillingly transferred" to Contemporary Amperex Technology Co. when these deals come to fruition.
I love Peter Watt's writing. If you haven't read Blindsight I totally recommend it. https://news.ycombinator.com/item?id=18378221
No villain wants to be the victim of another villain.
Stay Cool During Sumner Without Air Conditioner with These 7 Hacks
I think all companies would want to "have a highly profitable slice of the market than dominate it", since it ensures higher profits and frees you from monopoly accusations, but only few have managed to work it in a good way (e.g, Apple). In most markets where Google succeeded, they ended up being dominant.
YC Entrevista: “Las ideas no tienen valor si no hay ejecución” CEO de Platzi
> Is "introvert" a protected status, a badge of honor?

I’ve no clue what you’re talking.

> Besides, the article doesn't describe any particular "illness".

Calling it illness might not have been the right term, but at least it’s some kind of personal development which has gone a bit into the wrong direction. And if that’s the reason why an introvert person isn’t going more out, isn’t going to meet more people, then there’s something wrong with the introvert person and perhaps this should then be changed with additional personal development, perhaps some kind of therapy.

If that’s not what you meant, then fine, otherwise that’s the reason why I’m a bit upset, because it puts introvert people into a light of wrongness, that something has to be changed in them.
> $22 billion in profit

I mean, "only" is relative here.
Oh yeah, it's very much a thing. Someone responsible for hiring in my office regularly engages in illegal PC-motivated resume dumping and regularly brags and laughs about it.

I've kept my mouth shut because I value my job, I don't trust the system to protect me from retaliation, and the guy in question isn't dumb enough to make his confessions in written media.
Yes, we miss nice screens when we go back to crappy ones, agreed, but this is my point: I don't miss most of these lodashy functions when they're not there. Maybe a little bit.
If you run your own BGP routers you can use Voxility, Incapsula or a number of similar services.
The study makes a note that it's testing HF production and not testing putting out a fire. "The intention in this study was however not to extinguish the fire completely."

If you have the luxury of isolating the burning component and a lot of open space and a consistent wind direction you can let it burn. Few places outside of ships and desolate areas have that. Airplanes definitely don't. Neither do locations inside of cities. Cars also have many lithium cells so isolating the burning one is impossible and you probably want to avoid all of them catching on fire.

Letting a car fire burn on it's own means you now have clouds of HF and you need to evacuate massive area for a long time. Or you drop it in water and avoid all that.
I do have some thoughts in regards to your statement, but this discussion is probably better made on a different thread somewhere else.
China is a communist country and has increasingly been committing human rights' violations in their attempt to become the supreme world superpower. This is publicly known
C++17 includes the [[fallthrough]] attribute built into the language to disable the warning [1].

[1] https://en.cppreference.com/w/cpp/language/attributes/fallth...
Thank you, I really appreciate your summary as I couldn't get past the first couple paragraphs.
Per capita India is still pretty good, they just have a lot of people. Also their emissions wouldn't be a problem yet without the last 100 years of emissions from Europe and North America. They are slowly becoming part of the problem, but I don't think it's fair to blame yet.
you meant s/visual add/visual ad/, right?
Want to Write a Compiler? Just Read These Two Papers. (2008)
>sites like Hacker News are also aggregators in the same way, so I think it's slightly disingenuous to pick on one and not the other.

IME, HN posts aren't ever a source of the content linked, only as a source of comments. Plus, HN doesn't run ads on its posts.

Lastly, evbite the-site-itself appears currently not to be...up.
And in the end, Google still has to pay Apple a reported $9 billion a year to be the default search engine so they don’t lose the statistically more affluent iOS users.

What does it say about Android that even Eric Schmidt refused to use one years after it was introduced?

https://www.cnet.com/news/googles-eric-schmidt-why-i-love-my...

Can you imagine the CEO of Apple telling reporters how much he loves his Android phone?

The problem is that the VPs were former engineers.
The amount of people living in tier 1,2,3 cities should still be less than people living in villages I think. Anyways my village still continues to get abysmal electricity.
One Year of Pinafore
You just explained cornerstone of good design
That's a good point that is not often discussed. I've actually done some work into this kind of problem- how to explain automatically defined predicates in symbolic, logic-based machine learning:

https://github.com/stassa/metasplain

So that's "metasplain" a little program that explains "invented predicates", which is what I say above, predicates that are automatically constructed by a symbolic machine learning system in the process of learning. Think of them as invented features that are relevant to the learning task. These are given automatic names so they're difficult to read, especially if you have lots of them. Metasplain starts by automatically assigning meaningful names to invented predicates by combining the (not invented) symbols of their literals, then asks the user for improved names. It can go all the way automatically, without interaction, but the results are a bit meh. With a human in the loop you get the best of both worlds.

And that's what I think is the best way to solve interpretability problems in machine learning: instead of automating them, which is like trying to create a chicken so you can get an egg so you can hatch a chicken, put the human back in the loop and make it easy for her to provide meaningful explanations, even if she's not an expert.
1) Android was an example. There are many components in a phone.
2) Much of the margin/profit comes from sales in international markets. For example, the EU. Where WTO-wise, copyright and patent rights still hold.
that's pure propaganda
This article is possibly where the poster above me read the 54% FP statistic, and its point is not about resolution but that the different wavelength of energy used will show things like sweat as surface, and combined with the automated detection it produces a lot of false positives.

https://www.propublica.org/article/sweating-bullets-body-sca...
Make publications, blog posts, participating at a relevant conferences.
As a company Google can be very hard to work with.

A few months ago a few different software packages all were erroneously flagged as malicious by Chrome, which then was picked up by Firefox. Bunches of small vendors had nothing, there was no clear appeal process, there was no one at Google to reach out to.

All there was, was a link to a message board staffed by volunteers, not Google employees.
> Plus, you can always choose to just not use Google.

"You" are not Google's real customers, the advertisers are, and most of them most definitely cannot opt out of Google and remain viable.
Are you talking about formatting conventions or something else? Because if all you’re talking about is coding style, then yeah, it’s infinitely better to comply with the conventions of whatever your working on than do your own thing. For something as subjective as coding style, consistent vs inconsistent way more important than whether one style is used vs another one. That almost goes without saying.
Total after 8 years? Apple makes a larger profit than that on iPhones in one or two quarters. That’s probably less profitable than the Apple Watch will be after its first 7 years.
Even if we restrict it to children, it doesn't change the basic idea. We can advertise food, education, housing and toys that are meant for children, why is a health app different? I doubt they the company actually wants children to buy their app, rather that parents will buy it for their children.
Thanks for the tip! I did some foobar2000 research yesterday and came across that component. It appears to work, next step is to convert remaining songs to mp3 so everything works as expected. I like foobar2000 lightweight 'feel', Musicbee feels like an explosion of panels everywhere by comparison.

I'm using the original firmware with a while now, it's less error prone and the UI on rockbox isn't exatly polished.
If you are the only one who doesn't know your fiance was in porn, then you are a fool or have no friends.
A friend has developed an input method called Aronetis, best suited for 12-button mobile phones. Unfortunately, with the move to smartphones it's become much less relevant.
Sen Dino Melaye Declares for Kogi Governorship Race
Yes google is still paying Apple for iOS. But if iOS was 50% of the market and other 50% dominated by let's say microsoft, Google would be paying Apple a lot more, along with possibly not being the default search engine on Windows Phone. The difference is gigantic. Paying Apple 9B$ should be fine for Google as long as they are making proportional money from iOS.
> I mostly agree except that around very close friends you should not be spending energy and instead recharging.

That’s certainly not the case for myself. If I’m exhausted I need to be completely alone to recharge. Yes, being with close friends is a lot less taxing, but it still is not the same as recharging,
I actually don’t like the way they manage data only through algebraic types passed around as parameters. That is one nice way to do things but I often find myself poorly reinventing relational stores or wishing for Datalog.
People divert streams all the time to change erosion patterns near homes
The effect on YouTube may be interesting and actually end up more beneficial. They could still run ads based on the videos you are viewing, but maybe they'd have to make up lost revenue by getting more people to pay for subscriptions (e.g. YouTube Red). Those subscriptions would signal to YouTube which users have expendable money (especially if it's a tiered pricing system), and what channels and videos you as a paying customer actually value spending money on. Some of that money could be used to increase payouts for content developers, hopefully increasing quality and user retention, ultimately spurring a positive cycle.
You still haven't actually answered the question of what "right" there is supposed to be.

If a person is afraid that their fiance might have done porn in the past, or if they care so damn much, they should just ask the person.
App Store in crosshairs as Apple courts developers
That doesn't make any sense. So if a drug isn't providing any benefits (or too many side effects) your doc won't help you to quit it ??
>you can, but then need to know how to vet them

Or you just ask someone who know, and whose books you like, which ones they use...
If you want to pattern match on strings as in the Perl code the OCaml code is almost exactly the same. Now try to recreate the types you just constructed in OCaml and get static checking. That’s just not possible.

You’re comparing apples and screwdrivers.
apparently others don't like the question either. strange, because it was just a question. i don't really have an agenda, I'm just confused.
Historically the US didn’t abide by any of these rules either, importing and copying European IP. With China developing further you’ll see them more and more enforcing these rules especially against developing countries.
For espionage you don’t even have to go back in time.
The problem is fairly simple. The actual output of society is produced by a relatively small minority of skilled individuals that are not easily replicable (ie fungibility is largely a myth).

We need those people to work a full week operating the machines that actually make all the output we all consume.

But why should they do that if nobody else is working? They could just make enough for the small set of people that are actually required to make enough stuff and stop work on Tuesday - having the rest of the week off.

So we all give up full weeks of our finite lives in solidarity with those who we need to give up full weeks of their finite lives if we're actually going to get the goods and services we need to live. And that's because we're a species that tallies our debts with each other - the reciprocity principle (https://www.en.uni-muenchen.de/news/newsarchiv/2016/paulus_s...)

Or to put it in other words, sharing out the needed work is rather more difficult in practice than it is in theory where fungibility is largely assumed. And the more advanced our technology, the harder the sharing becomes and the more difficult it is to maintain the illusion of sufficient reciprocity.
The two aren't the same thing at all. It's legal to own guns, but illegal to shoot someone with one. It's legal to write software that opens network connections, but illegal to use said software against a target on the Internet that doesn't want said traffic.

Similarly, it's legal to write or download a neural network that is programmed for facial recognition. Same for a basic crawler bot.