skysight-inc/HackerNews huggingface dataset:
Your formulation is not equivalent. The actual Ramsey theory formulation is something more like...you need to color, either red or blue, all of the edges of a fully connected graph of 6 elements (there are 15 such edges). No matter which coloring you choose (there are 2^15 of these), there will always be a "triangle" between three nodes where the entire triangle is either fully red, or fully blue. If you were to instead restrict yourself to a graph with 5 elements instead of 6, it's possible[1] to color the edges so there's no triangle where all the elements are the same.

As an exercise, try repeating your same argument for 5 colors/blocks, and note that it still works, when it shouldn't.

[1] - https://commons.wikimedia.org/wiki/File:RamseyTheory_K5_no_m...
Hey did you want to say relative entropy ~ rate function ~ KL divergence. Might be more familiar to ML enthusiasts here, get them to be curious about Sanov or large deviations.
lol Ready Player One springs to mind immediately.
> I doubt the driver of the Tesla woke up in the morning and decided that today they were going to ram a Waymo.

Of course, not; probably more like, he fantasized about it for months, and it was a new version of some old fantasy he's been carrying carried since adolescence.
If you want to harden the endpoints that's fine. But it's not worth doing that if it means that you now have to trust your endpoints. If the choice is between a zero trust architecture or detection, you should take zero trust every time. That said, you don't need to trust the endpoint to harden it.

Why does my log aggregation and monitoring tool need to be a kernel driver? Why can't I just use Windows Defender and a network scanner for detection, and netboot the endpoints to make bootkits useless? That would provide just as much in the way of detection, and more in the way of protection, and I still don't need to trust my endpoint, nor any third party.

From a security perspective what you're describing is a nice-to-have, and to get it you'd decuple your attack surface by adding a networked, unfirewallable, impossible to remove rootkit-shaped target for every hacker in the world to instantly own your entire network.

Banks and insurance companies already have a lot of endpoints with no kernel level EDR, those are their Android and iOS devices. It works just fine and has for a long time.
Maybe even if you copy and reuse virtually everything the composition can be original if you are not just applying the latest trends blindly because it's shiny and new. I come from IT architecture and for me this is the best transposition of originality for the concept of "there is no silver bullet". Do you think this also counts as originality?
https://www.ryanair.com/robots.txt
> And when you made the envious people outright psychotically homicidal, was that for a bit of levity?

More like realism. Read a history book sometime.

The main difference between your parable and mine is that yours assumes a zero-sum world in which there is a fixed number of apples that are grown and the only question is how to divide them. In reality, that’s not how it works. In reality, wealth can be created. A greedy person is a problem if he takes things away from other people, but if he does productive work that creates more wealth for the world, even we allow him to keep much of that wealth for himself, the rest of us are still better off with him around than without. Conversely, if we destroy him or his ability to create wealth out of a shortsighted envy because we falsely believe in a zero-sum world, we also ultimately impoverish ourselves out of spite.

Even your own parable ends up proving my point. Your parable is essentially the “tragedy of the commons”, and the point of the tragedy of the commons is that when productive assets (like apple trees) are commonly owned, the individual incentives go against the common good and also the stewardship of the asset. Conversely, if the orchard is private property, the owner’s incentives instead favor both of these things. This is why virtually all productive agricultural land is privately owned and worked for profit, and if you look back at those same history books I mentioned earlier, most attempts to abolish private ownership of farmlands—most of which were ideologically motivated by various rationalizations for envy—have resulted in lower food production and often outright famine.
positive press side of updating arms posture in Europe, like the B-52 flight Sunday:

https://www.newsweek.com/american-b52-bombers-historic-nato-...
I was going to say this. I never mess with random libraries like this, always so much pain.
Academia better to learn k8s and one of the k8s-native workflow orchestrators. This is as close to FAANG grade and open source as they can get, and arguably a bit better than this repo
> The announcement of openAI mac desktop app also ranked poorly

People have been making OpenAI interfaces on Mac and cross-platform for years. It wasn't a big announcement (and a good thing either; it's bereft with security issues: https://www.theverge.com/2024/7/3/24191636/openai-chatgpt-ma...).

The AI hype is winding down. Trust in OpenAI is at an all-time low and the appetite to pay for vaporware has dried up.
Sure. But only one of them seems to result in a massively disproportionate level of violence. And not just violence due to a difference of religion, but violence done in the very name of the religion
Yeah, but they were all illiterate and politically powerless, not to mention spiritually oppressed, so what were the actual, tangible options for things they could do with ‘their day’? They didn’t even own their own land.
> The article stated why DEL is where it is (all ones) -- so that for punched paper tape, one could get a punch-out of every position...

