skysight-inc/HackerNews huggingface dataset:
Colpo d’aria on its own is the example I give to anyone who wants to know why Italians can be so stubborn.

People normally are astonished when I explain that that’s pretty much the only reason why air conditioners have historically been so thin on the ground in even the stifling heat of Roman summer.
If it is common then why did you say this was dangerous?
In my experience, the far more likely explanation for a bus-factor for an area of code is not that they want it to be that way, but because the organization has stretched them and other coders thin enough that it's hard to fix that.

An organization can get surprisingly far with a huge number of bus-factors, and doing a learning-by-fire session whenever someone burns out and quits.

If the engineer who's a bus-factor on that project is willing to help others learn and recognizes tech debt but isn't given time to fix it, that points to organizational issues to me, not to any engineer being bad nor attempting to have job security.
> Unfortunately a lot of games and programs like Photoshop still require Windows so I'm stuck with it...

This was a growing annoyance I had with Windows: more and more of my computing could be done (and done pleasantly) in Linux, but as long as there existed just one application I couldn't replace and/or emulate, I'd be stuck with using Windows 100% of the time.

So this past year I invested some time and money into setting up a Linux-first workstation where Windows lives in a virtual machine with gpu passthrough, usb passthrough, etc. Now I can run games, proprietary applications, VR, etc. without issue and at full speed in the Windows VM, but otherwise stay in the Linux world as much as possible.

The results are fantastic now, but it did admittedly take a ton of time to get everything working. Search for 'VFIO' and read through https://www.reddit.com/r/VFIO/ if you're interested in something similar.
Show HN: A platform to build your incentive-based economic app without coding
Not sure about OP, but if you're looking to run a EU SaaS company for B2C or B2B, then I can highly recommend Xolo(https://xolo.io). They handle all the heavy lifting from a tax perspective.

They help you get your company set up (with e-residence) and then hook into either Transferwise or LHV for banking (and stripe, etc flows into that).

Very friendly as well, I'm in Estonia currently and I dropped into their office yesterday to say hi.
$10 Venmo Ensnares Utah Pol in America's Craziest Protest Case
What are you talking about?

Almost all startups ship the prototype - and they have no choice, since there's no calendar time for a do-over, and any managers/investors aren't going to green-light wasting time on a re-write.

Joel Spolsky has a related blog post on this that's good for discussion, though I don't exactly agree with him if it's a huge company:

https://www.joelonsoftware.com/2000/04/06/things-you-should-...
No, Edge doesn't ship with Windows 10. You are given an option to switch at a later point.

Same for Windows Server 2019. When you launch IE, Bing will immediately start recommending Edge however.
Well I know that situation is normal in elementary and high school in the US now in the Bay Area from talking to former teachers.

