skysight-inc/HackerNews huggingface dataset:
Flying Observatory Detects Atomic Oxygen in Martian Atmosphere
but then neither does google.
The internet is the most fascinating thing in the history of humanity. Of course you're "addicted" to it, why wouldn't you be? In the old days you would have been addicted to reading books, probably. Every second you're faced with the choice "should I do nothing in particular or should I reach into my pocket for the ultimate information entertainment device?" Why wouldn't you take a look at what the internet has to offer this minute? That might be a really interesting question to try to answer. Is there something else you'd rather be "addicted" to, some kind of less salty addiction, something more challenging?
I bought I also have the WH1000xm2s and are very happy them but the new WH1000xm3s are tempting me.
Of course it has. You can't just Google for anything on the internet. Google has already censored child porn for example
The best examples are probably in diet, e.g. Weight Watchers, and Jenny Craig. There's a huge industry around drug & alcohol rehab, though it's not easy to see which parts could support startup-type scale. A bunch of these needs are served in the healthcare industry, often with much room for improvement. Healthcare is a totally massive industry.

It's not an easy place to build a business, but there are lots of resources spent on these problems now. They affect families, businesses, and individuals. Figuring out how to line up these things and make a viable business is complex, but some people will figure it out.
share some references

The PBE / IPS (= programming-by-example / inductive program synthesis)
literature cares about this a great deal. The approach to PBE / IPS in
the tradition of [1], essentially seeks a unique representative of
each equivalence class of programs w.r.t. to the usual typed notion of
program equivalence.

Since most interesting examples of PBE / IPS use recursion, [1] goes
through a hierarchy of recursion principles, e.g. map, filter, fold,
full recursion. The order of choosing recursion principles matters a
great deal for controlling overfitting, the bête noire of machine
learning.

The basic problem is this: the answer to the question "What terms have this type?" is almost always an infinite set with a great deal of redundancy. E.g. 2+3 and 3+2 are both an answer to "What terms have type Int?". But both answers are contextually indistinguishable, so in practise we only one to see one of them. Since contexual equivalence is typically undecidable there are limits to how clever you can be in a computer program to avoid redundancies. Moreover, in PBE / IPS you typically don't want to have just values, you are interested essentially in short programs inhabiting a type. So cut-eliminiation, at least as conventionally understood, doesn't quite do the job.

[1] J. K. Feser, S. Chaudhuri, I. Dillig, Synthesizing Data Structure
Transformations from Input-Output Examples.
Portland startup Sensu cuts jobs in 'course correction'
I used Pocket Points briefly in college. Their main selling point was the integration with businesses around campus: if you accrued x number of "points" by locking your phone with the app open while on campus, you got discounts or occasionally free products at stores/restaurants nearby.

However, it was really susceptible to being gamed. I remember walking to campus right before bedtime, locking my phone, and then going to sleep, giving me points all night. Eventually they tried to fix this by giving more points during "peak" hours (normal class times) and drastically reducing points given during off hours, but it was still pretty easy to game.

My college self really appreciated the discounts, but I don't think it was a great business model (I have no idea how they profited off the app) and I'm not sure if they're still around.
> The Exile was always a little bit over the top.

A little? It's obvious they have an ideological axe to grind, even stooping to name-calling.

> I'm pretty sure the history of the prize is accurate.

What about its history is accurate?

> Because that's so blatant in using the reputation of the Nobel Prize

The Nobel Prize in Economics has existed since 1968 and, like I said, is awarded by the same institution as the other prizes, in the same ceremony, and in accordance with the same rules governing the awarding of the other prizes. What's dubious about that?

> to bolster their own questionable discipline.

What discipline is questionable?
One of the first YC Startup Schools (the first?) was held in April 2008. I was there and distinctly remember one of the presenters, an editor from one of the financial monthlies IIRC.

He claimed that subprime defaults (no mention of housing bubble among the mass media at that point) were no big deal and wouldn't be much trouble to the economy. The real metric to watch was the direction of worker productivity.

Having witnessed the collective madness of the bubble that inflated relentlessly for well over ten years (zero-down mortgages almost by default, flip-o-mania, price appreciations far in excess of inflation, non-stop chatter about real estate the double-digit gains made in the last year), I was stunned. This guy didn't have a clue about what was right in front of his nose.

He wasn't alone.

A similar effect operates in the early phases of a bull market.

Take the years following 2001. Interest faded fast in building riches through day trading nasdaq shares. Silicon Valley looked more ridiculous by the day. Sock puppet commercials and online grocery delivery services became the butt of jokes. An entire business model (making money online) lay in ruins.

As the nasdaq clawed its way back, very few noticed.

Two points:

1. You'll know it's a bubble when only cranks are calling bubble.

