skysight-inc/HackerNews huggingface dataset:
There's serious need to augment Firefox, it has been years and they still haven't figured out how to let users ergonomically select a new tab page.

Bugzilla: https://bugzilla.mozilla.org/show_bug.cgi?id=1409675 & https://bugzilla.mozilla.org/show_bug.cgi?id=1460412
> We will show, by induction, that [for all sets] of n horses, every horse in [each] set has the same color.

> Now [assume that] for all sets of n horses, every horse in [each] set has the same color.

QED.

This is just tautology. No further analysis needed, really.

(If your proof includes your hypothesis as an assumption, then it must be a proof by contradiction.)

EDIT: Before you refute, read again carefully. The assumption _is_ the hypothesis. It is not existentially quantified or set in the base case. It is the entire, universally quantified hypothesis.
Servers, Servers and Tasmanian Singers
A classic is/ought distinction error.

Observing reality is not the same as prescribing a particular course of action.
Even after identification the company still bears responsibility, given individuals act within processes and controls established by the company. If these are not sufficient (and that’s a very small if in the presence of faults) then the company is as culpable as the employee and is definitely the one who is culpable as far as the customer is concerned. The employee responsibility is for the company itself to pursue in a different process to making its customer whole.
But curing aging / death would obviously make it so that you _can_ thrive at 90. Besides, most people I know who are in that age bracket are quite happy.

>People who worry about death due to old age in their future are always the type who live in such luxury or are at their apex

Not in my experience. I think people in general prefer existing over not existing, no matter what age.
Your title absolutely is better. I think HN's policy can be quite damaging.

Thanks for link to the amazing video, it's truly in the spirit of gratifying intellectual curiosity!
Not clear if this is "abuse" or just unintended usage by people at right-wing rallies. Would it be considered "abuse" if it were people at left-wing rallies? This policy seems highly subjective.
That’s a weird way to spell covid.

I mean the retail theft can’t be helping the downtown but I’ve been a couple time over the pandemic and it has been a shadow of its former self.
> The argument doesn't apply in the base cases

No I'm still with eperdew on this. You don't apply an inductive argument to base cases, so that statement doesn't really make sense. From a pedagogical point of view, I think it is very important to drive home the point that there is nothing special about your choice of base case, other than that it affects the argument in your inductive step, otherwise it's too easy to make the choice of base case seem "magical."

In fact I'd go further. Whenever you have an error in an inductive argument, it is always in the inductive step and never the base case, since you can always choose whatever base case you want (you might just find it makes your inductive step impossible to prove, so if you do prove something, you've made a logical error in your inductive step).

At worst, an "error" in choice of base case leads to a proof that cannot be completed, not an erroneous proof.

EDIT: "it is always in the inductive step and never the base case" except of course if you've somehow made an error in the initial proof of the base case, but that is distinct from choosing the "wrong" base case.

