skysight-inc/HackerNews huggingface dataset:
I don't think that 0.999... = 1 is actually provable. I think this and all of calculus is actually axiomatic, which has the following axiom:

Given ε = 1/∞ then:
ε = 0

Am I wrong in thinking this way?
It seems as though there's no way to actually truly prove that an infinite series converging towards zero actually hits zero (from a constructivist pov)
With you until the conclusion. Could have done both (arrest spies and terrorists). Bombing civilians is reprehensible, and 'safeguarding' a terrorist is pretty vile.
Show HN: Coding.blog, a blog platform about coding. no paywall, no ads
Citing conspiracy theory, Trump de-funds group researching virus transmissions
From the headline I was hoping someone finally built a system that transcribes interview footage and lets you edit the video by editing the text.
Yeah. It's supposed to be a joke.

It's poking fun at how many early "dotcom"-ish type companies promised the world on their landing pages, but in the end they failed to deliver anything of value.
apt install ffmpeg?
Or both by using the camera.
"Investigate the shell’s here documents and Python’s triple-quote construct to find out the Almighty unto perfection"

Now I won't sleep tonight.
Not included as part of the subset linked above, but D's Contract Programming piqued my interest: https://dlang.org/spec/contracts.html
Reminds me of the paradoxes of Zeno [1], especially the paradox of Achilles and the tortoise.

At least one can simply prove that 0.999... = 1 without much hard work. Maybe less controversial than the following:

1 + 2 + 3 + ... [somehow] = -1/12 {{Riemann's zeta(-1)?}}
1 + 2 + 4 + 8 + 16 + ... [somehow] = -1

As well as the weird prime product (Product of 1/(1-(p^-2)) for p prime) and the sum of x^-2 from x=1 to [sigh] being equal to (pi^2)/6 are some example of infinite beauty of mathematics that I remember.

[1]: https://en.wikipedia.org/wiki/Zeno's_paradoxes
Let's try a naïve inductive proof of 0.999… ≠ 1.

Base case: Given 𝑎⁰ = 0, 𝑎⁰ ≠ 1.
Inductive case: Given 𝑎ⁿ⁺¹ = 1 - (1 - 𝑎ⁿ) / 10, 𝑎ⁿ ≠ 1 ⇒ 𝑎ⁿ⁺¹ ≠ 1

This proves that for every 𝑎ⁿ = 0.999…9, there's an 𝑎ⁿ⁺¹ that's a 9 larger and still different than 1, which is similar to your halving the pie example. However, you can see that it always happens that 𝑎ⁿ⁺¹ > 𝑎ⁿ, so the "last" infinite 0.999… is not part of the sequence of the inductive case.

My intuitive way to see this is that infinitely repeating decimals are an abomination that breaks the nice property of decimal notation where each number contains a single representation (without zeroes at the beginning or at the end of the decimal). Fractions are the one true way to represent rational numbers.
As far as I know you are wrong, Google in the past did insist sites shouldn't serve paywalls to users coming via Google when they gave the full page content to Google. Which made the "google the article title" workaround for paywalls work.

(Also, this was my first comment in this thread)
This is PHENOMENAL work.
I'm somewhat puzzled when this defense comes up, but I think it's worthwhile debating it. Does the condition of how you came upon the contents have any real bearing on the matter? I mean, nobody is really saying that accessing an open website itself is illegal. But it's not as if this circumstance will alleviate all future repercussions of your subsequent actions. I suspect I don't have to give analogies of what might be an inappropriate action - there are a number of things you could find on an open website that could be illegal to distribute.

I suspect a much more interesting argument exactly is the issue with having this particular data - what laws are being broken by redistributing it (I don't have the answer). But that was not the point that you raised, hence my reply.
The ACLU has the weird conviction that principles, not just results, matter.
I patronize three small mon-and-pop restaurants. I'm supporting my neighbors. Where does that fit in this utilitarian view?
Tea has caffine, too. Any reason you switched to tea? And what has been your experience, so far?

Curious, do you prefer the CTC tea [0] or whole-leaf / fannings?

[0] https://en.m.wikipedia.org/wiki/Crush,_tear,_curl
There is no proof that will ever satisfy a person dead-set against this. Ever since I brought this home from school as a child, my whole family ribbed me mercilessly for it.

If you tell a person that 3/6 = 1/2, they'll believe you - because they have been taught from an early age that fractions can have multiple "representations" for the same underlying amount.

People mistakenly believe that decimal numbers don't have multiple representations - which, in a way is correct. The bar or dot or ... are there to plug a gap, allowing more values to be represented accurately than plain-old decimal numbers allow for. It has the side effect of introducing multiple representations - and even with this limitation, it doesn't cover everything - Pi can't be represented with an accurate number, for example.

But it also exposes a limitation in humans: We cannot imagine infinity. Some of us can abstract it away in useful ways, but for the rest of the world everything has an end.

I wonder if there's anything I can do with my children to prevent them from being bound by this mental limitation?
https://github.com/mifi/editly/blob/master/sources/glFrameSo... thank you for your honesty!
Architect Gets Artistic Revenge on Enemies
I made a tool that trains a deep learning model inside Google Sheets
Regarding the ongoing auto/var readability issues debate, how about the popular dynamic languages that often do not even have the means of specifying a type? They surely must be suffering from huge readability issues?
tbh, what turned me off is having to have Node.js installed
And where are those numbers coming from?

1) Taking this https://www.cdc.gov/nchs/nvss/vsrr/covid19/index.htm and combining with SS Life Expectancy tables, the average years lost per death is ~12; that corresponds to the age of 72-73, not 60.

2) Even the most alarmist reports barely predicted million deaths in the worst case scenario.

3) How is lifetime value of 60 year old 5 million? Based on the same SS tables, that's for 21.5 years, so ~230k per year. Where is this number coming from?

