skysight-inc/HackerNews huggingface dataset:
1/ I think people assume that self-driving cars will "succeed" in a binary sense. I do not think that is how it plays out. I think there is a long, slow process of self-driving cars working a little better in a little more places. In busy, urban centers, self-driving cars are going to be a long time coming.

2/ No matter how self-driving the car, in busy environments, scooters are going to get you from a) to b) faster.
iOS' ARKit Enables Reflection of Real Objects on Virtual Surfaces
So you think this is still current https://storage.googleapis.com/pub-tools-public-publication-... ?
There are a ton of headlines about material science! Stealth planes, graphene, invisibility cloak, Bucky balls, vantablack, plant-based polymers, biodiesel, these are off the top of my head. What else are you looking for?
nodejs + python. Vim as a text editor for everything, including mobile dev with react-native. Expo for React-Native is godsend.
> Which real numbers? All of them? That's a kind of mental infinitude that I don't think exists, although Kurt Gödel did.

I read the article as saying that real numbers as a mathematical concept is not a useful physical concept, and that considering classical physics with that as a first principle yields non-determinism even in classical models.

Which is to say that the number "5.78" (exactly) has no physical meaning, even though the number "5.78" (measured) is useful. If you put something 5.7800 cm from another object, and run an experiment that relies on something on the seventh decimal point of that distance, the result will be random. From a classical point of view, the argument would be that measurement error accrues, and the randomness is extrinsic. The author argues that if you consider the randomness to be intrinsic instead, then you potentially gain some insight into the bridge between classical and quantum mechanics.

I'm not as convinced as the author, because quantifying where exactly the intrinsic error is introduced is very closely related to the foundations of quantum mechanics. There's no reason classically that you can't make an arbitrarily sensitive measuring device to resolve the "randomness".
*EVERYBODY is eating more sugar than they should be. It's an epidemic. Shame on Starbucks for raising the price of regular coffee while not raising the prices of their sugary drinks. If they really cared about their customers they would lower the price of regular coffee and raise the price of the sugary crap.
Don't think of "employing" people, of making sure people have jobs. Instead, think of a society "spending" people.

We used to spend most of our people growing food. Then we got tractors and combines, and we could spend only 2% of our people growing food. We spent the newly-available people on factories - some to make tractors and combines, but more to make cars and dishwashers and tons of other things. It was an overall improvement to society - we could spend our people on more productive uses.

We need to do the same in this situation. We can automate factories. Great! We don't have to spend as many people making stuff. The trick is to find better things to spend our people on. If we can, those new things, being more useful to society than factory work, should also pay better than factory work.

But what are those "better" things? Aye, there's the rub...
An elective procedure which very likely adds lifelong negative side-effects?

Doctors do no harm unless absolutely necessary. Lasik surgeons know of these life-altering negative symptoms and still happily take your money to give you your dream realized. As their industry exists right now, they serve consumers, not sick patients. Lasik surgeons must not consider themselves a doctor, so don't trust them like they are one.

It doesn't matter which eye surgery is used, ocular surgery destroys nerves in the surface of the eye which are essential for communicating to the rest of the body the needs of the eye, like adjustments to tear composition to ensure tear quality necessary for maintaining ocular health.

Negative side-effects may be just an inconvenience for a few decades, but they can easily turn into terrible complications should your body's general health degrade such that slightly inconvenient eye symptoms becomes chronic eye pain.

For dry eye pain, there is no known cure. Dry eye pain can only be mitigated, but never cured. Dry eye pain causes tension in the muscles in the head and neck which can be triggered to form severe headaches. The muscle tension caused by dry eye pain can trigger psychological changes such as anxiety, chronic bouts of drowsiness, decreased stress tolerance, and heart palpitations. Chronic pain, such as from dry eyes, can cause chronic physical exhaustion.

The Lasik/elective eye surgery industry is terribly wealthy, and its side-effects is not well understood and suspicious. More research is necessary to determine exactly the scope and severity of its long-term side effects -- there really is very little data here and that should be terribly concerning for a procedure which is sold as incredibly safe.

