skysight-inc/HackerNews huggingface dataset:
The score you get from any of the credit reporting agencies is not necessarily the score that will be used to determine your credit by any lender. That is a representative score based on one metric, I think Transunion is Vantage 3.0, but lenders can use any scoring system they want, the credit report will be the same but the score may be different. It really does show a complete lack of understanding of the credit scoring system on his part, see: https://en.wikipedia.org/wiki/Credit_score_in_the_United_Sta...
Kinda surprised not to see HKTs[0] mentioned which, AFAICT, is what really sets apart Haskell's from Rust's type system. Without HKTs you can't express a Functor typeclass/trait[1].

[0] https://github.com/rust-lang/rfcs/issues/324

[1] https://www.reddit.com/r/rust/comments/2av5tv/why_does_rust_...
The up front development cost is slightly lower than a few years ago, and the potential income is astronomical.
These have gotten outrageous.

The WhiteStone health calls are incessant, I can’t even begin to comprehend how much money they are scamming if they can afford to pay people to do the volume of calls they are making. Theyre also nabbing a legitimate companies identity. [1]

I got called by them 13 times in one day. Requested to be put on DNC list (obviously a waste of breath). The numbers are seem random. I don’t know if they are spoofing them somehow or if carriers sell short access to numbers but they do the first N characters of your number trick.

I decided to go ahead and “get scammed” and walk through as much of the call as possible and the bullshit detection of these callers is PHENOMENAL.

We will get through a few questions with me trying to answer to sound like I’m interested and then eventually you’ll get a ~“fuck you man” and they’ll hang up on you.

These MFs need to be shot into a brick wall on a rocket sled.

1- https://www.linkedin.com/posts/whitestone-healthcare-llc_we-...
In college I met a friend who had a MacBook whose keyboard layout was assembled using the Dvorak layout (this was in 2009). Roll forward a couple of years and I had met another friend who used his OS to map QWERTY to Dvorak. Inspired, I spent a few days during Christmas break learning a new keyboard layout. It's still what I use today.

Roll forward a couple of more years and I'm working on my Ph.d. and have the thought that someone must have done more optimization on keyboard layouts: Meet http://mkweb.bcgsc.ca/carpalx. That inspired me to learn QFMLWY, something I have yet to do.

Roll forward to a few months ago and I'm experiencing some slight wrist pain; a coworker uses a Kinesis Advantage and recommends it. In true punk style (and unhappy with the Kinesis' outdated appearence), I endeavor to find a superior product. I stumble upon the Ergodox EZ, a fully-featured workhorse. I quickly become frustrated at my reduced typing speed and seek out a better solution. Cue Plover and the OpenStenography project. Learning stenographic typing is my next life goal.

This is a niche path involving one skill set: Improving the human-keyboard interface. And, it involved real-world interaction with people and the resources that people on the internet have provided. I'm convinced that either only in-real-life (IRL) or only online interactions would have inhibited my growth in this domain.

I'm sure that this same concept applies to every web development framework or conlang or beauty style or any human endeavor. As an aside: These ideas are also related to why I'm confident that an artificial general intelligence developed in the vacuum of the internet will not succeed relative to a competing technology that is able to benefit from both offline, interactive experiences and also online information trawling.
I walk down the street here in Mexico City and get me a glass of pressed-in-front-of-me OJ/grapefruit a few times per week and it's better than anything you can get at the store.

That machine has some dud oranges. But I encourage you to test your theory yourself with some store-bought oranges.
It's possible that every single one of those messages you needed to hear could also have been said kindly.
Oh dang, I didn't even think about @ symbols within quotes. I guess the smoke test regex needs to be even MORE permissive:

[^\s]+@[^\s]+

I guess you could get even more crazy and go ahead just do the most bare-bones check possible really:

.+@.+

And you were right. The first regex got screwed up when I copied and pasted it. Here's a better source from https://emailregex.com

