skysight-inc/HackerNews huggingface dataset:
I agree that SeL4 won't replace Linux anytime soon, but I beg to differ on the benefits of a microkernel, formally verified or not.

Any ordinary well-designed microkernel gives you a huge benefit: process isolation of core services and drivers. That means that even in the case of an insecure and unverified driver, you still have reasonable expectations of security. There was an analysis of Linux CVE's a while back and the vast majority of critical Linux CVEs to that date would either be eliminated or mitigated below critical level just by using a basic microkernel architecture (not even a verified microkernel). Only 4% would have remained critical.

https://microkerneldude.org/2018/08/23/microkernels-really-d...

The benefit of a verified microkernel like SeL4 is merely an incremental one over a basic microkernel like L4, capable of capturing that last 4% and further mitigating others. You get more reliable guarantees regarding process isolation, but architecturally it's not much different from L4. There's a little bit of clunkiness for writing userpace drivers for SeL4 that you wouldn't have for L4. That's what the LionsOS project is aiming to fix.
The GSA system works through Citibank and U S. Bank, which take a small percentage off the top.
You have quite the imagination. Your fantasy of Musk's competence is unmoored from reality
well you can only compare the communist party and the EU in those narrow ways I described above, not in its "aggression".

You can't even compare the EC's aggression (pointless regulations) with Soviet ones (no need to elaborate, but it's gruesome).
hidden? I think tearing down government is a pretty damned good fix, and so does many others
That’s the beauty of it all, we’re all along for the ride and will see. We should all hope for the best.
Throughout entire human and chicken collective history we somehow haven’t managed to get wiped out by chicken transmitted decease - and suddenly its practically imminent and only massive mega farms can keeps us safe.

A thought occurs - perhaps it’s the mega farming that is the root of this problem and having some backyard chickens won’t really move the needle any closer to doom?
> The thing is the people who are for abortion bans think if a person gets an abortion and becomes sick from it, they get what they deserve.

I hope you don't honestly hold that generalization to be true. I can think of several people who would immediately dismiss that as false, anyways.
Trump's platform the first time he ran was practically "what do bumpkins in country diners say the government should do?" Those of us with connections to those kinds of people and places recognized shit like "build the wall!" because we'd been hearing "they ought to just build a wall" for decades from our dumber associates. (though half the time this took the form of "they should just place landmines the whole length of the border" and at least he didn't pick that part up)

This did have the interesting effect of making some of his positions cross-party populist, like his neoliberalism- and free-trade-skepticism. Normal republican voters hate that stuff and will tell you so, as do lots of left-wingers, but both parties (from about 1980 to 2016) loved all of it. He also talked some weirdly leftist talk, a few times, about healthcare, but with no specifics or clear plan, and that wasn't something he ended up taking action on. Same reason, though: Republicans have been told to hate "Obamacare", so they do, but lots of them also hate our existing healthcare system and insurance companies especially. Another gap between the voters and what their own party's officials were delivering, for him to exploit. They'd 100% eat up universal healthcare if a Republican promoted it, it's all in the letter next to the name.

It's why I figured he'd at least get the R nomination, if not win the whole thing, well before most folks considered him anything but a joke candidate.
I think if you don't want to type and more control the OS and you add chording to it, would beat any other input system other than scanning brainwaves for me.
IMHO the biggest thing is that they were their own customer. There was no requirements gathering, ui/ux consultation, third party bug reporting, just like you said. They were eating their own dogfood and loving it. No overhead meant they could focus entirely on the task at hand.
This sounds like a good use case for ssh port forwarding, or if port forwarding was restricted, SLiRP[1]!

[1] https://slirp.sourceforge.net
> You can't show me zero of something which is why you can't divide by it.

I've shown you zero fish. The number of fish I've shown you is zero. If I tracked you down, brought a fish with me and showed it to you, I'd have shown you 1 fish, but I haven't.
Most other LLMs can't solve these problems either.

Complaints like this with "gotcha questions" at which LLMs are known to have poor performance (spelling, image generation, etc...) is fine, if repetetive, but meaningless without comparison to other SoA models.
There's various EU cloud providers. It seems to me it is difficult to compete with these energy prices.
Other comments mentioned wild birds, but lots of animals can spread bird flu. House cats, for example.

Edit: link (gift NYT link) https://www.nytimes.com/2025/02/06/health/cdc-bird-flu-cats-...
the old Element apps were; have you tried Element X?
that is very useful information -- does it work with sites that need logins?
If I was in their security team I'd start thinking how to down FPV drones too. I'm surprised we haven't seen such attacks yet.

I wonder if EW and directional jamming even works when nowadays you've got DJI systems that operate over 4G.
>Russia invading a country that was legitimately starting a new chapter in becoming more democratic is what changed my mind on military budgets.

I'm definitely less of a pacifist than I used to be, because of Russia's nonsense, and I know believe in Armed neutrality instead.

But we don't actually need to spend $1 trillion a year to be a sufficient world police. We were absolutely removing Russia's ability to make war for pennies compared to our military spend. Best investment since Alaska.

The US military budget is sized such that we intend to be able to singlehandedly fight off literally the entire rest of the world's expeditionary militaries all at once.

We could cut hundreds of billions off our defense budget and still hold Russia out of sovereign nations, and still keep China out of Taiwan.

But we already did the thing we are doing in Ukraine back during the first gulf war, protecting Kuwait. It may have benefited us that their oil stayed being sold to us, but we were legitimately liberating Kuwait, and it was the right thing to do, and we even had a coalition with boots on the ground. Funny, there weren't a lot of people screaming about a few hundred billion dollars then.

Meanwhile Trump is insisting now that we should pull out of the nordic countries entirely, for some reason.
a little less charitable is amazon is throwing its weight around to quash competition before they can get started; and shove tech debt onto third parties.

I stopped giving amazon the benefit of the doubt about any aspect of their operations about 8 years ago.
Discussion (48 points, 2 days ago, 10 comments) https://news.ycombinator.com/item?id=43093256
You're comparing an LLM to a compiler, which doesn't make much sense to me.

If my compiler occasionally output the recipe for vegan pancakes instead of working code I would definitely think differently of it.
No it is not, especially the filter controls, and a few other "add-ons" that are not actually core parts of LLMs. As for what they actually do with it, we don't know that either unless by leaks.
I do 1hr pair programming interviews for my company and you have to strike a balance between letting candidates think through the problem even when you think it won't work (to see their thought process and maybe be surprised at their approach working/see how quickly they can self-correct) and keeping them on track so that the interview still provides a good signal for candidates who are less familiar with that specific task/stack.

I'm also not actually testing for pair programming ability directly, moreso ability to complete practical tasks / work in a specific area, collaborate, and communicate. If you choose a problem that is general/expandable enough that good candidates for the position are unlikely to go down bad rabbit holes (eg for a senior fullstack role, create a minimal frontend and api server that talk to each other) it works just fine. Actually with these kinds of problems it's kind of good if your candidates end up "studying" them like with leetcode, because it means they are just learning how to do the things that they'll do on the job.

> maybe even on an actual feature

I don't think this would work unless the feature were entirely self-contained. If your workaround is to give the candidate an OSS project they need to study beforehand, I think that would bias candidates' performance in ways that aren't aligned with who you want to hire (eg how desperate are they for the role and how much time outside of work are they willing to put into your interview).
I have better memories of lynx from the 90s: without internet access at home over university breaks, I'd walk to the local community college library, which had available, internet connected computers that could only browse the library catalogue or open a terminal. From the terminal I could telnet to my home university's unix server and use lynx from there to browse the internet.
Thank you, you made my day!
If what happened to USAID isn’t evidence enough for you, I suggest you go and read up on Project 2025. Below is a link to the chapter on the commerce department where they call for the dismantling of NOAA. As the head of the Office of Management and Budget, Russel Vought is one of the most powerful men in the executive branch and was one of the main architects of Project 2025.

Enjoy your reading.

https://static.project2025.org/2025_MandateForLeadership_CHA...
Yes, I get that. You may be underestimating the size of typical PubSec deals.
Per transaction.

You know what’s way more efficient though?

Cards.
really cool, I like how modifiable Chrome can be, looks like this one uses websockets but you can use an extension for tab communication too
Brief intervention boosts grit in teenage boys, study finds
Access != Modification
Discussion (19 points, 8 hours ago, 7 comments) https://news.ycombinator.com/item?id=43114622
Yeah, you would need to change your expectations, I figured that much was obvious.
Light Phone III (2024)
Look around closely at the top level of the tower :)
It appears that if you register with a Chinese phone number, you have a Weixin account with a different service agreement [0] than a WeChat account [1], and your data is in fact hosted in China.

So the app functions differently depending on who (or an inferred "where") you are and you as the user have different terms - how would you describe that? Could "version" suffice?

0. https://weixin.qq.com/cgi-bin/readtemplate?lang=en_US&t=weix...

1. https://www.wechat.com/en/service_terms.html
That timeline is just for the preliminary hearing on potential committee members.

No sarcasm, sorry.
https://archive.ph/KxNNu
This is braindead capitalist propaganda. Stop filling your head with garbage. At the very least, keep it to yourself so other people don't have to smell it. Gross.
I have my lynx set to accept all cookies (makes for far less bother) but somehow seem to have forgotten to tell lynx where to store them. Logout of the browser and "poof" they all disappear...
In the last 3 lines on the right-side of the graphic.

Fig. 2: Environmental architecture of mortality in the UKB.

https://www.nature.com/articles/s41591-024-03483-9/figures/2
Not exactly cost concerns but it’s definitely economic in nature. The US exports a lot of poultry (broilers, not eggs) and the importers test for avian flu with tests that are incapable of differentiating between a vaccinated bird and an infected one. If we were to vaccinate our birds, the broiler farmers would lose access to the much more lucrative export markets. Since the market is so competitive domestically, that would essentially spell the end for much of the industry (which is a national security concern, aka never gonna happen).

Instead the US performs cullings and reimburses the farmers, which has the knock on effect of wiping out all the egg laying hens our own domestic market depends on to protect the broiler export markets.
I couldn't, but thx to the OCLC support team, we were able to fix it pretty quickly. MUCH faster than I had expected. I really have to hand it to them, I was expecting a "not my job" sort of response, but got a "Yeah. Lets fix this" attitude and through the OCLC support and tech folk plus CloudFlare (I think) it got fixed in less than 6 hours.

I'm counting this as a win.

Also... thx for the suggestion. I'll try that next time if the problem every comes back.

And... since I can get to the rest of the site, I can also get to this URL.
Thanks a bunch. I have actually used unifi routers in the past and didn't always have a great experience with them, but it's been a while and I feel like I might be ready to try again. Will also look into gl.inet, thanks!
All I've seen about this DOGE stuff is negativity based on hypotheticals, this is the first optimistic hypothetical I've seen so far.

It's an interesting point. As a thought exercise, tech is absolutely the core of modern America, #1 export (I assume) and a key market. Private sector influence probably can give huge amounts of low hanging fruit.

I think peoples main concerns stem from not trusting Trump (which seems odd given he's a second term president, he is objectively wanted) and not trusting Musk (which is probably fair, he's publicly and openly an arsehole).

Speed probably concerns people too, however "move fast and break things" is a pretty fundamental American tech mantra, so entirely unsurprising and usually effective.
> Encrypted milspec comms aren’t the standard in a massive war.

It is standard in any modern military that is actually prepared for war. It's not like encrypted digital radio is some kind of fancy tech, either - it's readily available to civilians.

Ukraine in particular started working on a wholesale switch to encrypted Motorola radios shortly after the war began in 2014, and by now it's standard equipment across their forces. Russia, OTOH, started the war without a good solution, with patchwork of ad hoc solutions originating from enthusiasts in the units - e.g. https://en.wikipedia.org/wiki/Andrey_Morozov was a vocal proponent.

But smartphones are more than communications. You can also use them as artillery computers for firing solutions, for example. And while normally there would be a milspec solution for this purpose, those are usually designed with milspec artillery systems and munitions in mind, while both sides in this war are heavily reliant on stocks that are non-standard (to them) - Ukraine, obviously, with all the Western aid, but Russia also had to dig out a lot of old equipment that was not adequately handled. Apps are much easier to update for this purpose, so they're heavily used in practice (and, again, these are often grassroots developments, not something pushed top-down by brass).
> While considering additional functionality for the Light Phone III, it's important to remember all of the features it will never have. The Light Phone III will never have social media, internet browsing, email, news, or ads. There are simply no infinite feeds.

Love this!
That's why I play dungeon crawl stone soup in the terminal. I'm defending myself against fire dragons and dodging iron shots, but it looks like I'm aggressively debugging something.
Don't genetics make it more or less likely that you'll live a healthy lifestyle? Say for example if you have depression.
Anyone have a link to their paper?
If you prefer video, this explains it pretty well.

https://youtu.be/5RpPTRcz1no
I'm fully convinced the way to make better hires is to invest more, which will be more expensive. Which wouldn't be a problem unless we expected something else. It starts with quitting pretending the current process is working, or even close to optimal.
> There is no hard-and-fast rule that AI is bad.

That is true, but the context around it currently, the fast rush to appropriate freely from others and of course without contributing/crediting anything back, not to mention the sludge that has exploded all over the internet is one of agreement with the OP. I'm more than sure that AI could be used in very intelligent ways by artists themselves though, and I don't mean in a lazy way to cut corners and pump out content but a more deliberate way where the effort is visible (but I don't just mean visual arts).
Kind of, you use contexts.

You can create contexts that point to other targets. So in your Dockerfile you can use `FROM project-base` where `project-base` is whatever you specified in the context.

See "Pinning an Alpine image" here: https://docs.docker.com/build/bake/contexts/#pinning-alpine-...
It seems that way because Republicans control most of the state legislatures at the moment. The term itself refers to a Massachusetts governor, a member of the predecessor of the current Democratic Party, who started the practice.

The minute Democrats control more of the state legislatures, you'll see that more examples will be of them.
Ladies and Gentleman's: cities cost MORE than spread living despite the many PR who state the contrary with ONLY APPARENT logic. Under-utilize large buildings for less than 12h/day commuting between them was needed in the past but it's a nonsense today. Small buildings consume much less raw materials than bigger one for equivalent usable space for humans because we have to sustain the mere structure, with anti-seismic norms, fire safety norms, elevators, ... who cost MUCH. They are inefficient to heat and cool with modern heat-pumps as well. They pollute more.

Cities are nowadays only needed to push 2030 Agenda where the inmates do not own nothing and live consuming anything, no matter how they earn, to be always at zero and such need is not practically sustainable.

That's is. The rest is noise.
Do you shut down your entire business before rolling out a new system?
Exactly, automation.
I'm glad I got my degree before AI came and cheapened them all.
amazon is beholden to their shareholders. The customers are an inconvenient necessity.
You're right. Though the replies you get will sound like the end of the world.

You'll have to deal with people replying who have been driven literally insane by propaganda.

Money was sent to media agencies (e.g. 9mil Reuters) , to run this massive psyop.

You can't put a band aid on what has been done to them, and they can't critically think their way out of it.
I'm hoping that the documentation around this will be good, I've recently tried out CSS anchor positioning and it's riddled with examples that no longer work as the specification has been changed various times
sources:

https://weixin.qq.com/cgi-bin/readtemplate?lang=en_US&t=weix...

https://www.wechat.com/en/service_terms.html
Related advice Structuring Applications in Go (9 points, 11 years ago) https://news.ycombinator.com/item?id=7995948
Again, we'll just say it's "waste" until investigations complete.

Glad I could frame it better for you so you can feel good about the savings.

Also glad to hear you like or are at least content with the audit, since you don't "dislike" it.
I think this really isn't about AI, but rather about the good self discipline as well as the willingness and perseverance to explore deeply.

I have seen people who learned to code before AI, and yet because they don't bother to ask themselves another layer of "why" they continue to have a superficial understanding of everything. And I have no doubt that the truly excellent programmer will understand the whole system even if they learned coding after AI.

> I had the habit of not copying code from YouTube tutorials

This is what makes all the difference. If you know you should not blindly copy code from YouTube tutorials, you also know you should not copy code from AI output, and if you were to be born in my generation you would also know you should not copy code blindly from a textbook.

Kudos to the author though—I think this person has the right personality to become a good programmer regardless of whether they wrote their first line of code before or after the age of LLMs.
Given that the second!! goal is to be compliant to EU AI regulations, which are incredibly vague.
Microsoft Claims Quantum Computing Breakthrough by Creating New State of Matter
Unfortunately, you backyard flock is not protected. It's airborne, is suspected to be infectious up to 5km between farm sites, and also can be contracted via fomite transmission. I hate to be the bearer of bad news, but your birds will likely get infected at some point in the coming 18 months, or sooner, and can be a real attack vector for something nasty for you and your family. The latest mutation across herds in Nevada/Canada both in birds and cows has a real nasty adaptation (D1.1) which has a suspected mortality rate in humans around 50%. Several hospitalizations in humans related to this specific mutation, acquired by individuals dealing with backyard flocks. The logic that your backyard flock mesh is sufficient to protect the flock and you from this pretty nasty bug isn't supported by the evidence we're seeing pan out across the country/world.

Another worrisome attack vector is cats, but that's a whole other pandoras box we'll leave alone for now.

To get an idea of how transmissible/infectious this thing is, it has jumped from birds in Asia, to dolphins in florida, and has eradicated entire populations of seals in latin america, cows, cats, ferrets, rats globally, to almost all bird populations in Antarctica. There is no species / geographic radius that will likely to unaffected. The death rate in each species may vary considerably (cows in US as an example, don't seem to die in great numbers), but it is highly transmissible even between species.

I'm sorry these aren't the best sources, but I'm in a rush and wanted to help you get an idea of what we're dealign with here in the context of your backyard flock, specifically. If you keep digging in all of the themes above you'll find even better sources:

https://www.usnews.com/news/health-news/articles/2025-02-20/...

https://scar.org/library-data/avian-flu

https://www.cdc.gov/media/releases/2024/m1218-h5n1-flu.html

https://www.nature.com/articles/s42003-024-06173-x

https://www.nature.com/articles/s42003-024-06173-x

https://www.vetmed.ucdavis.edu/news/catastrophic-mortality-e...
Morally, they shouldn’t. But practically: because old people vote—en masse and consistently, and young people don’t. Until that changes, our systems will continue to be designed to transfer wealth from the young to the old.
The average American rarely deals directly with the federal government.
If you want to save money and remove bureaucracy, you first create a system, then migrate to it and sort out issues, then remote the old system. Now it's going to take months to get something new in place, while also juggling manual approvals and getting things through payment systems individually.
Reading this gpt answer:
> In fiscal year 2022, nearly 90% of USAID's expenditures were allocated to international contracting partners

How are you figuring that none of that is reaching endpoint users?
E.g. I imagine the International Red Cross could be such a partner.
> badly need AI systems that are open and privacy-respecting.

There are plenty AI systems that are open and privacy-respecting. In fact, any model you run on your own hardware is privacy-respecting. And open, for whatever that means.