Be skeptical of it and support predicating its growth on further research of the scale, scope, and severity of its side-effects.

If you're considering having a Lasik-like procedure performed on your eyes, first join a Lasik complications group/forum on the internet. In addition seek third-party research which attempts to assess the true scale of complications and how to cure those complications should they arise in you. It's far more than 1-2% which have complications, think closer to 10-30%.
13 reasons why I blog
Batteries do not use rare-earth elements (as far as I am aware).

You may be thinking of cobalt, which is expensive and mostly mined in the Congo. Reducing the cobalt content of cathodes is a big priority for the industry:

https://cleantechnica.com/2018/06/09/cobalt-free-car-batteri...
How Hair Ice grows:
https://www.youtube.com/watch?v=uZ_RJ1z22Vw
As a counterpoint, I live SF and do not have room to spare in my closets or anywhere else in my apartment for a scooter. Urban living...
It's an over-engineering marvel. The 90 day goal was probably to keep congress from losing their shit and shutting down NASA if it only lasted 91 days due to a freak accident.
I visited this page yesterday: https://www.frostedminiwheats.com/en_US/nutrition.html while looking for the calories per gram. Completely lacking in substance and entirely ad copy.
There are some folks who are pretty dead set on maligning Milgram alongside Zimbardo. Namely, Gina Perry wrote a book criticizing Milgram and his experiment's validity [1]. I haven't read it, but looking at some of the reviews, it seems most likely that it's a mixture of truth and the typical schlocky scientific journalism I've come to know and revile. [2]

[1] https://www.amazon.com/Behind-Shock-Machine-psychology-exper...

[2] Funny anecdote- when I was still in science (brain imaging) a reporter from a major news outlet interviewed another member of my lab about what brain activity would look like in a dead person's brain. The question was entirely serious.
In the US, some Republican mayors are secretly fighting climate change
That's like saying the single hardest problem in AI is having a beyond human intelligent general AI.

Sorry not trying to be pedantic but predicting what xenobiotics (ie foreign molecules) will do in the human body, much less a diverse sample of them is a really really really hard problem. One that will only be approximated and poorly at that. I'm sure there will continue to be approaches to reduce risk but clinical trials only exist because they have to. The only way we can evaluate safety and efficacy is empirically.

Predicting things like hERG toxicity is somewhat doable. And I think the realistic bright future of AI in medicine will include better on target tox prediction and some off target effects. But it's hard enough to design the drug to bind the target, imagine predicting it's affinity for all other proteins and their isoforms in the population...
"capitalism as we know it would crumble if there is literally only automated jobs and robots owners."

Exactly! What happens after capitalism?
stackoverflow is up now. gitlab still down.
I think it's against the usual expectation for a book. If they had split it into volumes then it would have matched better people's expectations. Also the videos and extra should be part of a course package. Messaging just make it sound like you are getting short changed.
Property taxes are a thing already. It funds infrastructure which we all need more when we are employed, but we all need it anyway.
Reading it now without login.
Lime scooters are already made by Segway.
do you really want to wait for a self driving uber for a 0.4 commute through traffic clogged streets during rush hour? Cars aren't one size fit all solutions for all your transportation; the point of the scooters are to serve as last mile transport.
Yes, I'd say it's among the most characteristic of the American suburb.
In terms of number of programmers programming them compared to now, I'd guess a factor of 10000 at least
Configuring Azure SQL Long-Term Backup Retention
wow it's so awesome you started doing this in College. I wish someone would have taught me this back then, could have saved a few thousand dollars and headache from picking and buying laptops.
You can say that about every efficiency ever invented.
It'll physically be there, it's not going off-planet any time soon, but it could get blown into a deep crevice, never to be seen again. Time will tell.
While 100% can never happen nuclear is a well know technology with a record of safety better then anything else.

In any category you measure environment or safety.

Modern reactors that we would build in the future are a fair bit more secure.

