skysight-inc/HackerNews huggingface dataset:
This probably depends on a lot of non-public info: how does the PSP validate CPU state? where does PSP firmware come from? can the PSP distinguish between a CPU state as reported by honest ucode and that state as reported by the CPU running malicious ucode?

I think that, at least on Intel, the “microcode” package includes all kinds of stuff beyond just the actual CPU microcode, and I think it’s all signed together. If AMD is like this, than an unpatched CPU can be made to load all kinds of goodies.

Also, at least in Intel (and I think also on AMD), most of the SPI flash security mechanism is controlled by SMM code. So any ranges that the CPU can write, unless locked by a mechanism outside of the control of whatever this bug compromises, can be written. This seems pretty likely to include the entire SPI chip, which includes parts controlling code that will run early after the next power cycle, which can compromise the system again.
What a teaser article! All this info for setting up the system, but no performance numbers.
It is so easy to assume the worst and corrupt outcome as if it were the most logical one.
GEN3C: 3D-Informed World-Consistent Video
We present GEN3C, a generative video model with precise Camera Control and temporal 3D Consistency. Prior video models already generate realistic videos, but they tend to leverage little 3D information, leading to inconsistencies, such as objects popping in and out of existence. Camera control, if implemented at all, is imprecise, because camera parameters are mere inputs to the neural network which must then infer how the video depends on the camera. In contrast, GEN3C is guided by a 3D cache: point clouds obtained by predicting the pixel-wise depth of seed images or previously generated frames. When generating the next frames, GEN3C is conditioned on the 2D renderings of the 3D cache with the new camera trajectory provided by the user. Crucially, this means that GEN3C neither has to remember what it previously generated nor does it have to infer the image structure from the camera pose. The model, instead, can focus all its generative power on previously unobserved regions, as well as advancing the scene state to the next frame. Our results demonstrate more precise camera control than prior work, as well as state-of-the-art results in sparse-view novel view synthesis, even in challenging settings such as driving scenes and monocular dynamic video. Results are best viewed in videos. Check out our webpage! https://research.nvidia.com/labs/toronto-ai/GEN3C/
I would love it if they made it easy to split 16x PCI-e 5 16x/8x/4x slots into gen3 or gen4 breakouts.

The chips may not have the lanes, but they have the bandwidth if only 10GbE / 4xm.2 / storage controllers could plug in. I wonder if power is an issue.
I think they have stats showing that the most prolific contributors all use the old reddit interface and so they don't yet want to risk their more engaging content.
Seattle has - once again - entered the chat.

Edit: Gary Locke is a former governor of Washington State and a member of of the old guard, a member of the pre-internet Seattle. This is back when South Lake Union (where Amazon is now) was just trees and low rent commercial. It was the site of the local Greyhound bus station.

He was the first Asian American governor in the US. While he's not directly Seattle, it was his primary constituency and he married a prominent Seattle TV news caster and former beauty queen.

Later, he was the first Asian American ambassador to China, appointed by Barack Obama. His political career ran 30 years and I've heard his name mentioned for most of my life. [0]

[0] https://en.wikipedia.org/wiki/Gary_Locke
Ah didn't realise you couldn't dual boot Windows on a Mac, sorry.
I'm gonna guess it started as a fun idea, and the fun continued by solving and implementing fun new features ...

But seems like a huge amount of time sunk into something that I can't imagine anyone would actually use for more than a couple of minutes.
Sad and pathetic if true. How unsustainable is their capital structure, exactly? Worse than I naively suspected, I suppose?
I mostly agree with your take, the linked article itself seems a little missleading, claiming that you could make money by placing losing bets.

As far as if the regular punter is getting screwed, I'm not so sure.
They certainly aren't getting as good of a deal as the professional punters are getting.

However, if the punter feels like they have some special insight into the race and the predictive performance of the horses, then they stand to win much more money by having the professionals put money into the pool.
>> "They created the language after getting tired of the endless dependency chain massive language stacks that are required to make ios apps, electron/web apps"

As a mobile app dev, I definitely understand this pain:

-For developing iOS app: needs XCode and and some simulators which can easily take something like like... 40 GB

-For developing Android apps: after working on some Android projects, your Gradle folder can take at least 15 GB

But what can we do to improve the situation? Many years ago, before Android Studio and Gradle days, Android development was definitely less painful.
It doesn't matter what the content is, if it's too difficult to access I'm not going to see it.
> Let me know when you're on par with Google in terms of revenue or benefits or prestige

