skysight-inc/HackerNews huggingface dataset:
> in maths you can specify anything, including things that the computer is unlikely to figure out how to execute if it's possible at all.

Well, in TLA+ you can write programs that run forever (or at longer than you'll live) and don't do anything like "model check" or whatever you want to call executing TLA+, even though they are perfectly sound mathematically. This should make it clear that TLA+ is not maths.
Ah thanks, that explains my initial confusion...
He should have stayed on as BDFL. Now in the power vacuum a bunch of “activists” and political enthusiasts will take over and ruin the whole thing for everyone, or at least significantly slow down the progress
https://www.medtronic.com/covidien/en-us/products/electrosur...
Can confirm. The people in front of me in line were taken away by police. I met them later and they said they consented (because they were stupid) to be searched for drugs.
If AI creativity and human creativity produce essentially equivalent results, how do you distinguish one over the other to enforce a different rule?
If someone wants to pay me to do this, I have some free time Mondays and Wednesdays.
Google sued by longtime enemy Yelp after years of antitrust complaints
Sat through three weeks of brutal Sun Sigma training back in the day. What a total waste of time and money. Scott lost the plot being hypnotized by JW.
I get your point, but a wait group or a mutex can be removed in favor of a clean usage of channels if the proper concerns are isolated at first. And I would personally much rather reason about channels than mutexes and wait groups. Wait groups and mutexes are just begging for deadlocks and race conditions, where a proper channel, used correctly, eliminates both of those by design.
http://archive.today/IN4aw
Are these OG electric sheep?
They definitely don't sound the same, very similar yes but far from the same. Besides was it proven in court or otherwise by some legal entity that these songs aren't considered copyright violations? Just because it has not been legislated doesn't prove it isn't copyright violation.

Anyway I'm definitely not a copyright expert but I just found this argument extremely weak.
It's not just how much information you extract, but also what you do with that information.

RCV, in the most common form of IRV, has a problem that I think is relevant.

If we accept the truism that the appropriate compromise won't be anyone's first choice, then the very first thing IRV does is throw out any appropriate compromise, leaving it to make a decision between inappropriate options.

I think we need to be more able to pick a compromise, not less.
Thanks! That looks interesting, I made a note of your list and will check them out.
Acorn:

This guy is here on HN. THough I cant recall his HN /u/

https://www.youtube.com/watch?v=fFhTPHlPAAk
Again, I would prefer he retain an unused veto. Who knows, perhaps he's entirely fine with his comment being removed.

The benefits of a sovereign are that they limit the amount of privileges that can be extracted from an political system. Obviously monarchs have their downsides, but if people can just up and fork the project, those downsides are limited.
A VS code / cursor extension is on our roadmap. Ideally this data is embedded in your workflow so developing with LLMs is seamless. With the current product, we can also warehouse requests directly to your PostgreSQL DB so you can query in your IDE. The SQL editor in our app is just one (optional) way to query the data.
search engine dot com and “snake game” is still probably faster though. which is the point gp was trying to make. there’s so much training data on snake, that this is what you’re essentially doing.
Maybe a docker spinup for each app (which would be kind of nuts and could get out of hand perhaps) ? I have to admit I didn’t look at the site much so have no idea really
At that point, they might as well copy your original code without going through an LLM to do it
> So far, only looking at the trailer, I did not see anything particularly special that would differentiate it from other recent AAA games.

It has absolutely crazy gorgeous graphics, games at this level do not come out often at all.

It is tied into an extremely popular mythology, and one that western audiences are warming up to.

It implements the popular "soulslike" genre, which is massively popular with hardcore gamers.

It is VERY rare that a new franchise, from a new company, in a niche genre is released with this level of graphical fidelity and polish. Everything EA and Ubisoft and Sony produce these days, who are mostly responsible for the high-fidelity games made recently, is copy-paste open world collect-a-thon bullshit for a casual audience.

This game is well designed, has good word of mouth, and is cool! And yes: people in SEA are interested because it is an implementation of one of THEIR popular stories, as opposed to another Tolkien rehash.

And it is super cool! Kung fu is cool!
> The HDMI Forum, a nonprofit corporation, is comprised of members whose primary interests are to further the development of HDMI technology.

> AMD graphics card and Linux users are unable to leverage 4K@120Hz or 5K@240Hz via HDMI 2.1

> The issue initially arose back in 2021 when the forum decided to restrict public access

> AMD and the X.Org Foundation have worked with The HDMI Forum to try to come up with a solution — to no avail.

> AMD Linux engineers worked to develop an internal code and sought approval from the forum, which resulted in the rejection.

I think their non-profit status should be looked into...
OP's cofounder here. Thanks for pointing out this test case. Surfaced that we weren't handling symlinks properly. With this fix, I was able to successfully embed and index most of the repo (though I stopped at 100 embedding jobs so that we don't burn through OpenAI credits).

P.S. You'll see a bunch of warnings for e.g. binary files that are ignored.
https://github.com/Storia-AI/repo2vec/commit/1864102949e7203...
> What if there are 5 unions like we have in France?

So it's important to remember that European Unions and American Unions are NOT the same thing! Despite having the same name.

In the US the union is directly tied to the job, you can't pick your union. In Europe you can chose your union.

This "little" difference dramatically changes the unions, and is the reason why a majority of Americans hate unions.
Fired who?
Well then you end up with a work that a judge will allow to proceed to trial.

Only expressive software is protected by copyright and sometimes that interpretation should be handled by a jury.
Umm.....you do realize that COVID happened in 2020, right? I.e. right in the middle of the Trump administration?

Or is this just another hallucinating LLM weaponized for getting us all upset at each other?
Right. But im supporting these in a business environment with users that arent techy. Windows is basically needed. Privacy isnt even on the radar. And secuirty is handled via companies like crowdstrike.
Yep. The game review websites all got taken over by “journalists” who really are there to use their position for personal political agendas. And while everyone has known this for a while, I think the vicious attacks by social justice activists against this game have finally triggered gamers into mass rejection of the institutions that have been captured and corrupted.

The translation thing was especially egregious. It was clearly a machine translation, but they denied that it was, despite there being huge flaws in it. My take is that they purposely used an inaccurate translation to manufacture a narrative that matched what they wanted.
Tbh, I would rather a whimsical but unique and memorable name than another “tax-pool-cache-service” type of name to try and reason about.
> I would love to see somebody who thinks deeply about PL syntax to make another language with the same semantics as TLA+

Perhaps you would find Quint interesting? https://news.ycombinator.com/item?id=41111790

There's a comment that says Quint uses TLA+ as its base language: https://news.ycombinator.com/item?id=41118162

Disclaimer: I don't know anything about TLA+ or Quint, I just remembered seeing Quint here
I'm confident they don't want your code in their training data. The amount they have to lose if they're found to be using customer code as training data is enormous. Plus there are no guarantees that your code is good for training a model - model providers have been focusing much more heavily on quantity rather than quality of training data recently.

(Worrying that they may log your data and then have a security breach is a different matter - that's a reasonable concern, they've had security bugs in the past.)

I call this the AI trust crisis: people absolutely won't believe AI companies that say they won't train on their data: https://simonwillison.net/2023/Dec/14/ai-trust-crisis/
Thanks. I think I'm fine with missing out on networking or other human interaction because I'm pretty awkward with that, even after getting married and a son. But yeah I get your feeling because I do regret missing out other things like growing my careers or focusing on something more meaningful.

I feel that you are not at peace with yourself yet. I can't have that too, maybe for the whole life. I hope eventually you can have peace with yourself.

Actually, the more I read your post, the more I feel that we have the same issues. I had those "ripping the Band-Aid off" moments too, but they never worked for long. I also lack self-control/willpower and fancy about a service that throws me into a prison and forces me to do what I want to focus on.
It’s trained on publicly available code, so what would be the point of that? If you’re looking to specifically infringe the copyright of code available on the open web, using an LLM code completion engine is just about the most roundabout and unreliable way to achieve that.
I'm having a few snags with Bloomberg.

However I do get to read your comment and I suspect that what you write is quite complicated and involved.

Would you mind defining G_U_A_I and C_N lipstick effect. Feel free to use convoluted terminology.
This was one of those must-have tools that made windows bearable back before windows 8.

Not to say it doesn't work passed windows 8, just that windows became unbearable to me.
Well the company is own by a person who is invovled with both and he started the company to move forward the open ecosystem of software and hardware.

Could be invested better. Maybe, maybe not.

In terms of marketing, this certainy has gotten their name out there. Between PopOS and Cosmic they are becoming known globally in the whole linux world. Every single linux influencer has been reporting on this. PopOS is an often recommended distro.

Would it be better to buy google ads. Maybe in the short term. But the money would go towards their overall goal.

In the long term being the company know to be behind the best open hardware and open software projects seems like a better strategy.
I’ve used Everything 1.5 and Everything Server 1.5 for our small business to help our employees find files on the SMB file share since about 2022. It has been very good. People don’t have to waste time doing deep folder hierarchies. They’ve settled on “DATE Rough description” folders with a bunch of documents inside relevant to that “task”. These task folders can be forgotten, but with good folder and file naming, are easy to stumble upon later using Everything when we need info on an old task/project/etc.

The new Microsoft 365 stuff is so shiny, but the poor integration with traditional SMB shares is incredibly frustrating. We now have two split areas of documents: SMB and “The Cloud”. Nothing they offer for SharePoint/OneDrive Business/Azure gives proper integration between old and new.

Even worse, the new documents are often silo’d into specific user’s personal OneDrive which is basically undiscoverable by default. The old workflow of choosing a place to save the document early kept documents visible and rapidly shared. Now someone could be drafting a document for days before others even see it. Or they could forget to ever move it from their personal space to a team/shared space.

sigh

I’m thinking I’ll code a simple tool that creates hyperlinks to SharePoint in SMB.
Diffusion Models Are Real-Time Game Engines
Which other cryptographers agree with him about this?
You are using misleading the word "learning" (like misusing word "piracy" for copyright violation). ML model is not a human and is unable to learn anything. Also, ML model is not a subject of law.

So your sentence should sound: "where do we draw the line between engineers of VC startups calculating model parameters by processing copyrighted content, and humans learning from codebases". Then the difference becomes obvious.
IANAL but I think for the specific dismissed claims in this specific case, reproduction is the issue, and it doesn't indicate anything about training.

I think it would be extremely hard to make claims against GitHub for training AI with code on GitHub, assuming GH has the typical "right to use data to improve service" clause that usually shows up on free-service EULAs.
Discussion (120 points, 6 days ago, 169 comments) https://news.ycombinator.com/item?id=41322266
Federal Receipts as a percent of GDP doesn't address my point whatsoever.

GDP is not income. Federal receipts aggregated across all tax brackets provides zero information about what the highest tax bracket paid.
> I might be wrong, but i do not think NeXTStep had dockapps, i think the idea comes from older WMs which allowed X11 windows to be "swallowed" inside panels and Window Maker provided the same functionality in a NeXTStep-ish way (dockapps are just small windows nested inside a frame box around them).

According to my computer history knowledge, NeXTSTEP version 0.8 introduced the dock in 1988.

At the launch, Steve Jobs said: “The dock — It turns out that, when you’re running applications, things can get lost. These icons can get hidden and you might want to read your mail at a moment’s notice. So we allow you to take any icon and take it over to any one of these dock positions and it’ll snap in and dock. And the minute it docks, nothing can go in front of it. And so it’s a place to always have the applications that you use handy. You can customize it any way you want to, and nothing will ever keep these things from being a glance away. That’s what the dock’s all about. And if you decide that you need to use that right part of the screen for an awfully big window, and you don’t want to undock things, you can just slide it down and everything, but the little logo will go off the screen.”

https://youtu.be/92NNyd3m79I?si=PjcfOEhf2-S-QzB1
I'm going to be contrarian here and say, maybe it's the right choice. Bringing up already-litigated drama in an unrelated thread is not particularly constructive. If Guido thinks this person's opinions are relevant, he can send them and email and ask for them, right?

To some extent, the moderators are obligated to treat everyone equally. If they wouldn't let you or me relitagate past drama here, why should they let anyone? The core team should be setting the example for how other people should behave. If the core team doesn't agree with the values that they claim to agree to, and show this disdain by not enforcing their own rules, then why would they bother creating that governance structure in the first place? They are just being consistent with the processes that they agreed to and subjected themselves to. That's governance. Personally, I think it would be more alarming to the community if certain people didn't have to follow the rules.

As far as I can tell, there is no mention of not discussing the original decision in general. If there was, nobody seems to be following the rules as there are 8 billion Reddit threads on the topic. I knew nothing about this and had Names Named in about 3 seconds of searching. As a result, I don't think there is some sort of conspiracy taking place. Enough ink has been spilled on this issue; does it really need to be brought up again in a thread about voting systems?
This would condense lines of code by a lot and prevent a lot of dumb bugs.
Thanks. I guess eventually I need to be at peace with myself, which I cannot do that. TBH I loathe myself. I can lie to others but I cannot lie to myself. I guess therapy is probably my best resort.
But then I would be missing out on the dopamine hit from dunking on someone else's project
I doubt that setup would last a week in a desert.
Depending on how large your codebase is, that could get pricey, at least for now. But it's probably just a matter of time until it all gets dirt cheap.
My experience is that discussions of bylaw changes tend to get heated and that trying to change your bylaws is like Russian Roulette, that is maybe 1/6 of the time there is some disaster which is either the end of he organization or that results in a major loss of members.
TLA+ is executable in the sense of Prolog: there is an algorithm (the TLA+ implementation) that takes a TLA+ program and produces output. Most mathematics is not executable in this sense, you will have a very difficult time doing anything useful with the PDF's of published math papers. Math is a natural language, TLA+ is not.

And I would agree, TLA+ as a specification is different from TLA+ as an implementation. I generally disregard specs, I was talking about TLA+ the implementation when I said it had no future. It seems it will be in perpetual maintenance mode with barely any new features.

Regarding simple vs. easy, I challenge you to argue that temporal logic is "simple" in any sense of the word.
Down voting this comment is burying your head in the sand. Censorship has been and will continue to be one the primary political fights of the 20s. They just arrested the Telegram founder a few days ago...
That is theoretically possible, just seems very very unlikely. Finale is “millions” of lines of code, old legacy code that spanned dozens of OSes. Have you ever tried to read huge legacy codebases? They are hard to read, and I’m dramatically understating it. The time it would take to read and extract lessons learned from it could exceed the time available to do any work in the music notation space. Most of the lessons that are there to extract are lessons that no longer apply to anything. Not being able to build & run the code would reduce the ability to understand it by another multiple factor. It would be far more efficient to hunt down and interview the Finale devs, or spend time working on another product and learn from it.

All that is beside the point that Finale devs are under zero obligation to release their code, and generally speaking they have a decent list of reasons not to, plus some specific ones I speculate.
Not the OP but yeah, that’s usually the reason I reach for a channel in this case. A mutex or wait group is just begging for a deadlock to rise up when you least expect.
The law doesn't ignore the history. Two identical objects can most definitely differ in legality.
Boss? He is a founder, not a head of mafia.
The downsides can be pretty high for the chosen monarch.
There were no concerns, huh?

Wow, I guess all the reports about blood clots and then pulling it was just not concerning.

I almost think it’s funny. You people will go to your graves before you admit that you were lied to.
Found an earlier discussion (235 comments)

https://news.ycombinator.com/item?id=39543291
In a perfect world we could afford to have lots of basic research institutions that dream wild dreams 100% of the time. In the current context tho maybe it’s not crazy to ask for 10-20% of time/cost to be applied. That’s not the same as suggesting merch or a bake sale, especially if there’s a route to more sustainable self funding, which idea I would think is appealing to any scientific institution that’s beholden to a political one.

Besides, we have lots of urgent problems. Pure basic research is always going to be good/necessary, but whether it seems mostly noble or mostly ridiculous depends on whether the house is burning.
I get it. And I do wish some systems were quicker to let the OS clean up after them on exit. For instance, the other day loaded a CSV with about 20 columns and 10M rows into a list of Python tuples so I could poke at them a bit. That took a short while and I was ok with that. I was more surprised when I closed the REPL and it hung for way longer than expected as it freed a couple hundred million objects.

Now it could’ve been the case that some of those objects had a __del__ method that needed to be called or something. Absent that case, I’d have preferred the process just exited and been done with it.

If that were a program that ran synchronously from a shell script, the shutdown GC time would’ve been nearly as long as the data loading time. Maybe Python could benefit from a fast_shutdown_GC function that only calls free() if an object is something with a non-trivial delete method. Otherwise, skip it and let the OS do its voodoo it does so well.

I’m picking on Python here because that’s where I last saw this. The basic idea applies in lots of other cases though.
Same people dont mind using a paywall bypass either to read stuff they are interested in and not pay for.
That truism seems pretty unacceptable to me.
That’s an interesting rhetorical trick, because answering the question “what is an LLM” requires a lecture series, not a hacker news comment.
This would only make sense if it isn't actually indexing the permissions, it just checks the file at the time it finds it. That would be DUMB if they did it that way. They can index that one extra field and it would still be fast.
It's so ambitious in an almost boring way, exactly the right steward for a project like this
"Stippling" is misspelled in the Comic Artist skill tree. Which I can pretty much fill in given that I can fill in the blank spaces with checked-off things like "get cover quotes from three people with seven Hugos between them". But I can't fill it in with "get two Reuben nominations" like one of my friends can. Also I feel like "submit your work to publishers" and "get someone else to publish your stuff for you" is distinctly lacking. And pretty much a requirement for the "two Rube noms". Personally I'd remove "use hatching/crosshatching/stipling" and the other misspelling of "digitally adjust the hue/saturation/contaract etc".

The Visual Artist one mostly works though. I can fill pretty much all of that one in too.
In Prodigy's defense, the samples were very creatively transformed so that the final result does not resemble the originals. It is more like cutting a small patches from paintings to make a new painting (rather than drawing a similar painting), and it is not what ML model do today.
Opening the console and seeing rollback net-code pretty much says enough. Also the game itself feels great to play even with 160ms ping which is only really possible when using architecture similar to overwatch.
apologies my bad. I mean someone uploading a malicious pdf as user input. I am talking beyond calmav and flietype checking, to check if its a valid pdf.
It isn’t mentioned in the article, but the decision is here [1]. If you read that, it says that the US Supreme Court ruling in July 2024 [2] changes the way you look at Section 230 cases, and when you look at it this way, it is not obvious that TikTok’s algorithmic recommendations have any Section 230 protection at all.

[1] https://www2.ca3.uscourts.gov/opinarch/223061p.pdf

[2] https://en.m.wikipedia.org/wiki/Moody_v._NetChoice,_LLC
Yeah, it's painful seeing all the enthusiasm IRV gets. I've come to the conclusion it's how people think they want to be able to express support for third party candidates due to their frustration with the current system, but not actually seeing down the line to what happens when non-duopoly options gain some popularity. Basically it's still hopelessly wed to the two party model after the less-popular third parties are run off. It's only redeeming feature is that the same choices can serve as the input to a Condorcet decision process when the failures of IRV become apparent.
No, for sharing porn.