skysight-inc/HackerNews huggingface dataset:
> I have run KDE Neon since a few years ago om two (admittedly high end) laptops and it has been very smooth.

I have been using always-latest KDE5 with Manjaro on a very old (Core 2 Duo, Intel graphics) laptop for some years already and it's perfect. Less than 5 crashes a year.

KDE4 would crash as soon as I attached an extra display. KDE5 also crashed often when it was immature. Now it works like a breeze. As somebody who has watched (and tried regularly) KDE since the inception of KDE3, I can say KDE has finally reached maturity (if not perfection) about 1.5 years ago.
Of course not -- Family Link was introduced in 2017 and this account was created in 2008. I don't remember the specifics, but I do recall having to provide my information since she was under 13.

edit: Family Link is also for android devices and chromebooks. She doesn't have a phone / android device or a chomebook.
they are sometimes, but actually that is rather pointless. The energy wasted by braking is quite negligible compared to riding at reasonable speed with some headwind. better invest in a better battery or make the bike cheaper than regenerative braking. At least from my perspective with an electric cargo bike an normal e-bike, and a super expensive speed-pedelc (45km/h) Stromer bike with regenerative braking. Because of the regenerative braking my fastest bike is actually the slowest if the battery is dead. Also it is almost impossible to go faster than the speed limit as the bike actively brakes whenever you go over 48 km/h. That's why I am selling it.
Strangely, only ~50 fps in Google Chrome on my ultrabook laptop -- which has a Ryzen 7 4700U with Vega 7 graphics.

The Ryzen 7 4700U's integrated Vega graphics is far more powerful than Intel's UHD and Iris, and even more powerful than Nvidia's MX line of GPUs (MX150, MX250, etc).

Strange that it only got ~50 fps when someone else on this thread with a Intel graphics got 60 fps.
Accumulation by Gift in the Digital Economy
Sounds like good news, its observed that 6 months after recovering from SARS-CoV2 viral infection, the immune system in most of recovered people was able to identify and work fight off SARS-CoV2 virus. So if these people get in contact with the virus again, there will be less chance of them getting sick and transmitting it to other people.
Mailchimp Says It Will Ban Accounts That Distribute “Misleading” Content
I've been using it for years, it drastically reduces the pain of setting up Windows machines and it has at least 90% of the software I want. I would recommend it to any technically competent user.
How to Query Google Analytics Data Using SQL
> ...backed up at home and on a Nextcloud instance I keep on a Linode VPS.

> Web is not the only way to read e-mails, friends. Use a proper client and back it up.

I think your advice is good for you and, perhaps, for some of us who are willing to do the work.

But the vast majority of people aren't going to be able to casually fire up, for example, a Nextcloud instance and linode VPS. Not even close.

The long-term management of a DIY personal/household computing infrastructure for email, important files, and online services just isn't in the skill-set of most people who aren't computing professionals. It's not really even in the skill-set of most computing professionals.

I just used Google Checkout to get my music files after Google shutdown the play music service and transferred it to youtube music. I now have ~60GB of zips containing mp3's and meta-data in csv files (admittedly, it was all badly curated by me with garbage id3's and bad filenames). I'm now trying to properly tag and curate these media files and host it in some way that I can use it remotely. It's not a trivial job. Especially because I've decided I don't want surveillance capitalism coming between my music collection and me anymore (eg no spotify/pandora/apple-music for me). I'm sure it's trivial work for some of you but for me to manage a collection of music, it's a challenging project with lots of trial and error (tbh, I kind of enjoy it). Can everyone do this? Definitely not. It's a massive DIY undertaking.

If we're now talking about email and files which are more important that one's cool music collection, it's a whole other ball game. I don't think there's a good solution for those of us who don't want to roll-our-own infrastructure.
> Forcing someone to write iFoo instead of foo isn’t type safety, but it’s a certain kind of safety

