skysight-inc/HackerNews huggingface dataset:
It's an interesting case, but I'm skeptical of SFC's assertion that this case "could have serious repercussions for software freedom".

The main point of the "further restrictions" clauses in GPLv3 is virality. If you receive someone else's copyrighted program under the GPLv3, modify or add things, then license the new program to someone else, the new program has to be licensed under the GPLv3. You can't add additional restrictions.

But in this case, Neo4j was the copyright owner for the entire program. Everyone agrees it had the right to relicense the program under whatever license it wanted. Everyone agrees it could have avoided the GPL entirely and written its own non-free license.

It just so happened that Neo4j instead chose to take the AGPLv3 and tack a non-free clause on the end of it. SFC's argument is that this counts as an "additional restriction" that can be removed. The district court disagreed.

As far as I can tell, the district court's ruling on the matter ([1], quoting [2]) was very brief and gave the issue little consideration. I think SFC may have a point that the court misinterpreted section 7. But even if the ruling is upheld on appeal, I'm not convinced the precedent would have much impact on any future cases where it actually matters, where the person adding the "additional restriction" is not the copyright holder for the entire program. For instance, the ruling talks about "the form AGPLv3", which seems to be a reference to the term "form contract", emphasizing that for the software in question, AGPLv3 was merely a basis for Neo4J's new license, not something legally binding in its own right. Likewise, the ruling's reference to "Neo4J Sweden’s exclusive right to license its copyrighted software under terms of its choosing" seems inapposite to the case of a derivative work with multiple copyright holders.

Also, just for the record, even if the "you may remove" clause were read out of the contract entirely, it wouldn't neuter the GPL or anything. Distributing a derivative work under the wrong license would still be a copyright violation. It would just remove one of the options for addressing such violations. I can buy that such a precedent would have "serious repercussions for software freedom", but I'm just saying, it wouldn't be that bad. But again, I don't think that's the precedent that was set here.

[1] https://storage.courtlistener.com/recap/gov.uscourts.cand.33...

[2] https://storage.courtlistener.com/recap/gov.uscourts.cand.34...
https://www.reuters.com/technology/tesla-robotaxis-by-june-m...

Looks like it's still in the works. Sometimes when technologists promise something their timelines end up being overly optimistic. I'm sure this isn't news to you.

By your language and past commentary though this seems like the kind of thing which elicits a pretty emotional response from you, so I'm not sure this would be a productive conversation either way.
Goodereader is trash tier and aleays has been.
It's even easier to skip account creation now - just add a line to a config file

https://old.reddit.com/r/kobo/comments/mt2f30/how_to_bypass_...
The largest model they tested is 1.7B.
Last year I met an elderly woman whose extraordinary life was the subject of a book. This book, which was inspiring to several friends of mine, was unfortunately only published in Japanese, which I cannot read. I wanted to try using an LLM to create a bootleg English edition (for my own use), but was stymied by recent upgrades to Kindle DRM.

Amazon has been poking publishers in the eye for a few years with Kindle features like text-to-speech (2009) and speech-to-text (2019, Chronicle v. Audible) that improve accessibility. But I don't hold out much hope for a translation feature that could unlock millions of books and the insights of other cultures.
I actually did just the same thing the other day, and it managed to make a fantastically complex query (by my standards) with relatively little fuss. It made quick work of building an entire php/slim api quite nicely as well. You need to know what you are doing and correct some mistakes related to specific implementations (in my case SQLite specifics and the Psr library I was using in Slim - not sql or php in general), but overall a pleasant experience.
In case you don’t have much experience working with lawyers, start your conversation with them by saying, “The outcome I want is _________________.”

If you don’t do this, the lawyer will likely talk about many options, none of which will match your desired outcome. They also generally charge by the hour so you’ll be paying to hear about things you don’t care about.
God you really have just drunk the NBN koolaid havent you.

> Roads, water, the telephone service, electricity supply

