skysight-inc/HackerNews huggingface dataset:
I understand and agree but read carefully. The assumption _is_ the (entire) hypothesis. It is not existentially quantified or set in the base-case. It is the entire hypothesis.
Doesn’t Howard Stern have a similar story about his youth growing up in NYC?
Actually, the argument was that Alexander the Great had an infinite number of arms. You see, in a famous battle he was forewarned. And as we all know, forewarned is four armed. The rest of the argument is similar.
Nobody "flattened" anything. Places without restrictions had those exact ebbs and flows of "cases".
Wikipedia NFT
Yeah, that's fair. Sorry. I replied to the wrong person. My bad.
I think the underlying concern has always been about preventing hospitals from being overwhelmed leading to unnecessary deaths. In most countries we don't really attempt to stop influenza from spreading every year but it rarely overwhelms our hospital and ICUs, it does occasionally.

But we know with COVID-19 that it does overwhelm hospitals and ICUs. Lombardy Italy as an example, an area with higher ICU capacity than the average city in Australia, but they didnt have a chance to stop it as it took them by surprise. So the ICUs were overwhelmed, and the death rate climbed to about 14%, so more than 10 times the mortality rate we have seen in Australia. There were people being cared for in tents and in ICUs there were 4 patients to one ICU nurse compared to the usual one on one care - hence survival drops.

Same in India, the rapid rise in cases meant they ran out of simple treatments like life-saving oxygen. So that's the main reason for the massive response to COVID-19.

Secondary reasons could be to try to prevent the impacts of long-covid, some people will never be the same. You could also consider that suppression of the virus protects the medical, nursing, and other staff from the horror of working in such overwhelmed conditions. Doctors in Italy and other places that were overwhelmed had to ration treatment, denying intensive treatment to people who might have lived another 20 years if the hospital was not overwhelmed.

I think most people in Australia would agree we don't want to live in a place that has to pile bodies into refrigerated trucks outside of hospitals because undertakers are overwhelmed.
Dynamic responses make transfers difficult to implement in some server architectures. Which is not to take away from your point - trying to hide things in the DNS is a fairly pointless exercise.
Or it could just be because everyone is wasting their lives on Facebook.
Lubricating a chain is one of the least demanding tasks we have for oil. Unlike in the crankcase of an engine or in the pumps of a hydraulic system, there is very little pressure or temperature involved. Unlike e.g. bicycles, chainsaws have oilers that constantly feed additional liquid onto the chain, so the lubricant doesn't even have to adhere that well. (The best "oil" for a bike chain is actually wax since it adheres very well and is less dirty than oil.) In green wood, the main thing that the oil is doing is keeping water out of the chain.
I used a chainsaw for several years, cut up some trees into cordwood, and used only plain canola oil the whole time. There were places on the saw that got a bit gummy, but functionally it worked fine.
Isn’t this just a rant that the senior management/devs failed to set up an environment[1] to stop this sort of thing happening? I don’t really understand how it’s related to the linked tweet or the subtext of it.

[1] either a policy like strict code review or perhaps a cultural change about quality or responsibility or mentorship.
they detach and then roll on a series of rubber wheels that decelerate wheel by wheel on the way in and accelerate on the way out.

the grip itself is spring loaded and the spring force is measured every time the grip passes through a terminal. if a grip is weak, the lift stops.

if you look closely at a detachable grip, you'll see two wheels. those go into a funnel that squeeze open the spring loaded grip to release the haul rope. the chair or gondola cabin then is guided with one of those wheels while powered by the 20 or so small rubber wheels mentioned above that move the chair through the terminal. reattachment works the same, the wheels progressively speed up to the haul rope speed (5-6 m/s) as the funnel opens releasing the grip to snap back onto the haul rope.

position sensors throughout the terminal and at the towers stop the lift if anything is out of position. (or a grip is weak, as mentioned above)

and like any safety critical reliable system, a lot of hardworking humans check the system regularly.
The situation could be much worse.

