skysight-inc/HackerNews huggingface dataset:
I bought the Nexus 7 Plus below 300 Euro. You can also get the Pixel 2 (and sometime in the future also Pixel 3) camera apk running on it in a modified version.
Side note: It has also one of the best cameras on phones in this price area.
How Do You Architect for Growth?
>> Do you suppose maybe the officers' intent was to protect the person who called them?

The officer's stated intent was to go home to his family that night. That's what's bothering me. He didn't try to explain his actions in terms of protecting the public from a potentially dangerous individual, he put it in terms of protecting himself.

So what's going to happen if you give a man a gun, tell them "protect yourself first" and send them in a situation where someone might put their life in danger? I think it's obvious- they'll shoot the person putting them in danger. To protect themselves.
Also worth remembering that complaining about this is a very important action. The market is amoral by definition, and values morality only as much as participants demand it to.
Haskell language features are importable :)
> I'm not sure this can be reduced to cut-elimination, because the question "What terms have this type?" can be asked for non-terminating programs as well -- indeed it becomes much more interesting.

Oh please share some references :) I think in that context what matters is the progress and preservation parts of cut elimination.

> Aside: I'm not following HoTT closely, I guess the problem whether canonicity of the natural number type holds in HoTT in general (= can be derived from the axioms of HoTT alone) is still open?

I haven't either, but I think that's the case.
... because they’re technically so far behind AWS and Azure that they aren’t even in the running. They even say they would have bid if it was multicloud so clearly it’s not on ethical grounds really.
Unfortunately, we're in a system with asymmetric incentives for product development. Products that addict us get more of our time and attention, and therefore higher DAU, VC funding and ad dollars. Products that help us fight addiction are in a negative feedback loop. The better they work, the less we need them or pay attention to them. The gains that users realize from addiction-fighting apps are external, often in the analog world, and by definition harder to monetize and monitor, because they have left the platform.
Power Corrupts. Control is Power.

They were at one point neutral and uncompromising in their principles even if it excludes them from a market, fighting for freedom of speech and being against censorship, trying to provide the best information whatever it concludes.

They now impose their biases, believe the power consumer doesn't know best and thus change the interfaces of their products removing advanced options or open standards, have biases in their search results, and are trying to make the world conform to their ideals where possible, or compromise principles and submit to illiberal societies if it means market access.
Snap falls to new low
Not everything is as regulated as you make it appear to be. e.g. virtually every pig farm in Denmark regularly gets antibiotics, and MSRA is found on pretty much every pig farm.

The average antibiotic use in Europe was 152 mg/kg of livestock a couple of years ago, with Spain and Cyprus being up in the 4-500 mg/kg.

On the brighter side, Denmark is starting to seriously reduce antibiotic use in pig farms with a goal of being virtually antibiotic free within 4-5 years.

Norwegian farmed salmon uses virtually no antibiotics, with only 5 of 799 farms performing minor treatments in 2016 . while 20 years ago, pretty much all farms used regular treatments.
>"Most importantly, Romer won the Prize for seeing how the non-rival nature of ideas can boost ongoing and indeed “endogenous” economic growth. Romer also showed mathematically that this process of growth is bounded, namely that it does not explode without limit"

Is it common to assume economic growth can proceed at an infinite rate?
I never got the impression anyone was saying the notch was inherently good. It was just better (as a tradeoff) than having to forgo the screen across the entire width of the device.
It increases screen space for apps to use by pushing the 'taskbar' up. Other than an aesthetic complaint I don't see how this can be a bad thing.
I didn't watch the whole live stream so I cannot tell whether they have mentioned about privacy specifically or not. From what I saw from the phone spec, there is a new chip called "Titan M" built custom for the Pixel 3.

"Embedded in the Pixel 3 phones is a new security chip named Titan M. Google designed, manufactured, and integrated the chip into the phone's secure boot process. It's used to protect the lock screen passcode authentication process and to strengthen disk encryption. This same security chip is used in Google's data centers, the company says, which means the Pixel phones are getting enterprise-level security."