Do you really choose your employer based on their revenue? or prestige??
What is the probability of that happening?
I don’t want ANY ads.
DESQview 386, a DOS multitasker, was released a little bit earlier. Probably more useful than Windows at the time given the popularity of DOS applications. I remember some local BBSes running multiple "nodes" in DESQview.
Not so. Hypocritical positions tell you an error exists, but not which of the two contradictory positions is the wrong one.
Prevent further expansion and besides, yes, they are attritioning. Or were before they found new supporter and ally in the form of America.

Like common, Trump is not just stoping to send arms. He is doing everything he can to weaken west and empowers Russia.
> But it's not the case that EU nations and Canada sent their soldiers to die in Iraq

They did, not all of them but many did. On Canada I may be wrong, sure. I believe even Ukraine has KIAs in Iraq.

> France in particular sided with Russia to block the Security Council from authorizing military action, leading to substantial tensions with the US and widespread disapproval from the public on both sides. European demonstrations against the war remain one of the largest mass movements in history.

The Iraq and Afghanistan wars broke the model the US and EU had been trying to push until that moment, alienating the south of the world from it and providing certain countries with a justification for their future actions. France had the right of it in the UN assembly.

People were angry back then for similar reasons they're angry and shocked now, and once again it has to do with expectations.

I also don't believe the Iraq war alone is not really enough to deny the alignment between EU and US foreign policy in the last 30 years or so anyway. You won't have complete agreement with 30 nations involved ever.

> But the North Atlantic Treaty simply does not contain a promise to align foreign policy in this way.

I think this in your original comment highlights your surprise at what those people believe, or at least your not understanding it?
How does this compare to pydantic.ai?
>> that made a plumber in the US make $7k a month while in much of Europe that plumber would only make $3k a month.

I'm not trying to derail the thread, but framing your point as "magnitude of salary" is meaningless and perhaps reflects one of the issues.

It's not the size of the salary that's important- it's the quality of life. Salary is one factor in the equation, but it's not the only factor.

For example, in the US the plumber pays for health care. In Europe he mostly does not.

There are a million things that go into a very subjective quality of live assessment. Salary is part of it, yes, but ultimately only a part.

And, if we're being honest, the US certainly acts the part of leader, it talks a good game, and everyone is happy to take their money. But is anyone actually following their lead?
This isn't about any given party or their actions. It's about a changing world order as well as the emergence of larger economies. In the future money printing will increasingly be met with little more than inflation. To some degree we're already seeing this. The COVID inflation is still nowhere near gone, let alone the dramatic increase it had on CPI.
Very much agreed. I couldn’t even bring myself to use GitHub (much less BeanHub) for my Beancount.

I use git locally because the ledger is extremely sensitive
I also started using uv -- it is fantastic in so many ways, and "uv tool" is certainly one of them.

For this particular use case, you can use `uvx`, which is a shorthand for `uv tool run`, which is a great alternative for installing random python tools in isolation.

Such as this one. Or for example, python-kasa (for controlling TP Kasa plugs) or esphome (the build script)

Prior to doing this, it was either manage virtualenvs (one for each tool), or rely on a mess of Arch packages.
I will miss them too. I saw that Galen is already considering starting his own politics pod, but I fear that by immediately jumping into the Substack black hole it will just end up spiraling into the usual engagement-driven slide to the right: https://www.gdpolitics.com/p/my-thoughts-on-the-end-of-fivet...

Imo part of what made 538 work post-blogosphere heyday was exactly that it had backing from legacy media and the funding to continue sharing information with the public without a paywall. As soon as sites go behind a paywall they become a personification of the "media elite" stereotype, where only rich people have the privilege of being informed. But how otherwise to fund not just a cheerful host but a team of data scientists, editors etc in this day and age? Seems like the only interested billionaires do it with strings attached.
They are massively popular here in Australia, and I've not heard of any issues with quality or safety. They are held to the same standards as everyone else.
Aider is the only python based program I’ve ever used that didn’t make versioning my problem. It runs, it upgrades, it asks nicely to upgrade, it sends me to the release notes.. It’s super smooth. I hadn’t really noticed installation at all, which is probably the nicest compliment you can pay to a python tool.
While there are plenty of opportunities to bring Elon into conversations about Trump, and I have no doubt he's flip flopped on that like everything else he talks about, this act isn't really something he's been involved in. The act was introduced in the Senate prior to Musk teaming up with Trump's campaign 9 months ago, Trump just happened to push the House to also pass it in his address to Congress last night.
Penrose doesn’t think that consciousness is special to humans. He thinks most animals have it and more importantly to your point, he thinks that there is no reason that we won’t someday construct artificial creations that have it.

I just watched an interview where he made that exact statement nearly word for word.

His only argument is that it is not computable, not that it’s not physical. He does think the physical part involves the collapse of the wave function due to gravity, and that somehow the human brain is interacting with that.