The term I'd use (at least from the top of my head) is hygiene. The article uses the word safety in a restrictive sense, ie. preventing errors. Forcing iFoo instead of foo, to me, is more about hygiene where one could still potentially make an (accidental or deliberate) error but that would go against said hygiene. Maybe another way to put it is that safety prevent misuse while hygiene guides correct use. Or another is that with safety the letter and spirit of the law are one and the same while with hygiene it's not.

Haskell's `newtype` is an amazing tool for (proactive) hygiene and, as the article says, a limited tool for safety. By proactive hygiene I mean that if you have:

bmi :: Float -> Float -> Float

Looking at it you don't know what those params are. They are all just `Float`s. There's not vocabulary to them. Meanwhile here:

newtype Height = MkHeight Float
newtype Weight = MkWeight Float

bmi :: -> Height -> Weight -> Float

It is both clear what they are as well as the compiler will prevent you from passing `Weight` as the 1st param. Now it's not safety as you can still wrap the wrong `Float` as `Height` but that would go against the hygiene.
Here, create an account and for this: https://github.com/l1ving/youtube-dl
Using UDS to seamlessly move Proxygen workloads like that is so slick!

Here's how we've used this file descriptor transfer feature:

We made a transport which can accept local connections on a Unix Domain Socket and then "upgrades" that connection to two pipes (read and write). Those pipes are passed over the UDS and the client/server communicate over them.

We use a kernel-bypass library (OpenOnload) that implement pipes as shared memory in user-space. Very low latency and high throughput.

We made a `boost::asio` implementation of this available on GitHub. It is old and I'm not sure if it works with latest Boost, but it is quite readable for people to play with. We once bolted it onto Redis' Unix Socket transport for fun, but abandoned it as it was a hassle to maintain.

https://github.com/neomantra/asio-pipe-transport
Apple made the chiclet keyboard cool again. It might be OK.

Gen-x who remember the TRS80 MC10 and its keyboard remember chiclet keyboards as not much better than membrane keyboards (Consider the ZX81 Spectrum)

But decades later Apple started shipping chiclet-appearing keyboards that actually worked, so the style has been somewhat revitalized.

That said, yeah they could be shipping a 1980s quality chiclet keyboard or a 2020s quality chiclet keyboard, so that's worrisome.
This is probably the real reason for bundled cloud provider popularity. It’s way easier for competent engineers to cut out the brigade of uninformed and cheap managers of the IT budget when you distill your specs into an AWS credit card charge.

For a small startup of competent people this is unneeded, but those companies typically succeed or fail into mediocrity eventually.
Are you aware that the decryption you are talking about is simple JavaScript execution and that according to this interpretation, even browsers are in violation?

You can't host something publicly, available via common, general purpose technology and then claim protection when someone uses this general purpose technology to obtain it.

The RIAA would have more of a case if they hosted this on their own site and made it accessible only through their own special purpose tooling. It would still be stupid, but then they could at least claim a RIAA Player(tm) is required to access the content.
> And SMTP mailing lists also ultimately depend on a server that holds the discussion archive and a well-known address for new users to send a "add my email" request.

This is not entirely correct. The fault lies in the assumed importance of the list.

When I send a kernel patch, I send it to the maintainer, then CC anyone I myself think should be involved, and finally CC the relevant lists (plural). The list acts as feed for lurkers, and as an archive.

The mailing list server being down will not affect this workflow in the slightest. It's a minor inconvenience at best, and mostly to those that were not part of the development flow and just wanted to lurk.
Hey, thanks for weighing in, David Shor. That puts a new spin on it.
If the apartment is a mess in general. Table full of empty cans of beer. A dildo on a chair. Your wife randomly walking by in her underwear (not sure whether this would be unblurred?).

