skysight-inc/HackerNews huggingface dataset:
The US has a long history of refusing extradition requests by allies despite overwhelming evidence. It's become a one way street.
The UK has blocked extradition to the US before even though the guilt is assured[0], the alleged crimes here are nothing in comparison.

[0] https://en.wikipedia.org/wiki/Gary_McKinnon#British_governme...
Thanks, I think we find ourselves in the same boat.

To everyone else - maybe I should have asked a better question, but it's quite clear to me now that people are in fact using this in production. That's great. My only question now is, what is Microsoft's strategy here? There's no money flow with .net core as far as I know, so why put in the effort?
Beg to differ, yes, implicit call order will result in huge clusterfucks. React+Redux is already causing Frankenstein apps (which is not implicitly caused by those frameworks (ok, maybe except redux) but when you throw in react-redux, react-router, redux-thunk, etc. in the mix it just deteriorates quickly).

Well the NPM report showed us the trends. Every major fad peaks around 5 years in the making in JS land and then it fades away. We are halfway through. We just have to sit through the next 3-5 years.
Okay, hold up. "grated it was very low tech"; where did you learn about this (or is this an opinionated downplay)?
Lots and lots of new "features" isn't necessarily a good thing.. Also F# already has many of the features that are being added to C# and TypeScript ;) I for one would advise Microsoft to sponsor more work on F# libraries, such as in data analysis & TypeScript interop..
You are responding to a Tesla shill account. I can't find any information corroborating what this person is claiming about Tripps attorneys.
> the alleged crimes here are nothing in comparison

Willfully violating sanctions is a serious crime.
They also mean futures with a large number of humans, for someone who cares about that as part of their utility, are incredibly unlikely. This is implausible.
Nothing is capable of describing itself and the system in which it exists. It’s a much more complicated version of a file that contains its own hashsum
From the script of The Mother of all Demos (its 50th anniversary noted elsewhere in HN)[1]:

"...the general approach for us, empirical but pursuing this monstrous goal, monstrously difficult to like building and trying empirically, and we’re approaching it evolutionary-wise because we feel that it’s a whole system problem, you need to get a person in that environment, working and looking at the many aspects of his working system that are involved in his effectiveness. That’s many more things than just these computerated tools. And in a large system like that, we need to do it evolutionary-wise because we can’t be analytic enough about it at any one point, to decide what best our next thing should be. We can only decide from here as well as we can analyze it, where we can invest our next resources to get the most return that will increase of the effectiveness of the system we have and this item down here is the term boot-strapping applied in a slightly loose sense. We’re applying that to our approach".

[1]: http://dougengelbart.org/pubs/video/fjcc68/Englebart's-1968-...
> I haven't seen a single example of a practical application written in .net core or a company that uses it

