skysight-inc/HackerNews huggingface dataset:
> most of these interviews test if you solve a very specific programming problem in under a minute

You’re supposed to be solving it as you go, most of the time while interacting with your interviewer. Certainly not “in under a minute” unless your concept of “leetcode interview” is some kind of rapid-fire “I tell you the problem you describe a sketch of the solution as quickly as possible”.

I will also echo the other commenter’s opinion regarding “CS in Western Europe”. Not only do you have people graduating who can’t build working software, you also have a wide range of skill levels such that some companies want to hire from the top of the distribution and not just “any CS grad who can build software”.
You hit leetcode until you can do mediums in 20 minutes.
Major Plot Holes in “Organized Crime Rings Are Closing Walgreens ” Narrative
You make it sound like you have convincing evidence that is the case. Do you?
Luckily, I'm in the middle of a work-avoidance session, and I found some delicious trivia[0].

'''
Unlike most of the United States, Arizona does not observe daylight saving time (DST), with the exception of the Navajo Nation, which does observe DST. The Hopi Reservation, which is not part of the Navajo Nation but is geographically surrounded by it, also does not observe DST. For this reason, driving the length of Arizona State Route 264 east from Tuba City while DST is in place involves six time zone changes in less than 100 miles (160 km).
'''

[0]: https://en.wikipedia.org/wiki/Time_in_Arizona
> So, if a multi-national bank was acting this way, why would FB be any different?

I don't think this supports the argument.
Yes, but hydrogen-air is already cheaper than that. On large scales it is <$1/kWh and easily cheaper than anything can even theoretically attain.
Woah. Wasn't aware of this. This is pretty worrying.
What corporate paper?

People always bring this up as though they've ever actually proven to hold reserves as they say. Even though it's been repeatedly proven that they DON'T.
> But PDT is unambiguous

PDT might be, but others aren't (e.g., ACT, ADT, AMT, and AST are all ambiguous, and that's just in the As)
you're banning aggregate data now? so like, every business with analytics. may as well ban excel while you're at it.
What is your objection here?
It would give me a leverage and that would be a totally different conversation.

Though I understand that if lawyers want to destroy something they can do it regardless the CLA or anything. It's just the game of who spend more money in court.
Without a 3.5mm and proper dual sim, this thing is useless to me :/
Yeah the lack of options for small devices is really frustrating. I really don't want to switch to iOS but the iPhone Mini is the only serious contender...
> It should be possible because the electrical connection of the batteries to EV drivetrains are relatively simple

While this could be true, I certainly wouldn't assume it to be so. I dunno how integrated the battery pack is to the system - when you press the gas, does the car do things like draw more from some cells and less from others based on their degradation and capacity? Certainly on the charge side of the system it's very integrated, with the charge curve changing as individual cells (or at least modules) age/degrade.
Please God no. I say this as someone with a Surface Laptop running Windows 11 and a Dell laptop running Ubuntu 20.4 sitting in front of me. The windows 11 experience has been great, flawless even. Yes there are some advertisements creeping into it, but they can be turned off, and Ubuntu doesn’t exactly have a clean track record here.

But in terms of the Dell, it is 2021 and I am still having issues with power management on Ubuntu. I will pick up the laptop and it will often be dead despite hibernating, leaving all my work closed and instant on a dream. I’m sorry but how is this still a problem? You can open up old threads on /. from the OS wars of the 2000s and see these same issues brought up. Linux has trouble with external and multiple displays, trouble with power management, trouble with wireless on and on.

And I’m sure someone will comment here about how these things can be fixed with enough elbow grease , but again, it’s 2021 and it’s still an issue. Can these issues really be fixed? Could Microsoft fix it if they take swing at it? Will Linux distros have decent power management by 2040? Honestly can’t say at this point, guessing no.

