skysight-inc/HackerNews huggingface dataset:
Ask HN: Who can access GPL'd source code
I was following the thread regarding the fallout from the Zen fork of Zig [0]. A number of comments brought up the licensing and how the situation would have been different if Zig was under GPL rather than MIT license.

This got me wondering. Say I have a GPL project and someone forks it. They then distribute their software to paying customers. Does the GPL only require that those paying customers have access to the source? Is there any requirement that the original author also must have access (assuming they aren't a paying customer of the fork)?

[0] https://news.ycombinator.com/item?id=24481142
https://mako.cc/copyrighteous/trust-your-technolust
All of science starts with something you're trying to prove or disprove. It can work either way.
> It's this sort of regulatory boom and bust that makes me feel humans shouldn't be allowed to do anything that's dangerous on a really large scale (such as nuclear power).

For more thinking along these lines, see the book “Normal Accidents: Living with High-Risk Technologies” (1984) by sociologist Charles Perrow (concerning nuclear power), the book “The Limits of Safety — Organizations, Accidents and Nuclear Weapons” (1993) by Scott Sagan concerning nuclear weapons, and the work of philosopher Hans Jonas on the “imperative of responsibility” (1980s).
You must be filing a lot of tickets then.
Where is the accountability for AI ethics gatekeepers?
Employees taking jobs they're unqualified for is a known problem. Reasons might include ignorance, hubris, financial need, greed. Employers need oversight systems to ensure employees are performing their jobs adequately, especially in safety critical roles.
The update specifically talks about why the PBP is delayed. Pine64 is a small team, annoying them with requests for ship dates tends to be pointless: They post publicly when shipments go out.
Read your paystub, hypocrite.

Taiwan is officially the Republic Of China. CHINA. You are beyond dumb.
It get me off on this line " when I need a hash set in Java I just use HashSet- I don’t fucking care about the complexity of this code block because I can afford another EC2 instance! So fuck you." I have to deal with these incompetent idiots everyday. Software Engineering is not mindless copy paste.
I make software that is broken ALL THE TIME. And what do I do then? Find the faults and then fix them. Just because software is not perfect does not mean that I sit like a dog in a house fire saying, "this is fine."

Killing 300+ people is broken. And our obligation is to admit that it is broken, and fix that thing. When we find another thing, we admit that the system is broken there as well, and go fix that.

Trying to diminish the seriousness of 300 deaths with mealy-mouth terms like "imperfect" is pure spin. If a plane, staffed by pilots allegedly trained on how to fly it, crashes from pilot error... TWICE, the system is broken. terribly broken.

See also: Security, physical or digital.

Terrorists flew planes into the World Trade Center. The system was broken. We fixed some of it. We put on some secuity theatre too. But we didn't say, "It's impossible to fix everything, so the system is fine." We didn't shrug it off as "imperfect."

We always begin by being truthful with ourselves about the fact that we have discovered that the system is broken. And if the consequences of its broken-ness are unacceptable, we fix it.

"Imperfect" is a word that should only be used for acceptable faults. Like, "The seating in economy is imperfect." It's too close together, but we don't have planes falling from the sky because they're cramming passengers together.

---

And now a footnote: Please avoid ad hominem arguments like "please name one system you've..." If the speaker's argument has a logical fallacy, point it out. If the speaker's argument is sound, it doesn't matter whether they write faultless software, or even whether they write software at all.

It's the argument we are discussing, not the person making it.
They (the government) have _always_ said this and the courts have backed them up on it. Always. Ellsberg should have gone to jail and were it not for incompetent prosecutors and Liddy, Hunt, and the rest of the plumbers along with some FBI wiretapping Ellsberg would have been in prison until at least the Ford administration and possibly until Carter took office.
Raise Ducks, Not Chickens
I had no idea LLC's were so expensive elsewhere, here in Florida it's roughly $150 last I remember and you can do it online, I think most people I've met just do it all online.
The right to tax is also in the constitution....
To my shame I had never tried ADA before, but after a cursory look I find the syntax similar to Oracle's PL/SQL, which evokes many bad memories. I am sure I will be able to enjoy the language once I pass this barrier.
I mean technically its a company, but really its just my personal blog. I read the HN rules and it says you can post again after ~X hours if it didn't get off of "new" (which it didn't)