> More worryingly, nuclear as the fuel of the future has security implications.

While true in a global context most countries that use massive amounts of carbon already have some sort of nuclear industry anyway.
I've had this problem too. It really does help to find other interests outside work - running or yoga, bowling, poker, video games, art, family time, whatever it is. For me, it was hard to feel okay doing something else. For some reason, I felt like I should always be thinking about work. But that's just not true - having a multi-faceted identity makes everything better.

It also has helped my mental toughness - if I have a bad day (or week, month, year) at work, I still have other things to fall back on, things that bring me joy and help define who I am as a person. Before, if something went wrong at work, it crushed me. Now I have more perspective, and work issues don't have as much weight as they used to.

Only took me a few decades to figure it out! Hope yours works out more quickly.
He's a very reputable theoretical quantum physicist with several respectable results to his name. I know because my PhD was in a similar field. You could perhaps accuse him of ignorance of results in other specialities, but not crankism.
Same. I used to have a monthly calendar reminder to call Comcast and complain about the modem rental charge for my personally owned modem.

Every month they would agree to waive the fee and promise to fix it, and every month it would be back on my bill.

This went on for about a year until I cancelled my service, and then they hounded me weekly to "return" the modem.
Wow, you're really "zagging" when science is "zigging", interesting to hear how that turns out for you, please keep us updated. I personally have gone from what you describe many years ago to paleo, then to keto and now to complete carnivory. Each step I feel better and shed more weight, think more clearly and have more energy.

However modern science is also positing that there may be people who thrive on what would be terrible for other people due to genetic or microbiome differences so I'm curious how it turns out for you.
Einstein's travel diaries reveal 'shocking' xenophobia
I know, but I can imagine that they would still generate some energy in a busy building. Then again, I don't really know how much energy they consume.
China's Next Big Thing? Used Cars
It's not mission critical except for stickiness/adherence.

Arguably it could be used as a guaranteed self-marketing platform (in the intimate/most core sense - you can't watch if you don't have Netflix so people will just think of it as NetflixNews).
As everyone here knows, this is repeated frequently here. But I think it's important to note that even if you are paying for something. Most likely, you are also the product.

Paying for a service and getting your data sold are not mutually exclusive.

Many (most?) companies that you pay are also making additional money by selling your data.
Did everybody else reading this just disregard other people's comments on that thread and skip it just to read ast and torvalds debatting?
In the US we've seen a half-dozen over-the-top TV providers launch in the past couple of years. They all seem to understand that live sports is their core feature, yet none of them tries to compete on latency. I regularly see two or more minutes from reading tweets about a goal or touchdown (from broadcast or cable viewers) until I see that TD live on Sling / PSVue / DirecTV NOW / YouTube TV (I've tried them all). Second-screening live sports is impossible with the OTT apps, and is very likely to drive me back to Comcast.

There's a real opportunity for a sports-oriented OTT company to compete on latency, a DVR that actually works, and expansive rights (I never have to guess if I have access to any sporting event).
> Apologies to ast, and thanks to John Nall for a friendy
"that's not how it's done"-letter. I over-reacted, and am now composing
a (much less acerbic) personal letter to ast. Hope nobody was turned
away from linux due to it being (a) possibly obsolete (I still think
that's not the case, although some of the criticisms are valid) and (b)
written by a hothead :-)

> Linus "my first, and hopefully last flamefest" Torvalds

Comparing this to his more recent emails, it doesn't seem him he has mellowed with age!
If we held the companies responsible for the security of their IoT devices, this wouldn't be necessary. Instead none are liable when our smart refrigerators get hacked.

Let's change that instead of pushing the cost on consumers.
Psychedelics could heal brain cells in people suffering from depression: study
> That's really not how they're treated.

It really is, in my experience, at least in the rare cases where the reason for a mob downvote isn't clear.

> I don't present every stranger who bumped me on the bus...

