skysight-inc/HackerNews huggingface dataset:
Aren't those vector tiles a little heavy, since they're likely json?

Of course I can guess a lot of data can be removed and simplified, but still, PNG seem lighter...
That sounds cool, but it's not working when I try it. Can you elaborate?
> We're still using security models based on the threats of several decades ago, with barely any attempt made by any of the major desktop OSes to develop a suitable defence to the biggest threats of 2020.

If you think in terms of who the paying customers were/are for desktop OSes (by-and-large, corporations and governments), the "threats of several decades ago" were—and continue to be—real threats to them (vis. industrial espionage/cyberwar); whereas the modern "threats" aren't things that threaten their interests at all, "only" things that affect the lives of individuals. A corporation won't lose money because a rival knows everything about its employees shopping habits.

Insofar as nobody's currently making money selling a desktop OS to consumers (Microsoft sells cloud with the OS as a loss-leader; Apple sells the hardware with the OS as a cost-center; and RedHat, Canonical, VMWare, etc. only make money from enterprise support) there's nobody incentivized to protect the wellbeing of individual customers on the desktop.
Visual Complex Analysis. Partly because it's a brilliant book and partly because Complex Analysis is often really really badly taught.

If you haven't read it, it teaches complex analysis in terms of transformations and pictures rather than solely algebra. It's very clever; Also touches on some concepts in physics and vector calculus.

If you like the style 3Blue1Brown uses, he cites VCA as an inspiration for that style.
I'd like to see something that could do this, handling the awfulness of real world tabular data. "What country has the highest GDP? Okay, which table has GDP? Is it the country_gdp table? No, that's an old one that hasn't been written to in 3 years. Ah here it is, but you need to join against `geopolitics`, but first dedup the crimea data, since it's showing up in two places, we're can't remember why it got written to twice there. Also, you need to exclude June 21 because we had an outage on the brazil data that day. What do you mean some of the country_id rows are NULL?" And so on. I dream that someday there's a solution for that. That's a looooong ways away, I'd bet.
"How did you not realize that the empty circle means no parking from the hours of 1000-1600??"
I think wikipedia is basically in a no-win situation on this. Is Harris' connections to Steve Mnuchin important? I don't know. I know a republican would tell you yes and a democrat would probably tell you no. Hell, a Republican might well tell you that it's an important fact about Harris' career whilst simultaneously not recognising that it's probably an important fact that should reflect very poorly on Steve Mnuchin who is currently serving a Republican president. I can see you could make an argument for either frankly - sweetheart deals are a problem and so is special treatment. Also she was a DA for 7 years and AG for 6 years and frankly it would be a miracle if she didn't have a few controversial decisions or dealt with some well known people. You could see a mirror of this article about her using her office to target a republican. I can certainly say the quote from the article seems to be leading - I know the article wants to imply that Harris' decision not to prosecute Mnuchin is linked to his donation to her campaign. I don't find that compelling and I certainly think its pushing a biased agenda.

Personally I would like to see Wikipedia take a step back in these political situations, draw clear lines about what should be in articles and draw those lines in such a way as to minimise the pay off for editorialising. You could for example, minimise her CV to literally just which jobs she had and when, and then you could have a separate article for the Attorney General of California, where specific instances can be documented.
How can you be against free speech when all other freedoms stem from free speech? This is why I don't like what Germany and the UK are doing - any country without true free speech (barring death threats or incitement to violence, etc..) is not really free.

Also, the UK has free speech, just not on online platforms and I'd like to see that distinction ended.
It seems you (and a lot of downvoters) missed the sarcasm in that comment.
Sure, I didn't want to sound like I was commanding you or anything. Wording was a bit harsh in restrospective.
I didn't get that email. This post (and the opt-out link OP shared) was the only reason I knew to turn this off.
I don't know, part of me agrees that specialization can lead to shortsightedness, but part of me also feels like this siloing of knowledge and siloing of influence is a way to divide and conquer, ensuring that only a select few have any say in society's direction.
The American Bird Conservancy estimates that "In the United States alone, outdoor cats kill approximately 2.4 billion birds every year." [0]

Although it's true that everything we do as a species / society has an impact on the environment, I think it's still important to look at things like this with perspective. Unfortunately, even green/renewable energy sources have a negative impact on the environment; wind isn't the only one. Not sure I really disagree, though, just wanted to mention that the wind impact isn't really that (relatively) bad.