this is the quote related to the chip from Wired.

https://www.wired.com/story/google-pixel-3/
That's why as soon as you come up with a list of properties your hay should have, you construct an example of it.
What's with the

> Getting paid for it!

On his geek code explanation?

http://www.wall.org/~larry/ungeek.html
That's exactly why we come to HN, right?
Show HN: CSS Stats
Any Crostini supported device works fine. Obviously more RAM and better CPU means a better experience.

I have a basic Acer with a Celeron and 4GB of RAM. Been running VS Code and node to develop React Native apps. Can even load the Expo Android app from the Play Store, no separate Android device required!

Some Crostini info:
https://chromium.googlesource.com/chromiumos/docs/+/master/c...
Yes indeed! The answer to “What are they supposed to do?” could be “Realize it will cost them too much due to the backlash.”
It's a shock wave. Physically it really is the same thing. You can reasonably discuss the idea of "pressure" and a speed of "sound" in the interstellar medium, and what happens when a discontinuity like rapidly heated gas from a GRB starts to propagate.

It's not the term astronomers would use, but honestly it's not wrong. My quibble would be that despite it being a common term, "sonic boom" doesn't really convey much information to a novice reader. Most people are just going to hear that as "big boom" and not understand that a shock wave is something distinct from a regular noise.
That's flat out false. AAPL was at an all time high when this story came out and then proceeded to drop 11 pts over the next 2 days. Not evening mentioning that SuperMicro's value has halved.
can't search a closed Facebook network. Facebook sucked up the internet.
do you remember a few years ago when CSR (Corporate Social Responsibility) was all the rage? thank god it's disappeared for the most part. i made it a point to not pursue or do business with companies that put forward a CSR agenda. it's such hypocratic BS, to be dropped as soon as inconvenient. it's a sign that the company is itself a lie.

anyway, back on point, the turning point for google wasn't gradual, it was sharp. yes they danced around china before -- i'd say this was required of them, you can't properly say no if you don't assess -- but they stood up to their values. it's ok that there were other factors.

no, the turning point was when they hired ruth porat. ask any insider. that's when it became all about the benjamins.
I still have mine from 2012 (I think I installed Dirty Unicorns on it though, which breathed new life). It still works perfectly, but I have no idea what to do with it and it's just sitting there along with my Surface RT. I'll never buy a tablet again.
> Nobody making food is wearing gloves or hair nets (aside from the one guy making cheese). That's probably not a requirement, but given the amount of food being made and how bad even minor contamination would be, that surprises me.

Do you wear gloves and a hair net when you cook your own food? I've been cooking my own food daily for over 10 years now, and I have yet to experience even a minor contamination. I don't see how bumping the amount of cooked food to feed ~70 people would change this.
Nokia could be an option: they have big range of devices in various price ranges, build quality is decent, runs near stock Android and updates are one of fastest, compared to other brands.
Sadly, not all devices have unlockable bootloader and kernel sources for some are still missing.
You need to use some imagination here.

They are clearly giving Google a list or a process to follow. Make them own it. Publish the rules and regulations and let the world and Chinese people see it. Let people also see what Microsoft or whoever else is happy to accept.

They aren't pulling these censored words and processes out of their ass. They have methods to decide what causes "social instability" or whatever. Just as pressure is mounting on Facebook Twitter and YouTube framing similar rules in an ivory tower, the pressure has mount on the Chinese too. Their own people will increasingly have things to say about it.

Everyone benefits if the process is pushed to be transparent esp now since the unintended consequences of big tech on society are becoming more and more clearer.
I use this for inflation:
https://www.forbes.com/sites/andreamurphy/2017/10/18/the-pri...

5% avg inflation
AI and Logical Induction
Depends on how many if-statements / branches your code takes.

If you have simple if-statements and all branches are grouped together to be SIMD'd easily... then yeah. GPU threads kind of are like normal CPU threads.

