skysight-inc/HackerNews huggingface dataset:
I do consider copilot to be infringing on my AGPL code.

That's not a fundamental statement about all machine learning systems. GPT-2 did a lot more direct regurgitation than GPT-3. GPT-3 tends to be much more transformative, but does still sometimes spit out code / text verbatim.

Copilot and codex spit out close enough to my own code that it's clearly creating a derivative work, at least by my read.

This is untrodden legal ground, but I think that a lot of this comes down to issues of reasonableness. The reason I used the AGPL license was to create a commons. If copilot played within some reasonably friendly way around that commons, I might not feel bad about it.

However:

1) Copilot wants me to pay to use something derived from my own code, where I stuck a license there designed precisely NOT to be in that position.

2) Copilot provides a competitive advantage to proprietary projects who are more likely to be able to afford it, over open-source / community ones. The reason I used an AGPL license was because I thought we needed this type of code to be open and transparent. I work in a domain where transparency is essential (I don't disclose domain, but you can think of transparency in government, education, voting, medical, police, etc.)

3) I have no way to have a conversation with anyone at github / Microsoft. They took my stuff, and they won't talk to me about how they use it. It's automated systems all the way down.

4) The whole Open AI nonprofit -> for-profit transformation is just sleazeball. Given all the talk about ethical use of AI, something like this really leaves a sour taste in my mouth. I don't mind DeepMind, FAIR, etc., since they're honest about their goals. Open AI feels like a Silicon Valley get-rich-quick scheme with a lot of nice marketing copy and legally-questionable tactics.

Jury, judges, and developers are swayed by common sense. People like me can be swayed to testify one way or another based on whether we feel cheated. What Microsoft / github / Open AI did here wasn't very reasonable, friendly, or sensible.

TL;DR: I support the concept of co-pilot in essence. The specifics here feel illegal and sleazy.
A friend of mine also became an "accredited" investor through the simple expedient of lying on the form. Many financial services companies don't bother to verify investor income and assets.
Big data is just data now.

We nonchalantly spin up massive 1TB+ ram clusters to process our data without really admiring how much data it actually is.
Makes me think of how gross it is that they still milk avicii's brand to this day years after his body left our world.
A tangentially related thought:

Actors attempt to imitate humans. “Good acting” is convincing; the audience believes the actor is giving a reasonable response to the portrayed situation.

But the audience is also trying to imitate the actors to some degree. Like you point out, humans imitate. For some subset of the population, I’d imagine the majority of social situations they are exposed to, and the responses to situations they observe, are portrayed by actors.

At what point are actors defining the social responses that they then try to imitate? In other words, at what point does acting beget acting and how much of our daily social interactions actually are driven by actors? And is this world of actors creating artificial social responses substantially different than bots doing the same?
So you know rust is the best fit, but you don't like it because of... vague reasons? Rust is the first compelling systems language since C++. This isn't an area with much attention paid to it. What is this a stepping stone towards? Zig is the only other thing that seems to get brought up, but it's not bringing any new ideas to the table. Certainly nothing close to what Rust is doing with the lifecycle checker.

But why should Linux, or anyone really, let future promises block meaningful improvements today? If something comes along that's better than Rust for this, then another adoption/migration process can happen.
That should be easy enough to sort out. Go to your GP and ask them about it, they should be able to make a booster shot happen.
I've run into many Linux driver bugs, usually for video drivers but sometimes for other components. On one laptop, AMD's kernel driver corrupted every third boot for a while, though that's been fixed. It's still dumping error messages and failures during boot but other than that it seems to work fine. On my new laptop, the kernel didn't even support my audio interface for a while.

There was a bug with Intel GPUs that was unfixed for at least three kernel versions where plugging in an external monitor over an HDMI-to-Displayport adapter would reliably freeze the system the moment the kernel tried to modeset. That's finally been fixed from what I can tell, I believe it had something to do with a change to an NFS driver somehow.

