skysight-inc/HackerNews huggingface dataset:
#2 so much! When I tell people my ideas I can feel the motivation dissolving. Trouble is, my ideas sometimes suck and I need another person to tell me they are good. But if that person doesn't get excited about the idea it takes the wind out of my sails. I think this speaks to why I became a developer in the first place; I want to solve people's problems. I want to be useful. If I tell someone my idea and they aren't interested I feel like everyone will feel the same so it must be a bad idea. But what if they are right. Do you ever finish a project only to find that nobody cares about it? Isn't that worse than not finishing?
The archived WSJ article says it's an all-stock deal and makes it clear that Foursquare's Chairman and CEO are remaining in place, so I'm pretty sure you're over-interpreting the article title.
Make some custom graphics using Canva and stock photos. Put words in them in big fonts and use a variety throughout.
I never used the original app, but use the new FourSquare for discovering food after Yelp grew increasingly anti-user (both consumers and businesses). Makes me cynically wonder how FourSquare is screwing us over.
The quote's from a newspaper. However, I did your job (again) digging into that man's actual predictions, and he was wrong not once.
And they both use the same scare statistics. (covid) 2 million Americans will die. (global warming) If we don't stop emitting CO2 the world will collapse by 2030.
The current trend of adding microservices all over the place feels an awful lot like DLL Hell. Don't know if it will ultimately end up that way, but it sure sounds like a rhyme.
IIRC, gmail says no too and you are left without an email address.
I kind of wish I had a better idea about the finances for a lot of these applications. Back in the "fun" days part of the reason they were fun was because they didn't need to worry about making money. As they started to try and bring in modes of revenue extraction, they started to feel more user hostile (either in terms of gates and paywalls, excessive ads, or really creepy levels of data harvesting).

But I'm curious if another path was ever available. My gut feeling is that many (not all) of these products probably had perfectly serviceable business models available to them if they were content to just be a fairly unsexy utility with low margins. But the focus on establishing a platform monopoly and/or being a billion dollar unicorn has pushed them all towards these societally maladaptive ways approaches that kind of put people off the whole thing.

I don't have the numbers to back any of that up, though, and I'm not sure anyone does aside from the VC people. But they, understandably, have no incentive to let someone stay in the 7 or 8-figure revenue range when they can push them to add an extra comma instead.
"What the official figures don’t say. They don’t say that in March 2020 more than 5.400 people have died in Bergamo province, 4.500 of which due to coronavirus. Six times more than the previous year."

https://www.ecodibergamo.it/stories/bergamo-citta/coronaviru...

Doesn't that seem like a bad year to you?
Some populations almost certainly ate like this at least some of the time, but it's dangerous to talk too specifically about "what life was like back then." There's just too much variation.

We know that periods of fasting are good for us; even setting this study aside, we know that autophagy is stimulated by fasting. This does tell us that our ancestors fasted often enough that our bodies are designed to benefit from it, but we can't draw more specific conclusions like "we should eat for eight hours a day" or "we should eat every other day."

