skysight-inc/HackerNews huggingface dataset:
Tip to self and other billionaires:

Do not get your slaves to change your dental brushes

"Electric toothbrush (Replace head every 4 weeks)."

They might get back at you on it...
while not necessarily on how gondolas work, this is a great documentary on the engineering and design behind the peak2peak gondola at whistler: https://www.youtube.com/watch?v=xEAJmxe27h0
I don't understand why more effort isn't put into communicating with these isolated tribes and people. They've got a right to know about the world and to choose to participate if they want. The idea that their cultures and lifestyles justify keeping them ignorant and isolated is obscene.
The context is that John, the father posting that tweet, is a well known hacker and lead programmer on Wolfenstein 3D, Doom & Quake. He is still lauded today for his legendary optimizations to 3D graphics & network programming techniques.

https://en.wikipedia.org/wiki/John_Carmack
As an engineer, I say, yeah, fine.

But now you've got twice as much cable and twice as many rollers needed.

Not impressed. Do it without doubling all the equipment, that would impress me.
Hope he survives through Bolsonaro government term. Currently the native peoples in Brazil are facing a lot of hardships, as illegal loggers and gold miners encroach around their lands, while government representatives either look the other way, or are just demoted/moved by politically compromised upper management if they dare to take any measures to ensure rule of law.
My rule of thumb (YMMV):

If it's written in the New York Times and/or the Washington Post, reverse the story and you will be closer to the truth.

I seem to remember 'Weapons of Mass Destruction in Saddam's Iraq'. Whatever happened to those? How many trillions were wasted that could have built lots and lots of American schools, highways, hospitals and bridges?
PSA:

You can de-authorize your phone from Google security settings on their website.

(Not that it should be needed. I hope they lock up the guy and his manager for this)
Waxing (also possible with bee wax) once you streamline the process (chain link, hot water for cleaning, cheap wax warmer the one women use and since the new chains (every 5000-10000km) are heavily pre-lubed you need 3 steps to remove the mineral oil: 1. soak in gasoline or alike for 1 day, 2. degrease and then 3. finish it off with white spirit) is imo the best for the chain.

Clean and smooth. I rewax every week (200km), takes me 10 min in total, also a a convenient way to inspect and adjust my whole drivetrain, regularly.
Because they are all descended from UseNet, eventually.
What places do you have in mind that had no large scale behavioral changes (govt-mandated or voluntary)?
Yeah, HN shows the net_votes, YouTube is now only showing upvotes, so the person you're replying to is wrong here. It's not the same since HN's showing what people think of the comment, vs YouTube only showing people who liked the content. Not saying it couldn't be better, it's just a flawed comparison.
Caakg: https://www.aging-us.com/article/203736/text
> will stop at nato borders

We’ll see whether NATO is worth the paperwork. The US is in a bipartisan starkly anti-interventionist mood of late and may not want to come to Europe’s aid which should defend itself.
>However it's not true that doing so requires using a command line.

Its very much like learning CLI, except you need to memorize the keys on a GUI medial player.

>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.

Its minimalist enough to not have a help menu or list of commands, where is the manual for it even? Even in shells I can type man. What is the benefit of not having a right click menu or something like F1 not bringing up help. I am not against learning how to use tools, but who do you recommend this player to? People who want to memorize keys for their media player? Is that not like a CLI user?
>They are well understood and most people can understand them with little to no additional education past what they learned in their business or engineering bachelors degrees.

Imperative code:

Take A and B.
Add C ml of Water.
Stir for 2 minutes.
If it thickened, add D grams of flour, else go back to stiring.

This is easily understood by everyone, degree or no.
Once someone figures out loops and the difference between statement and expression, they can essentially understand imperative code.
Not having personal data to begin with should be common knowledge.
JavaScript's "first()" is https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe... .
Dunno how anyone could be perplexed ... piss smells like piss.
Still double what it was pre-pandemic.

