skysight-inc/HackerNews huggingface dataset:
Sure, but the whole point of reducing the oil percentage in two stroke engines has been (since like 40 years) to reduce the formation of carbon in the combustion chamber and - particularly - to have cleaner spark plugs (which imply better ignition) besides better combustion.

Less oil in the mix (as long as lubricating is sufficient) is better.

The traditional 4-5% is for mineral oils.

Synthetic (totally or partially) oils can usually go on 2% (or 50:1) and in some cases as low as 1% (or 100:1).

Modern chainsaws and similar are already at 2%, see (examples):

https://www.stihlusa.com/information/how-to-guides/mixing-oi...

https://www.husqvarna.com/au/forest/when-working/usage/how-t...

https://www.amsoil.com/p/outboard-100-1-pre-mix-synthetic-2-...

Ignition in an engine for airplanes/drones/etc. is - obviously - much more important than in a common 2 stroke engine (chainsaw or similar), a "common" 2-stroke engine used in ultralights is the Rotax 582 (an earlier model was the 532) check its "limitations":

https://en.wikipedia.org/wiki/Rotax_582

The 582 has twin sparks (two spark plugs per cylinder) and runs on 50:1 mix:

https://www.flyrotax.com/produkte/detail/rotax-582-ul.html
You might be overthinking this. What you want is a cost-effective way of reaching the correctness you need; i.e. a good bug-found-per-hour rate. Unless you have a lot (years) of experience writing formal proofs, I suggest you try them, first. They generally do not have a good correctness ROI compared to other methods. But nothing and no one can give you an answer without knowing the particulars of your project, the people working on it, and the correctness goals. You'll have to try a few things for a bit and then make up your mind. Just remember that 1. the smaller your project is and the fewer people working on it the less the particular formal method chosen matters, and 2. in formal methods, going from 99.999% correct to 99.9999999% correct can be a 10x factor in cost, so the assumption that more correct = better is generally wrong as there are diminishing returns. Of course, if you just want to do this to learn about formal methods rather than find one that you can frequently use in large projects, then the choice matters even less. In terms of basic principles, the tools you mentioned are much closer to one another than they are different.
Don't see any error. The certificate was renewed after 10 minutes of issue?

Validity Not Before 11/2/2020, 12:00:00 AM (Greenwich Mean Time)

Validity Not After 11/9/2021, 11:59:59 PM (Greenwich Mean Time)
Sure, like lean meats and veggies. It when you eat manufactured stuff or extremely fat cuts of meat when things go south.
Why quadruple, anyway? I've seen quite a number of ~$200 laptops and found their screens and batteries tolerable (although, obviously, not really good).
The question is wether that is worth the lock in.
Origin and meaning of “fisk”, named after Robert Fisk, who died, Oct 30th
I think the problem is only with people who never learned to write with fountain pain in the first place.

Fountain pen teaches to not press on the paper and keep correct angle while you write. When you don't need to press the pen you don't need to have a tight grip on it and it allows for relaxed grip.

Once you learned to have a tight grip on your writing instrument you transfer it to other instruments. So if you've learned incorrectly with ballpoint pen, you will have hard time figuring out what the fuss about fountain pens is all about.

That's why my kid who is currently actively learning writing is writing with fountain pen exclusively until he learns relaxed grip and good posture while writing. I assume then it won't matter much what he is going to write with.
When determining what to use for development of my SaaS, I did a comparison of what you actually get from providers. The full article is at https://jan.rychter.com/enblog/cloud-server-cpu-performance-...

My takeaways were that many cloud provider offerings make no sense whatsoever, and that Xeon processors are mostly great if you are a cloud provider and want to offer overbooked "vCPUs".

I haven't tested those specific setups, but I strongly suspect a dedicated server from OVH is much faster than a 4.16xlarge from AWS.
I've been there! The inside is full of interesting stuff, including the world's largest set of bronze doors. Very impressive to see up close.

