skysight-inc/HackerNews huggingface dataset:
I'd say a key element for me was that it is multi-OS (even installs on Google supported ChromeOS Linux Developer Mode), does not require any store account, does not require crazy powerful external GPUs and still supports LAN only mode.

This meant I could setup a LAN party by dusting off a collection of semi-retired Windows, MacOS and Chrome machines.
That doesnʼt add up, because one of the most – arguably the most – irritating hesitations affected the main battle tanks (you have mentioned them, too), and that was long after gas imports from Russia and any hopes for a renewal of such imports were abandoned. Thus it cannot be the effect of extortion. Or, if you assume that a secret plan to get Russian gas again has lived on, why then the big military aid package indeed, when gas is needed in the next winter as well as in the last one (when Russian gas imports have stopped not as long ago).

“they have had to wait”: Germany also had to wait for (Swiss) permissions, which blocked the transmission of anti-aircraft vehicles (Gepard). And while that was merely lost time, the prolonged negotiations in the case of Leopard 2 in the end meant more tanks (which were said to be less suited first, but are very welcomed by the Ukrainian forces). This episode, however, gave another glimpse into the actual mechanism that demands caution, precaution. Donʼt let this German tank go to war, or if you absolutely must, only in company with a tank from one of the allied powers. If something goes wrong, hindsight is 20/20, and who will be blamed? In fact: “Nearly a month after Berlin gave European allies permission to send German-made tanks to Ukraine, the flow of tanks so many leaders vowed would follow [if only Germany gives permission] seems more like a trickle.” E.g.: “Finland, where many outspoken members of Parliament led the calls for Germany to allow Leopard deliveries, announced on Thursday that it would supply three Leopard mine-clearing vehicles — but none of its estimated 200 Leopard main battle tanks.” https://www.nytimes.com/2023/02/28/world/europe/ukraine-tank...

Coming back to what chrysler stated is the point at issue, one had to conclude that there are many more extorted countries.
A compilation step.
Basically, google search to complete your code.
And after "why you've copied this code? idk, it is not me, it is the model :(". :D
I personally Love Mimblewimble. I'm a Monero user mostly, but I love Grin.

John Tromp has a proposal for an interactive coin shuffling protocol for Grin [0] that would negate a lot of the privacy concerns, I personally haven't fully tried to understand it and it seems pretty cumbersome to me compared to Monero. I hope to see it in action so I can get an idea of how it compares.

[0] https://forum.grin.mw/t/mimblewimble-coinswap-proposal/8322
Actually, a lot of songs are incredibly similar to older songs (see ed sheeran v marvin gaye), and they're not infringing.

Things will look very similar because there are only so many things that sound good to the mass appeal.

> I anticipate AI researchers will soon come up with a way to ensure that outputs are a sufficient distance from all training inputs

This is already a thing.
> Is this an ultra fan?

Yes

> you say you’re an AoEII ultra

No. I can't say how I really feel about the game.

> it’s viewed as part of the character of the game

Yes.

> I’m very curious why.

People feel very, very strongly about their nostalgic retro childhood fun cozy times like playing AoEII. They're ultras, right? It's like talking about football. It can be perilous.
Ah yes, I always forgot some people don't use Linux as their OS to develop. That always seems weird to me because then they have to launch VMs each time they want to simulate their target OS :D

But I do see your point :)
The evidence in the parent study is MUCH stronger than the evidence in the study you link (and is newer).

Science advances.
Poetry, pip, nix or sending out butterflies to bend cosmic rays to write bits into memory. It really doesn't matter as long as it's not the hellscape that is conda.
The whole saga is tragic. There are so many details that I don't know about, which probably makes me unable to judge the whole situation fairly. I am a very happy Graphene user, for what it's worth.