https://www.penny-arcade.com/comic/2008/05/26/the-unhorse
Hello cassianoleal, ha ha ha, Thanks for the tips, miro is also my second name :)
It is just a harmless joke, sorry if it offends anyone.

I use a lot of rust CLI tools myself and love them. Meanwhile I also do c++ coding. they complement each other well.
Hard to track for other people’s VMs, but they probably have (or can sample) that data for every AWS-operated service (dynamo, S3, redshift, etc..)
Just send an email to hello@nonfik.com. We'll add you to the list!
It is possible that the drop in productivity growth, if it goes on long enough, will have the effect of closing the gap.
"hate rallies"

Are those actual things, or is this just another term the media uses to describe any organizing that isn't center-left?
It came up on Joe Rogan #1742 last week, probably why it made it here.
The inductive step is being obscured (intentionally of course in the article to illustrate how the error can hide) behind the n.

The inductive step here is not true for all n, n + 1 pairs.

It is only true for all n, n + 1 pairs given that n is greater than or equal to 2.

The error is to drop that >= condition. Hence the inductive step is wrong as stated in the article (for all n), and its proof is erroneous.

Again while changing the base case can "fix" the argument in that it no longer proves an falsehood, without altering the statement of the inductive step it is still not a valid argument and only happens to prove a true statement "by chance."

If the base case was the error in the sense of proving a falsehood, then it would be possible to have an unsound inductive argument by choosing the wrong base case, but that's impossible. Rather the wrong base case (but correct inductive step) simply means you end up unable to complete your proof.
Since the original title was clickbait, it was quite within HN's policy for dan-robertson to rewrite it:

"Please use the original title, unless it is misleading or linkbait; don't editorialize."

https://news.ycombinator.com/newsguidelines.html

When rewriting a title for correct (by the guidelines) reasons, the main thing is to use representative language that accurately and neutrally says what the article is about. Preferably the language should come from the article itself, though that's harder to check with a video. In any case, the rewrite here wasn't editorialized.
There is a discussion about how to define this and a comment concluding that indeed by one metric the Magma paper is most cited here: https://mathoverflow.net/questions/199978/the-most-cited-pap...

John Cannon, who started Magma, pushed very hard for people to cite that paper whenever they used Magma in a paper. We eventually did something similar with SageMath for a bit, but it felt weird having everybody cite a paper with me personally as the main author, when there are nearly 1000 contributors to Sage, so we made up a reference with the author “The Sage Developers”, or something like that. As a result there is probably no MathSciNet entry tracking citations to Sagemath even though many papers cite Sagemath.
Let's be honest. It is much different than having to sit in the car in the middle of the night to change a hard drive in the server that just failed because of a power surge.
Isn't it as simple as embedding yourself in a world that understands you?

>Anti-work people as well as punks at least to some extent usually strife for a world of generosity and what comes with it.

I see a lot of expectations for others to be generous to them not the other way around, its the have nots that are complaining, the haves are able to fund this dream of making this true through charities or social experiments like places here. https://www.npr.org/2021/03/04/973653719/california-program-...

>I like the idea of a world full of generosity

I do too, I like the idea of world peace, no crimes, and kindness everywhere. I've lived in places that had that kindness in poorer areas than where I live in "shitty countries". If you localize and select, its not impossible or even rare.

>I currently live a happy stable privileged life and would still love to see my income to support a basic income for example.

In Denmark, your dreams can come true, they tax at high rates (over 50% sometimes), have great social support, and then internet tells me it has some of the lowest corruption rates or is the lowest.
I read it as "lots of people have Omnicron now whereas previously Delta had passed, so we're picking it up a lot on routine testing, even for asymptomatic peopel"
A caching wrapper script for /bin/sort
I use /bin/sort a lot, so I wrote this BASH script that wraps around `/bin/sort`, and uses a cache to speed up subsequent sorts.
VLC is unique in its support for every codec under the sun. If it refuses to play a video file, it's probably because it's damaged beyond recovery, or not a video file at all. The default Windows and smartphone video players choke on all kinds of files, so you can't really expect that any given file is supported.
I don’t know exactly what the problem is. Who cares? He’s written a very long thread but he doesn’t explain how this hurts anybody.
Food-grade mineral oil is highly refined and doesn't contain any of the carcinogenic aromatics. It could be considered a lower molecular weight petroleum jelly. It's also used as a laxative.
Can someone help me translate