EDIT 2: I just understood what you meant by "apply," (doesn't fulfill the preconditions of the inductive step, vs I thought you meant relevant to proving the base case) sure that's a reasonable way of looking at it too, but again I'm very wary of saying that it's the wrong base case that leads to proving a falsehood as I lay out elsewhere.
I expect the Spring framework to hopefully some day fade into obscurity and die.

Its ample usage of reflection is just evil, polluting your stack traces with needless proxy classes and abstraction upon abstraction upon abstraction. You can debug code pretty easily, whereas doing that with annotations or XML that gets parsed and executed by code that you know nothing about leaves you in hopeless situations more often than you'd like. Instead of solving business problems, you end up solving whatever it is that Spring wants you to do.

Thus, most of your post is spot on. Rather often, it is the frameworks that are keeping us in a pretty unhappy place. In contrast, languages like Go feel a bit more pure in that regard, even generics were only added recently. Not giving the framework developers tools to express endless complexity is probably a good idea.
Good Cragile: Crappy Agile that works
If I sleep consistently, I become too stable for my young self to be comfortable with. It feels like I'm killing my soul in slavery to my bodily needs.

The best solution I've found is having a little coffee in the evenings on the weekend. Stupid, but I feel alive again.
This summarizes my viewpoint on ETH quite well. I think it's a really technologically sick platform that has a lot of potential, and I do believe in the future when these scalability solutions are in place and have mass adoption, then the ecosystem really can be excellent. However, today, it's not there, and I cannot recommend using base ETH for anything other than if you are a large corporation or generally wealthy and want to capitalize on the large amount of liquidity in the ecosystem compared to others.

ETH, as a base layer, is financially impractical. The native L2 solution in Arbitrum is also too expensive, I believe it's like a quarter of the cost? That is still absolutely unacceptable. Also I don't have any faith in advertised timelines or scalability solutions until they are in place, I saw slides and discussions around sharding, layering, and off-chain computation solutions like Truebit back in 2017. Fast forward to today and the system is still unusably inefficient, so yeah, I'll believe it when I see it.

I'm fairly certain that the majority of holders in ETH are treating it purely as a stock that only goes up, never moves their ETH off of the exchange (or even better it's not able to move off as it's a closed system like Robinhood), and actually are not using the ecosystem. If they were, then the average person would quickly realize how absurd it is to burn through their ETH for simple transactions.

I truly hope that the scalability solutions in development now pan out, because it will never succeed long term imo if they cannot solve this. If the scalability solution ETH proposes is simply use different chains, I'll do that, and they won't be in your ecosystem.
Interesting, thanks.

I guess in a way we perform majestically-large relocations of digital storage buildings all the time now, which as you put it is roughly equivalent.
Proof by inductions often involve showing that Pn implies Pn+1. That is, that a statement's truth for n implies it's truth for n+1. That's what's being done here, and it's a perfectly valid part of this type of proof.
Microsoft is probably one of the worst offenders, especially in the past few years. It seems like they're actively destroying documentation and making it hard to find important information, so much that I often use archive.org instead.
https://www.google.com/search?q=detachable+ski+lift+mechanis...
Likely most of it. Testosterone is high-octane gas for the body. Burns hotter.
If I want to change the speed in VLC, I can find the menu easily. 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. Its minimalist for no good reason, has poor accessibility, and if I can't even find the help menu, what is the benefit of the design?
It's the startup vs Enterprise dilemma. Startups have no red tape, so anyone can get anything done immediately. Enterprises are the opposite. It's always been fascinating to me that billion-dollar-revenue companies will spend zero dollars on anything they don't have to, whereas a startup will blow through 50 million in a few months on an experiment.
MMNAAA! Pronounced like you’re saying “Hmm, nah.”
It occurs to me that large computer programs can also be diabolically complex and nonlinear. Changing a single byte of code can result in a huge change in process behavior.

I generally disdain the temptation to use computer analogies for natural processes too, but in this case your objection isn’t strong.
China is now, in many ways, where the US was last century (think growth rate and GDP per capita).

I agree but I think they will settle down to a similar place in the coming decades.
> Here’s a concrete example: in last year’s lockdown, my local coffee shop started to deliver beans. They set up a slick web store with Shopify. They took payment with Stripe or Square. The owner’s kid brought the beans round on his bike. In other words, they competed with Amazon, because they had to!

I'm sorry but the local coffee shop was never competing with Amazon in the first place. In fact, the local coffee shop further entrenched big tech because it did not setup its proper ecommerce website, host it on its own servers and processed payments with crypto instead.

The local coffee shop might have in fact jeopardized itself. Some local shops are still relevant because they cater to their specific area. By going online, this shop might give valuable information to what this special area is demanding; and if Amazon can buy this data, it's only a matter of time before the local coffee shop is doomed.

> Firms begin to incorporate magic into their production processes. Some wizards specialize in helping particular sectors. Gradually, the dark arts diffuse into the population. The magic becomes mundane.

I have very high doubts. The pandemic did push people online but I hardly find people learning development or technical skills; or at least trying to incorporate them into their workflows. They, at best, use the plug&play tools with no idea how these things work or without even reading the license. They also have no idea how their personal data is used and do not really care.

The OP example of the local coffee shop is revealing. The coffee shop did not build his own website, did not run his own local server and did not process digital crypto payments. He could have done all of that and relied on no company to run his stack. Instead, he just setup a Shoppify store that has everything as plugins and pays a subscription to that.
Before the dislikes purge I more or less had 80/20 proportion of interesting videos vs bad videos after I clicked to watch them. Dislikes highlighted bad videos and made the choice easier. After dislikes were removed the proportion flipped. Now 80% are bad videos and 20% interesting ones.
Out of interest, we have SAML and OpenID Connect. How do you manage passing the SSO to Windows after displaying the web portal. I couldn't see anything in the Guacomole pages, but Citrix manages this. Where you sign in to the web portal, click a desktop, and don't have to login. Do you get a kerberos ticket, do you have something running on the Windows host or how?
Is Skype that bad? Every time I've used it (rarely) over the last 10 years, it's worked pretty well for me.
Toby Young is an idiot and a thoroughly unreliable source. Can we find a better article covering this case and change the link?

This is a bit more detailed, but i don't know the Kiwi media landscape well enough to know what weaknesses it might have:

https://www.newsroom.co.nz/royal-society-investigation-into-...
This whole "diversity" fiasco is getting out of hand. It's scary to think about what destruction and chaos it might bring.
JS has Array.some() for "contains"
Alphabet = Google
> Multiple questions inside the same packet are quite common in DNS-SD based multicast queries.

mDNS is DNS in name only. Yes the wire format is mostly the same but the semantics are not.

> Note that technically, servers have to support TCP via port 53, too...but they never actually do :)

