skysight-inc/HackerNews huggingface dataset:
Where I live they closed the beach, and they "closed" the benches across the promenade around the beach, but you're still allowed to exercise. You're not allowed to sit down anywhere.

So everyone is going back and forth in that narrow band, some jogging, others walking their dog, others pretending, etc.

The whole thing makes absolutely no sense.

I think many politicians don't know how humans actually behave and write policy based on the assumption we're robots or slaves. Or maybe they did not realize that reducing the size of the public space we're allowed to use implies a higher density of people in the remaining space we're allowed to use.
It doesn't look very safe with the batteries inside under the passenger seats.

Converting classic cars to EV makes sense, especially if their engine is very broken, but I'm not sure it's very interesting to convert cheap common cars when similar and much better EV exist.
Add Google Finance to this list. What a tragedy and Google still has not realized it.
I usually just extend SQLite with virtual columns and try to do the filtering/aggregate before sending tuples to the engine. This does the trick most of the time and it's relatively straightforward to implement.
My questions were mostly rhetorical.

My point is that you can't run most AAA games actually, and many of those you can - will give you enough problems (like frame drop or some graphical features unavailable).

And I really don't understand what's the point of being able to run some games. I want to play the games I'm interested in, not the ones that 'are playable'.

>I don't know, but Mad Max and Shadow of Mordor are pretty much the same kind of game as Assassin's Creed, following the same kind of gameplay and using the same kind and complexity of 3D graphics/engine.

No sure what's your point here. You can't replace one with another just because they have similar mechanics.

Steam\GoG has many games that run on linux and macos (by the way), but most of them are indie platformers or things like that. People don't play random games just to kill some time (well, some do), they play TITLES.

> I forgot to mention

more exceptions. They will stop being exceptions when you will be able to run 80% of titles without any issues and not sooner than that.

Gaming is not important to be, I'm a PS4 guy ever since macos switch, just pointing out that games are still has little to do with linux unless we are talking about rare AAA titles and indie scene
NASA is looking for participants to isolate in a Russian lab for 8 months
I think a first step is to make reviews public, in particular also rejects. In particular the big journals like science and nature seem to rely on a very small set of reviewers and often papers get reviewed by nonexperts, we had a paper rejected when a reviewer contradicted scientific fact that is in textbooks. When we protested the decision they just send it back to the same reviewer who stayed with his claim. I think if these reviews would be public the journals would get much clearer feedback on how bad some of the reviewers are.
This was a tough cookie! Agreed
That's not actually letting you do something different. You can still do the thing on the website, it just requires SMS.

It implies they should at most only require SMS to use the app on a jailbroken phone. Or, you know, stop doing that entirely, since SMS-based authentication is horrifyingly insecure. It's literally less secure than email, and that's a pretty low bar. People should really stop using it.

Also, phones have no real way of authenticating their current location, so assuming that what the phone tells you is secure against intentional fraud is a pretty bad idea to begin with.
Someone is doing the labeling. It must be an exciting task.
It's very easy in many typed languages.

You have a type for UnauthenticatedUser and one for AuthenicatedUser. You have an authenticate() method to convert from one to the other.
Let's put it this way: if you have a &mut to a heap allocated object (Box, whatever), you pretend it's unique, BUT its contents are also reachable by the global allocator, say, malloc. So it's not really a unique reference.

If you allocate something new, Rust pretends it is independent, assuming that malloc won't muck with the other objects it knows about.

What if we relax that assumption? Allocations may perturb other allocations - that's how moving GC heaps work! Can that be modeled usefully in Rust?
Or the one that makes me laugh is the sterilization of the credit card keypad versus the handling of cash without sterilization.
However, you need to have a big picture view or potential optimizations when you architect. The profiler can't save you from slow architecture.
There is a big difference between "theoretically C++ could be written safely" and "Rust is safe."
You have to be very careful that the looser language doesn't break the rules that the stricter language relies on. Have a look at the Noether design for a serious effort at doing this kind of stratified language.
OpenSSH focuses on security and correctness, not performance. That allows to use simple idiomatic C. Still, as with Chromium, it does use process isolation to mitigate memory-safety bugs.
Thanks, I’m afraid my Sarcastic level was on extra-high mode :/

I loved gnome, but since moved on to xfce.

Edit: I still love gnome, just bring the goddamn solid background colours back
Police Fire Tear Gas as Marchers Defy Warning
All the usual warnings in both GCC and Clang, if I remember correctly, although you are free to try it yourself: https://github.com/regular-vm/libencoding/blob/1e12adf04d1d4.... On that line, if you replace the brackets with parentheses it will call the wrong constructor and leave parts of the object uninitialized; if you can get something to warn about it I would be very glad to hear more details on what I should be doing :)