To measure just how concentrated stock returns have been, we calculated the impact that the 10 largest stocks have had on the Morningstar US Large-Mid Index, which essentially tracks 90% of the stock market. We took the 10 largest stocks at the end of each year going back to 2009, and using Morningstar Direct's equity attribution tool, excluded their returns from the index's performance and compared that number with each year's total return.

into mathematics so I can interpret the percentages in the table below?

Why do people involved in finance hate mathematics so much? Is it obvious to everyone?

EDIT: I think it is:
returns_of_index_per_year - returns_of_index_minus_returns_of_top_N_stocks_per_year

EDIT 2: What does "Cumulative Market Impact" mean? When you google it or "Market Impact" it gives bunch of unrelated measures... Finance jargon is such a mess.
Clearview AI on track to win U.S. patent for facial recognition technology
Interesting example given you can no longer do that with the latest (v2) version of the AWS CLI, since it isn't published to PyPI due to how big of a nightmare AWS found supporting that to be.

There is a very nice comment talking through some of the reasoning here that is worth a read: https://github.com/aws/aws-cli/issues/4947#issuecomment-5860...

I am quite annoyed v2 isn't in PyPI as it makes updating to v2 a sizable project in some cases and v1 does not support all services, but also quite understand their reasoning.

Granted the tradeoffs may be weigh out differently for an internal tool as the post describes, or if distributing the tool to a more constrained audience.
Yeah this is why I'm confused as well. I don't follow how if we assume n are the same color, that it implies anything about n+1. It sounds like the article is saying that the N+1 logic makes sense for n > 2, but I don't see how it does.
No, if your program ever invokes UB, anything could happen (even at the beginning). In other words, UB can time travel.
https://archive.md/opL80
These are 52 NPR-style factoids (many of them actually from NPR) that neither form a coherent worldview nor a meaningful study of a topic. Just 52 random statements. Good luck at Tuesday bar trivia!
Hello 6581, The project is Open source [1] and here the demo [2]

[1] https://github.com/miroslavpejic85/mirotalksfu

[2] https://sfu.mirotalk.org/

The seven reasons are written at the bottom of the page, the first comment.
In your first sentence. What is the inductive invariant you are talking about?
It works on chickenwire too, VDSL not so much. Back in the day when i installed internet lines customers with mandatory ISP service requirement by the gov with absolute shit outside or inside wiring got ADSL, forward-error-correction magic. VDSL was a lot more sensitive.

In some cases I would be forced to use a cat-5 or even poor quality cat-3 where two pairs are for ethernet , one pair for A/VDSL and the blue pair for voice/POTS (voip to pots converted)
> I don't need to

Ok. Obviously you don't need to do anything, but presenting evidence for a claim when asked is a pretty basic standard for discussion around here. Peace out.
Reality varies. Its a truism in optimization that the only valid benchmark is the task you are trying to accomplish. These chips have been optimized for an average of the tasks run on AWS (which is entirely sensible for them), but that doesn't mean they'll be the best for your specific job.
The idea is that if it holds for n = 3 then it holds for n > 3. The way to show that it holds for n = 3 is to show that it holds for n = 2, which it doesn't.
> There is a minimal GUI on MPV that doesn't show me anything for changing speed, it changes A-V delay when I try a -/+ command with CTRL, there is no right click menu, there is accessibility to helpful shortcuts that I shouldn't need to memorize keys for.

It is true that mpv usually doesn't have a GUI menu for this (I believe it does on MacOS, but lets ignore that.) However it's not true that doing so requires using a command line. Speed is changed using the [ and ] keys, which is documented in the manual. Obviously this is not friendly to novices, but it certainly does not require using the command line.

> Its minimalist for no good reason

