skysight-inc/HackerNews huggingface dataset:
Yes. The 'paradigms' have seriously diminishing marginal returns.

Super basic imperative typed language with maybe some kind of nice way of handling nulls and that doesn't use pointers ... is most of what we need.

Everything is very expensive optimization.
Sweden is a good example, as are state based comparisons across the US. Especially when you look at timing of things like mask mandates in a certain area, where the case trajectory before and after mask mandates in one area looks no different. Especially when compared against differently timed mask mandates in other areas that tracked a near exact case curve.
That is an awful lot of trust to place in a 3rd party with a profit motive. Look at all the services that have been dropped suddenly across the years.

Compiles happen in less than a second, why would you need to push that work out to the cloud?
Ask HN: Any tips on getting relocation expenses? (NYC)
I've taken some time off of work out of NYC and don't have an apartment there now, my expenses have been much lower. I'd like to work in NYC on-site, but don't really have enough cash to pay deposit before starting to earn a paycheck. Do you have any tips on getting a package that includes relocation expenses (or an apartment)? Is it possible in general? I am a technical manager who worked as a startup founder and am returning to full-time work for family reasons.
I definitely waste a ton of time on the internet. Not Facebook, but online nonetheless. It's very easy to justify, as reading about interesting things is not exactly wasted time, but hours can go by without a lot of awareness of their passing.

I've given serious thought to not having internet at home, because I grew up and spent nearly half my adult life without it, and it sure sure seems that I got more done in those days.
YouTube was an outlier in keeping the thumbs-down for as long as it did, as pretty much every other platform has long since gone to a more "positive" direction.
No, rope is correct. Wire rope, more precisely.

https://en.wikipedia.org/wiki/Wire_rope
Wild stab in the dark here, but for some applications it's possible you may need assignments too.
Tbh I wouldn't worry much about toxicity compared to the shit in GSR. Anecdotally I've never tried it but some people have tried something vegetable and it went sticky anyway. Cleaning guns regularly is enough of a pain in the ass already without maybe having to before going out shooting. I'd also never use it in a CCW or something ready for home defense because of that risk.
... but they and their excretions are fully biodegradable.
Stihl makes soy oil based chain oil - you can get it at mcguckin in boulder, so it must be relatively available. I bought some to try it and its fine. Unlike other uses for lubrication - the relatively short life of chain oil (most is expelled quickly) means that oxidative drying isn't really an issue.
If the standards are adhered to.
Confirmed: check the MSDS sheet.
Pay-to-unlock features, Tesla-style, gain traction in motorcycling
> If there’s no way for digital artists to support themselves, then they’ll cease to exist.

They'll have day jobs and create art on the weekends and evenings. Alternately, they'll be sponsored through some full-time fellowship to create art.
Oxidized vegetable oil is the most disgustingly tacky substance that I know. It's like a cross between rubber, glue, and grease. It is very resistant to removal with "intuitive" methods (but using un-oxidized oil and heat tends to work) and it doesn't lubricate, it sticks. It can't possibly be good for lubrication, I'd say. Unless you can somehow control the process so that it oxidizes just a little.
That's not how vegetable oils gum, they go sticky in a way that's not like grease. Hard to explain but if you feel them both there's a huge difference. Grease will stick but isn't stick-y in the same way if that makes sense.
I view map/filter as better abstractions than for loops, and do not consider them to be sophisticated language constructs. They correlate with descriptions of a program’s goals much more naturally than for loops do: get the name of each user, remove everyone under 21, only show accounts with positive balances, etc. Reduce is more arguable, but I think it also applies: show the total amount of money in all of this user’s accounts.

“If” however seems pretty fundamental.
WebAuthn isn't cryptographic. The root of your identity isn't a public key.
They excavated under the base, and jacked up the building.
No, if you're looking for strict FOSS ideology, they're probably not what you want ;-) It's all enterprise grade: Proprietary hardware (they have some ASIC for security processing, probably helped with GPs issues) and you only get software updates as long as you're on a support contract.

