skysight-inc/HackerNews huggingface dataset:
> Even just logging in is a chore, and often doesn't work. Their two-factor implementation is a mess.

My parents switched from Lloyds (UK) to HSBC and are looking to switch again.

You can't have multiple devices logged in. I.e. you can log in just fine on your "security key" device (say a phone), but if you want to login on your iPad to check something, you have to get a code from the app on your phone. Absolutely pointless.
The article is about HSBC, a British bank, where the transfers happen in a matter of seconds. What is the point of comparing it with US banks?
There's a strange relationship where the bill provided to you is not actually expected to be paid as-such when given to the insurance company -- they will generally challenge the bill, and through a court, it will be negotiated to something more sane -- and this bill will finally be paid out.

So a doctor can charge you 10k, but the insurance company itself will only end up paying 2k to cover it (and you pay your deductible).

So the charged price is entirely divorced from reality.

You get fucked when you don't have insurance, because you can't participate in this process
I would guess it's more about the money than you think.

Public companies have a fiduciary duty to maximize profits and investor returns.

They're simply using the data that's available to them to make great investment decisions to make more money.

It seems like a conflict of interest to invest in a company and then turn around and compete with them. If the end plan is to take their ideas once they start becoming successful, you don't need to give them money in the first place. (Case study: Snapchat)
New Approaches for Dealing with Thermal Problems (In Chips)
Regarding paper: I bought a Rhodia Webnotebook - no, I don’t know why they called it that - and my fountain pen loves it. It’s the first time in basically my whole life that handwriting has been pleasurable.
Using Yarn v2 Workspace, Docker Compose and VS Code with JavaScript Monorepos
There's a difference between "being around" and "everyone routinely consumes them". American diets change drastically in the middle of the 20th century.

https://www.washingtonpost.com/news/wonk/wp/2015/06/12/look-...

e.g.

The average American woman weighs 166.2 pounds, according to the Centers for Disease Control and Prevention. As reddit recently pointed out, that's almost exactly as much as the average American man weighed in the early 1960s.

Men, you're not looking too hot in this scenario either. Over the same time period you gained nearly 30 pounds, from 166.3 in the 60s to 195.5 today. Doing the same comparison as above, today's American man weighs almost as much as 1.5 American women from the 1960s.

This is NOT a subtle change! And it has severe consequences.

I think it's clearly due to diet and the "hidden" choices in the food supply, but if anyone has contrary information I'm interested. It's a tremendous change that needs an explanation.
It's because insurance takes profit via spread.

On the one hand you'd think insurance would want the lowest prices possible, but that would also shrink the magnitude of float that they have to generate profit off of. So in reality, prices stay high.

As long as insurance is at the same time generating money via capital allocation and financial management, you'll still have the perverse incentive for price maximization in place.
This I think is the most important aspect most of the engineers ignore
There is a lot to like about F#, but I honestly prefer Typescript.

I feel like it really has hit the sweet spot between FP and OOP. And while I do tend to prefer the more terse ML syntax of F#, Typescript is pretty close and, frankly, offers a more ergonomic experience in your editor (F# syntax highlighting in every editor I have used is woefully underwhelming).

Add to the above the structural typing vs nominal and Typescript really does offer an immensely rich and flexible paradigm. The only feature I'd really like to see better support for in Typescript is currying/partial application These can be approximated in TS using it's incredibly powerful type system (dependent types using "extends" combined with inference using "infer"), but newer versions will throw an exception when the compiler sees an infinitely recursive type.
To support freeing heap allocations in a memory-safe way without relying on a GC.
Prey did the same thing 14 years ago... I don't see what is groundbreaking about this particular gameplay segment at all.
The attack obviously works only at night, when the light bulbs are on. Pretty sure you can easily disguise it.
Unfortunately, probably not. Most women, unfortunately, aren't attracted to other women so I'd probably not get the chance. Sometimes I'm happy to be bi so I'm not as limited as folks limited to a single sex, though I could do without the discrimination.
It’s been an interesting few years in relation to MTB geometry. Low bottom brackets with slack head angles and steep seat tube angles have really taken off. My last MTB purchase was in 2018 and it’s geometry seems pretty conservative to newer bikes.
A causal link might be still there, but the theory might only explain a few percent of the variance, due to many other (confounding) factors.
Productivity advice won't help you but you should read it anyway
That's fair but isn't it more work to go back and have to rebase your commits to remove something that accidentally got skipped in your .gitignore?