Moreover, is this something we really want? I mean, people were plenty happy when Chrome dethroned IE, but look at where we are now. The king is dead, long live the king. Having multiple competing kernels is a good thing for everyone IMO. We should actually be rooting for the Windows kernel to stay alive, as it is the underdog at this point in terms of usage and deployment -- aint no Windows machines on Mars (I don't know if that's strictly true actually, I just assume).

EDIT: I am amused that the first three replies are arguments that would have fit right into those old OS wars: MS has the money; hardware vendors are targeting Windows because it's popular; have you tried upgrading? I'm not picking on you folks, these are not bad arguments. These are perfectly valid points. But what I'm saying is that it's been 20 years since I've seen these arguments first made, and they still need to be made. That's a problem.

For instance, yes I've upgraded. It's not fixed. Yes I've tried to troubleshoot it. I can't fix it. Yes MS has a lot of money and power, but it's also been 20 years, so that excuse has worn thin. Yes hardware vendors target Windows, but this is a Dell machine, they targeted Ubuntu.

Why can't the Linux community move the needle on these issues, and if they can't why should we want Windows assimilated into that ecosystem? They have their own kernel that is technologically distinct and in many ways superior (other ways inferior). What do we gain by Windows being Linux? Let them be their own thing.
> It's a big assumption though, yes? Namely, that the accuracy of information, or lack thereof, will somehow be consistent across topic areas?

Yes and no. It's more a method to rule out, not rule in. If a presenter gives bad information about something I know I can't trust them. If a presenter gives good information about something I know, it builds evidence that I can trust them. These two are different. The latter isn't complete trust and still maintains skepticism. At the end of the day, we have to have some trust. But that also doesn't mean absolute.
Throwing and catching are reversible operations, like a regenerative brake in an electric car.

Even if your tech is too crude for a regenerative catcher, at the throwing end you could still finesse the rocket equation with a https://en.wikipedia.org/wiki/Mass_driver

See also https://en.wikipedia.org/wiki/Skyhook_(structure)
I dont know if prospective escorts should expect the same 1200$/hr as this person, this sounds very high.
Plane-Based Geometric Algebra Tutorial (Sibgrapi 2021)
TAI is not a timezone.
Debating F# for OSS project I'm about to start but the asp.net C# with blazor story(though I need support for loading blazor code at runtime for plugins and can't get a straight answer on that) is very compelling.

As to Fable.. I would want to use it on Vuejs perhaps if I can't do blazor, but also with something like mobx and NOT Elmish. I despise redux and it just looks gross. I want the Mobx "magic" for this boring view update stuff.
I think it's partly that it is easy, especially for technical people, to get hung up on details. And there is a good reason for this. It is often the case, especially with very technical topics, that the use of analogies can actually hinder understanding, because of the tendency to take the analogy too far[1]. Usually you just have to communicate a bit more on what the scope of the analogy is, and then it will make sense.

There's also a subjective element in terms of what analog will be salient. Using the phrase "glass jaw" isn't going to have the same effect for someone who first thinks of Pyrex or bullet-proof glass.

> Yes, you’re right, they’re not the same! If what you compared were exactly the same in every way, they would be the same thing!

LOL! I've had that conversation almost word-for-word.

[1]https://byorgey.wordpress.com/2009/01/12/abstraction-intuiti...
I believe that the auto industry had an aim for “green manufacturing” by 2000. The idea was to build cars such that a car could be taken apart as easily as it was put together on the assembly line (no crushing or inceneration, in other words), this would enable easy recapturing of recyclable components. But apparently this was more a pipe dream than reality as far as I can tell.
That's a very good point, which I had known but forgot, although I'm not quite sure how good a defence it is here it's certainly a lot trickier than the "badge cloning" scenarios where it could happen entirely passively.

The key you need is basically the bottom row of the MRZ in your passport, the way a real system does this is to look at the photo page in your password, read the MRZ from it and use that to unlock the NFC chip. This feels intuitively reasonable since you either handed over the passport for inspection, or you showed the photo and identity page to an inspector, either of which reveals the same facts as the chip (by default).

