skysight-inc/HackerNews huggingface dataset:
While C# is slowly adopting features from F#, the biggest value that F# provides over C# isn't its feature set. The biggest value is having good default behavior and how it nudges programmers to favor predictable and composable solutions.

There are a million features and defaults in C# that constantly undermine a programmer's attempts to create good compositional code. If you and your team is disciplined enough to avoid falling into the traps, that's good. But a lot of teams are not that disciplined and tend to churn out the same buggy OO code with the same subtle bugs caused by the same default semantics.

Also, F# is a pretty powerful language for language nerds. There's a reason there are literally half-dozen F# to JavaScript compilers, not to mention Erlang, CUDA, PHP (I know), WASM, etc.

Until they start removing features from C# (Maybe something like a strict mode), it will never be F#.
And that's the source of anxiety, at least for me.
> https://www.youtube.com/watch?v=Q3XuFr7rw84

Cool video, thanks. That is going straight to my treasure chest..
This seems like a half-decent bill.

So I guess the Republican-majority Senate will refuse to vote on it just like it did with the Email Privacy Act (passed unanimously by the House twice in the past few years).
Yea, actix is definitely faster than ASP.NET Core and in many benchmarks it is 2x performance wise. My only point really was that ASP.NET core offers better performance compared to almost any other widely used web framework out there.
Additionally, performance improvements have and continue to be a focus, with steady progress to show for it.
Same here. I really think it depends who is reading the cover letter and what they're looking for, doesn't it? I know if I'm reading a cover letter, and it's someone being "assertive" by telling me how awesome they are and how they like to assert control over others every sentence, I'm going to put it at the bottom of the pile, male or female.
I'm curious: What about this quote strikes you as religious?

I'm a layman, but the citations at the end of this article seem compelling.
Since Git's DAG is a hash tree where each commit points to its parent(s) and its own hash is derived from that, then presumably it would suffice to do this only with the first commit.
ahh interesting. I'm actually using Rider for most of my work
It's hard to make sweeping claims without knowing what this exact bug looked like (and the associated chromium issue isn't public yet, I believe). Generally speaking, memory-safe programming languages (Java, Safe Rust, Python...) shouldn't have any heap corruption bugs (modulo bugs in their implementation, of course). Memory-safe generally means that memory corruption of all kinds are impossible. But Heap Corruption is a very broad category.
That shows the masks are working.

Since the number of infected people have increased, the rate of infection should also increase. If it remains same, then there is an actual reduction
So you have 200 WhatsApp channels? How do you keep up?
Before choosing Scala I think you should watch this talk: https://www.youtube.com/watch?v=uiJycy6dFSQ (note: he's not a troll, he worked 5 years with Scala)
Thanks! I think?
For most people, regular consumption of Taco Bell is probably a worse health risk than COVID-19. Obesity and hypertension are known killers on their own, and also increase the risk of a bad COVID-19 outcome.
"Eventually, all DRM will be cracked" LOL. Gerhard Lengeling would like a word. He spent as much time implementing the copy protection for Notator as he did writing the program itself, which copy protection involved a dongle in the Atari ST's cartridge port. And despite crackers' best efforts, it remained uncracked for at least two decades.
You're perspective is skewed by living in one of the craziest housing markets in the world. Here in exurban Maryland (not to mention say Kansas City or Iowa) young people are buying homes and having kids.

Millenials earn more than their parents did: https://www.pewresearch.org/wp-content/uploads/2018/12/FT_18...

They pay less on a monthly mortgage payment than their parents did: https://www.motherjones.com/wp-content/uploads/2017/10/blog_...

Also, two-earner households were already the majority since the late 1960s: https://files.taxfoundation.org/legacy/docs/22.jpg. The percentage of households where only the husband works dropped a bit from 1980-1990, but has been basically unchanged in the last 3 decades.