OTOH I know a lot of people who are pretty happy with them, but that might relate to the fact that I recently started at a company selling them (among other brands). What impressed me most was the well executed "single pane of glass" integration of the first deployment I saw; all switches could be easily managed from the FortiGate web interface. Compared to that the Unifi Manager feels like a chaotic hack job from the 90s.

(To be fair, at home I still use Unifi APs and the switches are based on bang-for-buck: The 8P GBe 2P SFP+ Mikrotik in the study and the 24P GBe PoE 4P SFP+ Aruba as a "core" in the basement [that is, once it arrives, for now an ancient Netgear switch has core switching duty], Firewall is a loaned FortiGate, which I will probably replace with an OPNSense when I have to return it -- I'd go all FortiNet if the basement switch alone wouldn't cost about as much as my PC, though).
Your post heavily implies anti aging beeing futile. Likening it to the search of a perpetual motion machine. I fail to see how this is not heavily suggesting a course of a action.
I don't write java, but assuming it has a null coalescing operator you can likely do all that in a single map in a way that is (in my opinion) cleaner and easier to read than both of your examples.
Yes, it is. So is Reddit.

I'm using alternative frontends now like Teddit, Nitter, Fritter, Invidious etc.
I don't think inflicted is much less negative.

Achieved would be my choice.
Because if you don't share salaries, companies can negotiate 1 on 1 with every employee for salary. If their max budget is say 100k and individual employees negotiate in the range of 100k to 50k for the same job, the company saves a lot of money. If employees discuss salaries, the 50k person will discover they're being paid half as much as a colleague for the same job and will demand a raise.
Mindblown by the Hohstock skilift with the topmost mast being suspended in midair by the surrounding mountains. Incredible.

Anyone know how this was architected?
Color-Changing Magnifying Glass Gives Clear View of Invisible Infrared Light
Enployers don't want you to talk about it to enable them to negotiate lower wages for as long as possible.

People don't talk about it even when it's not forbidden because they are worried they will find out they make less or more than others, which may cause frustration or friction between colleagues
Obsolete or repurposed? People studying physics like string theory may be completely wrong, but their skills can still be useful.
Not the only approach that's possible. There's quite a few lifts in France that pull a similar trick, but with only one cable.

They solve the problem by having the bar below the clamp be a flexible section, as the bar approaches the turn, a section a static rails forces the bar to rotate 30-40 deg around the cable, moving the protruding part of the clamp out of the horizontal plane. Then the cable passes around a large diameter wheel, also 30-40 from vertical, to create the turn.

Because both the bar and the wheel are both 30-40 degrees from vertical, the wheel meets the top of clamp, rather than the side, but cable can still make a turn in the horizontal plane. They're a little uncomfortable for the rider, because the bar you holding onto gets jerked left and right, but you make around the bend just fine, and without an elaborate 2 wire system.

I think the Chardonnet ski lift at Val d'Isère is an example of this type of lift, but I can't find any photos of the corner unfortunately.

For chair lifts, the lift at Ski Dubai has turn half way up, and their chairs are permanently clamped to the cable. For going up the chair just goes around the outside of normal wheel. For going down, to passes around an elaborate wheel with cutouts to make space for the chair clamp and bar. The running surface of this wheel is made up of smaller rollers, and there's a big friction break on hub. So a computer watches for incoming chairs, then slows the big wheel down as needed to align the chair with a cut out. You can catch a glimpse of this here (best video I could find)[2].

[2] https://youtu.be/M7ghP4YTk3M?t=204
Rumor dispelled. Thanks!

https://www.concept2.com/files/pdf/us/miscellaneous/MISC_MSD...

The closest thing I could find to mentioning vegetable oil was this thread:

https://umgf.com/three-in-one-oil-substitute-t37605.html

But the claim is without a reference, and the MSDS certainly appears to be the latest word.
Glucose is produced constantly by numerous cells in the body, and that is an essential function - regardless of diet.