So, we're not talking high entropy keys here. But, this is a real practical barrier compared to the badge cloning. It probably means, "Brush past somebody in a queue to clone their passport" is not in fact practical. On the other hand, if you ever have legitimate access you have enduring credentials, so that's not great.
The Ultimate Guide to Smartphone Privacy
Yeah but have you ever worn a hearing aid? My wife has a very expensive and up to date one and there is so much white noise. She can play music on it but can't hear well enough in that ear to get any use out of that. I just don't feel like they will ever overlap that much since they have to cater to people who are quite deaf.
Unfortunately some OEM's have decided that structural batteries are the way of the future. Real difficult replace something that's a integral structural member of the car
The round-trip efficiency for iron-air is going to be worse or the same as hydrogen-air. They are both the same idea but iron-air is much less mature.

The other point is that hydrogen electrolysis and storage is cheap and in fact extremely so. In large facilities it is <$1/kWh and is basically unrivallable by anything else.
Yeah, if you’re old enough to consider Microsoft doing them in the 90s a recent fad, sure.
How do you know when something is too loud without measuring it? If your answer is "ringing ears", you've already incurred at least some hearing damage.

Do you have the tools to measure how loud your headphones are? I don't. And so I keep them as low as I can.

Is there a limiter in amplifying headphones to keep them from going above a certain threshold (like 80Db)?
> You can't compile if the schema changes without you knowing about it.

There are those who would argue that making an incompatibility between the database schema and the code that interacts with it a compile-time error instead of a run-time error is a huge win for software quality.

I suppose there are situations where you simply can't have access to a database that mimics the structure of the production database during development. In which case, the SQL provider is definitely not the right tool for the job. But it might be worth looking into ways to change how you do things in order to make it the right tool for the job. A SQL database with an unpredictable schema makes me much more nervous.
Is there a way to short tether without either significant counterparty risk or absurd interest rates? Looking at Kraken, if I'm reading the chart correctly, it would cost 0.01% / 4 hours to short tether, works out to be a positive-sum bet if you think there's more than a 20% / year chance that tether will go to zero, and you think the counterparty risk is minimal.

However, I'm not sure how likely Kraken is to take the money and run in the event that tether collapses and I have a short position. It also looks like you can do [mumble mumble borrow tether on Aave collateralized by other crypto somehow] which currently costs about a 12% / year, but if I'm understanding correctly that cost is not fixed and would likely go up significantly if tether looked likely to crash.

Can someone who knows more about the topic confirm whether the cost is actually between 12 and 20% per year and the counterparty risk is minimal, and whether or not there are non-obvious footguns with either of the above approaches to shorting tether?
> everyone already has a pretty uniform idea of what a "number" means in everyday life

Well, that's true, but that common notion is wrong. So if that is what you are appealing to then you have different problems. For example, on the common notion of number, there is no number whose square is negative one. (And indeed mathematicians got hung up on that for centuries before they figure out that they were wrong!)
I just did a search for white person and 50% of the results are black people. I don't know what this means, but it seems odd.
"it’s also unclear why many routine checks couldn’t just be done by a family doctor."

Even though it's probably not that complicated, it's probably beyond the scope of a regular doctor to do proper checks - and - it's probably more expensive than getting your eyes checked by an optometrist, which is usually pretty cheap.

In fact, the optometrist model i.e. regulated specialization for something that we don't need very expensive doctors for, is probably a good model for hearing. If there's something more complicated, then they refer you to the ophthalmologist etc..

We should be trying to do this with everything i.e. get people into 3 year specialization programs which make basic health things affordable, and leave more complex cases to MDs.
> It's typically quite a surprise when we start asking about the activities of companies that the other party believes are well hidden.

Also, if you do tech DD - most techies are happy to share details that unknowingly might expose because they tend to be less business savvy. CEO/CFO's on the other hand...
That is ridiculous, I mean cookies are data. You would make it be illegal to access any website that isn't hosted in your state.
Let's say Hindenburg gathers definitive proof that Tether is a scam. Tether (and crypto generally) will have an enormous crash. What is the money making position they take in all of this? Short crypto exchanges? Assume the fallout spreads to the wider market?
The thing is, the top 10% tend to vote with the top 1% and for the same reasons.
I believe it is a portmanteau of "F#" and "Babel" the latter being a common framework for es6+ javascript compilation [1].