The thing you're overlooking is that the median young person lives in Kansas City (or whatever the equivalent is for Canada), not Vancouver. Those young people living in Vancouver are getting screwed for sure. They should vote out the liberal governments causing housing prices to skyrocket through overregulation, causing credential inflation by throwing money at universities, etc. Or they can move to Kansas!
I'm unsure why you wouldn't consider wearing a mask to "be the right thing"

I don't think anybody is saying that masks are a panacea - that would be "everybody stay home until we have a working vaccine".

However, they seem a completely sensible thing that you can do that reduces transmission (so some extent at least), whilst allowing you to go about your normal life relatively unimpeded.

A bit like speed limits on the road - something legally enforceable that 'generally' reduces risk for us all. You can make exceptions as to why you don't feel you need to comply "There was nobody else on the road", "I'm a great driver", "My car has auto-braking" or "German autobahns don't have limits and are safer" - but most of the world has decided it's safer that most roads should have a limit.
And Rome could never be sacked by barbarians.
Bro why are you even on a startup forum if basic things are so hard for you
Diane wrote an analysis of how many bugs would have been avoided had the Servo style system been in Gecko all along:
https://hacks.mozilla.org/2019/02/rewriting-a-browser-compon...

"There’s a significant overlap between memory vulnerabilities and severe security problems. Of the 34 critical/high bugs, 32 were memory-related."

Rust doesn't fix everything, and this result won't hold for code that is itself security logic (ie, crypto implementation) as logic errors are also very bad. But fixing memory safety does address almost all the high and critical severity issues.

Microsoft published similar research: https://msrc-blog.microsoft.com/2019/07/18/we-need-a-safer-s...

Keep in mind that the Gecko style system has had two decades of work before the Rust code came along, and was written by some excellent programmers. It was extensively fuzzed for years. And still, Rust has enormous potential to solve these security issues.

Only time will tell if the next decade with Rust will pan out as the data seem to predict, but I am quite hopeful.
Hopefully not quantity as measured by lines-of-code...
Data Science Real-Time Collaboration Tool–Deepnote–Is Now Open for All
You mean this one: https://en.wikipedia.org/wiki/Kord_machine_gun ? I thought the name sounded familiar... but actually it was because I read about the Russian N1 would-be moon rocket recently: https://en.wikipedia.org/wiki/N1_(rocket)#Engine_control_sys...
Cost/benefit. The procedure is not free, and there are harms associated with the procedure that are unlikely, but push it into negative ROI. In particular pay attention to the risks of the procedure; it’s not common (neither is colon cancer in young people) but people do die of complications from the colonoscopy.

I actually saw some discussion a few years ago saying that the procedure is a net harm in all age groups if there are no symptoms/genetic predisposition, trying to dig up a ref and could only find https://www.cancerdefeated.com/the-tragic-risks-of-a-colonos... so I might be misremembering that detail.
If you are going to wear a mask get a p100 [0]. Removes 99.97% of all particles that are 0.3 microns in diameter or larger. The lame part is covid is: 0.06 microns to .14 microns [1]. In theory though covid will be attached to a larger particle.

https://www.cdc.gov/niosh/npptl/topics/respirators/disp_part...

https://www.usatoday.com/story/news/factcheck/2020/06/11/fac...
Oh my goodness! This is something that I think you need a sizable open source community to build and maintain. This platform is not close to something you can rely on to build your new startup / business. I don't want to denigrate the efforts of the founders / devs but this is just an insanely huge amount of effort. Entire companies are built to just to provide a small subset of what Dark is trying to accomplish. The employees must be super stressed out! I would focus on maybe just the IDE and deployment. I don't see why you need an entire new language. I could see this being an advanced IDE to churn out server-less APIs plus some closed-source packages to provide magic. But this is just... woah!
> If someone produced a study categorizing a high speech volume as "Hispanic language" and saying that Latinos like me get hired less when we use "Hispanic language" in interviews, I'd be pretty mad.

Except there's a great deal of cultural, historical and linguistic evidence that assertive language is considered more masculine, and communal language is considered more feminine. There would be no such evidence supporting a cultural bias considering high speech volume as "Hispanic language" that I'm aware of.