I recommend visiting Nashville, it's a great place to see. Lots of interesting things to see and the people are very friendly.
Physicists measure energy of lowest nuclear excited state
At least for us Americans, there's more to it than practical disadvantage, though we do have to travel much longer distances much more often here. If I say we love cars because they represent freedom, I'm not sure that gets it across. For a century they have been a tool that allows the American to go when he pleases when he pleases. Everyone remembers the day his dad tossed him the keys to the car and the freedom that brought. We appreciate them on a much deeper level than is easy to communicate, and for that reason they will not go away, nor should they.
There's surprisingly little you truly need a google account for. Gmail was one of the last things I hadn't moved before I was locked out of my Gmail account because of their bad password reset heuristic. Thankfully I had it set up to forward to my own domain.
I don't have these issues with Fastmail + custom domain, but you need to make sure that DKIM and SPF is set up correctly. Fastmail helps you to check and fix this.
These aren't the same product category. OVH sells a specific server, AWS is selling managed compute and storage. I won't buy OVH because the failure scenarios and recovery are incompatible with my needs without a lot of extra work

A better comparison would be Rackspace and AWS.
That's awesome results!

I did the slow carb diet too when the book came out, didn't work for me. Made me sick and lethargic. And I didn't lose any weight. To each his own, I guess
Enough to explode a rocket every decade. Not everyone works on js.
One thing that the Pi 400 has that the 4B does not is POE (power over ethernet) built in: the chunky BOURNS chip near the ethernet socket is a POE transformer. So it only meets network, display, and mouse to work!
Nagios checks have thresholds for WARNING and CRITICAL. With these kind of checks it's usually 'days until expiry', so it certainly can be used to warn in advance.
There is a sticky thread in the forums and such threads are always just the tip of the iceberg: https://www.raspberrypi.org/forums/viewtopic.php?t=245931

My guess: The VL805 USB 3.0 UAS is broken.
Nobody is screaming in a Walmart. That analogy doesn't work at all, especially not for mailing lists where the users requested to be on it.
Wikipedia gives 22 deaths per million flights for 2002 to 2011, while england and wales have about 5 traffic deaths per day and about 15 million people commuting daily by car.

The car numbers are very rough, but flying will stay at least one order of magnitude more dangerous than driving by this measure, which makes sense: large heights are dangerous.
What do you mean by "not the situation"? That they can't afford old computers? That it's not practical? That they don't need and can buy newer ones?
Because that is a roadmap....this has resources. It's not the same thing
I migrated to Fastmail a few weeks ago. I'm really happy with it and I wish I had done it years ago. Many features. The web interface and apps feel a lot faster than Gmail.

Pro-tip: use a custom domain so that you can easily switch e-mail providers in the future without vendor lock-in. It's also very easy to add aliases in Fastmail.

> Plus after the import is finished, it will still periodically bring over any new emails received to the Gmail account.

Another option is to let Gmail forward your email to the new address.
>Apple made [edit: Goldman Sachs] agree to not resell transaction data.

I thought they agree not to sell personal data, ( which as far as I am aware no bank does that ), but still sells aggregated data. ( Which belongs to Goldman Sachs )
Some example comments in this thread:

>"People should move their youbube-dl repositories to servers hosted in Switzerland, "

>"Time for a decentralized version control system?"

>"The nice thing about fossil"

... those well-meaning suggestions are missing the true difficulty: The community wants a (1) Schelling Point[0] for workflow/issues/discussions/PRs that's also (2) censorship resistant. So far, (1) and (2) contradict each other's goals.

Nobody has come up with a technology solution that satisfies both goals. Yes, Fossil has has discussions built into the repo, but fossil is not a Schelling Point. Yes, one can run Gitlab on a self-hosted Raspberry Pi from a home internet connection but that's also not a stable Schelling Point because ISP like Comcast can shut that IP down for DMCA violation.[1] 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. Thus, the existence of a well-known server becomes a specific target for RIAA/DMCA takedown.

As for other "uncensorable" technology ideas such as IPFS, Freenet, blockchain, etc. I haven't seen any proof-of-concept from other projects that demonstrates similar easy-to-use collaboration of Github. Remember, it's not about the raw git repo... it's about the Focal Point for the collaboration workflow.

