skysight-inc/HackerNews huggingface dataset:
I can't agree more about Hasura, I made the jump to GraphQL for my current application and it's been a dream. Their documentation is excellent, helping me get setup with auth0 jwt auth and apollo client despite being new to both.

Metabase was a game changer in my last company, it was so nice to just be able to drop a 50+ line custom SQL query in there with parameters and let users pull what they want. We'd also setup queries to be loaded via Google Sheets cron jobs. That enabled live dashboards most any spreadsheet user could create (pivot, lookups, transforms, etc.).
Yes, but this blog post does performance benchmarking against weaker libraries, while not showing the performance of stronger competitors.

https://github.com/skywind3000/kcp/blob/master/README.en.md BTW has exactly the same diagram as this blog post, so even though it mentions enet, it does not show enet's performance in its comparison graph.

Plus it only mentions enet in the case of a (almost catastrophic) network failure where even KCP has a 1+ second ping. Playing any kind of online game with a ping above 0.5s is pure pain, so that situation is not a valid data point for arguing about KCP or enet's pros or cons.
> Just because none of my 20 fields trips haven't found Bigfoot doesn't mean it doesn't exists!

I mean, yes, technically correct.
1) Not sure. I would say photos are usually quite ok.

2) Yes I agree: Those 360° photos are ok but the transition from one to the next is poor, even for google indoor-map as surprising as it sounds.

The only good 360° photo technology is by far matterport. https://matterport.com

3) I would think it is ofen marketing. To market their museum. Photos, 100 years ago did not kill the "presence" in museums.

Same for virtual visits... Nothing to worry about.

4) Yes, I also think an audio comment would add a lot. I wonder why no 360° visit does this...

Thierry https://free-visit.net
This is a great start on how scientists (and journalists) should communicate to the public! Thanks for writing this, and the world would be a better place if everyone remembered to follow these principles.

I think in fact it would be better to go even further: not speak from a position of superiority (even if one knows more), but try to acknowledge the audience and persuade effectively. Here's a recent article on the topic: https://undark.org/2020/03/19/coronavirus-myths/ and here's one of my favourites (in a different field of science) from three years ago: https://deansforimpact.org/why-mythbusting-fails-a-guide-to-...
That's not really a fair representation. (Harvard epidemiologist) Marc Lipsitch raised the alarm back in February: "it's likely we'll see a global pandemic" of coronavirus, with 40 to 70 percent of the world's population likely to be infected this year."

https://thehill.com/changing-america/well-being/prevention-c...
This reminds me of the blaring headlines a few years ago that claimed 40% of US corporations paid no income tax. The headlines were true, but not mentioned was that 40% of US corporations lost money that year.

Income tax is based on profits, not gross revenue, not market cap.
All of what the author said is what Scala does (author likes Scala).

I've written a decent amount of Scala, it's fine.

I've also written a lot of Common Lisp, where array access is done using aref. That was also fine.
That's a good reason. You don't need a moral reason to not choose a paid job. The reason scores of families will go hungry because of the mismanagement, not because one human did not step up to keep the mess rolling.
In analogy, the reason Africa is starving is because of the past and present extreme exploitation from foreign powers, and said foreign powers sponsored corruption and violence. Not because "a heartless middle class salary man did not send his monthly 10 dollars", turning a blind eye to the real causes of the situation.
I don't get it. If I get the choice between taking over a system where the configuration is self-tested, vs one that is not, I would much rather pick the first option?

You don't _have_ to test anything, just like in any software development. But now you can, and you can do it in a side-effect-free environment, on CI push, instead of realizing you made a typo when the CM kicks in, or worse, when your system starts crashlooping on startup because of a configuration issue.
I made zero-dependency Python package for simple throttling (rate-limiting)
Repo: https://github.com/uburuntu/throttler

Give me some feedback :)
One of my favorite projects that does this is Guix, which uses Guile for its configuration. See this page for an example: https://guix.gnu.org/manual/en/html_node/Using-the-Configura...