[1] https://babeljs.io/
There's an article on here comparing 18F and GDS approach

https://gds.blog.gov.uk/2015/07/29/same-but-different-a-comm...
So if a study were done on whether humans could fly (without planes/gliders), there'd be 5% of studies finding that people can indeed fly, and publish that as real science?
Ah, it is fun to be belligerent on the Internet. But I shall answer in good faith.

I disagree with… well, what could I possibly be disagreeing with except the primary thesis of the comment to which I was replying, namely that mathematics is solely symbolic reasoning. More precisely, "Math is the act of inventing sets of rules for manipulating symbols that produce interesting or useful results, or exploring the behavior of sets of rules invented by others.".

I believe I have demonstrated both with analogies and specific examples what descriptions you were mistaking for the things themselves. I believe you are blinded by the fact that we communicate about maths using well-defined formalisms (drawings of graphs, logical formulae, definitions, theorems), and are missing the fact that we don't necessarily think in those formalisms; and I assert that thinking about the objects referred to by those formalisms is still performing mathematics.

In fact I believe it is you who is claiming the authority over what the natural numbers "really are", because you assert that one cannot think about the natural numbers without adhering to formalisms! I gave both an informal notion and one possible casting of that informality into a formal system. But my point stands precisely as stated if you simply change "what they really are" to "a more general way of thinking of them, outside the ordinals formalism"; you have certainly done an excellent job of quibbling away the actual points. I did assert clumsily that I had the one true way of thinking about the natural numbers, and I shouldn't have done so; my argument certainly doesn't rely on that assertion.
> People buying a device doesn't mean they liked literally every aspect of the device and have no complaints about any aspect of it.

10 people complaining online doesn’t mean that all the millions of purchasers dislike it too.
https://en.wikipedia.org/wiki/List_of_eponymous_laws

My favourite is Stein's Law (heavily paraphrased): "if something cannot go on, it will stop".

(Stein was a trade economist, talking about trade imbalances. But the law generalises nicely.)
It's called unification and exists in many languages, Prolog is a well known one. CUE is in the logical language family. It uses Typed Feature Structures which originated in NLP before deep neural networks became capable.

It is specifically not inheritance where overrides are allowed.
Sure, you get "paid", but in reality you're still out money because you had to put down more than you got paid as collateral. That collateral can disappear.
look at this garbage syntax,

let readFilesTask (path1, path2) =
async {
let! bytes1 = File.ReadAllBytesAsync(path1) |> Async.AwaitTask
let! bytes2 = File.ReadAllBytesAsync(path2) |> Async.AwaitTask
return Array.append bytes1 bytes2
} |> Async.StartAsTask

async await.. so ugly. I have a heard time getting excited at this "state of the art" when parallel processing in Erlang is so ubiquitous and native.
The “script used to control compilation/installation” needs to actually work. If it can't work without a certificate, then it doesn't work without a certificate.
The impact of an improper prescription - headaches, eyestrain, creating lazy eyes - are far worse than buying pants which are too big.
The things that makes it work good as a hearing aid are the microphones and other Pro-only features though, so the non-Pro can't be used.
No opinion on Purina, but it's shocking to me how widely understood it is that medical professionals are bought and sold, and nobody seems concerned about this or worried about whether it violates professional ethics standards.

Every dentist I've ever been to has given me an Oral-B toothbrush at the end of my visit. Oral-B gives free stuff to dentists with the understanding that when they give it to their patients, it will have the connotation of an endorsement and the patients will go on to buy these things themselves.