This was an obvious bubble.
I respectfully disagree - many diseases are diseases of aging, in that they appear only when someone has aged significantly.

A drug that increased healthspan would thus treat multiple diseases at once. And in fact, since we still do not have reliable aging clocks - in other words, a good way to tell if a drug has made you younger - one way to assess whether a drug may be treating aging at its root is to see if it is treating multiple diseases at once.

A drug that improved outcomes for multiple diseases might turn out to be an anti-aging drug, is the idea (of course, there is no such drug yet!).

Anyway, the logic is that instead of delaying multiple chronic diseases separately, we go after aging, which should have that effect anyway (for many people, and for many diseases, but certainly not all).
Before enlightenment coding is logic.

After a first glimpse it’s all about structure and architecture.

After enlightenment, coding is logic again.
Focus Stacking
and it was $13B 24months ago.
Spiral Dynamics: The Ultimate Theory of Human Development
Okay so street food is common where I'm from, too, with lots of immigrants (mostly Turkish in my neck of the woods) selling it - but i don't see how that's related.

Food safety regulations shouldn't be a problem for anyone selling sanitary, safe food. If they don't, then I don't think it's fair to call that a "barrier to entry", I think calling it a "barrier to poisoning" is more accurate and I'm glad that exists.

I'm also not sure where immigrants come in, I don't care who makes the food as long as it's sanitary. Are you implying immigrants are unsanitary? If so, I strongly disagree with that notion.

So the way I see it the only person who doesn't want food safety regulation is somebody knowingly trying to sell unsafe food. In that case, I'm glad they're being stopped.

So I'm not entirely sure where your problem lies. Are you disagreeing with the base concept of food safety? Or just with the specific regulations in place? Cause I'm happy to have an evidence-based debate of the latter, but the former is not really negotiable imo.
The example I'm about to give is overkill, but I'm trying to make my point very carefully.

Suppose you want to prove something for integers >= 2. E.g., suppose you want to prove for all n >= 2, n is positive. The statement you're trying to prove for a given n is actually

P(n) := n >= 2 -> n is positive

Let's prove it by induction.

P(0) is 0 >= 2 -> 0 is positive. P(0) is vacuously true, because 0 < 2.

Suppose P(n). We want to show P(n + 1). Our goal is

n + 1 >= 2 -> n + 1 is positive. Let's break this into the cases n >= 2 and n < 2.

For n >= 2, we assume P(n) and have the LHS of the implies. This gives us n is positive. Say by definition or by a lemma that n positive -> n + 1 is positive, and we handle this branch.

For n < 2, the inductive hypothesis tells us nothing. Assume the LHS of our goal, i.e. n + 1 >= 2. We want to prove n + 1 is positive. Well 2 is positive and therefore n + 1 is positive by transitivity.

This is what I mean by the base case not being special. E.g., in Coq, induction over the natural numbers always starts at 0. When you think about doing induction starting at another number, you're transforming your goal to include something of the form n >= m -> P(n).
Cool! It even show the bits! Now, what do they mean? What are the fields? What science/instrument data was gathered?
Like how Apple takes credit for packaging new technology in an easy to use product? What’s wrong with that? They’re not exactly hiding it.
A social media startup raising a billion dollars shouldn’t be on HN?
According to this chart, Olive oil has 12 times more oxidative stability than Sunflower oil! Coconut oil has the highest oxidative stability due to its 92% saturated fat content: https://olivewellnessinstitute.org/resource/showdown-what-is...
Performed?
It's tricky. There's lots of problems with missionaries that try contact with those premises, but end carrying diseases and killing lots those people who lack a immune system trained on our "civilized" pathogens.
Federal employees anywhere are required to receive it as well. They're roughly 1% of the population, so larger in aggregate than a dozen or so individual states.
> these 900 persons were not hired in a mass zoom call!

By hundreds of people, not directly by CEO.

I don't know if pushing the layoff responsibility to the manager is better.