It's minimal for a very good reason: because some people like it that way. Obviously it's not for everybody, and there is nothing wrong with that. I would never consider recommending it for everybody, but I object to the implicit assertion that all software must aspire to be good for everybody.

> what is the benefit of the design?

To you? Probably none. So I don't recommend it to you.
I don’t understand what you mean?

I think that what I wrote is implicitly agreeing with the GP that the induction argument is wrong not the base case. And I think that you attempted to refute it, but I couldn’t really understand how what you wrote would relate to either side. Do you mean that you agree that your description above was complicated, or that you agree that what I wrote is a fair description of the problem, or do you (now as opposed to before?) think that the problem was the induction step not the base case? Or are you talking about the statement that it is easy to miss the error by thinking of n as big rather than n=2? Maybe it doesn’t matter.
AWS can also build slightly different CPUs under the same name for different workloads and not tell anybody.
Assuming it has a properly-designed & constructed foundation (which, if the building tolerates just being there at all, especially for decades, it probably does; but this is something that would be checked anyway), it's just a matter of adequately supporting that and taking everything slow. After all, the foundation supports the entire building, so moving the foundation will move the building. The stresses involved here (this Twitter thread says it was moved 15 inches per hour) are practically nil; it also says the people inside didn't even notice it happening.
That's a very strange rumor since 3in1 is petroleum-based.
It’s not just about capital, my point was the benchmarks where different between industries. You can scale a soda bottling plant in the way you can’t scale a single sit down a restaurant simply because you can ship soda hundreds of miles without issue.

