skysight-inc/HackerNews huggingface dataset:
I only asked for an evaluation of the current Python checkers, not a philosophy lesson.

In theory there's no difference between theory and practice, but in practice there is.

So, in practice which is the best current Python type checker?
You have no choice. First the install base of old models is huge and actually quite safe. 777 hasn't had a single crash yet (I don't count the hull losses of Malaysian as crashes). 787 is amazing plane.

And airbus cannot ramp up production enough to fill the whole midrange single isle market.

So Boeings will be bought by airlines. Or the exopansions will be crippled and tickets will fly trough the roof.
Don't spit into the wind, don't tug on Superman's cape, don't rely on no LEP existing.
Maybe it was time to replace all those Windows XP machines anyway?
When the program you use to run certain machines only runs on windows, what choice do you have?
Then write a bloody wrapper.

Controlling my terminal emulators through a browser is like managing processes with Doom: something that, while interesting and certainly shouldn't be precluded, I am unable to think of a use case where I would actually do it. Making web sockets the scripting interface for a program that in most cases you do NOT want to actually expose to the web a) makes no sense; b) is a security incident waiting to happen.
As of November, there were three dozen sealed indictments in the federal D.C. circuit. [1] My theory on this is that the FBI has been investigating crimes not committed by the current administration, but which would, if prosecuted during the Mueller investigation, raise a cry of obstruction and interference, due to the people they target. The FBI has been letting the Mueller special counsel wind down before going after the real criminals.

1. https://abcnews.go.com/Politics/dozens-sealed-criminal-indic...
Or, you know, people don't consider it "suffering", but "doing what's better". How about that?

If a parent demands that a kid eats his veggies instead of the "burgers and ice cream" the kind wants, it's not necessarily suffering.

Or if you still consider it suffering, it's not like all suffering is valid and should be respected.

It's very easy to make everyone happy, giving them whatever they want all the time, doesn't mean its best for them. Not even if they're adults. Not only what someone wants might be bad for them, but what someone wants might also be bad for others (like someone "wanting" to blast his favorite tunes at full volume at 2am). In those cases it's best that they "suffer" not getting what they want.
A study on reproduction of social inequality through housing
Many would say the old behaviour was the sane choice - apart from anything else it's consistent with vi(m) and git.
You probably shouldn't be watching Netflix at work anyway.
I like that you're approaching both Rust and Go, instead of just picking one. Because a _war_ between the two on which is best seems to be quite common.
The drugs don’t work: what happens after antibiotics?
I get that for stop and go, though I'm pretty used to it. But for long distance, especially freeway miles, I don't see it being any more exhausting or difficult. The opposite, in fact, because the transmission isn't trying to second-guess you when you're passing and you don't have to drum your fingers while the overdrive dithers; just pick the gear you want to be in and go.
That kind of people will always find something to jab at. If it's not this it's that. They're very willing to throw such insults as "innocent jokes" but when they're at the wrong end of one they never find it acceptable and will complain till the end of time.
"Mechanically fake"? Did he make this argument before or after the Technix line existed? Because that stuff will teach you a ton about how physical machines work.
I think in general I agree. However the overhead numbers are exaggerated, and we should be fair with that. E.g. it was already mentioned that multiple UDP packets can be transmitted via a single syscall, and reasonable implementations can make use of it. I haven't read the Quic spec (yet), so I don't know how much data can be aggregated without waiting for ACKs or interleaving other data - but if it's anything comparable to HTTP/2 then it should be configurable and support >= 64kB chunks.