It shouldn't be controversial to claim that, traditionally, "masculine" as an ideal is defined in terms of assertiveness, dominance and hierarchy (particularly in business) whereas "feminine" as an ideal is typically defined in terms of empathy, submissiveness and collaboration. While English is not an explicitly gendered language like Spanish or German, the ways that masculinity and femininity are expected to be expressed within Anglophone cultures inform the way language is used as expression within those norms[0,3].

You are correct that this is stereotypical, as most gender conventions are, but incorrect in asserting that this stereotype does not exist beyond the authors' personal bias, and therefore, is useless in studying gender dynamics. Indeed, the entire point of the linked article is to study the effects of that bias and those stereotypes on the hiring process. Seeking to ignore that aspect on the basis that referring to stereotypes is itself engaging in stereotyping would miss the point in the same way as ignoring race in a study of early American slavery on the basis that focusing on race would be racist.

Women are Warmer but No Less Assertive than Men: Gender and Language on Facebook[0]

[0]https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4881750/

Gender Differences in Communication Behaviors, Spatial Proximity Patterns, and Mobility Habits[1]

[1]https://www.researchgate.net/publication/305616148_Gender_Di...

What Is Feminine Style Rhetoric and Why Is It Important?[2]

[2]https://jenniferspoelma.com/blog-feed/feminine-style-rhetori...

Masculine-Feminine Difference: How We Talk[3]

[3]https://www.huffpost.com/entry/masculinefeminine-differe_b_5...
Threema Multi-Device: An Architectural Overview
There are other ways. I encourage you to research The Great Barrington Declaration.
> I would also argue there's a fair bit of innovation in the .NET Core world :)

They need to make it more visible if there is! I think it's pretty rare to see a .NET paper. I can't remember the last time I saw one, where there are tons of major JVM research projects.
The list is only for non-essential services such as website analytics. Is there a better cite for Czech Republic? Happy to edit.
Beat Technology | Bergen, Norway | Backend Developer (Scala and Elixir) | Remote (European timezone) | Full Time

Beat Technology is an audio streaming service provider that provides the platform behind several major European audio book streaming services. We are looking for full-time backend developers who want to do functional programming.

More details: https://gitlab.dev.beat.no/-/snippets/118
Farmer Builds Irrigation System Using Waste Glucose Bottles
Send pizzas to polling places with long lines
Compulsory Voting
Sorry. 2004/5. My memory was a little fuzzy.
The sales of shares privately to a group investors in 2018 sounds very dodgy to me. Frankly, listing the company in Shanghai Exchange will give it a much higher valuable than in an US exchange.
We can't complain about things being wrong. We can't correct things that are wrong.

But we can educate others that we are the sign of life and we are the life. Take a breath, and cherish that.

At one point, it wouldn't matter if there is life outside our galaxy or life outside our solar system or outside our planet or outside us.

Only thing that will matter is there is life within us and our focus will shift there.
This is an interesting take. If you look at the current top 10 supercomputers, half of them have GPUs. As as outsider, I've assumed this recent move of adding matrix support and wider SIMD to HPC CPUs as a means to help with the bandwidth problem, not ignore it, by decreasing the need to shuttle data between the CPU and GPU. I wonder what I'm missing.
Design Thinking Toolkit – Cover Story
No, no. If they figure it out, you send THEM a DMCA notice for circumventing encryption to gain access to copyrighted content. Of course, you write your license (unencrypted) as open source except for specific companies.

Edit: On second thought, I just visited riaa.com . How about we lobby jQuery, WordPress and bootstrap to add a specific exclusion to their licensing? Now, this wouldn't affect the RIAA immediately, only the next time they update.
No, it doesn't. It's a reason to not tax them. We try to tax consumption, not production in the modern world. Plus what the other commenter said.
Not sure if HN understands what science is, because I caught reddit saying a scientist's opinion was science.

Science is science when an author can be removed from a study and the experiment can be repeated. A 12 year old or science hater should be able to reproduce the results if it's science.