We[1] have multiple teams working with it right now (we're strangling our netfx 4.6 monolith), and some of those teams have already pushed their work to production.

The big advantage that I've seen is that it puts teams in charge of their own destiny. I remember the upgrade from netfx 2.0 to netfx 3.0: it was awful. The entire codebase had to be upgraded. Customers had to be upgraded to netfx 3.0. If another vendor futzed with and broke the machine.config, we'd break. With netfx you are perpetually behind the curve and at the mercy of the admin, especially if on-prem is a concern. netcore is xcopy deployment, runtime and all. You can use netcore on alpine[2] (netfx only works with Windows containers).

> there isn't any reason for them to focus on it.

1. Even if nobody was using it, I bet Microsoft would use it themselves. It is so much better than netfx.

2. Azure. It does run outside of Azure, obviously, but the Azure integration in VS is a powerful bait and hook.

Plus, for something that there's no reason to focus on, they are certainly putting a lot of focus into it. Even if I haven't figured out the true reason to focus on it, there clearly has to be one.

> There just aren't many available alternatives to the frameworks and packages

That was an issue up until, maybe, a year ago. Most packages have netstandard (a build target that works with netfx and netcore) support nowadays. If they don't, they are probably unmaintained.

[1]: https://www.k2.com/
[2]: https://hub.docker.com/r/microsoft/dotnet/
> If your web browser is compromised, that's malware running on your system right there.

This is a bit naive. Browsers execute malicious javascript on your system all the time. A V8 sandbox escape is worth retirement money for a reason.
Im going to resist the urge to copy/past Molly Blooms soliloquy here but for those who like particularly long sentences its quite the read.

https://archive.org/stream/MollyBloomMonologEnd/MollyBloomMo...
Aussie software firm claims encryption law will slash its profit
.. tried Zathura on LUbuntu just now for the first time ; appears to be a VIM for documents viewing or something.. no interest in Zathura here!
Here come the wumao, arguing that "Canada should have known better." Canada is doing exactly what it should: uphold rule of law, including treaty obligations.

The issue is extradition of a bank fraud suspect, no matter how much the delicate feelings of China get hurt.

Who would prefer to let a person commit fraud and walk away if they are rich or have powerful connections? You can bet your asses that no one would care if Meng was an uneducated, poor, and unconnected fentanyl seller.

The arrest disturbed the hornet nest of Chinese state power, so bring out the pesticide.
I was under the impression that PDF was created as a response to postscript being "too programmable" and not "document enough" but then they decided that PDF is too minimal and so they ended up bloating it beyond what PostScript ever was by including JavaScript, Flash, and other trash in it.
You make some good points, but it still boils down to instant communication.

Updating software quickly is difficult without internet. Getting feedback quickly and cheaply also isn't.

So you're right that agile isn't just enabled by instant communication among developers, but I still think it's enabled by fast communication generally, including to and from the end-user.
I feel like if you’re a corporate buyer of Adobe software, you’ve got grounds for gross negligence here?
People are jumping to a number of conclusions in these threads with little evidence. The rapid down-voting is crazy.

There's no confirmation that this had anything to do with Meng, or that these people weren't guilty of something worth investigating.

Wait for more details before assuming that everything is connected.
also ranger for file management and saka key firefox/chrome extension
This research would benefit from studying the AI debates in computer science, to catch up on 50 years of philosophical analysis on the complexity of intelligence.
Oddly, most truly disastrous projects I have seen, have had no small amount of over engineering.

There has been a bit of not understanding the requirements. But more is in not understanding current personal capabilities or needs.

Think of it as training for a marathon. At the end of the day, it is knowable how many calories you will need to burn and how far you are going to run. You are still far more served by running several five and then ten kilometer races, than you are studying the marathon track you want to run. Similar goes for software. Make a few customers happy. Then more. Then more. Don't stall out thinking you need to be at Twitter scale for day one. Not even Twitter did that.
Researchers Suggest Broiler Chicken Will Denote Our Current Geological Age
Meng was arrested for fraud, lying to U.S. banks and violating financial disclosure laws; no different than any garden variety money-launderer.

Most importantly, she's had a day in court, been granted bail in a hearing that was open to the media, and if extradited, will receive due process and a fair criminal trial where everyone will get to see the evidence against her.

These two men have been 'disappeared'. Good luck ever seeing any shred of due process for them. Not even the most shameless Xi mouthpiece can credibly claim that China has anything resembling an independent judicial system.

It's not surprising that all Chinese media and all commentators loyal to the Xi clique have cynically framed this in terms of Meng being 'abducted' or 'held hostage'. The worldview of authoritarian, personal dictatorship cannot even conceive of due process and the rule of law (which also accounts for some of the idiotic off-the-cuff remarks that Trump has made - fortunately, the U.S. still has a semi-functioning government with separation of powers and an independent judiciary, so he's not really in the saddle here)
Particle Swarm Optimizer – The Hive Mind
It would be great if openssh integrated into Windows properly. I can't ssh in as a user with any real permissions.

https://github.com/PowerShell/Win32-OpenSSH/issues/139
I used to love F# before .NET Core, but then it was broken for two years for any sane design time experience on Core. I even wrote some rant about it with specific concerns I had (http://hotforknowledge.com/2016/10/19/4-functional-for-thoug...).