But then, you have a single, specific focus for the "downvote": Some single person, who's apparently having a bad day. The cause is obvious, won't be improved by questions, etc. It's a good example of a case where the rule-of-thumb applies. Further, your "questionnaire" could be a raised eyebrow to the person next to you, who might look up, shrug, and turn away.

The whole point is to see if you're being the asshole, or if it's the other guy being unreasonable.

Now, imagine that everyone on the bus is self-selected for a trait besides wanting to travel somewhere. Say, they're tech or business people, congregating for the chance to talk about things that interest "hackers". They're there specifically to talk and discuss. A driveby downvote doesn't aid that goal. An explanation of why the commenter is being unreasonable does, even when it comes as speculation from someone who didn't downvote them.
Not snippets/completion, very specifically "[Sublime's] Auto-popups while typing". This is due to the way I intercept Sublime's input.

Vim's snippets/completion work fine, and Sublime's work fine if you invoke them in another way.

See https://github.com/lunixbochs/actualvim/issues/97 for the planned fix.

Of the main caveats:

- No multiple cursors is due to lack of support in neovim, it's blocked on either neovim implementing them or me emulating them

- No "Auto-popups while typing" is due to a limitation in Sublime's input system, which I plan to work around if they don't provide another first-party solution.

- Undo coalescing isn't a major issue unless you switch modes repeatedly, because Vim's undo works fine.

- Surfacing more of Vim's UI is slowly happening as neovim adds more UI APIs.

- "Extremely large files" is fixed in master for nvim->Sublime buffer changes with neovim 0.3's change deltas. It's not completely fixed for Sublime->nvim buffer changes (like if you run a host plugin or click a Sublime UI element), because Sublime has no delta system. #97 plus a C diffing library would sort that out, as would Sublime adding a change delta API.
I wonder if hair ice would be better, or worse, on an aircraft wing. I think it can't be structurally stronger, so it should get knocked or blown off easier, but I'm only about 60% more confident. A better deicer solution would be an interesting market disruption.
The difference between equity and token valuation (or why XRP is worthless)
There is value in comparing mathematics to reality even though mathematics is defined entirely independent to reality. We are able to use mathematics to model certain aspects of reality with great effectiveness.... why? Physical reality does not seem to resemble mathematical notions at all, yet shows some of the same results. Understanding that gap would be of monumental significance.
Humans used to gather resources via hunter gathering, then Agriculture tech came along and automated that. Humans now gathered resources via farming. Then industrialization came along and automated Agriculture. Now we gather resources via 'jobs' instead of hunting gathering or agriculture.

How will humans gather resources after the 'job' method is automated?

Or will we even need to gather resources anymore and will be able to focus on art and scientific pursuits and advancing the human race?
> The reason is that exponential-growth phenomena, like the adoption of any new technology, are tiny for a long time until suddenly they aren't.

My favorite exponential-thinking thought experiment is imagine a lake that just got an invasive plant injected into it. The plant has no predators and reproduces daily, so lets say it doubles every day. If we say the lake gets completely overrun in 30 days, what day is the lake half full?

There's a fancy formula for this, but you don't need it -- it doubles every day so it takes all the way until the 29th to be half full.

That's the key about renewables... they're not an extractive technology (where the more we extract only the more expensive stuff sticks around), they're a manufacturing technology (where the more we make, the better we get at making it and so it only becomes cheaper).
A good book to read to get aquainted with these notions is "Meta Math" by Gregory Chaitin. The impatient can jump to chapter 5.

https://arxiv.org/abs/math/0404335
You want your home network to be remotely managed? Good routers are cheap. Dirt cheap. With a little bit of knowledge anyone can maintain a secure and stable wifi network. The potential privacy and security downsides of outsourcing this task far outweigh the inconvenience.

If you really want to throw money at a wifi problem, invest in some actual diagnostics hardware. An ubertooth (100$) and monitor mode-capable wifi dongle (50$) will teach you more than a thousand Plume adverts.
stackoverflow was actually returning a 503, not a 500.
Kilauea's Lava Evaporated an Entire Lake in a Matter of Hours
Application of Bayesian filters was not a tiny improvement.
Super transparent at least
No, of course not. You just gave an example of a number which was real, not rational, and easily described with finite information 0.001012012301234...
> They're not creating money from nothing, hence fractional.