> Nothing would have prevented to do that in a better way, with individual or little group meetings

Disagree. Your friend is laid off and you have a meeting with CEO next? The rumour and anticipation will wreck everybody. This could be dangerous for company itself in terms of security.

Not saying what CEO did is the best. I don't have a better solution to firing people, but yours is definitely worse.
Neat idea, but my hat goes off to anyone who can figure out what means...
You can't, you just make assumptions with imperfect information. https://plato.stanford.edu/entries/goedel-incompleteness/
When I eventually learned C it took me awhile to stop optimizing and let the compiler do it
The cables are twice as long but must there be twice as much? Surely the cables can be weaker and a cable break would be less catastrophic (though I’d assume the safety margins are high).

Ultimately the thing to achieve is an economical solution and this scheme (admittedly the last machine of its type) might be a lot cheaper than more earthworks or changing ski runs or building two lifts.
Cool. I’m not going to convince you, especially not with video you won’t watch, and I guess that’s fine.

Please just try to limit the amount of time you spend encouraging people to show up armed to protests, or even riots if you want to call them that.

Who am I kidding? Never mind.
Is Godel's theorem what you're referring to? https://plato.stanford.edu/entries/goedel-incompleteness/
Ask HN: Why salaries are not openly discussed?
In some of the companies I worked for (or know of) disclosing your salary was not allowed by contract.

But in most — there was no serious barriers, but still it was never talked about among colleagues except between very close friends.

Why is that, i wonder?

Why it is sometimes in the contract — what does employer gain from it?

Why people tend to avoid these discussions even when it is not forbidden?
Show HN: Collaborative RSS Reader
Useful article. I wish I could remember what the U in USB stood for. Maybe I don't want to know.
When the modal pops up, refreshing the browser lets you see the page.
Arm seems poised to replace x86 in servers. If I were Intel this would make me really nervous.
Just checked. Sure enough, conspicuously turned on my default, even though every other option in the privacy settings was turned off. I'm guessing I've been in there before.

Bastards.
I'm not in that field at all but Aubrey de Grey keep saying that since they try to solve or slow down illnesses of old ages,the worse that can happen is that if they fail at curing aging they'll have at least reduced the impact of some illnesses.
Maybe there are other mechanisms, but the one shown in [1] seems pretty simple. The top of the gondola arm has a flat spot, and there are both wheels and the cable mechanism on the underside.

In the station it detaches from the cable and just rides on the flat track, and then motor-driven tires push on the gondola to propel it at a controlled speed through the station.

[1] https://youtu.be/589uRMy4Ty4?t=222
Inflicted it is. Done.
Wow, I can't believe Penny Arcade is still publishing comics. What a run!
Not with immune evasion. Then you’re only protected from what you had.
Yeah I've got three, one for family/friends, one for work/contracts, one for everything else (mostly signups)
Then what the fuck is a monad?!?

Seriously I still don’t know what a monad is and apparently it’s just a bunch ifs and for loops, so I guess I’m pretty stupid.
What's the meaning of "Sanskrit"? Sun-script?
You should read “n” as “some arbitrary n” in the quote you posted. It’s not an assumption for all n.

edit: sorry, you’re right that the wording is a bit sloppy. The “n” in the first quote is “for all n” and the n in the second quote is “some specific n” or “some arbitrary n”. They’re not meant to be the same statement. I don’t think it’s a very carefully written article.
Name a single virus that did this.

(Noting that we don’t know what happened to the Spanish flu)
Like how? What can it do that vlc can't?
As far as everyone knew, Rittenhouse was a shooter (that’s a risk you run carrying a rifle)

What were they supposed to do, let him flee?
Stephen Wolfram thinks the entire universe is built from simple rules

https://en.wikipedia.org/wiki/A_New_Kind_of_Science
Inline responses also enable addressing each subtopic individually, in an organized manner. Feels like threading for subtopics, and enables responding to specific sections of a prior email without having to make circuitous references.
Yiddish Words Used in English
accomplished?
Hey, I'm interested in news (also if it's tentative) regarding info about new variants but I'm apparently not on channels where this typically pops up. Do you have a good source for that?