I also don't think a QUIC server would read the whole file into user-space at once - that's just a giant memory waste. Rather it would be streamed and chunks would get encrypted. That process requires of course an extra copy (likely even two for the unencrypted and encrypted version), but that's the same for all user-space file serving and encryption options and nothing new due to QUIC. For KTLS it would need to get investigated whether the kernel solution doesn't also perform a copy somewhere (I honestly don't know).
> as pointless as proving he's about to be arrested in the Oval Office.

A sitting president cannot be arrested by his administration, by law.
Heat often correlates with entropy, but they are not the same thing. Increasing heat doesn't always mean increasing entropy.
>What are the features in iTerm2 that you use the most?

Quake-like drop-down animation.
I am indeed founder of Gumlet. Here are few reasons which makes it superior.

- cheaper pricing and no minimum monthly payments

- global image processing locations - ensures lowest latency regardless of location of your users

- no lock-in and wide variety of cloud storage support including DigitalOcean Spaces

- prompt support - less than 8 hour response time for all users

- GIF support

- especially compared to kraken, we charge only $0.1 per GB compared to their lowest pricing of $1 per GB

- strong enterprise focus - lot of features planned for enterprise support.
1990s Microsoft solved this problem with COM. For example, cscript.exe exposes both VBScript and JS, and they can talk to c++ via the same COM interfaces.
Debating a bad actor isn’t debating.

People on the right (the proles, not the rich people making money off the whole affair) don’t want to have honest intellectual discourse. They want to ‘own libruls’ and be smug (despite their choices actively hurting their livelihood and their lives leaving little to be smug about).

There’s nothing to debate, they’re just idiots. Easy to fleece idiots considering how easy it is to make money by throwing out a bunch of controversial statements and then retracting when their audience has moved on.
> how come so many successful Systems programs (e.g. Kubernetes) are written in Go

This is because what you call "systems" is not the "systems" that the lack of GC would benefit from. For all intents and purposes Kubernetes could be written in Python or any other general purpose programming language (and for example OpenStack is in fact written in Python).

On the other hand, systems like "writing an operating system kernel" or "running on a microcontroller" are things where GC might indeed be problematic and/or impractical.
Maybe in private sector.

In public sector... “telecom expenses must go through telecom”, and they may not be willing to bother with the paperwork.

And god help you if you’re working in some kind of private-public partnership where that $9 expense is -$9 profit.

Sometimes you can get around it if you can find what you need from Staples and order it as an office supply.
Fucking awesome.
Yes, people like the author, who admits to regularly reversing without looking, only listening for beeps. Do you think such a person should be allowed to drive ANY car? I don't think a manual transmission will turn a careless moron into a good driver.
oh right.

Now I remember that part. It is not exactly a public API.

As I remember it, what it actually is is a permission to show system window. Its original intent is to allow apps to show dialogs. I am not sure it was even intended to be used by third party apps..

But in the old android days, if you declare for a permission in the manifest and the user gives it at install time, you have it (there were already some forbidden permission, but this was not one of them).

When Google started revising the Android permission system, this one must have been a thorny problem. It was not supposed to be used by third party apps but there were 'legitimate' use cases, like the facebook messenger and its bubble.

One of the beta versions after Marshmallow started treating this permission very carefully with warnings around it. There was a very noisy part of the testers up in arms against that idea. "How dare you remove a feature that I use (even though it is a hack and a dangerous one) ?" So instead it looks like they were very cautious in how to handle this change.

Fwiw, the play store security team is way more active that the FUD says .. and it does not look like there is any know exploitation of draw on top in the wild. Maybe they do indeed analyze the code of apps using draw on top. Maybe the combination of having to only incorporate a hack based on draw on top on apps served on the play store and the increased scrutiny that goes with it make it unattractive to malware creators ?

To be honest, I fail to see why draw on top is so important. The most I have ever used it is with apps like https://play.google.com/store/apps/details?id=com.actinarium.... to draw a grid on top of the system. It could easily become a library instead (and there are already some).

I would be all in favor of just removing it, or making it another runtime permission. I am not even sure that runtime permissions work that well, on iOS or Android. Most people I know have just been conditioned to tap 'yes' on all dialogs.
R has so many problems itself! Attempting to run it at any sort of scale is basically impossible. Its dependency management is atrocious. You can't thread or multi-process effectively. The amount of overhead to even install R on a system is incredible, and amazingly its documentation is even worse than Python. We use R as our foundational Data science language and it has caused nothing but immense pain for everyone attempting to wrap the packages in scalable software.
I've been asking myself this question as well. Despite the high rents and the insane traffic people still keep coming. Either that or the millennials never moved out. I know plenty of people, some are family, where 5 or 6 adults live in a 2 bedroom home. That's why street parking is hard to come by. Again, this is my own experience from living in a working class neighborhood.
My First 3 Weeks of Professional Rust
Well, I'm not saying he is not guilty, he is at some point, but this story is more than it says. It's possible he was only proxy. I see some comments say here, that with his talent he could do more, but he was only some none name construction businessman.

But basically, in US I see, that a lot of people pleads guilty then it is more to the story. We don't know how much he will get for this and what deal he has. We see story, then person pleads to guilty and has to pay hundred million to later see, that they had other deal for him to pay just a few hundred thousands.
Once again, we're talking about DESKTOP Linux here.

https://xkcd.com/1200/
Is there an objective test for autism or is it just a matter of convincing an expert that you’re autistic?

I’m asking because, if society provides enough benefits for people “on the spectrum” how do we prevent people from gaming the system?

When benefits are involved at all, people act funny. I’m reminded of people misusing handicapped parking placards, for instance.

I’ve also known people with perfect vision to wear eyeglasses because they found them fashionable.
They're optional, and it's possible (and not unusual) to use them in Python 2-compatible code with an alternative comment-based syntax and a backport of the typing module.

It's possible to start using type hints without migrating to Python 3, and it's possible to migrate to Python 3 without using type hints. They're almost orthogonal.

It's weird to bring it up like this - do you have any experience migrating code to Python 3?
Cue Seattle Angle Conference, this is exactly what that group does
No, it’s nothing to do with the cognitive load. And I said nothing about discomfort. That’s a pretty interesting interpretation you’ve drawn.

I build things from scratch. By the time a project hits that size, I’m utterly bored with it. It’s been figured out and built. It’s been refactored. It’s been tuned in places that need performance improvement. It’s had new features added in. But fundamentally, the idea(s) behind the software have become completely boring. 5 years of working on the same thing through multiple iterations—including reducing LOC while expanding features. There’s a certain project size that I’ve found correlated with time ticking my internal interest clock to 0.

It’s a bit like how Professor Farnsworth feels when there are no more questions.

Edit: I’m not very good at describing my feelings. Delight was a poor word choice. For me, 15K is typically early in a project, when there is still delight to be found in figuring out the problem space. The unanswered questions are delightful, interesting, thought-provoking. Bringing Professor Farnsworth into it, i was reminded of him saying it was the questions that drive him.
If it's five lines of code then put the five lines in the abstract.
> I did not intend to “attack” you and I don’t believe that’s a good-faith characterization of what I wrote.

You were recently warned by a moderator to stop making sarcastic and unsubstantive comments[0], so I don't think it's me who has trouble reading your tone.

> I believe it’s important to refute the very frequent, baseless claims that are often made on Hacker News that claim that functional programming or static typing can make any difference on the reliability or rate of defects in software: they cannot and do not.

Any comments I have made regarding the benefits of FP and static typing are anecdotal, and are therefore not baseless.

There's also anecdata like this[1], which further refutes the point you're repeatedly trying to make.

> and we all admit that there is no difference in terms of safety, robustness, performance, reliability, readability, etc.

That doesn't match my experience. My experience has been that it is cheaper for me to run my businesses on Haskell and Elm, as opposed to Ruby and [plain] JavaScript. I've tried both approaches, and I perceive a difference.

> As long as everyone is essentially willing to accept a No Free Lunch theorem about programming languages, then I don’t care what language people like to use or happen to prefer for personal reasons.

I'll accept there's no free lunch — my technology choices aren't a panacea. They do make a difference to my business however, and as a business owner I am perfectly within my rights to make that judgement call.

> I’m not attacking any such preferences.

You certainly seem to be.

[0]: https://news.ycombinator.com/item?id=19241069
[1]: https://twitter.com/rtfeldman/status/961051166783213570?lang...
100k gross in Berlin is about 60k net assuming private healthcare insurance.
Say you spend 10k a year on rent + utilities, which is very optimistic for someone that would move to Berlin in 2019.

160k gross in Zürich is ~115k after social contributions and taxes. Let's assume 5k for health insurance and 25k on rent a year.

You're still 30k CHF ahead in Zürich. I don't see how these salaries are comparable.
That could be due to fingerprinting, your IP address etc, which is much harder to anonymize.
So one day someone will write the improvement and call it milli, but then what? Is there a prefix for 10^0? Do these people not plan ahead?
Any chance this could be made available on F-Droid?
I wish my tax burden was capped under inflation.
What a pointless article. It cuts off before... any substance whatsoever.

Basically he just wanted to bash python and fanboy rust.
Interesting! I admire the strength of your moral conviction! Having grown up in a generation without conscription (I did not even have a normal military service, thankfully).
Type hints and tools like Pyre would definitely help with large code bases. PyCharm and VSCode (with Python plugins) also does a good job of warning of possible errors. This is no competition though to languages like Haskell or even more dynamic languages like Common Lisp where the SBCL compiler generates extremely good warnings of possible problems.
The old behaviour is the sane default, at least for editing text files. POSIX defines a text file as a file consisting of a number of lines, each terminated by an LF character.
For the past 3 weeks I’ve been using the Pomodoro Method at work. For those who don’t know, it’s 25 minutes of deeply focused work, followed by a 5 minute break.

In my break I’ve been excercising: running up stairs, doing push ups, wall sits, etc. I’ve always had trouble focusing in open offices, but now I can focus without even needing headphones! And to top that off we use story point estimates, and I started flying through those estimates.

Obviously I’m just one story where the sample size is n=1. But after reading this article I think pairing Pomodoro with some light exercise has some unseen positive feedback.
>Automatic hyphenation on the web has been possible since 2011 and is now broadly supported. Safari, Firefox and Internet Explorer 9 upwards support automatic hyphenation, as does Chrome on Android and MacOS (but not yet on Windows or Linux).

If Chrome doesn't do it on Windows, then it just as well might not exist.

Chrome has ~80% of the users, and Windows has a 90% as well. So Chrome/Windows is the most important combo.

I wouldn't call this state "broadly supported" in any way.
I started a "creative venture studio" back in 2017 and we are mostly investing through a mix of sweat-equity and cash.

That's actually going surprisingly well. Slowly but surely and I now have a number of equity stakes in various startups some of them quite promising.
Americans are getting more miserable, and there’s data to prove it
Are you saying Google didn’t follow such a process and that is the solution?
What about giving us a bloody <proper-text> tag, in which no float BS applies, and which has all the proper typographic treatments?
It's exactly because they're in-band signaling that they should be preserved. I don't expect copy and paste to change the sequence of Unicode code points. If the browser "helpfully" removes certain code points then it's more complexity I have to think about. The only change I'd consider acceptable would be changing to a specified Unicode normalization form. In this case the complexity already exists within Unicode, so the browser isn't making it worse.
I'm curious if the numbers work out to yield you anything within the galaxy of useful.
Phone Location Logger
If he was a proxy how did he return $50 million?
Happened to me with another application that shouldn't use the microphone.
My '18 Civic Si Sedan has a full brake hold mode for that too. You can turn it on or off as you like. Beats trying to juggle the handbrake and the clutch at the same time.
It's great to know you have implemented WebP in your pipeline.

Do check on-the fly optimisation tools like https://www.gumlet.com You can save a huge amount in server costs as well as developer and devops team time. Basically all image operations are done in the cloud and all images are served via super fast CDN - that too with cheaper price than a CDN.
Yet in a motoring context, risk compensation has been shown to have a significant effect, and the more safety features your vehicle has the more unsafely you will tend to drive.

It's been studied and shown in the context of shared streets, switching the side of the road your country drives on (Sweden - the accident rate went down markedly), seat belts, ABS, crash helmets for motorcyclists, and in a non motoring context in sky diving and ski helmets.

Those features are a good thing when people do spend more mental energy on their surroundings - yet it's been shown time and time again that they don't. They have extra bandwidth to chat, listen to music, eat a burger and yell at the kids in the back, or send a text message. In other words to increasingly be a passive passenger. That they shouldn't and a few good and diligent drivers don't is irrelevant.

Cars should be built for the majority of their users, not the presumption that everyone acts like a tiny minority.
In Java world, Spring has really gotten entrenched and with good reasons. Spring Boot and other spring auxiliaries solve a lot of boiler plate code issues. Spring also comes with batteries like Spring Batch, Data, security etc. So it's usually a good choice on the Java based applications stack.

I would recommend others like Vert.x, Play, Axon etc.
If I would bother configuring an editor I would not be using nano.
If anything he should have took his $50M and moved to Russia or some other country without an extradition treaty. His biggest mistake was staying in Lithuania.
PromQL Tutorial for Beginners
There are many reasons why companies decide to buy/stay with a certain operating system, I will list a few:

* Industry norm - In some cases, certain operating systems become a norm. Requesting someone to implement X solutions to a different operating system can cost more, have unexpected risks, etc.

* Adaptability - It is easier to hire someone to do a job in X operating system/tool if that person has a similar system at home or used it in a previous company.

* False sense of security - Transitioning to based on your rationale can mean that the business and its users will feel overconfident of their security. This can lead to increased careless mistakes.
Why would it get firewalled? DNS runs over UDP on port 53
Risky Business Podcast Discusses Christchurch Attack, Cloudflare
> The Pappadopolous indictment and conviction-by-guilty-plea was for (lying about) Trump-campaign initiated attempted collusion, in which Pappadopolous acted with the knowledge and approval of higher officials in the Trump campaign.

The two week prison sentence Pappadopolous received gave little weight to his complicity, and seemed to me to be more a slap on the wrist for his not cooperating with the FBI.
The comment you replied to cites stats showing increased safety with the cameras. What kind of personal values lead you to reply saying they are less safe? You should reexamine your motivations, you are promoting human suffering.
Well you can use some of the convenience steps around 1, e.g. centi and deci and then skip the 1.0 and go straight to deca and hecto.
"going to guarantee 60fps."

Tongue in cheek, I'm going to hold you to that ;)
Has anybody ever used the word gourmet to describe something that was actually good? To my ear, it's about the same as deluxe.
the problem was actually solved by having automatic cars
Trunk Based Development
That's an excellent point. I may not know my speed precisely, but I know it generally, and I'm also constantly aware of how busy the engine is from the revs and the noise. I can't ignore these things; I have to know when to shift!
> Ignoring languages and frameworks

Stacks are organization specific. Wikipedia's definition at https://en.wikipedia.org/wiki/Solution_stack is nice.

For fun: https://trends.google.com/trends/explore?date=all&geo=US&q=L...
heheh...it does feels like that, when you pay attention to what everyone is upto and try to keep up with everything. But all that is not necessary if you are clear about what your interests are. Over time, it's not hard to tell who is interested in the work and who is interested in themselves.
> Yes and no;

Steve, this is a cop out. There's nothing in Rust that can't be implemented in C or any other Turing complete language, including stack unwinding, invoke, or anything else. It may be inconvenient for Rust to use or not-use some feature of LLVM, but that's not the same thing.
Yes, having had roommates I can attest to this. I’m also a light sleeper so it’s pretty common that say the neighbors have a fight, it wakes me up, and then a few hours later a thunderstorm comes through it wakes me up, and then a few hours later some maniac starts laying on their horn because the person they’re giving a ride to is late again.