If there is an article I wrote that I think will do well I usually give it 2 or 3 chances
> but this is sounding eerily familiar to the "huge steps" desktop linux distros have been making for decades.

Well, good. Destkop Linux has come a huge way. I was playing around with Linux as a kid, and it wasn't mature enough for my needs. Fast forward to 2020 and I've had my parents on Linux without issues, I've currently got my nieces on Linux with zero issues, even though they're using those computers for all of their remote learning during the pandemic, and even though I haven't been able to visit them in person to fix any issues. I run Linux on 100% of my personal computers and it works great.

I don't think Linux is for everyone, but we're at the point where it's crazy to say that Linux isn't functionally competitive with Mac/Windows for some people, particularly professionals or nontechnical people on managed computers.

I used to play with Linux for ideological reasons, now I use Linux because I want to get work done in a stable environment. I used to avoid recommending Linux to anyone who wasn't technical, now if I can set the computer up for them I only recommend Linux because I know that Linux won't break behind my back.

Whether that's because Linux has gotten way better or because Windows/Mac has gotten way worse and is way less stable than it used to be -- you can be the judge of that. A Linux smartphone that worked 80-90% as well as the Linux desktop would be usable as a daily driver for me. That's at the point where I would feel comfortable getting rid of my Android phone.
Compare the Ada getting started page to the Rust getting started page: https://www.adacore.com/get-started vs https://www.rust-lang.org/learn/get-started

Ada asks you to compare four versions of GNAT and prominently displays "request pricing" buttons. Rust gives you a compiler, a package manager, some IDEs with Rust integrations, and a link to the Rust Book.

In point of fact, Ada has quite a bit of historical baggage/inertia as a proprietary language sold to well heeled defense contractors while Rust has a great deal of effort put toward community engagement and onboarding. Given that Rust now has a "cool" factor that Ada lacks, it's not surprising that people in the "market" for features both languages provide would gravitate to Rust (or other less popular but more engaging systems language communities).
What’s the expected knowledge before you read this?
Give me a multi-decade problem over dying in a ditch any day
I would second this. I finally got rid of my MacBook Pro after all kinds of hardware problems and moved to Linux as my daily driver. I made a point of buying a new laptop that was built by a System76 type company in Europe to avoid any weird hardware compatibility issues and it really does work perfectly for me. I’m using Pop_OS 20.04 for what it’s worth.
One of the GPL's terms is that all changes must be made available, even to those who do not pay for the changes. All derivative works (like code forks) must be licensed under the same or equivalent license.
It does, but e.g. on Ubuntu you have to install an extra configurator tool to access that setting.
Or just continue not putting yourself in dangerous situations.
Just noting: paper (and book) came out in 2018. The book is well worth reading if you missed it then.
I’m in my mid fifties and I have never had a company pension, defined benefit or contribution. I saw my first house decline in value by 25%. We had interest rates peaking at 15%. I didn’t have student loans but only because I didn’t go to university, just like 90% of my peer group. Unemployment was much higher than it is now and schools were teaching subjects for obsolete careers.

It wasn’t as rosey as it is often portrayed.
Again, mindless arguing what exact word fit or does not fit the situation detracts from the real issues.
>> the horrific culmination of a series of faulty technical assumptions by Boeing's engineers, a lack of transparency on the part of Boeing's management, and grossly insufficient oversight by the FAA.