So to produce conciseness in his view, you’d need to construct something capable of interacting with the quantum world the same way he believes organic brains do (or something similar to it). A simulation of the human brain wouldn’t do it.
In light of all recent news, this seems stupid, but almost banal in comparison to everything else.
464XLAT isn't really IPv6-only; that's kind of the point. If you have IPv6 without 464 your fake ISP can't access the whole Internet.
Waymo's Expansion: Cars, New Depots, and What's Next
FISA abuse has been broadly reported in recent years.
Well, you'd be glad to know that ASML is majority owned by institutional investors and a large fraction of that are US based.
https://en.wikipedia.org/wiki/Anarchist_communism

Vs

https://en.wikipedia.org/wiki/Anarcho-capitalism

> While the earliest extant attestation of "anarchocapitalism" [sic] is in Karl Hess's essay "The Death of Politics" published by Playboy in March 1969,[8][9] American economist Murray Rothbard was credited with coining the terms anarcho-capitalist[10][11] and anarcho-capitalism in 1971

Left wing anarchism used the name much earlier and arguably was more influential historically even in the US. For example https://en.m.wikipedia.org/wiki/Assassination_of_William_McK... was done by a left wing anarchist.

But arguably in the US it might be used more often to refer to anarcho capitalists these days

I believe there's a similar sort of issue with the term libertarianism that was at least sometimes used to refer to something similar to anarcho Communism
Google Collab now provides native support for Julia
I disagree with the author that this a "brand-new" stereotype. America has always been described as aggressive, militaristic and heavy handed in international affairs, in my anecdotal experience as a European.
Not bad. I write Go on the job, and I will try this technique.
It does solve that problem, but then creates a huge spam problem. Over at gitlab.xfce.org we are constantly fighting new spam accounts that get created daily. We've done all the recommended/paranoid things, like not allowing new accounts to fork or create repos until we manually give them permission (among other things), and we have a script that runs hourly to shut down suspicious accounts. But it's still nuts.

If anyone with an account on any other gitlab instance could automatically do things on our gitlab instance, it would be a nightmare. We'd probably disable federation if gitlab offered it.
I understand all that, I am talking about a separate feature that is possibly backported or from llama.cpp. Where you have a small model that runs first and that is checked by a large model. I've seen 30%+ speedups using like 1.5B in front of a 15B for example.

Two GPUs or more mean you can start to "keep" one or more of the experts hot on a GPU as well.
Is it supposed to be a permanent published document? I couldn't find a delete/unpublish option. I guess retaining the first randomly generated URL can be used to delete the content, but still there is no clear way to delete, unpublish.
Nate: "I wasn’t technically laid off — but my existing contract was set to expire in June 2023, and there was profound mutual disinterest in negotiating a new deal."
Mearsheimer is an idiot. From his talk:

https://www.youtube.com/watch?v=qciVozNtCDM

his 'realism' is based on...

"...Putin rarely lies to foreign audiences”

Which is just plain not true.

https://euideas.eui.eu/2022/07/11/john-mearsheimers-lecture-...
I still suspect the long con is that we'll see peaceful reunification.

The RoC is very import dependent, and we're staring down the barrel of some major swings in world trade. Will they be able to compensate if the US economy slips into a new Great Depression and drags much of the West with it? Will the US be as interested in honouring blank-cheque defence promises when inflation is 16% and unemployment 20%?
When your colpny's line of support is a bubble om your head and a single sensitive means of transport, you don't want people thinking in terms of monetization. We can save taxation for the 24th century if and when we manage to terraform mars and make planatery transport not cost trillions of dollars.

But yes, I agree with you on the backers. That's precisely why I don't think they will be the ones landing Mars.
Is Reddit too difficult to use for you? For me it's an endless feed of almost force-fed content. I'd actually prefer pagination to keep myself from going on for too long.
If I open IQAir, I see dozens of monitoring stations in every country. Even in Myanmar, which is a developing country in the middle of a civil war there are 7 monitoring stations in Yangon.

Considering the US typically has only a handful of embassies and consultants in countries, and they are located in major cities, it comes across as a hyperbole when describing the loss of a few stations as setting back air quality monitoring globally.
Those numbers seem like the average for an auto plant manager. Seems like most of the rank and file make around $11-15,000/yr.
The convention is weird but it's pretty standard in the industry across all models, particularly GGUF. 671B parameters, quantized to 4 bits. The K_M terminology I believe is more specific to GGUF and describes the specific quantization strategy.
I think this is a good place for a public/private partnership.

The govt installs and collects the sensors around the world and makes it available to private companies who contractually provide a suitable and free API.

That sounds like a decent enough division of labor. We can even give a private company a tax credit for providing the API.
It’s a loss of trust. We were in the process of getting better relations with Russia, but then when Putin goes and invades Ukraine you can sort of rationalize it. Communist gonna communist right?

