skysight-inc/HackerNews huggingface dataset:
> Yes, and Forth has been maintaining somehow its ties with aerospace for over 50 years: https://www.forth.com/resources/forth-apps

Somehow all of those projects are… really old? A satellite control UI on top of Windows 7 from 2015 (somehow Chuck Moore's assertion that “If they are starting from the OS they have made the first mistake” did not extend to Windows here). A STM-16 (2 Mbit/sec!) multiplexer, very modern. A power plant control system from 1995. And yes, an aerospace project indeed, also from 1995. Notably none of these are using his CAD software, much less using any of his chips.

> Apparently some people are still interested in it: https://www.mpeforth.com/news-gossip-and-rumour/

I'm sure they are? There are people interested in all sorts of things. (Well, at least some of them were in 2022, which is the last time someone bothered to add a news post.) That doesn't mean it is a useful design paradigm for the world at large. Remember, Chuck Moore's claim is that not following his ways means 10x the bugs, cost, etc. -- I don't really see anything supporting that claim.
I hope you’re right, but there is an entire cottage industry dedicated to propping up Reagan’s legacy.
Can you provide a link to the non-endorsement? I search google/bing/ddg and couldn't find any source for this claim that he didn't endorse her.
I totally agree, but we also can’t pretend that handling cash costs zero dollars.

That’s only really the case for the tiniest businesses with zero employees.

I think the phenomenon of the poor subsidizing the rich is just sort of how all of life works. The more affluent in society always get the better deal on everything.
Yes! Please fail if a feature tells me its on by default but it can't be enabled for whatever reason. Otherwise I need to hope that, among all the output of the configure script, I didn't miss anything about the script choosing to disable a feature.
Another macOS native pie menu is https://www.pie-menu.com
That's a lot of nonsense.

> Germany's failure to manage its national energy needs due to EU "green" policies made it subject to Russian energy dependency.

Germany did not import EU green policies. It was a driver of those.

The offer of cheap energy from Russia combined with the corruption following that, caused German politicians (CDU/SPD) to make a series of mistakes, like expanding energy dependence from Russia without making sure energy needs are covered in times of a crisis (AFD and BSW are making the same mistake, only worse, worshipping the authoritarian & corrupt government of Putin). When Russia was invading the Ukraine, suddenly the Gas storages were not filled anymore - Russia trying to blackmail Germany. Putin influencers like Sarah Wagenknecht denied any Russian plans, just days before the invasion, when already a huge Russian military, ordered by Putin, at the Ukraine border. At the same time the US already warned allies about the Russian plans.

> The US had to literally rescue Germany from itself by blowing up Nordstream

The US did not blow up Nordstream. Actually the US warned their allies of planned attacks. There is zero evidence for US involvement. The Nordstream pipelines were also useless, since they did not transport gas at that time.
A lot of tech layoffs can be attributed to overhiring during the pandemic, the need to rebalance to more AI investments, and the end of low interest rates that encourage growth rather than efficiency.
"developing a similar system"? https://en.wikipedia.org/wiki/Strategic_Defense_Initiative#R... says:

> In 2014, a declassified CIA paper stated that "In response to SDI, Moscow threatened a variety of military countermeasures in lieu of developing a parallel missile defense system".

The Soviets had very capable scientists who could figure out - like Bethe in the US - that SDI was not feasible, and the easy work-around is to launch more missiles, not build their own SDI.

Or for something more scholarly, from "Did Star Wars Help End the Cold War? Soviet Response to the SDI Program" at https://scienceandglobalsecurity.org/archive/sgs25podvig.pdf Science & Global Security, 2017, 25.1: 3-27.

> The evidence on the Soviet response to SDI that emerges from the internal documents largely corroborates the view that the Soviet Union eventually realized that this program did not present a danger to its security because it could be relatively
easily countered with simple and effective countermeasures.
You can finish win 11 setup without internet by pressing shift f10 and entering OOBE\BYPASSNRO, it will reboot, then select continue without internet.
I think it’s not surprising, the wealthy get better access to better everything. They can buy higher quality goods and be more discerning, they get better loan terms. Everything about life is better for those with more money.

This isn’t to say I don’t agree with you.
> I think the same could have been said regardless of which candidate won.

I don't disagree. It's a matter of degrees, though. The post-WWII era was always going to go away when everyone who remembered WWII (or were children of those who fought it) passed away. That's kind of where we are now.
So you'd rather be an unaware NPC than an aware one? Feel like you have "Free Will" even when you don't? Only want the truth when it's pretty and prefer a lie when it's uncomfortable?
For those who have lived and worked in multiple EU countries, the benefits of EU membership are clear, including the relatively simple process of moving between countries.
Can someone explain what kind of fluid this is simulating? Obviously it implements the general Navier-Stokes fluid equations, but if I twirl some ink in a cup of water it looks nothing like this so I'm confused by the naming.

Is it a scale issue? When I look at the sea it doesn't look much like this either, so I don't think so?

Is there a combination of parameters I could set in the simulation such that it looks like what I see when I pour myself a glass of water, or watch waves at the beach?

Or is it because all the real world examples I'm referencing are 3D, and this is 2d?
Lol, no. This sounds crazy. ‘Edits are defensive’? And you’re reloading to watch the same comments? Fixated creepy af.

You could try instead of making excuses, and acting like it's other people's fault: incorrect concept of personal responsibility.

So you know what I'm feeling? No, you have no idea. I have zero insecurity, zero defensiveness about any of this. I take my word for it not yours. You read in your projection of your insecurity and defensiveness to compensate issues. You got some serious emotional boundary issues. Again, you're lost in this imagining trying to make your 'not trying' about other people or excuses. It's not. Just about you.
It's crazy how DIY HRT and puberty blockers are now necessary to prevent trans kids from being mutilated by going through the wound puberty, then having to pay tens of thousands of dollars for reconstructive surgeries to fix maybe a fifth the damage.
> more indicative of the downsides of authoritarianism

Look at the trends and think about what you're saying. What you're calling "authoritarianism" (very vaguely defined) has brought order from chaos. I don't know if there's a single large American city that is now safer than Beijing. Sure, things were different in 1960. "The past is a foreign country: they do things differently there."
https://www.bls.gov/data/inflation_calculator.htm

January 1962 $2 => Nov 2024 $21.03

Using $1.25 in Jan 1963 gives me $12.97 ...

I used $2 in 1962 because in the 2016 Republican primaries one of the candidates made a reference to their job working in a burger store using these numbers.
FDR did Japanese internment, tried court packing, and was arguably the first of the modern style of power-hungry president. He constantly threatened members of Congress that didn’t roll over and go along with his agenda. To that end he was very influential but not entirely in a good way.

He hardly ended the depression, economic conditions were poor until WW2 (eg look at the 1937 downturn, well into his tenure).
Do you run your own email server?
I treat this website as I treat my body
Why does being alive in the 1970s qualify someone to speak intelligently on that subject?
My parents almost lost their house to a 19% mortgage after he was in office.
Hong Kong has plenty of undeveloped land[1]. New development is intentionally restricted by the government, which owns most of the land, with the full support of a large part of the (home owning) middle class.

[1] https://www.quora.com/Why-does-Hong-Kong-have-so-much-undeve...
Here lies one whose name was writ in VRAM
'This is medicine': inside the psilocybin retreat for US first responders
The Tragedy of the Commons is characteristic of Marxist economies, not free markets.
I get a real kick out of the NPR member drives where they read out notes of why people are becoming members. They love to read ones that talk about how unbiased they are.
It’s also possible that there was a duplicate post of OP, which would explain the ambiguity as well. My point was not to exclude any flagged post of OP, or to say that one is more deserving of not being flagged than the other, as I agree with you that the entire OF series that Reuters has been running is worth reading and any or all of them belong on HN, imo. I also have vouched for both posts. Thanks to you and others who have used to moderation functions available to them to help (re)surface these worthwhile posts.
Might be better renamed to "Compare"
that is because in america a large majority of people’s entire identity is tied to one of the two political parties. there are no liberals who believe is small government and state’s rights, no conservatives who believe in woman’s rights or that america would collapse without immigrants… for majority of people every single opinion and thought they have just magically lines up with one political party - maaaagic… hence, saying both parties are the same will effectively offend everyone :)
I agree and I know you're being helpful, but as soon as that's normalized they're going to start locking the ram.
> Before I begin I would like to credit the thousands or millions of unknown artists, coders and writers upon whose work the Large Language Models(LLMs) are trained, often without due credit or compensation