But as soon as you have a serious degree of thread-divergence, your performance tanks. That's why things like Chess engines (which ARE parallel problems at heart), execute poorly on GPUs. Because even though it is massively parallel, chess has too many if-statements and can't extend to SIMD very easily.

--------

Raytracing algorithms are funny: they group rays together so that the GPU can SIMD over them more easily. But without the "re-grouping" step, its bad performance.

Ex: A bunch of rays start at the camera. Some might hit a diffuse surface like wood... some might hit a subsurface-scattering surface like skin, and others might hit a metalic surface. GPU-raytracing algorithms then save off all the rays, and then processes all "diffuse" rays together, to minimize divergence.

You can't just follow a singular ray in raytracing on a GPU. You gotta re-group to SIMD units for maximum performance.
>> I'm now wondering

> You can't use uncertainty [...] as evidence for your own nuttery. Stop it.

To wonder aloud should not be so demonized much less demanded to cease.
I notice this more and more with software as well.

The other day I had to double check what map app I was using because the latest google maps completely rips off the nicer elements of apple maps.

More and more I develop a dislike for google that harkens back to the dislike people had for microsoft a while back.
Although I had 10" tablets including an iPad, I and others at work found both versions of the Nexus 7 tablets very useful.

Even with my 1 yr old iPad, still have the Nexus 7 charged and use at times. (Just the screen won't rotate anymore to landscape after the last few OS upgrades lol)

When Google decided to abandon that line and their Nexus phones, it was pretty shocking - and telling. Approximately 10+ friends, family and colleagues went to other brands or iPad Minis.
This gets me thinking - what if this issue (assuming this is genuine and I'm starting to believe it is), is not limited to server hardware and more pervasive? What if this affects mobile phones as well? I'm looking suspiciously at my Nexus 6p made by Huawei.
I'm building a fitness tracker specifically for rock climbers using RFID in addition to the regular fitness tracker sensors (accelerometer, altimeter, etc). It started as a project to teach me lower level embedded programming (I do web dev for my day job). Since then it's expanded and we're actually testing it at a local rock climbing gym. If you're curious you can see a demo video here https://www.youtube.com/watch?v=6gnEAeMDKt8
What about Xiaomi Mi A1/A2? They are not from Google, but they come with stock Android and are great for the price.
>I recall the studies showing the difference between Vietnam veterans who got hooked on dope and those who didn't, as well as Bruce K. Alexander's Rat Park experiments.

Here's a well made video [0] on this exact topic from, "Kurzgesagt," a YouTube channel.

[0] https://www.youtube.com/watch?v=ao8L-0nSYzg
ignore more than assume
cleanup psql logs older than (x) amt of days on production instances
Autodesk Fusion 360 2.0.4571 Crack Full Version and Keygen Free [Latest]
Develop Multiplayer Experiences with Apple ARKit and World Mapping
The US doesn't have one of those.

Another way of saying it, the only check and balance is political.

After the founding, there was another check and balance, in that the voting public, comprised solely of landowners, would never have voted for socialism.
"A lack of regulation has created enormous genetic families..."

Do we really need to regulate everything involving sexual encounters nowaday?
Having enough light to see to do your job safely is something I would expect from such a center.
The NSA has "attacked" internet infrastructure for many years before it became sort of legal (but probably still unconstitutional).
> "90 degrees" is recognizable, but takes up more space than "tau/4"

You forgot the unit on one of them, it's "tau/4 radians" and not "tau/4", which make it longer than "90 degrees".

"𝜏/4 rad" is still longer than "90°" too.

EDIT: I just found out that there is also a shorter symbol for rad which is the superscript c, but I don't know how to write it here and it's still longer. Wikipedia also say that it's rarely used because it's too similar to the degree sign.
Apple did not come out with the notch first. https://www.quora.com/How-do-people-keep-forgetting-that-App...
The comic is by both. One of the names is a pseudonym.
The compounds are often super complicated though. We can run fancy wines, bourbons and Coca Cola through a mass spectrometer and see exactly what's in it... but we can't currently just create those things. I would assume something being "natural" vs not would influence consumers on wines but not on Coca Cola. If it could be done cheaply in a fully synthetic I would assume they would be the first to do it.
Between the giant top bar and the "related articles" segment that opens on its own theres almost no readable vertical space left on this blog. What kind of amateur company designed this?
> believe the power consumer doesn't know best

to be fair, often they don't
(Thanks for your kind words.)

http://hakank.org/common_cp_models/ is a page which collects models that solve the same problem in different CP systems (and mostly with the same approach). It can be used to compare similarities and differences between systems, though one have to do the comparison oneself.

A long time ago (in 2012) I did a talk on comparing features in different CP systems mostly focused how "easy" - subjectively and IMHO - it was to learn the systems: http://hakank.org/constraint_programming/sweconsnet_talk_201...
Whenever people mention real wages, I get the feeling they're not really "real". What I mean is that I don't think they're calculating inflation correctly. Inflation doesn't seem to take into account Housing costs, which often cost significantly more than their constituent building blocks upon which inflation is based. Furthermore, I believe real wages should be calculated based on your ability to afford the necessities of life: shelter, food, water, transportation, medical rather than everything under the sun (most of which won't raise your living standard much). I'd like to see a chart that calculates real "real" wages for the last 50 years,.
I just wish that Super Micro shares were not otc and it would instead be listed on nasdaq...
I think that falls into the category I mentioned in the third paragraph of my comment: a serious pre-existing bug with other consequences will potentially cause the guarantee to be violated. A similar effect would happen if you had a double free that sometimes caused a crash, which is a similar level of programming mistake to creating a cyclic reference. To me it sits outside of a reasonable definition of "guaranteed".
You say that the value of orris is silly because we can just synthesise it... then admit that we don't actually know how to synthesise it.
Privacy and security, while related, are not the same thing.
Hubble Telescope, Disoriented by Mechanical Failure, Takes a Nap to Reboot
Their (newish) cache API, and worker-kv API seem to be all the foundation you would need.

Basically, it feels like they would need to make a nice UI and perhaps some connectors for github, etc.
I think people give Apple way more credit for their "innovations" than it should be due. For example, the people in this thread who think that Apple came out with the notch first.
Not a very honest paper title. "Quantified, localized health benefits of accelerated carbon dioxide emissions reductions". I lost a little more respect for Nature today. To call them premature deaths due to CO2 when they are really about other things that are emitted with the CO2 when burning fossil fuels, is deceptive.

From the article abstract:

"This generally reduces co-emissions that cause ambient air pollution, resulting in near-term, localized health benefits. We therefore examine the human health benefits of increasing 21st-century CO2 reductions by 180 GtC, an amount that would shift a ‘standard’ 2 °C scenario to 1.5 °C or could achieve 2 °C without negative emissions."

I did not read the article but the abstract emphasizes the number of lives saved in Asia and Africa. It is probably the reduction in burning coal without any scrubbers that gives the large reduction in deaths. Reducing natural gas power generation in the US would likely reduce few deaths.
I feel like I'm taking crazy pills when I see all these Android phones with notches on the top, but no screen going all the way to the bottom. Apple explained they wanted an edge to edge screen, and that the notch was a compromise to achieve that goal. Now all the android devices are copying the compromise without trying to copy the goal.
If you diagram out that sentence, you'll find it wasn't the wondering I was "demanding to cease".

I mean, sure, it could be NSA. Let's wonder! The fact that no one in public has seen one of those things isn't supporting evidence for that theory. It's even less grounded than the Chinese one.
AppleCare for a google device?
And NSO stock options, which is likely very relevant to this audience.
The whole point of a Chromebook is simplicity. Except for maybe saving a couple hundred bucks (as you say)--which I'm guessing isn't really much of a good reason for most of the people doing this--it doesn't make a lot of sense. There's plenty of cheap generation or two back laptop hardware that you can reliably install Linux on and call it a day.

If I want to do software development etc. I'll use my Linux laptop. If I just need something simple for travel, I'll take a Chromebook.
Coinbase Signup: A Step-By-Step Guide
I sometimes think that they answer to the Fermi paradox is that the universe is an exceptionally dangerous place. Even when intelligence evolves, it has to dodge a whole bunch of bullets from the universe randomly sterilizing chunks with GRBs.
Crypto Exchange Freezes $28M in Assets
Did you mean to reply to the 9to5mac article about the Bloomberg hardware expert Joe Fitzpatrick concerns about the Supermicro story? If so I do not understand your comment
you need to rethink this for more than 5 minutes. you're trading one bogeyman for another.
It is really astounding how much we can "see" what's going on out there by combining our models of the universe with our recordings of the electromagnetic waves arriving at earth.
Rc's drop will be called. But whether the exposed object's drop will be called is dependent on the reference count.

But Rc would not work if the drop was not guaranteed to be called.
I'm the same after my Pixel 2 experience.
I love writing shell/bash scripts to automate stuff on our servers. Some little things I have done:

- Wrote a script to take automatic backups from server to AWS S3 bucket and add that script to a cron.

- Wrote an all-in-one script to install/configure/setup WordPress on a barebone VPS server using a LEMP stack along with LetsEncrypt SSL. Fully automated but you need to have a domain pointing to the server for letsencrypt. Once you have a basic Ubuntu server provisioned, this script takes care of everything else.

- Playing with a simple script that sends basic server stats to an API endpoint (I know I could use monitoring tools but where is the fun in that :))
Master Algorithm: Is a brain just a huge contingency table?
So maybe with mandatory escrow large enough to pay child support, refundable when the child is 18.

For the rich only, obviously.
>> Firemen definitely do also have a mentality of no unecessary risks -- which, yes, is a little different.

Yes- unnecessary risks. Some risk is inevitable when you're doing that kind of work- putting out fires, rescuing swimmers in distress and so on. And those people put their lives at risk as a matter of course.

A while ago I got my ass pulled out of a very, very hairy situation by a lifeguard. He basically put himself in the same mess I was in to pull me and a friend out. I remember looking at his face and it was obvious he didn't know if he would make it out alive. If that guy was a police officer trained to put himself first, he'd have kicked us back in and saved his ass. Instead, he waded in some really bad waters and pulled us both out.

Obviously, I'd never ask the guy to risk his life for me and my friend- but he totally did. That, for me, puts all that "I have to go back to my family" stuff in a very negative perspective.

Yeah, as a police officer you need to make sure you go back to your family- you need to make sure everyone goes back to their family.
Chelsea to Hold Down Hazard with a New Deal
The model of deploying a single page app that calls serverless endpoints and cloud databases, has architectural reasons to be preferred. Multi-cloud is a great way to be robust to cloud failures, and have better negotiating leverage with your utility vendor. I wrote a blog post about using Netlify with FaunaDB to build multi-cloud serverless applications here: https://fauna.com/blog/survive-cloud-vendor-crashes-with-net...
This is a myth:
http://blog.revolutionanalytics.com/2012/06/fda-r-ok.html

https://www.fda.gov/downloads/forindustry/datastandards/stud...
> Reporters can't be this dumb.

Have you ever actually dealt with reporters before? From my time in science I can attest that yes, reporters very much are this dumb at times. That's the issue with anyone who's too much of a generalist.
Note to people in the EU. Google does some fuckery to show regional pages, and will only show the pixel 3 for France for instance.

The whole range of announced products:
https://store.google.com/us/?hl=en-US&countryRedirect=true
But Samsung seems to have no problem making notch-less phones with almost no bezels.
I can't even look at the comparison page without being in the correct country. sighs
exactly. it jumped from bankruptcy level ($1.5) to bottom of peers ($20) in august! since then it had a peak in sept and is on freefall again, while it should have been rising faster.
https://alisdair.mcdiarmid.org/kill-sticky-headers/ works well
How does this compare to zeit (zeit.world)? I notice they support functions and identity.