Things that aren't science-

>Authority- A PhD/medical doctor/a scientist, these are human opinions, not science. They can cite studies to be scientific.

>Art

>Tradition

There's value in non scientific disciplines, but they have their own burdens to be aware of.
Indeed. When we did our first React applications without a JSX compile step, we even went further with the syntax with the power of functional programming. You could do stuff like:

div({className: 'm-3', onClick }, 'the text')

Or go an abstraction step further create your own elements as a function, that take in custom parameters:

navBar([navItem('Home', '/'), navItem('About', '/about')])

I mean, isn't that line actually quite expressive? It felt powerful to build the DOM exactly as you needed. You could generate anything without having to worry about JSX syntax, cause it's all JS and you can abstract using all of your toolkit. And if something goes wrong, you never have to look at JSX documentation or the JSX compiler output.
If you want the government to enforce a maximum price on a good then you should demand the government itself to sell that good for a fixed price under some sort of rationing rules so that everyone gets their fair share. Anything else will just lead to mismanagement.

Don't make the mistake of ignoring physical reality when talking about economy. A market isn't just a list of prices. Behind those numbers are real goods that exchange hands and have to be produced. If you just play around with some numbers you don't change anything about reality. Government price controls such as minimum wages or maximum prices for goods are just that: Playing with numbers. Since the government absolves itself of the consequences of its policies it can promise the moon and get away with causing pain and suffering.

If you really want a solution then you should start by enacting a policy that combines both the physical and economical world and sets the right incentives. Instead of a minimum wage have a job guarantee, instead of enforcing a maximum price on private sellers have a commodity guarantee that you will sell and produce masks at a fixed price. Once you fix the physical world the economical portion will fix itself.
WSJ: Quibi Was Supposed to Revolutionize Hollywood. Here’s Why It Failed
There are striking differences in infection rates between countries. If you think masks are not effective, then go find out what is effective and argue for the merits of that instead of just lazily spreading FUD about currently accepted best practices.

(At some point we need to start viewing these types of comments as likely coming from Anti-American disinformation farms.)
WCWDIX: What can we do in 1 year, 1 month, 1 week, 1 day, 1 hour, 10 minutes
The cpi is not a foundational premise of any argument in this article so I find this to be a strange critique.

Lyn Alden frequently makes the same arguments against CPI, in fact, most economists do. So this is a bit of a non statement.
I guess anything that is fined or outlaws is eventually "enforced by violence" but it's still a silly argument. If a store asks you to leave, and you don't, and the store calls the police to arrest you, you aren't being arrested for not wearing a mask. You're being arrested for not leaving when asked.
In that case the problem is that you've hired someone that lacks the emotional awareness or worse doesn't care that they're making people uncomfortable with the jokes, not "bad culture fit".
Whether someone cares about how their behaviour affects others definitely sounds like something that should affect a hiring decision.
Sorry, fuzzy memory. I got my account maybe a couple of months after Gmail was released, so more likelly late 2004.
Why are the editors of a novelty book the authority and not, for instance, the FIA? GWR don't accept some kinds of records, does that mean they don't have one?
London street evacuated after two houses collapse during building works
processes do provide well defined boundaries that can guarantee the integrity of each component separately, so it is realistic to be able to design an application that can survive the loss of one component even in a memory unsafe language.
If it's open source, the audience isn't just end users, it's also programmers. They might be interested in looking at the code, reusing it in some way, or even contributing to the project.
I hope someone can tell CERN they need their particle physics verified by GWR.
> How is Twitter a source of information rather than gossip, opinion, and outright information warfare conducted by both sides?

Your Twitter experience will be wildly different depending on who you follow. If you do this with some care, and also don't take everything at 100% face value, you too can have a low-misinformation Twitter experience.
The creators of Perry the Platypus have been vindicated.
Please, don't make personal attacks in HN. This is explicitly stated in the code of conduct, and it's generally expected in the software community.
> "I’m not sure what there is to lament except maybe a lack of processor and OS variety?"