That is being very kind to Boeing management. Its blaming the engineers and the FAA but the management was just not transparent? Boeing fought hard for their autonomy and ability to self certify, so I guess the FAA failed by allowing that. But that doesnt exempt the management at Boeing who was supposed to create an organisation with processes in place to design and build safe airplanes. They had such an organisation but failed to maintain it as such. That's more than a lack of transparency.
Where does it say syntax is against rust. It seems like no commercial vendor meaning no plans for certification combined with no spark equivalent we're the reasons.
Israel-Arab Peace Solves One Problem, Creates Another
What Is MVP – Companies That Started with MVP
Feeney is a pretty dang irish surname

"This is an anglicized form of an Olde Gaelic name O Fiannaidh - composed of the elements 'O' meaning a 'grandson (of)' or 'male descendant' and 'Fianna' - a 'soldier'. The main O Fiannaidh clan was located in the parish of Easkey, Co. Sligo."
MVP, Minimum Viable Product, is a solution that’ll help you reduce the expenses and prove your idea is viable.
What does MVP stand for? That is Minimum Viable Product - the earliest version of your product, which only has necessary and vital functions.
We recommend our customers to build an MVP where there is a need to validate an idea. In fact, it is the easiest, fastest, and cheapest way to test out your app on the actual users. With over 400 apps being launched daily, you need to be sure your idea can actually be a foundation for success.
Your argument is that we should just let older people die? No offense but I disagree, I really don't want my parents to pass away from a pandemic we could have absolutely under control if people and our government just acted responsibly. Your comment is "pretty disgraceful"
If you mean the web apps, they work until they don't. Often it is a function you would never expect:

- in Excel, you can clear conditional formatting rules but you can't manage them. And text in text boxes turn into images that can't be edited, only moved.

- in Word, formulas turn to images. Complex tables break.

- Visio... well, there is no web app version of Visio.
Or educate users to pay for quality and make quality websites/products so we don't have to depend on advertising. This would be insanely difficult to pull off, but it is at least worth a try.

The incumbents have trained users to expect everything on the internet for free. People think they pay $75 (or whatever their internet connection costs) and that should cover everything - news, search, email...

How many people even pay for super important stuff like email? No wonder ads are everywhere, like bad smell.
Show HN: FeedFox (RSS Reader)
I guess you are right, but we have that phrasing too.
One thing I've learned from using i3wm and trying various other tiling shells/scripts over time is a stacking mode is crucial to my workflow.

It doesn't look like this has one. There's an outstanding PR to add stacking to Pop Shell [0] that I'm hopeful about.

[0] https://github.com/pop-os/shell
I read the FAA's final report, and to be frank, I feel like many punches were pulled. There were mountains of evidence of a dysfunctional culture and cavalier attitude toward regulation at Boeing.

Despite the punch pulling, there were also admissions that the plane (without the MCAS flight law) would not have passed certification requirements for carrying passengers, cementing a solid motive for regulatory obstruction and perception management.

Mary a mention or touching on any of that in the report. It went to great lengths to show that the "process worked as followed" yet never addressed the issue that said process led to 346 deaths.

It's frustrating, because I left the report with the feeling the conclusion was "Process is fine, people just need to follow it better" when the entire point of having a process is to take into account human capacity to err and designing it out.

I think Representatives are basically applying their plank to the report. Which is bloody stupid, because they need to be reading between the lines and focusing on the problem, not whether their party leaders approve of their approach or output.
Rust is akin to the JS framework du jour in respect to safe languages: overpaid bored engineers started a project without bothering checking existing work or dismissing what they found, then they market the resulting (still unfinished) language as something radically new and solving most programming language issues. Some people followed because of the novelty effect and the company that spanned it, which allowed for the hype train to start in places like NH. Rust is a social phenomenon not a technical one.