I like this. If we insist on pushing forward with GenAI we should probably at least make some digital or physical monument like "The Tomb of the Unknown Creator".

Cause they sure as sh*t ain't gettin paid. RIP.
I don't think you're going to find much of a guide out there because there isn't really a need for one. You just need a Linux client with the Nvidia drivers installed and some form of CUDA runtime present. You could make that happen in a mini PC, a jailbroken Nintendo Switch, a gaming laptop or a 3600W 4U rackmount. The "happy path" is complicated because you truly have so many functional options.

You don't want an A100 unless you've already got datacenter provisioning at your house and an empty 1U rack. I genuinely cannot stress this enough - these are datacenter cards for a reason. The best bang-for-your buck will be consumer-grade cards like the 3060 and 3090, as well as the bigger devkits like the Jetson Orin.
He had Kennedy trying to steal the convention and Jon Anderson running as an independent. But the hostages sunk his reelection.

To paraphrase Cicero: were it not for the fact he had been president, Carter was the kind of man that everyone would say he would make an excellent president.

RIP Mr Carter
Gore was a bigger warmonger than Bush in the 2000 election. I don't see how we would have had a better outcome with him in power.

https://www.youtube.com/watch?v=P6nW2Uow-zk&pp=ygUeQnVzaCBub...

In case you don't believe that.
The article reads more like pr damage control than an actual complaint. epoll has a reputation as a fragile, hard to correctly use interface. and kqueue as relatively simple and sane. So the question always is. why didn't linux just adopt the already existing kqueue instead?