It's a nice balance, I think - most of the time you can treat it as a normal config file, but if you need to drop into some programmatic stuff you can. I've done this in my own dotfiles to add custom package definitions before contributing them upstream, for example: https://github.com/jfrederickson/dotfiles/blob/master/guix/g...
It is true

But not 100% in this case

They just recoloured something that already existed

Design must also account for spacing, layout, positioning and emphasizing things, according to the colour scheme
Using json or yaml for your languages config is nice for the application but it's not great for for the developer especially if they want to reuse values or settings across multiple applications. The solution then is to use a real programming language to generate that config. This is why languages like Dhall, JSonnet, and Cuelang exist. It's why I built my own toy language UCG to explore the space. But you could just as easily use python, javascript, or some other language too.
No, really? I would've never guessed.
We might have different target audiences of our work, but in my line configs should not require tests. Because their task is to adjust the functioning of an application. If they all of a sudden require tests, that means (at least to me) that it's not part of the configuration anymore, but a part of the application proper and should be treated as such.
It's not like the law makers are unaware of the loop-holes, but by making the rules more complicated you increase the cost of doing business, to the degree that you benefit from economy of scale, meaning the big companies still wins.
Why do you think the Oxford model compares poorly to the Imperial one? Both are created by eminent people in their field. Neither has been peer-reviewed.
Not a popular answer, but XML is mature, widely supported by many programming languages, and addresses all of the frustration criteria mentioned in the article:

- doesn't have comments

XML uses the same <!-- stuff here --> SGML-style comments that HTML does

- bits of configs can't be reused

XML can include other XML via XInclude: https://www.w3.org/TR/xinclude/

- can't contain any logic