(Helicopter parents frequently sue if their child doesn't get an A, so teachers are told to cave in. Teachers say, "I love the students, but the parents are the problem.")

I wasn't aware that's an issue in graduate programs.
Again, what you said is like drug dealers want to trade drugs. That's not comparable to what ought to be discussed.

You instead should focus on the fact that Qing dynasty had a very weak government, which is neither capable of manage her own internal affairs, nor defend herself from foreign invasions.

That's totally different from Xi's China, which can rule China like a company forcing citizens to behave in certain manners, while also project it's influence far and deep.
Misinformation: "It's February 3rd, Australia and the USA closed their borders to China"

1. Taking a connecting flight via another country to the US was not banned. Taiwan, on the other hand, banned all Chinese citizens from entering - from all countries.

2. The US only blocked Chinese citizens from arriving via direct flights from China to the US, but American citizens (and some others) were allowed: "Since then [the ban], nearly 40,000 Americans and other authorized travelers have made the trip" [0].

3. The administration did not setup stringent/effective screening for arriving passengers with symptoms or follow ups for the 430,000 people who arrived directly from China until April 4: "430,000 People Have Traveled From China to U.S. Since Coronavirus Surfaced" [0]

[0]: https://www.nytimes.com/2020/04/04/us/coronavirus-china-trav...
A little out of date.

The Affinity apps are available as universal binaries.

And while neither Firefox or Chrome run natively on M1 Macs, Safari certainly does.
Top Web Development Trends to Know
As an American it is so weird that a country would require you to register with the police at all, no matter your length of stay.
Sounds right to me. With the direction Windows 10 has been/is taking, the suggestion of 'differentiating features like privacy' (unfortunately) make me laugh. Microsoft hit that sweet, sweet data vein and can't turn away.
Yep, I felt that as well. Talking about database and migrations without talking about how you talk to the database itself.

Sibling post answers the question, so I'm glad you asked.
Show HN: Dev community that lets you blog on your domain for free
Don't forget that they also charge delivery fees AND they will inflate menu prices and skim that off the top as well.
Possibly uses Asimov's Thiotimoline as its mechanism, I hear the Soviets had a 77,000 cell chronobattery running the prediction up to 12 days in advance.

http://www.asimovreviews.net/Stories/Story271.html

(Can't find the speech / story content online)
> “Was your email address compromised at this time?"

How would the accused sender be able to prove it was or was not? And is it his or her burden?

Yes, individuals will use any reasonable to prove its authenticity. My point is that DKIM is not a reasonable means.
Chinese police are not known for a lax attitude to rule breaking when it comes to foreigners
> Not sure what to respond to this. Experimental drivers are expected to be, well, experimental, as in highly unstable.

This is what to make of this: The then-latest linux kernel did not support then-latest hardware.
Microsoft really do want you to use their browser, don't they? I wonder why. Clearly not because they believe it's a better browser, right?
These ads and craps on Windows 10 is very annoying but it won't be a deal breaker to use Windows because I can just close it. I still think Windows is the best for desktop experience.
Windows 10 is a lot better than windows 7 for me. It runs Linux very well with WSL2, it has good touch screen support. I also prefer its look.
That emphatically does not make it right though.
That sounds like a really crappy experience.

Windows is increasingly incorporating these web-style nudges every day. If you open the Start menu, you get animated ads; if you search in it you get popups pushing you to join Microsoft rewards [1]. What a distressing shift.

1: https://www.windowsphoneinfo.com/threads/microsoft-rewards-p...
Great article. But I think that saying "AirBNB focused on brand" is almost literally a misinterpretation:

"Brand is an extension of the Airbnb model, not its own strategy. If the product doesn’t deliver on a differentiated experience, brand building usually does not create loyalty."

This post seems to say that AirBNB didn't just focus on brand, but they innovated on /somehow/ making booking UX "10x" (let's leave the ostensible 10 aside for a moment and just say "a lot" instead) better than incumbents. But that requires a durable product advantage, one that consistently creates a differentiated experience. It's more accurate to say that brand is a downstream side effect of the core product than a sole or primary focus.
It's not unsupported. It's literally documented by the MySQL project, existed for more than 5 years, was supported by Google, and continues to be supported by MySQL.

Google broke it without warning. That's a breaking change to your database, in production, 5 years after v5.7's release when you're fully locked in without so much as even a version bump.

Microsoft didn't do this. AWS didn't do this. Google did this.

Let this be a lesson to everyone that Google can and will break your critical production systems even years after they're operating perfectly, and they'll provide no warning, no explanation, and no fix.
Old Edge is shipped with Windows 10 unless you're using LTSC.
Azure high-performance computing at Supercomputing 2020
Wealth Happens
For an article describing how they’ve managed to make something go faster you’d think they’d mention how fast they got it to go.
WTF, the OOBE screen is not an "ad".
Which is ironically how Google got its entire user-base for Chrome: subversive/lying popups on Google sites saying “upgrade your browser” and drive-by installations bundled with third party installers.

This is just Google getting to taste it’s own medicine.
There was a Safari patch either the same day or the day after.

Either way - the Software Updates channel should be for things known to be stable, and Day 1 of a brand new annual release basically never fits that description.
What do you mean easy to install?
This reminds me of Sam Hughes' (@qntm) work. If you liked this, you might also like:

http://scp-wiki.wikidot.com/antimemetics-division-hub

https://qntm.org/ra

https://qntm.org/structure
I'm using Cloudflare's generated certificates now, so there was nothing to copy over. If I recall correctly, I just spun up a new load balancer, pointed a dummy subdomain to it to test the configuration and then changed the actual DNS record when everything was working.
This was a solved problem. Professional restaurant reviewing guides generally had reputable practices for decades. Those came to exist because "your" dumb uncle always recommended the worst restaurants. So the internet comes along and tells everyone's uncle and their uncles terrible friends that their review is super special. Voila we have yelp and google maps which are generally a combination of super fans or just terrible people with the 100 normal people that visit a restaurant each day completely absent. Hooray outliers!!!!!!
Connecting urban environments with IoT and Digital Twins
No. But it means it’s not right to single out Microsoft and Edge for this behaviour either.
> Hmm. So which n is special in the model that you get from the model existence theorem? Doesn't it all get somehow equivalence-classed away?

The model existence theorem relies on extending your original language (and therefore your theory) with a bunch of new constants. So in this case you would end up conjuring up a specific new constant symbol just for `Special`.

You then "forget" about all those constants when you retract back to your original theory and so you lose the one-to-one relationship.

So it is true that if your original theory is Henkin (i.e. there is a constant symbol witnessing every single existential statement you have) and maximally consistent, then there exists a model that coincides exactly with your theory, in particular the model that is constructed from all your constant symbols modulo equality in your theory.

But most theories are not Henkin. And moreover most theories are not maximally consistent (since that would imply completeness in the sense of Godel's incompleteness theorems). In particular the theory you get out of the model existence theorem is usually not computably enumerable, so you can't actually write down your extended theory.

So most theories do not have that nice property that they correspond exactly with the semantic properties of a model.
“The mafia have been murdering people for decades, why would the police react now?”

(I’m not speaking of any particular current or past event, or trying to assign any moral values one way or another, I’m just attempting to show that your reasoning is unsound. In this particular case I don’t like what either party is doing.)
So far Sweden has 5700 excess deaths in 2020 (pop 10m) compared to the last few years according to the FT. For the US that figure is 277k (pop 325m).

https://www.ft.com/content/a2901ce8-5eb7-4633-b89c-cbdf5b386...

It’s very hard to say which strategies will be the best at this point in the pandemic, but it is easy to see the worst failures from the excess death figures, like the US, Peru, and a few European countries where the epidemic got out of control initially.

Sweden has not done terribly, but this chart and headline is grossly misleading as it attempts to compare an incomplete year to other full years.
Ik.me: a free email address for life developed and hosted in Switzerland
With 20 GB of storage, this Swiss-made messaging system allows you to repatriate and store the emails of a lifetime. Access to kDrive with 3 GB of storage is also included for photos and online collaboration on Word, Excel and PowerPoint documents.

Currently restricted to Swiss citizens, this offer will soon be extended to the whole of Europe.

For further details: https://news.infomaniak.com/en/free-swiss-email-address/
Okay, that must have been the situation then. New install with only IE available. IE was barely usable then, I imagine it could be worse now. The only way I could see a typical user getting to a usable browser would be to copy browser install (or portable) files from another location.
Google are really bad at this yes.

People forget the times before Chrome existed where google would sneak in the google-toolbar adware in internet explorer wherever they could (by paying everyone to default include it in other applications installers, among other sketchy avenues). It is amazing that they could uphold the image as the good guys at the time.

And apple sneaking in applications on windows when updating quicktime (if I remember correctly).

They all suck.

But it is even worse to do this on their own desktop operating system. It is another level of insanity that I just don't accept. And it's not like one can throw some money at the problem either, they are just ruining their platform.
> It makes it go soggy really fast [...]

Crunchy granola
I googled but didn't see anything, source?
> When you put various things into this map and then later get them out and want to work with them, you will have to cast them to be able to do anything useful with them.

Considering this is entire hypothetical is a edge case, that's a minor inconvenience.

> But that's not the point of this discussion, so I'm playing "devil's advocate" here. It's important to understand and accept the shortcomings of statical type-systems - that's what I try to explain here.

That is the point of the discussion, the original claim I was objecting to was:

'This is a massive expressive hole which (along with lacking type inference) I believe is responsible for a lot of the hate towards statically typed languages.'

You're pointing out weaknesses in a subset of statically typed languages, and these are only weaknesses when compared to better type systems - not when compared to dynamically typed languages. I never claimed that Java had a perfect type system - I prefer Haskell and Rust.

> You need to re-read what I (and the others in this subtread) have written. It is completely valid to criticize one part of language X compared to language Y without implying that this language X is worse than another language Y overall.

It's not valid when you're using Rust or Haskell to show weaknesses in Java relative to JS. The original context was Java/C#/C++ vs Python/JS.

> Now I have an Either that is neither left nor right.

You're right. Here's a simple example without this problem:

class Either<L,R>
{
public static <L,R> Either<L,R> left(L value) {
return new Either<>(value, null, true);
}

public static <L,R> Either<L,R> right(R value) {
return new Either<>(null, value, false);
}

private final L left;
private final R right;
private final boolean isLeft;

private Either(L l, R r, boolean isLeft) {
left = l;
right = r;
isLeft = isLeft;
}
}

> It is _not_ trivial to do that in Java, even when relying on already similar functionality like the built-in Optional type.

It is trivial, it's just more awkward and lengthy but not complex at all - also no Optional. Plus there are stable libraries providing types like Either<A,B>, and other functional language features. Anyway, I'm not here to defend Java type system against Haskell, my point is that Java type system is a huge feature when compared to JS or Python.
Sounds like a great idea, are You planning on supporting it with adds or some other funding model?

Why is it important to verify a persons identity? What benifit would having multiple usernames if all could be identified anyways?

I guess you could have some sort of a unique hidden watermark to identify users that break the screen shot rule (if they reposted on another site) but I'm not sure it would prevent someone taking a picture with an older camera.

Have you considered building a community using an existing forum backend that you can admin? As a test run? It is my understanding that administrating social media can be a very stressful thing. It would be a shame to develop a whole new social ecosystem only to be overwhelmed by the pressures and stress.

Anyways

Good luck with Your project, I hope You are successful.
Supercomputing 2020–New MPI heights, joining the Graph500, and 1 TB/s
> Truth lies instead in how we choose to apply the axiom schema to the external world

Is this true?
I also moved over to Yarn when it was a big improvement, and just never found a compelling reason to switch back.
I agree completely.

Non-repudiation is of course a needed property for many systems, but it is not a property a system, especially an everyday messaging system like email, should have by accident - even "weak" non-repudiation such as DKIM. It is a violation of privacy. The suggestion the author makes of course doesn't completely get rid of it, but at least makes it time-limited.
I always wished Zagat had some better ground game. Their reviews are generally pretty spot on, I do wish they had better coverage.
Give me a clear path to downloading Edge if there's no other usable option.
Biotech Email Newsletter on Substack
Nevermind that around 90% of hotels in China do not allow foreigners. It was not a fond memory dragging my heavy baggage one place to the next for half a day being rejected all over Beijing (experienced it in Shanghai and Guangzhou too)

Of course the wealthy here would never know, most places priced in the top 20% expensive accept foreigners. I was a poor student and also worked as a teacher($400/mo) looking for midrange accomodations, not to spend a month's pay on a weekend trip
I never had Windows Update switch the default browser (nor change any other setting for that matter), but otherwise agree with you.

The "Your Phone" app is truly idiotic; you can't uninstall it from the regular place (you need a PowerShell script to get rid of it) and it otherwise takes up ~2Mb of RAM all the time for absolutely no reason (I don't even have an Android phone to use it) - there are a couple of other unremovable apps, but at least they don't start at boot and use resources for no reason.
1. invent a bold new marketing strategy

2. figure out how to sell the strategy

It is the product.
> A hidden loophole, meant for small businesses, co-opted by multibillion-dollar tech companies to avoid accountability, just because they can.

There are a lot of issues with this newsletter, but this bit at the end stuck out. The 'loophole' is for companies with

- total annual gross revenues less than $1.07 billion and

- less than $1 billion in non-convertible debt in the past three years and

- not a “large accelerated filer,” as defined in Exchange Act Rule 12b-2

The newsletter is trying to make this sound like it was meant for mom-and-pop shops, but how on earth can you have revenues of more than $1.07 billion without being a "multibillion-dollar" company?

https://www.sec.gov/smallbusiness/goingpublic/EGC
They are not talking about writing "glue code" (misleading title perhaps). They are talking about engineering management and senior responsibilities:

> You'd like to have time to code, but nobody else is onboarding the junior engineers, updating the roadmap, talking to the users, noticing the things that got dropped, asking questions on design documents, and making sure that everyone's going roughly in the same direction... If this describes you, congratulations: you're the glue.

Edit: Looks like the title was changed to "Being Glue" which is probably a better title.
Absolutely. The substantial majority of the people I’ve seen with Chrome installed never consciously installed it; some followed Google’s underhanded and misleading promptings, others installed something unrelated and got Chrome drive-by installed (which should be illegal).
> What's funny is seeing languages like Java trying to "undo" the arguable "mistake" of abstract classes by adding more and more power into interfaces: default methods, etc.

Default methods are how Java-like languages are able to have mixins. They are extremely handy and quite safe to use as far as I can tell.

golang on the other hand shows its extreme weakness in modeling non-trivial domains, and the code base quickly becomes very verbose and tedious to work in.
I don't yet, but as the company approaches its first tax season that will move toward the top of my to-do list!
I felt similarly as an IC, but my perspective changed as I shifted into management.

I didn’t believe that “negative value” engineers existed when I was working on the front lines alongside other good engineers. In reality, I was seeing the end result of competent management teams who effectively filtered out negative employees in the hiring process or quickly dealt with anyone who became problematic after being hired.

Being a negative value engineer isn’t just about writing bad code or being incompetent. Those things are trivially obvious in any technical interview. The reality is that negative value usually comes from behavioral issues. Engineers who are constantly sowing discord against the company or management can bring down entire teams. Engineers who create conflict and destroy morale are toxic for productivity and will drive away your best team members. Engineers who can’t ever ship anything on time because they can’t manage their own time or they have pathological perfectionist tendencies will sink your schedules. Ironically, negative value can often come from those with great technical chops who are unfortunately mired in personal issues.

Managers can compensate to some degree with intense attention and guidance for those individuals, but at what cost? Obviously managers should make an attempt to correct behavioral problems that are dragging the team down, but at some point you need to do the inevitable and replace the problematic employee with someone who can perform without the behavioral issues.

It’s not just a question of whether or not someone can write good code. It’s a question of whether or not the team and company are best served by keeping a troubled employee as opposed to reallocating that finite headcount to a new candidate.
You have to have a Microsoft account for the store. I've never seen an application being store exclusive, and if I do I will never consider it (I might consider side loading it if it is possible and and the app is outstanding).

So sounds like yet another win for LTSC to me. Too bad you can't buy it.
General availability: VPN over ExpressRoute private peering
I have been coding for 30+ years, and am yet to run Docker in anger.

And by the looks of it, when I finally get to do some project with it, the language specific runtime tools like Project Tye for .NET would already have replaced it.