In the above scenarios, if I'm not certain there aren't going to be ackward things in behind me, I'd want to blur or set a custom background. Back against a wall also works which is what a lot of people seem to be doing.
Why would you have a stand to sue RIAA if GitHub would have blocked your account? I think you may only have a claim against GH, but I have not read T&C well enough, but I can imagine they would have an entry enabling them to block anyone for any reason. I don't think you could do anything about it.
The major downside of Dart is no threading. Once they decide to fix that, there's not much standing in the way from completely replacing all the java bits.

React Native has issues from how it bridges all the things from React to native. Flutter shims in the native APIs, but uses it's own components to avoid the bridge issue.

In 2 years, most Android phones are no longer getting updates. Since the flutter app carries along most of its own dependencies, it can continue to provide up-to-date software long after the manufacturers have abandoned users.

Flutter's canvas approach is literally Macromedia Flash all over again. I don't care if it's possible to shim in A11Y into flutter, it's bad for the web and bad for users. They need to rethink how to convert their renderer into DOM elements.
I’ve used Namecheap for many years without issue. My favorite feature is catch-all email forwarding for domains so you can use any number of email addresses for logins.

E.g. website@yourdomain.com
If extortion is a possibility, use a separate email address. This is still a good extra layer of protection though.
If they have it. They can delete your data.
No honest scientist would say what you wrote as your “nutshell.” Specifically, T cell response is not equivalent at all to “you can’t catch it.” Still all scenarios are possible: 1) you can still catch it, and still get more sick 2) you can catch it, and be less sick 3) you can be “sterilizingly immune” meaning that you won’t get sick and won’t be able to transmit to somebody else.

But which of those will be by majority the study just didn’t investigate.

In immunology no answer is “yes” or “no” but the range. The range is different between different people, and we can conclude what the typical ranges are, if there’s enough data collected. But the ranges are still unknown at the moment.

The same reason (a need to find the ranges) is why you can’t make a vaccine candidate and be sure how it will work, unless you run big and long enough trials. And that’s why that takes time.

Here’s what this study figured out, quoting from the article: “The size of T cell response differed between individuals, being considerably (50%) higher in people who had experienced symptomatic disease at the time of infection six months previously. Further research will be needed to determine the significance of this finding.”

As you see, again some range, but also not concluding what you claim.
Why not just buy the hardware and save even more then?
Whats the relation between Broadcom and RPi? Isn’t Eben employed by Broadcom?
I can't speak for anyone else, but since we use zoom at work, my younger siblings use it for class, and my family uses it to keep in touch every few weeks, we usually say "zoom call" or "let's hop on a zoom" (which sounds like a drug euphemism, now that I think about it) unless it's explicitly different like FaceTime. In fact, I don't think we say "video call" really at all, we just use the name of the service as a verb.

But YMMV, I can only speak from anecdata.
Of course psychology comes into play. I'd know, that's what kept me from making progress with this for years. But that does not subtract from the fact that to lose weight you need to consume less calories.

> If it turns out that in response to hunger that your brain secretes a hormone that makes you much more hungry than the average, the psychological aspect of losing weight has been compromised, even while the physical laws stay the same.

I don't agree. You lose weight by eating less calories. If you need to manage your implementation of that technique because you have some condition that deviates from the norm, sure, that's something you have to deal with.

To return to my exercise analogy, I have a medical condition that makes exercise difficult. So I have to work around my unique limitation. But I don't go around saying that doing cardio and working out is not the correct way of getting fit.
handful of times

people try ad hominem attacks but nobody cares, or think that I’m vulnerable because I’ve had public facing roles and try to act on that but it’s just them wasting energy

its basically something like "what you can't have an opinion online! I can damage you therefore I'll try to damage you!" and then realize they have no reach and the world doesn't work the way they think it does
With a little bit of code, you should be able to pipe keyboard input to one of the USB ports.
> In a nutshell, you can't catch it again right away after having recovered.

If that's the case, out of curiousity why there has been numerous reported cases of people that catched covid again after already recovering from it?

