skysight-inc/HackerNews huggingface dataset:
Actually, Haskell compilation produces more type information available at runtime than Typescript's compiler does. For example, algebraic data types turn into tagged unions at runtime on Haskell, allowing pattern matching to operate on them.

Whereas on Typescript the compilation process erases all this information, making it impossible to evaluate many such expressions.

There are multiple 3rd party solutions to this, such as:
https://github.com/pelotom/runtypes
Machine Learning and Deep Learning Day Boston 2020
I believe this may also be dependent on whether you're on a personal machine or enterprise network. My Edge start page has a gear with the Page Layout options (Focused, Inspirational, Informative) and also radio buttons for Page Content with a choice between Office365 and Microsoft News. My default displayed Office365 (recent documents opened list) without any of the MS News agg tiles.
If the strings are static you can define a type that's a union of string literals, create a tuple containing them all, and then a type guard function that simply checks the argument against the array. If the strings are dynamic then you're better off looking at a library like newtype-ts, but it's not very ergonomic compared to the likes of Haskell/PureScript so use sparingly.
It's hard to offer more detail than that in a blog post. I'm not going to repeat the research papers or write one of my own. The post is already so long and complex, covering so many surface details, I couldn't reasonably push it any further.
It's a basketball player, but I think it was Latrell Sprewell rather than Shaq.

https://en.wikipedia.org/wiki/Latrell_Sprewell
The way to do it is to tax hospitals.

Revenue or profit, who cares, but tax them and then spend the money on residencies.

Or just stop funding any residencies through Medicare and VA. Of course, that relies on the industry deciding to avoid the doctor shortage getting worse.
I'm also curious how they're reimaging those machines.
I started reading that transcript and my BS detectors were bouncing off the charts. I think she's peddling a profitable narrative; from other sources [1], it seems clear that her position in NK was privileged in relative terms. No doubt she's had hardships, but all her incentives as a professional - what, exactly? witness? victim? - are to exaggerate the harshness of her experiences.

[1] https://thediplomat.com/2014/12/the-strange-tale-of-yeonmi-p...
Presumably because Chromium and related technologies (e.g. V8) have far more investment by the community than Gecko and SpiderMonkey. MS already uses Chromium/v8 in some of their products like VS Code.
No personal attacks, please, regardless of how wrong someone else is or you feel they are.

https://news.ycombinator.com/newsguidelines.html
Well, to me it is a big deal. I'm not trying to make it one, it just is. Best analogy I can give you is probably the one in the sibling comment: https://news.ycombinator.com/item?id=22057875
Is the media too tough on tech?
How much harder do software developers work than coal miners?
I would imagine that email support is outsourced abroad. Less likelihood of customers getting irate over accent/communication issues, and easier to respond to customers at all times of the day.
> "Six of the warmest years on record occurred during the past decade"

This data is completely relative. In the midwest, the last several years have been some of the coldest on record. So while the West Coast had some of the driest and warmest weather, the midwest has seen some of the coldest:

The climate statistics are in from the National Weather Service and winter 2013-2014 will go down as one of the coldest on record in both Missouri and Illinois.

State wide temperature data showed Missouri finished the December 2013 to February 2014 period 4.6°F below normal, which is the tenth coldest on record, and coldest since 1979. Illinois saw its 9th coldest winter on record, also the coldest since 1979, with an average winter temperature 6.3° below normal. Climate records date back to 1895.

https://www.ksdk.com/article/weather/2013-14-winter-ranks-in...
What is your definition of developer-first? My experience working at Microsoft in 2015 was the opposite of what you describe. They were too focused on supporting legacy MS that they couldn't innovate or find and keep talented developers in open source because they were forced to adopt tools and frameworks that were crap compared to standard open source development tools.

The only reason people went there usually was for the money and once they got enough to follow their passion, they left because none of them were passionate about Microsoft.
Making actual progress in software development
How Many Direct Reports? (2012)
The fast inverse square root algorithm Carmack invented for Quake 3's lighting is the definition of elegant code

https://en.wikipedia.org/wiki/Fast_inverse_square_root
I'd only be ok with that if checked baggage came out immediately, with zero wait, and if there was zero incidence of lost baggage.

I know things are better these days, but I've been burned too many times to ever check baggage again.
I'd highly recommend people to stay away from Firebase. The querying options are really lacking. You'll likely get much better performance for much cheaper, and easier to develop for with a cheap postgres instance.
I have been a web dev 25 years. It is nice to see JavaScript based backends mature. One day we will have Ruby on Rails or Django of JavaScript world :)