I saw an analogous use of backspace on some OS I ran into 30 years ago cruising around either Tymnet or TELENET. (I wish I could remember the OS...)

The password prompt assumed local echo. After entering a password the host would send a series of backspaces and various patterns of characters (####, **, etc) to overprint the locally-echoed (and printed) characters.
All of these concerns are also well levied against private enterprise, which americans are loathe to actually regulate. If you want any hope of government services undercutting private enterprise (as you should) this attitude will just hamstring the effort.
I can sort of see that. The way I saw it explained as them being much lower clock and having a pretty small shared cache. I could see E cores as being great for running background processes and stuff. All the benchmarks seem to show the AMDs with 2/3rd the cores being around the same performance and with similar power draw. I'm not putting them down. I'm just saying it seems gimmicky to say "look at our 20 core!" with the implicit idea that people will compare that with an AMD 12 core seeing 20>12, but not seeing the other factors like cost and benchmarks.
The name is so close to being truly perfect, but I guess being just a little bit off is a perk here?
https://slatestarcodex.com/2017/05/26/the-atomic-bomb-consid...
> Also it's less likely to legitimately occur in something like a name, so there are many users of CSVs who can say they will never need to consider data containing a record separator, and they will be right more often than those who never consider data containing a comma.

No, they'll be right exactly as often, 0% of the time.

But their mistake will show up less frequently, causing more problems when it does.

As soon as it's possible for some of your data to come from someone else's dataset, you're guaranteed to have to accommodate record separators within your data as well as within the metadata. You're better off using a system that plans for this inevitability than one that pretends it can't happen at all.
But I don't (actively) use my code for AI.

If someone finds my Copilot-assisted code on GitHub and uses it for AI, I think it's more his problem, not mine?
I'm also very happy with my 5800X3D, it was wonderful value back when AM5 had just released and DDR5/Motherboards still cost an arm and a leg.

The energy efficiency is much appreciated in the UK with our absurd price of electricity.
systemd-boot has relatively recently added support for loading filesystems, https://github.com/systemd/systemd/blob/71e5a35a5be99a1f244d... meaning you should be able to set up something similar. I wouldn't describe it as "easy" yet.
This is Hackernews. Do things because you enjoy them? How can you enjoy life if you don't measure, optimize, and min-max every little thing, and write a little Rust program to track all the data you can post to Show HN? All food is fuel, nothing more, don't treat it as some experience to be savored.
>Perhaps openai.com has been added to a blocklist on HN?

Really now? That's your primary suspicion here?

For comparison, one of Mistral's new models (mathstral) didn't make much of a splash either, despite being genuinely innovative rather than just a more optimized version of an existing model.

Posing it back to you -- why do you think the 4o-mini was worth the front page, considering that a lot of the target audience for it would probably be just waiting for llama3-405b, or worse, is a bit jaded now?
iii. Limits on use of data from the AI Services. You may not use the AI services, or data from the AI services, to create, train, or improve (directly or indirectly) any other AI service.

That has nothing to do with your code that you got help from copilot with. Are you referring to a different section? I didn’t see one that says anything like what you claim.
Yes. Most professional photo editing and management software has built-in functionality or an add-on for lens distortion correction. However it either requires having the original photo, or at least a non-cropped version with the exif data, or some knowledge of what body and lens and focal length was used.

This utility doesn't require the original non-cropped area nor any other information about the picture that was taken. You could scrape a bunch of pictures from Instagram or Facebook and batch process away.
> and they love to issue rulings against politically unpopular people, even if the ruling is clearly wrong

Please give an example.
Why even publish a comparison? Raptor Lake processors aren't a functioning product to benchmark against.
If you buy caffeine pills as a stimulant, you are no better than those "addicts" at Starbucks at the airport.

I like coffee because it's a warm beverage, it tastes nice and of course there is the added benefit of the caffeine in the morning. That's about it.

There's no way I would be getting close to 400mg of caffeine and doing so by pills is something I marvel at.

I would say the majority of people drinking a normal cup of coffee (standard latte) a couple of times a day aren't getting anywhere near 400mg of caffeine. One shot of espresso is lucky to have 80mg of caffeine in it.
I did some ETL work that used the ASCII delimiter characters. It was very enjoyable. I didn't have to worry about escaping or parsing escaped strings. The control codes were guaranteed to be illegal in input. It was refreshing.
If we're lucky, that kind of thing will be by e-mail, and thus easier to filter.

But yeah, I can totally imagine Microsoft abusing the OS to push any dang crap these days. ("Hi! It looks like you're using online editors! Those aren't the premium experience you deserve as a Microsoft customer! Instead try Office Live 365 Cloud Suite today!")
North Korean employer and employee hacking campaign
Yes, definitely. So the “daily latte and beach vacation” is actually more like “a new car every 2 years”.
It's cute, but personally I'd have gone for WiiChain or Nintendo Wee.
> it will hit a nuclear waste repository - and render mankind extinct.

People far overestimate the destructive power of nuclear weapons and nuclear fallout. This fear of them is of course greatly encouraged by states that hold nuclear weapons, but they're far from humanity's most destructive tendencies.
Is their natural estrogen production not already suppressed from menopause?
I don't know if I buy that an AI wouldn't have been able to come up with touchscreen. It knows people touch screens with pens, and it knows people point and touch things that aren't screens. It could put those ideas together, that's how people came up with
Why can't we just respect the Benthic Treaty and leave stuff like this to the Deep Ones?
Another place where visual diffs would be indispensable is file-system organization. Each node in a file tree contains another graphable data structure: permissions! Especially on network shares where user groups are more common.

As long as there's some structured record of changes made to permissions and structure, those can be visualized.
How do compressive loading signals compensate for cortisol production? Seems like one is a nerve signal and the other is a hormone?
This quote like many others are funny because people pretend that they can exactly remember things said decades earlier. Andy Hertzfeld later updated this entry on his website:

"....Here is Mike Boich's recollection of the 'Xerox' story, which goes a little differently, and is likely to be more faithful than mine: The meeting was one of the quarterly meetings, where Steve, Mike Murray, Belleville, you and I all got together with the Microsoft crew, which at was usually Bill, Jeff Harbers, Jon Shirley, and sometimes Neil and/or Charles Simonyi. I don't recall whether Windows had been announced, or we were just concerned about it, but Steve was trying to convince Bill that having a "Chinese wall between the Windows implementers and the Mac implementors wasn't sufficient for us to work well together. He was trying to get them to forget about the OS business, since the applications business would be much bigger total dollars. He said, "It's not that I don't trust you, but my team doesn't trust you. It's kind of like if your brother was beating up on my brother, people wouldn't say it was just your brother against my brother, they would say the Gates are fighting with the Jobs." Bill responded that "No Steve, I think it's more like we both had this rich neighbor named Xerox, and you went in to steal the TV, and found that somebody else had stolen it. So you say, "hey, that's not fair. I wanted to steal the TV"."

https://folklore.org/A_Rich_Neighbor_Named_Xerox.html
Please check this out

http://www.codersnotes.com/notes/a-constructive-look-at-temp...

Jump to the section titled "HyperText" (DolDoc)
All the links for that are here - https://neuml.com
Google scraps plan to remove cookies from Chrome
Water is the original coolant. Abundant, decent performance, cheap, non-toxic.
because in the scheme described the effective tax on your income is positive (the more you earn, the more is transferred away) as opposed to negative (the more you earn the more is transferred to you).
It was def the dreamcast - the first model didn't require any hardware, just a burned CD-ROM. It's demise and Segas departure from consoles is blamed on the amount of piracy. A real shame, because it had some great games
A big part of "technical competency" is using the right tool for the job.
And to expand on myself. "Experience" means something very specific for humans. It means you have done something for a long time, and you have failed at it. And you have learned from experience. By definition, LLMs don't have any experience at all. They are trained and become a fresh "brain", and then they make the same mistakes, over and over and over, until they either get a new prompt that might correct themselves or are trained from scratch all over again.
It's still opening up a whole political mess. Which dependencies need/deserve it the most? With the backlash on this post, I cannot imagine an actual list with actual dollar amounts. No matter the list, there will be an army of upset folks, this time with actual dollar amounts to complain.

Like others said, they're hobbyists providing a service in spare time. Asking them to be money managers is not a trivial ask.

May I ask which open source projects you maintain?
The book might disappoint some..

>I have largely avoided the second law of thermodynamics ... Thus, the aspects of entropy most beloved by physics popularizers will not be found here.

But personally, this bit is the most exciting to me.

>I have tried to say as little as possible about quantum mechanics, to keep the physics prerequisites low. However, Planck’s constant shows up in the formulas for the entropy of the three classical systems mentioned above. The reason for this is fascinating: Planck’s constant provides a unit of volume in position-momentum space, which is necessary to define the entropy of these systems. Thus, we need a tiny bit of quantum mechanics to get a good approximate formula for the entropy of hydrogen, even if we are trying our best to treat this gas classically.
Yet another solution that is wholly unnecessary in NixOS. Nice idea, though, since you can too easily screw up every other Linux.
> So you could use the same passphrase to log into all the different chains (including ones you never heard of) and you would already have an account there.

The UX on this has improved significantly in just the last year or so. We have wallets, like Rabby, which interact seamlessly across multiple (many!) chains and can even switch within the same dapp on a per transaction basis. It just works.
They delved too greedily and too deep.
I thought this describes many gamblers: remember the wins, quickly forget the losers, be it pull tabs, blackjack, slots, etc.
I am curious about this as well.

The way it's phrased it makes me understand a bit that it could be used within FFI, like if you get a pointer from a extern function that returns a *mut T, I could have better semantics by wrapping it with Pin<&mut T>, but then it says

"Another fact about the pinned typestate is that for most types it is completely irrelevant. If the value of type can never contain any self-references, pinning it is useless"

Mind you I'm very new at FFI but I'd like to understand what are the best ways to wrap them into safe Rust.
I would be remiss not to post a link to the late Bob Bemer's[0] website.

https://web.archive.org/web/20150801005415/http://bobbemer.c...

He was considered the "father of ASCII". Hr wrote very well and gives clear explanations for the motivations behind the design of ASCII.

[0] https://en.m.wikipedia.org/wiki/Bob_Bemer
While it's not quite average-user-friendly (YET), one of the reasons I switched to NixOS is because it provides this out-of-the-box. I was frustrated with every other Linux for the reasons you cite, but NixOS I can deal with, since 1) screwing up the integrity of a system install is hard to begin with, 2) if you DO manage to do it, you can reboot into any of N previous system updates (where you set N).

Linux is simultaneously the most configurable and the most brittle OS IMHO. NixOS takes away all the brittleness and leaves all the configurability, with the caveat that you have to declaratively configure it using the Nix DSL.
> Ronald Reagan (Justice Anthony Kennedy)

> George H. W. Bush (Justice Clarence Thomas)

> Bill Clinton (Justice Ruth Bader Ginsburg)

What's up with repeating the word "Justice" so much? Shouldn't you be writing "President of the United States Ronald Reagan, Leader of the Free World (Justice Anthony Kennedy)", etc?
They might be talking about using escape sequences to map additional codepoints into ASCII. It was designed to be extensible. See: https://web.archive.org/web/20150810075144/http://bobbemer.c...
At least they should be in the right financial ballpark then. The cost of raising a kid is on the same order of magnitude as buying a new house.
Baez has a video (accompanying, imho), with slides

https://m.youtube.com/watch?v=5phJVSWdWg4&t=17m

He illustrates the derivation of Shannon entropy with pictures of trees
I'm surprised that a browser extension is able to change your saved preferences at all.
I don't know what the state of the art is, but in the 2010s there was a huge mess where a 'biographical evaluation' test was required of ATC applicants, with the timing such that you took it after the FAA prep courses. The evaluation was thinly veiled racism, utterly uncorrelated with ATC performance, and one of the big outcomes was that anyone taking the prep courses was very likely to get weeded out by the biographical evaluation and thus suffer a total loss of his time and financial investment in the course.

So ,that was another problem they were causing themselves in manning.

Edited to add documentation: https://kaisoapbox.github.io/projects/faa_biographical_asses...
In the DOS days, you could "type" control characters by pressing Ctrl and the corresponding letter key, Ctrl+M is Carriage Return, Ctrl+H is Backspace, Ctrl+Z is End Of File, etc.

It was probably possible to type an RS with Ctrl+Shift+. and the others with similar combos.
Fun to read HN post from that time:

https://news.ycombinator.com/item?id=1282791
And of course it's circular:

The US doesn't do things like well because Americans don't trust their institutions and think governments are inherently corrupt and ineffective, so they think might as well join in (and then perpetuate that corruption/ineffectiveness).
Not going to lie, you sound like you've never made any mistakes ever. The problematic culture is on both sides. Anyone who works in infrastructure, SCCM packaging, or data centers knows you roll out updates to a isolated set of machines to test it first. Trust no one. If they really relied on them that much, they should have penalties in their contracts. If not, that would be an example of not being minimally competent - any enterprise sourcing team would look into this.
The build nothing movement wins another battle.

I can see this leading to fait accompli style development. Keep everything secret, then build at a breakneck pace. By the time opposition coalesces, the project is done.
I believe the current generation of 4k Hisense TV's are now smart tvs - my old hisense (still worked fine, but I wanted a bigger screen) was dumb, the replacement available was a smart.

Not the end of the world - it's still running off an HDMI input from a PC, so the smarts are there, but not doing any damage.
The way to get to A is through people working. We didn’t get from where we were 100 years ago to now because society as a whole was fine with working the minimum amount needed to sustain life.
I used to be the absolute BEST at scratch lottery tickets. OTOH, "every ticket a winner" used to be a thing, and I had free access to an MRI machine at the time.

Sometimes, you make your own luck...
Sandboxed kernel mode WebAssembly runtime (2020)
Mystery oxygen source discovered on the sea floor – bewildering scientists