Fun fact, the US has such a variety of fibre providers, because they have such a variety of electricity and water supply. Its called Subducting. They make partnerships with fibre providers and subduct in the fibre with the power lead in.

So they have 3 speeds.

1. Cities, with ancient telstraesque legislative monopolies, getting BEAD funding to be replaced.

2. Townships and cities with private power/water and 1/2/10/100 gig fibre options.

3. Deep rural with hundreds of wisp cowboys.

10 years ago I remember reading about a township of 900 people being passed by a rural fibre company. Fish lake township or something.

>Their asset is "the last mile".

No their asset includes the last mile, but its includes all the way back to 121 points of interconnect. The original, far better model was to have only 21, but the ACCC at the behest of the big 4 ISPs interceded and determined that government intervention is better than engineering. All under Labor mind. Simms has never shown any network engineering credentials. The NBN is literally welfare for Telstra Optus, AAPT and Vocus.

>One effect of that is there is no "net neutrality" argument here.

Net Neutrality in Australia has more to do with the big 4 peering agreement.

>The private operators where given every chance to build a new network

Private networks have been consistently hampered by the NBN. None of them (rightly) would want to attempt a national network. State based private/public co funding would have gotten you the same result faster and cheaper. But Labor wanted one more BIG NATIONAL PROJECT to hang their hat on.

>Creating near a perfect competitive market

It was Turnbull who slightly corrected the NBN funding model to make it halfway profitable. We still have an issue where NBN is serviced largely by the big 4 (who lobbied to have it built this way) wholesalers, and anyone who cant reach 121 poi's is forced into wholesaling.

>In a country that's even more spread out than USA

Rural australia is still mostly just NBN Fixed Wireless and Satellite. And neither of these is largely going to be overbuilt by NBN Fibre. Labor is promising to bring a few more towns online with fibre but not everything.

Honestly I have never seen anyone as confidently wrong on the internet before.
I notice this strange double standard also.

"Everyone else is a bully, but not me - I'm just trying to raise awareness."
> they will either charge a battery or the current house loads, but never backfeed into the grid.

I’m not sure I understand how this works unless you split off loads into a subpanel that is fed by a UPS which is fed by solar panels, and also isolated from your utility connected electrical service.

As far as I understand it, you can’t have power generated by solar panels feeding loads in your grid-connected panel without backfeeding the grid, same deal as a generator backfeeding a grid-connected panel. You have to kill the MCB or service disconnect to prevent backfeeding.

If you have links with info on how this work (one-line diagram would be extremely useful) I’d be curious. I sell and run commercial electrical work, FWIW. I’ve done zero solar jobs so my understanding could definitely be wrong!
Yeah could do. I do this for some SSH hosts but not all.
What's to stop a single unlimited user from generating and sharing infinite tokens with the rest of the world, then?

Edit: Each account is limited to 2000 tokens per month, unless they email support to request more. (from the FAQ near the bottom).

Still seems like there could be a secondary market for resold tokens, though. Not just as a money making system, but possibly as a privacy initiative? If enough accounts pooled tokens into a shared pool and withdrew a random one from it each time, it would be a further safeguard.
Is-Ten-Thousand
Maybe, but are you saying that you could perform an operation like "if string startswith("www") then ..." without decryption? That sounds enormously complicated.

And even so, it would be leaky, because you could follow the execution path and deduce things about the data.

So in summary it sounds implausible, but I may be wrong.
If you're going to make a big claim about sort speed, tell me how speed is better/worse for various data. How do the algorithms compare when the data is already ordered, when it's almost (but not quite) already ordered, when it's largely ordered, when it's completely random, and it's in the opposite order. This stuff, as well as the size of the dataset, is what we need to know in practice.
Iterating Pointers: Enabling Static Analysis for Loop-Based Pointers [video]
20k... per account? adds up

I suppose most people won't have 20k (net) payslips, or draw it all out on pay day!

I'm not saying he's wrong, but covering a risk of this nature? I'm sure you'd be able to find someone to take your premiums