Next.js examples use npm, but I have seen a lot of new projects to go with Yarn. Is this battle yet decided?
I started doing the Fail and Success type pattern after learning about it in Elixir/FP world. Its been a lifesaver
I have nothing to add that hasn't been said in other comments, so I'll comment on something that surprised me a bit:

> Looking back to the twenty-year-old me and the person I’ve now become, I see almost no similarities, interests, or passion.

Comparing the me of now with the me who graduated college almost seven years ago and I... am essentially still the same guy, only with a lot more money to spend.
I disagree. The CEO seems to be hinting at lean years ahead. She should be cutting her pay instead. Like Nintendo's management did during their Wii U years.
Mozilla uses AFL, which is a genetic algorithm that tests code paths. They are also transitioning to Rust, which will give them a much bigger safety guarantee over most of their code and a much smaller audit surface for the rest.
Like cutting the CEO's bonus for her obvious failure.

I hate that layoffs like this can happen, no executives take blame and they continue to make 4, 5, 10x what those laid off made.
The trouble is that this isn't true for large companies who are consolidating all the farms anyway. They can afford the the new equipment. This is just a niche thing for the family farm which is steadily dying off as they can't compete on price. Sure there will always be some family farms, but no doubt they will be driven to say "organic small farm raised" for the whole foods and farmer's market type niche of people. This "heating up" is a drop in the ocean.
>There's hundreds of other engineers that can probably do as good of a job or better than him.

Says only someone who hasn't seen what happens when the average IC is forced into management.
There are surely other studies but according to an MSCI-study the correlation between ceo salary and company performance is negative. Guessing there is some lower limit though. https://www.msci.com/www/research-paper/are-ceos-paid-for-pe...
I don't think I have seen any marketing material from Mozilla. I have seen some Chrome marketing though.
That would be a bargain if you had other offers for more.
Regarding the phone, I am trying to use my phone as little as I can, but I still do use it some. If you're to chase the latest phone, latest car, you're always going to be wowed, but will miss the other parts of life which I are truly essential.

And the shaming part, I literally don't care what other people think about me in terms of these things. I dress with dignity, have good hygiene, etc so there's nothing guilting me about their expectations.
Maybe just keychain integration on macOS. It's too bad that's not a priority. [1]

Keychain support is the only reason I recommend Safari, because password sharing with iOS is so important.

On Windows it's a big mindshare problem. So I'm supportive of their marketing efforts.

Their best bet is to do affiliate selling. E.g. discount Dropbox subs originating from Firefox.

Don't focus on stuff that Google does well, like e-mail. Focus on stuff Windows does poorly, like OneDrive.

So you're right on the money with password sync. Basically nonexistent in Windows. 1password affiliate selling = A+.

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=106400
One difference that stands out to me about Microsoft vs Google. Both are very heavy C++ shops. Both have invested in developing tools for enhancing developer productivity on their respective platforms (Windows and Linux). Yes, Linux is not a Google product (thank god) but it is what they build on.

Microsoft's C++ IDE and debugger are the gold standard for productivity and ease of use - everyone who writes native applications for Windows uses Visual Studio. You can try it out for free and the price per developer is very reasonable if you want to publish a paid product.

Google's C++ IDE and debugger are nonexistent. Whatever they've built is kept inside the Googleplex never to see the light of day. From time to time we see the occasional free software reimplementation of some facet of the beast (e.g. Kythe) but I haven't seen something catch on.

In fact, the biggest contributors to developer productivity on Linux have been Microsoft (with Visual Studio Code and the lsp protocol) and Apple (investing in clang led to the development of advanced C++ indexers which were impossible to write using gcc due to Stallman making a conscious decision to not allow it)

Of course there is a good reason for this - Microsoft and Apple make platforms. The easier they make software development, the more developers they get, which leads to more software being written, which leads to more users, which results in profit. Google on the other hand doesn't win by making development easy for others. They're themselves a third party and other developers are competition rather than partners. For Microsoft, the existence of developers outside the company using Microsoft's development tools to create software for Microsoft's platform is a win. For Google, the best case scenario is there being no developers outside Google.
How to Get Your Prototype App Off the Ground
Not really able to make a good argument against it, the poor leadership I had to deal with is one of the reasons I left.

I'm still happy to use Firefox and want them to not have to rely on Google Search placement for funding but the company has a shaky track record and it's reasonable to view them critically.

FWIW while Firefox OS was a failure I don't actually view that project as a mistake - trying to give mobile phone users more freedom was a good idea, and we've seen how things have worked out. But they didn't do a very good job of it and that largely is the fault of upper leadership.

On the bright side the worst person I worked with there is no longer making decisions for the company, so that's great.
Very good point. And unlike boarding, trying to handle exceptions first or last doesn't really work because people are physically blocked from leaving their row. I've figured we'd never do this for cultural reasons, it's just something I ruminate over while traveling alone, staring at the empty aisle of a half-full plane.
> How big do you think a "productive browser team" needs to be?