Server hardware often doesn't need complex or bleeding edge kernel modules. You don't need sound or video, you don't need framebuffer resolutions, you don't even need that much in terms of keyboard compatibility. It's a lot easier to run a kernel of the most complex hardware out there isn't hooked up to your system. That doesn't mean Linux is bug free, it merely means that the kernel code for the limited hardware of your choice has been maintained well.

The real challenge for Linux or any kernel really is to run reliably on a laptop with an uncommon variation of common hardware, preferably sold for only a few months. That's where the real bugs come in.
Large language models including Codex are a transformative technology. So long as Microsoft and OpenAI are not selling back usage of the model to the open-source community, I think it's OK, though it's the bare minimum obligation. Bi-directional fair-use is probably the best result we can hope for. The model does 'steal' the 'essence' of the software though, to use inference instead of computation to generate code, documentation, even evaluate and explain it. The models are license blind and there's very little that could be done to prevent it. Like what the invention of the camera has done for art. So long as MS/OpenAI is giving back to open source/free software. The most important thing, however, is that free (libre) software developers are able to work with the language models directly, so that libre software is allowed to continue progressing into what I call Imaginary Programming. That's because with a generative internet all you really need is blockchain + prompting. Traditional 'real' programming is like writing in assembly code -- it's completley outmoded. https://huggingface.co/spaces/mullikine/ilambda
> if they could understand it, so can I

Sometimes I wonder if the humans who wrote some stuff really understood it or just went through several cycles of trial and error until it worked (more or less)...
> from a project that is public but with a non-permissive license

Permissive or not doesn't matter. Public Domain or not is what matters. Permissive licenses still require you to propagate the copyright notice, which Copilot strips.
The one in SF is currently flaccid. https://www.youtube.com/watch?v=FANXYhhWj6E
Was there extinction event of scrap yards that i was not aware of?
According to SO top 3 most loved are: Svelte, phoenix, deno.

I literally had to google them
Again though, using something for scientific/scholarly purposes alone is not a 100% guarantee defense against copyright infringement in the USA. It is one aspect of a four-part fair-use defense. You can definitely still be violating copyright even with a recognized scientfic/scholarly non-profit purpose. (and be engaging in fair use without it).

I have not heard of what people have already been discussing about copyright legal issues around corpuses of Other People's Content, I am curious to read more if anyone has a link.

While I understand that in this case it seems like (or is!) a Big Corporation taking advantage of the Little People -- I would urge extreme caution in advocating for reducing and limiting "fair use" rights because in this case it will hurt the Big Corporation. It used to be clear to everyone that fair use helped the Little People against the Big Corporation copyright holders and should be encouraged. Lately, people (especially software devs, who of course write IP) have been excited about strenghtening protections for copyright in order to somehow limit the Big Corporations (see all the stuff around Amazon and open source), but this is a dangerous game. Fair use is one the only tools we have protecting us from a dystopia where you can't open your mouth or type on your keyboard without paying someone a license fee, which is what OTHER Big Corporations would love to see.
You brought two links on:

- phone calls surveillance in Venezuella: no Google no FB mentioned

- plain words of some reporter without any evidence provided, no Google no FB mentioned
Red Flags for Forced Labor Found in China’s Car Battery Supply Chain
After this what are they going to boost? Boost anything that supports their political agenda?

Looks like everything starts like this. Companies like facebook, amazon, google etc. claims they are supporting small business. They will often offer freebies because freebies makes people irrational. Later, in name of security, privacy, small business they forward their political agenda.
"k" is the new "l" - for zsh with git features
When I played the UO beta, or maybe release very early on you could enlarge your circle of transparency and literally take things out of peoples houses. Fun times.
You're using a toy example to strawman the Joule counterpoint. How much do you use in a month, which is the typical billing cycle? Off-peak vs. on-peak cost?.

