skysight-inc/HackerNews huggingface dataset:
Same here, but I took up smoking outside with them and it put me in the inside group on projects/tasks. I never picked up smoking outside of these little daily excursions and I realize it's playing with fire, but at least for my career it was one of the best things I could have done.
You'd probably reimplement this stuff on a microcontroller, rather. Perhaps interfacing with a general purpose system for configuration and data output.
Without knowing much about the topic, when I hear about code being proven to be correct it makes me think of the Curry-Howard correspondence, which states that proofs and programs are isomorphic to each other. Is this related at all? If programs and proofs are the same thing and you have a proof that a program is correct, is that like having a proof that a proof is correct? In which case it seems like you are getting into the domain of meta-logic.
Maybe, or Jekyll, Github pages etc etc...
We're saying the same thing, I think. I'm just asserting that ideas like empathy are rooted in an understanding of subjective experience. I.e., they are based on the idea of consciousness, even if we struggle to define it. I would hope better definitions lead to more clarity, not less.

To build on your example, a robust definition of consciousness could prevent declaring someone an "unconscious zombie". The opposite may be true, however. It would potentially cause problems for lots of people if we could prove certain subjects (plants, for example) have subjective experience.
Merzbow has an ironicly titled song name: "Become the discovered, not the discoverer"
The problem with animal cruelty is that modern industrial animal farming is torture, and torture of the worst kind. So it's diffucult to draw the line without angering powerful groups and rich advertisers.
I understand your POV on this, I quit social media relatively silently[1]. From my POV, ex-social-media-addict now "clean" for 838 days[2], there is a strong degree of FOMO attached to not being on SM. Here are a few examples of where I wish I had "told folks" that I was quitting:

* For the first 9 months folks would often say: "I missed you at my such-and-such event last month", and I would reply: "email me next time". Perhaps if I had quit loudly I'd have felt less FOMO-y and been invited to more events.

* Births / Deaths / Marriages; I'm completely out of the loop, which is almost always a worse off situation. I've come to learn that I want to know sooner rather than later when folks have died because going through grief a week or two after other folks absolutely sucks. I wonder if I quit loudly folks would reach out more proactively in these situations?

* Generally feeling connected: a "personal talent" of mine is a relatively strong ability to remember what I read about folks on their FB timelines. Without that I feel pretty disconnected; and there are a lot of folks I "miss" as a result. Would this have been different if I quit in the open? Would folks have said: "oh you can follow my photo stream and see what I'm up to?"

That final example, when coupled with deaths, is particularly acute. You're left wondering whether you could have helped prevent self harm, etc.

[1] https://twitter.com/ossareh/status/1133957584153694214

[2] I mean this jovially, apologies to anyone that struggles with a more manifest addiction if this phrasing comes across as trite.
Microsoft was a serial liar for decades over its efforts to quash competition for DOS, Windows, Internet Explorer, and its "embrace, extend, and extinguish" strategy. Amazon's statements about working conditions in its warehouses and its treatment of workers trying to unionize directly contradict documented actions. Twitter says one thing regarding abusive and hateful users but does another. Google finessed its theft of Java.

Some would say that you don't get to be as large and as profitable as those companies without resorting to mendacity and rule-breaking. Some would even say that such moves are required and acceptable
Most legal immigrants (non-citizens) pay taxes which in some form are used to sponsor the very social security benefits that you talk about, so why should these immigrants not receive these tangible benefits for which they have already paid for?
The chicken develops a theory where "new day => new food" is a law, even though the reality is more nuanced. No matter the # of observations of the feeding event, there isn't enough information to make a law about its causality.