Sometimes it seems that linux does end up with more than it's fair share of technical excellence coupled to a bad interface. iptables, epoll and git come to mind.
Your understanding is correct, as was/is the understanding of people critical of the feature.

People simply don't want their device's default state to be "silently working against you, unless you are hyperaware of everything that needs to be disabled". Attacks on this desire were felt particularly strongly due to Apple having no legal requirement to implement that functionality.

One also can't make the moral argument that the "bad content" list only included CSAM material, as that list was deliberately made opaque. It was a "just trust me bro" situation.
Agner Fog's manuals are clear on this. Only the last of FMUL's 3 cycles can overlap with another FMUL.

You can immediately overlap with a FADD.
It looks like the compiler would need to determine it can inline E twice before it can perform a constant case fold on the "if h == 1" expression, right? It's 'obvious' if you understand what E does, but that's not a program transform. Unless I'm very mistaken, this is two steps: inline E twice, then constant case fold (or constant "if" fold, if you aren't translating all the "if"s to "case"s).

If E were a different expression, perhaps "E h = let F i = if z == i + h then 7 else 8 in if y then F 1 else F 2", then the inlining choice (made twice, here) would be very poor - F would be inlined four times all up, and since "z" is a free variable here there's no constant case/if to fold, and everything would wind up worse.

The ANF transforms should look something like:

let
a0 = if x then 1 else 2
E h = if h == 1 then 2 else 3
in
E a0

Departing from my previous analysis, I'd say that the next obvious step is the inlining of the now-only-called-once E:

let
a0 = if x then 1 else 2
in
if a0 == 1 then 2 else 3

But (either here or earler) that's not ANF, the "a0 == 1" isn't a simple constant or variable:

let
a0 = if x then 1 else 2
a1 = a0 == 1
in
if a1 then 2 else 3

