skysight-inc/HackerNews huggingface dataset:
Hey, I created Psalm.

Psalm and similar tools perform type-checking static analysis. This tool does not do type-checking.

It does a few things:

- Complexity analysis, with a few other top-level checks (analysis done here: https://github.com/nunomaduro/phpinsights/blob/966fddbacb17e...)

- Composer dependency security checks (if third-party packages have vulnerabilities)

- It wraps PHP CodeSniffer with some additional sniffs

- It wraps PHPCS Fixer with some additional sniffs

The tool doesn't go out of its way to advertise the fact that it wraps two popular existing tools, but that's the author's prerogative.
There's nothing wrong with taking a principled approach to builds. For example, it's not just a question of static or dynamic. Linking of vendored/static/pinned/etc. sources/artifacts/etc. in general comes with the benefit of hermeticity. That enables tools to work better, since it gives them perfect knowledge of the things that exist. It also entails a certain degree of responsibility for writing your own scripts that can generate automated alerts should issues arise in the upstream sources.
It did, didn't it? Facebook and Twiter took credit for creating a few democracies in the middle east during the Arab Spring.
I bet that after this recession, at least one western country will try UBI at large scale within 20 years. We'll learn a lot.
That's a solid point and I wonder if the reason is simply because of the way its marketed and the initial userbase that sort of paved the way for the rest of the app. When I hear of nextdoor, I simply think of local Karens screaming about kids being too loud outside. Sure, there are some decent conversations happening too, but mostly its got that vibe. It's not really touted as a "lets chat about anything" tool, mostly just local neighborhood gossip (at least where I live, and I live in a "cool/hip" neighborhood, can't imagine how bad it is in the suburbs).
Billions of miles of actual data from real world scenarios. I am talking about the data they collect from the cameras and sensors, not how their system works or what level it is.

The data from real world is far more important than simulations.
> Language has to be precise for any nuanced conversation to be effective, otherwise it risks becoming rushed, oversimplistic and divisive. --- Abolish = to end an activity or custom officially

But language __ISN'T__ precise and that's why we are required to understand one another in "good faith." I've said in many comments that communication has 3 parts: what is meant, what is said, and what is heard. Dr. Suss and Lewis Carol exemplify this in their literature.

Not only that, but definitions of words are constantly changing. A dictionary always lags behind the true definition. After all, any linguist will tell you that words only mean what a society agrees that they mean (note the difference between "a society" vs "the speakers of that language"). We see this quite frequently. An perfect example is "capitalism" and "socialism," if you're go to is the dictionary then you're probably extremely frustrated with how most everyone uses these terms and will notice that different groups use the same words to mean completely different things!

Language really is a mess.

> Regardless, attempts to make this into an oversimplified binarily sided discussion reveal, IMHO, a lack of reading and comprehension ability or an agenda that is alternative to understanding and resolving these issues as a collaborative democratic society.

This, I completely agree with. But the reason this is "a lack of reading and comprehension" is because "comprehension" is the acknowledgement that language is of itself imprecise and that your job as a reader is the read what was meant, and not what was said.
This is the thing you believe would be happening to members of the Norwegian parliament who edit their own wikipedia articles?
It's easy - when someone wants a well-check or reports mental health or substance abuse or maybe even rape, that should go to someone other than police.

Showing up with a gun to some events is guaranteed to make things worse.
> Unilever, the maker of Dove soap and Hellmann's mayonnaise, will stop advertising on Facebook, Instagram and Twitter in the U.S. through the end of the year. The company cited a need to end divisiveness and hate speech during a polarized election season.

Why was Twitter included in this?
without knowing anything about it I'd think that our system would be working better with UBI if it was randomized and switching between citizens, would make sense to exclude everyone who is already a millionaire or something.
So if you pull it, you get 4-8 years to build a business with the money, or do whatever u want, and then the money goes to someone else.
That way it wouldn't just be hyper inflationary. If you give everybody more money, nobody has more money. Capitalism is built on inequality.
Why is the money given to the police the only allocation you are wanting to drain for this cause?
I think that declarative migrations don't make sense in the real world.

You're modifying existing state so it has to be incremental.

I'm curious to see how Prisma plans to handle these real-world use-cases.
Some linux updates require a reboot for a kernel update to take effect; Many modern ones, if properly configured, can update the kernels without rebooting (e.g. Ubuntu, RedHat and Oracle all have that as a paid option for businesses, Ubuntu also free for personal or oss use).

But I've never had an issue where something wouldn't work between the end of an update and a reboot, where that does happen on Windows. Furthermore, it has happened to me that after a kernel upgrade (on a system that did require a reboot to make it take effect), I took a couple of weeks before reboot (running long simulations), in which case I was able to apply yet another kernel upgrade or two; but you only ever need one reboot to make the latest-and-greatest take effect.

On Windows, you accumulate reboots if you wait (which requires constantly rejecting the "shall I reboot now" prompts) so you may need many; and I've sometimes needed several reboots even though I didn't delay anything.
That's what happens when you decouple components and make decisions for each component separately rather than holistically for the system as a whole.
HN bans people too as well as just marking comments as dead.
That's exactly right. The dynamic here is that of fan service. Write what you want for us or we will unsubscribe, and if you write what we want we'll defend you against all onslaughts.

Patreon actually chose the perfect name, because the business model is exactly what the name suggests, medieval patronage. The creator is intimately beholden to the financier.

One of the significant steps forwards in modern media was a separation of finance from content and investigative work, the newsroom having a degree of autonomy from both readers and funding. Independent journalism is the ultimate personalisation of news.
Yes, it downloads a list of all exit nodes.

Code is open source and viewable at https://github.com/wikimedia/mediawiki-extensions-TorBlock
Since the project doesn't seem to have been discussed on HN before, we've changed the URL from https://objectcomputing.com/news/2020/06/26/announcing-micro... to one that answers this question more directly.
Will be interesting to see if they can do the same of what they did to Snapchat. At the same time, Instagram is becoming more and more overloaded with features, and it doesn't seem sustainable to just keep adding features like this every time something else becomes popular.
I personally learned from the Team Rocket Casino that I should probably never gamble haha
Maker Games vs. Status Games
The Last of Us 2 is fastest-selling Playstation 4 exclusive game, 4M sold
Makes sense. I clicked it accidentally out of habit because it looked like an optional download button for an update.
Found this:
https://github.com/timvisee/ffsend
I've had a similar nightmare on a laptop. Every once in a while it would wake up randomly to do a Windows Update. But since the lid is closed, the laptop would overheat and shutdown in the middle of the update. When I came to use it it would waste an hour or two removing the broken update. After a couple such incidents I just installed Debian instead.
I'm saying it's another authoritarian impulse to squash dissent, yes. Smaller magnitude, sure. But that's exactly why you compare things -- to see what's better or worse.
Switching away from a PC architecture is the issue more than moving to using an ARM CPU in particular.
There's a fundamental tension between generating equitable outcomes and using race-agnostic decision-making processes. This is true for racial policy in general, not just policing - for instance, university admissions has to choose between admitting an unfairly large number of Asians on the one hand, and penalizing Asian applicants merely for being Asian on the other.

If generating a racially fair predictive policing algorithm was merely a question of optimizing for one of these desiderata, it'd be possible in principle. You either ensure that the appropriate racial ratios pop out for the neighborhoods to patrol, or you ensure that racial information and their proxies aren't used in the algorithm. If any algorithm is unacceptable unless it does both, well, you're probably going to be disappointed.
Stallman and other GNU folks have claimed that they stuck with dynamic linking to foster cooperation between hackers. They knew that it wasn't a win performance-wise but they wanted to encourage hackers to help each other. The idea was that if someone found a bug in a library he or she depended on they would be "forced" to send the patch upstream rather than just fixing the bug in their local copy of the library. Thus they made dynamic linking the default in gcc and kept static linking as something of an after though.

I read it on a mailing list a long time ago so I don't have a source.
> But... viably teaching the tapestry, may require a much lower prevalence of misconception, and lack of insight, among teachers and texts. And creating such content, insightful and correct, is hard. Really really hard.

This is why people like James Burke ("Connections" and other documentaries) are so important.

They can do this. But this takes funding from somewhere. And it's not going to make a profit.

But it will make for a better society.
We've changed the URL from https://objectcomputing.com/news/2020/06/26/announcing-micro... to that documentation page. When a project hasn't been discussed on HN before, it's usually best to have the submission be about the overall project rather than the latest release.

(This is the exact opposite of the usual pattern, by the way! if anyone's curious: https://news.ycombinator.com/item?id=23071428)
Agreed. I had a great walk in help desk experience with resetting a Surface. I otherwise like the Surface, but, if you search online, you can see some models seem to have an intermittant mystery power up glitch. Knowing there was a store a few minutes away that could reset the device would give me confidence to purchase another one without hesitation.
Yes it does seem to be a very difficult problem. That being said, some hard problems deserve hard solutions!
I still think it will, but its also created opportunity for other innovators less devoted to liberalism.

In my area, every spring as the days get longer and the frost subsides my yard springs up weeds. Within a month the turf crowds it out despite its slow start. Every year the same thing - the weeds are just quicker on the draw than the grass.

I think we're in the spring dawning of massive global connectivity - the nodes are online but they aren't good at resisting infection, the networks are vast but not resilient to abuse, truth struggles against the speed and virality and appeal of propaganda - but humanity's good at inventing approaches and institutions to improve on those things.

Asteroids, pandemics, and climate change on the other hand....
I have funny story of being helped in a Microsoft store.

I once bought a BLU Windows Phone in a Microsoft store. I really liked having a Windows Phone mostly because no one I ever met had seen one before and both Apple and Android users were shocked when they saw it. :)

After a few years my phone's battery indicator started failing, or at least that's what I think the problem was. The phone would suddenly say it was almost out of battery and had to shut down. When I restarted it the battery indicator would say some more reasonable number, consistent with how long ago I had charged the phone; but after a little while, long before it should have been running out of battery, it would again say it had almost no battery left and turn itself off.

I thought the phone's problem wasn't too serious yet and with some vigilance (checking it frequently to turn it on as soon as it turned itself off) I could use it a little longer. But my wife thought it was time for me to get a new phone, so I went to a Microsoft store only to discover they didn't sell them anymore. I think by then everyone had decided to give up on Windows Phones; I still valued what was their main selling point for me, the shock value, and would have gladly bought another!

At the store I started chatting a bit about my phone with the clerk who told me they didn't sell Windows Phones anymore, a heavyset young man. At some point I wanted to show him something on the phone so I took it out of my pocket but fumbled and dropped the phone. When the clerk saw I was about to drop the phone near him, he lifted the leg nearest the phone, but lost his balance and brought his foot down hard, right on my phone!

After that the phone wouldn't turn on anymore. The clerk was very apologetic and seemed willing to pay at least partially to replace my phone but I insisted that I was about to replace it anyway. I went somewhere else and bought myself a cheap Android phone. My wife was very happy the clerk had stepped on my Windows Phone since I had the left the house unconvinced it needed immediate replacement.
I reckon discussion used to be moderated by the elites. Ideas too radical (anti-vaxx, etc) would not have received widespread coverage, people who are too extreme would not either. Editors and network owners could apply prejudice and moderation.
This is all gone now, instead we have people flocking into extremes in endless feedback loops (some intentional, some psychological, some algorithmic).

I'm sure new mechanisms for self moderation will grow out of this. The generation growing into these platforms as their only known reality will need to take the lead and set up new rules which would allow society to keep existing. This is a work in progress.
Toydb: Distributed SQL Database in Rust
Nope, just checked the data on the Santa Clara hospitalizations link - only the number of tests is increasing, not admissions or mortality. Same for months.

The press is saying one thing, but the official stats say flat - month after month.

I guess newspapers value outrage over public service.

You would need a magnifying glass to see anything significant. Only 72 hospitalized patients today (2,278 more available), historical average is a little less.

https://www.sccgov.org/sites/covid19/Pages/dashboard.aspx

Shame on HN for letting non-technical people dictate public policy with a false narrative. If anybody told me that a technical group the size of HN in 2019 was this oblivious, I would have been skeptical. But here we are - the center of SV refuses to actually read a graph, month after month.

Can somebody explain that to me? Is everybody else incapacitated with fear, virtue signalling, mass hysteria, or what is behind that?

Dr. VDH, who noticed the above in parallel with me, said something like, "[We're captive to 1%'ers who have a nice life and feel it's unfair they could lose that.]"

Is that it? Destroy our economy for individual selfishness?

Do I need to make a video on how to read the graphs?
At some point you'd have to start understanding that not complying is the cause of your problems...
List of words text-to-speech engines can't say correctly
Node VOL 02: Manifesting Reality
Wouldn't a federal body less reliant on a favorable disposition from the police be the answer here?

Few are going to welcome more oversight of themselves, but it seems more and more like what's required. That oversight doesn't seem to work when it's locally based, for all the reasons you've outlined.
Can you clarify how this contradicts my comment? I am at a loss in how this shows me wrong. Or maybe I'm misunderstanding the intent of your reply.
Not only open source projects. Even many SaaS and PaaS projects have the same issue. They try too hard to make themselves distinguish from others that they end up with a fancy landing page that does not say anything useful and straight about them but some vague description. You really have to dig into to find out what is that they are doing.

I like to think that's just a bad marketing tactic because I can't believe that they can't explain themselves clearly.
Related is the story of Bento from the StartUp podcast. https://gimletmedia.com/shows/startup/awhmbo/kitchen-confide...

The restaurant industry is brutal.
In both cases, where buildings had exclusivity agreements or had the fiber providers lay the fiber themselves, residents are worse off.

This is an opportunity for wireless. I've lived in buildings with exclusive internet agreements. I was able to bypass those in some cities back when WiMax was still available. I got double the speed for half the price when I was living in an AT&T building, and the same speed for half the price when I was in a Qwest building.

I'm not a fan of the new breed of satellite internet startups, but if they put fear into the wired/fibered carriers, then at least some good will come out of them.
https://www.cdc.gov/coronavirus/2019-ncov/testing/serology-o...
Really appreciate this material! And I did take the fastai course, it was throughly enjoyable
That was between 80-110 years ago. Is anyone that was even a part of that decision making process still alive?
Manning and Snowden should never be compared as whistleblowers. Snowden has so much moral high ground in the form of responsible disclosure compared to Manning that it does him a disservice to put him in the same sentence as Manning.
The city could absolutely cut the police budget to $0.
This is exactly right. Growing up, my dad was a police officer. The mental part of being a cop dramatically affects officers and their families.

Eventually, my dad got very injured on the job and had to quit. The mental part is what injured him the most.
Does a lightning rod high up and nearby work?
Of course not. It's not even a problem for C++ if you use namespaces pervasively. This is purely support for C.
People looking to start outrage mobs aren’t going to care that what you said was acceptable on the channel where you said it. You’re still the speaker, they’re still going to make it expensive for your real-world contacts to implicitly endorse your views by continuing to associate with you.
> Image is still by far the largest payload.

A good point that has been made before is that images are often by far the biggest part of a web page, but most sites still don't even do basic optimisations like resizing them to the viewing size, using WebP, using pngcrush, etc.

That said, this would be cool for making really well optimised sites.
>However, I see no value at all in protecting calls to violence or protecting speech that is intentionally designed to deceive or manipulate.

Congratulations - you just allowed the South to secede and defanged every rousing political speech ever. You also prevented entrance of USA in WWI (media played huge role there)

By your definition in this day and age a leader cannot use social media to gather support for a war.
It was everyone else's fault: mean old City Hall and Uber did them in. Well, okay. The margin thing sounds like the real problem to me, but what do I know, I'm just a coder.
Everyone wants to limit what other people can read and write because they want to impose their beliefs onto the rest of the world. No. Your ideas aren't the "correct" ones. Just censor your personal information instead. Stop looking at all the crap and it'll be as if it doesn't exist. Almost everything I see on Twitter or Facebook is either interesting technical things, advertising, real people's daily lives, and the odd cat video.
That is an extremely misleading figure. Shared memory is page-aligned entire libraries dropped into RAM

First of all, I seriously doubt it (haven't looked closely, but if library-loading is similar to mmap, it should only count actually used segments).

But that shouldn't even matter, as most of these libraries are fully utilized. All of libc is used collectively by 400+ processes, that is also true for the complex multi-layer GUI machinery. The output of ldd $(which gnome-calculator) is terrifying, run it under a profiler and see how many functions get hit, you'll be amazed.

Put the cold hard numbers right in front of someone's face
and still the cargo cult wins out.

The coldness of your numbers did not impress. And calling a reasonable engineering trade-off "cargo cult" doesn't get you any points either.

Static linking is better than dynamic linking. Sometimes. And vice versa. That's how engineering is different from science, there are no absolute truths, only trade-offs.
You missed the "controlling for no other factors" qualifier.
I love this story!

Thanks so much for sharing it!
> and the fine implies "and we will come to your house and get you if you don't pay".

Well, it depends. Maybe you've declared bankruptcy in the mean time, and the fine might be wiped out as a result. And if you're unwilling to declare bankruptcy, doesn't that mean you have some valuable property in your name? So the state is exerting violence on your behalf just as much, by enforcing your rights to that property.
> "The American Sheep Industry Association has called the M-44 a 'critical tool' that has a 'proven track record of protecting livestock and the environment'"

I don't see how a cyanide bomb intended to kill wild animals protects the environment. Those wolves are native species and part of the environment. Killing them is hurting the environment, definitionally. And given that these bombs don't strategically kill invasive species and are just as if not more likely to kill native species, then I don't see any reasonable claim that these are protecting the environment.

This is simply another case of regulatory capture where the government is helping the special interests that are farmers.
This won't be a detailed answer but a principle: have as much control over each user as you like up to a certain scale followed by gradually decreasing per-user control if you keep gaining users. The company can choose whether to stay smaller and keep full control over all users or, say, federate their protocol to allow other providers to freely join the network-effects-dominated system, so users could decide for themselves which other users to subscribe to. The original company could then retain full control over their size-limited portion of the users, those still wanting "full service", by offering such benefits as "safety" from bad opinions as an incentive.

This would certainly apply to cases such as Amazon, where the bigger they got, the more helpful they would have to be to small competitors instead of putting them out of business.
Xbox Architecture
> Even posting the law, and saying that someone is violating it, would be "inciting violence" under Twitter's definition.

Isn't this only the case if the response to a violation is violence?

> carries the threat of an officer with a gun using force against the alleged violator.

Yes. This appears to be the observed reality.

> They don't draw any distinction between lawful and unlawful violence

Sounds correct. It's still violence. Advocating for it is still advocating for violence. Maybe if those with this power of lawful violence showed themselves responsible in its application, we wouldn't be here, but they didn't, and we are.