I have no idea what the chicken should do however :) Escape the farm and hope that Kate Middleton saves her?
Meanwhile, Firefox released version 57 that killed most of their extensions and add-ons. Then it imposed terrible changes to their UI that you can't change with the new extensions. Want tabs below the address bar? Too bad. Github now has numerous projects for re-vamping Firefox's userChrome.css because its UI is THAT bad. And now there's Proton. I'm sure there's someone out there that likes it, but I haven't heard from anyone who does. Want to turn it off? Too bad. Mozilla thinks they know what's best for their users and seems incapable of internalizing any criticism. If Firefox is so great, why would so many calories get burned creating Waterfox? If Mozilla were really doing a great job with Firefox, giving people what they really wanted in a browser, they wouldn't need to be quite so concerned about Microsoft's shenanigans. If it were a great and wonderful browser, people would want it and do what they needed to do to install it. This is not an argument that what MS is doing is okay; it's not. But after everything Firefox has dished out over the last few years, it's just difficult for me to feel too sorry for them.
It baffles me that Microsoft cares what browser people use; Edge is based on Chromium and Edge's user count confers absolutely no authority over web standards (one of the major things Google gets from making Chromium) to Microsoft.
Depends on the rules and laws. The system tends to be very good at punishing rich people that swindle money from other rich people.
I have seen quite a lot of industrial machinery that are programmed in... LabView!
In which case you've basically described the vast majority of DOS's common use cases. So why even argue against my point?

Also there were plenty of text-based office apps that required their own dedicated autoexec.bat config too.
Yeah, better to listen to someone with unknown credentials on Substack, or whatever I dig up on Facebook. That will put the MSM in their place.

By the way did you know that hydroxychloroquine does cure COVID, if you also take it with tons of Zinc? Big Pharma (TM) doesn't want you to know.
The Journey to Define Dimension
You were focused on what people say. In particular "literally no-one on earth saying". I'm saying that asking them isn't sufficient to understand their priorities. People lie, Virginia.

I have provided examples elsewhere. But if they aren't sufficient for you, take it as anything you like. I long ago stopped caring that every internet on the random understood my point, especially the ones working hard to not get what I'm saying.
As I see this it is the same tactic as reintroducing a bill until it is finally approved due to opponent exhaustion. Since this is a government operation that apple is carrying out it seems reasonable to think they will follow the same tactics.

I also don't like that they keep referring to this as "Child Safety" instead of what it is. Irremovable government spyware, that has no visible oversight.
Cache-friendliness; applies to any platform.

And it's "optimize for size", by the way.
How was your time at AWS?
Unfortunately, the days of mostly rational Github users are over.

The last year or two I've noticed a pretty sharp uptick of demanding, unreasonable people berating you for taking too much time or otherwise being rude or offensive if they don't get their way.

This is probably a contributing factor.
> the community of squirrels have no ability to retaliate

Tell that to my garden.