Also, the fact that modern eating patterns cause disease (which is more or less undisputed) does not mean that our ancestors had a perfect plan that we should follow.
For a concrete example of how z3 differs from Coq, consider trying to prove that "for all integers x, there exists an integer y greater than x such that x divides y" (a subgoal of Euclid's theorem on there being infinitely many primes).

Here's a transcript of using the z3 python bindings to ask for a proof:

$ python
>>> import z3
>>> x, y = z3.Ints('x y')
>>> s = z3.Solver()
>>> s.add(z3.Not(z3.ForAll([x], z3.Exists([y], z3.And(y >= x, y % x == 0)))))
>>> s.check()
unknown

z3 returns unknown (if it had returned "unsat", it would have been possible to extract a resolution-refutation proof), and there's not much that can be done with the unknown.

Here's a Coq interactive session that proves most of the cases (with one subproof left unsolved, it was taking me too long relative to the rest of the proof).

$ coqtop
Require Import NArith.
Require Import Omega.

Lemma x_le_fact : forall x, x <= fact x.
induction x;.
- simpl; omega.
- simpl; admit. (* Proving `x <= fact x -> S x <= fact x + x * fact x` left unsolved here *)
Admitted.

Goal forall (x : nat), exists (y : nat), y >= x /\ Nat.modulo y x = 0.
intros x; exists (fact x).
split.
- unfold ">=". apply x_le_fact.
- induction x.
+ simpl; reflexivity.
+
(* goal here is `fact (S x) mod S x = 0` *)
unfold fact; fold fact.
(* goal here is `(S x * fact x) mod S x = 0` *)
rewrite (Nat.mul_comm (S x) (fact x)).
(* goal here is `(fact x * S x) mod S x = 0` *)
apply (Nat.mod_mul (fact x) (S x)).
discriminate.
Qed.

Unlike z3, you need to manually tell Coq what the steps are, but it gives you feedback on which steps are correct, and what assumptions are available and what subgoals still remain at each step (I've included some of those as comments, running the proof through the interpreter shows more detail).
G. Orwell, In Front Of Your Nose [1]:

"To see what is in front of one's nose needs a constant struggle. One thing that helps toward it is to keep a diary, or, at any rate, to keep some kind of record of one's opinions about important events. Otherwise, when some particularly absurd belief is exploded by events, one may simply forget that one ever held it. Political predictions are usually wrong. But even when one makes a correct one, to discover why one was right can be very illuminating. In general, one is only right when either wish or fear coincides with reality."

[1] https://www.orwellfoundation.com/the-orwell-foundation/orwel...
https://news.ycombinator.com/item?id=22795671
Costco is still shipping. I just ordered about $135 worth of stuff, including fruit, bread, milk, and hand cleaner, for delivery today.
Agreed. Especially if it's unclear whether or not that's used for any kind of magical and probably broken account recovery process. I have to click through the Paypal "give me your phone number" question every time I log in... It sucks.
As with any model, start with “all models are wrong”
How about you look at what they actually predicted?
https://www.carbonbrief.org/analysis-how-well-have-climate-m...
This is exactly me.

You not just need 'delivery' goals, but small goals as well, like missions in a game. Where you see you are progressing.

Also in videogames you never hit a wall, you never have to fight a boss that impossible to beat at your level.
Side projects are more like those pay to win games. Where the first part is easy, but after that, the progress can be slow. You have to get a big reward (for me it is usually scratching my own itch) to make the grinding part work.
I think they must be adding slots fairly frequently. (But they might also be snatched up quickly.) My wife and I put in an Amazon Fresh order yesterday after doing a quick "dry run checkout" to confirm there was an available slot. While shopping, we got a notice that the slots were exhausted, but we continued in the interest of getting an order prepared. When we checked out, it again said there were no slots. I waited a minute and refreshed the browser, and a slot had opened up for tomorrow. I'm in Colorado, but I assume AF works the same everywhere.

So far, I've had a better experience with Amazon Fresh than with Instacart (King Soopers/Kroger) due to 1) the ability to "call dibs" on items instead of waiting for the shopper to see there's no stock and struggle to find a replacement, and 2) the quick 1-2 day delivery (but maybe I've just gotten lucky). On the other hand, lots of stuff is out of stock which makes shopping challenging.

We also put in an Amazon Pantry order yesterday. Expected delivery: April 26! :O
Same here, but disturbingly some sites are making it a requirement.

The Match Group dating sites like Plenty of Fish and OkCupid recently made it a hard requirement to setup a 2FA phone number, even for existing accounts.

It's a super annoying trajectory, and I imagine potentially dangerous if one considers the dating sites and victims of abusive relationships attempting to get out. Making physical access to the phone all one needs to gain access to a dating profile is a clear regression from unsaved passwords.
next up: yelp & groupon
Apologies, posted a bad link. Try https://netgames.io/games/
Your source is a random blogspot.com who claims that there's ambiguity because they consider the term "caused by" to be ambiguous.

I stopped reading there.
I avoid shady listings when I really need the item, but if I'm looking for a deal, I've never had an issue leaning on eBay's buyer protection. I've gotten all of my best deals from poorly-listed items.
De-globalization, in this case, brings redundancy. This is less efficient, but more fault tolerant.

Striving for domestic manufacturing does not prevent imports from occurring if deemed necessary. Tariffs are easy to wave, in an emergency.
This image I saw on Twitter really sums up his point well:

https://pbs.twimg.com/media/EUvf_SmUUAEMRiR?format=jpg&name=...
I think there are plenty of examples of monolithic architectures that also have huge technical overhead, builds breaking for unrelated changes, huge amounts of regression testing, not to mention the build times...

Microservices can be a great pattern to deliver quickly _and_ maintain high availability/low technical overhead, that's their point. I think the problem arises when developers try to over-optimize or over-engineer a system, or they want to get promoted so they write a new service, ending up with huge entangled webs like in the sketch.

Individuals and interactions over processes and tools, every time
Media: China's gone mad full dystopia, welding people shut inside their apartments, stopping trains, removing people of all their freedoms.

Media: tis but a cough.
If you actually look at what those predictions have been, you'll find that they're pretty consistently on the mark. https://www.carbonbrief.org/analysis-how-well-have-climate-m...
Ask HN: How long is Twitter's moderation backlog?
So, some guy got my account locked because I published openly found, googleable data about him and he didn't like that. Fair enough I guess?

While waiting, I couldn't help but notice Twitter incentivizes the locked user very strongly to remove their tweets and/or appeals and just let the abuse pile up (he kept doing this for several unrelated tweets too).

This got me thinking. How long is the wait going to be? How is their moderation queue organized? Is an actual human being actually ever going to see my appeal? What kind of moderation tools do they have? Other than giving in to the abuse or quitting, what am I expected to do to remedy this?

Is any of this info public?
> Very nearly 100% of experts in this field agree it's happening

None of these "experts" have a track record of correct predictions that justifies taking their current predictions seriously. Remember we are not talking about the fact that the climate changes: yes, it does, it always has, and it always will (unless at some point in the distant future we learn how to control it accurately). We are talking about the dire predictions of catastrophe that have been made to try to justify spending many trillions of dollars on CO2 mitigation. Those predictions have never come true.

> Epidemiologists told everyone for a decade and a half this would happen, but here we are.

To know whether these were useful predictions, we would need to know more details. Did they predict when it would happen? Did they predict how it would spread? A prediction that "this will happen, some time in the future" is not very useful. AFAIK no epidemiologists were making predictions much more precise than that.

Looking at the actual frequency of epidemics of various sizes in the past, we might very roughly estimate that we will have one serious enough to involve a significant portion of health care resources once every decade or so. But you don't have to be an epidemiologist to do that; you just have to do the simplest possible extrapolation of the data. We had H1N1 about 10 years ago, and SARS about 18 years ago. That's still not a very strong prediction, but it would seem to be as good a basis for public policy discussion (which is to say, a fairly weak one but not negligible) as anything more complicated that has come from epidemiologists.
Prime Minister Boris Johnson in intensive care after coronavirus symptoms worsen
My nomination is McMaster-Carr (mcmaster.com) - They have a huge catalog of parts/tools yet somehow it's so intuitive to browse. I was a mechanical engineer in a previous life and McMaster's website was my bible. Step one for any new prototype design was to browse this site. Best case scenario, you could cobble together your prototype from various COTS (commercial off the shelf) McMaster parts. And if that wasn't an option, scan the catalog for necessary parts and raw materials. If they don't exist at McMaster, your design idea just got at least 10X expensive and lead time doubled.
I agree that there was a certain amount of "nobody's going to watch this tape" going on in the heads of the incorrect prognosticators. But I also think that there's a strong 'in group out group' effect. It goes something like this: Whether I'm wrong or not, this is the 'approved solution' of the network I am on. And whether I'm wrong or right, we can rewrite this later with a little help from our friends. In their world, while its not OK to state inaccuracies, it is OK to state inaccuracies in support of some dogma like "the economy must go on". That is why we now see messaging coming from the right saying "this will be over, and the question when it ends will be who killed the economy to save a few people". And that version of the story is enough to vindicate any previous inaccurate statements for the audience these speakers care about.
Out of curiosity, what sold you on VS code over VS?

I use Sublime to edit smaller code bases, and web technologies because it gets out of my way, and obfuscates nothing from me. I use VS if I need to work with larger codebases in compiled languages with static typing, complex build processes, or multiple dependencies.

I tried it about a year after it first launched, but only for a couple days. VS code strikes me as a hybrid between the two, but from what little I've tried of it, my experience has been that it's less snappy than Sublime, while attempting to obfuscate the things the way VS proper does, which I find distracting when working with js/Python/html. When it came to the large CPP code-base I was toying with, its felt slower to work in than VS, and I couldn't find any compelling reasons (killer features) to learn its conventions.

I know quite a few people using code for web development, but they haven't really told me why ("it's just better").

I get the impression I'm missing out on something wonderful here, and I don't want to be an anachronism. But I just don't know why I'd want to switch unless I needed a heavier IDE on my Linux box.
Note that yishan is not a doctor and the study he referenced is entirely in silico, not in vitro.
Four square works with other apps to do the tracking, so it's almost inevitable that you'll be tracked.
I'm sorry to hear that. From a distance, it seemed like there was some interesting revitalization work going on in the downtown area. I remember going to a barbershop off Main Street as a kid with my dad every couple of weeks. Back then it was a classic old downtown, with shoe stores and shirt stores and barbershops and hardware stores and all that.
Yeah, I try to bundle things up to save on shipping. On the other hand, by the time I need anything, I probably also need wiper blades, and the price difference on just one wiper blade usually covers the cost of shipping.
This is my understanding as well, would love if an expert could weigh in on the question.
+1 for Clojure companies
Agda and Idris are the same sort of tool (total dependently typed languages/proof assistants/interactive theorem provers) as Lean and Coq.
Are you talking about searching file contents?

Might check out something like ripgrep, but that's for searching code and other text-like files. Wont help you out with MS Word docs or anything like that.
> Testing in Italy is insufficient to tell us this.

It's not about "testing in Italy":

"In Lombardy – despite the region being under lockdown since March 9 – more than one in every 1,000 of the entire population have already been hospitalised due to coronavirus."
It’s also a multidimensional problem, so sometimes people improve the state of the art in one dimension, but either at the expense or the neglect of another.

I think it’s a bit like any applied science. There’s a theoretical limit to the efficiency of an internal combustion engine. We grow closer to it, often with more complicated machinery, occasionally with better construction (ie, the manufacturing becomes more complex so the product is less complex). And we balance the consequences (pollution, reliability, cost) against the benefits.

Once in a while we substitute a different model (E.g., Atkinson) with small but important differences in the theoretical limits, by looking at the problem differently.
So why no meta classes and no MOP? Pretty easy to implement, and you can do so much more.
> Is there a way for social media to stay fun and profitable?

This, exactly this, is one of the reasons I founded VC3 (https://vc3.club). If you're interested in discussing these topics in a purely intellectual way, we would love to have you join us.
Ask HN: Imagine a Post Pandemic World, How Internet Use Will Evolve?
I ask myself this, because I believe that the lockdown will permanently change our psychology and our way of dealing with everyday life, and since the internet and services will forever play a fundamental role in our society, I am trying to understand how the relationship between man and services will evolve.

For example, what do you think will be the Fundamental Applications for a Post-Pandemic World?

I believe that P2P, decentralization, cryptography and virtual reality will create a new universe of services that will become more and more present.

But this is just an assumption. What do you think?
Managing, organising and publishing APT repositories became a nightmare for us as well. That's why OpenAPT is alive.

It moves APT management from script paradigm to state description paradigm. Indeed with OpenAPT, you don't have to write command lines anymore but instead you describe the state you want to achieve. Just like Ansible does.

Btw, it's a brand-new project. If documentation is lacking, feel free to open issue(s). We will be happy to help you.
It's using the Rust native arrow library, from the DataFusion project. So nope, pure rust.

https://github.com/apache/arrow/tree/master/rust/arrow
Cool! It works really well. Drop-in replacement of VSCode for me.
UK Prime Minister Boris Johnson in intensive care after symptoms worsen
Erm, please forgive my ignorance but how would this help?
Your wish granted. Shure Aonic 50 released 5 days ago ! https://www.shure.com/en-US/products/headphones/aonic50
The stone houses are cold in the Northeast, and the brick or stone ones fall down in earthquakes in the West.
There have been so many people, including here on HN, who've said you only have to worry if you're over 80 or have significant comorbidity.

Those groups are higher risk, but that doesn't mean everyone else is "no risk".

Here's a twitter thread that contains a link to data from English, Welsh, and Northern Irish intensive care units.

https://twitter.com/ActuaryByDay/status/1246866119597621248
I used Google authenticator for 2fa for PayPal. I don't recall if PayPal have my mobile number. If they do am I vulnerable?
Scale AI Machine Learning Digest – Q1 2020
Advance and I believe Autozone also let you place orders for in-store pickup. At one point, Advance was putting a coupon code right at the top of the homepage that would save you 20% off your order if you did that.
I would want to be able to see the FEN string and move list even if document scripts and CSS are disabled, or if the client software does not implement some feature it uses.

(I have now written a document about <widget> and <widgetset> elements (and some extensions for <script> and <noscript>) which contains a specification for how such things should be done, and the implementation could be made to support this.)
Many people who shop online have only become online shoppers after Amazon became the dominant online retailer. For some people, Amazon is online shopping.
First reason is the one that is most likely. There are many kinds of users on the WWW and they use many kinds of web browsers. So the only constant they all recognize is HTML and the only way to realize an application over the web that will be accessible to all those users, is by rendering it as HTML completely on the server.

Also, from technical point of view there is no point in generating JSON output (or any other format), and use that format by a JavaScript based processor to generate HTML, when you can directly generate HTML that will be as simple as the JSON. There are not many savings. Why?

3 results of a simplified query engine output in HTML:
[DIV class="results"]

[DIV class="result"] [DIV class="url"]URL[/DIV] [DIV class="description"]description[/DIV] [/DIV]

[DIV class="result"] [DIV class="url"]URL[/DIV] [DIV class="description"]description[/DIV] [/DIV]

[DIV class="result"] [DIV class="url"]URL[/DIV] [DIV class="description"]description[/DIV] [/DIV]

These results are usable as is, the browser will render them and does not need anything else to do it.

3 results of a simplified query engine output in JSON:

"results": [
{
"url": "URL",
"description": "DESCRIPTION"
},
{
"url": "URL",
"description": "DESCRIPTION"
},
{
"url": "URL",
"description": "DESCRIPTION"
}
]

This output does not save much space. It is equally as complex on the server-side.

But this output is not usable by the user as will not be displayed in a usable form, so you need JavaScript code to process it and generate HTML that will be usable.

So why generate the same list of things two times? It is better, easier and more accessible for the user if you generate HTML the first time.

Just my opinion. This might not be the real reason.
I've seen this game played countless times.

"Sources?"

Then you do the job of googling for them. Retrieve a few relevant sources.

And they proceed to shoot them down, even moving goalposts if necessary. They might come back with their own confirmation biased sources.

This instance is even more egregious. There is a growing mountain of evidence for climate change. Multiple books, across multiple disciplines, can and have been written. Numerous peer reviewed papers.

What's more infuriating is that you don't need climate scientists to corroborate climate change. Because it's not a prediction anymore, climate has been changing already. Disciplines as diverse as geology and biology can detect the effects. If you want to do projections, sure, biologists may not be able to help. But if you want to see the effects today, they certainly can.

With such an enormous pile of data, I can't believe this is a legitimate discussion.
Care Package Ideas