[0] https://abcbirds.org/program/cats-indoors/cats-and-birds/
i.reddit.com works very well on mobile devices
Reddit has, on more than one occasion, outright blocked me from reading posts from the phone's browser, demanding that I download their garbage in order to continue (I did not, of course).
It's not just an EU/GDPR issue in this case. The clipboard could contain any data, including health information, financial records, legally privileged discussions... Even in places like the US that have much less legal protection for privacy and personal data, processing some sensitive classes of data is still likely to be restricted by law.
I just sat a sales presentation for a competitor's body cameras a few days ago. The cameras, in that case, are completely "black box" and no mention of threat models associated with the authenticity, confidentiality, or integrity of the data on the cameras was made. The particular cameras I saw pitched record continuously, and a "supervisor" is capable of accessing the raw buffer to extract video that an officer didn't otherwise flag as an "event" by way of a "password".

I can only imagine that the information security story around all of this kind of hardware is probably pretty awful.
> Enums, immutables, and generics aren't good because they're exciting.

That's your opinion, and maybe even that of other programmers which have good intention. However advanced PL features are still sometimes overused because the users find them very interesting and can't resist applying them everywhere.

As an extreme example I read a statement from a Rust programmer about liking framework XYZ, because it creates those nice type-system puzzles and makes things super-safe. However for an outsider this super-safe code could also be undecipherable gibberish.

Overall I think that while type-help can be good to avoid errors there is also a line where the complexity in type system features outweighs the complexity of the initial problem. And that after you cross the line programmers spend their time trying to understand complex but less-error-prone code instead of simple but easy-to-understand-and-fix code.

Where that line exactly is depends on the problem space.I certainly think it is somewhere between Go's extremely simple approach and the extremely advanced feature sets that some other languages allow for.
Tech Ingredients is another channel on YouTube that constantly blows my mind. The explanations are well paced, thorough, and incredibly well done. The experiments are impressive, and the team (family) is obviously smart and quite disciplined.

https://www.youtube.com/user/TechIngredients
The tough thing is that a common failure mode of many of the modern AI solutions is some output that looks superficially correct, but doesn't actually map correctly to the real world. When you want a table of data, it seems like the danger will be high that the table looks correct but isn't actually accurate. The problem here is about keeping sloppy data out of your table, which is tough for a statistical AI.

So yeah, I would expect this to be a long ways away.
Let's just start charging for services
If you're looking for a mobile optimized reddit website, so you can skip the app, check out https://i.reddit.com

It still works.
This is a classic example of impugning the truth by advocating for it with fallacious arguments.

Pretending that Donald Trump is not a big fat liar is just ridiculous. Even when he's telling the truth he's lying because he exaggerates everything.

But pretending that his Wikipedia article is neutral is equally ridiculous.

Here's a random example. Remember that immigrant family separation thing? What actually happened was, there was an existing policy that children were separated from their parents if their parents were in detention. Under Obama that didn't apply to many people because not many people were being detained. Then Trump started prosecuting immigration violations and the number of detentions, and therefore separations, went up.

Here's Wikipedia:

> Previous administrations had no such policy of generally separating migrant families with children.

Here's the NPR article they cite for the proposition:

> Previous administrations did not, as a general principle, separate all families crossing the U.S. border illegally.

Previous administrations did not, as a general principle, prosecute all families crossing the U.S. border illegally. The families thereby weren't separated as a general principle because the parents weren't being detained as a general principle, not because there was no separation policy when the parents were being detained.

This sort of thing is endemic. Paper over the nuance to make the other team look bad. And it's as much NPR here as it is Wikipedia, but balance would have been to find the other half of the story and put it in the article.
Full-stack or back-end development, 5+ years of professional experience on both greenfield and big projects.

Available for part-time work at the moment.

Location: EU

Remote: YES

Willing to relocate: Probably not

Technologies: Java, Kotlin, Scala, Javascript, Spring Boot, NodeJS, React, Jenkins, Linux, common sense

Résumé/CV: https://www.linkedin.com/in/filipmestrovic/
Aah, don't go with Freenom if you value your URLs. They're allowed to up the prices drastically upon renewal.
Rota had at least three different ten-lesson sets: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

Looks like the previous discussions of this set are:

2017 https://news.ycombinator.com/item?id=15989599

2016 https://news.ycombinator.com/item?id=11747598

2011 https://news.ycombinator.com/item?id=3220746

2007 (1 comment) https://news.ycombinator.com/item?id=85611
The problem with that is Kamala Harris didn't know what political position she needed to have last year. Last year's book might have needed to be a complete apology for her stance as tough on crime or it might have needed to be trumping her strong record. Only the events of the last year have made it clear exactly what position she wants to take.
Instantly disabled it, thank you for the heads up! Interestingly, I did not get an email that alerted me to the change.
> double opt-in every sign up to ensure that it is really the person subscribing and not some joe job.

Unfortunately many large US businesses still do not do this (or verify email ownership when registering for something). Other people enter their first + last @gmail when signing up for things (I have a common name), but that doesn't mean they have a business relationship with me, so it's legally defined as spam.

