skysight-inc/HackerNews huggingface dataset:
Trump has stated that immigrants are eating dogs in Springfield, too. Maybe take what he says with a grain of salt.

More plausibly, USAID was a focus over the SEC because it had 20x the budget of the SEC and $16b of that goes to Ukraine.
You made me feel old ;)
My (unsupported) desktop PC is an AMD Ryzen 7 2700 eight-core CPU running at 3.2Ghz with 16GB of RAM and 2TB of SSD storage. It handles Windows 10 Professional but is apparently incapable of running Windows 11. I don't have a Webcam, but maybe face ID login is now mandated? It will be something stupid like that. I have no interest in replacing this machine though.
Are the last percents harder to complete ? (law of diminishing returns)
Great guide. Figure 6.1, 6.2 and 6.3 are missing commit “6”.
For some reason I thought the Eurythmics single "Missionary Man" which came about at the same time was the film tie in.

https://en.wikipedia.org/wiki/Missionary_Man_(song)
Totally, all those Twitter people that never saw it...
I deleted my Paypal account after receiving one of these. The convenience was no longer worth the risk for me.
Can you hear modulated EM radiation with good ears?
Executive branch has leeway to decide on what to fund within the parameters set for the program by Congress. It can evaluate grants and set processes but not completely change the acceptance criteria or scope, which is under the jurisdiction of Congress - USAID is jointly under the purview of the executive and legislative branches. This isn't a "team" thing - Congress sets the scope of what USAID should be doing, and anyone changing that - or dismantling the program altogether - without their authority is overreaching

And again, my main issue here is that under any reasonably interpretation, Musk would qualify as a Principal officer, which as the Appointments clause of the Constitution clearly lays out requires Senate approval. It is beyond ridiculous that the head of a new "Department" who seems to have unilateral power over other departments now, is not subject to any kind of oversight or accountability to other branches of government - this is exactly the kind of shit the checks and balances were designed for
The amount of effort apparently required to satisfy all the checkboxes around "a cheap PC and Microsoft 365" is astounding. My Fortune 250 laptop runs 3 different security "endpoint" products, and literally dozens of scripts fire each day/hour to make sure that things are "correct" according to every suggestion any consultant ever made towards our senior IT staff. And they replace the entire fleet every 3 years. I believe that starting with longer lived hardware with an inherently more secure environment that didn't need to be groomed like this would be a net savings, but I don't have the numbers to prove it.
> the lack of obvious signal in we actually recorded

This is something I’m curious about - I’m led to understand that modern digital signaling is almost impossible to tell from noise, unless you know what you’re looking for (encryption and compression both conspire against obvious structure), is that not the case? Would it be obvious from a signal construction level that we were looking at, well, signal, and not noise?
Ubuntu has still the best driver support IMO (printer, fingerprint, etc). And so I only have to replace all snaps with flatpaks which works fine since 2 years.
That's not something they care about, as if they did, they would have already opened it.
I begrudgingly have had to enter the world of Spring Boot over the last couple years, and this drives me nuts. Every damn thing needs getters and setters so that the ten thousand magic Spring annotations can mutate things all over the place. If the business logic is complex, I try to make immutable domain models separate from the models that have to interact with Spring, but that can require a lot of boilerplate.
Thanks, didn't know, never really used these voice assistants.

It's a weird choice, I suppose the endless handcrafted rules and tools don't scale across languages and usecases but then LLM are not good at reliability. And what's the point of using assistant that will not do the task reliably, if you have to double-check you are better of not using it...
Wow, talk about an amazing deal if you already happened to be planning on leaving...

I'm guessing the vast majority who take the deal were already planning to leave? So we're wasting tax payer money giving them 8 months severance when it could have been 0.
Are there browsers that use servo; or plans to build one? If not, who is actually using servo and what for?
Rooster Teeth (of "Red vs Blue" and "RWBY" fame) did the "indie filmmaker on youtube" thing pretty successfully. Eventually they moved to their own site, then fell apart after a lot of drama and internal differences.