Fab’s are built at such scale in part because finished chips are really easy to ship being both durable and value dense. They also benefit from that scale because of the nature of the lithography process which has many individual steps which need to be done in the same factory, but each step is very fast and operates on a full wafer at the same time. Millions of chips per year is basically the minimum scale that’s in any way reasonable.
It sounds to me like the real story here is how someone was able to access a Pixel that was turned off.
Funny how capitalists (or let's be honest about what they actually are, aristocrats) always seem to care more about the appearance of civility than the impact of their policies.
Monitoring 27kw Generac Generator with Raspberry Pi and Multimode Fiber
Perceived complexity peaks at intermediate skill. There's a concept in learning theory that perceived complexity is diamond shaped.
This is not easy to deploy, even with docker. Had to setup tomcat. Great project, but hoping for more features and integration as well as simpler setup and config.
believe the victim until there is proof they made it up.

victims making up stories in which they are the victim are exceedingly rare, in reality.
Although pointers don't have a size, every allocation has a size:

int x; // &x would have size 1
int *y = malloc(5 * sizeof(int)); // Size 5
int *z = y + 2; // Size 3
int w[4]; // Size 4

A C compiler is allowed to track the size of objects in some hidden area, and that's what enables tools like AddressSanitizer and MemorySanitizer to exist.

As for pointers to already-freed objects, it is undefined behavior to read, calculate, or compare them in any way; the only legal operation is to overwrite or dispose of the pointer.
Doesn't buildings in America have underground bases to ensure their stability? Because that's the case in my country even though seismic activity is very rare.

(We're talking about renforced concrete bases around 2 meters deep for a single story home. Obviously, the higher the building, the deeper the base.)

If so, how was this building moved? If not, how did it manage to stay up?
It's still actively being developed, the author just created a new project page for it for some reason. You can find it at https://github.com/clsid2/mpc-hc
I think that's not only a good reason not to use AWS, but also the fundamental problem with the position that cloud service providers pose. It would be much healthier for companies and organizations to directly own their own computing resources, rather than effectively leasing them from one of three cloud service providers, but it is absolutely more of an investment for companies to make.
> The hacker changed my gmail settings to mark all security messages from Google as spam

The fact that this is possible is a weakness in itself.

Google security messages should be signed and treated differently by the client & server
No. When it is finally found, it will be by accident just like finding the Antikythera mechanism by chance two thousand years after it was lost at sea.

The accidental find might be tomorrow, or it might not happen for some thousands of years.
>We will show, by induction, that for any set of n horses, every horse in that set has the same color.

>Now suppose for all sets of n horses, every horse in the set has the same color.

"We will prove that $thing is true. Step 1: assume $thing is true"

I guess I don't see what the big deal is. Of course you can befuddle someone if they don't carefully read what you wrote.
Zuck is still relatively young. Maybe he'll become our first immortal overlord.
Title is weird since the article only describes how China is doing nothing substantial to ensure Africa's digital sovereignty beyond building out the telecom infrastructure.

Aside from the risks of foreign- built and operated telecom infrastructure, African leaders must also contend with the Chinese stealing their IPv4 address space:

https://www.independent.co.uk/news/south-africa-chinese-maur...
infinity is typically not defined to be even or odd.
OSHA was founded in 1971.
Why are FOSS mailing lists heavy on inline-posting when everyone else top-posts?
Disclaimer: I work at Microsoft in the Exchange/Outlook umbrella. Outside of work, I am a FreeBSD Ports committer and a Tor Core Contributor, and my personal email runs Postfix, Dovecot, and Roundcube.

I noticed that when it comes to FOSS projects, especially older ones (as opposed to say Kubernetes or Vue.js) using mailman, or ones from the "ThinkPad running GNU/Linux" crowd as opposed to the "MacBook at a startup" or "Windows and .NET at a megacorp" crowd, the former is big on inline posting. Maybe a "newbie" will top post but not active members of the list.

Yet most people outside of the FOSS world are accustomed to top posting. Even a mailing list like NANOG and everyone top posts, but at say KDE or GNU everyone inline posts outside of newbies.

I noticed this on the FreeBSD, Tor, Linux Kernel, and GNOME mailing lists as well, and everyone experienced is an inline poster. But in Microsoft internal emails, or even personal emails outside of @freebsd.org or @torproject.org or experienced Unix folks, and everyone top posts.

How come?

If I were to guess, people on FOSS mailing lists are unlikely to use Outlook, the norms were set from the Usenet days and people on those lists usually do not use Outlook (for those lists) and instead use a FOSS mail client.

I feel Outlook is frowned upon at FOSS mailing lists, whereas a FOSS email client is frowned upon at a conservative IT department who only knows Microsoft tools and nothing else (the same people who kept many stuck at IE6 at work and make life hell for webdevs).

I admittedly do find top posting annoying when I am use Windows Mail (or Outlook) at work (I mainly use WinMail since I *hate* Outlook). I feel top posting makes email overwhelming when the problem was "solved" pre-Outlook, and no wonder why we "need" Slack and Teams and Mattermost when we could have avoided it (not definite). But sometimes I have to do it at home since the recipient has no idea about inline posting.

But even I admittedly was trained to top post before I got very involved in self-hosting email and later become active in the FOSS communities, being an early Gen Z member myself.

Yes, I know I avoided talking about Gmail, but I don't usually use Gmail a lot (I had Gmail accounts in the past and college used it also). I feel Gmail top posts by default but it is easier to inline post on Gmail, maybe since some Googlers were Linux folks but also didn't want to alienate people coming from Outlook.
Making crud apps feels like I'm doing a data entry job
I like how you claim Facebook deletes Nazi pages.
Not all petroleum either. I bet a lot of people here have a jar of refined petroleum they apply to their skin regularly.
I get how they can keep electricity and telephone service running this gradual move. But how do they keep water and sewers running? Did they use temporary flexible pipes, or maybe a rotational joint at the pivot point?
Suggest an alternative while the edit button is still warm
Was just frowning when I read "For example, the three largest stocks accounted for less than 10% of returns in most years since 2009, and often just in the very low single digits." and saw that it was above 10% in 4 of 12 months in the table.

What the hell, who is this text for?
Nothing of what makes science work is published as text on the web
Sure, agreed. I am on the opinion that Amazon does not have to be that monopoly-oriented but alas, humans being humans right?

Give me an AWS service with predictable billing and ability to put hard limits so you don't have your credit card charged for surprising amounts if you get bursty unexpected loads, and I'll be all over them without thinking of on-prem hosting.