2. You'll know its a new bull market when each advance is greeted with yawns, laughs, or eye-rolls.
My pixel 2 also came with an adapter for the 3.5mm, and my bluetooth headphones worked fine as always. And I think google also has the pixel earbuds?
Show HN: SponsorWhale Beta – Make money sharing products you love
I really thought this was going to be a case of someone who spent years getting raises up to $15 an hour was having a fit because now everyone makes as much.

OK, so the complaint is a little more legitimate than that. But whenever you overhaul a system, some people gain, some people lose. Could amazon afford to raise wages and keep legacy programs around? Probably. Do they have to? No. And if Amazon is crippled by an exodus of workers then we'll learn something. And the way I hear it, unemployment is really low, seems like a workers job market to me.
It was convenient that the piece was the last one for the night. However, Banky's piece did have the largest gain from ceiling estimate to sale price. It wouldn't surprise me if the Sotheby's staff knew of this potentially dramatic gap and decided to put it at the end of the night. Combine that with the potential of Banksy pulling a stunt like this, and placing it last seems to be the more conservative option for the lineup.

% LOT PRICE ARTIST WORK
3.47% 67 1042000 Banksy Girl With Balloon
2.94% 66 1030000 Kaws Again And Again
2.42% 48 1450000 Georg Baselitz Kopfkissen
1.77% 29 1150000 Georg Baselitz Ohne Titel (Der Neue Typ)
1.71% 42 1450000 Lucio Fontana Concetto Spaziale, Forma
While research in these two fields certainly can overlap and influence each other, in the end they are still different fields with different goals:

- Synthesizing compounds

- Creating sensors to detect compounds

The goals in one field might be realizable while the goals in the other remain elusive.
Russian blues reveal effects of language on color discrimination
Happy birthday HN (first HN post from 2006)
This is just a suggestion, but it might be useful to stop thinking about news reports as "the news report says X is real and true", because that's not what most news reports actually say. The text used usually reads like: "An unnamed source says blah blah", and "Joe Smith, a retied auto-worker, says blah blah blah", or "In response, a spokesman for Large Company, Inc. says blah blah blah blah", and so forth. Bloomberg (probably) isn't insisting that the story or the denial is true or false. They repeat the facts that other people have said. Often those facts are true; often those facts are false.

Thinking about it this way helps me make sense of the topic. Maybe I'm weird.
Hi HN, I'm developing SponsorWhale primarily with the goal of helping content creators monetize their content regardless of their size. Here's how it works:

1) Enter any Amazon product URL and write a tweet-length review of the product
2) Share the link through your content
3) You make money as an affiliate when someone purchases the product