(Oh, some background before I share that monstrosity with you: the project is a virtual machine I designed for a class I taught recently, and I experimented in implementing it in modern C++ and had a bit too much fun trying to see how much of it I could encode in the type system, which is why it will probably take a really long time to compile. Here is some code that actually uses that header, for reference: https://github.com/regular-vm/emulator, and I should note that I have internally changed some of the architecture slightly do accommodate an assembler that I have put aside for now.)
I'm a nerd so I don't mind being in front of the computer all day (I do resent the loss of civil liberties though).

But I have a friend already going through depression who is going through hell with this stupid lock down. It affects people differently.
Why would you see a large increase in cases when ineffective measures are lifted? Ineffective measures have no effect.
This works if your time is infinite.
> Meh. Any significant interface change is going to annoy some users

Your example is unfortunately worse than just interface change. It is also worse than just usability degradation. It is about why and how this change could take place to begin with. For the case of chromium, I think this is just change for change's sake, so that some team can get promoted, some director can justify their existence. I wouldn't blame the team for wanting to get promoted, but I would blame the process that allocated world class engineers and designers to a task that was not only redundant but also ended up being a net negative to its users. This was a process that obviously couldn't integrate user feedback, that couldn't decide "you know what, let's not release this until these issues are addressed" probably because it "had" to be released at that arbitrary deadline. This is like paperclip maximizer, only it is not artificial intelligence but corporate intelligence destroying the world one useless launch at a time.
Every C++ fan claims that this safe subset exists, but none of them can tell you what it is, or how to tell whether any given library is written in it or not.
If we're going to criticize this, can we discuss reasons for why this reductive method might be faulty?
I think the math here should be right, although perhaps the confusion here is because I wasn't clear about the role of the order:

We're ordering the trials by speed, and computing the probability of getting an AAABBB ordering. The probability of ordering AAABBB by random chance is 1/20. That's why we don't care about getting BBB first, and why getting AAA first does tell you that A is faster then B.

You can also click on the link in the OP and see other people explaining the logic of the rule. If there's an error with either my explanation or others, I'm interested in hearing it.
I can tell you that this system would make many things even worse. The problem is that so much gets published so it's very hard to follow everything, so peer review is a good first filter to reduce numbers.

If we move to a system where everyone just publishes on e.g. Arxiv what happens is that people will just follow certain researchers that they deem good (you can already see that happening in some fields). So you have cabals developing who only read each others articles and it becomes very hard for new researchers to break into.
Ok, changed from https://github.com/michael-andreuzza/Marketing-for-Engineers.
The visuals are beautiful. How does he do it?
I'm not sure that's exactly the reason it's broken. Usually an editor will give a paper to people who are specialists on your topic, and they will have thus likely written papers related to the topic as well.

One major issue is that, because of this, they will sometimes have a vested interest (conscious or not) in blocking the publication of your paper if it shows flaws in their own.
wikipedia has more images[0], as somehow the article doesn't show "The Effects of Bad Government on the Country" (barren fields, burning farms, brigands/soldiers raids etc). Also, a part of the "bad government in the city" is not captioned appropriately.

I remember this from my history book in high school, it's an interesting painting, but like much of the medieval stuff it may be hard to understand with modern eyes.

A vaguely similar "good vs bad" depiction is Beer Street and Gin Lane[1], intended to show how good life would be if we just stuck to lighter alcoholic beverages.

[0] https://en.wikipedia.org/wiki/The_Allegory_of_Good_and_Bad_G...

[1] https://en.wikipedia.org/wiki/Beer_Street_and_Gin_Lane
That's why in the early 90ies people stepped back and created Java. Lisp was in its AI winter, but memory safety was still top priority for the industry.
I feel that if in general you want the authors to engage, I would ask the audience to post the comments on the author's blog (for those blogs that support comments).

In this specific case it's a bit trickier because you want authors to post their content, and this may or may not be in line with your goal, depending on whether you e.g. prioritise build another community (social network?) of people interested in blogging or reducing reliance on <big centralised websites>.

I would prefer reducing the comment fragmentation in this kind of a context.
I can't believe that people are quick to tell me that the pneumonia I had in January couldn't possibly have been COVID-19, but they say that every death since January is COVID caused.
You might have missed further down the page: Sweden only has 8,963 closed cases, of which only 4,971 (55%) recovered. 3,992 (45%) have died. The rest of the 33,188 cases have still not yet recovered from the virus.

But you're right that even if you take the 3,992 deaths out of 33,188 confirmed COVID-19 cases in Sweden, their 10% death rate is still almost 10x higher when compared to Australia (1.5%) and much more compared to Singapore (0.08%).
Isn't dividends supposed to be payed from equity? "Loading with debt" will not increase the equity available for dividends.
Show HN: AutoBassTab – bass transcription using Deep Learning
Very similar - our realtime is done a bit differently (we use the WAL rather than triggers), and we plan to use Postgres' RLS rather than a custom Auth system.

> When are you launching?

We're in alpha now - https://app.supabase.io (desktop only)
Catching means the disease itself is contagious - it is the environment or habbit which spreads it as opposed to a cancer patient coughing on you and giving you cancer - unless radiation treatment has gone /very/ wrong through historic levels of medical malpractice.

Indefinite chaining area of effect vs just area of effect roughly.
Google already has a bookmarking service at https://www.google.com/bookmarks/

I have stuff saved in there dating from 2007 to 2015. Used to use a Firefox extension to load them in the sidebar.
My relatively recent pet peeve has been ‘UX designers’ (in quotes because I respect the discipline and the many competent practitioners but refer here to the charlatans) that push their narrowly defined views of ‘form’, ‘simplicity’ or ‘minimalism’ to the extent that the end result compromises the essential functionality required by a user base.

I cannot wait for these people to leave the industry and hopefully take their dogma with them. They’re the rebirth of the same mindset that led to the ‘eyeballs are all that matter’ era of the web in the early 90s.
1. Tibet is high ground. Source of China's rivers and a security nightmare if someone ever puts artillery up there.

2. Nationalistic pride. A lot of modern China's identity is tied up with using the perceived territories of the old Qing empire as a baseline measure for the country's standing in the world. Tibet was part of the Qing empire (disregarding how pre-modern empires controlled territory in arrangements that gave local rulers much more leeway than modern nations) so not having Tibet as part of modern China would be seen as a major defeat. Try asking a Chinese national to explain why the PRC fought to keep Tibet but not Mongolia despite both being part of the old Qing empire and watch the mental gymnastics.
Some of these maps have to be printed out and put on a wall. Can I purchase posters of them or are high quality images available?
From the article:

Peer review grew up in a world where there were many fewer people engaging in science than today. Typically an editor would know everyone in the world who had contributed to the field in the past, and would have enough time to understand the ideas of each new entrant to the field as they started to submit papers. It relied on personal connections and deep and thoughtful understanding.

That has changed just due to the scale of the scientific endeavor today, and is no longer possible in that form.

I don't know how you fix that. But it points to why peer review worked well at one time and became some kind of gold standard and why it's failing to be some kind of gold standard today.

I think you have to parse what was going right about the system that created peer review in order to have any hope of parsing how to replace it at scale for a world that's grown vastly larger in terms of sheer population numbers.
> Rather than creating some drama or calling out a GNOME developer, why not see if you can implement the feature?

That's not how it works anymore. If you don't give me the free thing in exactly the way _I_ want it, you are oppressing me and you should be destroyed.
Einstein was never published in a peer reviewed journal. Annalen der Physik had editorial review. The only time one of his articles was sent out for peer review he withdrew it from the journal in question.

> For instance, the Annalen der Physik, in which Einstein published his four famous papers in 1905, did not subject those papers to the same review process. The journal had a remarkably high acceptance rate (of about 90-95%). The identifiable editors were making the final decisions about what to publish. It is the storied editor Max Planck who described his editorial philosophy as:

> To shun much more the reproach of having suppressed strange opinions than that of having been too gentle in evaluating them.

...

> We (Mr. Rosen and I) had sent you our manuscript for publication and had not authorised you to show it to specialists before it is printed. I see no reason to address the – in any case erroneous – comments of your anonymous expert. On the basis of this incident I prefer to publish the paper elsewhere.

—- Einstein

https://theconversation.com/hate-the-peer-review-process-ein...
How Viruses Hack Our Immune System Defense With Clever Tricks
Seriously, why doesn't python have a maven equivalent yet?

And no fat-binaries. Nor self executing binaries. It's just as old and having em basically just boils down to enforcing conventions. But nope, nothing. There have been attempts by some such as shiv, but really... None are even remotely as usable as maven is.
You have to be careful what you're talking about when you talk about AVX-512 performance - it's more complicated than you might think at first (like I did!) First, the instruction set and the datapath width are different; you can use AVX-512 with 128/256 bit vector registers if your CPU supports AVX512VL, which is nice, because the instruction set has a bunch of good stuff, without incurring the harshest downclock penalties on some architectures (a different "power license" in Intel terms, which varies per core on newer systems.)

But it's also very uarch dependent. Ice Lake has only a single FMA for instance, while some Skylake-SP cores will have 2 (there are no 2 FMA AVX-512 chips besides Skylake/Cascade at the moment.) The power usage is presumably lower than with 2 FMAs, but the reciprocal throughput is halved. If you only use 512-bit vectors on one core for instance, Ice Lake downclocks very very little, while it does not downclock at all with 256-bit vectors. So it's maybe worth doing. On the other hand, with all cores active, there is a penalty, but 512-bit vectors have no worse of a downclock penalty relative to 256-bit ones, so you are no worse off just using 512 bit instead of 256 bit if that's an option. This in effect will give you 2x the data throughput at the same power usage and same transition cost, which is a net win.[1] Thus, for any kind of batch work, where you're willing to pay for it, AVX-512 will probably be a free upgrade on Ice Lake. Ice Lake-SP will presumably change this up (2 FMAs at minimum) so who knows what will happen then.

However, all AVX transitions in general remain expensive (possibly millions of cycles dependent on many factors), thus you may not want to use them for very very short batch work, and you may want to think carefully about big vectors on older CPUs. It's certainly possible some kinds of code will perform worse in practice in some workloads (but this was always true e.g. with AVX2 on Haswell[2], where you do a full-chip downclock for even a single instruction, but nobody complained as much about that, presumably because nobody wrote lots of catchy blogs about it :)

And of course, the situation is different for AMD CPUs. Someone else can fill in the details.

TL;DR AVX transitions are expensive and micro architecture dependent. Ice Lake is pretty good at it, despite being mobile only for now. Presumably this will get better from uarch refinements and improved node processes by Intel, and also AMD. Do your own experiments and validate your own hypotheses.

[1] https://twitter.com/trav_downs/status/1258226270527197190
[2] https://gist.github.com/rygorous/32bc3ea8301dba09358fd2c64e0...
I'm definitely more interesting than you at parties

Edit: also this is not a party but a place where you discuss serious topics

Also your comment is unsubstantiated, obnoxious and adds literally nothing to the discussion. I seriously wonder how did you get so much karma here.
Can Businesses Rely Entirely on No-Code and Low-Code Platforms
Chromium took parts from WebKit, but e.g. the whole JavaScript engine was completely new. Even if they needed to depend on some libraries written in C++, that doesn't justify writing the whole application in that language. And once they forked WebCore as Blink they could have gradually pushed the borderline down.
I can attest to Noctua building large coolers. I recently built a PC with a NH-D15 which came with two NF-P12 redux-900 140mm fans for the cooler. It was easily the largest cooler I’ve ever installed, and also the quietest. I only had it paired with an i7-9700K, but it was amazingly quiet even under max load. Wasn’t able to get it to thermally throttle with 5Ghz boost enabled and running prime95 and MSI Kombustor burn-in mode on the RTX 2060 Super simultaneously to heat up the case. Really happy with how that build turned out.
> Completely agree. I worked at a company on a Common Lisp project where the Python crew refused to learn Common Lisp because they thought it would look bad on their resumes.

They can put only "Python" on their résumés, right?
There’s No Telling What Data Facebook Will Collect If You Use Its Zoom Clone
I’m not sure using snail mail as the default venue for important information is really the smart play here. I check my mailbox a lot less often then I check my inbox and I don’t even open 99% of the mail I get since I assume it’s just junk. I’m a lot more likely to miss whatever you sent me if you had sent it by post than if you had just sent an email like a normal 21st century organization.
Since this seems to support inductive types, would it be correct to say that it's based on the calculus of inductive constructions (CIC), not the plain CoC? Basing a dependently-typed language on pure CoC (plus some other features weaker than inductive types; it's been proven impossible in CoC alone) is an open research problem (see e.g. Cedille and Formality).
That WebGL visualization is really nice.
Looks great! The UI is intuitive and so well laid out.
Many cryptocurrency “whitepapers” take advantage of the trust for this format
Most of the currently open ones may be nightly-only and/or mostly theoretical, but there was recently a bad borrow checker bug for example:

https://blog.rust-lang.org/2020/02/27/Rust-1.41.1.html#a-sou...

I don't think soundness/security flaws due to compiler bugs are common, but they qualitatively can happen. I think that might be getting forgotten when folks are puzzled about the idea of memory safety bugs in memory-safe languages.
I believe there's a proviso in the apple license agreements that allow you to virtualize macos - if you run on apple hardware.

(iii) to install, use and run up to two (2) additional copies or instances of the Apple Software within virtual operating system environments on each Mac Computer you own or control that is already running the Apple Software, for purposes of: (a) software development; (b) testing during software development; (c) using macOS Server; or (d) personal, non-commercial use.
FWIW, if you click on the direct link to the comment, it shows up as black again in its own screen.