Two years later.. and very recently the .NET Core story started to work well, tooling improved to quite workable state, and in combination with C# it's very strong mix of practicality/performance + complex flexible abstractions and correctness.

Over that time F# has added quite a lot of low-level performance features (on par with C# - Span/Memory<T>, ref structs, struct tuples/unions, voidPtr, etc) and they just work. Build time is probably the main concern now, I have to disable building F# projects when they are in a solution but not touched because even on i7-8700/16GB it's very noticeable.

Two weeks ago I needed text parser and picked familiar FParsec. It's one of the fastest one in .NET (including C# ones) and is a mix of C# for low-level stuff and F# for powerful abstractions. I refactored it quite substantially and tooling was finally nice. But my attempts to micro-optimize it yielded only in substantially reduced GC due to the support of value structs and Span<T>, throughput was already quite optimal from .NET perspective (only c.<5% gain probably due to GC), so if used with care F# could be as fast as C# (which BTW is native-like fast when also used with care).

I believe such mix is the winning combination: C# is best for low-level high performance stuff, F# is best for complex things such as recursive data structures, analytics and so one.

My big concern is that F# community is great but often F#-only focused, e.g. reinventing existing C# libraries just because it's not F#. This isolationism from .NET as a uniform platform led for example to things such as F#'s `async` is better than Task Parallel Library (C#'s async/await machinery) in theory/design, but TPL is so much superior is usability, performance and deep platform integration but F# cannot use it directly. Without native TPL `task{}` F# is not a fully-featured .NET Core citizen but a niche language for specific tasks where it shines, e.g. to write a AST parser for a new query language. Sad that MSFT invests so little in F#, but the language is definitely is alive, is improving and is worth using.
Fuschia code gets added to AOSP
TF only? Any reason why, besides Google tech lock in?
To be fair to the author, std::optional was added in C++17, which came after this blog post was written. I agree, maybe if he had written it today his views would be different.
Original Paper: https://royalsocietypublishing.org/doi/10.1098/rsos.180325
Funny -- I believe this price situation repeated itself with the PS3 and Blu-ray.
I just want to say I called it: https://news.ycombinator.com/item?id=18606247

I'm keeping my tinfoil hat securely fastened.
A cyber war between China and USA is about to unleash
We got a green light for a complete rewrite, but only because of licensing issues with the original code. I'm just hoping we don't fall for the second-system syndrome.
Different systems and real differences. China does not have the rule of law or separation of powers like western countries have.

In the west it's not easy for the executive branch to interfere with individual cases. US or Canada executive branch can't just tell justice department to arrest someone. In China that's possible and common.
What do you use? I also had good experiences with Okular in the past but I have not tried it in ages. Before moving to zathura I used xpdf and evince but I was not satisfied by them (not to mention that they do not support postscript and djvu).

Zathura does have some vim keybinds but other than that I can't see any similarities.
and just like that, you've convinced me to install it. Different strokes for different folks, I suppose. :)
The idea that Meng was arrested as part of a ploy in the 'trade war' is completely unfounded. These investigations take years and are initiated by the independent justice system. Trump can run his mouth off as much as he likes, but the U.S. system is not structured like China and the executive does not have supreme authority to direct arrests and prosecutions.
Libpoppler has poor support for PDF Forms (especially Unicode[1][2]), embedded animation and 3D extensions. In my opinion these areas are very important in real world document exchange to be ignored (as it is a case for PDF FOSS tools).

[1] https://bugs.freedesktop.org/show_bug.cgi?id=17913

[2] https://gitlab.freedesktop.org/poppler/poppler/issues/463
It's not the same. A computing system is theoretically capable of recompiling itself on the fly; traditional projects don't even think of that kind of frequency.
I've seen this brought up quite a lot, but to me, a Chinese national, it's confusing how judiciary branch is independent.