Edit: Wikipedia on omicron actually looks quite complete already and answered some things I was curious about, but keeping up with the edits (it's currently updated like every 20 minutes) would be a bit hard as a news source. Maybe I should just check the most interesting sections every now and then.
Unrelated to inductive reasoning, but a fascinating fact is that humans are naturally dark skinned (native Europeans used to have blue eyes and dark skin), some humans today have melanin mutations that cause them to be lighter, and chimpanzees are all white: they are just covered in black hair.
The difference is very it depends.

In Rust, if you use iterators or make loops simple enough for LLVM to understand, then redundant bounds checks are optimized out, so the safety is essentially free.

However, there are certain types of hot loops, like matrix operations, that are too cumbersome to write as 1d iterators, and are too complex for LLVM to prove safe. In that case bounds checks hurt performance a lot. Not because of checks themselves, but because added control flow prevents autovectorization and other optimizations that depend on reordering code.

We need smarter optimizers that understand they can collapse and move bounds checks. Currently `a[1], a[2]` has 2 bounds checks, but `a[2], a[1]` has 1, because the optimizer thinks you care exactly which one of them will fire, rather than merely ensuring the safety.
Damn. I’ve never been more scared by a comment in my life.

Please dont shoot anyone. I can make the promise I won’t.
no, not even close, it's actually being cemented
-----------------------

Some people, when confronted with a problem, think "I know, I'll use regular expressions." Now they have two problems.

Jamie Zawinski

-----------------------

Or in other words... https://owasp.org/www-community/attacks/Regular_expression_D...
Whistler Blackcomb actually has three gondolas that are like that. Excalibur (aka the old Blackcomb gondola), the Village Gondola and the new Blackcomb Gondola are all basically two lifts smushed together so they can make a bend (and also to allow loading people mid-mountain among other reasons).
>We call it clientless because no plugins or client software are required.

>all you need to access your desktops is a web browser.

So which is it? Not having a client is nonsense.
The argument in the article is the following: Given some function f, if f(A) = f(B) = f(A ⋂ B) then f is equal to some constant c and f(A ⋃ B) = c. This argument is valid only if A ⋂ B ≠ ∅. It doesn't apply to the base cases because anything is true for the empty set and any function on a one element set is trivially constant. So the minimal case where this can be applied in a non-trivial way is a set with 3 elements.
You can choose not to subscribe but that doesn't make it any less true.
They have an expo too. https://en.wikipedia.org/wiki/PAX_(event)
Yes, it's a good talk. Think of all the extremely talented internal combustion engine engineers that will be obsolete in 20 - 30 years.
America is no longer a country capable of doing great things other than make a few people rich.
The artist won't starve if all the basics of living are free. Universal basic income or some other scheme could maintain the means of economic transactions, but post-scarcity fundamentally means that everyone is taken care of to a minimum basic standard of living. Food, water, healthcare, shelter, sanitation, and safety are available by default to every citizen. An artist would only ever starve or suffer if they renounced the basics.

The nature of economics and markets changes radically in ways we can't predict. Post-scarcity systems could be fundamentally unstable concurrent with fungible currencies of the type we use now. New mechanisms of valuation based on time and so on might take hold, or it might require distribution of resources in ways not yet considered. The point being that incentives and accumulation of wealth will be radically different to the extent that there's not a clean or obvious connection to current incentives that drive human behavior.
IIRC you get a notification the first time someone views a photo (or maybe for any specific photo?) in a shared album. Maybe the Googler or Googlercontractor was dumb enough to share the album with himself for later perusal?
Yeah, I'm kind of tired of the “mansplaining” cop out. I've been "mansplained" before many times, and I'm a man. It's usually just someone who likes to bloviate to other humans regardless of their sex.
According to HN it stands for Unusable.
Ah yes- freedom and hive death
Related to skin pigmentations, a "white" horse with a black nose is, in fact, a fully greyed-out horse. True white horses have pink noses and are much rarer.
See https://news.ycombinator.com/item?id=29445794.
USB stands for Universal Serial Bus. The U stands for Universal.
Pre formal methods, sophists spin false proofs like this example. Post formal methods, sophists spin false propositions.
My understanding is that when you connect two devices together, they negotiate power (and data rate?), so the device supplying power won't supply a voltage that is too high for the consuming device and the consuming device won't try to draw too much current from the supplying device.

Question: does the cable also tell the devices what it is capable of, so that if the devices are capable of 20 V and 5 A but the cable can only handle 5 V and 3 A that is all that the devices will actually do? Or will the devices happily go ahead and do 20 V and 5 A and set your cable on fire?
On the other hand, those 20th century projects casually accepted quite a lot of deaths and permanent crippling injuries as just the cost of doing business.
seems like most reported cases have been vaccinated folks so it’s much too early to say
For the record, I generally think that people exaggerate the complexity of Functional styles.

I think the reason that stateful, imperative code is the default is because that is how we tend to "think". Example, if I wanted to get a list of items for the grocery store, I get a piece of paper (instantiate an array), go through the list of things I might need (loop through a source array) and write down the ones I definitely need (append onto the destination array). If I run out of space, I get a new piece of paper and continue the process.

With that algorithm, I can stop and test each individual statement; I don't need to "think about it" because I can write and execute a tiny part of it (even if I'm only executing it in my mind).