Also vaguely guestures at all of youtube. Most youtube creators are independent, and a lot of them have higher production value than indie movies. You just don't recognize them because of how the algorithm and monetization favor regular installments of ~10 minute episodes, causing most content to take that form. A documentary simply works better on youtube as a Tom Scott video than as a 45 minute piece (though there are plenty of those too)
Related:

“Will Employees Who Resign Have a Remedy?”

https://news.ycombinator.com/item?id=42950301
I’ve been very happy with the Fedora Atomic spins overall. Bazzite is a great starting point if you also care about gaming.
Who cares. C powers up OpenBSD, GNU/Linux, your $favourite programming languages, and even 9front under a C dialect.

Oh, CVE's under the Rust runtime are still happening. Is not a magical wand, you know.
Indeed, the security shenanigans around XP are what convinced me to finally move over.

“Better formatting” is not nearly enough to stay in an abusive relationship.
https://en.wikipedia.org/wiki/Self-coup

Trump is essentially ruling by decree and taking actions far outside his authority. If successful, this will de facto strip Congress of much of its power and transfer it to the President. If you want to see what the outcome of that looks like, read about events in Germany in January-March 1933.
Got it. Thanks! I’ll try to keep that in mind going forward.
Risk management is a fact of all activities. It's not predicting that some thing is going to happen, but it's evaluating that if we can afford the consequences if it really happens. If we can, let's go ahead with the easy choice. If we cannot, let's make sure that it won't affect us as much.

> Smart, experienced people got us into the current microservice, frontend JS, "serverless" cloud messes.

Those are solutions to real problems. The real issue is the cargo cult, aka "Google is doing it, let's do it too". If you don't have the problem, don't adopt the solution (which always bring its own issues). It's always a balancing act as there is no silver bullet.
It's interesting that annual attrition rate is 6% according to the article. I hadn't considered that before. The buyouts could end up costing more than they save if the only people who take it were the ones already planning on leaving.

But maybe the argument is if enough people take it before the March budget deadline, then each departments budget can be proportionately reduced in the next cycle.

Does anyone know the math and politics on this? Why didn't DOGE just put hiring freezes in place and wait for people to leave? Honest question. I'm not looking to bait anyone into mud slinging about Trump and Elon.
Since the turover rate per year is 6%, implemented hiring freeze would yield theese results.
Whats interesting about this case is the answer this year is both different than years prior and a reason why the great firewall cannot exist (knowledge wise).

And the answer is, download an open source llm model.

It will have most answers to nearly any question you want to ask.

Also its the reason why the US cant implement a great firewall that impacts knowledge sharing, because to do so effectively would mean preventing the download of these models and hamper the US in the ongoing AI race.
> I don't agree with everything the president is doing, but the rail we are going down is just doomed. What is your proposition to stop interest from eating 100% of the federal budget. We just paid 1T of interest, do you think that is going to decelerate?

So, for you, an acceptable solution to "the budget is too big," is "let's rip up the Constitution?"

If Trump wants to veto budget bills and demand certain cuts in exchange of passage, that's fine, totally within his power, and would probably work.
This TikTok video seems to be one of the triggers for the ''panic'' and ''freakout'' I've been hearing about:

https://www.tiktok.com/@kochead/video/7466562804363939114
I like how you analyzed that, one addition: I also think some form of the anthropic principle is at play.

The societies that exist have something that allows them to continue to exist. Free speech can allow a society to seek truth and being aligned with reality can be important in the survival of a society. But so can cohesion while being "wrong".

There's a lot of information floating around and there's a lot of play between truth seeking free speech and cohesion signaling going on. Esp. as noise has been added to all signals including the scientific channels both via corporations and via well meaning ideologues.