3a) Using some objective standard like annual income, it would obviously be far lower.

3b) You can even use a personal take - would you rather have $5 million (translation: very safe ~$150-200k/year for life including childhood, so you never have to work while living an upper middle class lifestyle), and have a risk of death at 60 with a COVID probability for 60-year-old (~4% CFR or so, so lower IFR and even lower combined with non-100% infection rate), or have $0, live with a median job and income, and not have that risk?
What about throwing out the "60-year-old" and taking the real average case, 72-73yo (with its increased CFR/IFR)? I'm pretty sure I'd roll that dice for as little as a $200-300k head start.

4) Moreover, disability adjusted life years and other similar metrics often (quite justifiably) weight later years of life lower than the earlier ones. Again, to make this more personal or less numeric, would you rather be paralyzed from neck down in your 30ies (and then remiss) or die at 80 instead of 85? I'd take dying earlier.
they have a section [1] explaining their reasoning

Create a slideshow from a set of pictures with text overlay

Create a fast paced trailer or promo video

Create a tutorial video with help text

Simply convert a video to a GIF

Resize video to any size or framerate and with automatic letterbox/crop (e.g. if you need to upload a video somewhere but the site complains Video must be 1337x1000 30fps)

[1] https://github.com/mifi/editly#use-cases
You can show that the long division algorithm is looping. Further, you can show that it will continue, for these inputs, to produce `3`s forever with no change in state. How could `...` be defined such that it wasn't 0.333...?
Thursday NPR interviewed the president of the group (a New York-based research nonprofit investigating the origins of pandemics.)

https://www.npr.org/sections/goatsandsoda/2020/04/23/8417296...

He'd pointed out that nearly 3% of the population in China's rural farming regions near wild animals already had antibodies to coronaviruses similar to SARS. "We're finding 1 to 7 million people exposed to these viruses every year in Southeast Asia; that's the pathway. It's just so obvious to all of us working in the field..."

Their funding was cut just four days later.
This reminds me of a good use case for the Laravel Soft Deletes: https://laravel.com/docs/7.x/eloquent#soft-deleting.
Our High-Performance Elasticsearch Connector for Presto
“Mach's Principle”
Your comment also reminds me a lot of the James Bridle piece from a few years ago about creepy, semi-automated YouTube content targeting kids:

"Other channels do away with the human actors to create infinite reconfigurable versions of the same videos over and over again. What is occurring here is clearly automated. Stock animations, audio tracks, and lists of keywords being assembled in their thousands to produce an endless stream of videos. The above channel, Videogyan 3D Rhymes — Nursery Rhymes & Baby Songs, posts several videos a week, in increasingly byzantine combinations of keywords."

https://medium.com/@jamesbridle/something-is-wrong-on-the-in...
The Great Recession led to 236,000 excess cancer deaths[1]. If the great lockdown is as bad or worse then the excess cancer deaths could exceed the deaths from the disease.

Over 26 million people in America have lost their jobs because of this which puts the unemployment rate over 20%[2].A 2017 study showed that a 1% increase in the unemployment rate increases the opioid death rate by 3.6%[3]. Suicides are also likely to increase. For every one point increase in the unemployment rate there is a .78 point increase in the suicide rate[4].

There are also hundreds of millions around the world who are on the edge of subsistence. Millions have escaped poverty due to economic progress will now be thrown back into it. The UN has warned that "hundreds of thousands" of additional children will die due to the economic downturn and around 50 million children could fall into extreme poverty[5].

[1] https://www.thenation.com/article/archive/cancer-deaths-have...

[2] https://fortune.com/2020/04/23/us-unemployment-rate-numbers-...

[3] https://www.usnews.com/news/articles/2017-02-27/opioid-death...

[4] https://www.psychologytoday.com/us/blog/acquainted-the-night...

[5] https://www.reuters.com/article/us-health-coronavirus-childr...
The US has a low rate of testing, was late to impose lockdowns (mostly; a few states were fairly proactive), and is bad at enforcing them (again, mostly). Having a leader who spent the first few weeks of the crisis on TV denying there was a problem, _while people were already dying in the US_, probably didn't help; most countries don't have that.

> some other important but unknown factor

The important factor is probably just very poor crisis management. US death rates aren't _that_ high, anyway; on paper they're low to medium vs Europe, though given that the rate of testing is lower than almost anywhere in Western Europe that's probably understated.
It doesn't have to be easy to replace, there just needs to be an intended way to do it. Even if it requires you to bring them to a shop and let them do it (e.g. how most phones handle it). There's absolutely no reason they can't be engineered that way, don't be foolish. The problem is priorities. It is 2020, and some still haven't realized how important these issues are becoming?

Don't want to single out Google, and this little product launch too much, same goes for Apple, and all the others who still think it doesn't matter. And before people say, well the little amount of plastic and metal inside the pods is insignificant compared to all the other stuff we throw away daily, I'd say the message is equally important.

There is no reason to not make these lasting. Only priorities.
I've been using D since 2009 both personally and professionally. 'auto' return did bother me in a few places but it never came close to being a deal breaker.
“For the past 20 years our organization has been investigating the sources of emerging diseases such as COVID-19,” the group said. “We work in the United States and in over 25 countries with institutions that have been pre-approved by federal funding agencies to do scientific research critical to preventing pandemics."
are those statements executed one after the other? In any case, it's definitely a pitfall, one that has been fairly widely publicised, even with checks embedded into various tools/IDEs.
It's less controversial than those because it's actually true. The latter statements are not true with the traditional definition of a sum.
Mapbox has an API you can query from--I believe they have a free tier. The `ceramic` package makes this easy to pull from, but you need to get a Mapbox key first:

https://github.com/hypertidy/ceramic
All quarantines are overseen by the government, they do not trust individual persons. There are exceptions for people coming from companies where they have more connections to the governemnt and can ensure that the people follow their quarantines.

The option for people self quarantining went out the door once someone violated their self quarantine in March.