I remember as a kid our family doctor would give my mother little samples of things that various pharmaceuticals had given him. Can't recall what they were, some kind of herbal remedy or naturopathic thing probably.
Why exactly would you study math from 65 years ago that isn't relevant today as determined by the community itself?
>Fifty years ago, soda was generally sold in returnable glass bottles

It still is in India (at least sometimes).
I suspect rising labour costs killed this industry, though. Why take on a logistical challenge you don't have to?
> Having lived in Korea and visited Japan, ubiquitous vending machines is an absolute game-changer

Having lived in Japan, I found the ubiquitous vending machines to be neat (and very photogenic), but I didn't use them more than once or twice a year. If I wanted canned coffee as a (wretched) backup if I slept in, I had a few bought from the super for 39Y a can rather than the machine at 100Y. When skiing, I opted for the (much tastier) 550Y soba from the shop rather than the 150Y corn potage from the vending machine.

Cold drinks when checking out tourist stuff in the hot summer was the key use I got from them. And they weren't as absurdly overpriced as north american vending machines (excluding the ones outside walmart and equivalent)
Almost none of the digital issues seem to be around transacting of cash. That part seems solved (via Cashapp or BTC). All pain points stem around one party wanting to hide their identity. While simultaneously verifying their clients' identify in great detail, down to a psych profile! An interesting non-zero sum game ;)
Because it's not the informality of the definition that's the problem, it's the circularity.
Oh come now, it's not wrong. I shall quote the article.

> # The natural numbers

> Numbers are objects you build to act like the concept of a number. Here we begin to construct the natural number object.

This is obviously referring to the natural numbers. It says so both before and after the statement you're talking about. There is no natural number whose square is negative one.
It's definitely an issue. A shame the HMO model didn't catch on more.
Or easy things hard, hard things impossible, and optional things mandatory.

They solve one problem by giving you two new ones. Then they scold you for not following arbitrarily decided conventions. They corner you into using inferior janky solutions that do less with more and prohibit consolidation, abstraction or aggregation because ahem, that's their job to do, not yours.

Instead You are supposed to be stupid and do things naively regardless of the fact that's how piles of garbage get made

It's like relying on the worst engineers you've ever worked with and you aren't allowed to change their code. Awesome

I use them all the time professionally because I feel like it's what I'm supposed to do but good lord almighty are they ever totally broken bullshit
2+ microphones, signal processing chip, audiophile+ miniature speaker, multi-octave equalizer, intercommunication between ears/dynamic adjustment, multiple profile, remote mic, bluetooth to phone. I think the top-end in-ear musician speakers are comparable, certainly in terms of sound quality. Maybe better as they have (far) more speakers/frequency response as their users are far more critical. They're not magical but they're good when there's not a lot of echo.
The numerical mistake Gruber points out is definitely a howler, but I’m not sure characterizing all and any opposition to COVID boosters as “nonsensical” is fair. The WHO itself says:

>In a period of continued global vaccine supply shortage equity considerations at country, regional and global level remain an essential consideration to assure vaccination of high priority groups in every country. Improving coverage of the primary vaccination series should be prioritized over booster vaccination.

https://www.who.int/news/item/04-10-2021-interim-statement-o...
Yes, they should make a camless model just for you.
This is the difference between 'identity assurance' (at enrollment) and 'authentication assurance' in the relevant NIST standard, SP 800-63 https://pages.nist.gov/800-63-3/

A remote passport check might be suitable to claim an identity assurance level of 2, say, while getting to identity assurance level 3 would need an in-person visit with multiple forms of other government identification records.

In that way you might then constrain some actions to be taken remotely only by users who have provided strong assurance of their identity at enrollment (even if they login with strong non-phishable authentication... doesn't matter that the auth is ironclad if the user's identity is muddy).
Excellent opsec
What if a presenter does both?
> MicroStrategy invested ... in Bitcoin as a treasury reserve asset ... [and] has spent over $2.2 billion purchasing Bitcoin [0]

WTH? Why does a company with a $7b market cap need over $2b of "treasury reserve assets"?

[0] https://en.wikipedia.org/wiki/MicroStrategy