Edit:
So... after reading the article I'm not sure this is the case for all people as this research has been done only on a group of asymptomatic & low/mild response people. IMHO for a sentence like that to be valid, it should be demonstrated on the other part of the population, those that have a high immune response against the virus and end up in a critical state from it.
Does Chrome OS run on Raspberry Pi?

How crazy is it that one of the Big Players come in, port their OS to the device, and more or less take it over as just another platform with a Start Menu?
Fear of leaks to the press from insiders discourage ideas that would leave a document trail -- plausible deniability is required. More likely then would be ever-tightening, subtly biased, anti-spam criteria.
Mentoring First-Time Managers
Works for me. In Bash? Maybe copy/paste gone wrong?

I have put it into a Github repo now and put the link into the post. Does that work for you?
We've found pre-existing T-cell immunity in many individuals (cross-protection from other coronaviruses?) so even if we don't have long-term perfectly sterilizing immunity, the odds are stacked in favour of this becoming just another winter respiratory disease once some level of herd immunity kicks in.

There is a lot of confusion around herd immunity. Think of it more like an equilibrium state than an elimination state. It is where this virus will end up whether we have a perfectly sterilizing vaccine or not.

https://www.bmj.com/content/370/bmj.m3563
Just because he spoke to Noam Chomsky, he does not make HIM Noam Chomsky. We are talking about someone whose actions have been in public view for a year and a half. Read about what the other side says about him to have a more balanced opinion.
I am referring to the little foldable two wheel platform vehicles as scooters. I am not championing the motorcycle things.

Outside NL, the "step" is a scooter, and the "scooter" is a moped.

Mopeds should be banned from bike paths, or there should be heavy enforcement of speed limits on paths.

A little folding 2 wheel platform vehicle going 16kph is certainly no worse than a large Dutchman riding the same speed on a 35kg omafiets... not to mention the person on a 40kg electric bike who is doing 23kph.
"in house" doesn't necessarily mean in a residential home; it refers to "on premise" more generally.

A previous company of mine did the same thing - they converted a maintenance closet into a server closet. Even with renovation costs to improve ventilation and electrical load to support the use case, it worked out substantially cheaper than cloud hosting. A few things we ran on it:

- A large data infrastructure. We had an EDI[1] side of the business, and egress bandwidth costs would have eaten the product margins and then some. A lot of traditional EDI happens over (S)FTP, and customers only periodically accessed the system (daily/weekly/monthly/quarterly, depending on the customer). Most enterprise EDI systems have retry logic built in, so minor amounts of downtime weren't relevant. If the downtime were for more than several hours, we could cut over to a cloud-based backup (which was fairly cheap to maintain, since ingress bandwidth is generally free).

- Our analytics environment. In addition to standard reporting, we also used our analytics toolset to create "data utilities", allowing powerusers on the business teams to be able to access bulk datasets for their own downstream processes. The bandwidth usage would have again been cost prohibitive to cloud-host, plus the data was co-located on-premise as well.

- Our B2B website. Traffic volumes were minimal, and it was primarily a static website. So hosting it behind Cloudflare added enough uptime guarantees for our needs.