No? I haven't come across a widely used server implementation that doesn't support TCP in a very long time. What server software are you referring to?

> ...there are literally dozens of ways to fix this in a better way than disabling ANY completely.

As fanf2 said, ANY isn't ALL, and so it doesn't do what most people would want it to do anyway.
I can't escape the feeling that AWS is taking credit for industry trends (DDR5) and Arm's decisions (Neoverse).
Draw two columns for each business, and compare:

1) "What we have to lose"

2) "What we have to gain"
This is indeed much clearer than the OP's version. In this one, the transitivity is obvious, because the article clearly explains that you may take out any horse from n + 1 and note that the remaining n have the same color, then do that observation again with another one, and use the horses that never left the group as a transitive link.

I agree this is much more worth looking at.
So what would say is the error in the inductive step here?
> Refined petroleum does not occur naturally and is toxic to all life.

Not all life[1].

[1] https://iscsales.com/item/55-gallon-oil-eating-microbes-lfs-...
not the hospital in yorkshire. they didnt treat a single patient.
> I didn't see anyone saying ALL comments were being removed, did you?

It's very convenient for your argument that you can dismiss all the evidence that directly contradicts the claim as stated. Seems to me like this is made up outrage by somebody reading signs in tea leaves.
Off topic: is it just me or is Twitter becoming much more hostile to users who aren’t logged in? I can’t click anything (mobile safari) without being nagged by a modal to sign up/log in.
Every time a gondola car arrives to the station, it is detached from the main cable and put on a slower cable (or a belt?). I wish I knew the exact mechanism that makes this work reliably.
Most Christian-faith-based media is overly saccharine or unrealistic. The Chosen is one of the few pieces of Christian media I’ve not just watched, but thoroughly enjoyed. It focuses on characters rife with their own set of personal issues who are changed by their encounters with Jesus. It portrays a realistic world full of problems we can all relate to. Ironically, it is a breath of fresh air precisely because it has a bit more grit.
The one child per woman is a lot more practicable that half a child per person. It's very evident when a woman has had a child. At that point, the woman would have her tubes tied. When a generation of adults can only replace half of their numbers, the world population would drop rapidly as the older generations died off naturally and fewer children follow on. That negates the need for mass murders or wars of extermination.

