skysight-inc/HackerNews huggingface dataset:
What merit does it have? Beyond - "company's marketing isn't accurate." We could do this for any company, yet we don't have countless snarky articles about their marketing departments.

I can't imagine a company doing anything that will occupy my time as much as Apple lives rent free in the minds of some of these people on here.
> If you're getting 5% back, then the item was almost certainly marked up more than 5%.

How though? The 5% back is not a rebate coming from the merchant, it's coming from the card issuer. Don't they (generally -- barring special agreements for specific cards) get the same amount of money regardless of what cards people use?
You're also held hostage by their infrastructure too. I'm not saying it's bad cause I don't know, but if something went out, do you really trust them to get things back online in a reasonable amount of time?
Most of the severe cases are old people, most old people are vitamin d deficient. This could be a whole non finding.
On top of that the context is people taking vitamin D supplements worried about the supply chain. While im sure there are some people who supplement unnecessarily, the distribution of people who take vitamin D is definitely focused northwards.

Statements can be technically correct out of context while still being effectively wrong or misleading in context. It is hardly a nitpick.

If you had some evidence that the majority of people who take vitamin D supplements could get it from the environment, then I would agree its a nitpick. But that's very different than the majority of people in general.
My kids fidget absentmindedly with the charger cords while they use their phones, so at this point we buy them in packs of ten off Amazon.
Fantastic. China is illegally fishing in several places around the world. Without pushback they will continue to do so.
This is just what I needed. I just bought an electric keyboard last week and have practiced with Melodics every day since (the free version, so 5 minutes every day :P), but I have some issues with things like how it just keeps going if you mess up or are too slow and the fact that it doesn't use sheet music or let you use your own music (granted, I haven't looked into the subscription version's features yet).

I just opened this and spent 20 minutes trying to play 4 bars I wrote a year ago in MuseScore. I am definitely a noob at playing, hahaha. I always figured being able to play in real-time isn't of much value, but I'd like to be able to improvise and use a piano to enter notes when composing at least, and then I saw some of Lionel Yu's videos and bought a keyboard... (https://www.youtube.com/c/LionelYuPiano/videos)

