skysight-inc/HackerNews huggingface dataset:
Yeah, this is a little bit subtle. Please ignore the lack of rigor below, but this is my understanding: They aren't looking at a particular polynomial like 4x + 3y = 2. That has a solution x=2, y=-2, but they don't really care about the exact value for (x, y), just that it's integers. They're more interested in the parameters: (4, 3, 2), and in general Ax + By = C. If you like, it's almost like hyper parameter tuning: what are the parameter settings for (A, B, C) where I can get this shape of equation to "work", e.g. give me acceptable x and y? A "Diophantine set" is a family of parameters that all work. It turns out you can think of "parameters of a given shape of Diophantine equation" as an exotic programming paradigm.

Fermat: x^N + y^N = z^N. The Diophantine set only has the number N=2, because Fermat's Last Theorem tells us that no other possible N will work if x, y, z have to be integers. This is just a finite set.

Other polynomial expressions work with an infinite number of parameter settings: Pell's equation is x^2 - N*y^2 = 1. In this case, every N that is not a square will work. This is an infinite set.

Because a lot of the parameter sets are infinite like this, the size of the parameter set are instead measured using big-O notation. For Fermat's Last Theorem, {N=2} is constant, so big-O(1). For Pell's equation, {N not a square} is O(N). For other Diophantine expressions, the parameter settings are O(N^2), or O(2^N), or any other growth function you want that's achievable with Turing machines.

And this is the essence of what MRDP proved. Robinson, Davis, Putnam, and Matiyasevich over several papers proved that if you could encode a set that grew roughly like O(2^N), you also could encode any other computable set in the parameters. Approximately, demonstrating an exponentially-fast-growing family of parameters for some specific Diophantine problem was enough for Diophantine problems as a whole to be Turing complete. Matiyasevich's clinching discovery was a concrete example using the Fibonacci numbers.
I wish there were even more of this sort of thing, even though I'm an anti-braces zealot - it's crazy to me that, here in 2024, code is still so tightly linked to specific textual representations. Maybe there's an alternate reality where IDEs and development tooling got better and better post-smalltalk/lisp, instead of ... whatever we have now. Maybe we'd have editors and viewers where you could configure the syntax however you wanted. And sure, it would be persisted to disk in some canonical representation, maybe text, maybe a DB ... but you'd never need to worry about it, because all your tooling (VCS, diffs, refactoring tools, etc) would work with the AST, and you'd never need to worry about tabs or spaces ever again.
I’m on my 5th fritzbox and have no problems at all.
So you want to make a transition from being a software dev to being a sales and marketing person?
Interestingly Google went ahead and made their own version of Bolt after it was already open source.

It's called Propeller and it had some purported advantages afaik.

Anyone know if such large scale experiments have been conducted with this for the sake for comparison?
You're answering from the implementation side, while replying to someone asking about the user side.
https://store.steampowered.com/app/797200/International_Spac...

It's only okay
> Neither of those things you listed were mainstream trends

They certainly were sold as trends about to go mainstream.
> with the spinning wheels were especially damning

No it wasn't. Wheels spin through crashes all the time.
SMB + Tailscale and SyncThing for me. Both combos just work, although admittedly SMB over mobile connections _and_ a VPN can be iffy.
Anything which reaches the supreme court is complicated, by definition. On top of that the world changes and the people sitting on the bench change. So yeah, the court changes it's "mind" from time to time.

The idea that they are "clerics" because they make a decision you disagree with is nonsensical.
> This line from the article seems to misrepresent Orwell...He makes it clear in his book that he initially had little understanding of the differences in ideology among the various left-wing groups, and chose to join the anarchists rather arbitrarily.

The one misrepresenting Orwell is yourself, he joined the communist POUM, not the anarchists.
Sometimes on quite short notice too. https://codeofmatt.com/on-the-timing-of-time-zone-changes
> I am not sure why I am continually fascinated by this place.