No, banks do create money through loans - lending occurs first, then reserve requirements are met afterwards. See for instance this research paper from Standard & Poor's:

Repeat After Me: Banks Cannot And Do Not "Lend Out" Reserves

https://www.kreditopferhilfe.net/docs/S_and_P__Repeat_After_...

The idea of "fractional-reserve banking" isn't accurate when it comes to modern banking.
As for capturing CO2, has anyone tried to use it in greenhouses or vertical farms? Some waste heat and abundant CO2 would do wonders for plant growth in colder regions and abundant CO2 would still make plants happy in warmer climates.

Would be complicated with coal (nobody wants radioactive lettuce unless you can enrich it to commercial grade) but I assume gas is much cleaner.
Does that 40B translate into more innovation or production from him? I don't think so.
> in constructivism Cantor's "proof" isn't a proof at all!

Are you sure about that, and could you point me to a reference if so? It was my understanding that Cantor's proof works perfectly well in a constructive setting.

For example, we can represent real numbers in a constructive way as functions from a natural number to a digit, where we interpret f(N) as giving us the Nth decimal place. We can represent an infinite list in the same way: taking a natural number and giving the value at that list position (a real number is hence an infinite list of digits).

Hence we can construct a function F which takes in a list of real numbers (a function mapping natural numbers to functions-mapping-natural-numbers-to-digits) and gives out a real number (a function mapping natural numbers to digits). Given a number N, this function looks up the Nth digit of the Nth number in the list, and returns a different digit (e.g. one more, modulo 10). Formally, in some Agda-like notation, it would be something like:

Digit = Member of {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

inc : Digit -> Digit
inc(0) = 1
...
inc(9) = 0

List(t) = Natural -> t

Real = List(Digit)
Real = Natural -> Digit

F : List(Real) -> Real
F : (Natural -> Real) -> Real
F : (Natural -> (Natural -> Digit)) -> (Natural -> Digit)

F(list)(n) = inc(list(n)(n))

Cantor's proof is then a function which takes a list L and returns a proof that F(L) doesn't occur in L. We can represent non-occurrence using a function taking a natural number N and returning a proof that the Nth element of L differs from F(L) (this is a list of proofs!). We can represent proofs that two numbers differ by using a natural number, which gives (one of) the decimal places at which those numbers have different digits. We know from the definition of F that F(L) will differ from the Nth value in the list, and more specifically that it will differ at the Nth decimal place. It's easy to prove that distinct digits are different, since the set of digits is finite (although the exact encoding depends on the logical system being used). Hence we just need to show that `inc(N) != N`, and use that as proof that `F(L)(N) != L(N)(N)`, and hence `F(L)` doesn't occur in `L`:

-- Proof that x != y, however you want to represent that (e.g. 'Equal x y -> Empty')
Differ(t) : (x : t) -> (y : t) -> Set of proofs that x != y

incDiffers : (d : Digit) -> Differ(Digit)(d, inc(d))
incDiffers(0) = 0 != 1
...
incDiffers(9) = 9 != 0

-- Proof that two reals differ, which is a natural and a proof that they differ
-- at that digit
RealsDiffer(x, y) = {n : Natural | Differ(Digit)(x(n), y(n))}

-- Proof that F(L) differs from everything in L. This is because the Nth element of L
-- differs from F(L) at (at least) the Nth decimal place.
cantor : (L : List(Real)) -> (n : Natural) -> RealsDiffer(L(n), F(L))
cantor(L)(n) = (n, incDiffers(L(n)(n)))
220lbs is a surprisingly low payload... Depending on height it's not at all difficult for even a healthy person to be that weight, let alone someone that lifts or is a bit chubby.

I wonder what kind of wiggle room there is?
How do dat:// sites interact with servers?