> I know of at least one T1 diabetic that is OFF INSULIN on a ketogenic (carnivore) diet.

No, you do not. Fully progressed Type 1 or LADA diabetics need insulin to live or they need a pancreas transplant. There are some other experimental avenues - but they have nothing to do with diet because the key issue with T1DM is autoimmune destruction of the pancreas and insulin is essential.

You clearly do not have beyond a grade school understanding of biology. You may convince others that are similarly ignorant of the basics, but that would not be me.
You explain how the induction step works. That step from n to n + 1 only works for n > 1. But 2 is not a proper base case. 3 is neither. Actually, the only potential base cases are 0 or 1.

So the proper explanation why this argument doesn’t work is that the potential base cases are not covered by the induction step. And not that “the real base case is 2”.
NFT itself doesn't contain any copyrighted material, so it's rather not a derivative work. It's technically a URL with extra steps.

On a technical level NFTs seem to be completely separated from copyright. Even if they weren't, people making them could try to claim it's Fair Use (a transformative work or merely referring to a work).

But it really needs to be tested in court. I wouldn't be surprised if the judgement depended on whether the seller says "buy this artwork" vs "buy this token of an artwork" or details like that.

It also has interesting connection to "link tax" laws. News orgs are lobbying for laws to make linking a some form of copyrightable use, to get Google to pay for linking to news articles. If NFTs linking to copyrighted material get a legal status, it may set a precedent for other types of links.
I was raised Catholic, am now an atheist, but I'd watch this too. I also highly recommend "Jesus of Nazareth". It's a more traditional telling of the New Testament but the cast and performances are truly outstanding.

https://www.amazon.com/Jesus-Nazareth-Robert-Powell/dp/B075B...
>making us have to pay (spend tokens) for everything.

If you have to pay, or someone else has to pay for something (in FOSS it is just done in a more distributed way), why use a massively corrupt and degenerate currency to do it?
People don't need to know each other's salaries, and your employer already publishes your salary history in case another company needs to verify it while negotiating with you (Work Number, InVerify, etc.).
The coolest thing here is the Emoji to English translation, IMO, which builds grammatically-correct sentences from an unlimited number of emojis. Translating english -> emoji -> english makes for some interesting mistranslations.

It's good enough that I'm wondering whether they're drawing off recent english->emoji translations to reverse emojis back to the source material.

Example of Edgar Allan Poe's Tell-Tale Heart:

English:

>True! — nervous — very, very dreadfully nervous I had been and am; but why will you say that I am mad? The disease had sharpened my senses — not destroyed — not dulled them. Above all was the sense of hearing acute. I heard all things in the heaven and in the earth. I heard many things in hell. How, then, am I mad? Hearken! and observe how healthily — how calmly I can tell you the whole story.

