skysight-inc/HackerNews huggingface dataset:
ALERT: GPGMail Freeware Becomes Ransomware on Update
The blue one.

In another thread I asked this question a user told me that I need to register the key using Chrome, not Firefox, and after that Firefox can be used for logging in.

Haven't tried it yet, but it sounds promising.
JSON Event Scheming
Why Alibaba named its semiconductor company after the honey badger
The 40 TRIZ principles are actually really nice if you’re stuck with a problem (no matter what domain). They might not always immediately lead you to the solution but at the very least open up the solution space and get the creative juices flowing. I got the 40 principles printed on index cards which makes it easy to flip through them.
I am trying to explore Terra more for this reason, but Pallene has piqued my interest. My guess from the responses and what the authors of Pallene have stated is that Terra is probably better to stick with for numerical work.
Your definition of “many” is <5% of people, got it.
The frustrating thing for me is not that they're not taking the risks, for sure. It's that the money is sloshing around in short term securities and cash-equivalents instead of being invested. It's pretty obvious that they can't find worthwhile ways to use the money, so either admit it and return it to shareholders or really take some big bites of fundamental world-changing R&D.
Actually Apple provides a way to either download videos or audio directly on the device through Siri Shortcuts. The integration is great: Just open the share sheet in Safari or the YouTube app and run this shortcut: https://www.icloud.com/shortcuts/48d3103eafc04c7098094794e06...
Add a convert media step if you want audio.
I think I got it from this reddit thread: https://www.reddit.com/r/workflow/comments/2p0vga/workflow_d...
How is that different than the current situation? You still have to present your passport at the airport. It will only change things for people flying with fake passports I guess.
Edit: @dang not sure how this happend, but editing this comment lead to another comment (https://news.ycombinator.com/item?id=18049743) being created in this thread.
I'm in the UK and recruiting junior (just postgrad) folks into AI applied research. Pm me if interested.
Disclaimer: I work for a Subaru competitor, any opinions are solely my own.

1. There are conditions where you cannot repair a vehicle and then sell it as a new vehicle (eg when you have to cut and weld). In these cases it's actually more cost effective to scrap it and rebuild it. Quite likely, most of the components of these vehicles will be used again on a vehicle with the same VIN. Scrap doesn't necessarily mean crush and recycle.

2. The weld process may only be certified on bare, unpainted sheet metal. After the paint process, basically none of the sheet metal is bare. Even the unpainted parts are coated with a pre-primer. Fun fact: sheet metal must be welded in the plant within a month of being stamped. (Aftersales consumer repairs are all manual work, so the same restriction doesn't apply)

3. As another commentor stated, even if Subaru had to eat the entire cost of production for these ~300, that is much better than a lawsuit. 300*50,000 = 15 million (probably more like 7-10 million). A single lawsuit could blow that away.

4. Cars are not really like airplanes. Airplanes have replaceable body components. Cars don't really have replaceable body components. A whole airframe for a large aircraft is probably worth millions. A welded auto body costs less than 5k in the manufacturing plant. A plane may take between a few days to a month to manufacture. A car plant makes hundreds to a thousand cars in a day.
Are you me? I have the exact same symptoms, especially the left arm pain and panic attacks. Full heart checkup and nothing was found to be wrong but I always suspected it had to do with my nervous system.
The root of this problem is bureaucracy + nepotism/cronyism combined, as opposed to bureaucracy alone.
You mean like the CBP database that stores a fresh picture of my face [and other data] whenever I enter the US?
I don’t know why you are being downvoted.
Is Age of Enlightenment product of undermining Christian value?
Yeah, that still works at least on android.
Pullout game so strong that females have to turn you into a vegetable to make sure you impregnate them
I have used that Gentoo Chromium on a bunch of different video sites.

Here are some examples I can think of:

- to stream live webcast and prerecorded webcasts through a Continuing Legal Ed provider, using their (proprietary?) web app.

- Vimeo.

- NFL.com but not live streamed any games.

- some of the 2018 Winter Olympics, including live stream.

- videos but no live stream on the Premier League and Bundesliga websites.

- Twitch, both live and recorded

However, I have never tried Netflix or Hulu or any other pay provider.

I'm sure I've watched videos on other sites that I'm not thinking of right now, like BBC, etc.

I have never had any other issues, but I only use Chromium for a few things, like expressly watching videos, and using a few specific websites. Otherwise, I use Firefox and FF Nightly as my main browsers, for almost everything except watching videos and streams and also anything with audio. For all that stuff, I have had nothing but great experiences with Chromium.
It's funny, because in the meantime SpaceX has literally gone to orbit. I'd bet they're going to be on their way to commercial moon landings before waymo releases a generally available product of any kind. It's not that Waymo is not original, it's that there's no gradual deployment. It's "We're going to keep it in the lab until it's perfect" project which is exactly the problem.

Even in this regard Elon via Tesla is beating them at that, by deploying as many self-driving features as the risk-reward calculus allows. That's what I was trying to express, perhaps poorly, in my original post.
FWIW I've used the dual profile strategy (one for work, one for personal) for a long time and I really like it, so perhaps it just takes some getting used to.

For example, I most definitely prefer my bookmarks and browser history to be separate. Let's just say I might blush if the location bar autocompleted some sites from my personal history if I was entering a URL in front of someone at work...
Denmark has crazy high taxes. I know several cases of people moving to Switzerland and other EU countries to escape the tax burden.
> Very useful in business. It's tempting to agree with, "Hey, that $60M got us almost all the way there; for only 6M more we can finish!" But the real question is "Shall we spend $6M for a product that we think will generate $3M/year in years 3-5 after launch?"

That's such a lopsided question it's hard to try to connect it to reality, though. If the expected profit is $9M then how did you manage to spend $60M in the first place? Something huge happened that changed the picture, and makes it hard to relate as a simple "sunk cost" example.
I was using Gambit many years ago, and I remember hitting issues with Windows and Chicken. I do like IUP and Canvas Draw though! I am not a Nim fan, but I don't like Python either, so it's just a subjective syntax thing.
Comment like yours is why I come to HN! Thank you - I was always interested in TRIZ (I’m from Russia originally) but didn’t know it to be applied anywhere outside of Russia. Out of curiosity, how did you learn about this?

Quick ddg’ing found this Forbes article on how Samsung uses TRIZ: https://www.forbes.com/sites/haydnshaughnessy/2013/03/07/why...

They also mentioned that Intel might be using it, too.
You can find videos documenting these things on the spacex website in the presentation that was given announcing the first commercial trip around the moon. You can also find videos documenting the firing of the engine in earlier tests years back in videos introducing the BFR and ITS.

Also, since you seem extremely ignorant of SpaceX, I also recommend you watch videos documenting the landing of the two boosters of Falcon Heavy, so that you might better understand the sense of optimism which the company's accomplishments have generated. It is, to put it lightly, incredibly inspiring.
That the notion of intelligence requires the notion of instincts and hardwired self-preservation, so that training/learning phase would be more efficient and meaningful.

Basically, we should try to build an animal, which has an astonishing amount of intelligence (unattainable by any ML yet) in the evolved to match the shared environment brain's structure) first, before trying attacking a human-like intelligence.

Animal mind first. All the pattern-matching on hardwired pre-build structure, augmented (transformed) by learning is here.
There's a catastrophic "the map is the territory" mentality in the medical world that leads to that kind of attitude.

Many (most?) doctors work as if their knowledge was exact and exhaustive, and every symptom that's not in the book is binned as psychosomatic or psychiatric, and basically blamed on the patient.

Paired with the fact that many doctors don't understand that credibly behaving as if the patient's well-being is important for the therapeutic relationship (the social part of the placebo effect, health being a mean, not an end), and you understand why BS alternative medicines are so popular.
Even then,it's not like it's some massive conspiracy. There are lawmakers and pentagon officials that would habe stopped it were it not for sunken cost fallacy.

Unless of course you actually believe every single person in washington has sold out his country for money.
"The RAZR was the first phone to recognize that cellphones [...] were on the tipping point to becoming fashion accessories"

Was RAZR really released in 2003? Searches seem to bring up varying dates, mostly mentioning mid to late 2004.
In Japan, there was the AU Design Project, a carrier-led project established in 2002 which created concept mockups and eventually actual products with a focus on industrial design and fashionability. Their first model, Infobar, was released in Oct 2004; depending on when RAZR was really released it brings the "first" mention above into question.

The project released many other products over the years, such as the Marc Newson-designed Talby or even the polka dotted Yayoi Kusama art edition, but Infobar in particular went on to release several iterations, even continuing into the smartphone era. Too bad none of them ever got visibility outside of Japan due to this being a project led by a domestic carrier with no intentions of letting the manufacturers release the same designs outside of them.
https://time-space.kddi.com/adp15th/#product
Fluid Tests Hint at Concrete Quantum Reality (2014)
Unfortunately medical doctors are not scientists. They do not collect new evidence, they just try to fit their observations (the symptoms) in the straight-jacket of the catalog of drugs or surgery they are aware of (the cure). Sometimes they choose to ignore symptoms you report, and sometimes they recommend a cure that can have terrible secondary effects without saying one word about those.

If you make the mistake of believing that they are scientists, and present your own observations of possible cause and effect, they will either ignore you or mock you. I have so many examples of my own and close relatives, from the glaringly perceptual to the more subtle and personal, and have very little respect left for their profession and insane costs.
I wonder if it will lead to finally implementing clustered index in pgsql and breaking he last major obstacle to match performance with MS SQL.
https://en.wikipedia.org/wiki/Disgust
I checked your profile and blog after reading this discussion.
Now I feel some regret posting that anyway, as I think my comment did not add anything valuable to this discussion and was only instrumental to reprove you, a person who I don't know. So I would like to apologize, I am sorry for my stupidity and lightness.
I've never worked for a "big" company, much less one of FAANG. Although, I knew a kid who went to Apple, and he did well. I also had a friend from Intel, and he did well too.

My situation was much more than 4 years, but it was steady (exponential) growth at a nice rate, and I'm exiting in my mid 40s. Maybe I could've done better, but to the point of this topic, my one stable job did much better than the three startups I was exposed to.
Which mathematical definitions should be formalised in Lean?
Imagine you’re Google and you have a tech ready & demonstrated to pull carbon out of the atmosphere, say, with 30% the binding energy required that’s gained by burning fossil fuels to CO2. You keep innovating and stay ahead of the competition, using 5% of profits or such. Now go 20y into the future and USGov starts waking up to the mess they’ve creates. Miami is about to sink, Hurricanes are eating deep into their budget and Methane released from Sibirian traps is making it worse every year. The solar cycle is almost unrecognizable, every year is now El-Nino. China has ther own sequestration tech going and is net carbon negative, Europe is trying but failing, and all the world is screaming at the US to stop fucking around and do something. Who do you think they’ll throw all their money at? This kinda tech would be their license to print money. A nice percentage of everyone’s carbon tax.
People watch shows for enjoyment. Most people don't enjoy watching a person urninate on another person.
> I am failing at life, apparently.

Insofar as you seem to be "keeping score" against anyone but yourself, maybe a little. Otherwise, not really.
I thought this mathoverflow post might be of interest to those who mentioned automated theorem proving in discussions on the recent post on the ABC conjecture (https://news.ycombinator.com/item?id=18034714).
Does that also work in the online Excel app? That would be a neat abstaction layer for running crazy cool Excel apps/games in the browser. Lol
HEY FULL TIME ANGEL INVESTORS AND VCs:

Any federal district judge in the country can say these aspects of the Exchange Act (and the Securities Act) chills speech. The only reason this hasn't been challenged is because it doesn't affect accredited investors like you, and the people it does affect don't even know it affects them BECAUSE THE SPEECH IS CHILLED!

Please help. These laws are nearing 100 years old, but it has only been the last 20 or so where its been a problem because companies are going public so late as well as few and far between, all while the market efficiencies have improved enough where it makes sense to easily give out equity and things that may be construed as securities. But these laws have always chilled speech and recent case law can be used to extend "free speech" into corporate and financial matters. So please, go for it! Hire the same law firm that did Citizens United, they always go for 1st amendment no matter what the context!
That sounds like clojure spec.
Titles for programmers
Not the parent, but I imagine:

1. It insults the intelligence of the viewer and indicates the rest of the show will do the same

2. Humans urinating on each other combined with torture is disgusting to the vast majority of viewers, and seeing a scene like that will naturally turn off many viewers. Even Game of Thrones saved the rape?-on-top-of-a-corpse scene for after the characters had substantial development.

On a related note, at what point does "don't judge" end? What if the opening scene depicted necrophilia? How about beastiality? There's nothing wrong with being disgusted by things 99.X% of the planet is disgusted by
I had few years of high school in Russia in a school with some degree of engineering orientation.

About TRIZ in Samsung and Korean cos, I learned that from Samsung pals I met. I've been all across Asia during the time when OEM electronics was booming: Vietnam, Taiwan, China, Singapore, SK, you name it.
Just rode regional Air China flight, they were kind enough to announce at the start of the flight “Please notice, we consider airplanes to be a public space, and for security purposes we may record audio and video during the flight.”

Interestingly enough, that same announcement wasn’t made on the China -> USA leg of the flight. I don’t know about airplanes being a public space, but it’s definitely private property and companies can and do record on their property for all manner of reasons, marketing will be the primary driver I awesome.

What would audio analysis tell an airline about additional products / services they could be selling customers that are currently untapped?

I for one tend to complain about my seat, mainly mumbling to myself, but if I had a offer to move to any open seat for a $20 fee. I’d take it in heart beat.
-$6k
The startup was a scam (as most of them in silicon valley). I later came to know and left after 1 and half years.
That may be all there's to it, but I bet the fact that it's sexual makes all the difference. Do you think Bucephalus355 would have bothered to complain about it if the scene was of a woman puking?
Ughhh.. yes they do. In fact in more places than just airports: https://nyti.ms/2NAbGaP
My first computer was a TRS-80 Model 1 with Level 1 BASIC. 4KB of RAM and 4KB of ROM.

It predated the VIC-20 by just under 3 years. You might have had 3.5KB free for BASIC programs but the VIC-20 had a comparatively spacious 5KB of RAM and 20KB of ROM.
> When I rail against the tech industry, it isn't as a Luddite, but as someone rallying against exploitation and subjugation.

Which was precisely what the Luddites were doing too. They weren't anti-tech. They were anti-exploitation. In these days, such exploitation often involved use of weaving machines, so the latter got destroyed in the process, but it was never about technology itself.
I've worked for around 10-15 startups now over the years. Only one meaningful exit or equity:

NEWR from 2009 to 2011, employee #20 or so, 20k shares (0.05%), exercised most of my vested ~10k before leaving, sold post-IPO-lockup at ~$36/share for a gross of around $385k . Would have gone up if I had waited to sell, to around $1m now. Most of my former coworkers are independently wealthy now, solid folks who all absolutely deserve it. Should have negotiated for more shares or cash, stayed longer, and exercised all vested shares. Live and learn I guess.
You could also say it was this guy: https://en.m.wikipedia.org/wiki/Jim_Keller_(engineer)

And now he is at Intel.
Same, I’ve done it last year. SPIM was so annoying to work with that I decided to develop with MARS and then before handing it to the professor trying to see if it had any issues running with the SPIM simulator.
Same browser and connection means those multiple accounts most likely share more than enough of a fingerprint to beprobabilistically joined together.
According to WorldCat Library search it's not even in libraries other than Library of Congress and "College of Western Idaho". So it is probably not popular enough to be uploaded to a pirate site either. In fact it just came out on 18 September, so in order for a copy to be uploaded anywhere someone would have had to buy it and then immediately scan it, or the authors would have to put a draft copy on their website.
This is its fourth submission this week, none of which shows as flagged down.
I've had very similar symptoms. After 15 years I've managed to reduce my symptoms by doing an elimination diet (apparently my intestines are sensitive to many kinds of food) and taking the FODMAP diet to its natural conclusion: reducing all things fermented and fermentable in order to reduce my dysbiotic intestinal bacteria. This means avoiding FOS, "soluble fiber," resistant starches, sugar alcohols...

At some point I figured out that it was all about the intestinal microbiota, so I had decent success at reducing the dysbiosis with with caprylic acid and undecylenic acid. Intestinal bacteria, even the "good" ones, sometimes produce histamine, and always produce gas. The "bad" ones produce literal toxins.

Recently I added S. Boulardii and I am now 60-70% improved as long as I maintain this admittedly difficult diet (while making sure to avoid vitamin, mineral and fat deficiencies).

My life has been hell since the age of 11. I was "drunk" and sick to my stomach for decades before the trial and error paid off. The doctors I saw kicked me while I was down. It is quite a dark realization that the industry sucks for entire classes of illness, although I do recognize its merits in treating stereotypically presenting illnesses.
List of historical acts of tax resistance
Title is slightly misleading. This is only for for international departures, since it's tied to the passport + immigration databases. It's not for all Delta flights, since domestic flights are excluded.

It's a CBP-operated system called Biometric Exit, and from what I've heard is being rolled out at other airports, including Boston [1], San Jose [2], and Orlando [3]. So it's not exclusive to Delta or ATL... though this might be the largest deployment so far.

[1]: https://www.airportfacescans.com/

[2]: https://www.mercurynews.com/2018/08/06/san-jose-airport-show...

[3]: https://www.futuretravelexperience.com/2018/08/five-examples...
Yup, that sounds like a badly wired myocardial pain circuit.

There are well known instances, like the Markus-Gunn syndrome where the mastication commands projects onto eyelid muscles. Similar bugs may occur in other circuits.

https://youtu.be/g7e2rFua0Sw?t=7s
All the states in india have the practice of people having their caste name as their surname except in the state of Tamilnadu(about 70 million population). This was due to one atheist man's effort who opposed the caste system Periyar(https://en.wikipedia.org/wiki/Periyar_E._V._Ramasamy). He broke the ganesha statue on the day of buddha's birthday as an act of protesting the use of ganesha to instigate the religious violence for political benefits. Ganesha was created to stop people from converting to buddhism. That's why ganesha was always found under the palm tree which is buddha's place. Also ganesha statue is made gigantic and is taken in to streets and made more entertaining festival inorder to create more merriness and keep people more engaged and not to feel left out. But at the same time Ganesha statue is disolved in water after about 10 days, this is beacause the non-brahmin people who were allowed to do the priest duty for 10 days should not become a competion to the brahmin priests.
Fewer women in Kenya are choosing or completing STEM courses
If you're using hn.algolia.com (say, via the past link) to confirm that, AIUI, flagged submissions aren't indexed or returned as results.
Sony to stop production of PS Vita in Japan next year, no plans for a successor
Why UX Mockups Shouldn’t Be the Focus When Talking About New Product Features
AFAIK GPUs are ok at matrix math, it's just they are typically built for higher precision. AI chips probably have some other advantages but I'm not the best person to speak to them. Here's my simplified understanding:

CPUs are optimized for taking a decent amount of data and doing anything with them, especially if the order counts as is often the case with algorithms.

GPUs are optimized for taking a lot of data and doing the same few things to a lot of them (shaders, physics).

AI chips are optimized at taking a massive amount of data and doing a large number of calculations on all of them. In a neural net each "neuron" and/or "synapse" can represent a function/weight that needs to be calculated across many inputs.

In a deep learning set, this could be millions of weights and the more weights you have the more important memory and power efficiency become. When a NN is being looked up into (as opposed to the initial training) it's often in real time (self driving cars, "hey siri", etc.) so the demand to finish all those calculation's faster is even higher. OTOH the accuracy is less important, as neural nets - like people - are good at filtering out noise.