Thank you for your contribution. All the best, Daniel.
not very jarring
Godot-Dodo – Finetuning starcoder on single-language instruction data
This a continuation of previous work done in the godot-dodo project (https://github.com/minosvasilias/godot-dodo), which involved finetuning LLaMA models on GitHub-scraped GDScript code.

Starcoder performs significantly better than LLaMA using the same dataset, and exceeds evaluation scores of both gpt-4 and gpt-3.5-turbo, showing that single-language finetunes of smaller models may be a competitive option for coding assistants, especially for less commonplace languages such as GDScript.

The twitter thread also details some drawbacks of the current approach, namely increasing occurences where the model references out-of-scope objects in its generated code, a problem that worsens as the amount of training epochs increases.
> Copyright infringement is when you take copyrighted work and distribute it directly, or so close to directly that it can't be said to be "transformative".

Distribution isn't necessarily a required element of infringement. Just the creation of a derivative work can be enough.
Twitter thread: https://twitter.com/DanielMicay/status/1662212227561308160?c...
Yeah, and then I showed her the prompts.
A statement from the man himself:

https://twitter.com/DanielMicay/status/1662212227561308160
I wrote a bespoke backtracking solver for a specific class of problems. Would love to use Z3 or something, but frankly, I wouldn't know how to systematically translate problem instances to solver constraints. It's essentially a kind of very complex job-shop scheduling problem with lots of dynamic inter-dependencies. Many of the problems are hard to even solve without dead-locking, while we also naturally strive to minimize overall processing time. Where would I find ressources to help me get a grip on my specific problem [1]? Could I reasonably hope that Z3 or another general solver might be faster than a moderately well designed bespoke solver in a compiled language? (My solver combines a bunch of greedy heuristics with a backtracker in case it runs into a dead-lock, which is often.)

[1] Rough problem outline: Input goods must be transformed through a complex series of assembly/machining/processing lines to output goods; each line transforms one or two inputs into an (intermediary or end-) product; an assembly line produces it's product in a fixed number of time units and cannot be stopped or delayed; finished intermediary products arrive at the end of an assembly line, which must be cleared by then; there are a limited number of temporary storage spaces where intermediary products can be moved to/from in a fixed number of time units; some assembly lines must wait for two intermediary products to be completed to start a job combining them into another intermediary or end product; end products must then be moved to their destinations.
Wow! I was a French major in college but my ability to speak French plummeted after I returned from studying in Paris. I love this app's recording feature! It's so helpful to record yourself speaking and then compare your recording to the native speaker. I only wish the app had an advanced track! I'm pretty sure I'll have exhausted all the intermediate lessons by 6 months from now.

In any case, I am absolutely delighted by this app and it has brought out my inner Francophile :)
> Keep in mind that success at this endeavor means that UBI becomes possible

UBI is already technologically possible. Yes, as automation becomes even more powerful and abundant, the feasible payouts from UBI will increase. That's never been the problem. The problem is that hundreds of millions of Americans (and a significant portion of everyone else in the world) would rather live in poverty as indentured servants to their rich masters than ever see those people benefit even a tiny bit from any government policy. Cruelty and suffering is literally what they want in the world; they fight tooth and nail to prevent anything that might uplift all of humanity (themselves included). They are deeply disturbed, horrible, irredeemable pieces of shit, and they're the majority.

And the very tiny minority of people who could ever do anything about this are exactly the ones who are poised to take all the benefits from automation and AI. I'm not scared of AI. I'm scared of humans. And very soon, the humans who already own everything are going to have no need for the rest of us.
These days - and I'm being serious - Facebook Groups.

They've gotten fantastic in the last few years. Are lighthearted, comprehensive, tend to have less weirdos (really) and have a moderation log that notifies you what and why it was removed.

Also, Facebook is a more representative slice of America than Reddit or Twitter.
I'm not sure but another type of business that may succeed is one that uses AI to provide a product or service directly to consumers through a radically more efficient business process.
Assuming you're being serious, the advantage of the cloud is scalability, avoiding managing hardware, reliable power, and reliable network.