- Dev environments. Both dev environments for all of the above, as well as something similar to LocalStack[2] (it's been a while, not sure if that was the tool used or something else) to mimic our AWS environment

For all of those, less than a day of downtime had negligible financial impact. And downtime more than a day was a non-issue, as we had off-site fail-over plans to handle contingencies longer than that.

We also operated several services and applications where every single minute of downtime created a visible impact on our financials. Those were all hosted on AWS, and architected with redundant and fault-tolerance built in.

[1] https://en.wikipedia.org/wiki/Electronic_data_interchange

[2] https://localstack.cloud/
That's just under 5KB per minute, or about 200MB per month. Odd.
Dojo was never loved by the masses because of its complexity and rather cryptic nature. Nonetheless, is still an active project: https://dojo.io/blog.

When v2.0 was finally released, a couple of years ago, I thought it will be big news here in HN but it never made frontpage.
> a world that absolutely wouldn't accept a woman as a serious scientist

Wouldn’t Marie Curie’s Nobel Prize present a counterfactual to the absolutism of this claim?
One man multi platform projects strongly benefit from CI to test the other platforms.
Fair enough, I was making an assumption there.. but you are probably correct.
Lots of people don't have a FB acct or don't use it anymore. It's largely died off unless you are old.
Following a load of doctors, this is from today...

Not much scares me in this life.
But just saw my first COVID reinfection this full moon Halloween & I am fucking shook.

20-something yo w/ massive PE, coded, TPA, ECMO in ED, hemorrhage, 3 code carts, methylene blue, PRBCs.

Praying for them and their family
And for all of us. https://t.co/T0YqmVxLx8
Re Homme de Plume: I wonder what the results would be if she tried being a male from a visible minority.
I agree and I'd add that EU has not failed yet. It has not given up the fight as the US did. Certainly we have been far too loose during September and October. But at his moment all of the EU countries are striving to provide care for everyone in need, which implies remaining below hospitals saturation threshold.
Unfortunately I've tried to find replacements for Google services. It's not easy or cheap. Sure I can pay and have my own replacements but most cannot afford this. Google is a landmine. You don't know what will get you locked out.

The worst is when your card payment fails and they lock you. Now you can't pay and nobody can help you till you pay.
Start contributing to open source software
2 micro-HDMI [1]

[1] https://www.raspberrypi.org/products/raspberry-pi-400/specif...
> Sometimes I just crave talking with someone about what I am working on.

This is how I do my best problem-solving. Recently my dog has been listening to me talk through my thought-process and work out the order of attack for implementation but this is one of the few instances where a dog just doesn’t hold a candle to a human. Even a person who knows nothing at all about what I’m working on can be a huge help to talk things through.
I’m surprised no one has mentioned the number of data centers that AWS offers. Good luck using OVH anywhere but France/US east coast.
In Hunt for Virus Source, WHO Let China Take Charge
all these issues sound more like client issues than protonmail service issues. why not just use a different email client to connect to protonmail, such as Spark?
What? GitHub has handled DMCA like this for years.
Wow this is the HN effect, right?

I would love to get some insights. I have been wanting to get into some long-term model of social giving. I have been really lazy and only do regular donations to Watsi (YC funded) for about 6 years now. I constantly feel I need to invest more of my personal energy into this but I would like some guidance.
RIAA made a claim that some content violates their rights under DMCA, which in this hypothetical causes my account to be blocked. I can bring a case under the declaratory judgement act against RIAA, asking a court to decide whether the content is actually infringing. See https://en.wikipedia.org/wiki/Declaratory_judgment

I may also have a tortious interference claim, although damages are likely negligible so it's probably not worth bringing any claims other than that declaratory judgement one.
I take it that means you've never read Discipline or Predicate Calculus and Program Semantics.

I don't doubt your expertise in TLA+, as I hope you can see from my studious agreement with you on the items that are clearly within your expertise, but on this point you're not even wrong. You are attempting to refute the claim that a human programmer can derive a program that has desired properties more effectively with mathematical reasoning than without it by offering the objection that mechanical verification has high computational complexity[1]. That is sheer nonsense. It's like saying that because factoring products of primes is hard that it's in no way feasible to multiply them rigorously so just use an estimate instead.

As an aside, the avionics for the Space Shuttle was over 250KLOC and was proved correct from the bottom up. And it functioned flawlessly. This was done before computational complexity results on program analysis were known, but that lack of knowledge was observably irrelevant to building correct software. Sadly, the hardware left a bit to be desired.

[1] It's undecidable in the general case.
Ebikes and smaller scooters seem to have standarized at 16mph (25kph). That is perfectly compatible with bike lanes. A bike in a hurry can easily go over that.