I'm sure this is naive but I assume most of us would just love to be able to filter the signal from the noise in places that are relevant to us and be able to ensure low malfeasance in the places that aren't.
Yeah, bird flu is really bad.
A warning about the "starve the beast" philosophy: the beast will be very hungry when it breaks free.
Google Gemini MX 2026
Somewhat agree and disagree. I bucket people's style into two camps, stressing over the former is largely unproductive, but stressing over the latter is crucial to writing high-quality, maintainable software.

Someone's style can be "different" without being "bad", and you have two basic options to deal with it. One is to authoritatively remove the soul via process (auto-formatters, code review, and to a lesser degree linters, etc. are all designed to create uniformity at the cost of individuality.) The other is to suck it up and deal with it, as this is just an inevitability of creating a team size larger than one: people have different tastes and those have to be reconciled. I somewhat prefer allowing for individuality, and individuals should endeavor to match the style of whatever module they're working in, out of courtesy to its owners/stakeholders if nothing else. However I have only worked independently or on small teams. Most large teams (/ open source projects) have gone the former route of automating all the fun/craftsmanship out of their systems, and even I think that makes sense at a certain scale.

Someone's style can just be objectively "bad", however, and I usually find it's evidence they just don't care about the source artifact that much, and they're focused on the results. (It can also be a sign of an under-performer that spends so much mental capacity just getting the code to work that they have no spare cycles to spend thinking about matters of taste.) If it compiles / works / passes the test-suite that's "good enough" and "their job is done" and they move on to the next task. These people tend to be hyper-literal thinkers that are very micro-task oriented: they see implementing a new feature as a checklist to be conquered, rather than being systems-level thinkers on a journey of discovery & understanding.

If the author is talking about the latter, I have to agree with you that the latter are quite difficult for me to work with; particularly since I know that the source has to be maintained & supported over a much larger time-scale. The source-code is like your house, you live in it, being comfortable to work with/in/on it is the key to success. The deployed artifact may live for only a few weeks, days, or even hours before it gets replaced. The source has evolved over decades. You (the organization) are practically married to it. To further the analogy: I don't mind if somebody wants to hang posters in their room for a band I don't like. (Hell I can even handle if a group of those posters are tastefully hung out-of-level to make some kind of statement.) I do mind if their furniture is blocking a vent, the outlet covers are hanging off, there's a hole in one of the walls, a light has been burnt out for months, and the window-blinds over there are clearly broken but they insist it's fine because daylight still gets through.
a16z doesn't represent Silicon Valley.
I'm not trying to win an argument, but it looks you cynically do not get something.

The damage is done already. It's not because of the Republicans or the dummies they chose to follow that we would decouple, or because of the Democrats that we wouldn't. It's because of the whole, unpredictable thing that it's become.

Politically, business-wise, trade-wise, the trust is shattered. How could it be otherwise, if a handful of men have the power to disrupt so much the news, the administration, the businesses? How couldn't we expect much worse in the future?

There be a 180 or not, _the damage is done_. To reinstate trust will take decades. The best we can do now, it to handle you as an unreliable, dangerous hegemon, indeed. Was that what you wanted? You're losing at this game, because you might be big and strong, you're not the only boy in town.

So, second, yes, not a surprise. But you would be aware that climate change is already shuffling the cards there for everyone, deep and strong. Whatever happens, the "American Empire" will have a hard time maintaining its might and reach in the coming 20/30 years without cooperation, because the resources each zone will need to devote to its own survival and order will massively surpass those required to maintain abroad influence.

Why claim to take over Groenland, Panama and Canada, if not to tighten control over water trade routes? That at least, is rational in some way, and also revealing.

It's not certain how federations and markets will organise themselves in those conditions. What is obvious is that Europe, among others, needs to decouple quite a bit from the USA, while keeping ties in the hope they come back to their senses. IT is the easy part, however hard it's going to be. The USA give us really no choice there.

Oh, by the way, look at the sales and prospects for Tesla in Europe.
content is by far the biggest cost for running your own streaming service
No, but it was done under pressure of Americans buying Walmart over local mom and pop.