[0] https://en.wikipedia.org/wiki/Focal_point_(game_theory)

[1] https://www.xfinity.com/support/articles/comcast-dmca-compli...
ALICE’s Dark Side
They renewed it just now.
How usable is it? What desktop runs out of the box and does it lag? Genuinely missing Linux and thinking this would be fun, but only if I can use an up to date distro and it doesn’t hang all the time.
Funding the GraphQL API for WordPress got a big push forward
You can do it with python - https://pypi.org/project/gphotos-sync. They have docker image too. I have a cron job that starts the docker container periodically to fetch any new photos.
Read my post again. Yes, the FA doesn't apply to companies. But it exists because the underlying principle is very important. Important for everyone, not just the government. It is entirely reasonable to point out that if something is so important it's written into the constitution, then it's important across wider society as well, and that what Mailchimp and other US tech firms are doing here is not right, wise or good.
Oh wow that is not reassuring at all, I'll look around for an alternative.
Get GitHub CodeSpaces Beta Access Today
E=mc^2 ... Einstein = married cousin twice
If you change something, don't you manually check that it's actually doing what you want it to?

If I was an engineer changing a test regarding SSL certs expiry time, after a change, I'd test it with a cert that has expired, about to expire and one far in the future. Manually or automated doesn't really matter, but test your changes after you've done them. Really basic stuff.
As I have seen argued on several places thus far, including at the link below, this alleged DMCA complaint has been contrived at best and certainly falling outside of Safe Harbor doctrine. Meaning, the "immediate action" requirement on GitHub's behalf, doesn't appear to even exist here.

With most companies, Hanlon's razor would probably apply ("never attribute to malice that which is adequately explained by stupidity"). But in this case it is rather dubious (if not shocking) how GitHub's legal department appears to have completely failed to do their basic job.

As a company, GitHub at least has a legal duty to know the law, or be held accountable for the consequences of their actions when they monumentally fuck things up (while doing serious harm in the process).

Either way .. with Microsoft's track record in mind, GitHub's silence on legitimate questions regarding the validity of the RIAA's actions, and now this warning of inflicting harm to people if those dare to not play along with the companies dubious legal decisions .. all in all, I'd say that GitHub has long lost any benefit of a doubt by now.

With every day passing, this appears to be shifting more towards plausible (if not likely) malice. On top of that, this isn't a light matter either. Most likely a serious anti-trust violation and might even constitute a criminal enterprise. Not that I expect US authorities to do anything about it, considering its own dubious and dismal track record, for at least several decades.

0: https://joindiaspora.com/posts/808cf690f8e801381778002590d8e...
Heores of Might and Magic 3 was a windows release, the last game in the series playable on DOS was HoMM2.
It looks like gphotos-sync is the way to do this.

Must be new as I was looking for a tool like this a few years ago and nothing existed.
I don't have this fear with Microsoft and I've fully locked out a tenant admin before. They have support I can call and get help from.

Last time this happened with google I got lucky and found the password after trying for 3 weeks with support.
I wanted to write the same. One server in my basement never compares to a highly-available, compliant and secure infrastructure, surrounded by managed services. It's like complaining that taxis are more expensive than driving your own car.
I'm really glad I moved into a large highrise before all of this.

Every morning I go to the roof and get some coffee/hot chocolate as part of a morning "routine" which seems to be really important for productivity. I usually see a few people on the way there which I think does a lot for my mental health.
perhaps a plugin which admins can add to their browsers to act as a reminder for themselves? having core browsers warn the general public about this all the time will lead to chaos.
I will definitely check this out, thanks for sharing!
"command_line $USER1$/check_http -H $ARG1$ -p $ARG2$ -4 -S -C 21 -t 20 --sni"

-C 21 means: Check the certificate. Warn if less than 21 days and critical when expired.
> You were just less aware of them then