Wait, that was my question...
> BSD licensed browser can become a closed source browser with just a hand waive.

So can a Mozilla licensed browser, the licenses are very similar.

> Chrome has 80% share and introduces a new feature that works only in chrome (let's say, some DRM to watch YouTube videos)

This already exists, it's called Widevine and browsers download it as a binary blob.

This is also a different argument, Chrome vs Chromium. If there was a healthy ecosystem of Chromium-based browsers then one vendor not playing by the rules would have limited impact.
Increase ML performance by removing data?
I’m not sure why this is bad - they directly inform you of the action you need to take.

You could even imagine a case where the lane was closed to customers but perhaps in use for a training. This sign would avoid confusion, whereas a ‘closed’ sign would invite answers.
I don't mind using SQL (and I would actually prefer it) but what I want to avoid is having to build an api middleware with auth for my personal projects. Are there any alternatives to firebase you would recommend that would allow me to use SQL without having to build out an API?
How Square Instruments Testing with Firebase Test Lab
If you enable dark mode in your Windows settings, you can just use the built in browser dark mode. This is also a setting in CSS to enable dark mode when this is enabled. Last, you can install extensions from the Chrome Store.
You can also install extensions from the Chrome Web Store in Edge, there's a switch to enable the feature on the extension management page.
But the web isn't static. Viral videos used to be emailed around and show up on sitcoms. There are a lot of sites that worked well on a desktop, but are frustrating or unusable on mobile. That's especially problematic if your audience moves to the walled garden of Facebook.

Right around that same time (2008) we were using Linux and YouTube stopped working because we had trouble getting a 64-bit Flash plugin--which is/was heavily used for reference. I remember reading up on the inconsistent video format support between browsers. Flash never worked on iPhones yet YouTube had an app on day one.

I'm sure they were pulled to Facebook because of the fake numbers, but I imagine the burden of maintaining their own platform might have pushed them as well. I'm a bit curious if the recent push away from YouTube and building your own platforms will be successful now that a lot of that tech has settled and infrastructure like CDNs and compute is more commoditized.
There probably are, but that's not the issue when recruiting CEO.

You have to find a person with a relevant experience. That's the real bottleneck. Number of people available who have enough track record to be considered to become CEO in a tech company with half a billion in revenue and over thousand employees is small, those who are willing to work for less pay is really small.
https://streetlifesolutions.blogspot.com/2019/10/when-family...
Having kids, any room I clean is in need of re-cleaning the next day. We've solved that by lowering our tidiness standards.
They gave you stock rather than options? Is that usual at that stage?

Any offer I've seen from a startup (admittedly a small sample size, and always later stage) has been options rather than stock, and I've never heard of a company providing enough information to actually value the options.
Is “browsing down” even possible under those circumstances?

From TFA:

There are many ways in which you can build a browse-down approach. You could use a virtual machine on the administrative device to perform any activities on less trusted systems. Or you could browse-down to a remote machine over a remote desktop or shell protocol. The idea is that if the dirty (less trusted) environment gets compromised, then it’s not ‘underneath’ the clean environment in the processing stack, and the malware operator would have their work cut out to get access to your clean environment.
If the position wasn't that challenging to begin with, like this one, I'd hire them!
I think this misses the point somewhat, I think even the typescript people will agree, yes, you CAN pick another language and get better type support ( amongst many other things ). But typescripts goal is to be a superset of javascript, which has resulted in many many libraries now shipping with typescript type definitions as officially supported things within libraries. Elm ( or any other client side language) simply hasn't had that kind of impact. Yes it does still have a bunch of problems inherited from the nature of javascript. Sure, you, as an individual might get good results with your tech choice.

So I think the main thing is typescript should make things better in the javascript world, but due to its ability to gradually adopt typescript syntax over javascript syntax you can live in a middle ground where it's not going to do much for you (or even make it worse).

Ultimately I think compiled WASM based languages are going to take over, but we aren't there yet.
Chrome android features lots of tabloid ad crap in its home page.
I was on a flight a year or two ago where, upon landing, a woman turned her phone on and received a call informing her that her brother had passed away. She was understandably quite distraught as we taxied to the gate, and the lead flight attendant even made an announcement asking everyone to please remain seated so that she could exit the plane first.

Nobody listened.
>I'm pretty skeptical the U.S. military is concerned about wasted ammunition. They waste so much on training and preparation that anything wasted in combat is minimal.

They may not care about the ammunition itself so much but they care about budget and combat effectiveness. It's not uncommon to have training be missed due to ammunition budget shortfalls and a robot without ammunition isn't terribly effective.
That’s kind of my point. I’m very careful about what I install on my computer. I don’t install random crap on my computer from untrusted sources because of the lack of a sandbox.

I install any random crap on my phone and tablet because I know they can’t do too much damage between the better permission model and sandboxing.
Thanks much for writing this. One point that confuses me:

> This plays directly into government willingness to expand on training positions. The government has a budget to hit; in fact, CMS is required to do studies showing that any changes they make will ultimately be budget-neutral, because they're legally obligated to protect the Medicare Trust Fund. As you see above, healthcare costs for the nation scale linearly with the number of physicians: if a doctor's total revenue for the year is capped at available time * service unit revenue/time, well, CMS' costs are that plus the cost of whatever service or drug he prescribes in that unit time. Double the docs, you double manpower costs, and double the opportunities for prescribing, in the context of trying to minimize healthcare cost.

If I understand your first comment correctly, you're saying that the effect of increasing residency slots will be to employ more doctors working fewer hours, but since expenditures for services are more a function of # doctors than # services performed, this will increase medical expenditures overall, which is a non-starter for CMS due to its budget-neutral requirement?
Wow. This makes me wince. My mind is making an emotional connection here to the .org fiasco and recent posts about "the internet of yore". Something(s) odd, unethical seems to be brewing/happening.
https://streetlifesolutions.blogspot.com/2019/09/homelessnes...
Whenever I've flown Ryanair, the seats were assigned and printed on the boarding pass (but you had to pay if you wanted to chose your seat). When was this time that they weren't?
I also agree that it's clearly possible to misattribute an environmental concern to climate change, but at the same time, it's probably reasonable to seriously investigate climate change as a cause in any significant environmental concern that does not otherwise have a clear and sufficient explanation.

It feels a bit like nutrition and health. Of course there are plenty of health problems have little or nothing to do with nutrition, but if you know that you have poor nutrition it's a reasonable cause to investigate whenever you have a non-obvious health problem.
AFAIK they had better reliability than regular ones.
Some advantages of the Caddy HTTP server
Oh, wonderful. Another Naval article that's ultimately about how awesome and knowledgeable he is, and none of his success has anything to do with luck. He's truly self made!

I find his writing reeking of arrogance and axe body spray. Have some damn humility.
TypeScript is great as long your business logic and typings stay simple. When you start doing some weird generics where K extends T and some library interface you'll be wasting your time on things that are quite unnecessary in the end. It would definitely be nice to have types inferred magically but at times you just have to take a shortcut and leave the type masturbation for some other day.

Yet if you follow this rule of keeping type complexity at minimum you have a great amount of space to do rapid and enjoyable development. I'm more of a pragmatist vs theorist so for me, TS has been amazing mix between the dynamicity of JS and type-safety of Java. Some day sure, if a better language comes along I'll hop on but at the moment there simply is too great benefits sticking with TS instead of some other, fancier languages. Sometimes the grass just isn't that much greener on the other side to justify spending considerable time on a new language and its toolings.
A Maine Paper Mill’s Unexpected Savior: China
Rust has nothing to do with QA things since most bug are business logic / UI / UX related. QA don't test for those kind of errors.
Please don't take HN threads further into nationalistic flamewar, regardless of how bad another comment is or you feel it is.

https://news.ycombinator.com/newsguidelines.html
> This data is completely relative.

No, it's not. These are global temperatures. 2019 was the second-hottest year on record, looked at globally.
And average Google engineer work 15x harder than average WalMart employee in US and 200x harder than laborer in India.
I was under the impression that his conclusions come from the same sort of papers we're discussing in the OP, and that the animation is just a demonstration of the effect. Some real-life issues should be addressed in future studies, for sure; for airplanes, it's probably important to model "families" that sit, board, and deplane together. But just listing the variables not accounted for in the study or video isn't scientific criticism, you have to do your own work to actually demonstrate that it makes a difference.
" Powerful! It takes just a few lines to implement your own clone of Vim:"

Uh, ok lol.

" If SQL or Python read like an English sentence, then Haskell reads like math. Feels like math. It is math. "

This is basically why there's a learning curve. Any analogy used as a learning example will typically fall short because in order to fully grasp the concepts you just have to learn the math behind it, because that's by design (denotational semantics).
Sure 2019 was hot. But isn’t the parent questioning whether this causes a loss in biodiversity?
I really appreciate that you put this online.
> Whichever junior marketeer came up with that campaign should be forced to listen to their own work product for a day or two

I’d be willing to wager quite a lot that the marketing genius who wanted that was not junior.
Britain is bad at returning stolen property. Eg Kohinoor