I cannot take anyone seriously who thinks people care about "Made in USA" more than $10 sweatshirts and $50 dinnerware sets.
> Gradual, dependently typed languages are the future

What's that?

Idris is dependently typed.

> Gradual typing is a type system that lies inbetween static typing and in dynamic typing. Some variables and expressions may be given types and the correctness of the typing is checked at compile time and some expressions may be left untyped and eventual type errors are reported at runtime.

That sounds miserable. I can't see how one would guarantee anything when types of other things aren't known. And I can't see how to connect that to dependent types either.
Primetime was very different than late night
I found kde-neon to be more stable than Kubuntu, and it has a weird mix of rolling release and LTS. That is, it stays on LTS (22.04 currently) but regularly releases updates to the window manager.

They're Ubuntu based, but it's easy to remove snaps from their ecosystem and just use debs, flatpak, and AppImages.
Glad it worked! Best guess is it may have been a CORS issue.
They're not even including all of Europe. They're basically writing off everything east of the Oder.
Now that doesnt mean they can impact social media networks.

But you can't download those for offline use anyway so it's a bit moot.
> To be clear, that's predicated on assumption things are fundamentally different here and now from Germany in the 1930s.

It's hard to take stuff like this seriously. Even if you're worried about fascism specifically, why Germany in the 1930s and not Italy in the 1920s? The latter seems more relevant to the present moment. I think the reason is that the German Nazis are the bad guys of history and these kinds of comparisons have less to do with historical parallels but more with Godwin's Law.
I think that is how human brains work. When we practice, at first we have to be deliberate (thinking slow). Then we “learn” from our own experience and it becomes muscle memory (thinking fast). Of course, it increases the odds we are wrong.
I think the main issue for anyone wanting to take the offer is simply: this was never authorized by congress, so the money to pay people to September is questionable if it exists at best. Meanwhile, there's a government funding deadline on March 14, 2025. So there's a very real chance at this deal offering something closer to ~1 month of pay before it suddenly gets dropped due to budget negotiations.

It would be an incredibly generous and nice buyout package, but obviously if it gets torn up after a month it's not that great of a deal.
> How do they finance it?

The same way most people do, with a mortgage. The difference is what a bank is willing to lend you if they see you have a significantly higher than average income.

It's also possible he wasn't just talking about the purchase payment. Large, old, valuable buildings also often require very large upkeep bills.
Your entire argument can be boiled down to:

> If it's DEI, it's bad so any good approach is, by definition, not part of DEI.

The FAA scandal, among other things I've seen, like Matt Walsh's "Am I Racist?" show there's plenty of DEI initiatives that are simply bad, stupid and lazy. As you've seen elsewhere in this topic, I've also highlighted DEI hiring policies that have thought behind them and attempt to improve diversity without engaging in discrimination.

Bitching about DEI only panders to such divisiveness and does not solve any of the problems with the bad initiatives. Neither does ignoring the problems, or calling genuine criticism "racist." Both lead us to the place we're at today where Trump blames people with "severe mental and psychological issues" for a plane crash.
Doesn’t that just introduce a silent breaking change to your downstream consumers? That sounds worse.

It sounds ok from a library authors perspective but definitely not from a library consumer perspective.

A sane thing to do would be to do a version bump.
Except for printer driver support in my case. I wasn't able to get an Epson ET working like on Ubuntu (wifi, scanner) where under Ubuntu it works without any configuration.
I would not leave. Getting into the federal system was hard before, it's going to be near impossible now. For people who are not AI experts, engineers, doctors, etc. the federal government offers pay and benefits unparalleled to anything those same people would find in the private sector. Not to mention the job protections that really don't exist in any other private sector American company.
Bit of an understatement. SpiderMonkey was the first JavaScript engine (out of all of them), born in 1996, made by refactoring the scraps of Mocha that was the initial prototype made by Eich.
Just do what I did, and the professionals do.