Didn't Trump nominate the supreme court justice? And isn't the nomination confirmed by congress? What about the constant conservative vs democrat number battle in the supreme court?

Also, didn't Trump himself say that he can intervene in Ms. Meng's case?

Edit: Great. Thanks for the downvotes as answers. Now I have a better understanding of how things work in the US.
And if you're looking for an example of a kernel being developed in C++, look at Zircon [1] (the kernel for Google's Fuchsia project). It's certainly past the "trivial complexity" phase, and doing just fine.

And of course, things like RAII are incredibly useful when managing resources, and templates for encapsulating generic data-structure behavior in an operating system.

[1] https://fuchsia.googlesource.com/zircon
Why US sanctions is legit and should be obey by any country?
PUBG and Fortnite are the best ‘Battle Royale’ ever created
> Crown counsel told a Friday bail hearing in B.C. Supreme Court in Vancouver Friday that Meng is "charged with conspiracy to defraud multiple international institutions"

https://www.cbc.ca/news/canada/british-columbia/bail-hearing...

Do you foresee extradition requests for EU executives doing business with Iran?

https://www.dw.com/en/eu-plan-to-sidestep-iran-sanctions-how...
Nobody played Canada. There is an extradition treaty which specifies when one country may arrest suspects in the other country.

Rule of law.

Neither popular opinion nor pressure from government executives supersede the law. If the law is thought to be wrong, then a challenge may be taken to the courts.

When will China's pleistocene concept of law catch up to the 21st century?
No doubt he was an extremely serious and devout Catholic. That's why I want to push back against 'catholicherald' propaganda that being a good Catholic requires you to either heterosexual or celibate.
Canada was fulfilling an extradition treaty it has with the United States. It really had no say in the matter.

This should be of surprise to nobody.
for a while, then higher level consultants fixed numbers while we were reorganizing ..
It's mind-boggling that they don't cite Gödel.

Edit: This is a Quora gem: https://www.quora.com/Did-Russell-understand-Godels-incomple...
Ask HN: Comparing object detectors
Let's say you you two object detectors -

FasterRCNN with Resnet backbone and SSD with Resnet and focal loss.

Both have similar loss but difference in mAP. How do you compare these models. Does low loss imply both understand the dataset equally good but the variance aka generalisation is better in the one with high mAp
Motion Study with Slick Slider
I don’t know if this is true, but I’ve been told that the pdf spec at one point did/does contain some MS DOS emulation.

I’m seriously close to banning acrobat the program for my employees, just haven’t found a rock solid alternative that I can trust to not implement the same dumb parts of the spec.
The crime is not trading with Iran, the crime is defrauding the US financial system in order to do it. For some reason, this is framed as though Huawei is accused of trading with Iran completely independently of the United States. That's not the case at all.
Extrapolating from that, I always find it amusing when people seem to have global politics figured out, not realizing that it's a complex dynamic system with hundreds if not thousands of agents at play, when they ,the very same people, would be lost watching a two-player poker game.
Been learning F# the last two months. Wanted to learn Ocaml first. But F# is the sweet spot, beautiful functional syntax . Can leverage the now open .Net Ecosystem + pretty fast for doing financial stuff that I wanna do.
Is there any reason you decided to take loans instead of using the GI Bill? Genuinely curious.
I'd say that it's more about the ability to manipulate its own hash (aka Gödel number). But that's probably what you meant.
This is actually one of the strongest arguments against writing performance sensitive code in C++.

Because of operator overloading, I don't know if `A * B` is incurring a (nontrivial, arbitrary) function call. Maybe it's just normal scalar multiplication, maybe it's finding the dot product of two arbitrarily sized matrices.
What way of structuring frontend prior to the react/redux 'fad' do you think was superior?
Because there's a standalone emergency room located in the shopping center by your house, and you don't realize it isn't just an urgent care center.

Which in turn is probably because only a few years ago, emergency rooms were essentially only located in hospitals, and you don't realize anything has changed.
The biggest problem with C isn't even it's lack of type safety, undefined behavior but that antiquated macro system which does more harm than anything.