In a functional style, I have to think more declaratively. Given all my items, filter out the ones that need replacing and give me that list. It's much easier to reason about abstractly, but I have no details about w how that's actually happening.

I think this kind of thinking is superior most of the time: I would rather read map.filter.reduce more than a for loop with branch statements any day of the week, but I am trusting the implementations of the mapping and filtering and reducing functions. Of course, for any non-trivial algorithm one is still passing a function into the map/filter/reduce anyway so I can still reason about those smaller stateful sections without worrying about the map/filter/reduce piping.

Perhaps I've never worked in a truly pure functional style so I may not be dealing with the mountains of abstractions others seem to complain about
Except white horses. White horses are not horses at all (at least according to Gongsun Long)
You can’t sell work/software made by other people, it’s not legal (and it’s stupid). In example, form the Winamp website TOS:

> 1.1. The contents, lay-out, source code, structure and any and all other elements of www.winamp.com are © 2021 by Winamp, its affiliates, successors, parents, subsidiaries, assigns and licensors (hereinafter referred to as “Winamp”). All rights are reserved.

>1.2. Without limitation, no parts thereof may be reproduced, communicated, altered and/or used in any way whatsoever without the prior and express approval of Winamp
It's not proven in a vacuum: it's proven under the assumption that it's true for N-1. E.g. if we assume that all groups of 2 horses are the same color, we can prove that all groups of 3 horses are by labelling them A, B, C. A and B are the same color because they are a group of 2; B and C are the same color because they are also a group of 2; A and C are the same color transitively (or because they are also a group of 2). Therefore A, B, and C are the same color. This step is logically sound, and you can do this for any N greater than three.

The problem is that this fails when tried for N=2, because then each sub-group can have only one horse in it. We already know that each horse is the same color as itself, so we don't actually reveal any new information by doing this. Since it doesn't work for N=2, the base assumption used for the N=3 case is incorrect.
> They did it the normal way, individual private notification.

Over a messaging app? How is that normal or better?

> They didn't hire anyone on a one-way broadcast-only video conference with 900 attendees.

CEO doesn't hire anyone individually either. So, is it better to push this layoff responsibility to the hiring manager?

I have no idea why hiring and firing need to be symmetrical.

When I was hired, I was congrat'ed by multiple people through personal email. Should we keep that symmetry as well? Or should we be arbitrarily selective?