(I don't condone messing with wildlife in any way. However, I would like my arugula to grow up not behind bars.)
This comment and the replies seem to be rationalisation. It's clear even from the opening Pinky is supposed to be shown as an insane fool (It shows the Pinky dancing in what looks like a Straitjacket when the theme sings "The other is insane"). The reason The Brain's schemes don't work out is because it's a comedy cartoon for children, not that the mouse acting like the idiot is secretly a genius.

It's a nice fan theory but I don't think it holds up.
Ditto. Squatting my own identity.
Many discussions are explicitly about what S230 ought to be though, not what it is. Most discussions I've seen start out by stating it was made for a 1996 bulletin board and is dated. It's long overdue to handle this blanket immunity that's being abused by social media behemoths.

You don't have to be a lawyer to know something is a bad law and something is being abused.
> To me PHP is an ugly language, with heaps of quirks and weird api's. The way it mixes markup and logic is gross.

Kind of tangential, but I've found a similar thing in the React framework: After all these years working towards splitting UI with logic, React asks me to hardcode the graphical components in a return (<module1></module1><module2></module2>) function. It is something I just cannot grok. I prefer frameworks that let you separate the UI elements from the logic that drives them.
> 31 Now a wind went out from the Lord and drove quail in from the sea. It scattered them up to two cubits deep all around the camp, as far as a day’s walk in any direction.

> 32 All that day and night and all the next day the people went out and gathered quail. No one gathered less than ten homers. Then they spread them out all around the camp.

> 33 But while the meat was still between their teeth and before it could be consumed, the anger of the Lord burned against the people, and he struck them with a severe plague.
Yep, but despite this Matrix is superior in several key aspects:
- One client, even like Element, allows you to access several networks. I think that having just Element instead of Slack+Telegram+Signal is already a CPU saver
- lightweight and CLI clients exist, and do so LEGALLY with the full support of the protocol maintainers.
I don't understand -- US v microsoft was about literally this, except it was netscape. How do you go through the largest tech antitrust action ever and then just forget.

Why does msft even want their thing to be default? The only site I've ever seen recommend it is the NY DMV, and it was a bad recommendation -- they actually needed IE11.
I agree uber drivers =/= black cab drivers, but I'd also argue that most people don't want or need a black cab driver today.

What extra services does a black cab driver provide over an Uber driver in London?

- Better knowledge of traffic patterns?
- Ability to recommend places, give you local knowledge

That's all I can really think of. I agree that local knowledge is sometimes useful, but the vast majority of the time I know exactly where I want to go, and if I'm looking for recommendations I'm likely to trust the internet more than a taxi driver.
Álvaro Hernández here apparently runs a PostgreSQL consulting firm [1] and controls "Fundación PostgreSQL." Would Fundación PostgreSQL have the power to grant exclusive use of the trademark to the consulting firm?

[1] https://ongres.com/about-us/#team
>Also, in general passing untrusted input to shell commands is probably a bad idea.

This is why you escape the shell command arguments, but if you blindly npm install a shitty wrapper you probably hit the issue with security issues. Sure review of the dependency would be great but I did not seen many devs doing it, if they would have reviewed the ffmpeg wrapper would have noticed the simplicity and implemented themselves and on top of that learned some new stuff.

>Or, maybe developers who choose other languages are also competent professionals

I did not say that all of node developers are beginners,
I am saying that many developers are not using the right tool for the job but use the cool tool for the job and some developers just blindly npm install shit because this is the only thing they know.

And I can confess I was guilty of this, on a project I propose to use Qt4 over Adobe Air because I was fan Qt and hated Adobe , turned out in the end I was forced to use Adobe Air and I loved it, for what we were doing it was the best tool for the job.
No one ever went broke underestimating the intelligence of the American public
When you do `go run qsort.go` you are also timing the time taken by Golang to build/compile the code.
I suspect the same applies to `cargo run`

You should do something like; `go build . && time ./qsort`
The reason for requiring a review on a team with high trust is that you can trust your team to validate the assumption that a given change is “trivial”. My team has had several minor changes recently where mistakes were caught in the review process.

If your team thinks it’s a waste of time, they’ll treat it as one. But that doesn’t mean it is one.
Disclosing E2EE vulnerability in multiple Matrix clients
I'm sure it will become especially popular amongst Hottub streamers and the like who already use realtime touch ups
Hey,

Bitbucket also have a list of PRs like github but what bitbucket is missing is this => https://docs.github.com/en/organizations/organizing-members-...
Sometimes when the team has a lot things and features to work on they end up ignoring PRs of their colleagues which require everytime the techlead to notify the devs to do so and this is the main issue that pullthunder will solve in addition to some other features.
How to log correctly (with Python examples)
> It could be different in Germany.

Nice overview(s) for Germany and most other countries with comparisons where appropriate.

Regarding the AG in Germany and required regular external auditing, in my university course where I learned about the charasteristics of the most common German legal entities [0], there was no such requirement listed or talked about, maybe that's only for Switzerland?

The GmbH on the other hand requires a minimum capital of 25.000€ and is expensive to form (from the course mentioned above >1.000€ in fees for notarizations etc.) which is one reason why the "UG (haftungsbeschränkt)" (essentially "baby's first GmbH") was established a while ago.
A UG only has to have a minimum of 1€ in starting capital but has to

> "enlarge its capital by at least 25% of its annual net profit (with some adjustments), until the general minimum of €25,000 is reached (at which point the company may change its name for the more prestigious GmbH)."

Further reading: https://en.wikipedia.org/wiki/Entrepreneurial_company_(Germa... https://en.wikipedia.org/wiki/Gesellschaft_mit_beschr%C3%A4n...

[0]: as part of the subject "Finanzwirtschaft"/"Managerial finance?"
this video is almost hnsearchable on youtube because they're adamant that "dos" really means "does" or "do"
since we are talking insane speeds and energies required to reach them why not just say you are in a bigger ship with more radiation shielding a dozen or so meters of water in the hull and a layer of lead a foot thick aught to stop most of it
> And do they cook one food order at a restaurant they work for, then 15 minutes later walk across the street and cook for a competing restaurant for 30 minutes, and then immediately walk back across the street and cook a food order for the other restaurant? No, of course that's not normal.

As a former Lyft/uber driver this is absolutely correct. It gets even hairier: suppose you are sitting on both apps (or even more) waiting for a ride. Do you get to double-bill two companies for minimum wage hours?

I think what is going happen is if Uber and Lyft are forced to recategorize as employees, they get to do something like "compel drivers to wear a uniform", so like a polo with the brand on it, and prohibit wearing of competitors logo. Or prohibit displaying competitor logo on the car (displaying is a legal requirement in many jurisdictions). In the end the take-home for the driver is going to be worse.

I'm quite frankly surprised that Uber didn't preempt the legislation by creating a class of driver that is an employee, putting these sorts of onerous restrictions on the driver, plus other ones like "you must start and end at central processing center, drive an uber-owned car", "requiring shifts on ADA-compliant vehicles", "being required to comply with an uber-generated shift schedule", in exchange for bare minimum wage and benefits.
> so I wrote this blog post about quitting social media, and am posting it to hacker news and other sites

I'm not sure if the fact that the author includes "Share to Facebook/Twitter" links at the bottom of the blog post is more comical or downright insulting to the reader.

They spend several paragraphs describing all the harm social media causes to themselves and society as a whole, then describe their epiphany and the joy of freeing themselves from its psychological chains, and then ask you to contribute to it. At very least it's extremely insincere.
They're based on country of birth, not on country of citizenship of the individual or country of recent residency of the application. There's no reason, whatsoever, to have immigration tied to where your mother happened to be physically located when you came into the world. It's meaningless. One of my buddies was born in India, lived there for a couple of years and moved to the UK. He's a UK citizen. He's a principal engineer at a top Bay Area tech company. He's been in the India backlog for a decade.

Who cares if India and China become the majority of immigrations? What difference does it make?

What the US needs is top-down immigration reform and a points-based program like Canada and Australia. Those countries get to cherry-pick the most skilled immigrants and the most likely to thrive in their new homes.

Who cares where they were born?! That's literally the least interesting thing about an immigration petition.
I see you point. Maybe, if you're an able bodied person sending one letter, then this service might not be your cup of coffee. Fair.

But if you need a solution for bulk mail and want to send mail just like you would email- with a few click- then Postalytics might be the right service for you.

I think their users are primarily SMBs in Real Estate, Insurance and Education industries.
Yes, that's what's been happening but it's exactly what I'd call "just-sort-of-happened without informed consent of the masses" - which is sustainable only while the costs are relatively trivial. If the impact grows, it will have to devolve to one of the three scenarios; the EU core institutions are composed of country's prime ministers and of directly elected representatives - all of those could and would be held accountable as soon as the people started to be bothered enough about the EU-wide decisions; currently they mostly vote for local parties based on their local issues, but if (when?) climate change and various options for tackling it (or not) would become an important issue in elections, then the same parties will put their EU-level votes as a key part of their election agenda.
Then it is called journalism. It already exists and it is usually considered unethical to fund it when you are one of the object of their scrutiny.
Huh, never thought I’d see XCheck in a news article. I used to work at Facebook and spotted abuse of this system by bad actors and partly fixed it. It’s still not perfect but it’s better than it used to be.

I think I might have agreed with the author of this article before working in Integrity for a few years. But with time I learned that any system that’s meant to work for millions of users will have some edge cases that need to be papered over. Especially when it’s not a system owned and operated by a handful of people. Here’s an example - as far as I know it’s not possible for Mark Zuckerberg to log in to Facebook on a new device. The system that prevents malicious log in attempts sees so many attempts on his account that it disallows any attempt now. There’s no plans to fix it for him specifically because it works reasonably well for hundreds of millions of other users whose accounts are safeguarded from being compromised. His inconvenience is an edge case.

With XCheck specifically what would happen is that some team working closely on a specific problem in integrity might find a sub population of users being wrongly persecuted by systems built by other teams located in other time zones. They would use XCheck as a means to prevent these users from being penalised by the other systems. It worked reasonably well, but there’s always room for improvement.

I can confirm some of what the article says though. The process for adding shields wasn’t policed internally very well in the past. Like I mentioned, this was being exploited by abusive accounts - if an account was able to verify its identity it would get a “Shielded-ID-Verified” tag applied to it. ID verification was considered to be a strong signal of authenticity. So teams that weren’t related to applying the tag would see the tag and assume the account was authentic. And as I investigated this more I realised no one really “owned” the tag or policed who could apply it and under what circumstances. I closed this particular loop hole.

In later years the XCheck system started being actively maintained by a dedicated team that cared. They looked into problems like these and made it better.
A healthy heart is not a metronome: an integrative review of the heart's anatomy
Well to counter your anecdotal search Linkedin shows 31226 jobs for Ruby (U.S) vs 22208 for PHP. I think PHP isn't really strong in North American but more in Europe.
Brock Turner wasn't elite in any sense besides his acceptance into Stanford, which had been revoked. His father was an electrical engineer and his mom was a nurse.

Also, the judge who made the ruling was fired.
This post was really hard to understand. Also, why wasn’t his dns resolving the default test domain ok? Wouldn’t an easier (and more correct) fix have been to address that? That way any other people on his network wouldn’t have a problem, either.
I strongly believe that many adults do not belong on the Internet - including many FAANG execs.

As usual, it's not a technological problem. There's no point being surprised that both kids and adults are harmed by online activity in a culture where making as much money as possible is always the primary goal, irrespective of consequences.
So? Did James Watt generate more value than he cost?
The issue to watch is here: https://github.com/containers/podman/issues/8016

To be clear volumes are supported, what aren't are "bind mounts" which are not recommended over named volumes: https://docs.docker.com/storage/volumes/
https://docs.docker.com/storage/bind-mounts/
Both your points are red herrings. In addition, France does not offer citizenship to attract foreign workers. It has sped up the process for a few people so that the government can have its PR less than a year before elections.

Again, I'm not opposed to granting citizenship outside of the normal procedure, but I think this should require having done some exceptional to deserve it. I have no problem with granting it to a law-abiding health worker who has pulled 60 hour weeks in ICU since the beginning of the pandemic, but I don't see what a garbage collector who's been doing their job normally (like everyone else) has done to deserve "a medal".

Lastly, France has a high unemployment rate so I don't think there is a need to attract unskilled foreign workers. If unskilled jobs are left unfilled (and I don't have data to say they are) the issue is not workforce shortages.
Garbage collectors are more essential to a society than any developer. Don't mistake being well compensated with being important. A lot more people are going to find themselves inconvenienced if the neighborhood garbage collector stops his route than if the neighborhood software nerd stops writing code.
TypeCake, a language that compiles to TypeScript types