(?:[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*|"(?:[\x01-\x08\x0b\x0c\x0e-\x1f\x21\x23-\x5b\x5d-\x7f]|\\[\x01-\x09\x0b\x0c\x0e-\x7f])*")@(?:(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?|\[(?:(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.){3}(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?|[a-z0-9-]*[a-z0-9]:(?:[\x01-\x08\x0b\x0c\x0e-\x1f\x21-\x5a\x53-\x7f]|\\[\x01-\x09\x0b\x0c\x0e-\x7f])+)\])

I suppose there isn't a whole lot of value even using a quick "smoke test" regex, when the big version is already a solved problem, and can be so easily copied and pasted at this point...
Check back in a couple of decades, and you might change your opinion of how one defines "adult".

Sure when I was 22 I felt as grown up and superior as anything, yet the same amount of years later I realise how little I in fact knew then, and still do.

Christian did the old kid a huge favour.
This is pathetic. A grown man whining to somebody’s mom because he was dumb enough to mail something of value to a random person on the internet.
The new ghost 3.0 release is pretty fancy wrt to the styling and layout defaults.

For various subjective reasons, i've not used medium extensively so i can't compare like for like, but from what i have used it's not significantly better than ghost on the usability/styling front.
This already breaks names which inflect.
Toolchains–a fresh wind in the sails of a new tech world
It could also very well be "We trained our neural net on historical allocations of credit limits by professional analysts, who had a subconscious gender bias". The point is there's no way to know.
Aren't Generic Associated Types (in the pipeline for Rust) broadly equivalent to HKT as found in Haskell?
"I haven't read the whole thread,"

Seriously, please read before commenting!

The thread is not that long.
Apostrophed person here. This happens SO often.
Have you read Ghosts of Departed Proofs? I agree there haven’t been enough studies. Sufficiently advanced type systems do enable us to express specifications that can check our implementation. It’s not on the level of model checkers or proof assistants but it is an awfully effective tool for constructing programs that are functionally correct with respect to their specification, faster.
A recommended daily intake of added sugar (WHO calls it free sugar) makes no sense to me unless it's zero.
No familiarity with SIP.

Can it intercept calls to a cell phone with a carrier issued number?
It's actually farther than Rust compared to Haskell.
As others have said, it’s not really when pulled out/concentrated as in OJ, date sugar, coconut sugar, or other processed fructose.

Plus your body treats fructose like alcohol and most of it gets processed out by the liver in much the same way. Over too long, the liver will look like that of a heavy drinker.
> but allows programs to statically prevent race conditions more generally

Wrong, wrong, wrong! A race condition is an error in program logic. It can't be prevented by a type system, which is limited to local, syntax-based analysis. Race conditions can trivially occur, e.g. in channel- or message-passing-based models of concurrency, where there's nothing that could cause a data race.
I suspect it's more that the very confident have their messages amplified on social media. Most people I encounter in person are not like that.
In cooperation with Intellectual Ventures, apparently Gates' patents on energy storage are supposed to be so broad they're like patenting nature itself.

There's even one against health care workers and portable power.

Effectively these make it more costly or impossible for those having underdeveloped energy infrastructure to benefit from advances made which would be helpful otherwise, regardless of who makes the advances.
Dominion randomizer inlay – A DIY GPLv3 Hardware unit to help play the boardgame
Yeah, I don't see any way for THC pens to get safer unless they get legalized and regulated like other food/consumption industries.

I personally use THC pens once and a while from reputable sources but even they still scare me. The experience of smoking it is significantly harsher than even the strongest nicotine vape devices I've used and results in sometimes scary coughing fits for most people I've seen use them, typically from taking too much. I could see that level of heat and inflammatory reaction combined with some bad ingredients result in some serious harm to the breathing passageways.

I wouldn't be surprised if smoking Vitamin-E normally without the heat/harshness of shitty THC vape pens turns out to be harmless. That's purely anecdotal though - besides some study I read where constant-heating of the throat and mouth was connected to higher infections rates with a particular drugs, even though the drug itself wasnt dangerous. (Note: temperatures are typically far lower with glycol based nicotine vape devices which doesn't require heat/burn levels that THC requires).

For some reason the Canadian government (where I live) has refused to add vape pens to the legal list which has helped keep grey market retail stores and online websites flourishing regardless of the law. It would be silly to expect THC pen's popularity will somehow stop - it really is the best way to smoke weed, hands down, and will continue to grow in popularity.

Fortunately most of the reputable [1] Canadian grey market weed sites post medical lab results and unlike the legal shops in Canada have zero issues with supply management. Meanwhile the legal shops are constantly out of stock as supply from legal grow-ops outpaces demand because the licensing system (like all gov processes) is extremely slow, backlogged, and full of highly questionable road blocks.

[1] There are tons of forums, review sites, and Reddit threads where consumers can share information about good grey market stores. That plus whether they post lab tests on their websites... which typically come from the same labs who test the gov licensed grow ops products.
M65 Atomic Cannon
I forward emails to my OmniFocus mail drop address. It is a fairly effortless way to move actionable email out of the email archive and into something that's built for action tracking.

The service is described here: https://kas.d.pr/2e0Vsy
Tragically all the narcissists are on there with their selfies hopelessly looking for love from all the other narcissists psychologically unable to give it.
After being a soda addict for 10 years, I only drink water, coffee and the occasional red bull, sugar free if I remember to grab the light blue can.
> There is no constitutionally-enumerated power for Congress to regulate which character-encoding standard is used.

If you squint, it's kind of covered by the weights and measures clause, in the same way that the clause that allows Congress to establish armies covers Congress establishing the Air Force.
> If banning [something] prevents even a tiny effect size on [bad outcome] it’s obviously worth it

The same logic is why we now shuffle around in our socks at the airport. It is a terrible recipe for making policy.
"OK, boomer" doesn't really work that well as an insult anyway since it's easily flipped around as "OK zoomer". Both Wikipedia (https://en.wikipedia.org/wiki/Zoomer under "Other uses") and the Urban Dictionary have an attestation of zoomer as a reference to Gen Z, so they'll know what it means.
Sssssorta. The cool thing is you need no familiarity with the SIP protocol.

What you'd do is port your cell number to the provider, get a new cell number, and then set up a call flow that answers the number, eventually forwarding to your real phone after the caller has a chance to record their name and hit a key.
Also, long-standing common law precedent in the US is that people can call themselves whatever they like for any reason at any time as long as it's not with intent to deceive or defraud. This is the basic principle behind, for example, businesses run using stage or pen names (see: "Prince").
I'm interested to know how other developers on HN prefer to learn. I really like just running into a problem and Googling my way to a solution. I read snippets of docs, blog articles, SO answers, etc. and then try to piece together an understanding. I have a hard time incorporating videos into my ad hoc learning.

What is your preferred method of learning new tools, techniques, etc?
They can explain, they most likely don't want to. Also how does this guy know this is a "machine-learning algo" and not just a series of ifs and elses?
I think you should specify which platform you're using (I suspect Android.) On iOS all the different browsers are just different UIs for the same engine.
>iPhone 6 buyers discovered an annoying problem. Apply enough pressure on those first-gen thin aluminum frames, and you could bend them without damaging the structure of the phone. Apple was quick to fix its “Bendgate” problem and made sure it never happened again.

1 you do get plenty of "damaging the structure of the phone" with touch dying first

2 "Apple was quick to fix" by never admitting any problems and charging users $150 repair fee https://www.extremetech.com/mobile/239746-apple-will-fix-tou...
With automated ships, and automated airships, you could do away with most loading/unloading - have the airships load/unload in coastal waters, use ships for the long haul across oceans?

Ideally you'd use windpower (sails) and solar (electricity) for the ships.
The point about null references is a very good example. In both Rust and GC'd languages whose type system differentiates between null and non-null pointer types, it is impossible to define a type like Vector<T>, where T doesn't have a default constructor, without resorting to some form of type cast.

In Rust, as well as GC'd languages like TypeScript, dereferencing a null reference is possible, in the same sense, because a type cast or unsafe code may have been incorrect.
There are strong opinions on several sides of this (I'm not particular for or against).

They can be an overused trope. They can be a critical (and often comic) element of films (Woodie Alan, Annie Hall, etc.). And there are times where a character can speak volumes without words, with the right acting, direction, cinematography, and editing.

In text (absent illustrations / comics / graphic novels), words are very nearly all you've got.

(Again: a few exceptions, largely notable for proving the rule.)
Ironically the Internet was founded by those trying to escape the narcs and now it's overrun by them too. Empaths running for the hills.
> Say the user has three given names and a family name. For whatever reason, she puts double spaces surrounding the two middle names, but she didn't last time. Or jams them together, maybe with another punctuation. Are those semantically meaningful differences? Do the spaces indicate we have two separate people? Would a shortened form for one of the names be meaningful? Or if she misspells the abbreviation for "Marquise"; is that part of her name now? Etc.

Why do you care, though?
personally it helps with imposter syndrome, its like thinking youre a terrible writer and then reading some godawful bestseller like 50shades of gray and realizing "hey, i guess i cant really be that bad"
Absolutely. But I was better off hearing it unkindly than not hearing it at all. Also, and unkind message might jolt me into taking it more seriously.
> It's easy to farm them by hopping on the winning bandwagon on divisive topics.

> I think there should be a cost to upvoting or downvoting, so they can't be handed out willy-nilly.

Would a cost to voting not encourage farming points?

Aside from the 500 points (or whatever it is now) hurdle to be able to downvote (on HN, and similar though not the same hurdle for /.'s meta moderation), internet points are surely just internet points and any mechanism that made them more would end up in farming / community-moderated voice would tend to the farmers.
Nah, I had fresh squeezed orange juice from a similar machine in Spain and it was amazing. Far more flavorful than anything I've had in the states. It's all about the oranges you use.
I'm kinda bad at these things so I'm not sure. GATs are a form of higher-kinded polymorphism but I'm not sure if they're really equivalent to HKTs.

GATs are still missing anyways. Not sure how close they're to being implemented.
Except for

1) according to him, the bureau they were using for underwriting data indicated she had higher credit score

2) "conditioning on credit score which is correlated with gender" is not conditioning on gender. The algorithms that derive credit score from a set of credit data do not condition on gender.
I'm not actually sure if it's been used for real, and I don't think it's really been needed - apparently it's rare for GPS ephemeris data uploads to be late by even an hour or two. In principle the idea is that it would be operating all the time and give slight accuracy and integrity monitoring improvements, but that doesn't seem to be a priority.

Incidentally, it seems like the EU is looking at developing their own version of Autonav for the next generation of Galileo, quite possibly with optical rather than radio links between the satellites.
Yes, I have, but the question here isn't whether types can be used to verify any correctness property, but whether, overall, there is some correlation between the type system and functional correctness, and there doesn't seem to be one. The question is why this is the case. Perhaps it is because types are not any more effective in their cost/benefit than other ways of increasing correctness. Papers like that are driven by what can be verified with a chosen approach, not by cost/benefit and comparison with other approaches. In other words, they show some property without assigning it a relative value.

Pointing at such papers when discussing correctness relative to other languages is like telling people they'd be much better off working at company A rather than company B, because company A gives out free lunches. Even if company B doesn't, it might offer free dinner, and even if it doesn't the salary can be higher, and even if not, it's unclear how big of a difference A's lunch is. In other words, correctness is very complicated, and there is just no way to look at one property or another and make a conclusion. Indeed, there does not seem to be a big difference in practice.
Had to google STIR/SHAKEN.

> Secure Telephone Identity Revisited) and SHAKEN (which stands for Secure Handling of Asserted information using toKENs)

The amount of bending over backwards to get that acronym to check out is impressive. It is such an engineer-named system.

Looking forward to it nonetheless.
You want a Pony.
Ah! Good to know. I was curious if I’d have to update all my friends, family, etc with my new number!

I really appreciate the info!
What "absurdly demanding online game" is the author referring to in the first paragraph ? He mentions Overwatch later in the article but in another context so I'm not sure that's the one he meant.
Data Centers Are Under Pressure to Meet Internet Demand
Sandboxing has almost nothing to do with (and does not prevent) function hooking.
Why doesn't manager A, who is manager of official A, keep track of the work that official A does? That person could deny the unnecessary budget for more underlings and hold official A to be accountable for their work.

I don't think these can really be called statistical proofs either. There are some proof like axioms but it's being applied to social orders where there's nothing very logical happening.

The original paper was published in 1955. Now that we have issue tracking software which management can easily use to determine the efficiency of each worker, isn't this type of bureaucratic bloat a bit harder?
It's a bit less confusing in practice - the full types are std::rc::Rc and std::sync::Arc (where std::sync is all multithreading stuff, and you have to actually use that name to get access to Arc in your code), and both are well documented (including spelling out the acronym):

https://doc.rust-lang.org/std/rc/struct.Rc.html

https://doc.rust-lang.org/std/sync/struct.Arc.html

...I could see this causing merry hell if trying to do advance interop between Swift and Rust, though, and it's admittedly probably going to be a minor stumbling block for Apple-first devs. (I managed to avoid confusion, but I just port to Apple targets, they're not my bread and butter.)
They've found lots of links between auto immune diseases and low vitamin d.
"Good financial decisions" are only at a very specific margin associated with credit score. If you have an underwater car loan you can't really afford comfortably that you nonetheless make the minimums on whilst eating rice and beans, you'll have great credit after a couple years. If you strategically defaulted immediately after buying your ridiculously underwater condo in 2008 and it took them 3 years to foreclose on you, you made a great financial decision and your credit is trashed for the next six years.

Credit scores specifically correlate with default risk, not some abstracted measure of financial health.
Why doesn't my phone have a 'report spam' button that is reported to the carrier?
> A program that has undefined behaviour is not correct, unless the spec has undefined behaviour (why would it?).

Yes, but a program has many ways in which it cannot be correct, and eliminating one of them does not mean that you've eliminated a significant amount of problems, and it doesn't even mean that the amount of incorrectness you've eliminated is bigger if you'd spent your time with other approaches.

> The fact that you can make more general assumptions about pieces of code which you don't necessarily fully understand makes writing safer and correct code easier.

Except this does not seem to be the case, as evidence does not suggest that Haskell programs have significantly fewer bugs or are produced faster.

> Are you saying there have been studies that show Haskell's type system has not been correlated to higher correctness than say Java or Python, or are you saying you are unaware of any such studies?

I am saying that there is no evidence to suggest Haskell programs are more correct, and that at least one study has tried to find such correlation but did not.

> Also, Haskell's type system is certainly more expressive and strong than Java's or Python's.

It is, but it is still very weak.
Bath County Pumped Storage Station
I've been planning on building something like this for a while. I hope it succeeds and they document the journey.
OTOH, Teller (from Penn and Teller) changed his legal name to his mononym--similar to you, actually :)
Note that the magazine takes its name from the Black Jacobins of Haiti, not those of the French Revolution.
"Piercing the corporate veil" is a process for dealing with this.
I'm the same way. I find that choosing a project that inspires me takes me much further than just saying "I want to learn X, let me follow a tutorial".

On a related note, I just read nassim taleb's anti fragile which has a section arguing that most progress comes from people tinkering with things to get something they can sell or to solve some problem they have rather than academics trying to understand things from basic principles. I don't agree with it entirely but that and my way of learning has led me to value experiential learning much higher than society does currently
In college, there was a student I knew whose name was officially "The Rebellious One," and went by the nick name "Rebel One".