Basically if your company is sending you then they will probably pay for a private hotel, but if you're traveling on your own then 99.99% you're going to end up in a quarantine camp (unless you're a rich kid coming back from overseas).
What would a $100 billion and some open Tesla-like Supercharger system produce?

In LA, there’s no Superchargers in Beverly Hills or West Hollywood. There’s one in Culver City and one in Burbank. Some don’t tell you they’re “shared” so sometimes it says 30 mins to charge, other times 3 hours.

They were going to build a Supercharger in the Pacific Palisades but the Dept of Transportation said no.
The point was about the C++ Frameworks, and their code patterns, not how we worked around their issues.

Frameworks that were the inspiration for how Java should do OOP, on a project (Oak) that initially was considering to use C++.

Also considering the programming language landscape at the time, if we leave C++ aside, it would be more correct to say Smalltalk or CLOS style then.
I'm not sure it's much less code. Especially that async/await is integrated into the language now. It's less state, less corner cases, more encapsulation and better performance.

I'm thinking of trying (if I have time) to build a babel transpiler plug-in so you could use it with keywords like async/await instead of explicitly wrapping generator functions. I think the syntax would end up very simple.
https://www.nytimes.com/2020/01/04/world/asia/india-protests...

>The protests began in December when the government passed a law that uses religion as a criterion for determining whether illegal migrants in India can be fast-tracked for citizenship. The measure favors members of all South Asia’s major religions except Islam, India’s second largest faith. Muslims worry that the law will be coupled with a citizenship test and used to strip them of their Indian nationality.

They're very different situations, but the common thread is people feeling their rights are not being respected, and protesting that.

It's pretty well discussed among those who actually care about free expression and/or censorship circumvention.
If the article was about US-based alternatives to Amazon, then no, it wouldn't be OK. The same principle would apply.
Seems like a red herring. They want you to assume that mass violations of privacy are okay as long as they're not racist.

They're also ignoring classism - It's fine if the rights of the working class are violated, as long as they're all violated equally. Never-mind the people who can afford privacy on the free market.
Some nice subjects to start talking about would be:
- A brief story of programming: How it has born and why;
- Why to code?;
- What is JS;
- Programming paradigms: what are them and usability.
- Task: Build a "hello world" code in JS(classic, right?).
- Task: A 30 day programming challenge, to make some of these new coders keep on the flow. You can propose something really easy to do to make them want to keep coding.

I am a programmer, and i'd love to recieve some of those tweets in my feed. How can I find you?

Peace out.
China is installing surveillance cameras outside people’s front doors
Show HN: YouTube2NoCookie Bookmarklets
That’s a great idea! Hope someone build it
The scrolling on that site is atrocious. What's up with the "Pixel" branding on the headphones? After the Nexus 6P, I'm never buying another of their phones again. I see "Pixel" and immediately think "not buying that". Do I need a Pixel for these to work? Will I be missing out on features of I don't have one? I can't find anything mentioning what makes these "Pixel" headphones. Google's marketing is awful.
One person's overelaborate is another's perfection.

Behold! The abstraction in ethereal splendor makes mundane human existence bearable!
The last Android device I bought was a Nokia 7.1 which is an Android One device. Presumably this should mean a "clean" Android experience but I still experienced frequent crashes and reboots, apps not working correctly etc.

Of course this is anecdotal but that's how I (and probably most) people decide what to buy. There are many things that aren't ideal about iPhones but I've never had one crash on me and most apps are way more polished and work better -- not that this latter part has anything to do with an inherent weakness in Android, but it's just reality as I perceive it.

I've had many Android devices in my life and I loved many of them, OnePlus 3 being the one that stands out. Still, I just feel it's not for me anymore.
Effective indestructibility can emerge through sheltering the human body and interacting with the outside world through avatars, e.g. robots etc and extensive body monitoring to provide rapid responses in case of a medical emergency.

With the exponential growth rate in technological sophistication, we could, in the forseeable future, have levels of personal safety and medical care that are many orders of magnitude greater than they are now.

If the humans alive today make it to the point where the average life expectancy is pushed to, say, 1000 years, then they stand a decent chance of living to see technology advance to levels that provide extreme (e.g. billions of years) life extension.
didn't Adobe demo something like this?
love this feature so much
Agreed. Most people can't replace a wristwatch battery, but wristwatches are not considered disposable items. I don't see why similar approach couldn't work here. Non user-serviceable does not have to mean non-serviceable. Unfortunately large companies consider serviceability a bug not a feature, and not enough consumers vote with their wallets to prove them wrong.
I'll throw out there that I work for JumpCloud, an Identity Management Provider, and we have a credential provider as well for seamless Windows login. We also have a Mac login window so your users have a seamless experience regardless of the OS (our Linux solution doesn't really need one). We've also got LDAP, RADIUS, gsuite, and O365 backends (plus more I'm forgetting I'm sure) and a ton of other niceties. Check us out if you're into that.