As the population drops, less CO2 is produced because there is less transport used, Less fish eaten so stocks start to recover, less underground water used so underground basins start to refill, and cities become smaller so more vegetation grows to suck out even more CO2 from the air.

Within about 3 generations, say about 80 years, the world population could reach sustainable numbers again.
Inaction.

You've had your beer hall putsch in the capitol building, racism has become publically acceptable again at levels that are starting to resemble the 1950s. Brown shirts are patrolling your streets in the guise of white pride and trying to suppress minority protests, egged on by a yellow media and an out of control social media experiment that has gone very wrong.

Your political parties seem to think they can control and use the radical elements of their support base to shore up their waning popularity. There are tens of thousands of highly trained ex soldiers, radicalised and looking for a fight, left abandoned after their service for pointless wars that did nothing but give them PTSD and other unresolved trauma.

On top of which you have a disenfranchised generation of kids overburdened with education and health care debt, scared to quit their jobs or the useless medical system will abandon or bankrupt them.

Edit: and lots of weapons in an increasingly divided community that was supposed to use them to keep their government honest, but only use them to shoot each other.

Edit2: Missing the hyper-inflation part of things but perhaps instead of the hyper-inflation being currency based, it's property based and adding to the misery of the generations that missed the boat. Can't afford to even rent where they work.

Its weimar germany all over again.
You might also consider an IP whitelist. The firewall is still probably the best place to stop any unwanted connection attempt. Also gives you good protection against zero days. Have a central location for what IPs are allowed to connect (like aws s3) and the server downloading it every 5min, and applying it to the firewall if it changed.
> Not in my experience. I think people in general prefer existing over not existing, no matter what age.

Existing sucks, you want to thrive, meaning having fun, novelty, winning, and generally being a boss.