Imagine if C had a solid AST-based macros system...
I have never seen anyone use any of these features in the real world. I presume that embedded animation and 3D extensions are used in art-related fields? If so that would explain my ignorance.
Gixie Clock:Most beautiful Nixie tube clock
This is how you get the equivalent of `if err != nil { return err; }` everywhere in your codebase. We've already come to the conclusion that this pattern is terrible.

What you really need is to separate object allocation from construction. But then you're adopting an object model that C++ just doesn't support.
> Ads are the result of someone creating value

Consumption by itself does not add value to society. It's arguably harmful. Corporate profits do not directly add value to society. Once again, they are arguably harmful (excess productivity being siphoned off, etc).

Ads drive unnecessary consumption. Do you think our society would be better, or worse, if soft drinks had never been advertised? Or how about cigarettes?

Ads are neutral at best, and typically harmful.
This is precisely the hazardous morality we begin to enter when we become as passively engaged as social media allows. The platform becomes an antidote to sadness; social media has reached a place in society where it's casually being used as a means for self-medication.

People who are on social media appear to be deluding themselves into believing that social media can offer some sort of support and minimize the pain, but this is probably the biggest misconception about which we can convince the public otherwise.
There is way for free with CodenameOne.

And there is another way paying for GluonVM.

EDIT: corrected my statements based on comment below.
1. Canada doesn't spy China. They cannot be spies.
2. China is an authoritarian state. The two Canadian are innocent.
3. I have made my mind before reading the article.
The executive nominates judges, but they hold tenure for life and after confirmation operate with complete independence as a separate branch of government with their own budget etc. The Supreme Court is also irrelevant to this because they do not initiate investigations, they do not oversee prosecutors, and they do not administer the justice system. They only hear cases about Constitutional issues - not criminal issues, so unless there's a constitutional dispute a case has no chance of reaching them.

Judges in general do not oversee or initiate prosecutions, U.S. attorneys do. They're also appointed by the executive, but they operate independently and while, subject to Congressional oversight, he can fire some of them (but not the permanent civil servants who are the bulk of the staff), he cannot directly order them to do anything.

In any case, an investigation of this complexity almost certainly started under Obama, just because they tend to take many years to reach the stage where charges are filed.

Trump frequently claims to have powers that he does not have. He has said many times that he is going to do something only to find that he cannot actually do it, and so it hasn't been done.
The entire modern economy seems to exist for, because of, and due to ads.
Airline industry’s net profit to shift slightly ahead in 2019, says IATA
Given that C++ is a superset of C I don’t get why the author wouldn’t just cherry pick the features he needs. Nobody is forcing you to use exceptions or the STL in C++ but you can still get templates and namespaces and smart pointers and references and const and better string handling...
Sanctions imposed by the U.S that hold no merit according to WTO or International law aren't even legal and are in fact considered an act of war. The only crime committed here is by the U.S.
UN sanctions were lifted on 16 January 2016.

The US unilaterally decided in May this year they want to pull out of that agreement.

The EU is still pushing ahead to have their largest companies trading with Iran despite American protestations. We both know nothing will happen to Daimler or Societe General execs.
Which is why U.S. banks simply get a fine when they do it. The hollier than thou attitude when it comes to discussing China online honestly urkes me.
Pretty sure that pdf.js from Firefox is safe. At least it runs as sandboxed javascript in the browser. I believe a standalone client may exist as well.
And this is part of why I never ever ever "write one to throw away". It's very rare that it actually gets thrown away and redone "properly".

Also I just don't want to waste my time writing something that's for sure going to be discarded. There's a middle ground between "write something held together with duct tape" and "write the most perfect-est software anyone has ever written". My goal is always that the first thing I write should be structured well enough that it can evolve and improve over time as issues are found and fixed.

Sometimes that middle ground is hard to find and I screw up, of course, but I just think writing something to throw away is a waste of time and ignores the realities of how software development actually happens in the real world.
Canva: Why we left manual UI testing behind