You can technically put logic in XML using XSLT (https://www.w3.org/TR/2017/REC-xslt-30-20170608/), but I would ask if one SHOULD put logic into your configuration. I personally would recommend against it if at all possible. Keep configuration as declarative as possible and put the logic in your program. It's better to have a configuration logic module or use dependency injection than put logic in your config.

- Programming language constructs are reinvented from scratch

Again, XSLT could be used, but should your configuration really need to be Turing-complete?
Granted, XML is complicated and not without criticisms, but it is mature, standardized, and well-supported. Python has great XML support: https://docs.python.org/3/library/xml.html

- can't be validated

XML can be validated against XML Schema (https://www.w3.org/XML/Schema), Relax NG (https://relaxng.org/), and possibly other standards.

- implicit conversions and portability issues

XML can be used portably between different platforms and programming languages depending on how the data is represented. XML Schema defines a way to describe data types that is flexible and interoperabile: https://www.w3.org/TR/xmlschema-2/

Again, I know it's not the popular answer, but I was surprised that it was not even mentioned in the article.
I've never seen a computer scientist put a lot of effort into syntax. The POPL people are more interested in type systems and semantics than they are in syntax.
But how does this solve for relativistic time dilation?
show me a study where the mouse model had negative correlation to the human trial : https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2746847/ , with relation to diabetic drugs and anti malarials?
Way ahead of their time. SunSPOTs were great!
OK, so this is a little sobering for someone on 200 mg/day hydroxychloroquine for rheumatoid arthritis. And they were thinking about doubling that, until I complained that it made me feel brain dead. But then, the naproxen that I've been taking for decades is damaging my kidneys. And hurting all the time sucks.

But anyway, I see that metformin is used to treat type 2 diabetes mellitus. And I vaguely recall that the incidence of that disorder has been increasing dramatically. So this is arguably a key red flag for hydroxychloroquine in COVID-19. But not for me, fortunately.
As a private citizen, I took would like to only pay "income tax" on my profits—the amount of cash I have left over at the end of the year.

Corporations are people too!

/sarc, but only slightly...
Zoom Security: The Good, the Bad, and the Business Model
The low hanging fruit metaphor meaning do the simplest or easiest work first is not really applicable to fruit growing but seems to have been coopted by the busieness world instead, then we started using it too in our contexts. Not crazy about this metaphor either, but it could be useful in some contexts and while also misunderstood in others. The same goes for most jargon.
A bird doesn't build her nest on her wings.
College admissions, acceptances, and the possibly on-line fall
AutoIT...
I do not like to use it this way at all but you can manage many things using the AU3 macro system. Can be useful for beginners...
Go and Rust.
Proof, no. But ensuring it in terms of manual labour is far easier with a static file, than debugging a convoluted script pretending to be a config file.
At the level that you're talking about, you'll start running into the unresolved questions of modern physics.

One of the best ways to look at this is through the Standard Model of particle physics, which essentially defines how the fundamental particles of the universe are related. Between the number of observations and large-scale experiments dealing with high-energy collision products, astrophysics, neutrino detectors, etc., some people consider the Standard Model to be the most thoroughly-tested and verified framework in all of science. That's a pretty grand claim, but hey.

But it still falls short in some ways--for one, it starts breaking down past a certain scale. Classical field theory as defined by general relativity (another model that has had enormous success under test both theoretically and experimentally) and particle physics don't get along. Neither one fully explains reality, and the interface between those two models of reality hasn't been found. That's why people research things like string theory--they're attempting to find a mathematical framework that can resolve those two frameworks, among other things.

So while each of them describes the universe extremely accurately in their own domain (check the sigma values and number of observations of experiments run on the LHC), they're not 100% right, since they can't be correctly extended to cover all scales and frames. The models remain just that--models which provide a useful framework to interpret reality, but don't fully describe the physical reality itself.
Software can be bad.
> They are regressive and anti-consumer

Thats a perspective, not a universal fact. They are effective and useful from a political perspective, which may be beneficial to consumers long term. Alternate levers being circumstantial.
This is 20 years ago, but I always wrote scripts in perl to generate the orc and sco and then generate the audio. I remember it being petty fun. Maybe it's gotten more complex since then. Lots of things were more fun twenty years ago, or maybe it's just declining executive function.

I dunno, have things gotten less fun?
For me the target is mostly verbose YAML configuration of existing software (which I can now emit from an in-memory object instead of templating and having to remember all the YAML quirks) and k8s manifests. Especially when I have to stamp the same piece of software multiple times in multiple deployments (environments/regions/etc).

For instance: I just brought up a new Factorio game server yesterday, just by adding a single line to my jsonnet configuration machinery: https://gerrit.hackerspace.pl/c/hscloud/+/246 . This in turn brought up a bunch of new k8s resources, including some persistent volumes, a deployment, and a loadbalancer service, after running a single `kubecfg update` command.
"91 profitable Fortune 500 companies paid $0 in taxes in 2018 under Trump's tax law" https://finance.yahoo.com/news/trump-tax-law-fortune-500-com...

"The 379 profitable members of the Fortune 500 paid an effective federal tax rate of 11.3% last year" https://www.axios.com/fortune-500-companies-corporate-income...

Amazon, in particular, made over $10b in 2018, but the US government paid them over $100m.

ETA: And for comparison, I made $36k last year (missed a lot of time for health reasons) with a family of 3 (= negative profit, I'm still in debt from it!), and my tax rate is ~8%.
> Bankrupting a company you just bought by over leveraging often means you took a massive loss

No, the company took a loss. You took dividends.

Then the company went bankrupt.

Do you disagree that's what happened with Toys'r'Us? https://www.theatlantic.com/magazine/archive/2018/07/toys-r-...
What do you mean it made you feel brain dead?
Is it possible to link to a specific header? What if I change the header name?
I don’t see how any of this is coming as a surprise to anyone, or even why people are bothering (questionable science behind the choloroquine paper aside, even).

This is a comment I posted to HN three weeks ago, when I was pretty sure (but unfortunately wrong!) that the suggested chloroquine dosage for purportedly treating covid-19 was being reported in the wrong units because it was so high, using only the information in the FDA docs on the chloroquines: https://news.ycombinator.com/item?id=22611041

Choloroquine is very well known to have an extremely low therapeutic index (ratio of fatal dosage to effective dosage) and people (well, non-infant children) have been known to die from just a 1g dose. The recommendation for Covid-19 starts at an order of magnitude higher than the recommended FDA dosage for malarial suppression.

(Pretty much) everything can kill viruses at high enough doses. The question is if it can do it without killing the patient as well, and it is eminently clear from existing, solid research that choloroquine doesn’t fit that bill.

Hydroxychloroquine is better tolerated than chloroquine base, but not that much more to sufficiently matter. It also has its own horrible dangers (including complete blindness from accelerated macular degeneration) that have been well documented at long-term “low” dosages; it is not a stretch to assume they would happen with short term high dosages.

There is a reason these only work in vitro - you don’t have to worry about killing the patient there.
- I would not rely on data from the US because only serious and critical patients who were tested by public health departments are counted. Private lab results and "mild" cases go uncounted. Furthermore, not every COVID/ILI death is being tested or counted either.
Well, keeping track of metformin use would be pretty easy. You could even exclude those using it from trials, unless they signed off after full disclosure.
This brings back so many memories. What got me into servers and programming in the first place was setting up quakeworld servers and modding them.

What I miss the most are rocketjumping maps. I spent so many hours on those servers but it seems most of the maps are gone from the historical record.
dlopen? :)
You will have nothing to add if the “2.2 million deaths in the US” scenario, which was blasted across every newspaper front page a few weeks ago, turns out to have been impossible all along?

If that scenario was “completely wrong” too, it seems like it would serve as a perfect example of the consequences of this kind of (still hypothetical) misinformation.
Iran’s Ban on Telegram That Was Intended to Facilitate Domestic Spying Backfired
Hüseyi̇n Altin Jesus Christus Dünya, Hayat IÇİIDİR
Oh, welcome back to the worm, and f* off to Dan Goldin who wasted taxpayer money in his obsession to get rid of it, and would get mad at people when he saw it:

https://www.nytimes.com/1999/01/10/magazine/on-sunday-januar...

http://nasawatch.com/archives/1999/12/
A large number of configs are created/used by people that don't know any programming languages, it seems rough to exclude all those people.
How about something like HCL?
This reminds me of makefiles. Most programmers wouldn't dream of checking in code with no comments. But makefiles with byzantine code in it, no comments whatsoever, nothing even saying what the makefile is for, are routine. The makefiles degenerate into such an awful mess that then people look for alternatives to make.

The sensible solution is to treat a makefile like code - document it and use sensible coding practices like organizing it instead of writing spaghetti soup.
Why Failure Precedes Success?
I have nothing against the topic, I think the Wikipedia article is incredibly poor. It does little to explain the topic and presents a one-sided viewpoint authoritatively when it seems anything but. It’s clearly lacking an encyclopedic tone. There’s a couple of warnings for its poor quality both in the article itself and on the talk page.
Timeout.

You just replied and exhaustively dug up a citation to refute every apparent interpretation of a comment.. But the moment I point out the obvious, charitable interpretation you missed, suddenly, you can't google? This seems like bad faith. You're apparently willing to research every claim, as long as doing so makes someone else look wrong, but not when there might be an actual reasonable meaning of what someone else said.[1]

And then, again, you misinterpreted me to make my claim trivially false. I said that it's "mostly true" that the sales tax is incident on consumers, and then you "misread" me as saying that the burden falls "entirely" on the consumer, thus creating the much higher burden of proving an elasticity of 0?

That's really not how to have a productive conversation.

If you or other readers still want to go that route, then here you go: a (summary of an) OECD working paper that shows that sales taxes in practice are mostly incident on consumers:

https://taxfoundation.org/new-oecd-study-reviews-research-be...

In any case, as fate would have it, the original commenter was harboring the confusion you suspected about the distinction between physically paying the tax, vs bearing its economic burden:

https://news.ycombinator.com/item?id=22787539

But still, if you're going to be charitable, be charitable. If you're going to research every possibility, research every possibility. Don't suddenly lose this ability when it might not make someone else wrong.

[1] i.e. "paid by" being a casual way to say "economically incident on".
That seems like an acceptable solution to this. I'd still prefer not to be in a situation, where configuration is so complex and dynamic, that I need config generation, but if one does land in such a situation, I think this is the most sane approach.
I agree with this article, and further, there's too much googling and random coding these days. The joke about Google was meant to be that developers refused to memorize data structures or something, not that we have no idea how to understand anything and should randomly use code from the internet.

I use my share of code from the internet, don't get me wrong, but I try to figure out how it works first, as intended. Otherwise I'm just some monkey bashing two functions together to make sparks.
My address is well documented. If the government wants to tell me something, they know where to find me.
How do you reckon social media will impact your models? Rumors and information - real or fake - has never been easier to spread in the world (Wuhan's data becomes less relevant here). We've already seen calls for defiance of lockdowns in right wing circles. In my country, old videos are being circulated to spread misinformation about the treatment.

Again, our data for all older epidemics is applicable to the epidemic in isolation. But there is no way to accurately model how the epidemic interacts with people simply because the way people live has changed drastically from past epidemics.
You can assign ids to headers and link to that.
The secret is that you should incorporate yourself as a business.
Agreed

What f&cks up the system is differentiating money you've made by buying shares, from money you've made by working.

Owning shares isn't contributing to GDP - working is.

For some horrifically f&cked up reason (lobbying) the former is taxed less than the latter.
> Yet, I believe it is fairly common to call this kind of logic intuitionistic logic, even though there is no rule for ⊥.

I don't believe this is very common—it's _an_ intuitionist logic, but "intuitionistic logic" by itself pretty much always includes ex falso—but actually it's rather strange that this is the case; it's not immediately clear that ex falso is constructive at all!

Minimal logic is both 'intuitionistic' (since LEM does not hold) and paraconsistent (since ex falso does not hold). I actually think there's a fairly solid case to say that only paraconsistent logics can be thought of as truly constructive; certainly if we start from BHK, it's not at all obvious that ex falso is a sound principle, and Kolmogorov himself had great issues accepting this. When he finally managed to convince himself of this in 1932 [1], it seems more that he was trying to finish off the logical framework by sidestepping the issue.

Kapsner [2] argues that the constructivist can only accept ex falso if she is willing to accept so called "empty promise constructions" as being constructive (see the source for more details on what this means, but it seems to broadly line up with Kolmogorov's justification); I personally don't think that they are compatible with the way BHK is usually presented at all.

Brouwer isn't around to tell us exactly what _he_ means by constructivism, so ultimately this is all philosophical, but I think this it's an interesting area that people don't really think aboutl I think a lot of people are exposed to intuitionistic logic via Martin-Lof type theories but don't actually consider how the logic fits into the wider notion of constructivism.

[1] : https://plato.stanford.edu/entries/intuitionistic-logic-deve...

[2] : https://www.springer.com/gp/book/9783319052052
Right on. Main target are shale and sand oil production in North America, with have much higher extraction costs.
How exactly is this profiteering? They aren't demanding extra money or marking services up. They're at a high risk of bankruptcy themselves.
URL? What does he need them for?
That is really cool - as chance would have it, I've just spent this weekend converting all my personal infra stuff to Jsonnet and I'm having a blast! This is some really nice inspiration.
link: https://www.youtube.com/watch?v=nlJqlWSPJeI
“Only work in vitro” and the fact it’s actively used around the world in vivo contradict.

Also can you cite the solid research showing hydroxychloroquine + arithromycin failing for covid-19?
The regular in-app content management service has plenty of city growth scripts. It's just a matter of finding one with reasonable rules and tweaking the parameters to be fun for you.