skysight-inc/HackerNews huggingface dataset:
Hi Carl, it's me, mathematics. I'm sure you recall that Turing machines (TMs) can be enumerated. ActorScript programs can also be enumerated, as can Direct Logic statements. I'm sure that you also have no problem with the basic concept of arithmetic encoding, nor with diagonalization widgets.

So, I'd like you to demonstrate that Direct Logic is, in fact, strictly more powerful than TMs, by constructing a DL program which cannot be computed by any TM.

Alternatively, I'd like you to prove the claim, "In Direct Logic, categorical theories of the Natural Numbers, Real Numbers, Ordinal Numbers, Set Theory,
the Lambda Calculus, and Actors are inferentially decidable, meaning that every true proposition is
provable and every proposition is either provable or disprovable," from your abstract. Specifically, I'd like you to construct the Direct Logic program which proves or disproves any given theorem. If that is too difficult, it will suffice to demonstrate a use of Direct Logic to answer a tough question about numbers; I humbly invite you to consider Goldbach's conjecture.

Thanks and good luck.
It is true, but I think it's reasonable to suspect that principal-agent problems are less of a concern when you have non-collaborating individuals trying to extract money from an institution which doesn't structurally have a principal-agent problem than in the situation where the corporation itself poses a principal-agent problem with respect to its customers.
If we take the Russell 3000's market cap (~30T) which contains ~98% of all US stock market cap we find that the average corporation(where corporation is defined as a major entity and not a small business) is worth .01 trillion or 10 billion. That would make Apple a Hectocorp.
Many modern monitors might have VGA still, (none I've seen recently do) but almost all lack the ability to handle the 15khz horizontal that much vintage computer tech uses.
Does that include target retirement funds and the like that include a mix of different asset classes? Last time I looked I didn't think it did, so you would need more than $10k if you want to do the sensible thing and not have 100% of your assets in stocks.
As somebody that enjoys cooking and also eating (eggs, for example), this sounds like an impossible task that accomplishes very little health-wise as you will still be consuming the problem on bad pans. May I suggest the less painful “don’t use metal on your nonstick and throw anything with scrapes / gashes in the trash”?
As an addendum, it should be noted that reputation and money are not unrelated, and that when stealing ideas from other labs and taking credit for them, scientists are effectively putting on a false show for funders that can increase their ability to get grants.
The eyes see a 2-dimensional picture. Computer displays produce a 2-dimensional picture. There is no such thing as a “3D map” on a standard computer display. Only an orthographic (or maybe perspective) projection which animates in response to user input.

In general an orthographic projection is a poor choice. The thing going for it is that it is easy to understand by analogy to a physical globe, and human spatial understanding can partially compensate for the distortion by imagining a sphere.

But there are also disadvantages, for example on an orthographic projection north is not always vertical, latitude and longitude lines are neither perpendicular nor straight, shapes and areas can be very dramatically distorted near the edge of the map, there are dramatic distance errors between far away points or points not in the center of view, it is impossible to view more than half of the planet’s surface in one view, etc.

There are many other choices of map projections, and for any particular purpose, some other projection is usually better.
>with the idea that they will save money over time

Is this actually a stated goal or are you being facetious?
By the way, for anyone who prefers Google Maps to load fast and show actual satellite/aerial imagery (rather than trying to render each tree as a weird crumpled blob) there's a flag you can set to get the old, fast 2D mode:

https://maps.google.com/?force=canvas
They use nonstick for a helluva lot - it’s cheap, and it’s easier to clean which saves time. Check out your local restaurant auction for sauté pans.
Seriously. It's scary how accurate the movie Idiocracy is becoming.
You can use Numpy in Cython.
as US manufacturing faded away (from a peak of about 20 million jobs in the late 70's to about 12 million jobs today), the economic "good news" story promoted by the thought leaders was the that America's "true" strength was creativity and innovation. and US research universities are the best in the world.

Americans wouldn't need to make their money by building stuff. instead, they'd make their money by inventing and designing stuff and owning the IP. this IP ownership was supposed to guarantee America's prosperity into the future.

so, this silly nationalistic idea was more or less the official economic plan for American prosperity, starting in the late 1980's, i guess.
For some people, acid reflux can be more of a problem if they lie down to sleep with a full stomach.
Do any of us expect that the computer scientists who invented and standardized TCP/IP could have reasonably anticipated Facebook and the fake news problem it would have?

I would posit that there was no good way to reasonably forecast it at that time. This isn't an irrelevant point, though it will seem that way at first blush. The point is that it's difficult to forecast significantly in advance the consequences of technological advancement. That the people asked to do the forecasting are not trained in analyzing social trends does not make this task easier.
More-over, I don't think parent is giving enough credit to certain types of computer scientists and certain companies.

Facebook, Google, and some game companies definitely do hire lots of human-computer interaction Ph.D.s who definitely are trained in exactly this sort of thing.

There's a reason the title is "computer science researches" and not "computer programmers".
For a moment, I thought that CMU's and Andy Pavlo's amazing database project got serious funding.

https://github.com/cmu-db/peloton

I'm a bit disappointed now
Yeah I understand that they are different but it's also true that restricting calories overall and losing weight is beneficial no matter what diet you use to do it. So the question is which of the many diets that can do this is the best for your long term health.
If you have good credit, their credit card is good for a daily driver if you're the type who pays off a card monthly. Unlimited 2% cash back, no annual fee. You can set up the cash back to go straight into investment accounts too.
I don't think you would have to believe that we're competent at predicting there impact on society to support this. There main benefit would probably just be getting people to consider the potential negative impacts of their work.
Characters are still precious. I spend my life typing commands and hate poweshell's verbose syntax.
It just doesn't flow.
Thanks for the answer. I bought the book anyway because reading the listings may still prove useful, even if the code doesn't translate. But it's good to know.
Militarizing Your Backyard with Python: Computer Vision (2012)
As a guess, I'd say it's because the glucose can be used by the cancer directly as an energy source, and that the fructose can either be metabolized in the tumor directly as an adaptation, or it ties up resources elsewhere in the body that could have been better used to fight the cancer.

The lack of protein or fat in the juice means that it cannot help the rest of the body rebuild itself as the tumor is sucking up all available resources. Shipments of essential fats or amino acids are being hijacked by piratical cancer cells, and never reach their intended destinations. If there were an oversupply, some might still get through.
> a 2k treadmill only lasts 2 years?

Don’t know. Never bought a 2k treadmill.

(Simple treadmills last to 50c a mile. I think it is a reasonable price).
It’s not safe to assume that. because you can land on the article without having any sort of interest aside from “ooh who is this new billion dollar company?”
Though, to be fair, even if they aren't good at predicting societal impact, even asking the question may be enough to identify low-hanging fruit, even without expertise in sociology.
Needs work. A drive I would make from my bay area home to my parents home in the San Joaquin Valley in 3-1/2 hours. After increasing the travel time, the map still shows me short of my destinations after 8 hours.

Nice idea though.
Reusable tampons and condoms (from the article) might be a bridge too far for many people.
I find it useful to take notes on discussions that seem illogical, unscientific, dogmatic, etc. Later on, one can always post their counter arguments on github [1] or their own site [2] where it won't be grey text. You could even start your own forum, where you can set the guidelines.

[1] - https://github.com/

[2] - http://n-gate.com/

Not my sites, just an example. You can make the text as big, bold and readable as you wish. I prefer really simple stylesheets.
How the internet works explained through Rangoli
Some of these claims seem extraordinary, e.g. some casual googling seems to indicate that recycling paper is less chemical and energy intensive than new pulp... so do you have some specific research that supports these ideas, or does it all come from the P&T episode?
For the purpose of the GDPR, an IP is PII. However, one can get rough location using an anonymized version of an IP address (say one that has zeroed out the last octet or two).

From Recital 26 (https://gdpr-info.eu/recitals/no-26/):

> The principles of data protection should therefore not apply to anonymous information, namely information which does not relate to an identified or identifiable natural person or to personal data rendered anonymous in such a manner that the data subject is not or no longer identifiable.
http://foolsandhorses.weebly.com/triggers-broom.html
I read an article yesterday about some trillion dollar company and it didn't even explain what they did!
Usually restaurants use aluminum pans and oil.
Remote from NYC?
Something useful to keep in mind is that all the desert cities of the American Southwest can only exist because of the Colorado river.
$4B? That's insanity. I know it's a dead horse but valuations are totally detached from reality.
A generation growing up on this will probably be less likely to believe in a flat earth, since the intuition will develop from the time they first start looking at maps.
Well what's weird is that they have Mesa Verde for Colorado. So they're not excluded.
Yeah, but sometimes it's pretty hard to avoid simple loops in numpy code. This is where these tools can drastically speed up your code.

In order to achieve good performance, all numpy code should be vectorized.
From the first line of the article.

The Gall–Peters projection is a rectangular map projection that maps all areas such that they have the correct sizes relative to each other. Like any equal-area projection, it achieves this goal by distorting most shapes.
I’ve had about 5 of those in the last two weeks. I wouldn’t worry about it.

You can probably figure out where they got your password by going to:

https://haveibeenpwned.com
I'm not sure if it counts as charity but my first job out of school was managing data for non-profit bat research project. There was a small amount of scripting and some website work. Not too much intensive programming though. I also did some similar work for a conservation organization that runs out of a local park. That one was volunteer work.

Local conservation or biology groups like that typically have a lot of data but not many people with the skills to organize and analyze it. They're usually pretty grateful to people that can help with that.
On requiring English in a free software project
Your username is obsolete in Ubuntu. It simply gives an error message.
Nearly Half of Americans Are Lonely
Depends on your definitions. If someone makes a copy of the Mona Lisa and claims it as their own, does it stop being a great painting? (Or if you don't think the Mona Lisa is a great painting, replace with whatever you think is.)

In fact given what I can tell of the author(s) in this case, we should be grateful it's so heavily plagiarized; the less they plagiarized (and the more they inserted their own content), it seems the worse it would be. :-)

----------------------------------

BTW I took a look at the article again, and it contains solely of two paragraphs picked up verbatim from Wikipedia, followed by the remaining paragraphs each verbatim from book. The only changes I could detect were:

1. where the book mentions "Starting with the work of the social psychologist Festinger", the article has "Starting with the work of the social psychologist Leon Festinger" with a link to the Wikipedia article for him

2. the article introduces random bolding of various words

3. where the book says

> There are thousands of variations to these plaints, but the one thing we never seem to hear is a simple...

the article says (turning the correct "hear" into "here")

> There are thousands of variations to these objections, if you are interested in finding more, check out devexcuses or programmingexcuses. But the one thing we never seem to here is a simple...

Apart from that, there doesn't seem to be a single original sentence in the article.
Where in my post did I indicate that I live paycheck to paycheck, have nothing saved up for retirement, or don't have an emergency fund?

Shitloads of Americans are in a tenuous fiscal situation because our education system has been gutted, our healthcare system is a bad capitalist joke, and thus wealth disparity is shockingly bad here. These used to be things that affected me, but now I'm fortunate enough to be a software engineer and so they don't.
Control supply of what? The index fund? If you can find investors, you can create one.

Also, Fidelity is one of many index fund owners and my understanding is that their market share is lower than competitors.
Good point - definitely the 'lack of self awareness' is a big differentiator - that said, sensory and cognitive ability is seriously impaired to begin with in these scenarios of sleep deprivation/stress induction.

It's also very scary once you do realize that you've been having a conversation with 'nobody' (or a 'ghost' is what one might think) for quite some time - it adds quite a degree of neuroticism.

On a funny/scary note - the weirdest of all is seeing two people apparently 'having a conversation' ... but upon closer inspection you find they are just taking turns talking near gibberish at one another. All of the manner, body language and tone of a 'conversation' but really, it's just two temporarily crazy people mumbling ... with automatic weapons. Thankfully with no live rounds in most situations :)
Seems like Nature is encouraging modern-day Ludditism. We have a historical perspective to reject this out of hand: workers are now much better off than in the pre-industrial period. And yes, I understand that the past does not predict the future, but that cuts both ways. As a rule doom and gloom predictions do not age well.
My son, Osama: the al-Qaida leader’s mother speaks for the first time
It probably is just a matter of being used to it. In the EU we are used to the metric system, but are ok with screen or hard disk sizes expressed in inches to the point if some brand advertising offered a 1.5 meter wide screen TV most of us would look for a calculator to make the conversion, including myself.
If we changed to the metric system also for TV sizes, most people would find it uncomfortable at first, but probably would adapt in months.
Hiw many km/day ?
Not without toppings.

But I can make one hell of a loaded baked potato.

Or cheesy mashed potatoes.

Pretty much no one eats just a regular potato.

Which is where the table falls apart. You can cook up a steak with some salt and pepper, or a good steak with nothing at all on it, and eat it just like that.

A regular boiled potato? Meh.
PMs have a role, no doubt. They should help facilitate discussion and help protect the team and communicate upward, and provide guidance where necessary. I have worked with some that did this well. I have also worked with some who cared so much about status that it negatively affected the team because they wanted five or more meetings a week (even stand-ups took an hour each). This type of disruption isn't limited to PMs, of course, it's just something I've found in my experience -- more-so than any other role.
For an entertaining introduction (and some perspective) on the whole process of trash collection and recycling, I recommend _Trashed_ by Backderf. It's an eye-opener.

Possibly a little exaggerated in parts, but just the basic farts are insane: all that stands between the gunk in the landfill and the soil system is a thin layer of plastic, usually.
I agree a "lite" version for home hobbyist tinkering would be fun, here's my effort to make one: https://github.com/Roger-random/Sawppy_Rover

I'm sure there are many other versions, created by rover-loving hobbyists around the world.
From the article:

« And “how much does a paintball hurt a 500- or 1,000-pound animal?” asks Robert Found, a wildlife expert at Elk Island National Park in Alberta. “That’s not enough of a stimulus.” »

But I'm willing to give it a try, because I'd like to see multicolored elk (and golfers).
Are they in the stuff you use to waterproof dress shoes and suede shoes too?
No kidding, right? What's going on now with exercise bikes is at best a fad, a novelty. From what I can tell as it stands the value proposition of this product and service is dubious at best, not to mention easily replicated. Yet this company with its weak product is valued beyond any reasonable comprehension of the number? Smells like a Ponzi scheme. Theres no way it can meet these expectations, with nothing but just desserts to be had when Petalon and all of it's investors endo right onto their faces. Meanwhile a small contingency of company insiders who funneled investment capital into their own assets laugh all the way to the Bahamas.
It even allows you to see satelite pictures of other planets! I'm not sure how old is that feature, but it's awesome.

You just have to unzoom far away from earth and it'll show you a menu where you can choose where you want to go.

https://www.google.com/maps/space/mercury/@47.5337211,-157.4...
What they mean when saying PFOA-free is that it wasn't used in the manufacturing of the product. For instance if you look at pans sold at Ikea they will explicitly say in the materials section: "No PFOA (perfluorooctanoic acid) has been used to make non-stick coating on this product."
I've used hot-air popcorn poppers for decades. They draw a lot of power (they're pretty similar to hair-dyers, electrically speaking), but they work well.
Commercial-grade non-stick frying pans are available. I own one; it is significantly more durable than the consumer crap.
Just because it’s inherently contentious.
Pricing on robotic hands: http://www.androidworld.com/prod76.htm
Samsung posts Galaxy Note9 info early, reveals 512GB version
uMine: A Blockchain Based on Human Miners
Adding some context since you said you have no idea:

This is actually a huge market: Biking outside is dangerous/exposed/has real terrain that may not be amenable for your current intervals etc. It works when you do it for commute/weekend rides, but if you want anything like a training plan, you need an indoor trainer.

Biking also is a rich (wo)man's sport nowadays: There are bikes you can get for $10-15k and many folks (like software engineers) don't bat an eye. Anecdotally, I personally have 5-6 bikes (one is in parts...) and add about 10k miles a year, and I am not even a racer at the lowest categorized level.

NOTE: I don't own a peloton, I have a wahoo kickr. Similar trainer without the social aspects because I didn't care for that.

As more and more people start becoming fitness conscious / want an active hobby - they are going to want a weekday option to keep up the fitness. This is it.

Other companies to look at are Wahoo / Strava / Zwift / Trainer Road / Training Peaks / Flywheel / Soul cycle / sufferlandria and a ton more I am probably missing.
So it's no longer a map application, because it's producing weird non-standard projections, tiles that can't be stitched/georeferenced properly etc.

Will Google support and maintain an actual maps application?
Or will they merge google earth and google maps together in an even less capable tool purely for consumers to wow at?
Castrating Google Earth with the webgl version and locking it into Chrome was bad enough. I wish this stops here.
Spin classes are expensive ($34 + $3 shoes + $2 water), and some people do them daily. If you use it daily for 2 months, it's easily "paid" for itself.

Or, another way to look at it is "Don't let a high per-class cost stop you from getting healthy"
Same, I live on an island it it showed multiple routes crossing the strait where no ferry or bridge exists.

Edit: but it did work if I lowered the time. Interesting work though.
Can we not burn our trash like some of the Nordic countries currently do? Or would the EPA frown on something like that?
Just curious: what's the ideal population Earth, if all humans consumed as much as the average person in the US/Canada?

Random googling suggests that for the US alone, ideal population would be 150 M, with EU-levels of consumption. That's pretty drastic.
> Who winds up feeling the pinch when you add a $.05/can tax on soda cans? Does that person really have time to make extra trips to the supermarket to redeem a few dollars worth of cans?

Where grocery stores take back empties, one just needs to collect the empties and bring them on their next trip to the grocery store, then put them in the recycling machine. You need to go to the store to buy more soda anyway, so it's not really an extra trip.

If anything, the problem in California (not sure about other states), is that grocery stores don't take back empties. Instead, they need to be brought to a recycling plant, which is usually out of the way as well. In practice, it just becomes a 5 cent tax since going to the recycling plant is an extra trip, unlike the grocery store.
Paper should be sustainably harvested and at least it’s compost.

There are compostable alternatives to single-use plastic which with the right incentives will be adopted across more and more retail/restaurant. My understanding is that those compounds are only really good for single-use and aren’t durable enough to replace plastic in its many many other forms.
Another upvote for QC35. I had cheaper noise cancelling headphones before and they worked well.

But when I got QC35, it changed my perspective on what was possible with noise cancelling technology. Also they are really light and comfortable. I wear them 6+ hour continuously at office. And with music at very low volume I cannot hear anyone in the office.
FYI: All shared maps are trivially enumerable.

Probably don't use your home address.

https://oalley.net/map/b4x
https://oalley.net/map/b4y
https://oalley.net/map/b4z
> when regulated and managed properly they aren't bad for the environment.

That's a bold statement I would love to see some sources for.
Ya, there are too many factors. Turning a pile of very ink-heavy newspapers into crisp white photocopier paper takes lots of chemicals. Turning it back into a 50% content for more newsprint isn't as much of a problem.
I actually came back here to add that same idea, but why does jurisdiction matter? I was thinking a single tag like "legally-required-readonly-notification-container", for any notice that doesn't require user action for the page to work. I think any of the child targeted notices usually require user action to proceed. Those aren't nearly as prevalent or annoying. The attempt at age ratings/restrictions on content is just as silly as the cookie thing, but it's nice to have those 18+ things come up after blindly following a link at work or in public.