The Beta lacks in some important functionalities like detailed analytics, but I wanted to get the MVP out there to make sure this is something small content creators really want (I suspect they do based on interviews I've conducted).

Ultimately in its current state it's just a super simple way to do affiliate marketing, but I plan on building a user-base of small content creators for which brands can create custom, high-paying affiliate opportunities.

Looking for criticism.
every time my dynamic ips change (work machines), I send a message with the latest ips to my slack, so that when I vpn+ssh, I know the ips.
I second the Sony WH1000XM2 or XM3. I owned both of them. In terms of noise cancelling I didn't notice much difference between them, except XM3 feels a bit more comfortable. Compared to Bose QC35, however, they were significantly superior. They were not even close.
Or vice versa.
It was livable because they'd get 2 shares of amazon stock, worth about a 10% boost to their earnings per year and in non holiday seasons, they could make an additional 8% on performance, with that doubling in the holiday seasons. So instead of making an additional 18% to 26%, the bump to long term workers is as stated in the article from $14 to $15, where the previous performance program in the off season was $1.28, before the extra 10% from the stock grant. So amazon just saved ~20% on this holiday's logistics costs.
Was the 5x thing Google's fault or LG's? I blamed LG and I won't buy another one of their phones for awhile.

I was going to put up with my 5x until the pixel 3 came out, but it became unbearably slow to use as of this spring. So I bought the Motorola x4 under the Android one banner and I couldn't be happier. I think I paid $150 for it after getting $100 for my 5x. The battery life lasts all day and I can use Snapchat on the phone. I regret not upgrading to a "budget" phone earlier.
Well, Earth is in space, and there's sound here.

There's no sound in a vacuum. As soon as you start adding material, like an entire collapsing star's worth, you can have sound.
We’re slowly rolling out extra features that are enabled by installing the GitHub App (syncing state, CI status, author, assignee, labels) without needing repo scope, that’ll be free for open source repos and paid for private.

Didn’t expect to see this on HN news today, the homepage will be updated within the next day or two to explain the paid feature.
One of the factors is that Apple forces shifts before the mainstream is ready. But they can get away with it because they’re Apple. This was the case before the iPhone BTW with floppy drive factors and the like. Once Apple blesses, others feel authorized to tag along.

Not saying the notch is the same thing but 3.5mm jack certainly is.
It could be as simple as not owning any devices with shiny colored screens, which are addictive to the eyes, and instead owning only grayscale e-ink screens. I wish laptops and phones like that were easier to get.
A traditional MVC app process has a start up time and a memory cost so you either have a bad experience while a user waits for it to start up, or you have to rent (or own) some amount of RAM 24/7.

Static site + API Gateway + async processing by a Function-as-a-service type pattern (or its abstracted productified form) allows for something between your two categories here -- mostly content that is pre-rendered but supporting some write-type features where people can still post comments or subscribe to newsletters or something like that.
Good thing he has you to shrink a bad faith argument to a radically smaller set of claims!
Even worse is that institutional problem where you have people constantly cycling on and off of this hardware that was never designed for a multi-user environment, so default passwords are the order of the day. At best they changed the password and then put it on a sticky note attached to the monitor.

The last thing you want is someone forgetting their password to their tactical system while out at sea and having to sail back into port to get the vendor to reset it for you.

And really, the first case is no worse than the old days with manual controls that just anybody could walk up and fiddle with.
You either have to know the fact is false, or act with reckless disregard as to whether it's false or not. 17 sources suggests that they did care whether it was true; if they didn't care, they would not have gone to all the effort.
Facebook Isn’t Sorry, It Just Wants Your Data
Granted, my 2011 Nokia N9 also had an OLED screen. But they became unfashionable for several years due to (then) poor color rendering (although their contrast, naturally, was and is top notch). Currently they've been making a comeback.
NEOM forms 18-member advisory board
> Furthermore if there truly was a compromise by a foreign nation it would be classified as a national security threat and subsequently classified and kept from public knowledge.

This is exactly what I think. Anyone confirming such a case publicly could cause a huge international confrontation between two largest economies in the world. It's not about tech or business – it's about national security and international politics.
Cron job every two mintues on my raspberry pi to switch a relay on/off depending on the temperature in my shed.

Relay is attached to a 500w heater and 4 old computer fans blowing the hot air at my feet.
I cut myself off time to time in various ways. I canceled home internet for a few months one time, another I switched to a flip phone for a month. I'll frequently remove Chrome from my phone. I have tried the greyscale thing many times. Etc.

What makes all this Hard is the plethora of legitimate use. When I canceled home internet, I was unable to log in to work from home (five minutes a day in the evenings helps keep the compute cluster rolling). When I switched to a flip phone I started cooking less- the smartphone had made planning meals & shopping easier. When I remove Chrome, inevitably a week or two later I'm on the road and want to book a hotel or find a campground or check on road construction. When I switch my phone to greyscale, weather charts & maps become impossible to read.

Personally, if I was working on code & my goalposts were a commit to GitHub- well, without access to stackoverflow I might never be able to finish.

All that said, thank you for your perspective. It is not hard to believe many people do not actually want to change.
The SEC prides itself on its independence; I don't think it would have any problem taking on a company that lied on behalf of some other agency of the federal government.

Now, a court order would indeed be something different, but I find it hard to conceive of a judge compelling a company to lie.
Some empirical results seem to contradict your claim "average when it comes to noise cancelling":

https://www.rtings.com/headphones/tests/isolation/noise-isol...

This gives Bose QuietComfort 35 overall attenuation -27.08 dB, which is only beaten by the Sony wh-1000xm3, and some Etymotic in-ear buds.

Notably that number is more than 2x the attenuation of the Momentum, at -12.35 dB.
The UN Climate Report Demands New Transportation Habits
Nothing, ain't life grande?

They got from barely "livable" after working to the bone (and not being able to take bathroom breaks) to almost "livable" with caveats elsewhere.

The magnanimity of Amazon (and the local cafe -- who at least allows tips and is less mind numbing) is truly great.

Besides they could always just starve so this is clearly better.
You could do it yourself using this extension if you use Chrome:

https://chrome.google.com/webstore/detail/user-css/okpjlejfh...
All parties have every reason to deny. The companies will be hurt, the intel folks don't want anything public, ever.

Journalists are the only ones that care about what the public knows.
There exists extensions that can do it, tho be careful about them some have been known to spy on people, by reporting back data
People actually pay a lot of money for meditation retreats, which are basically just camps where you get to stop looking at Twitter for a while.
I’m not sure what you mean by “infinite rate”. Clearly, the economy is not growing at an infinite rate today! For the US, it’s somewhere around 3% a year.

Can global economic growth proceed at a modest positive average rate for centuries? It might not, but there’s no obvious reason to believe it can’t.
Just my 2 cents, I own a Nokia 6.1 and bought it for the exact reasons OP had, a cheap stock android phone. Unfortunately the hardware is really poor and I still don't have Android 9 available to me yet. The camera is really really bad, it sometimes shows a photo has been taken and when you view it later it turns out the shutter captured whatever was in view 2 seconds later. Something is also really wrong with the audio firmware, music will just stop randomly followed by a loud pop, it's like a buffer overflows or something.
With the current political climate, that might be the intention. If you undermine international trade though marketing you don't have to fight a tariff war.
I hope the Pixel 3 has a PWM free/high frequency PWM OLED display but I'm not holding my breath :(
An earlier discussion on Jupyter, Mathematica here on HN,
https://news.ycombinator.com/item?id=16840692
Making a Homebrew Videogame for Game Boy Color
Wake me up when a news organization other than bloomberg will go on record as saying the story has merit.
This is a witch-hunt by Murdoch, I'm guessing. 500,000 people's information with the potential to have leaked, and yet Facebook and Equifax fucking skate on DEMONSTRABLY having leaked well over half of America's personal information to domestic and foreign interests alike.

This is sour grapes of the worst kind.
My entire neighborhood is home from the 70s-80s and their value continues to rise every year.
Parkinson's diagnosis set to be sped up by Tencent's AI
I should have clarified/furthered my thoughts - and it's true you shouldn't by default trust a startup to do things safely or ethically, you should certainly do your due diligence that they aren't making claims that can't be backed up, nor are following processes (etc) that can do more than what is a pre-existing level of acceptable risk/harm.

Presumably however, if they're/a startup is expecting to survive in the long-term they'd need to be leveraged and connected with safety and people with the appropriate knowledge, because they should be scrutinized more thoroughly if they're involved with health. Otherwise they're going to die off - and hopefully without hurting too many people or getting too big, like where we could reference Theranos.
Thirded. Half-decent earbuds plus dense foam tips like Comply and I couldn’t care less about a crying baby in the next row on the plane. Cheap, compact, and effective.
Objections are goals
The fundamental problem is that education was priced traditionally priced using a cost + plus or a %cost basis what you can pay. Today education is getting priced using value pricing, if in theory you can get a job which pays X you can pay sum of multiple of X.

The second problem is that even if this was a reasonable system, people estimate the risk associated with getting the job paying X very poorly, colleges exploit this, even if only few people get a job paying X everyone pays the same costly multiple of X.
"Who else might get their hands on these devices in the shipping chain?"

From the original Businessweek article:

"Supermicro has assembly facilities in California, the Netherlands, and Taiwan, but its motherboards—its core product—are nearly all manufactured by contractors in China."
I'm pretty happy with duplicati and backblaze b2 since crashplan stopped business with consumers.
May I ask which software/app you use that can do this?
The bluetooth earbuds are starting to get better. The Bragi Pro is much better than the Dash. I don't have experience with Apple's earbuds but I'm going to guess users are facing similar issues with bluetooth connectivity and interference issues.

I think of bluetooth earbuds as this generations skipping CD's. It's totally unnecessary though. They could have waited.
Many of the tech startups currently are platforms to connect people to services - like psychiatrists.
Or ye olde “register a callback and never remove it”.
> HBO's "Too Big to Fail" has that moment with Paulson – and a lot of great actors in it. Really captures the trauma of that period.

Thanks, I’ll give it a shot. Yeah, those were some crazy times, I’m glad that we’re here writing about the winners, the alternative was much worse.
Salmon is only seriously breed since 1985 (or so). I'm an ex-biologist 'specialized' on parasites and diseases of marine vertebrates, from fishes to whales and turtles. (Specialist is a big word. Lets say that I spent a few decades studying it, a few hundred pages of my thesis deal with parasites of marine farmed fishes... and still feels like a newbie). A lot of things had improved in our knowledge of marine diseases (and understanding of marine organisms) in the last twenty years.

The pig is a domesticated animal, breeded since many thousands of years. You can pick one and give it a shoot of antibiotic. Then release it and will run happy again.

Marine fishes aren't in the same league. Can be shockingly delicate sometimes and get badly stressed when caught and put off the water. I have killed many thousands of them and would not use antibiotics or mess with the tank just because, without a good reason.
unemployment stat isn't gamed, people just don't understand U1-6 unemployment stats.
Digitalocean custom images – Upload your own
They copied everything except the distribution network.

You can buy Apple products in the EU, the pixel slate? Not so much.

Here in NZ, if it isn't a Chromecast, it isn't on their store.
Fair question, though it's an excellent essay. I suppose one reason could be that it was written by a software engineer.
1. A script that opens all of my morning apps and browser tabs in one command.

2. I make a run.sh script in every project that I add to my git exclude, so whether it's a Go app, Python app, Node app, makefiles, Docker, ..., no matter what I can go into any project and run this script to start it. Then I add an alias in my bash profile so I just type "r" to ./run.sh. For more complicated apps, I generalize this to have a build.sh, deploy.sh, etc.