In the end there's no practical utility to this. We just pretend that we're living in a world where you get a 100W light bulb and know exactly what it will cost you, and not a world where half your bulbs claim to be 100W but are actually 14W with 100W-incandescent-equivalent and such.
If you’ve never read it, a fun article on Bob from some years back.

https://www.wired.com/2013/01/comedy-in-the-hacker-world/amp

I was lucky enough to be working on the Dart team in Seattle at the time with Bob, who is one of the smartest, funniest and nicest people I have ever met (although the whole team was an exceptional bunch).
Do you have a picture of them?
why isnt copilot being trained on microsoft source code?
That falls under slow software, since optimized programs will use prefetching so latency isn't an issue.
This happens to me any time something is either mango or watermelon flavored.
Would 3d printing be considered modest equipment?

If not now, then soon as the technology matures.
That's a strawman.

If you learn to write novels by reading other authors, is that a crime? No.

If you reproduce their work, sometimes word by word, yes.
> The typical house has 240 volt service in the US (two legs of 120v).

Can we wire that in a way to would allow installing .uk or .de Schuko Type-F plugs?

It would be funny (and weird!) to have 220V available on a european socket for say a desktop equipped with a 1.5kW PSU for the upcoming Nvidia 4090 :)
That's because you're not specifically using programs built with brand new rust features and then complaining that you have to update the compiler to use them.

You know, like a sane person.
You have just described Combined Sewer Overflow. Yes, that's how London works too. Whether it's "not quite as bad as it sounds" is a matter of opinion and also should take into consideration just how often such "overflow" happens and what volumes are involved.

For example, how many cubic metres of rain water makes adding one human turd OK ? A million seems fine, doesn't it? Like, who cares about just one turd in so much rainwater. How about a thousand, that's a swimming pool (not Olympic, but decent sized) with a turd in it, is that OK? Start to feel a bit uncomfortable with how much shit there is in the water? What if it's a hundred? Are you sure San Francisco, or London, can promise you their CSOs have at least that ratio?
Because most people are asleep during these hours, melatonin peaks when you sleep. Which for most people is 22:00 - 7:00 or something.

Your circadian rhythm regulates melatonin release. Not the clock hanging on your wall.

From your other comment, seems like your problem is a very inconsistent sleep pattern and not enough sleep.
Those suggestions appear in Google chat too and even if you don't click on them, the simple fact of reading the suggestion makes you much more likely to type it yourself. There's clearly a priming effect to it.
> you don't have FBI agents knocking on your door threatening you with prison.

Correct, it's DHS.

https://twitter.com/_secondthought/status/133274617257067725...
A 4th point missing in this blog post is the simple fact that producers and gas stations can easily start adjusting the price up again, wiping out the 18-20 cents per gallon consumers would be saving in an effort to gain that as new profit. Then when the tax holiday ends, gas prices would jump back up to an even higher price with no guarantees that prices would decrease to pre-tax holiday levels.
The initial work is just scaffolding that allows using Rust for some drivers, and projects intended to test said scaffolding. (Basically, rewrites of some drivers that are already in the kernel but that are not considered to be of the greatest of quality.)

It will take quite a while yet before something important is made in Rust, and this early work can be done in parallel with the GCC-Rust work.
Except, per my original point - it’s called a 2x4 - but it’s not actually 2 inches by 4 inches, which would be as you say 50ish x 100ish mm. In reality it’s actually standardized to be 38 x 89 mm
Austria, France, Netherlands and Italy now all considering bans if Google won't stop sending data to the US.
I thought that quoting in horsepower was very interesting as many people are currently thinking about the load that EVs put on the grid.
As weed gets more potent, teens are getting sick
Chat bots I guess. Or with voice engines - phone bots.
Raph Koster's current company, Playable Worlds, is trying to build something like this now.
Because the 'snippets' would then be several pages long.

/joke
The reproducibility story with system package managers is an absolute nightmare.

In general, language package management systems, containerization and fully statically linked distributions (appimage, flatpak, snaps, etc.) are all a direct response to system package managers being woefully inadequate in all sorts of ways.