Let's take the time to rewrite all those conditionals and such as case statements:

let
a0 = case x of { True -> 1; False -> 2 }
a1 = case a0 of { 1 -> True; _ -> False }
in
case a1 of { True -> 2; False -> 3 }

Now we can inline a0 into a1, since it's only called once:

let
a1 = case (case x of { True -> 1; False -> 2 }) of
{ 1 -> True; _ -> False }
in
case a1 of { True -> 2; False -> 3 }

A case-of-case transform applies to a1:

let
a1 = case x of
True -> case 1 of { 1 -> True ; _ -> False }
False -> case 2 of { 1 -> True ; _ -> False }
in
case a1 of { True -> 2; False -> 3 }

Two case of constant transforms on a1 apply:

let
a1 = case x of { True -> True ; False -> False }
in
case a1 of { True -> 2; False -> 3 }

a1 can be inlined and case-of-case once again applied:

case x of
True -> case True of { True -> 2; False -> 3 }
False -> case False of { True -> 2; False -> 3}

Case-of-constant again leaves us with just:

case x of { True -> 2; False -> 3 }

And that's our desired outcome. We took some risks doing case-of-case because of the duplicated outer case, but that can be dealt with using join points for the expressions that get duplicated; a bit more long winded but the same end result here due to the case-of-constant transform eliminating the duplicate immediately each time, followed by an inlining of an expression evaluated only once.
The Hanford site could be solved with a bunch of cement but we promised to restore. Now of course we don't dump waste the same way.
Thanks for the corrections; more info to refine my understanding. In a way it seems you are the book maker and the “exchange” is the platform that lets you do it (matches bettors).
It looks like bluesky only just figured out (in the last couple of weeks, I think?) that even if you authenticate foo.example.com they need to keep foo.bsky.social reserved, because otherwise they immediately get snapped up for impersonation. So, yeah, possible and already happening, but at least they're trying to mitigate the worst case of it.
Btw, for other people reading this, the main player in the "rentable gamer gpu" space is salad.com who 6 months ago cut a deal with civitai (https://blog.salad.com/civitai-salad/). They're trying to capture enterprise customers to use the extra cycles on teenager's gaming rigs.

The industry is full of effectively "imitation companies" right now. For instance, runpod, quickpod, simplepod and clore are the ones cloning us at vast right now.

We see them in our discord, they try to snipe away customers, get in our comment threads on reddit and twitter with self-promotes, clone our features ... this is the ferocious wild west days of this industry. I've even gotten personal emails from a few who I guess scanned their database looking for registration addresses from other companies in the space.

There's even companies like primeintellect which are trying to become the market of markets - but they have their own program - it's clearly a play to snipe other customers by funneling them through some interface where they'll eventually push out the other companies and promote their own instances.

Then there's interesting insider hype players with their own infra like sfcompute who are trying to pretend like they invented interruptible instances and somehow get a bunch of people treating them like they're innovators. The resellable contracts they talk about are a pretty common feature and especially from the host's programmatic command line controller, it's just usually tucked deep in the documentation. They're doing effectively a re-prioritization play.

I guess my angle is "highest integrity possible". It's certainly a gamble - scammy companies sometimes capture a market then become unscammy - I'll hold my tongue but there's plenty of examples.

It's interesting times.
Microcenter's pre built PowerSpec PCs are great. They are all basically OTS components so easy to upgrade, yet get pre built convenience.
That's what we spend the rest of our time playing
It is, but it's not _that_ many. AWS pricing is complicated, but for fairly standard services and assuming bulk discounts at ~100TB level, your break-even points for requests/network vs storage happens at:

1. (modifications) 4200 requests per GB stored per month

2. (bandwidth) Updating each byte more than once every 70 days

You'll hit the break-even sooner, typically, since you incur both bandwidth and request charges.

That might sound like a lot, but updating some byte in each 250KB chunk of your data once a month isn't that hard to imagine. Say each user has 1KB of data, 1% are active each month, and you record login data. You'll have 2.5x the break-even request count and pay 2.5x more for requests than storage, and that's only considering the mutations, not the accesses.

You can reduce request costs (not bandwidth though) if you can batch them, but that's not even slightly tenable till a certain scale because of latency, and even when it is you might find that user satisfaction and retention are more expensive than the extra requests you're trying to avoid. Batching is a tool to reduce costs for offline workloads.
One of these persons came to speak to my class when I was in elementary school. She was an elderly woman by then. She told us about her daily life in one of these concentration camps. I don't remember much. She definitely told us about the wooden buildings, and only being allowed to bring in what possessions they could carry in a suitcase. I think she also said that they recited the Pledge of Allegiance.
That House panel report is a joke. They massively cherry pick evidence to praise everything Trump did and condemn everything Biden did.

For example, they praise Trump's travel restrictions for saving lives. To support this they cite a single study, which didn't even study COVID. It was a study that used computer models of the spread of other diseases to see if travel restrictions are useful. That's an interesting and useful type of study, but it isn't anywhere near conclusive.

Compare to masks, which they conclude are worthless. They acknowledge that the CDC provided them a list of over a dozen studies that were specifically of mask use in regard to COVID, but they completely dismiss all of them because they were observational studies, not randomized controlled trials.

Here's an article that gives more details on the deficiencies of that report, including the deficiencies in its claims about COVID origins [1].

[1] https://arstechnica.com/science/2024/12/congressional-republ...
Here's a recent vulnerability: https://blog.exodusintel.com/2024/03/27/mind-the-patch-gap-e...

It's just your typical multithreading woes (in an unsafe language). One presumes that these problems will be ironed out eventually. Unfortunately it seems as though various hardened distros turn it off for this reason (source was a HN comment I read a while back).
This is absolutely not true for most countries; not everyone can just increase their debt mindlessly like the US does. My country, for example, has a budget and taxes make 90% of it. That means if we get more money through taxes, we can spend more on healthcare, education, infrastructure, etc.

Controlling inflation is also a good thing for most people, as higher prices will impact the consumers and the poorer parts of society. Ensuring abundant supply would be a better way to do it than reducing demand, of course.
That’s Schengen zone, some countries are in Schengen but not in EU.
Sure, except those smaller models are only useful for some novelty and creative tasks. Give them a programming or logic problem and they fall flat on their face.

As I mentioned in a comment upthread, I find ~30B models to be the minimum for getting somewhat reliable output. Though even ~70B models pale in comparison with popular cloud LLMs. Local LLMs just can't compete with the quality of cloud services, so they're not worth using for most professional tasks.
Blaming Kennedy is a take I hadn't heard before. I always gave the folks behind Reagan a lot of credit, as it is a historical fact that they conspired with a foreign power to hold the American hostages until after the election.

> A Four-Decade Secret: One Man’s Story of Sabotaging Carter’s Re-election

> A prominent Texas politician said he unwittingly took part in a 1980 tour of the Middle East with a clandestine agenda.

https://www.nytimes.com/2023/03/18/us/politics/jimmy-carter-...
I'm sorry, are you trolling? You pretend to be Bob to Alice, and Alice to Bob, at the same time. Real Alice and Bob never compute the same transcript digests, but it doesn't matter. As post handshake data is flowing you decrypt it and reencrypt, modifying what you want.

Or, imagine that there isn't even one legitimate Bob in the world. But Alice is still talking to someone who follows the protocol, and is indistinguishable from a real Bob. Is that possible?
https://archive.ph/677UB
Overbuilding is a huge problem: buildings don’t just sit there quietly if they are empty, they rot. I’ve seen plenty of abandoned buildings in China to be against going that route. They will eventually be torn down if unused, which is why Buffalo has a housing crisis right now even if it has half the population it used to have. But that isn’t the problem for Seattle or San Francisco.

There is something to be said for a city with extra housing as well as desirability at the same time, like Berlin a decade or two ago. But that never lasts, and eventually an equilibrium is reached, equilibriums always occur in the long run.