skysight-inc/HackerNews huggingface dataset:
So what proposal do luddites put forward then? People should travel intercontinentally by ship?
> Get rid of all zoning that’s unrelated to pollution

I would still be skeptical of this since I've learned the racial views of many famous environmental figures (like John Miur) and the various organizations brought up in their wake. Obviously correlation != causation but check out the trajectories and intersection between the usage of "segregationist" and "environmentalist" in American English publications. They cross over right around the time of the Equal Credit Opportunity Act (1973):

https://books.google.com/ngrams/graph?content=gentrification...

(Sorry for gross huge URL. You might have to focus the input box and hit Enter to see the results. Here's a screenshot otherwise: https://i.imgur.com/kP8ugvH.png )
Can you give more data on that? Last I knew, the animal reservoir wasn't identified, has that changed recently? We have a wild animal population infected with Covid-19?

I would revise my assessments if we have a clear animal reservoir, but I need to see more data on that first.
Maybe it’s just a more honest representation of a typical result?

Looking at it the other way around, had they chose _perfect_ examples there’d be similar criticism about “cherry picking”.
You may really be underestimating the blind nature of these systems. There is no single human with the clear authority and ability to alter the rule-making architecture giving these results. They all feel powerless and try to pass it up the chain (all the way to the minister responsible in the national government apparently, who also seems helpless!). As to enjoying being legally dead? I guess you don't have diabetes meds to worry about like the woman in France :)
> If you upload code to GitHub, you grant them (and every GitHub user) a license to do exactly what Copilot does.

You can upload code to GitHub without the ability to grant such a license, or is github now only for primary copyright holders?
They quite misdirect on what the problem actually is. Verbatim or quasi-verbatim recitations are not the only things copyright protects.
There are plenty of wealthy people that are more focused on maintaining relative position in the hierarchy than they are on increasing their absolute amount of wealth.

Prime example is oil wealth. With their massive coffers, fossil fuel companies could be leading the transition to renewable energy, massive increasing human wealth as they drive the cost of energy down and drive their former competitors out of business by acquiring all the new renewables startups that will become the large companies of the future.

Tech, and the HN crowd in general, pursues a strategy of generally increasing the pie size, of disrupting themselves before somebody else disrupts them. But that is not the case for the majority of the economy in developed countries. And in undeveloped countries it's painfully easy to see so many wealthy people maximizing their own position in society over maximally growing their wealth.
What is the right problem? What would you _like_ Rust to be solving?
Human thought isn't anything like GPT thought - humans can spend a variable amount of time thinking about what to learn from "training data" and can use explicit logic to reason about it. GPT is more like a form of lossy compression than that.
Implements BASIC… whines about not having regex features.
I don't follow. Whatever frequency the CPU is currently running at is a lower bound on the maximum frequency it could be running at, so it shouldn't exceed 100%?
When you use a permissive license, it’s best you stop thinking of it as your code. You’ve set it free for everyone, and while you may retain copyright in some abstract sense, it really no longer belongs to you.

That’s a good thing.
They did it near London once by in error. One little Typhoon can produce an unbelievably powerful sonic boom. I felt it as a loud crack/thump on my roof. Now, imagine a Concorde going supersonic...
With interpreted languages it is trivial, you just try parts of your code. For python there's for example ipython which makes the experience really great.

Also I don't agree with GP, there are places that require unit tests, especially if multiple people are working on a project. You could be a developer that never made a bug in your life, but others might not be as great :) besides many bugs also happen by changing other parts of the code. Some of your assumptions might have been 100% correct when you wrote the code, but someone can change different part of the code and now your function is called with values that were previously impossible.

The great thing about statically typed languages is that they might detect large part of these bugs, but you're out of luck with dynamically typed languages.

Example of this was the Python 2 -> Python 3 migration. Having a large test suite helped tremendously.
You very much can return `undefined`, it's just that `return` only works inside of a function, not if you just copy the block of code into the console :)
Fair enough, although it makes me think that if these are the better examples the average is much worse.
> "I'd recommend looking up the origins of the FSF/GPL/Copyleft. "

Are you sure you're in a position to be saying things like that? The closed source Xerox printer driver incident is generally viewed as the origin of RMS's thinking on Free Software, not the Symbolics incident. And, as others have pointed out, you were mistaken even on the particulars of that.

As for Free Software not being about no restrictions, may I remind you of the four freedoms that are at the heart of the Free Software philosophy? Copilot runs afoul of none of them and I would go so far as to say that Copilot is an embodiment of 1 through 3.

"A program is free software if the program's users have the four essential freedoms:

- The freedom to run the program as you wish, for any purpose (freedom 0).

- The freedom to study how the program works, and change it so it does your computing as you wish (freedom 1). Access to the source code is a precondition for this.

- The freedom to redistribute copies so you can help others (freedom 2).

- The freedom to distribute copies of your modified versions to others (freedom 3). By doing this you can give the whole community a chance to benefit from your changes. Access to the source code is a precondition for this."

Again, the GPL is a tool to achieve the Free Software philosophy, not the end goal.
It's irrelevant. There is no guarantee that the people uploading code even have the ability to grant github such a licence if they aren't the copyright holders.
Also, shattered windows. A boom can easily smash windows.
> Above a certain level of creativity people do produce novel or exceptional things that are worthy of protection.

Name your very best example that will prove me wrong. It should be so simple. One example, that's all it takes. Take your time, make sure you've got a good one. I'll tell you that not once, not a single time in over 17 years, have I ever seen a single example of this argument hold up under scrutiny.

Oh wait, you already did:

> Because naked men are a shared concept Michelangelo's David is not protect-worthy?

Ah yes, Michelangelo's David. A work free of copyright built under commission! Thank you for again pointing out the futility of the defense of copyright.
> is basically reprinting it without my permission.

What if I were to tell you, that in order to publish any code, on the internet, that code has to be "reprinted" to many different computers and places?

In fact, whenever you yourself need to even access that code, that code is copied over to many different computers along to way, as is necessary to send it to you.
Social media been doing that since nearly the start, though mostly for advertising purposes via "influencers." Read more about some of the early growth hacks (which have included lots of faked engagement) for most media companies to get a sense of this.

It's clear to people who were online since the early days how much things have been changed both artificially and naturally (Eternal September).
Try Fossil, the version control system by the SQLote author which is built on SQLite and includes features like blogging, message board, bug tracker, files upload, and markdown formatting.
The Linux kernel can be configured at build time to expose its own headers as /proc/kheaders.tar.xz. Not sure if distribution kernels generally have this option enabled or not.
Doesn’t this require that you get everything right before that merge commit?

I often do this, but then have some integration related change that’s required after.
I agree that it is a narrow group, but unfortunately it is a very powerful narrow group that controls local politics and has enacted these exclusionary policies. The Calvin Welch school of thought in SF is a prime example.
Wait until you hear about SpaceX.
And then the police hold you in jail until your identity can be confirmed.
Calling it Carmack's rsqrt is an attribution issue already since it seems to have been invented a decade earlier and used at SGI.
Hit the nail on the head, at least as far as my concerns go.

Security is a constant issue with humans writing code. Do we really want an "AI" that understands neither code nor security spitting out snippets of code to pasted into network services?

If Copilot ever becomes truly popular it's going to be an absolute security nightmare both from the code it suggests (just bad code, GIGO as you say), but also because adversaries will be gaming it by posting bad code for it to pick up and "learn" from.

It's insanity.
Depends on jurisdiction. In the UK anyone can call themselves a software engineer.
What mass extinction? From climate change? Has the Intergovernmental Panel on Climate Change said that because I’ve never seen that as a scientific claim.
Relevant blogpost series from hillelwayne: The Crossover Project - Are We Really Engineers? https://www.hillelwayne.com/tags/crossover-project/
Don't worry, any contrarian/conservative view is being downvoted in general. The general mantra is that criticize and deconstruction of establish standard, put under the umbrella of "progressivism", is paramount. That why the HN crowd loves every new fads so much.
Ask HN: Interview with the Engineering Manager
I have applied for a frontend engineer role and have an upcoming 2nd interview with the engineering manager of the company. What kind of questions should I expect and how to best prepare for this interview?
"I am not a lawyer but insist I know more than many lawyers"
> a Tesla catching fire in a private garage and burning the owner's house down

The thing that sticks in my mind is that Ford had some issues with their charging cable and had a big recall to substitute one with a (presumable 50 cent) thermistor.

I guess there is a very general sense in which I associate electric cars with electronics where the tiniest software or hardware error can be catastrophic, whereas I expect that the scope of problems is easier to limit in a conventional vehicle. Like, gas powered cars rely heavily on electronics, but if a specific sensor or something goes out, they tend to have a "limp home" mode, and mechanical failures are planned for in the worst case.

I observe that shipping a lithium ion battery is a big deal, considered hazardous. They have brought down aircraft in the past. So I would tend to discount people saying that they are only an issue in a collision, just because without particular numbers, I see people worrying about spontaneous combustion. Due to manufacturing defects, I guess.
That's because you didn't look.
I wish git had a function to dump a checksum that I could call on with the command 'git sum'

Please, devs
If there are so many racist laws in systemically racist USA, you should have no issues pointing out some laws that are racist, no?
Probably not worth bringing them to the northern hemisphere to test this theory.
Isn’t that just the commit hash of the head?

Or do you mean a hash of the hashes of all your heads?
To me, the sentence

> I have a lot of open source code that I love to share for things like education or private stuff, but if you want to use it for something real, you need to hire me.

implies that they have code which they are sharing under that proviso. Do you read it differently?

You are right about the technical distinction of open source from source-available. I think that the GGP (and myself) were both using it colloquially as a shorthand for source-available.
People have been arrested, tried, sentenced to prison and released from prison without ever having been identified.

I did once manage to get ID based purely on arrest/jail paperwork (who just wrote what I told them) and an envelope that was addressed to me, so resurrection could be possible.
Sort of sounds like a commercial alternative to thermal sheeting and camouflage net over chicken wire, which is something that's often used at the moment but is extraordinarily heavy, especially for dismounted combat.
Even without zoning, it doesn't make economic sense to start a farm in a residential area.
Flying on a full or almost-full plane is more carbon efficient than driving solo.

And that's not taking into account the cost of the road networks we build and maintain to allow high volumes of vehicular traffic.

https://yaleclimateconnections.org/2015/09/evolving-climate-...
It was tail end of Soviet Union and at the time Gorbachev was too wimp to shut down protests inside USSR much less being ruthless anywhere.

Something like https://en.wikipedia.org/wiki/Deportation_of_the_Chechens_an... was very doable to do in Afghanistan before recent population explosion and could have pacified the country. Obviously impractical with modern sensibilities and current Afghan population size.

What can work to bring country together is ruthless dictator with Stalin, Mao or Ho Chi Min determination. US university professor as president is exactly the wrong person to lead Afghanistan at this moment. If current government falls, Taliban can bring somebody reasonable as head of state and country will evolve to something like Iran. Could be good for everyone involved from Afghan population to other countries.
So he has 1000 devices at 20 locations, but the cardinality is now 1000*20??? Why, is each device reporting from all 20 locations?? What type of math is that?
Ron Aaron, who currently lives in Israel, is author of 8th, which is based on Forth (i.e. 8 > 4). I think that he is just called Ron due to being so well known in the Forth community.

He is the author of the earlier Forth implementation called Reva Forth also.

The website is https://8th-dev.com/ .
I meant Intel HT specifically, but I'm going off memory here, and having trouble finding details on those old parts. Agner Fog's current microarchitecture manual doesn't mention HT in its discussion of the P4, but it does include at least one mention of static partitioning of the decoded op queue in the Atom core.

It also describes several instances where Intel's desktop cores used to devote specific resources to each thread on alternating clock cycles, but newer cores have progressively removed those limitations. However, these probably don't quite fit my original assertion because if the OS has literally HALTed one of the virtual CPUs, these alternating clock cycle limitations may have been temporarily removed.
Probably anybody who can add. The penalties for this type of thing are nowhere near enough
Article doesn't have a lot of information. It reads more like a regurgitated press release. Still, this looks fascinating, i wonder if it will work.
Why would you GPL the code in the first place if you didn't want other people using it? It's perfectly within the license for someone to do basically whatever they want with GPL code as long as they're not redistributing it. That includes using it for the internal operations of a Fortune 500 company, using it to run a dictatorship, or building a SaaS business on top of it. If you don't want people to "steal" your code, the GPL isn't the right license.
I wonder if the comparison would be more frontal area than weight?
Recent stuff. google play console (cant upload a build, keeps failing), App store connect(input fields are fucked) Ironsource (cant login or reset password). Ive had issues in the past few days on those that required me to switch to chromium to get my work done.
‘Dragon Man’ Skull Discovery in China Tells Story of Unknown Human Ancestor
Yep. Anyone who tries to do that in a competitive space will have their lunch eaten by people who slap something together and get it in front of customers.
>Even worse I am having a tough time putting my finger on what the shortcoming of these people is.

Polarization is the mRNA of disinformation.
> ...you're going to go through life thinking that girls^H^H^H^H^HInternet users don't like you because you're a nerd^H^H^H^H^H^H shadowbanned. And I want you to know, from the bottom of my heart, that that won't be true.

-- the social notwerk
Show HN: Learn the Angular Docs Interactively
Well, this is the current status quo. Automated scraping of copyrighted material for (arguably) transformative applications like Copilot is generally allowed under fair use, while non-transformative copying is considered infringement.

If you want to strip creators of (default) exclusive rights to their work, that's a different conversation than the one around whether Copilot and similar applications fall under fair use. Both have been touched on in this subthread, but your comment seems to be conflating them in a way that doesn't follow directly from the discussion above it.
> that code was also licensed to github for the purposes of indexing, analysis, and sharing with other github service users

Even if said code was licensed to Github for sharing with other users (e.g. displaying it when another user browses the page), that doesn't mean that the same permission is given to all other users under the same conditions. Or allows them extra liberties, like using said code for purposes other than "sharing with other github service users".
Depending on the jet, accidental supersonic can be easy/common, or rare. (eg a strike eagle with the older engines won't go super unless you're trying)
>that's not taking into account the cost of the road networks we build and maintain

Well, why would you? Then you'd have to take into account the airports and the transportation networks to get to them...
> they're exceedingly quick to assert their hunches as scientific fact

I have literally never heard them do this - they are exceedingly careful not to in general.

> they were talking about how they avoid iodized salt, because iodine is a reactive chemical and you don't want to OD on it

What fact did they state was scientific about this?
> I would say this is analogous to a search engine index. Google for example likely has lots of GPL code in it's index in some transformed form and yet there is little dispute that this is legal.

I'd disagree with the comparison, pretty vehemently. Copilot can generate new code. It isn't just some storage mechanism.

It can create derived code, Google Search can't.
The biggest pitfall wrt. TLA+ is that it's not intended as an end-to-end system. You're making up a simplified "toy" model of your software architecture and verifying claims about your toy model, that may or may not apply to your actual code. This is sometimes justifiable when the software architecture is the most interesting thing you're dealing with, but that's not a very common case. Most programs are designed in relatively simple ways, and would benefit more from an end-to-end system that establishes valuable properties (even comparatively trivial ones like type and memory safety, or simple pre- and post-conditions) about the actual code one will be executing.
You’ll get stuck on the equivalent of cheap shared hosting.

Try to think and you’ll crash from hitting memory limits. Hit your processor quota and you’ll be spun down for the rest of the month. Like a forgotten Wordpress install you’ll be ravaged with malware, only able to talk about cheap v1agra, frantically spamming all your contacts.
Hahaha I love this response; yes, you can always change the rules of the game, so to speak, and make things worse; however, if you keep within the rules of reality then it might be a bit more useful.
NYC has a lot of software jobs, it's just not dominated by a single industry. If you mean exclusively tech, maybe yeah.
It happens in the Lake District and Wales reasonably often. Often the pilot/crew will go out and apologize to a farmer. Sometimes livestock allegedly die, although I'm not sure what the mechanism is.
We’re not appropriately concerned with air pollution even though it affects our personal health today.
If you go through the entire article, you'll find a link to a documentary that just came out about SJ's love of Japanese art.

https://www3.nhk.or.jp/nhkworld/en/special/episode/202101020...
Yes - to me, this is a much more obvious hazard than the copyright arguments back and forth around the training data.

There's no way any reasonable corporate legal or risk department should or would allow this plug-in to be installed on their developers' computers, for this reason alone.

I am surprised this is not being talked about more, given the massive conversation around the regurgitation / rote learning arguments.
In most US states, there is a broad "industrial exemption" for engineers who work for an employer.

https://peimpact.com/pe-industrial-exemption/
If Muse Group end up owning a project that no one touches any more, do we say that they "Freenoded" themselves?
The point is, there is generally nothing to object to in the GPL unless you are specifically to constrain what consumers of your code candy do with it.

If it is "pollution" to you, that means it is an inconvenience and an obstacle to you executing your goals. The GPL has not been built to frustrate anyone except those who impinge on the fundamental set of Software freedoms. Part of that is the ability to have access to the source code of any tools you are reliant on.

So no, it isn't just assumptions. If you're frustrated by GPL, then either you're pissed because it thwarts your designs to create a captive userbase, or you're part of the legal/exec team trying to see if you can get away with the same. So which is it?

I'm a late enough arrival that I experienced the world with few other options than closed source programs and toolchains, and I'm not about to go chasing back after it. In fact, I'd be happy to see GPL go down in flames because we all finally came to our senses and ceased this IP nonsense in it's entirety to begin with.
I don't imagine they have much say in the matter, alas.
I want to second this. I started working on a project in Lean only last December. Since then, I've made several contributions to the mathlib github repo - the first time I've contributed to open source despite wanting to get into it for a few years. The Zulip forum https://leanprover.zulipchat.com/# is very welcoming and responsive to questions. If you're interested in mathematics and you want to contribute to the growing hivemind working on this kind of thing, I highly encourage you to learn Lean and join this community.
> When women were mailed material telling them they're pregnant even before they themselves knew but no one batted an eye here

This is example often quoted. This wasn’t AI. I believe it was Target and it was simple correlation with search keywords

Moreover the issue was her parents finding out before she herself told them. The result would have been same if she had setup a baby registry at Target and the company assumed the news wasn’t a secret.

https://www.forbes.com/sites/kashmirhill/2012/02/16/how-targ...