All the actions potato head has taken are a deliberate slap in the face of all their allies. Maybe something we’d expect from potato head, but not from the United States. Even given he was elected we’d expect the rest if your political system to stop a single man from burning down all bridges. Clearly that was an incorrect assumption.
In both the asMap() view unwraps the opinionated Cache facade to the underlying bounded map.

There are a lot of little gotchas so it is best to not believe your own results until proven otherwise. A Rust influencer wrote EVMap, eagerly giving a talk about its performance equaling concurrent maps while being much simpler. However since he generated the random numbers as part of the test loop, he did not realize that it uses a lock to compute the next seed. This throttled the benchmark to make the faster maps slower as they created more contention, fully invalidating and inverting the results. Sadly since this was presented as part of a PhD such truths are of little importance and the false claims continue to be shown. That's just to share how innocent mistakes are the norm, but incentives to not correct them are doubly so, and that you should never trust your own results until you've exhausted all attempts to disprove them as invalid.

Sounds like you have the right perspective and a great attitude. Feel welcome to ping me if you run into any troubles or questions as I collab'd on Guava's cache and wrote Caffeine.
The guy is just walking us through the process of analyzing the dataset. He’s not really making any conclusions at this point - it’s like a technical tutorial for journalists.
> at the end of the day we both just want toast

but the seller doesn't care about that. The seller will attempt to extract the maximum price of a toaster.

It is because americans are more productive, that their maximum price for a toaster is 5x that of china; they can afford to pay 5x. So this is a measure of their utility - not the ability to toast. An american finds that the ability to toast to be worth 5x that a chinese would be willing to pay for toast.

If america was poorer, the seller would not be able to sell the toaster for 5x (and instead would have to lower their price to match the price their customers can afford, up to the minimum margin the seller could afford to cut to).
I’ve had issues with aider versions on nixos. :(

Packaging python on nix is a big pain tho.
> Not exactly hard-hitting journalism.

But nonetheless fascinating. There are must be some really good PhD thesii written (to be written?) about how someone is supposed to handle this sort of data dump with modern tooling. It is a non-trivial general problem; we have a lot of really data floating around in public (Panama papers, relatively transparent government info, dumps of less transparent info at wikileaks.org, OSINT of all shapes and sizes). Even if a body reads the whole thing they need some sort of solid mental schema going in or they'll end up in crank territory.

Although why he thinks old mate would change his position on the Jan 6 riots is a mystery (and why he cares). Taking a stand against riots is one of those easy-win political options that costs nothing and almost everyone agrees with. Riots are fundamentally ineffective; I doubt anyone serious wants to be associated with rioters. I suppose stranger things happen.
> but the "need to create an account" is an extremely valid drawback, and one I do not have a good answer to.

I never find this to be a big deal. The friction to create a new account is usually pretty low. Type in my email address, let Firefox generate and save a secure password, maybe do email verification, and I'm in. If I'm willing to spend possibly hours crafting a patch to contribute to some software I like, followed by some code-review back-and-forth, the few minutes spent setting up an account is nothing.
Like the ebola program they "turned off and then back on again" ?

"I disagree fully, completely, wholly, that they recognized the mistake and put it back," says Dr. Craig Spencer, an emergency physician and professor at Brown University School of Public Health, who has worked on Ebola for more than a decade and responded to Ebola outbreaks in Africa.

Musk says work to stop Ebola was accidentally cut but restored. Experts raise doubts

~ https://www.npr.org/sections/goats-and-soda/2025/02/27/g-s1-...

Within USAID's Global Health Bureau there was a team of people that specialized in high risk outbreaks, like Ebola. "Virtually all of those people have been pushed out of the agency, and they have not been brought back. Only a very small handful — like low single digits — remain from what had been something like a 30 person team,

Many regulars at HN understand how poorly complex systems in the real world respond to hard outages and cold restarts.
Discussion (48 points, 7 hours ago, 32 comments) https://news.ycombinator.com/item?id=43272276

Related A few words about FiveThirtyEight (75 points, 3 hours ago, 44 comments) https://news.ycombinator.com/item?id=43274804
I'll set up a server tonight.
I think aggregators are useful to tell us what actually moved voters in a campaign - the swings are visible even if baseline error is not.
I hope this catches on like Openrct2.
I refuse to use those, because that means now my ability to log into this website is tied to my ability to log into the identity provider's website. I'd rather maintain control over that myself.
Maybe a cost based trigger on the vercel project?
You make a good point about them being underwater and having to function offline.

I could see them having some sort of DRM "license key" that only gives, say, a 90 day window before it has to be renewed for the missiles to function.