We also go beyond this and support MFA on Windows, Mac, Linux login.

Orgs with less than 10 users are free.

https://jumpcloud.com/
>India has been contact tracing like a greedy algorithm on steroids since case #1.

Care to provide source?

>People are self policing mainly to avoid police, but they are self policing each other because nobody wants their buildings sealed.

I have seen videos of people violating lockdown without fear.

>There are only 85 active infections

85 infections which were caught.
The RT-PCR test apparently has a very high false negative rate; I've read up to 30% or even 40%.

Also, they had all the other symptoms as well including fever and shortness of breath. One arrived in India with respiratory distress. The other fell ill a week after visiting a Covid hotspot -- Mumbai -- which he managed to visit despite a travel ban because he was a hotshot politician.
Having them remote also saves you from the window-update-hell, which annoys me no end. You can save the session and log out.

As I said in another post, I was a heavy tmux user until I started using Fluxbox. But tmux definitely had advantages. Now in the WFH world it's a good opportunity to try to optimize the workflow again.
Or use the 3.5mm to Lightning adapter. Maybe not 'perfect,' but your $1000 headphones would make sound with one.
I've used the ffmpeg cli app to generate a set of user guide videos for a web app, and scripted it so that they can easily be recreated with client's logos and color schemes for overlays. This would be an alternative product for doing that.
Chicago creates app to pre-register for coronavirus vaccine
What you're describing has names - structural types, refined types (a.k.a. contracts a.k.a. pre- and post-conditions)...

It's simply a failure of D the language/compiler (and a huge anti-pattern) to not expose internal types in a way that can be displayed to the programmer.
I already view the “meme” phenomenon the same way: a creepy, possibly semi-automatically generated image based on random keywords.
> Maybe it's smartphones and being always connected.

I guess the smartphones (and the instant gratification) has filled up the hole that otherwise involved social interactions in the neighbour-hood. For instance, neighbours in my parent's village knew everyone at a very personal level. They had tea together pretty much every evening. I can't the say the same, in fact, I don't even know half their names.
I was talking to a friend about these about a week ago and it hit me how easy it would be to fully automate one of those channels. I started looking into scraping and automatic screenshots with selenium. After a little bit, it didn't feel right and I did a bit of thinking. I decided that (for me at least) it's not cool to use other people's experiences to profit off of in such a way. I really like the idea of completely automated workflows, but if it's going to be taking advantage of people's personal experiences, I don't think it's the way to go.
A vaccine for HIV was never found.

I hope they succeed in creating a vaccine for COVID19, but resting the lifting of a highly destructive mass-lockdown of healthy people on a hope, is reckless.

Contingency plans need to be created; a definite end date for the lockdowns, irrespective of whether a vaccine exists.
This was indeed the motivation for my write-up :)
You must go up to something like limits to make ... meaningful.
Should you wear a mask when exercising outdoors? Experts weigh in
https://archive.vn/aVloF
If you're tunneling SSH through HTTP, shouldn't it actually be "Any protocol of top of web"?

Also interesting choice to use C++. I don't see the headers for Civet or Mongoose, or even libcurl in the Makefile. Is it your own HTTP implementation on both sides?