True, but with the near instant access to records of events via the Internet, we should try to maintain a distinction between what we remember/experienced and the digital chronicles of the era. I get the feeling that this is going to be even more critical going forward.
React JavaScript Project Ideas to Help You Start Learning by Doing
Technically the DMCA does not match the format and/or include all required information. From what I've understood a DMCA MUST include a list of the works being violated. The RIAA also failed to conform to GitHub's standard format, although using a standard form if available is perhaps something you SHOULD rather than MUST do..
Some Android phones use (or used to use?) flash-friendly file system formats like F2FS, JFFS2, YAFFS2. I'm not sure if that's still a thing but it would be interesting to know the pros and cons of using one of those instead. Interesting I did find they are/were considering F2FS for the RPi: https://www.raspberrypi.org/forums/viewtopic.php?f=66&t=2734...
Schools may have a lab with 30, used 2h per day, makes it more than double my failure rate. Add kids popping the cards in and out all the time and you have a recipe for disaster.
I agree, 1 month is nothing in the weight management game. I lost about half my body weight (>150lbs) years ago and have been up and down in a 40lb range around there ever since. It's a constant fight against the parts of your mind that are concerned about starving to death and/or are addicted to food. It doesn't take much for them to start winning either, some extra stress and a slightly more relaxed approach to eating will sneak up on you.
AFAIK it's just fructose in the absence of fiber that mostly goes into fat by default. Glucose is mostly stored as glycogen in muscle and liver, but excess glucose is also stored as fat. I fully agree with you wrt sweet foods, they don't make you satient. In general, avoid everything that has High Fructose Corn Syrup in it. It's one of the biggest contributors to the obesity epidemic of the US.

For eating large amounts of lettuce, I found small amount of grated parmigiano reggiano on top makes it incredibly enjoyable.
Thank you for this comment. I don't have weight problems, but I like to know how the body works in general. I can't believe I didn't know about the relation between insulin and weight. Indeed, people with type 1 diabetes tend to experience weight loss even if they eat normally, vice versa for people with type 2 diabetes.
What simple explanation exists for the documents being ripped open and an extensive search not managing to find them? Is this a common problem for UPS, do packages randomly get opened during transit with no explanation?
Show HN: Real-time visualization tool for Go process metrics
I started building a Slack bot just to get notified when GitHub is down. And then found out that it already exists: https://statusgator.com/

This saves me the recurring "is GitHub working for you" type of discussion. Or just wasting time trying to use GitHub when it's not fully operational.

100% recommended.
So... I made some notes a while back: https://elis.nu/drafts/health/

It's the story of how I've lost ~50kg in two years on my own, then I didn't stop there. No professional help or private training or things like that.

It's all about diet and hard training. No magic.
>The phone company can’t just randomly cut off service and ghost me. Regulators are the reason for that, as I’m sure they’d love to if they could.

If you're paying your bill, why would they care?