whether you'd be able to collect on it when needed, in the situation where the financial system is under serious stress is something else (see: 2008)
Missed opportunity to call them LMM and enjoy the onslaught of typos
>as long as it's tied to a user account, or payment information

Privacy Pass unties the searches from the user account and payment information.
PRs welcome ;)
That some people in this comments thread lack curiosity or the ability to engage with the world around them beyond the surface level.
Lots of masters students are also research / teaching assistants and end up finishing with little debt.
It’s a class action, ie, not a single plaintiff.

If you want to discuss the helicopter in particular, there’s also questions why a pilot who had been in multiple desk jobs for multiple years was flying a high risk route like that — and the possible reasons the military promoted her and allowed her to attempt this with questionable competency.
we have a proof that this is not right - see 2018 and 2020.

it is somewhat “easy” to run against an incumbent, especially one as fradulent as Biden (not to mention Kamala…) but when you are an incumbent THE BUCK STOP with you. while portion of the US electorate is dumb beyond repair they alone are not enough to win an election. if shit isn’t right come 2026 and 2028 the blame-everyone-else-nothing-is-ever-my-fault Donald will suffer the ass kicking much worse than 2018 and especially 2020 when he got demolished by a senile corrupt lifelong politician grandpa Joe
What if Eye...?
Gotta respect the hustle of the guys. Some work colleague recommended it to me over a year ago but I stopped using it after a couple searches, then never heard from them again after perplexity exploded. Hope it works out for them!
> "lots of self-generated power will ultimately be wasted."

Takes like this are why corporations will plunge humanity into a painful end through climate change.
Just as a data point, I haven't seen this in Safari on desktop or mobile, or in Edge (on my Windows work machine).
> The reason I didn't is to avoid a discussion of how I personally would design tools for an alternate web.

Nevertheless, it can be of interest, in case someone does have the ideas. (I have seen other stuff in Hacker News and elsewhere, too.)

What are the specific qualities you personally would want for a web replacement? (You are probably right that they are not the right ones for everybody, but still it might be worth to mention.)

About control, to curb commercial activity and abuse, how would you expect that it should be done? (For most things the existing security is good enough but for commercial business you will want a better security for the purpose of the identification. But, maybe you have other ideas.)

I also have my own ideas for what I would want for a web replacement too (but, like Gemini, it does not have to destroy or be mutually exclusive with WWW or with anything else; see Gemini protocol FAQ 1.13), which I had made available (I wrote Scorpion protocol/file-format specification document).

One thing is that, it shouldn't be between Gopher (or Gemini) and WWW; instead it should be between Gemini and "WWW as it should be if it was designed better".

(Also, Gemini protocol can be made by making a TLS connection to port 1965 and then send the URL and a carriage return and line feed. This is a simplified explanation, but it is good enough to find the specification document in case you want to access it directly rather than HTTPS or something else.)

(Also note: I think that non-extensibility of Gemini protocol/file-format does not really work so well as they had expected. Some files do use extensions not mentioned in there, such as SGR codes. There are also many other ways to put extensions, such as into the X.509 certificate (and since TLS is mandatory, such a thing will always be available), as hidden Unicode characters (since they insist on using Unicode), trailing spaces (like ProleText does), and other ways.)
Compared to the calibre of people the previous regime put in place the current crop actually looks quite a bit more competent. It is also refreshing to see most of them being being picked not because of their skin colour, sex or sexual orientation but because they are deemed to be competent. You may not agree with their ideas - elections have consequences after all - but they have for the most laid out specific plans on what they intend to achieve. The 'MAHA' idea seems like a good idea, don't you agree? If you do not agree I'd like to hear why without any references to either Trump or Kennedy - just why it is not a good idea to improve the American diet.
I hadn't thought of it that way, but when you name-droppped and indirectly questioned the honesty of people who think differently from the theorists you named, I realized that you must be onto something.
Who can blame them. Me too.
Have we ever observed revolutionary change in tech which ran contrary to evolutionary change?