I definitely appreciate the auto-replay, simultaneous note count limit, waiting until you hit a key (both at the start and mid-song if you're slow), and scoring.
Well I've read things that suggest eating covid won't hurt you. May be similar to HIV where the official advice is not to slosh it around your mouth endlessly but either spit or swallow immediately?
I always do destructive SQL commands in two steps: first run a select using the WHERE clause you intend to use and verify which records will be affected, then hit the up arrow and edit the beginning of the query leaving the WHERE intact.

I also like adding redundant conditions to the WHERE so a typo in any single one of them won't sink me.
SpaceX begins public beta testing of Starlink constellation at $99 a month
>Even a simple ability to swap your phone's battery for a new one would reduce a lot of emissions.

And add to that every other manufacturer that thinks they have to copy what Apple does (looking at you Samsung), and also removes ability to swap batteries and other things we used to be able to do every easily.
Depends on the State. In some full nude is not allowed. Others it’s only allowed if alcohol isn’t served. Others not at all.
That one is so univerally bad, even skipping through it was painful.

"David Hofstede, author of What Were They Thinking?: The 100 Dumbest Events in Television History, ranked the holiday special at number one, calling it "the worst two hours of television ever". https://en.wikipedia.org/wiki/Star_Wars_Holiday_Special

I'm looking forward to the LEGO one this year. "An animated sequel set after the events of the Star Wars sequel trilogy, titled the LEGO Star Wars Holiday Special, will be released on Disney+ in November 2020."
I assume the elderly would have higher rates of deficiency due to being indoors more, and that 45% number is also out of date during the pandemic when a lot of people are staying home.
Similar story, except we were using an NFS appliance that took hourly snapshots. As soon as we figured out what was happening, we had the storage team save off the latest snapshot. It was 1TB of data (a lot for the time) and took a week for us to restore.
https://addons.mozilla.org/en-US/firefox/addon/old-reddit-re...

Works fine for me. But I also run it in a dedicated full-fat profile I use only for Reddit, because I'm paranoid.
Learning mathematics had been incredibly useful to me. If that hasn't been the case for you, I'm sorry.

Your claim that HoTT is "broadly regarded as an exciting and important new area of mathematics" is simply wrong. I suggest talking to a wider variety of mathematicians.

In particular, concerning "well-regarded and prominent mathematicians," Steve Simpson and Harvey Friedman are on record on the Foundations of Mathematics mailing list saying, essentially, that HoTT is a waste of time [0]. The other set theory experts I know agree with them but haven't said so publicly. My impression is that this is a fairly common view in the set theory and foundations community.

Further, Jacob Lurie, who is perhaps the most talented mathematician currently working in higher category theory, has also written he doesn't think highly of it [1].

[0] I can provide links if it you want, but if you search the archive these arguments are easy to find.

[1] View the comments on this blog post: https://mathematicswithoutapologies.wordpress.com/2015/05/13...
Web Audio Visualizations
> you can get 3-5% back on anything with the right card. That's around $4k/year if you spend $100k

How in the world would a tpical person spend that much? That's over $8000/month with credit cards!

Also... aren't your 5% cards capped at like $1500 spend per quarter ($500/month)?

Do you use cash back cards in your own life, and does your usage even vaguely match the numbers you suggested here?
One pilot study found that a big Vitamin D dose would cut the hospital length in half for people on ventilators.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4939707/

The control group spent on average 36 days in the hospital, the group getting a single 500,000 IU dose of vitamin D3 spent an average of 18 days in the hospital.

This study isn't correlation, it was a double blind randomized control trial. However, it was a small pilot study and more research is needed.
Lucky you! As quickly as I move to a country and get my gym membership settled, the governments shut down the gyms. First Mexico and then France grrr
Those definitions are fiction not founded by any law on the book. Nor in any jurisprudence - they are bullshit propaganda and are like citing "admirality law" by a sovereign citizen - proof of being actively incredibly wrong.

The courts have already ruled that even with right of way the government has no right to content standards on cable - now it magically is going to apply to non-excluding websites? Utter nonsense.
But linux filename basically allows any byte sequence except EOF and /, so I think it is "make" fault to not being able to support it. Other proper build tools support it correctly.
Every company ever has inconsistent or BS marketing. You can almost roll your eyes at the Exxon anti-global warming ads.

So what? Why do we focus so much on Apple?
Reddit is now bigger than twitter and is still growing. Their new platform is constantly pushing advertisements / forcing the app/signups which likely drives their profits up even higher.
Can’t they just add it to the tap water? At least in high risk areas temporarily.

Ugly solution but so is running out of ICU beds
Dont ever listen to what people think you should be doing. Just because other people think you work too hard or because they judge you for being too nerdy or w/e the case might be. Who cares (of course they do but... thats a reflection of them), If you want to code in your break then code in your break, and own it. Let them go around taking shrooms or playing world of warcraft, or watch netflix. That's fun for them, you do you. And if anyone asks why you dont know what its like to be on acid then just press ignore/delete and move on. They have no right to condescend because they like shrooming-off more than you do.
Go ask Twitch users.
Not a long time ago Microsoft itself tried to take down the wgetpro[1] project precisely for the same reasons.

[1] http://wgetpro.sourceforge.net/
The backend is rust I believe. But at the end of the day I've used figma and the UI isn't anywhere near as responsive as a native app. You might not care about this but some people do.
Just going to leave this here:
https://thepiratebay10.org/torrent/19126495/Its.the.Great.Pu...
There's a really good book describing this phenomenon called Behind Human Error. It speaks of "first stories" and "second stories" and how in analysis of incidents, it is all too common to stop at the first story and chalk it up to human error, when the system itself allowed it to take place.
Net Neutrality Repeal Reconfirmed via New Vote
i suppose we'll get to see by 2024 if disney drafts yet another legislative extension to keep mickey out of public domain. may as well just come out and pass a law that disney owns all human culture – present past and future. now pay up.
Compare it to plain vim and you'll be shocked at the responsiveness difference. I even find the jetbrains IDEs kinda laggy.
This really just feels like the author isn't a fan of change. Reminds me of how everyone has complained for about two weeks after each change of Apple's icon style, then realized the new ones are fine, and it just doesn't matter that much. In two weeks, nobody will notice these new icons either.
There’s a feedback loop here. When many companies scale up compensation for areas they are contributing to higher expenses in the area. I think in the long run this will certainly have the effect of making desirability a key factor in how expensive an area is, but without the feedback mechanisms causing costs to get out of control as companies increase pay more and more to keep up with rising costs resulting from increased pay (mostly realized as increased rents, driving up the costs of all local services, employee rents, and office rent).
That isn't what that paper says. From "limitations of the evidence":

>All 5 studies were assessed as being at high risk of bias

What is not here is any study controlling for the factors you mention and finding a zero correlation as you claim.

The conclusion, which I assume you are referring to, states:

>There is no evidence to support taking vitamin D supplements to specifically prevent or treat COVID-19. However, all people should continue to follow UK Government advice on daily vitamin D supplementation to maintain bone and muscle health during the COVID-19 pandemic.

Since vitamin D supplements are already advised for the general population, it is extremely unlikely they would be recommended for specifically COVID-19 without very high-quality evidence. Unless dosing recommendations can be given with good reason to believe those recommendations would be beneficial, the only effect that could come of a positive conclusion is risk compensation, i.e. increased risky behaviors, which is bad.
It does not have to be. However, animations greatly contribute to UX, and are an interesting cross-cutting concern to implement (with any tech).

Remember that 44K is unminified, unoptimized, with considerable duplication, and includes HTML, CSS, JS, and SVG icons.
This method is great. I use it all the time. But one of these does not feel like the others... (cough "Build a program → Code a function" cough).

All the others could be done in the day, except for the vegetable one which is too abstract. And their solution could be done in 2 minutes. The coding one on the other hand... impossible to do in a day and also writing code is imo almost impossible to write in small chunks of time. Brainstorming a feature,thinking about a problem for 2 minutes, deleting/cleaning code, or even just opening your IDE and checking where you're at and planning the next step, sure. But actual coding, would not recommend. I require at least 30m+, preferably 60m+ to get anything reasonable done.
There are plenty of neurotypical developers who can't communicate clearly or effectively either; I've sat through enough presentations and design meetings over the years to attest to that. Therefore, it's not a good disqualifying criterion.

While of course there are limits, why turn away a good engineer when all it costs you is a bit of patience and accommodation? It's not like talented people are easy to find.
Really? Did you require any non-engineers to be in the loop before launching the features? Were these public facing changes?
I think death is at the heart of what makes life worth it and enjoyable. Imagine, at the extreme, we find a cure for death. What happens then? Overpopulation at the simplest. I can see how this can quickly lead to life being worse than death if played out to the extreme.
The end result will be a huge equalization in pay. People in low cost of living areas will become a lot richer and those in high cost of living places will become a lot poorer.

Likely those high cost of living places will quickly drop in cost as most people spread out.
The node size numbers have been made up for decades. Even if process shrinks bottom out two or three node shrinks from now there will still be improvements in process, materials, thermals, and packaging to allow things like greater z-axis stacking. And there's a ton of room for targeted improvement in things like vector instructions.

That's not to say that there isn't an enormous amount of improvement available in software. Projects like simdjson prove that there's a 2x or more improvement available for many high-performance use cases by migrating to vector instructions.

https://github.com/simdjson/simdjson
Proctoring Software Exists for Valid Reasons: A Retort to Teen Vogue
This will go well with the Daringfireball crowd but that’s about it.

I do like native apps and would prefer them all things being equal. But all things rarely are equal.

That’s why I use VSCode instead of Sublime. And Gmail instead of Apple Mail.

Instead of justifying why native apps are better they should really just explain why Sketch is better. None of the reasons they gave are compelling.
I don't know anything about this but I am incredibly skeptical that there's a magic silver-bullet solution with no side effects. I would imagine that there are a lot of factors that lead to this working in Tokyo.
Why do you think that an end to death is close but not close enough for the average aged HN reader
I may be wrong but I do have doubt on the effectiveness of the demo shown.
- the clip is squared, with a man and two other body parts --> the system get automatically rid of the two body parts... Really ?
A qualifier, that is poorly written is not a “get out of jail free card” for being wrong.
Those 8 comments are there to teach you a lesson. I hope you are paying attention.
As someone with US and non-US teams, I will say that employment law for engineers is relatively uniform within the US and the customs above that are also relatively uniform and “what we’re used to [as US employees]” so it’s just practically easier to continue to comply with all local laws by staying in the US.
I couldn't agree more. I live in Thailand. It's good we don't have daylight saving time. But I can't wait until we get rid of the other.
Your link does not work for me. Maybe there's a bug with Twitter, or my browser is blocking too many trackers?

I want to clarify that I think formalizing mathematics is interesting, too! It's just entirely unclear to me that HoTT has any special advantages here (see link from my original post).
There's a general death of innovation in Europe. Blame the high taxes, endless bureaucracy and regulation, no single language, welfare state, and mass immigration.
Can you provide more detail? That sounds interesting.
>The whole move to streaming is going to not live up to it's promise.

It's already ruined.

Gave it a chance. Forked over more and more for subscriptions and still the content fragmented. Cancelled everything and went back to torrents and media servers. A VPN connection costs me less per year than I was paying in subscriptions per month.

Best of luck Hollywood, this time it's for life.
If I recall correctly, Figma's entire UI is C++ compiled down to webassembly.
In large dense American cities there are risks with even going outside on a walk. There are stories of people who didn’t leave their homes except on walks but caught COVID-19. There was a NYT columnist who got it and hadn’t done anything except go on walks in NYC. That seems statistically odd to me, because there can’t be that many NYT columnists.

Consider that to go outside, many in a large city must leave their flat, walk down a shared hallway, walk past other people’s front doors, use an elevator, etc.

There’s also a lot of people on the sidewalk, many without masks, who will walk right past you, often talking loudly on a cell phone. It’s often not possible to avoid walking close to these people due to small sidewalks and busy city streets.

Obviously the risk is lower than other activities but it’s not the same as going outside in the suburbs or driving somewhere. In my city, on a 40 minute walk I pass several hundred people. In my building here, none of the other residents wear masks and to enter and exit I must walk past their front doors.

So I would say it’s quite safe. But it’s not quite as safe in big, dense American city as in the suburbs.
I disagree and think the USB-C connector is better designed.

Exposing electrical contacts to the environment like on the Lightning connector is bad for several reasons, including increased risk of static electricity damage and wear on the exposed electrical contacts. Apple has gone to great lengths to reduce or eliminate the static electricity risk by integrating a special IC into the cable. The contact wear issue has not been addressed by them. Many of the cables I have show signs of eroded contacts and I think that is the main reason why some cables of mine have failed.

The USB-C connector surrounds the contacts with a mechanical shield that protects them from fingers or anything else. This is a standard connector design that has been used on pretty much every connector. It is boring, but it works.

The Lightning is great engineering, but is ultimately let down by the radical design IMHO.

BTW, I am also an electrical engineer that has designed MFI accessories and uses iPhones.
Is there any evidence that this piece politically motivated? Like is the guy a Trump donor or a Biden donor or something?
Google, at least, has a thing that is supposed to prevent widespread disruption at the machine level, called the "Safe Removal Service"[1]. This is a good idea that in practice isn't perfect. If you write a tool that does not consult SRS, or your service doesn't declare a SRS policy, there can be surprises.

A particular outage that I will never forget took out Gmail delivery worldwide in an instant, because the change was not expected to be disruptive and therefore did not integrate with SRS. As it turned out the change disabled the machines where it was applied, and the process of selecting a subset of machines to canary the change was not independent of the way in which Gmail assigns services to machines, so in the space of a few seconds they created a global outage.

https://twitter.com/bgrant0607/status/1134536670504554496
Who pays for this? Is it the British tax payer?
Wow Thank You! I've been looking for the Pascal compiler book for a long time!
When is no-code useful?
If tech was actually paying enough to raise the cost of living significantly over the entire country than people would flood to it lowering the pay enough that this was not an issue.
No way, it's already lived up to it's promise! I can't even watch cable any more, it's 8 minutes of programming followed by 5 minutes of commercials. Why pay to watch advertisements?
I think Vitamin D is fat-soluable, not water-soluable
Does Reddit have any non-us staff? I thought they were focused pretty tightly on their SF office.

As a foreigner myself I'd love all companies be open to hiring non-americans, but going from working within the employment laws of one jurisdiction to 150+ countries is not necessarily a good use of resources for a company.
Do you mean to say they had high credibility a couple years ago?
Outline is really good, and can be self-hosted.

https://www.getoutline.com/
Tell me - what is the difference between algorithims and salespeople taking advantage of evolved human behavior to drive sales? Is a real estate agent who has baking chocolate chip cookies?
Is the canned bread smell of subway not the same thing?
1/3 of the developers I know were born in New England.

It’s probably not hard to guess the confounding variable.
FreeBSD 12.2-Release Release Notes
The laws of thermodynamics apply - calories in calories out.

The real difficulty though, is that for some, to be in a calorie deficit is intolerably difficult.

So while I agree with your hypothesis, and also believe that the cure is "simple" I think it's important to not forget the individual in all of this.

A huge deal of it is behavioural and educational too - a lot of people think that because they spray olive oil on to their pan, instead of drizzle it, it has zero calories!
> "Having sat in on some hiring committee meetings I can see how little weight is given the algorithm if the candidate has a good reference or highly relevant experience."

I've sat in on a fair number of hiring committee meetings over the years and have only seen the opposite; poor performance on the testing is a disqualifier no matter how good their references or credentials are. Even the FAANGs make hiring mistakes so credentials don't mean much.
Great insight and data. Adapting to a field like SWE just gets harder as you age.
Vitamin D is a fat-soluble vitamin, and is not water-soluble.
Less blockable, more plausibly deniable:

magnet:?xt=urn:btih:C9613136C9E5BA4A8094E1CBA3B7A3E15E785F51

P.S. Anyone know of a good IP blocklist that is actively maintained?
There is a seven day free trial for Apple TV.
This is all true, but VSCode also had a lot of money thrown at it in terms of Microsoft paying multiple teams of developers.

That is what nova couldn’t compete with.
how much reliability of an infrastructure does an an individual engineer need?
3080 use GDDR6x. Yes, the 20gb 3080 is cancelled, but there is a new rumor about 12gb 3080ti. So maybe GDDR6x scarcity is the culprit, not Samsung's process.
Learning to Code: An Emotional Lifecycle
My day job is ASIC design and we do some prototyping on FPGAs, so the exact same RTL is used as an input. We always benchmark power, performance, etc between ASIC and FPGA, so this is based on some real deigns. A 5x reduction in power is fair for most of what I've seen and the FPGA is actually better at achieving FMAX than you'd expect - control paths do need a lot more pipelining than ASIC, but compute intensive (DSP) datapaths are pretty good with a few tweaks. I think sometimes people throw code at them and get 100 MHz and say we'll FPGAs are slow so it's expected, but in my experience with a little tuning you can get most datapaths to run at 500MHz. You do pay the power penalty vs dedicated ASIC, but the performance is very good.