Nominative determinism?
I don’t know JavaScript so I’m sure to shoot my own foot here, but surely a BigInt who’s value can fit in 64 bits is just a normal 64 bit int (from hardware) with some extra bookkeeping around it on most platforms, right?
> The North Star of this field is to build assistants like Siri or Alexa and get them to actually work — handle complex tasks, accurately interpret users’ requests, and perform reliably.

Controversial opinion there, especially given the hand tuning that those two go through
My NAS is just my old gaming PC - I swapped out the GPU with a more basic one, and I add another hard drive or two every time storage gets low. It works great and costs me very little in both money and time.

I'm currently at 46TB or storage, and I recently threw in a 2.5Gbps NIC when I upgraded the rest of my home network.

(Mine certainly uses more electricity than the one in the article, but I pay $0.07/kwh, and run a few docker images that take advantage of the added performance, so I'm happy with it.)
Previous oldest: Oldest known cave painting found in Indonesia (127 points, 3 years ago, 90 comments) https://news.ycombinator.com/item?id=25788557
I used to do quite a lot of work in a server lab* and I swear, enterprise gear companies compete to see who can make the loudest gear in their customer's racks.

Like, Harpreet in marketing probably walked over to Dan in Thermal Engineering and said, "Listen, Dan. The board said if we don't ship 12% more units this quarter, we can kiss our jobs and the whole company goodbye. Every box that goes out the door next month, I want you to crank those fuckers up to 11. We'll tell customers that the fans are controlled by advanced AI algorithms for peak cooling performance that will make our competitors wet themselves. Most of the inevitable hearing loss lawsuits probably won't crop up until after the acquisition is final and by then we'll have the big-shot lawyers wipe it all away. So are you on board or what?"

* A "lab" is more or less identical to a datacenter, but often smaller and without redundant power and networking.
You're asking the question "who" has to justify the authority.

In the case of governments, it's the population. Not political philosophers.
Great post and write-up - I also made an in-depth explorations and did my best to use visuals - for anyone interested you can find it here: https://photonlines.substack.com/p/intuitive-and-visual-guid...
I use Glacier alongside RAID with 4 drives so that I can recover from any single drive failure (which will happen) just by swapping in a new drive.

Had this setup ~10 years and have had to replace a drive on two occasions but never needed to restore from Glacier.

At this point even if I do need to do a Glacier restore one day it’s still going to work out to be pretty economical.
I almost feel like warlording is learned behavior like how a dog doesn't know to pee with the leg lifted until it sees other dogs doing it. Consider doing something like going to a park. Everyone in that park is on equal plane in terms of using the resources. No one is forming gangs to tax usage of the swing set, people are generally polite with others. However, if you come to a park and the warlording is already present maybe you have no choice but to pay a tax to use the swings or face a club to the head.
You can pump a lot more energy into electronic warfare systems on the ground than in the air. The offensive missiles are also not the latest and greatest
> To the bears literally nothing happened of note.

They ate an exotic meal.
Label Errors in ML Test Sets
Are there any other social or societal initiatives in the US that are better organized/well funded as Christian Fascism?

This is a serious question.
There is 'amanda'. It will split your data up if and you can rotate a bunch of disks.

Used it years ago, we rotated disks every week or something and periodically would take one out of commission and get a new one.

I believe you can mix and match storage mediums - like have your monthly snapshot write to tape.
Aren't profile guided optimizers capable of doing similar optimizations?
lol, i just tried the demo of this, and it just had a two minute monologue with itself without me saying anything:

How is it going? Hey! So have you seen the new wolf movies? I don't think it's one of those movies where they like they kind of like go in and it's just like, oh, here are all the wolves, I don't know, there's like a big bad. There's a big bad. the main character is a wolf, a young wolf in a family. And then at the beginning of the movie, they get attacked by like the big bad wolves. And then I don't know, I don't know how to say it, but the main character gets separated from the rest of his family. So he's all alone and he has to like go through this adventure to find his family. And there's a lot of action and adventure and like you know, there's some like you know, like some uh, well like you know, some uh, like some sort of you know, like uh, you know, like a montage of him like you know, kind of like training in his new environment. And I don't know, like there's some like heartwarming moments and some like you know, some really fun, like action scenes and like some like you know, some funny moments. Um, but yeah, I don't know much about the story to be honest. Um, but I thought it looked really fun. Yeah. I'm just from a movie from the trailer. So from what I can gather, it should be. But you should see it just to see if it's if it's good. Yeah.
On their own yes, but as human-like intelligent agents running within a larger framework it's a different story.
I wrote a tool a few years ago that could convert your Apple Health data export into a SQLite database. I haven't run it in a while though so there's a chance it doesn't work with the latest file format: https://github.com/dogsheep/healthkit-to-sqlite
Weight minimum has nothing to do with teams being poor, it has to do with having a safety minimum.
Paper (4 points, yesterday) https://news.ycombinator.com/item?id=40857984
I have this too!

The TV is used as a monitor, connected via HDMI to my linux computer...
Discussion (16 points, 13 days ago, 9 comments) https://news.ycombinator.com/item?id=40745085
That would cost at least 336 € per month.
On the one hand, a design goal of RISC is to improve the performance of compiled code at the expense of most other things. As such, this sort of hazard should be documented, but the designers should be able to assume that anyone directly writing assembler has read the documentation.

On the other hand, Sophie Wilson wrote an implementation of BBC BASIC for the original ARM (but it didn't have a branch predictor). While that is 32-bit and plays by different rules, I wonder how AArch64 slows down code when the architectural assumptions change.
Well, you're right about that. I suppose I don't see the point in calling what you're describing an ideology. Just call it something else so ideology can mean what it means to everyone else..? I see all your examples as like, social behaviors that happen to presently align with the ideologies. But in the past or future they won't, while the ideologies will persist, cause they live in 'idea space'.

(nor would I call any of those rituals, either, but I guess words don't mean what they normally mean in those fields)
I'm contrasting it to corporations that never do buybacks so the only way you make money off of their stock as an investor is purely through infinite speculation.
The usefulness of job control to me is why I can’t stand to use PowerShell and a few other “modern” fancy shells for command line work.
I use Syncthing to synchronize my smaller datasets between my laptop, my phone, and my NAS. This covers all of my productive and creative scenarios.

On the LAN, I just use SMB. It is adequate for my needs.

For remotely accessing my collection of Linux ISOs, I use Plex.
Ask HN: Would requiring musicians to release only singles improve music quality?
Indie game developers don't release entire collections of games. Why should musicians release collections of songs?
I think I'm asking what constitutes a "justification", not who.

The "population" justified the Iranian Revolution handing authority to the Ayatollah and the IRGC. Is Iran a model of the anarchic state?
Don’t tell this guy about the thing that Ritchie made in 1972.
I have some JPEGs with bit flips. I could tell because they display ugly artifacts at the point of the bit flip. (You can see the kind of artifacts I'm talking about here: https://xn--andreasvlker-cjb.de/2024/02/28/image-formats-bit...)

I'd happened to archive the files to CD-R's incidentally. I was able to compare those archived files to the ones that remained on my file server. There were bit flips randomly in some of the files.

After that happened I started hashing all of my files and comparing hashes when I migrate files during server upgrades. Prior to using ZFS I also periodically verified file hashes with a cheapo Perl script.
Super fun read.
So programs can affect the internal state of the computer, thus resulting in useful work being done which would otherwise not be done in the absence of said program. Which means programs do something, rather than nothing.
In fact, according to the Esolang Wiki [https://esolangs.org/wiki/List_of_ideas#Mathematics] , Gregory Chaitin apparently has built a Diophantine equation whose parameters encode an entire Lisp interpreter.
Very strange. I use Protonmail with Thunderbird on desktop, and the Protonmail app on my phone. I've never once seen any slowdown. That's part of why I switched to it, it was so much faster than my prior mail.

I don't interact with the website, so I can't comment on that.
Discussion (87 points, 11 days ago, 150 comments) https://news.ycombinator.com/item?id=40761505
> you'd see the same thing if paying for your groceries were opt-in.

Groceries are opt-in. Until you realize you don't want to hunt and cook your own food, then you opt back in for survival.

UBlock origin + some subscriptions show I'd definitely would love to opt out of IRL ads.

>Is that also a net bad for the world?

World, yes. We have to tech to end food scarcity, but poor countries struggle while rich countries throw out enough food each day to feed said poor countries.
> I think that getting all of Europe to change time zone offsets by 30 minutes once every 400 years is within our power.

It took about 400 years for all countries to finally go from Julian to Gregorian. :)
Show HN: Piperiv.com – Data Tools for Natural Gas, Oil, and Power
I first learned about them over a decade ago when people started getting chunks of their minecraft worlds printed out in color. The results were quite impressive.

https://www.realtimerendering.com/erich/minecraft/public/min...

PCBway seems to be pushing more 3d printing and CNC services. I wonder if this ate into shapeway's profits?
I wonder whether something like Syncthing would notice a hash difference with data corruption caused by such a memory error? And whether it’d correct it or propagate the issue…
Linux took a while to become supported on specific Dell models, https://www.zdnet.com/article/how-ubuntu-linux-snuck-into-hi...

> Barton recalled O'Grady suggesting it would be great for developers "if you took one of your laptops, put Ubuntu on it, and just got it to work. We said that's an awesome idea, but it'll never happen, because we're talking about Dell. Our laptops need to deliver huge volumes and revenue. When I talked to one of our higher-ups about the volumes that we thought we would sell, he said, 'Yeah, that's what we sell in Belgium on Tuesday, between three and four in the afternoon.' Despite this disheartening evaluation, when Dell started an in-house innovation fund, Barton pitched it again. This time, he was granted $40,000 to pursue the idea.
I have used constraint solvers in the past, and they are truly magical in what they can do. The problem is that there are not many available resources for the novice. Most of the material you can find is how to solve sudoku (the hello world of the space) or highly technical primary research literate meant exclusively for domain experts. Which is a shame, because I think huge swaths of problems could be solved by these tools if they were more accessible. “Accessible” still meaning it requires a programmer, because shaping a problem into the constraints DSL is not going to be in the wheelhouse of most.
The one thing that is constant from the beginning of the book until the end is Orwell's antifascism. He believed it was essential to kill fascists, and that he had a duty to personally kill as many as he could.

At the beginning, he didn't really care whether he killed fascists under an anarchist flag or a socialist flag.

By the end, he was disillusioned with the unwillingness of the free world to support the underequipped antifascist forces. And he discovered to his dismay how Soviet authoritarians undermined the antifascist cause in their own drive to seize power.

It doesn't seem that he ever figured out the best way to fight fascism and authoritarianism and totalitarianism, but it's pretty clear that he still thought it was important to destroy them, and he saw up close how Spanish anarchism by itself wasn't very effective at doing that.
Confirms what I'm hinting at, through tradition a version is consolidated that becomes the consensus and can reach a very long-lived stability.
>If that budget is for an 8-man team, in a sport with a 3 1/2-week season...

The tour de france is 3 1/2 weeks, the cycling season is much longer.
That's interesting, I found out that Youtube history data can be downloaded as well, I think I can also do a data analysis to look at my youtube viewing history and see what interesting things I can find. I wonder if anyone has already done something similar?
Sure, and the ancient Greeks predicted the heat death of the universe. The premise that all matter has an intrinsic type, and that all types tend to either float or sink relative to the others, and that in the long run all matter will be organized into perfect spheres of homogeneous layers, is totally in line with our modern understanding of entropy.

Every old theory was sort of right if you just ignore all the ways it was wrong and interpret it very liberally.
This is one of my favorite aspects. I love learning new things. I love being in a field where there are new things to learn every decade or so.
I think the cry 'down with the hierarchy' is morally correct, and replacing a hierarchy with nothing is foolish. Structure does not need to have any hierarchy. We should think less in terms of pyramids (only a few at the top)... maybe consider the humble circle instead where those insulated from change affect less of it.
Clearway Time: The Next Big Thing in Legal Tech
Lawyers are often criticized for their slow adoption of technology. A company that is leading this change is Clearway, a legal tech startup that’s aiming to redefine how lawyers manage legal consultations.

Clearway Time, an AI SaaS platform designed to streamline client intake and free up lawyers’ time, has already garnered significant attention. Clearway Time is poised to be a game-changer for law firms.
Trying to figure out if that really leaves any room for non-cooperation.

It sounds a lot like "cooperation is voluntary but you will be dismantled if you don't"
Listening is license free but transmitting in the US on any of the interesting bands (ie not just DMR or a walmart walkie where the device is licensed instead of the operator being licensed) requires a license.
Ismail Kadare Obituary
The best thing about this setup is that the freaking Smart TV isn't spying on you and selling your data to advertisers.
Well, the first reason is that most state governments[0] do not have anywhere near enough money in their accounts to get a return that will replace the revenue stream they get today through taxes. You might be able to build it over time by reinvesting budget surpluses.

The other problem I foresee is that the market is fickle. The S&P 500 reached a level in the second half of 2000 that it would not see again for over 14 years[1]. Any investment that needs to generate consistent revenue isn't going to have nearly the growth rate over the long haul that an index fund would provide. That makes the initial investment requirement significantly larger.

But otherwise, I am okay with the government owning a lot of private enterprise via index funds, so long as it has exactly the same voting power that I have. Which is to say, none.

[0] In case anyone needed the clarification, this whole discussion is about state governments; it does not really apply to the federal government for obvious reasons.

[1] Adjusted for inflation. The index did recover to the same number in 2007 just before dropping 50% in 2008.
https://www.bbc.com/news/uk-42749089

Knife crime isn't a joke.
Textualism doesn't mean they say "i don't know, the answer to this very specific question isn't insanely obvious from reading the text".
In poor neighborhoods with a weak state presence gangs do tend to regulate the usage of the commons. In wealthier neighborhood, social norms and police presence prevent that.

Self-regulation is only possible in small communities via social norms, but then you have conflicts if your neighbors instead.

The obvious solution in big societies is enough socialism for everyone to incentivize generally polite society.
She bought Nvidia, we recommended it way before. She sold Tesla when we send the buy signal, it took +35%. AI beats Nancy Pelosi by far.

She knows nothing, the only real effect is when she buys small cap stocks and short term traders hit liquidity and push the price up, you must be first in and sell after.

As for AVGO she just diversified away from
Nvidia but with no long term view, and no balls for short term views, hence the in the money calls and no stocks or out of the money calls.

The conclusion? AI model beats everyone so far, even hedge funds, it’s a matter of time before the community spreads the word, check my profile for more.

www.StocksToBuyNow.ai for more info

https://www.linkedin.com/in/anesshusseinali/
Tesla should have been a Michigan co. 3 ways to foster unicorn startups here
I could have wrote out why they have to do this. There's two reasons I think that are related. One is the readership is primed for such language and headlines. The other is I am guessing a lot of these university PR releases are written by early career people or even undergraduate interns themselves. These people are writers, they want to get a job writing and those employers expect them to talk a certain talk that their readers are primed for. University PR releases are in fact no more flowery than the sort of articles that get posted on /r/futurology for example. Its a good resume piece if your career is taking information and overembellishing and oversimplifying for people without any relevant experience to more easily digest.
Did I come across as offended?

You were using the wrong words, that's it. I think it would be good for you to use the right ones instead, for several reasons, one being that you might not get mistaken for a Ruggiu kind of person.