(Emoji doesn't display properly on HN or I'd quote it here, but it's encoded into the URL here [1])

Translating the emoji back to english:

>True! — nervous — very , very afraid of a sudden I have; but why will you say that I'm grumpy? crisis has made my senses — not destroyed — not dulled them . Above all the sense of ear acupuncture . I heard all things in heaven and earth . I heard many things in heck . The question , then , I'm grumpy? please! and understand how to consume — how calmly I can tell you the whole story .

[1] https://translate.yandex.com/?lang=emj-en&text=%E2%9D%8C%20%....
Pretty sure dying of old age is a fatal condition if untreated. "Near term" being different depending on your age, but if you're 94 and male, you have a 3 year life expectancy, so pretty dang near term.
It’s mostly a benefit for employers. It reduces the penalty for underpaying people. No one is going to up and quit because they get paid more than people on the team who they perceive as equals (or even if they get paid less than people they clearly perceive as more senior), but they’ll certainly bail if they feel relatively underpaid.

The only thing keeping salaries secret can possibly achieve is paying people less than their peers (in the same company or the same industry).

In other counties salaries (or at least relatively narrow bands) are well known and the world hasn’t ended.

One of the things I was most proud of my time at Second Measure (and this is due to the cofounders) is that we had 11 “levels” for engineers and data scientists and everyone at a given level was compensated (pay and equity) exactly the same. If you figured out the level of someone on the team (and we were transparent about the criteria used for leveling) you could pretty much work out their comp by extrapolating from your own.

World didn’t end. People didn’t quit en mas. Some people left because they felt under compensated. They were wrong; they weren’t as good as they thought and I’m fine they decided to leave. (Some people also left because they got insanely good offers elsewhere and I genuinely congratulated them and wished them well).

Talk about your compensation with your coworkers. Then use that information to demand fair compensation.
From the report: “ The best indicator of disease severity is measured by the in-hospital death rate. There were 10 deaths in the SBAH/TDH cohort in the past two weeks, making up 6.6% of the 166 admissions. Four deaths were in adults aged 26 – 36 and five (5) deaths were in adults over 60. One death was in a child in whom the cause of deaths was unrelated to COVID.”
I don't understand why it's more or less weird to say the base case is wrong vs. the inductive case is wrong. If H(n) is 'all sets of horses of size n contain horses of the same colour', the linked argument seems like

H(1) is true

H(n) => H(n+1) (with a sleight of hand that it's only for n >= 2)

It seems to me like changing either the argument to assert H(2) is true, or the scope of the second statement to include n = 1, would be enough. It seems the fault of both statements equally to not fit with the other, so why is it weirder to say the base case is wrong?
If the {…} includes a break, undefined behavior could well be avoided.
LinkLonk is a novel mechanism to subscribe to RSS feeds and discover content - upvote or submit a link to anything you liked and you will get connected to RSS feeds that posted this content. The more content you upvote from the same feed - the higher other content from that feed will show up in the For You page. This helps you see content from feeds with the highest signal-to-noise ratio first.

In addition to RSS feeds, you connect to other users who upvoted the same content as you. This way other users help highlight great content from feeds you are already connected to and discover other feeds that they are connected to.

To sum up: upvote content => connect to RSS feeds and users => discover great new content => repeat.

This is my hobby project that I am building in my spare time. My stack is: PostgreSQL + Golang server (sqlc, pgx, gorilla/mux) + Angular client + Firebase for auth. It runs on a small VPS instance on OVH that costs ~$12/month. I am planning to run it for years to come and I will be happy to have you as a user.

I did a Show HN for linklonk.com 3 months ago (https://news.ycombinator.com/item?id=28405643), but I think I over complicated the title and the description, as exemplified by this comment I received: https://linklonk.com/item/8281929870071398400?comment=173480.... That’s why I’m reposting it.
> Would it be considered "abuse" if it were people at left-wing rallies? This policy seems highly subjective.

Well then, the road to hell is paved with good intentions and 'anyone' can take advantage of this policy. The more appropriate term would be 'loophole'.
Of course building have foundations. I imagine they built a new foundation at the new location, then lifted the building off the old foundation and slowly moved it to the new one. This is actually a fairly common thing to happen to houses; less so for large buildings, but certainly not rare. I know several people who had their old houses moved onto a new foundation with a basement within the last 15 years. Also, in the 1960s, my grandparents moved an entire garage several miles onto their farm property.

In 2018, the historic Kodak Building 9 in Toronto was moved 200 feet out of the way so a subway station could be built beneath it, then moved back into place on a new foundation above the station. See here for details of how it was done and a timelapse video: http://www.thecrosstown.ca/node/2018
Still, the Mossad is one of the agencies who can keep pace with the CIA when they put their mind to it. Nonetheless, if you're not directly an agent, no sense putting yourself in the middle of a spy war.
> We worked together for the entirety of the three month program. During that time we prototyped... [lists 5 features]

> And so we loosened up and spent three weeks playing around with knowledge search and discovery outside of biomed. We built... [lists 5 more features]

> At that point, lots of postdocs had told us that some of the apps would have saved them months during their PhD, but actual viable customers were only moderately excited. It became clear that this would have to turn into another B2B SaaS specialized tool with a lot of software consulting and ongoing efforts from a sales team ...

It sounds like the authors spent 3-4 months, built a ton of stuff, and despite some traction (like post-docs saying it would save them months of effort) it wasn't high quality enough to sell to real customers. Did the authors really expect to solve such a difficult problem in such a short period of time? It seems a bit premature to declare that "literature review, search and knowledge discovery are just not that useful".
Actually, now that I have explained the argument I realize it has nothing to do with induction. The logic of the argument is unrelated to induction, it's simply about functions that take constant values on some sets and what is required to extend a function to a larger set and conclude that it is constant on the larger set.
Assume (accept without questioning) that it’s a property of the universe that any group of 2 horses are the same color.

Now, say you have a group of 3 horses, A, B, and C. You can use your knowledge about groups of 2 horses here: A and B must be the same color because they are a group of 2 horses. B and C must be the same color for the same reason. So all the horses are the same color.

You can now use the proof for groups of 3 horses to prove the same fact about groups of 4 horses, and so on.

The flawed inductive proof tries to generalize this argument to all groups of n and n+1 horses. That is, assume the property is true for groups of n horses, and show that it logically follows that it’s true for groups of n+1 horses. The structure of the argument is the same as my 2/3 horses example. However, you can’t use an argument like that for any value of n, as it isn’t true for n=1. That is, it’s not true that if every group of 1 horses is the same color (a true fact in nature) then it follows that every pair of horses is the same color.
That’s a boatload of cash. Wonder why they need so much?
> Its very much like learning CLI, except you need to memorize the keys on a GUI medial player.

It's very much like learning to play a piano by the same twisted logic.

> where is the manual for it even?

Here: https://mpv.io/manual/ Linked from straight from the mpv homepage. Also linked from the github page. You can also read it here: https://github.com/mpv-player/mpv/blob/master/DOCS/man/mpv.r... Or you can read the local manpage on your computer using the manpage reader of your choice (I prefer KHelpCenter, but you can use `man` if you like that more...) If you have trouble finding the manpage, then you've definitely taken a wrong turn somewhere and should

> What is the benefit of not having a right click menu

The mpv psuedo-gui is drawn using the libass subtitle rendering library. There are advantages and disadvantages to this. It's cross platform, so the same psuedo-gui code works the same on every platform (unlike the MacOS specific menu code.) It can be modified, extended, replaced or supplemented using Lua or JS user-scripts using the same libass techniques (the psuedo-gui mpv ships with is implemented as a builtin Lua script.) The biggest downsides to this are being limited to doing things subtitles can do (which doesn't include right-click menus) and the fundamental weirdness of using a subtitle library to render a GUI in the first place (personally I think it's endearing, but I acknowledge that it's weird.)

> People who want to memorize keys for their media player? Is that not like a CLI user?

No? Shortcut-focused GUIs and command line interfaces are not the same thing. Incidentally, mpv does have a embedded REPL if you do want to control it using a commandline interface. You can access it by pressing `. It is useful in some scenarios but you'll soon find it's a hell of a lot more convenient to use keyboard shortcuts instead. I virtually never use it except for testing when I'm writing mpv user-scripts.

> but who do you recommend this player to?

Only to people who are able and eager to hack on their media player. Suppose you want to control your media player from another application; vlc can support this with the telnet interface, but it's very limited and poorly documented. mpv's IPC interface is extremely powerful and well documented.
It is possible that they can succeed without such a response. There are examples in history where regions are given the opportunity to secede if they vote to do so and have done so peacefully. There are also examples where regions have been forced to remain within a country. We don’t know that the federal government would necessarily have the will or mandate to use force to keep a state within the union. It depends on the circumstances and political climate.

What is clear is that the Union is fragile and imbalances in governance are unsustainable. The 50 Democratic senators represent far more people than the Republican senators.