I don't shed a tear when I mark it as spam.
My system lately has been to write every note as a raw text file that I save to a git repository on the fly. Later I process these notes and give them Zettlekasten style IDs. This step forces me to organize the knowledge: either everything gets a fresh ID (e.g. "25"), or it gets a derived ID that relates it to whatever subject or task it's related to (e.g. "44a3b9"). But it also means I can stream thoughts into a lightweight inbox without having to do the organizing upfront.

I then have derived categories from the main stream of thoughts. If the thought is a task, I further process these into categories. I have recurring tasks and events that I handle on a "Time" page that is effectively a calendar, and I have one-off tasks that go into a Kanban style backlog.

What I really got from Zettlekasten is that trying to establish your system upfront is a mistake. Things inevitably leak through your categories and then you lose faith in your system. By just having a running stream of thoughts and then relating them after the fact and deriving categories afterward, you get the benefits of organization without a lot of its failure modes.
Which is why the DOJ should break the company up. They're a monopoly and they're using their power to extort developers and their customers.
https://en.m.wikipedia.org/wiki/Flatland - Flatland - A romance in many dimensions

It was a great book that helped get my teenage enquiring mind to look at maths, science and thinking in different ways. Not a text book - but well worth a read.
Treatment with Hydroxychloroquine Cut Death Rate Significantly
I have yet to meet a person who would rather chat with a bot. I hardly believe that such a person even exists.
What type of work are you doing?

In my youth I was a very zealous Christian, and went on mission trips to Peru, South Africa, Honduras, and Mexico.

When I reflect back on those times I feel ashamed of my assumptions about the people we were trying to "save". I am now hyper-sensitive to the idea that some ways of living are qualitatively "better" than others.

Certainly in South Africa, around Johannesburg the poverty I witnessed in their "townships" was truly painful, but that itself was caused by colonialism, and rough history of apartheid.

The dead sibling comment to yours does make a point, we shouldn't assume these cultures (OP cultures - not mapped, not tracked) don't want to adopt some of modernity's benefits, but we also shouldn't assume that they do.
Is this a problem with Apple clipboard as we so many apps this is happening with
The study https://www.pnas.org/content/early/2015/01/08/1414894112

The scale is increasing for certain species but not all:

> We show that the magnitude of MMEs has been intensifying for birds, fishes, and marine invertebrates; invariant for mammals; and decreasing for reptiles and amphibians.

The causes are still largely unknown but there are some patterns:

> Regardless, the increase in MMEs appears to be associated with a rise in disease emergence, biotoxicity, and events produced by multiple interacting stressors, yet temporal trends in MME causes varied among taxa and may be associated with increased detectability.

Either way it's a worrying sign that environmental factors will always play a role. Even if it is mostly just widespread diseases we previously didn't have the capability to detect, or simply no one was looking (as the abstract mentions about detectability) - additional environmental stresses could amplify what was otherwise pretty normal.

In regards to the Elephants in Botswana this wouldn't yet meet their definition of MMEs (90% die off), or a good chunk of the other linked examples provided by OP. Additionally rates for mammals remain unchanged.
> We don't discourage this behavior in other areas, so again, why do we protect house assets?

We don't? Pretty much anything the state is involved is specifically designed to be long-term. We absolutely don't want volatile systems, we want stability.
Only a vegetarian, but I do crossfit (lower case very intentional).
They can keep their weights secret, sure, but then they should change their name.
This (and showing/hiding blocks) is the one feature I miss from org-mode.
I thought Google already did something similar?

Are we entering deep copycat culture?
Wolfram: AI as maybe like “Alien Intelligence” (3 hr video)
Wolfram on AI as perhaps the closest thing we have seen to "Alien Intelligence" leaves me pondering computational ubiquity and the importance of the details of my life.
Airbnb also uses your personal information for direct marketing. You can opt out by sending an email to: opt-out@airbnb.com

> Where permissible according to applicable law we may use certain limited personal information about you, such as your email address, to hash it and to share it with social media platforms, such as Facebook or Google, to generate leads, drive traffic to our websites or otherwise promote our products and services or the Airbnb Platform.

> Please note that you may, at any time ask Airbnb to cease processing your data for these direct marketing purposes by sending an e-mail to opt-out@airbnb.com.

> In some jurisdictions, applicable law may entitle you to require Airbnb and Airbnb Payments not to process your personal information for certain specific purposes (including profiling) where such processing is based on legitimate interest.

> Where your personal information is processed for direct marketing purposes, you may, at any time ask Airbnb to cease processing your data for these direct marketing purposes by sending an e-mail to opt-out@airbnb.com.

https://www.airbnb.com/terms/privacy_policy
That's great work but anything you can do in a week and then throw away if it turns out bad is hardly a risky rewrite.
The sparql api is no fun. Limited to 60s for example is death. I had to resort to getting the full dump.
>every action with website is traceable.