Yeah, but that's something we should lament; we're stuck at a local maxima for both. The ability to try out new ideas and architectures has been curtailed because no competitor can get enough momentum to stay alive long enough to displace the entrenched incumbents.
Why someone would trust a libertarian think tank when it comes to epidemiology is beyond me. You'd like to know: what do the Koch brothers do? We know that they say, but do they take their own medicine?
At least 90% of the banners I get hit with around the web are automatically not GDPR compliant because they require you to opt out. It's amazing to think of the effort that's been expended implementing them while still failing to follow the law.

I'd call it a legal fig leaf, but it doesn't cover up anything at all.
Housing prices are going up regardless of land availability. In a smaller Midwestern city I visited this summer, there is essentially unlimited land in all directions from the city center - it is just farm fields. Regardless, the new construction they build is still priced 50% more than the exact same homes would have cost just 8 years ago, or about triple what they would cost in late 90's. You can verify this on sites like Zillow.

$8 / hour was the 'retail' wage back in the 90's in this area, and now maybe it has gone up to $14. I would imagine the professional salary has gone up even less - it has certainly not tripled from 1998.

Housing has far surpassed the rate of wage increases even in areas where land is not constrained. It has far more to do with interest rates and the monthly payment.
It was, just not quick enough for something that people needed quickly. Similar in the case of PPE
You can also just not use npm!
Nobody should draw any conclusions based on the headline or the summary linked here, but the actual research paper is behind a 30 dollar paywall...
The epidemiological curve is actually linear (constant derivative) in the middle. It's basically an S-curve in our parlance.
To me, the most interesting part of Dark is their dedication to tightening the feedback loop in website development.

It caches recent requests to your site, and as you make changes it constantly re-runs those requests showing you the resulting live values in code. This is close to something like Excel where code changes are instantly and visually applied to the input data.

There's incredible promise here, and I believe similar fast-feedback paradigms will become the mainstream programming experience within 30-40 years. We've already had a taste of this with Jupyter Notebook's ubiquity across data science; despite its many flaws it lets people iterate just a little faster.

As for Dark itself, it feels they put too much emphasis on language and not enough on ecosystem. I wish they had focused on a fresh new IDE experience for Django or Rails rather than additionally building a entire language and syntax from scratch.
If you know anyone involved in creative work, you would bite your tongue before saying DRM is unethical.

Such people universally, to a man (or woman) believe that unauthorized distribution of their output is unethical because it makes them unable to make money for all their hard work. Inasmuch as DRM prevents this, it is a boon to these people.

DRM is a part of life now. Without it, you would not be able to enjoy the rich variety of content available on today's internet.
Carcinisation truly knows no limits
It’s not dangerous, it’s just a sometimes sensical and sometimes somewhat wrong approximation.

Anyone who has ever used the browser DOM and starts using react will intuitively understand this from day one.
i could see an excellent webcomic being made out of this
Why coding concurrency is hard
No, they are moving from OCaml because it "has been a little unsatisfactory". If you read their blog post, you will see it's mostly self-inflicted pain: they suddenly discovered vendors don't ship SDK for niche languages, they wrote single threaded code because they couldn't figure out how Lwt - probably the most popular OCaml library - works and apparently couldn't be bothered to ask and failed to understand how the debugger works (like GDB and with documentation shipped with the compiler).

I mean, F# is a very reasonable choice if you want the .Net ecosystem and will most definitely solve the SDK issue but the whole thing certainly didn't convince me to try Dark.
I'm not sure. I do know that you could, for instance, have your gold sent to a scammer with little to no recourse. It may be possible that this bug still exists because it's one of those "bugs that is also a feature".
Oh thanks. I was worried I might break a law or two there. To be super careful, I'll leave a comment to save the warning.
How to Destroy an Arduino [bad wiring]
I tried this but then basic, very popular packages would fail to install properly. I couldn't even run npm start for my projects -- it would fail silently. So I had to revert because I couldn't get any work done.

Was I just doing this wrong?