This seems like such an odd thing to expect will just "happen". Any other world-changing or impressive tech I'm familiar with has evolved to its current state over time, it's not like when Jobs announced the iPhone and changed the game there wasn't decades of mobile computing whose shoulders it stood on. Are you talking about something like crypto?

It's admittedly a bit confusing what you're asking for here.
It's very enough that the Rust foundation originally refused to publish the numbers lol https://old.reddit.com/r/rust/comments/vhvb4m/2021_annual_su...
You may not have understood the concept of a living wage. For a start, a living wage is expected to support saving for retirement and future expenses like a new car, or eventually buying a house. "People can live on $100/week for six weeks!!!" is not a relevant counter point to "$100/week is not a living wage."
Ask HN: Can We Do Science on the Mandelbrot Set?
If you notice, one of the most recognizeable features of the Mandelbrot set is a cardioid shape when completely zoomed out. Imagine looking for all the other patterns that are present in the Mandelbrot set which might be computational shortcuts describing features of the real world.

What if intractible mathematical puzzles could be solved just by measuring some aspect of this mathematical object?

Anyway, I'm going to try :)
Gallagher badgering an artist: https://www.bbc.com/news/articles/c5ypn8jz9q7o

.. and, quite possibly, coordinated manufactured outrage to drive sales and lift name recognition .
Well you can turn them off for a day and they have the skills to see that.
Heh, that's one of the more aggressive "how hard can it be?!" that I've seen in a while

I invite you to look at the number of threads of people complaining about Cloudflare locking their perfectly normal browser out of a stupid amount of the Internet and then carefully consider how you would circumvent those anti-bot controls
What's unapproachable about it? And if your answer involves syntax, how do you explain Python?
> To put it succinctly this only relates to any entity which applies for a grant, contract, coop. agreement under chapter 6A of 42 USC.

But the whole point of the article is that there are other cases when you need IRB approval besides this one. That's one of the myths he's busting.
What is called "Evaluation-Driven Development" (EDD), I called "evaluation first" approach: https://arxiv.org/abs/2201.07725

Thinking about evaluation at the beginning, not at the end of a project, means that you don't fly blind during most of the project's execution duration.
Why Americans Love Iced Coffee [video]
OpenAI removes certain content warnings from ChatGPT
Pipe-based query syntax has been appeared a better alternative to SQL in many databases, because it is easier to read, write and maintain. The only thing is that this syntax isn't standardized among databases yet.

BTW, we at VictoriaLogs also use pipe-based syntax for LogsQL query language [1] since the first release in 2023. Recently I wrote an SQL -> LogsQL conversion guide [2], which has been appeared quite clear and easy to follow. This guide was written during the conversion of SQL queries to LogsQL at ClickBench benchmark from ClickHouse [3].

[1] https://docs.victoriametrics.com/victorialogs/logsql/

[2] https://docs.victoriametrics.com/victorialogs/sql-to-logsql/

[3] https://github.com/ClickHouse/ClickBench/tree/main/victorial...
And in the same vein, the oldest Kindles that were cellular-only (1, 2, and DX) are now fully shunned from buying Amazon books, as they could only download new purchases via the USB feature as Sprint's CDMA network had sunset.

I held onto my early-model cellular Kindles as long as I could because Whispernet was just such a novel thing at the time, and having the 'experimental' web browsing on 3G was a nice little treat.
The difference is cost. Pervasive and unhindered surveillance is way cheaper than coordinating an individual to be targeted through court orders and all the bureaucracy and potential legal battles that come with it. That’s why EU/UK is trying to coerce Apple to disable end to end encryption[1]. If it hadn’t made any difference, we wouldn’t be seeing any complaints from governments.