Traceable but not the kind of access an app has. Traceability can be spoofed not the data that app is reading from your device. No website is ever going to ask your contacts permission to proceed further while their are tonne of apps that won't let you use app if you reject that permission.

For example, GPay in India needs freaking location permission. God knows what it does with that data.
My daily journal is up to 110 pages long. I haven't noticed any performance issues (though it does take 5-6 seconds to load on mobile).

As for autocorrect - you can turn that off in Tools->Spelling and Grammar.
Venture Capital Secondary Market
I agree with that. Would you agree that the Church-Turing Thesis is different from the equivalence between the lambda calculus and Turing machines? I was trying to argue that even if Church-Turing were somehow (magically) invalidated that the equivalence of the lambda calculus and Turing machines would still hold.

Thanks for bringing up strong Church-Turing. It was interesting to read about it here (https://plato.stanford.edu/entries/church-turing/#StroWeakFo...) I think I had a broader interpretation of Church-Turing than I should. I was thinking that if we somehow discovered a working oracle machine on Mars, it would invalidate Church-Turing. But that article says:

> the thesis concerns what a human being can achieve when working by rote, with paper and pencil (ignoring contingencies such as boredom, death, or insufficiency of paper)
How to Prove It by Velleman [0]. Should help with the increasing emphasis on proofs.

[0] http://users.metu.edu.tr/serge/courses/111-2011/textbook-mat...
> I think the economy would be much better off if we had encouraged self- quarantine for at risk groups, but allowed otherwise healthy people to go about their business. Giving people information to make their own decisions, encourage social distancing etc etc

We tried to do just that in Texas. It failed. Badly.

There are multiple reasons why this idea of opening up simply won't work:

1. Many Americans are fundamentally unwilling to go along with social distancing and mask wearing protocols. All it takes is one or two people refusing to self-quarantine to get an entire business sick and force them to shut down.

2. We did nothing to ramp up our testing. In fact our president has been signalling that he wants to reduce testing so that the numbers look better.

When individuals were given their own decisions, they went to bars packed in like sardines and caused a second wave to appear.
Insofar as nobody's currently making money selling a desktop OS to consumers...there's nobody incentivized to protect the wellbeing of individual customers on the desktop.

This looks like the root cause of the problem, except that in reality users are still paying for their OSes in many cases, it's just bundled in with the cost of the equipment and they don't see it as a separate line item.

However, given the huge barrier to entry for any new competitor, not only in building a better OS but also in developing the ecosystem around it, I am increasingly sceptical that this offers a realistic route out of the current hole we find ourselves in, at least not any time soon. That's why I favour better public education, and ultimately relying on competitive and/or statutory forces to push developers in a healthier (for customers/society) direction.
> Safari could even make cookies require getting user permission

Ode to browsers of the 90s
Looks nice! Congrats on shipping!

One thing that irked me was the lack of a back functionality. You could use a hash router and just make pages for the categories so one could easily go back to the home page :)
And on desktop auto-redirects to old.reddit.com are a must addon:

https://addons.mozilla.org/en-CA/firefox/addon/old-reddit-re...

https://chrome.google.com/webstore/detail/old-reddit-redirec...
Will Multivitamins Extend Your Life? The Evidence
I see a screenshot there defines an anki card? Couldn't find any mention about anki in docs or on the github (I only skimmed though). Would be interesting to see if there is a possible interplay.

I myself use vanilla org mode for this purpose (spaced repetition). My workflow is the following:

1. Create a hierarchical structure with leaves representing
bits of knowledge. For example postgres/indexes{btree, GIN, ...}

2. Have a study session with materials (books, video, etc).

3. Try to recreate a concise version of each subject and place it under leaves, so put text in btree, GIN, etc. If I cannot do something I skip it and fill as much as possible.

4. Verify written, fix if necessary.

Then, the document will sit there for a while and when I feel that I need to review a certain subject I would open a tree node and try to recall the child nodes, or sometimes go directly to leaf nodes and try to explain each. Then verify with the data there, maybe do additional research if something isn't clear.

I initially wanted to make anki cards for every piece of information that goes to leaf nodes, but it seemed that hierarchical organization suits me better. It would be interesting to try an automatic card system that would keep track of when I reviewed the concepts and remind me to do so.
>Unless, of course, they're a minority protesting a few crowd-approved issues.

Interesting way to describe Americans who are victims of systemic racism protesting for their Constitutional rights.
The undeserved status of the pigeon-hole principle (1991)
For time being. It was never improved and was lacking in some aspects and now videos won't open on it but the new mobile website. It's just a matter of time before they scrap i.reddit.com
Health specialists deal with Covid-19 risks in their everyday lives
One common use case with a third-party library is for deep linking [1]. The deep link is copied with javascript in the browser, then after installing the app it can open right to where you were on the web.

[1] https://github.com/firebase/firebase-ios-sdk/blob/c8625ec52e...