Regulation is part of the answer, but it's also part of the problem. If a YouTube comment wasn't at risk of "being mean" or breaking arbitrary rules (pushed by regulators, Google isn't doing it on their own), you couldn't be locked out. Corporations don't gain by cancelling their customers.
How do you audit the code of aimp and foobar? You can't. Use free software instead, like mpc.
This would be nice with miracast, if miracast was actually a good interoperable standard and worked.
Stephen Hawking had a very serious disability. He had a real career.

Without knowing all the details, the respectful thing to do is keep your (dismissive) speculation about my life to yourself.
Hi, Developer Evangelist at GitLab here.

OSS projects are eligible for a free Gold plan on GitLab.com and can benefit from more CI minutes: https://about.gitlab.com/solutions/open-source/

If you are planning to continue using GitHub, you can also integrate with GitLab CI/CD for your OSS project: https://about.gitlab.com/solutions/github/
Adobe Flash – it’s the end of the end of the end of the road at last
Ask HN: Note taking app suggestions with stylus support and a hybrid approach
Are there any handwriting based note taking apps that allow for a hybrid approach? This is what I mean by hybrid:

Scenario 1: A button to quickly insert a table of m rows and n columns. I adjust the widths and start hand-writing inside the cells

Scenario 2: I toggle a button to signal a heading. The text is automatically coloured and sized to a preset.

TLDR: A note taking app that allows for leverages presets for headings, tables, etc while still allowing handwriting.
Bill Gates Launches a Nuclear Ship Battery Partnership
Wrong.

YouTube obfuscates the URL of the video stream for videos which have been identified as containing copyrighted material and are licensed for streaming only through the YouTube Web player or app. The copyright owner has made the material available under a license which permits ONLY that.

Youtube-dl contains code to decrypt the URL of the video stream in order to download and save the copyrighted material, in violation of the license.

Now let's look at some definitions from the DMCA:

(A) to “circumvent protection afforded by a technological measure” means avoiding, bypassing, removing, deactivating, or otherwise impairing a technological measure; and
(B) a technological measure “effectively protects a right of a copyright owner under this title” if the measure, in the ordinary course of its operation, prevents, restricts, or otherwise limits the exercise of a right of a copyright owner under this title.

We have to ask ourselves two questions. First, is the URL obfuscation scheme a "technological measure" that “effectively protects a right of a copyright owner under this title”? Yes, it is. In the normal course of its operation, it prevents the user from accessing the work except to stream it through YouTube's Web player or its app. The bar set by the law for "effective" protection is very low. If your "DRM" is a simple XOR cipher whose key is "hello world", then it "effectively protects a right of the copyright owner under this title", provided that it does its job of restricting access to anyone who doesn't know the key.

Secondly, does youtube-dl circumvent protection afforded by the technological measure? Yes, it does. The technological measure enforces certain policies by means of its decryption algorithm; youtube-dl reimplements the algorithm, but does not enforce the policies, allowing people to get around restrictions demanded by rightsholders like the RIAA and implemented by Google. Does youtube-dl have limited use other than to circumvent protections afforded by the technical measure? Yes, it does. If the URLs were not obfuscated, a simple HTTP client might suffice to download the video data. The primary use of youtube-dl is to get around the measures Google had put in place to restrict access to YouTube content (the same for other video sites).

Therefore... youtube-dl is a circumvention device prohibited under the DMCA, and is therefore ILLEGAL. Distributing it is a felony under federal law, punishable by up to five years in prison.

Go ahead. Ask any copyright lawyer. I'm sure they'll tell you the same.
My mother runs (from germany) a local shelter for street kids in Kolkata. Let me know if you want to share some of your knowledge with these kids :)
>So they can choose there customers.

And we are free to complain and vote to change those rules. Guess what happens then?
Election Ink
The certificate of githubassets.com was expired. It has already been fixed. See also https://news.ycombinator.com/item?id=24967170
There are two types of ebikes, and the law draws a distinction between them. There are pedlecs (25kmph) and s-pedlecs (45kmph).

The s-pedlecs have a license plate and are illegal on most cycle lanes. The only place where they would be legally allowed next to regular bicycles/pedlecs would be outside the cities, on the "bike highways".
> The music he purchased through Google Music has also disappeared. "The app took it upon itself to delete all the downloaded music I had on my phone."

If they are selling access to stuff via the account, surely revoking access without reason will have legal consequences. Couldn't it be viewed as consumer discrimination?
A major motivation why I got a StreamDeck was to be able to put a big fat mute button that "physically" kills the microhone level at the source.

It renders a big cross through the microphone when muted.

Simple, yet insanely effective UI (#).

Best thing ever.

#) Especially when compared to the mess that is Google Meet. My favourite "feature" of theirs is how when someone is presenting, it's impossible to view the presentation as just another stream - no they have to make it dominate everything, meaning it's so hard to see the other team members.

And it can be extremely hard to see who's talking when viewing a lot of cameras at the same time. And for whatever reason the quality turns to a blurry mess a far cry from 720p just way too often. (I have fibre internet).
Probably the lawyers will move on when the thing becomes hard enough to use and gets contained to few techies showing off to their few friends and calling it a victory.

The issue is that anything that scales needs an infrastructure and infrastructures can be extralegal only if they are not worth the time of the guys with the guns.
Always have days having 25 hours... for DST.
This is what we need (recently learned about it).

I wish this had more traction and progressed more quickly. Though of course it is a good thing not to rush the specification.