(This post is sponsored by the Rust Paganization Strike Force)
I doubt that will be true going forward. They first used the “Apple Silicon” branding for the Mac and yesterday they used the branding for the Watch and iPad (?)
That is not due to drivers, and nobody negates how bad Windows 10 is and that it becomes worse with every update. Still doesn't address the fact that you dGPU probably wouldn't work on Linux at all, or, more probable, would stay on all the time.
It follows, given their response to the Corona Virus. It's quite clear that they serve corporate interests, and not people.
The thing is that TS is effectively a compiler (I know it isn't _really_ but it is in all but name). Literally millions of developers write code for languages that use a compiler very happily[1]. Having a compile step isn't a bad thing, and the fact it takes a few seconds is fine. Having a development cycle where you're concerned about how productive you are down to the number of seconds things take is just silly. The problem is with the way you work. You need to chill out a bit, take more time over your code, and think things through more. By the sounds of it you can make yourself about twice as productive just by saving your code half as often.

[1] A lot of them look at JS and TS like it's actually worse because there isn't a compiler step.
The State of Swift for WebAssembly in 2020
I've never seen a government tasked with taking care of the populace actively work against them as much as this one has. Assistance is endless paperworks, checks, administrators, double check. All to make sure the people that need that help can't get that help. It would be so much easier for everyone for government assistance to be cash. But we'd rather have endless "programs" marked up 100% where in the end assistance is 50% cash and 50% administration.
I recently had an issue with my Linux Mint desktop where a power outage somehow introduced a hard disk error that was not easy to resolve (unless one knows exactly what to look for in the logs and knows the correct `fsck` incantation from memory). Linux is definitely still worth it, but the "just works" factor is just significantly less than MacOS.
I think the argument that Facebook and Google compete in the ad space is tenuous at best. Just ask a digital marketer: almost all of them consider FB and Google to have separate purposes and markets.

So fine, Google doesn't have a monopoly on online ads, but they do have a monopoly on search ads.
Because you typically play with one other person (unless you're doing doubles), it can be another way of casual networking.
I implemented it once as well, all the way down to single but storage.

Turned out to be a huge security nightmare though, because it kept decompressing into other people’s files!

Another problem was telling the compressed bits apart.
Craig Murray’s notes from the public gallery make for some incredible reading https://www.craigmurray.org.uk/archives/2020/09/your-man-in-...
The headline doesn't quite convey what the argument seems to be:
Google is involved in nearly every step in the chain between advertisers seeking to place their ads and the publishers selling space on their websites. Hawley pointed to findings from the United Kingdom's antitrust regulator showing that Google has dominant positions in various parts of the ad technology market, ranging from 40% to more than 90%.

There could be some merit in that argument.

But the way it is usually made ("Google (or Google+FB) monopolizes the digital ad market") seems easy to refute: just look at the demand for TikTok, and Snapchat is pulling in over $500M (revenue) a quarter and back to robust growth after some missteps a year or two ago.

And Twitch ads & sponsorships are huge.

Even the UK investigation found Google+FB only controlled 70% of the market (which I believe is less than the major newspaper publishers controlled in the newspaper heyday)
High tax rates are what causes this. You are effectively giving away half your wage to sustain a completely unknown person leeching off the government.
Also on HN: https://news.ycombinator.com/from?site=craigmurray.org.uk
...which is lower than the number of platforms with a C89 compiler. A lot of popular projects known for their high portability are C89 for this reason.

There's also the fact that there are far more compilers for C89, and it is easier to write one than for the newer standards. This becomes important if you are interested in avoiding Ken Thompson attacks.

Personally, I still stick to C89 and the only newer feature that I've found to be useful is mixed declarations and statements, but it's no big loss as it both avoids the "variable proliferation" that some codebases seem to be afflicted with, and blocks can be used to start a new inner scope if you really need a new set of declarations anyway.
Anyone working in engineering knows that any form of resistance would have been futile. I bet the engineers of MCAS didn't even have a view on the overall system and their solution probably fits the risk- and requirements analysis. You should be able check that, that is why we focus on documentation in security relevant branches.

Responsibility is for the stupid, certainly not for management.
What makes smoke forecasts so hard to predict
>something closer to OSX would give apple competition for devs like myself that want a linux based system

Apple has been consistently removing native *nix tools from the system with every iteration. I was recently surprised to see it still had SFTP built-in (although I'm not sure how long that would last).

But, homebrew still does save the day. I wonder whether binary notarization requirements will affect that too.
I don’t think it’s advancing technology that’s allowing this. It’s not physically constructing or programming a robot that’s so expensive, it’s iteration of designs to get to that point. A hobbyist can build a small working jet engine at home, but their hardly starting from scratch.

Further, building a modern full scale General Electric GE90 is extremely far beyond what a hobbyist can accomplish. If anything the true cutting edge is getting ever further out of reach. A few peasants could build a full scale trebuchet, good luck getting your friends together to build a F-22.
Designing a Culture of Reinvention (Ben Horowitz and Reed Hastings)
I don't think they're worried, they just like to see me. Which, all things considered, I really appreciate—it's certainly better than the other way around.

I guess the original reason I posted the anecdote is, I wonder how many of the people who've moved back home just did it because they could, since they're working remotely anyway.
Yeah - i'm confused by that statement. You would think it's only starbucks in town, when it's not.
I am the CMO for a company.

Google is the ONLY ad provider that give results, all others don't even get any clicks.

How that is not a monopoly on the classic definition? Every time Google has a bug and screw with my ads, the revenue of the company I work for tanks hard, and I am yet to find any solution for it.
Engineers don't have a say in whether things get built or not. Politics do, because politics are expressed through representatives of the people and people do.

Yes you can make any problem a problem of politics because that's EXACTLY how things get solved: people legislate, and things are made legal, illegal, decriminalized, mandated, budgets are voted, etc.

I understand that some people can misinterpret the data about nuclear and have a perception of danger, but to say that nuclear can't be built because it is advanced engineering is as absurd as saying that a tower can't be built because it is advanced engineering. You've been proven wrong literally hundreds of times, and you still cling on to the idea that the thing can't be built?!

To say that it can't be built because people don't want to build them at that cost and that it's "just it", is a very very convenient way to dilute the lack of will and foresight into this abstract beast called "the market", a beast that I will repeat once again is absolutely short-sighted (you definitely give no shit about getting a ROI on the order of a century unless perhaps you're Gates or Buffett) and ultimately it is a MUCH bigger cop-out than to say that this is about political will.

Because at least political will is about all of us learning about the issues and expressing our will, not about some magical elves deciding to invest hundreds of millions into long-term schemes they won't directly benefit from.
The crime here isn't failing to be attentive enough, it is actively choosing to direct your attention elsewhere.

You don't accidentally start watching a video on your phone.
Dual floppies and let me tell you that 6 months down the road I was upset with that decision. Loading any games took 4 floppies and 20 minutes.
Hello! I'm the creator of Gleam.

From talking to the WhatsApp Erlang team a little it seems unlikely unlikely that the Erlang type checker will be usable with Elixir I'm afraid.
The only laptops that old I know still run just fine are all Macs, props for keeping that thing alive, I usually give laptops about 6 years tops before I consider them dead (they usually die on their own for various reasons).
Great now even air crash investigations are about Washington party politics. That will only erode international trust in the FAA further.
? 80+ million people died...
That is not something that is just shrugged off. Entire ethnic groups were culled. To suggest that WW2 had no long term affects and indeed affects that did not last generations is to demonstrate a fragile grasp of history.
It sounds like Peter Thiel’s idea (though who knows where he got it from)
I actually spend 30% of my workday on emails, something is missing here...
GNU Taler Operational at Bern University of Applied Sciences
This is blatantly false. Income tax on higher earners in the UK has decreased since the 1970s/1980s when IIRC the highest tax bands were over 70%, if not higher.
How to Calculate Turnover [Free Calculator]