You want to run your web app off your basement server? Go ahead, but if you have a blog post that hits the front page of HN, there's no way to scale up. If your home server has hardware failure then you're out of luck until you can get new hardware. Your home has a power outage or ISP outage? Your site is down.

If you can tolerate those things, great! I wish my employers and their customers would tolerate it.
Love this article and the push to build awareness of what modern SAT solvers can do.

It's worth mentioning that there are higher level abstractions that are far more accessible than SAT. If I were teaching a course on this, I would start with either Answer Set Programming (ASP) or Satisfiability Modulo Theories (SMT). The most widely used solvers for those are clingo [0] and Z3 [1]:

With ASP, you write in a much clearer Prolog-like syntax that does not require nearly as much encoding effort as your typical SAT problem. Z3 is similar -- you can code up problems in a simple Python API, or write them in the smtlib language.

Both of these make it easy to add various types of optimization, constraints, etc. to your problem, and they're much better as modeling languages than straight SAT. Underneath, they have solvers that leverage all the modern CDCL tricks.

We wrote up a paper [2] on how to formulate a modern dependency solver in ASP; it's helped tremendously for adding new types of features like options, variants, and complex compiler/arch dependencies to Spack [3]. You could not get good solutions to some of these problems without a capable and expressive solver.

[0] https://github.com/potassco/clingo

[1] https://github.com/Z3Prover/z3

[2] https://arxiv.org/abs/2210.08404, https://dl.acm.org/doi/abs/10.5555/3571885.3571931

[3] https://github.com/spack/spack
In order for your argument to be true - you either believe that:

a) a copyright holder’s ability to monetize their work would not be impacted, or

b) that all the people that currently make their living creating copyrighted works, would continue to invest their time and money to produce their works regardless of their ability to be compensated

I personally find both premises to be unsupportable.
the unwritten convention is let us know this is not new or an update on an old story. It's just a courtesy.
at least right now, those mice are dependent on gyros for navigation. wall to walk combat would no doubt interfere with that
The word you used, “lawyergrams” is so niche that it shows up only in a couple places on internet and no one knows what it means, including dictionaries and ChatGPT.
Why would you want it? For the same reason as a font like Times New Bastard. For fun. For creative depression. For no good reason at all.
I think what the comment is saying is that the job is not taken seriously by reporters.

White canes are a reference to props used in old-timey vaudeville acts (?). https://youtu.be/zgwG5wA5s3Y

The whole thing makes no sense to me in connection with the article.
My childhood interest in paper airplanes was completely fuelled by the excellent https://archive.org/details/PAPERAIR , which you can now find on the Internet Archive by the link! The emulation is imperfect, though.
Your browser cache doesn’t repurpose the content it stores to create derivative works. LLMs do so by definition.
If their business depended on it, I'm sure we would see no shortage of creative solutions like funding education or training needed to do the job. If the pool is too small, then the problem switches to growing the pool.
> But does the professor have a deontological obligation to catch cheating, and to make a good-faith effort to have fair outcomes in which students who studied and understood the material receive better grades than cheaters?

Most courses are either graded on a curve or the material is adjusted in difficulty to target a certain level of challenge.

When cheaters come in and destroy that curve and inject false signal into the difficulty feedback loop, the non-cheaters suffer from increased difficulty.

So yes, there is some obligation to keep the playing field fair and accurate.

Given that grades can have an impact on real-world outcomes (e.g. admission to a desired graduate program) then it’s possible that allowing cheating can have broad impacts beyond the students. Imagine if you took some 4.0GPA students under the assumption that they actually learned what they claim, then discover that they have no idea what they’re doing because they cheated the whole way.

Also, the mind boggles at the suggestion that catching cheaters is bad because they might face some consequences for their dishonesty.
On the other hand, specific, suboptimal pathfinding is like 80% of a Brood War charm. The game without die decades ago if dragoons and zerglings would blob optimally.
Better info directly from Bitwarden: https://bitwarden.com/blog/bitwarden-passkey-management/
afaics this is used in Amiga accelerator cards and doubles the performance of an Amiga A4000 which ran at 25MHz. So nothing we'd really consider modern.
Or alternatively AI companies could license the copyrighted work like everyone else if they want to use it…
For those of you that want to stay on HN, and not visit twitter:

From @DanielMicay:

"I've stepped down as lead developer of GrapheneOS and will be replaced as a GrapheneOS Foundation director. I'll be ending my use of public social media. I'm unable to handle the escalating level of harassment including recent swatting attacks. There will be a smooth migration."

"I'm confident the project will be in good hands with the rest of the development team. I'll be training them to handle everything I used to do myself. I haven't been a particularly active developer for a while now and there will be little impact on ongoing feature development."

"One of our veteran developers will be taking over administration of the server infrastructure. Local infrastructure for official builds, signing and testing will be replicated in multiple locations and verified against each other to reduce trust in any particular location."

"I'm going to focus on recovery from everything that has transpired since 2018. I have not been doing well, particularly in the past few weeks, but there has been no break from it since 2018. The police know about the swatting situation and are preventing it happening again."
Thanks, am definitely trying to squeeze them out as I’m able!
Basses with 5 strings are relatively common, and even basses with 6 strings are available off the shelf.

An option to disable the display of the name of the key would make it a nice game for ear training.
I was going to comment “website, why so difficult (on mobile)” before I saw your comment
Where I live, $5k for a used Corolla gets you something with over 200k miles and which needs another $5k (at least) to address deferred maintenance.
> I find this kind of argument quite annoying.

What is "this kind of argument"? Something ridiculous was stated, and I pointed out an apparently annoying reality. The argument that you seem to want to have is unrelated to what was said and my response to it. I don't think hyperbole has a place on meaningful discussions. Relevant points should be made without theatrics.
Similar for Deno deploy and Cloudflare Workers. In the end, the layers you get on AWS are not the same for all providers. It varies a lot from platform to platform in terms of "cloud".

I'm working on a relatively complex cloud solution centered round AWS Lambda, SQS/SNS and DynamoDB with many different lambda endpoints and isolated databases. It works, but it's incredibly hard to test. The fortunate thing is there's a system in place to stand up an environment at the PR level, but even that take almost an hour to test/build/deploy/test/deploy for the PR and every commit after the PR is made. Local runs are sorely lacking. And I can only imagine the number of environments with similar issues.

I've been playing with Cloudflare Pages/Workers and CockroachLabs (CockroachDB Cloud) on a personal/side project and it's quite a bit different. Still in the getting groundwork done and experimenting phase, but wanting to avoid the complexity of the work project while still providing enough scale to not have to worry too much about falling over under load.

Not every application needs to scale to hundreds of millions of users, and it all comes at a cost that may not be worth the price of entry. The platform at work is at well over 1.6 million in terms of the story/bug/feature numbers at this point... it's a big, complex system. But working in/on it feels a few steps more complex than it could/should be. It'll absolutely scale horizontally and is unlikely to fall over under load in any way... but is it really worth it with the relatively slow turn around, in what could have still used dynamo, but the service layers in a more traditional monolith with simply more instances running?

I have to say, I'm somewhat mixed on it all.
> 1000 pop songs and then write one that's nearly exactly the same as one of them

Alright, but how do you define this when talking about most of modern "pop" music (using a broad definition that also includes things like techno or rock sub-genres)?

Maybe even only consider what's commercially relevant.

Copyright is famously about authorship as an ulterior value, governing and including other values such as monetization.

What about this aspect?

Creativity is also often about subtlety, e.g. polished songwriting and sound design.

Already without AI, rent-seeking is prevalent in popular music, maybe it's even an integral part?

For a stupid example of reusing themes in pop music, take this especially spicy example:
https://en.wikipedia.org/wiki/Kernkraft_400

Or listen to the radio maybe. As a 90s and 2000s dance music lover, there's plenty of rehashing old content, sometimes licensed, other times it's just what music is.