And unless something like Nix takes over which actually allows reproducible builds, we'll continue to see alternative solutions continue to encroach on system package managers.
While I don't use Windows as my daily driver, I've let Windows Defender (or whatever they call the default these days) run on my Windows installations. It works pretty good (as long as you don't, like, actively download and run shady stuff from the Internet), and very likely consumes less resources than most commercial ones out there.
There are pockets of relative rationality in society, and pockets of altruism, and sometimes they even overlap in time and proximity. It's a big mess, this society thing, but you know, just focus on being your best self and a good influence on what's around you. Don't let the broad view of humanity bring you down. It's probably a bit skewed by some jerks using your biases against you to get your attention and show you ads or something, and there's truth to the "life is what you make of it" platitudes.

(Is this post now a self-referential platitude? ...is it self-aware? Maybe I can convince that one Googler it's come to life.)
If that would make you happier, Yandex is selling its News service to Mail.ru.
Ask HN: Is uBlock the only corporate safe ad-on?
i use mozilla at work. i had ABP, Privacy badger,HTTPS everywhere and no-script ad-on. i know, it's overload. Few months back, sys admin for corporate took out all add-on except ublock with reasonsing ad-on could lead to security breach. i tried to install those ad-on again, obviously could not and ublock remains.
Not directly connected to the discussion but I was wondering what kind of lifestyle can be with such salary. Is it like from 9am to 5pm or you work much more than that time? Do you in genearal think that you are overworking or not? Is your working environment stressful?
Thank you.
Yeah, I think even when engineers are fully ramped up, a well written TS backend is a bit more productive than a well written Scala one. They’re actually decently similar languages, both are expressive languages with expressive type systems and an OOP/FP mix, but I’d say TS has a bit less boilerplate/overhead, the libraries tend to be simpler to learn/use, and it compiles faster.

The biggest efficiency gains, though, are:

- Much faster training/ramp up time for new devs with TS vs Scala

- You can use the same language on the FE and BE, makes it easier for individual devs to do full stack work

The main downsides of TS vs Scala are:

- Scala is faster and more efficient, performance wise. Have to spend more on TS services to serve the same amount of traffic, and if you have heavy computation that’s parallelizeable, Scala is wayyyyy better at that

- As you get into more niche use cases, you just can’t beat the JVM library ecosystem, there are high quality libraries for EVERYTHING. The Node ecosystem is very good too, but not as good as the JVM ecosystem

- TS/Node stack traces are useless compared to Scala/JVM stack traces

Overall, I’ve got ~7 years of professional Scala experience, love the language, but if I was starting a startup today, I’d go full stack TypeScript.
Also true, but there's a precedent for Rust developers & shipping their changes without regard for what's being deprecated. [1]

[1]: like when PyPI cryptography first switched to Rust and broke ansible/openwrt/etc.
You misunderstand. The NSA went out of their way to tap Google's lines outside of the US, which made the leadership at Google furious. It accelerated the work to encrypt international fiber (I think many people were really bothered by the tcpdump of a bigtable RPC containing a user ID). I was at a conference shortly after an saw a SVP rip an NSA rep to pieces.

If Google is doing anything that is required of them legally as a US corp, I don't have a problem with that.
> i'm not buying the argument that copilot is infringing copyright

I wrote some code. Released it under the GPL, and my only expectation is that if you use my code in your product you make source available to users (and GPL does require you tell the user how to get that source code). That on small requirement, the one thing that I'm asking you to do if you want to use my code, is not being respected by Copilot. It recommends my code, and obfuscates it, and does not tell the user where it was synthesized from, nor provides a way to get to the original source. From a certain point of view, Codepilot could be seen as a willful infringement machine. It will be interesting to see how this gets sorted out.
I stand corrected. I don't know when they started doing either but that's cool,thanks.
Use intermediate steps:

keyOf = itemgetter("myKey")
valueOf = itemgetter("myValue")
filtered = (item for item in myList if valueOf(item) > 5)
grouped = groupby(sorted(filtered, key=keyOf), keyOf)
result = {key: sum(valueOf(item) for item in group) for key, group in grouped}
It's nice that q has caching.... then again, it kind of needs it to solve its performance inefficiency.

Running "select *" on a 1mm-row worldcitiespop_mil file, q takes 27 seconds compared to `zsv sql` which takes 1.7 seconds ( https://github.com/liquidaty/zsv ) and also supports multiple file joins. I'm sure q is faster once cached, but taking a 16x performance hit up-front is not for me
You may be interested in Jakt, an experimental language written for SerenityOS. It has some very Rust-like festures for memory safety but no borrow checker or async (at least, not at the moment).

Currently, it compiles into C++ as it's written specifically for an entire operating system written in C++ but I can see native compilation becoming an option down the line.

It's far from stable but it's worth looking at: https://github.com/SerenityOS/jakt
For everyday use Windows Defender is fine to me.
If I'm ever doing something risky, I'll have a one time VM (probably still not bullet proof).

My gut feeling is that antivirus companies selling solutions to the average customer are scams since Windows Defender does the work 99% of the time. Plus their "selling" techniques are often limited to forgetting a checked box and annoying popups 30 days after that.

In a company setup / or if you're at risk (journalism, politics or preferring tabs over spaces) it probably makes sense to have an antivirus.

Feel free to uninstall the McAfee malware.
> Found this link to the paper

Hurts my eyes. SciHub URL + DOI (10.1177/0022243719867935) works for me.
Yea. I guess I was just on one last night, apologies all around.
> if your PM is motivating you via threats, something is very wrong.

Seriously? This is how 80% of companies work. In many of those companies, stack ranking is a very effective tool for running people out the door. It's often _baked_ into corporate culture.
I have, and I'm pretty sure a quarter of the corporate people I worked with wouldn't be able to point to me the Java logo in a lineup with other logos. Another quarter wouldn't know what a Java is. The rest wouldn't even know there's a thing that runs their programs. How would the logo of a single library in the myriad a company use be even brought to attention?

I'm almost positive that if we dig in a modern project dependency tree deep enough we'll find at least a couple that have an inappropriate joke in the readme or in the documentation. So how would recutils be any different?
dolt

DoIt

Ah... whoops, my bad
"69 Dude!" - Bill and Ted
I don't know how blinkist gets away with it, honestly.
Yeah, it totally makes sense. It just shows that people are not paranoid enough to give up their usual performant OS and invest in OpenBSD :)
I wrote a law school paper discussing the potential liability stemming from Copilot: https://nickvh.com/blog/archive/2022/02/copilot/copilot.html
The zig community never made a huge fuss and initiated a mexican standoff by stating their refusal to continue working in C.
After twenty-plus years of remote work, I've seen everything in this article.

In some cases, the leave or be laid-off incentive was relocation to a favored city rather than back to an office.

When shutdown happened in 2020, executives were grateful (and in some cases, openly surprised) that the work was being done and the corporate results were actually better than before. All the same I knew there would be an eventual backlash, and now it's here.

"Days in office" requirements are a thing again. "We just spent tens of millions on renovating our workspace, we have to recoup that investment." (if I want to sit outside in a garden, I already have one; don't need a "plaza"). We must build "relationship equity", which apparently no one can do over the phone or via chat. Back to the good old days, it appears, as when a senior veep bragged about snagging a major project not through nuanced presentation, but by chance button-holing a superior in a corridor. I remember thinking "so that's how these huge but questionable decisions are really made."

Not sure the youngest workers will buy into return of office culture, especially when they're required to buy gasoline or a monthly train pass, parking, and investing time in schlepping that could have been better used.

Some on-site workers tend to think we remotes spend all day at Costco or posting to HN. They're right, to a degree, but I'd bet a paycheck that none of them ever burn the midnight oil, or even the 8pm oil.