I say this because I am also a firm believer of if it shouldn't be committed it should be in the .gitignore but I've only ever been burned by that when either myself or others weren't using interactive add.

Basically, isn't it easier to fix a .gitignore at commit time than at PR time?
Yeah, and Google has this with Google Analytics.

Is Google Analytics free out of the kindness of their heart? NO. It's free because you can spot up and coming winners.
I always replace Jinja2 with Mako - I don't want to "learn" the Jinja2 DSL when I already know Python.

Don't @ me with BS about putting logic in templates - I know what I'm doing.
Myanmar Military Power Rankings 2020
Ending centuries of systemic racism in the US is a divisive topic right now.
I’m sort of in the same boat. I using “gaming” keyboards because I love the extra keys. I program them to do all kinds of things and don’t mind taking my hands off the home row if it means I can do something faster or without having to use the mouse. They always end up customized enough that my two main computers have to have the same keyboard or I get a little lost.

I’d love something like a StreamDeck but I only use Windows for gaming and have transitioned away from Mac entirely.
When would you ever not opt for a cpu optimized mode? Cpu's can't get faster, and you can always get more memory.
That's my real name, sorry if it's latin sounding. If you follow the developments of the standard commitee, you know what I'm talking about.
Yes, I’ve done a few things like that. I even cancelled a haircut. A lot of services can’t be cancelled and require a phone call. I was on the phone with Netflix for over an hour trying to cancel a service - they initially didn’t believe me that google allow emailaddress@gmail.com and email.address@gmail.com to go to the same account. I had to set up the alias in gmail to allow me to send mail as email.address@gmail.com and email the technician from that address.

Hours of my time wasted because a company doesn’t verify emails.
> They clearly have data on web traffic, consumer usage, advertising spend, etc. that other VC firms and investors generally don't have access to.

I mean, this wouldn't be insider trading since anyone can do their own legwork to get this information. Insider information would be things that aren't (yet) disclosed to the public, not things that can be ascertained through thorough research.

> Since startups aren't publicly traded, I don't think insider trading laws apply to trading their securities.

Yup. Insider trading laws are designed to prevent the public from being at a disadvantage. Private firms don't need to disclose anything publicly, they can choose their investors, etc...
Malaysia Military Power Rankings 2020
Dupe: https://news.ycombinator.com/item?id=23504654
The difference is that rust is safe by default. When doing something routine/trivial, you are typically operating with safe code.
see https://news.ycombinator.com/item?id=15874273
The University of the People is an innovative school where you can meet and talk to students from all over the world. The faculty is of high caliber as well.
Planetside 2 is a great and current example of multiple massive 100+ player battles occurring simultaneously in the same server/map.

Obviously its graphical detail is nowhere what was shown here, but the precedent exists, and the only thing that would be different is the geomotry and texture res.
Ask HN: What is your favorite domain registrar and why?
There are a lot of different domain registrars to choose from today: Namecheap, Google Domains, Hover, GoDaddy, etc. Who have you used and had a good experience with? Are there any registrars that you have sworn off? What are the most important features to you: cost? privacy tools? automation? or?
I don't know that much about the history of olive oil consumption. My hueristic is, the more fiber removed, the less healthful the food becomes.
Now all available:

https://dl.acm.org/toc/pacmpl/2020/4/HOPL

https://news.ycombinator.com/item?id=23509956
Thanks a ton! Earlier this week it didn't look like it was available. https://news.ycombinator.com/item?id=23436517

Looks like there's another Smalltalk paper, too:

https://dl.acm.org/doi/abs/10.1145/3386335
I like salt - doing 30s deploys on prod for python changes was great -- the big slowdown with pushing the entire site was frontend webpack builds...
CydeWeys says*>"As for "Buildings matter, too", what a colossal fuck-up that was. If you're that tone-deaf, you legitimately are a liability, and shouldn't be in charge."<

Not if "Buildings" is also metonymic and stands for "civilization".
You forgot to include some more details from the Wikipedia article (https://en.wikipedia.org/wiki/Malware) from where you borrowed your definition:

> A wide variety of types of malware exist, including computer viruses, worms, Trojan horses, ransomware, spyware, adware, rogue software, and scareware.

It specifically mentions spyware, so let's take a look at that definition:

"Spyware is a type of malware that aims to gather information about a person or organization, without their knowledge, and send such information to hack another entity without the consumer's consent."
Löwenheim-Skolem doesn't hold for higher order logics such as type theory/Lambda calculus.

Basically, it doesn't hold for any constructive logic.
Lattner also said later on Twitter that he was purposefully being vague during the interview. The 64 bit chip built for the watch and LLVM bitcode was designed in concert.

https://mobile.twitter.com/clattner_llvm/status/104696072464...
"Anti-rust sentiment"?

I'm a Rust user, a fan of the language, and I believe it's a great step forward for systems programming.

However, it's kind of ridiculous how on any thread about Rust, anyone who brings up criticism, no matter how valid, gets downvoted into oblivion. Just look at what happened to the comments critical of Rust on this post.

The Rust community really needs to take care not to become an echo chamber.
> but I just have low tolerance for people with Latin-sounding screen names

Did someone scare you as a child?
Windows 10 printing breaks due to Microsoft June 2020 updates
> Windows 10 users are reporting that they are unable to print using devices from multiple vendors after installing updates for Windows 10 versions 1903, 1909, and 2004 devices released on June 9, 2020.

> KB4560960 and KB4557957, the updates causing these issues, are cumulative updates that were released on Tuesday with security fixes for multiple Windows 10 components, as well as improvements and fixes for various Windows 10 features.
I thought this was about dating?

Anyway, colored men (mainly indian guys in my wife's practice) significantly increase their attractiveness by dressing nice and well groomed, so same rules apply.

But what I get from your explanation is that it's all the womens fault of not looking past that. Well maybe it's time for you to face reality.
okay, so the correct formula is:
= 0070 + 2 * (filenameLen // 2)
where // is floor division.

Site is updated too :)
Ah, well, if it's your real name, my rule absolutely does not apply - apologies for making assumptions. Your response is quite appropriate.
Could you go to court as a private person to negotiate the bill down?
Insider trading laws aren’t about fairness. They’re about the misappropriation of information. Knowing things others don’t and acting on it is fine. Acting on information that you have as a responsibility to someone else, or got from someone where that’s the case is not.
I didn't use Rotring till college. For drafting I had a set of 4 pens with the thin cylindrical shaft in different diameters.
One thing that stuck out to me in the article is that they only mention one meaning of "huh". As you have pointed out, there are multiple meanings of "huh". You have "huh?" meaning "I don't understand, please repeat and clarify". There is "huh???" for "express soft skepticism or disapproval". And "huh!" for "express soft surprise or shock". Or "huh." for "express that I didn't realize something". Even "huh..." for "I need to think about this more".
> Even if Rust never gets supported by the kernel's buildsystem officially or if the code can not be upstreamed.

That is not how the (Linux) kernel likes to work…
The first keyboard he referred to was the original IBM "clicky" keyboard (aka Buckling Spring keyboard) which is still available new. The right to manufacture it has been sold to a company called Unicomp. [1] They've ditched the legacy connector and now it will work with USB.

I personally own one of these and I love it. It causes less carpel tunnel problems for me because the keys travel more and they don't bottom out quite abruptly.

The only downside is that it is very noisy. If you can type at 80 wpm like me and you work in an open cube environment, you'll make your cube neighbors crazy. I no longer work in a shared office so nobody cares and I enjoy the clicky sound.

[1] https://www.pckeyboard.com/
Completely disagree, you’re spinning a narrative by leaving out context, and the original tweeter labeled it as political too.. so they disagree as well.
https://msrc-blog.microsoft.com/2019/07/16/a-proactive-appro...
No, but I think it will take a little re-imagining of what a "browser" should be. In my own opinion I find it very odd that we are using what is effectively a static publishing model to do so many dynamic activities. Modulo all the hacks that have been added since, the original intent and architecture of the web seems to be to share scientific papers for researchers at CERN. It's essentially a single file-server namespace with the ability to embed references to other parts of the namespace inside objects already attached to the namespace in some way. Sprinkle in JavaScript and CSS animations and now we have "applications".

Looking at what web browsers are both capable of and expected to do today I think what we really want is an "internet terminal" which would be able to contact resources over the internet, negotiate both local and remote resources for an intended purpose, and then share state bi-directionally (stateless is just zero state).

To just conjure a couple of quick examples you can imagine the differences required in providing a service that produces a simple JSON feed versus a full interactive experience that mutates a shared database. The JSON feed wouldn't require a display and could easily be consumed by autonomous agents while the other might require a minimum display size and want to use a widget set to produce controls and toolbars, etc. If my client agent is allowed access to my video display, mouse, and keyboard it could offer these to either service and allow it to respond in whatever way it feels appropriate. The JSON feed could provide a simple UI for viewing recent events, for example.

Now we do all of this today with HTML, CSS, JavaScript, etc. but none of it feels organized and all you see is re-invention after re-invention of essentially these same concepts. The fact that we even call them "applications" when they are "documents" is really what seals it to me. I personally would like to see something that is more true to the reality of computing and internet connectivity today and looks at it from a device-to-service POV. Locally I might have a graphical display, audio, and inputs but I might also have access to an SQL database or some other network-attached service. Assuming some level of trust and if negotiated properly there's no reason a remote application couldn't make use of these local resources using credentials and security profiles under my control. The can of worms here is that this is basically RPC which is the other never-ending disaster...

Internet is hard. Let's go shopping.
Invest/purchase/block new competitors from ever reaching scale.

Cartel doesn't apply. Facebook, Google, Apple coming up with an agreement to keep workers salaries lower is.

Gangster.. that term applies.
Crowdfunding for Amiga Book: 25 Years of Copyright Chaos and Technology Triumphs
"best chance" not "only"

FWIW, I suspect C with proper tools is fine, just fine.

Also Ada is still a thing.
Systems programming in any language would benefit immensely from better hardware accelerated bounds checking.

While Intel/AMD have put incredible effort into hyperthreading, virtualization, predictive loading, etc, page faults have more or less stayed the same since the NX bit was introduced.

The world would be a lot safer if we had hardware features like cacheline faults, poison words, bounded MOV instructions, hardware ASLR, and auto-encrypted cachelines.

Per-process hardware encrypted memory would also mitigate spectre and friends as reading another process's memory would become meaningless.
> Your accusation even conflicts with the basic definition of malware

The very source you pasted this definition from (Wikipedia) goes on to list spyware as a type of malware, and the page for spyware lists Onavo as an example.
Are we reading the same results? The top result[1] says they show very little bias. It also days right-leaning sources say politifact is biased, but if these sources are being fact checked in a way they don't like, of course they would claim politifact is biased.

[1] https://mediabiasfactcheck.com/politifact/
"I'm gonna make him an offer he can't refuse..."

"... one billion dollars in cash and stock."
Learn to write a CV/resume without adjectives. When you do your best to fill up one page, and find your experience lacking, you can ask someone who hires new grads if they would hire/interview you. If they say no, ask why not. The answer they give will give you a clue as to what you need to improve on. Ask enough people and a pattern will emerge.

Also, no matter how hard things get, keep a positive attitude, or at least don’t become negative. People wanna work with people they’d like to spend time around.
Because I’m already familiar with Discord.

Looking for more options and trying to avoid the reflexive “but discord” response or the discussion devolving into a debate about the pros and cons of Discord.
I'm glad to hear it mate. :)
There was a rust frontend for GCC[0]. Will need a lot to work though.

[0]: https://gcc.gnu.org/wiki/RustFrontEnd
What is the exact aspect of "systems programming" that precludes the use of higher-level languages which are safe by default? Unless we are writing device drivers or OS kernels, why are we using these low-level languages for mission-critical applications?

Even parts of managed languages which are typically frowned upon from a "systems programming" perspective, such as GC, can be viewed as a positive when trying to iterate. GC can be treated like a backstop which helps to keep your application from exploding while you work on memory management, and then you can incrementally address heap alloc (aka latency) concerns with an application that actually runs (for a little while at least). Trying to iterate on memory pressure and related concerns with a C/C++ application is nothing short of nightmare fuel from my perspective, but I spend most of my time in higher-level languages these days.

I think it is also very hard to make a performance argument in 2020. Especially when you are comparing low level against something like the newest C#/.NET Core stack. Just take a look at the most recent TechEmpower plaintext benchmark (round 19). How many new business "systems" are being "programmed" that aren't ultimately just web servers passing HTML/JSON around, executing business logic, and reading/writing bits of data to some database?
Light, the company behind the Nokia 9 camera, quits the smartphone business
As an American who has traveled a lot, I think a large part of the problem here is Americans’ over reliance on restaurants for food. You can rightly criticize the processed, sugary, or fried foods that many people habitually cook, but to claim that Americans don’t know how to make plain foods or have access to the ingredients is ignorance: every proper grocery store sells good proteins, fresh vegetables, and unprocessed grains, and they do it because it’s profitable, because people do largely cook pretty standard meals at home (and as others noted, your yogurt example is wrong). But regardless of how healthy our cooking is, why is it so rare for Americans to eat a home cooked lunch, and so strikingly common to meet people who never cook their own dinner when compared to other countries? Your country has on average healthier foods than we do (not sure by how much once you account for the dishes people actually order), but the portions at restaurants are still too big. People are healthier in France because they cook most of their meals at home, not because the restaurants give them a proper diet. If we all started eating like the French do we’d probably have a more balanced diet, but we’d still be fat if we ate at restaurants all the time.
> If you follow the developments of the standard commitee, you know what I'm talking about.

I don't, or at least not closely enough apparently; can you tell the rest of us what you are talking about?
> anyone can do their own legwork to get this information

Can they though? My point is that FAANG companies are uniquely positioned by having access to this data that the public couldn't possibly have access to.
I think that Swift got a lot of its "philosophical" structure from ObjC.

After Swift was released, I understood why ObjC 2.0 was written the way that it was. It was modified to allow the standard libraries and SDKs to transition to Swift.

I remember coming from C++ (CodeWarrior/PowerPlant), and encountering ObjC, and going "Whiskey Tango Foxtrot?".

After a while, though, I got used to it, and actually started to enjoy ObjC, in a way that C++ never got me.

I enjoy Swift, even more.

After years of writing code in languages I didn't really like (C++/PHP), Swift is something that I actually enjoy. I suspect that Smalltalk, and its affect, are responsible for the "enjoyment" factor of Swift.

I consider most of the lineage to be "in spirit," more than "in detail."

It's quite easy to shoot holes, if we get particular.
So isn't it possible for Krita to create an updating process and switch?
Btw. it's really fantastic Krita is on Android now!
Since it's the chap(??)'s real name I am going to be coy myself and refrain from further comment. I was wrong to comment that way, and I'm leaving the post up only to remind myself not to be a dick.
Funnily enough, Ancient Greek did have a leading h- sound. It’s since disappeared, along with tonal accents and some vowel sounds.

I’m not sure the h itself is really necessary for the main argument, but possibly it got dropped somewhere along the way? That’s pure speculation though, I haven’t seen any evidence for that in print.