When you are old you simply don't thrive, you don't have fun, all the novelty is gone, you lose all the times, you lose your swagger because you become extremely risk averse both in your behavior in the natural environment as well as social behavior when around other people.
chairs/gondolas detach from the primary rope that carries them up/down the slope. So while the primary rope is moving the same fast speed, the chair isn't attached to that rope anymore. This is what allows detachable lifts to go so much faster than fixed (non-detachable lifts), the speed of them isn't dependent on people being able to board. If a ski resort wants to speed up their fixed grip chairs without spending the money on a detachable, they will use a loading carpet to move up the max speed of loading people (see: https://liftblog.com/2016/01/02/the-loading-carpet-solution/)
Dupe: https://news.ycombinator.com/item?id=29417309
Sorry, this answer is confusing. The base case just needs to have the property you want to prove. The induction step does all of the heavy lifting to go from n to n+1. In this case, the induction step fails, because it cannot go from 1 to 2. Simple as that.

Edit: I removed the wrong. It’s just confusing.
The cabins are detachable from the cable. The two terminals coordinate timing so that you don’t end up with a pile up. Occasionally you can see the lift automatically stop a chair at the base to adjust timing.
They are distinct biopolymers. DNA and RNA are polymers of just 5 different types of nucleotides. Proteins are polymers of some 20 radically different aminoacids.

https://en.wikipedia.org/wiki/Proteinogenic_amino_acid
> In my view, it is the pendulum of antitrust law swinging back to stricter enforcement that will end big tech, if at all

They're incredibly useful to the state as large monolithic entities. It's much easier to spy on people and exert influence. Imagine the feds chasing dozens of social media platforms to fight election interference.

There is no chance any legislative body will break up tech. They'll more likely go the bank route and make them too big to fail, and regulate them, which amounts to giving the government direct or indirect power in what speech is allowed on the platform.
Couldn't you send an amplitude modulated signal down a DC line by modulating the voltage but keeping that voltage always above zero? If the current never actually reverses, it wouldn't be AC as I understand it. It would be PDC, pulsed direct current.
From his comment it seems like they use a service account and thus hardcoded username + password on the Guacamole side rather than doing what Citrix does
The “vacuously true” part seems unnecessary (and weirdly subjective). The N=1 base case requires considering N=2 when you apply the inductive step and that fails.
How does the title relate to the linked page? I don't see seven reasons listed there.
Memory bandwidth is not a problem. Even puny 1 channel memory desktops don't usually saturate it.

It's memory latency.
>and you have to read it all to find out what it does.

Which isn't a problem, because as long as its all loops'n branches, the code is easy to understand.
All I can do is suggest that you look into this a bit more.
Yeah polygon does seem like a nice chain to develop for, I'm assuming the same frontend packages like ethers.js / web3 work seamlessly since it's EVM? The thing I like about working in the Ethereum ecosystem is it is more mature as a whole despite the scalability issues, and there are some very cool projects out there.

If you are looking for other bridges too I recommend checking out Synapse, they let you bridge between a good number of EVM chains and I haven't had any issues with them at all.
IXFR is for incremental transfers in which the client asks for a series of diffs between a particular serial and the current one. AXFR requests a transfer of the full zone. dig supports supports both.
This is how induction proof work. You prove that something is true for a base (n = 1) case then you prove that if it is true for n it has to be true for n + 1. Therefore it is true for any n.

The flaw is that the second part of the proof requires n >= 2
Blender's 2.9 release was what did it for me. That team is on fire.

I'll hype Krita's 5.0 release (still in beta) - it has the same "turnaround" feel.

Thanks, everyone, for plugging the donut tutorial link! Checked it out today. 3D modeling has lots of subtle, jarring nuances and the author addresses them head-on. Recommended.

It's exciting to see libre software becoming so refined. Several projects are serious about managing the triangle of UI, stability, and features. These tools aren't "in the artists' way" anymore.
Based on linguistics. People have studied the grammar and vocabulary of languages all over the world and classified them into families based on common origins / evolution and characteristics. You can check it out here

https://en.wikipedia.org/wiki/Dravidian_languages - the family that most South Indian languages belong to.

https://en.wikipedia.org/wiki/Indo-Aryan_languages - the family that most North Indian languages belong to.

In addition, there are languages spoken in India that don't fit into these categories, and are part of other families :

https://en.wikipedia.org/wiki/Munda_languages - Part of the Austroasiatic language family.

https://en.wikipedia.org/wiki/Dzongkha - Part of the Sino-Tibetan family, spoken by a sparse population in West Bengal.

None of this classification is based on "geographic" or "racial" reasons. They're classified and studied as a science.
you can target the `rt` with css for no copy:

ruby rt { user-select: none; }
Just destroy and rebuild right.

Today, we have so much experience with building things, as if every invoice is ready to be sent to order every piece of a building, that we don’t have experience with repairing.

Moreover, insurances tell us that a desk or a telecom switch devaluates 25% per year, so we value the existing furnished building to basically scrap value after 5 years. But insurances evaluate at the resale price. But an equipment in-place and working has at least 90% of its purchase value for 3-10 years, if not 125% of its purchase value, since it would cost a lot of maintenance to scrap and re-plug a new one.

If insurances/accounting rules admitted that equipments are worth 90% of their purchase price for 3 years, we would put more value into repairing things. Our replacement culture is rooted in the way we perform accounting.
This may be 8 bit, but it's not pixel art.
I was in Union Square just prior to these looting incidents and it was not boarded up.
Different varieties of rapeseed make different oils, but steam locomotives and piston aircraft used canola for lubrication.

It works just fine for general lubrication. Other things or canola oil not intended for human consumption may be better for different applications.
Where exactly is my error?