Instead of buying a filament dryer and having to dry it one of two at a time right before you use it- get a dry box or two. Store all you filament in a nice, dry, state. Ready to go at a moments notice. They're not as expensive as you'd expect.
Google Frontpage?
> The trouble with functional programming is functional programmers

This hilariously works for a lot of things. Biggest trouble with legalization of drugs is the drug use of the ones that love to talk about why it should be legal. Biggest trouble of prohibition policies are the people that love going on about why they are better for not drinking.

I assert that this is, essentially, "The trouble with THING is the group of people that think THING is a panacea at what it does."
A little Kagi nitpick (off-topic): I contributed a few translations when Kagi was in beta. Then, Kagi introduced a subscription which was too pricey for my budget, so I stopped using it. Nevertheless, Kagi has kept emailing me to contribute even more free translations.

Kagi team, folks say you have a great product, but if you don't pay attention to small issues like this one, you are bound to lose some of your goodwill.
What i never understood:

Why not use some kind of interlacing and randomly sort the lines. The result is a valid video file which could be uploaded to YouTube. Then deinterlace with a browser plugin and the random pattern used to scramble the lines. Same can be applied to the audio.
> OH, trust me - corporate environments are not at all conducive to making sure bugs get fixed for Womperloo 11.4 users.

That's true, but Meta+Shift+F11 will usually be fixed if it breaks on Windows, and ironically will very likely work Womperloo 11.4 as well, because Wine basically runs all Windows software that doesn't make it an explicit goal not to run under Wine perfectly.

> Linus Torvalds is not going to sit idly by while an update is shipped out that breaks Womperloo, I'll tell you that.

Linux is a great example - it's the most arguably the most successful FOSS project, and that's no small part due to the fact that Linus, as well as a ton of other programmers get paid a lot of money to work on it.
I'm in full agreement that Ubuntu updates suck, and snap sucks, but Fedora? Why would I want to run an unstable-by-design distro, produced by a company that restricts access to their GPL'ed Linux updates? (Note: I did not say they deny access.)

Having gone through update hell just a few months ago when I tried to go from 23.10 to 24.04, and eventually giving up after spending way too much time on it, I'll probably just stick with fresh installs from now on. You may blame me for running a non-LTS release, but at the time, it was the only thing that would run on my new Lenovo Thinkpad.

Snaps are horrible, but I understand that Canonical needs some things to distinguish itself. If I cannot find a repo or a deb file, I would rather install from source than use a snap.

I like Debian, and I like that Ubuntu is Debian based. Setting up a modern dev environemnt on RedHat or Fedora will not give you the latest stable tools. Ubuntu will at least give you some stable tools that were released within the past year or two.
If you wanted to hit a "years of service" number, this may not count towards that.
curl - gzip integer overflow - CVE-2025-0725
I'll try to assume good faith, but this is the sort of framing often used in the waning days of unpopular ideas.

That's not what DEI ever was. It fundamentally came down to evaluating disparate impact and then setting targets based on it. The underlying idea is that if a given pool (in the US, generally national- or state-level statistics) has a racial breakdown like so:

10% X
30% Y
60% Z

But your company or organization had a breakdown of:

5% X
25% Y
70% Z

You are institutionally racist and need to pay money to various DEI firms in order to get the right ratios, where 'right' means matching (or exceeding) the population for certain ethnic minorities. The 'certain ethnic minorities' value changed over time depending on who you would ask.

The methods to get 'the right ratios' varied from things like colorblind hiring (which had a nil or opposite effect), to giving ATS-bypassing keywords to minority industry groups (what the FAA did here).
This is just lying by ommision or gaslighting.... Yes citizens United opened the floodgates to money in us politics overturning nearly A CENTURY old precedent and allowing something unlike anything that had happened in that previous century.... And to downplay it as just going back to status quo is absurd .
short answer - takes too long
I'm curious how people feel about the JIT compilation time vs runtime tradeoff these days. Any good recent benchmarks?