[1] https://techinformed.com/uk-government-orders-apple-to-hand-...
would be curious to see how far one could get on building a competitor using AI and a sixpack red bull
After Sassoon, two more officials have resigned rather than dropping charges against Adams. https://www.nbcnews.com/politics/justice-department/top-fede... John Keller, the acting head of the Public Integrity Section and Kevin Driscoll, the acting head of the department's Criminal Division. Keep in mind that "acting head" means they were recently chosen for the positions by the Trump administration, but they are still refusing to comply.
I individually have almost no power to shape how the industry treats its laborers, I'm forced to maybe find the job marginally better than the median position for my needs. Collectively though...
Linux distributions have often whitelabeled software that make trademark threats
My parents adopted the western practice and gave us his last name, which he doesn’t share with anyone else in his family. It’s Arabic not Hebrew, but I imagine the words are related.

My wife’s last name is in the Domesday book, and they have extensive record of their family’s activities in the U.S.—which is a cool thing you can do when you have surnames! I feel somewhat guilty that the west coast line of the name will die out in favor of a name that has no family significance to anyone, but oh well.
There's no way the fiber was run "through" the pipeline. They likely just used their right-of-way to run the fiber next to, attached to, or dug underneath, the pipeline.
GAO audit is not a perfect tool, the evidence is a $2 trillion deficit that is ballooning every year. Very easy to pass GAO audit as long as there is some "paperwork" backing the expense.

What DOGE/Musk is doing is auditing expenses not in terms of "have these expenses been properly authorized with the paper trail?", but rather "are these expenses vital for the US taxpayer, can we remove them?"

GAO can only find some bogus expenses without paper trail

DOGE is funding expenses with proper and perfect paper trail, but ultimately unnecessary for the US taxpayer
As a developer I have not felt the need to buy a performance machine anymore, everything happens on remote machines and build farms.
i don't know know why the hell people are so obsessed with it. like why aren't there recurring posts about how to solve a separable PDE or how to perform gram shmidt or whatever other ~junior math things.
> I am scared that universal healthcare would introduce so much bureaucracy...

I use the NHS in the UK and it isn't especially bureaucratic, much less so that the US system. It does have its failings though like wait times to get stuff done, poor communication and the like.
We use it.

It is actively developed.

It doesn't get in the way.

It does what it says on the tin.
Do they believe that it's likely to scale as high as "standard" LLMs? Or is this another state space machine moment where it turns out to be equivalent to them?
Universities have been offering doctoral degrees for at least 800 years. It’s unclear to me that they have ever been linked to powerful/ultra-wealth careers. I think that completely discounting the “prestige” factor would fail to capture a large number of academics. Especially in fields like Philosophy (from whence the Ph gets it’s abbreviation).
Engineers are particularly prone to failing to understand the "why" when it falls outside of their technological area of expertise.
Any Spark compiler? I've found https://www.adacore.com/sparkpro which says request pricing - never good, any open ones suitable for playing with?
Using vscode for a word processor is as good or better for me now than using something like LibreOffice
Cost of living and income inequality are soaring. Huge swaths of the population are living in crippling debt because they believed that it was worth it to spend tens, if not hundreds, of thousands of dollars to go to school and learn about what interested them, only to find out it didn’t lead anywhere and they have hamstrung themselves financially for the rest of their lives.

It shouldn’t be surprising that people are putting a premium on financial stability these days.
Part of being a regulated bank in the UK is proving infrastructure resiliency.

Monzo were the first bank here to run entirely on the cloud, so I imagine the regulators were extra strict with them.

I'm not saying this level of resilience is due to that alone, but perhaps it started them on the path?
Fair, I acknowledge I may have misrepresented this group who are against the Rust community as not being experts in this this space; they certainly are. Rust doesn’t have to be the answer but if we treat others (namely Rust supporters) and their solutions as dead-on-arrival because it’s implemented in a technology we’re not entirely familiar with how can we get to a point where we’re solving difficult problems? Especially if we create an unwelcoming space for contribution?
There's no need to be an early adopter, wait a few weeks and if it's worth $20, lots of people on HN will tell you, just as they currently do with Kagi search.
This is so much fun! I’m going to play this with my kids ages 6, 8, 10, and 12. Thank you for your efforts!
The United States is not a Silicon Valley company
There are several character qualities more important than immediate personal comfort.