Songs are memes after all
You have six years to work towards another referendum on Australia becoming a republic.
For a handwriting font, it would be fun to have small variations on letters. Just to make it look like something actually handwritten.
Cunning marketing! Ain't no one buying a piece of desert though.
yeah, basically write an AI which would remove watermarks before training on data. Or after, if you've already trained (sarcasm).
Great programmatic solution indeed.
Still, I see it is actually called "Michelson Interferometer Educational Kit", not "Michelson–Morley" and the user guide I'm reading (your link gives "The resource you are looking for has been removed", so I've clicked on the "User Guide" on the page instead) also takes care to never directly mention Morley or to suggest that the same experiment can be reproduced with that kit.
> "Definitely finding negative results like this is tough by just doing experiments, since it could be that the model might have succeeded if you had just trained it for more time/made it bigger/etc."

This is interesting to me because I've been impressed by how we have unlocked so many cognitive abilities just by scaling token predictors. It seems like every time the perplexity is significantly reduced, a whole new set of capabilities are unlocked. How do the results of your work inform these predictions that stack-more-layers token-prediction scaling will keep unlocking new abilities? For example, how would it affect a prediction of the nature and capabilities of a hypothetical 'GPT-5'-like model that reduces perplexity by a comparable about to the reduction that happened between 'GPT-3' and 'GPT-4' (maybe comparable on some nonlinear scale)?
NetPanzer is also an open source RTS in development for over 20 years!

https://github.com/netpanzer/netpanzer/tree/dev

I just setup a new masterservers and a couple game servers with bots (but you need v0.9x+ to play with bots).

I'm working with the maintainer to do one more release to the distros and then probably convert it to Godot.

You can download the latest 0.9 release from sourceforge. 0.8, in the distros, is pretty old.
I strongly doubt anyone will care about how many years you've trained as an author if you blatantly rip off Harry Potter and sell it. Who cares? Why would that even come up at trial? That has nothing to do with anything. It's just:

(a) is it so similar to the original as to be considered derivative?

(b) did the author have any exposure at all to the original?

Movies, music, books: it doesn't matter. Lots of people are focusing on lots of red herrings in this thread. If the AI outputs its own copyrighted training data verbatim, it's copyright infringement, full stop.
8 billion humans as of last November.
If you are basing your argument on a comparison between Ed Sheeran and Marvin Gaye, then you are talking about something completely different.

A better example is that Vanilla Ice had to pay royalties to Queen and David Bowie for using the bass hook from Under Pressure in Ice Ice Baby.
v8 maybe, but javascript isn't exactly a language known for having few footguns
Middle aged man with ADHD here. Just found out. Didn’t want it. Although it explains a lot of my almost 50 previous years. I am now sad.
Has anyone mentioned the Book of the Long Sun by Gene Wolfe? If not, I will, and if so, I second it.

Other favorites are Ted Chiang's stories, Children of Time, Dune, and if you want some real escapist but thoroughly fun pulpy hilarity: Dungeon Crawler Carl
We need a font for passive aggressive HN submissions as well.
I don't know how literally native they are in central Massachusetts given the cycles of forests, forests being cut down, and fields regrowing. But it's certainly not lawn grasses. Meadows in New England generally are not lawn grasses.
Tesla reliability is also often conflated with "build quality", and the sources for Tesla's poor build quality differ vastly, but a not-insignificant source of it wasn't objective information but rather surveys. Surveys that specifically ask "How does build quality compare to expectations". Which isn't a fair question because people hold different expectations for Teslas than other cars.
> If you publish something, you should be prepared for others to reproduce it and take it without credit.

> the net cost of copying data is effectively nothing.

Since the cost of including the author and the link to original work is so cheap I dont see why not have the courtesy of adding that info. They're are already doing the work for free, recognition is the least you could pay in respect for it.

Granted, sometimes things are a complex tree of authorship transformations and it's an interesting question of how far back you d go for that but sometimes its pretty cut and dry too.