skysight-inc/HackerNews huggingface dataset:
Well, one thing about adapting seL4 is that we shouldn't assume derivatives will be formally verified to the same degree. Ideally we would, but I don't expect this to happen in practice. And having a kernelspace scheduler that is minimal and requires a userspace scheduler to achieve full control of scheduling, where a userspace scheduler would do, is redundant overhead. If the kernelspace scheduler wasn't minimal, it would both be hard to verify and extend. This is all in line with seL4's design. So you're concerned about power where the question was always about performance. Hydra had userspace schedulers way back when, and it wasn't followed because it was prohibitive then. The minimality principle might be given various explanations, but I think the end result of what a system following it achieves speaks for itself.

> I understand the minimality principle but one should not be afraid to violate layers of abstraction when justified.

Rather, in a well-designed system, the justification necessarily is performance. Abstractions exist for the ease of the developer to write code that is correct. Performance (runtime, memory usage, etc.) is the concrete impact of code. For concerns like debugging or flexibility, those arise if the abstractions are lacking. Performance concerns arise because even good abstractions impose overhead. Note that conventional layered architectures are usually poor abstractions for implementation. Good for design but not coding.

> But I guess your shared memory bit is an API to a userspace scheduler?

Indeed. I would rather not, but shared memory probably is necessary to some degree for a userspace scheduler.
There are definitely exceptions. For example, I think "You generally don't grating's make utterances less menfolk's understandable by adding words" is less understandable than my original comment. But that's a sort of thing people rarely do.
> See, I've just done it... completely talking out of my ass about a subject I don't know anything about, but sounds plausible

Yeah but, you prefaced it with "I think".

It seems a rather unreasonable standard that all in-depth conversation about any topic must require research and citations. Sometimes people just want to chat casually about what they think, based on their personal experiences, and are not attempting to state opinion as fact. -I think- that is totally fine.
Love to hear it. Thanks for the years of usage!
Downloading and reproducing the pirated copy of the work. It's called a COPYright for a reason.
Look for UPS with generator input.

A business that sells solar with battery backup would know the current product range.

I’m only really familiar with industrial kit tupicalled used in data centres.
Indeed, we used those RSA SecurID key fobs for VPN login in some places, and people would just "forget" them in the laptop bag.

At a certain point, the user behavior IDS constraints become more important than building a deeper moat. 2FA cellphone based anything is $23 away from some adversaries control... ultimately more security theater in my opinion YMMV =3
Important point. It's not actually all that trivial to give a good and safe lead belay with a grigri. I see folks wrap their thumb over the Grigri cam to pay slack all the time. It is extremely dangerous when combined with not paying much attention because a surprise fall will cause the belayer to seize their grip on the device and lock it open. Heart breaking example https://www.youtube.com/watch?v=WBGkKqLhM8Y

All that said, I still prefer to be belayed with a grigri.
So Erdogan wants to be Putin of Turkey. It's up to the Turks if he can succeed.
I would offer an alternative, possible explanation.

Having trained quite a few LLMs by now, especially around the “uplift” from a text completion model to an instruct one, I noticed that the instruction following capabilities tend not to be uniform across all the tasks the LLM is able to perform.

In other words, it doesn’t know what is the implication of your request (time on the clock) in terms of change in output (the svg drawing of the clock), and all the abstractions and steps in between, this is why changing the time in the prompt might yield little difference.

Instruct datasets are quite small in retrospect and hardly cover the range of tasks instruct LLMs are able to perform, and mostly rely on extrapolation (interpolation?) capabilities for the LLM from its small training set. And it is this generalization that is not evenly distributed.

Just my two cents from my modest observations, sprinkle [citation needed] everywhere.
I mean that it is not "read-only" if it is also executable.
I suspect that it would have remained higher, if it had simply been a discussion about what was learned from the books, as opposed to a list (basically, the first section of the post, with more text).

I think folks on HN would want to talk/argue about it.
I think it is marketing and sales muscle that leads to ease of access.
> photos and videos will lead to discrimination

I feel like video will help mitigate this, as personalty and soft skills are communicated better that way. But if a company is going to discriminate based on a video, then they are going to discriminate when they interview you in person, no?
That is fair and I thought of that “old people might legitimately need it” case too when writing my other comment. But even that might only be the case for another 10-20 years.

I would actually be surprised if homeless people remain cashless for much longer, if a substantial number are even cashless now. I am pretty sure even people without permanent addresses can open bank accounts and almost every homeless person in the US has a smartphone. Any homeless people not being directly handed cash or working under the table/doing low-level crime would probably have no reason to use cash. Over time, they probably will not be directly handed cash as much because I don’t think most people will keep carry cash if their only use for it is to give it to beggars.

The other use cases you mentioned are definitely pro-privacy but clearly those blocks are not influential or powerful enough to get governments to allow for private digital transactions. Time will tell but I think it’s really only old people who’d struggle to adapt that are keeping us on cash.
Are you referring to Australia's AML/CTF Tranche 2 reforms? If so, these actually come into effect on 1 July 2026.
I wish HNers would ask themselves "If I, someone with nothing more than layman's knowledge, thought of this - would someone who has spent years studying in their field, possibly the head of their lab, the people they collaborated with, the people who approved their grant, and the people who reviewed the paper for publication - think of this?"

I can hear the keyboard mashing already. YES, I am aware there are problems in both research and publishing.

That does not mean that a HN'ers "did they think of X?" is any more valid. It's like saying that because bridges collapse, we should be allowed people with no relevant experience, knowledge, or training to look at new bridges and say "that bit there doesn't look strong enough to me!"
The Vatican's Latinist (2017)
I also do not think "Brucellosis brucellosis. Brucellosis? Brucellosis BRUCELLOSIS brucellosis." would be an improvement. In fact, the vast majority of possible titles containing the word would be less clear, such as "hotel areas case play brucellosis central particularly big them" or "eight these human therefore seem working gives brucellosis services".

But an implicit subtext of my suggestion was to pick a title that is clearer rather than less clear.
I have written a lot of C code running on Unix supercomputers for fund managers.

Based on my perhaps limited experience, I would have never thought that any VM based language would be accepted for production use. Could you explain how and where your software is being used in the banking world.
I'm also curious about what kinds of posts were good enough to get job offers. In my experience it's hard to consistently produce thorough, accurate, and useful technical posts. It takes so much time.

If you have the time, though, open-source is a good way to work on non-proprietary, useful things.
In large org, i saw people quietly move up the ladder this way by being visibly effective even if their outright contributions may have been difficult for nontechnical or understaffed management teams can see. it’s an essential survival skill, not making any case whether or not it’s right to begin with - I often navigate these systems because I have to.

you will of course have people gaming the system but peers tend to realize what is happening there, and that’s a management problem IMHO
I am not sure that it is that remarkable (for this website), given the known faintest Milky Way's satellites are ~ 100 times fainter, and there probably ten-ish galaxies fainter than And XXXV around the MW.
Oh you mean that time that my friend hadn’t filled out an arrival form and the immigration department at the airport helped him fill it out?
> Doesn't matter

Any time the microprocessor accesses memory for use as an int, it's a specific kind of int, meaning size and signedness, and the flags are adjusted properly as per the operation performed.

> Strings in C are just pointers to `char` with

I'm gonna end this here. I taught myself C programming by reading K&R in the late 80s, and then proceeded to do so professionally for YEARS and YEARS.

There are people that know, and there are people that act like they know. You ever read the first two chapters of Windows Internals? You ever write C code that could make Windows system calls from the same program that could be 32- or 64-bit with a simple compiler flag?

I have.

> C strings are fundamentally fragile.

Not if you know what you're doing. You're almost certainly using a C program to type this response in an operating system largely written in C. You get any segfaults lately? I don't EVER on either my Ubuntu or Debian systems.

Thanks for playing.
So only "good" first photos should count?
Still have many friends in the USA!
Release Common Lisp on Your First Day (2023)
Ah, that was Władysław IV.

It’s pretty insane to go back 400 years, to a war where none of the pretexts could apply today, and claim that’s a reason to be afraid of NATO.
No worries, launch woes happen. I will try again later.

It seems we have shared maker interests, feel free to hit me up on twitter!
I wish HNers would stop and ask themselves “Do HNers need to read yet another misguided Dunning-Kruger rant from someone who clearly misread the parent comment?”

The GP asked _how_ robust the ML models will be, which is a perfectly good question to ask. Maybe a climate scientist specializing in ML can answer that question.
Maybe Pythagoras just wanted to rationalize curing his G6PD deficiency (aka favism) with negative homeopathy
> The raw compute needed to brute force any problem can only be known after the problem is solved. There is no sane upper limit to how much computation, memory and data any given task will take and humans are terrible at estimating how hard tasks actually are. We are after all only 60 years late for the undergraduate summer project that would solve computer vision.

I feel like you’re conflating conceptual difficulty and computational difficulty
Awesome to hear you've been using it for so long!
Yeah, my experience is that the rapid growth of computing capabilities of my childhood more or less ended in 2013: the desktop I built then is fine for most of my uses and the significant performance improvements since then haven’t been CPUs getting noticeably faster but increases in the speed of disks (SSDs) and growth of memory sizes and network speeds.
If you know about a particular field and read HN comments it's even worse.
Commendable. I’m starting out on my second attempt at a learning app in my life, and I feel the same.
U4Wins: Smart Roadmaps That Guide You to Success–One Click at a Time
Starting something new—whether it’s learning frontend development, starting a business, or mastering a new skill—can be overwhelming. With so many resources to explore and decisions to make, creating a clear learning path often feels like guesswork. Each choice impacts your progress, and finding the right materials to guide you takes time.

That's why we’re building an AI-powered platform that removes the guesswork from learning. Imagine if, with a click, you could have a personalized roadmap to master any subject, from frontend development to business strategies, created by intelligent agents that research the latest trends, best practices, and resources. These agents will also provide you with curated links, articles, YouTube tutorials, and everything you need to learn effectively—saving you hours of searching.

We’re turning complex, overwhelming learning journeys into simple, actionable steps with AI-driven roadmaps for any field.
I think that the previous poster's point is that historical photographs are not in-scope to be added to this project: for example, this project will never include the first known photo of a living platypus (or a living cat, as noted), because such photos existed before this project began. The project collects photos posted to iNaturalist that meet the specified criteria.

It's a cool collection of modern observations of rare or remote species! But the title could also describe an entirely different research project, focused on historical media rather than modern exploration. That could also be very cool.
Hmmmmmmm.

I have a challenge for the model:

Accurate (within 3deg F) weather predictions for the Kansas City metro more than two days out. As of 2024 these were rarely accurate.[0]

[0]https://www.washingtonpost.com/climate-environment/interacti...
Discussions at the time (148 points, 61 comments) https://news.ycombinator.com/item?id=14769758

(105 points, 23 comments) https://news.ycombinator.com/item?id=13789097
Seems like it would be quite painful to do that in C without heavy refactoring.

Maybe a Rust alternative ?
You don't want to always resize to same-size buffers in that situation; consider a size-1024 buffer containing 1023 elements and a free space on the right. Pushing another item on the left can be done in the very same buffer, but requires copying all 1023 items one space to the right. If you then pop another item off the right end you are back to the starting state, so by repeating the process you need 511.5 element copies (in general, O(N) copies) per push or pop.

There are obvious ways to resolve problems like this, but there are tradeoffs among them, and I would like to know which way the author chose and what the resulting complexity is without having to analyze (and debug) 270 lines of C++.

Hmm, there's a PDF at https://github.com/attilatorda/Shift-To-Middle_Array/blob/ma...... but it also doesn't explain things like this. It makes assertions about big-O performance, but doesn't explain the algorithm in enough detail to know whether they are correct.
How many frontend (full stack) guys even understand the difference?
But when climate changes even by what appear, to us, to be very small amounts, that can have huge effects on how weather systems behave.

Thus, if you want your AI model that predicts weather, which was trained on data before that change, to predict weather after that change, you may very well find that it rapidly loses accuracy.
There's Niklaus Wirth's Oberon[0].

0. https://www.projectoberon.net/
Stand Out as a Data Scientist
I’m sure you can find horrible code bases in any arrangement. I will say that a good team will tend to be better for more projects than two good teams (fe/be). There certainly are cases where a split will make sense and be much better, but I have seen it become the default when one team should be.
Fascinating claim, where did you hear this?
If a vision has not been executed despite so many people trying may be something is wrong with it?
“Almost every software development organization has at least one developer who takes tactical programming to the extreme: a tactical tornado. The tactical tornado is a prolific programmer who pumps out code far faster than others but works in a totally tactical fashion. When it comes to implementing a quick feature, nobody gets it done faster than the tactical tornado. In some organizations, management treats tactical tornadoes as heroes. However, tactical tornadoes leave behind a wake of destruction. They are rarely considered heroes by the engineers who must work with their code in the future. Typically, other engineers must clean up the messes left behind by the tactical tornado, which makes it appear that those engineers (who are the real heroes) are making slower progress than the tactical tornado.” ― John Ousterhout, A Philosophy of Software Design
If it's a one-time $100k you can just slowly withdraw small portions of it and probably nobody would notice. It depends how much you're trying to launder.
If we had political will we could just kill everyone who disagrees.

Hypotheticals where any resources is unlimited are pointless because resources are fungible sometimes if you're ok with conversion inefficiency.
Probably should qualify the question a bit.

“Successful” in the commercial sense doesn’t imply technical success.

And I suspect you are asking about the latter.
Technically IP doesn't have ports. TCP and UDP (and others) individually have the concept of port. So it makes sense if you want a port filter it is a TCP specific rule.

...of course it is common enough that it would make sense to abstract over the different protocols that have more or less the same concept of ports.
Please add some margins to your mobile style sheet. It's painful to read text that runs up against screen edges. I made it about a quarter of the way through the article add then gave up.
That is actually a great idea - authentic and irritating. Just be thankful I never implemented my original plan to have only one copy of each tape in the library. If someone else was playing the tape you had to wait and unless they rewound manually you got to start wherever they stopped.
AlexNet Source Code Is Now Open Source
This is amazing! Please consider adding PWA support so it can be installed as a mobile app.

It’s super easy, just a manifest.json file to add which you can generate here [0].

Also are you considering adding more drumkits? Or maybe allow a user to set their own samples (stored locally, just for themselves) like you can change the header color in HN.

0: http://pwabuilder.com/
Yeah, I'm inclined to agree with this. The fact that Sweden, Japan, and China went 99% cashless shows that it can be done.

BTW there's a new scam where a homeless person asks for a small donation via EMV but they charge thousands of dollars and then when you chargeback the card issuer asks for your receipt which of course the homeless person didn't give you.
I think once people feel like affiliate links are a significant motivation, it seems less intellectually interesting.
> In the 1990s chorded keyboards were "popular" in regard to wearable computing. ... Obviously, a decade later with smartphones this looked pretty silly (if it didn't already in the 1990s) but some people really did think this was the future at the time.

Well, we have portable computers with chorded key-sets now: we just call them handheld consoles instead. I'm quite sure that the button set on something like Valve's Steam Deck or ASUS's ROG-Ally consoles could be repurposed for some sort of reasonably ergonomic chorded-text input.
https://archive.is/B2z7C

I am not going to shorten all my shirts and jackets for this, side-looking notwithstanding.

Now, a ring?
I think the naive answer is that physics doesn't change when the climate does, just the initial conditions for the day's simulation of the next week's weather.

And every year over year change is within error bars of the prior years results, once you account for those initial conditions.
Kind of meaningless statement though. Even if they do, which Im not sure is true in general case because you have to be good yourself to know who’s really good, they are not telling you anyway.
There's just not a big gaming market for Macs (and I say that as both a gamer and a Mac user). It's a chicken and egg problem. Apple historically has not cared about desktop gaming much, and don't provide an easy way to port games to it. They don't even support Vulkan, so developers have to port to Metal or use GPT. A lot of devs in turn skip the Mac because it's a lot of additional work for a tiny market. And without the devs, there are very few Mac-only gamers.

Apple had a chance to do what Valve did with Proton here, using GPT and custom first party patches or configs to certify a collection of games as working. But they never bothered, instead handing that off to Crossover (who does an OK job but leaves a lot to be desired in terms of UX). It's still a huge pain to get games running on Mac, even worse than Linux. Way worse, actually.

Unless Apple suddenly has a change of heart and really tries to support and help game devs, they're not going to entice anyone no matter how good the Apple Silicon GPUs are. And they're probably not going to do that since Steam is so dominant and they wouldn't be able to make the 30% they do on iOS. Even for their new platforms like Vision, gaming was an afterthought. It's just not part of their culture. Apple Arcade on Mac is a sad little market compared to any other games ecosystem.

Thankfully there's at least GeForce Now, which works way way better anyway.
We Believe Creation Shouldn't Be Linear: Introducing the Infinite Agentic Canvas
Enterprise is the focus for VMWare ESXi nowadays. Expensive support but fewer support accounts. Broadcom isn't interested in volume.
Honestly I feel the takeaways are the opposite.

There’s no point in building something non functional now simply because it will be replaceable with something functional later.

You should either do it without AI or not do it at all. You’re not actually adding value with a placeholder for “future AI”.
Who eats medium rare pork in the US? I don’t think I’ve ever seen it.
Another comment in this post mentions reactive arthritis and HLA-B27; there's some evidence suggesting "permanent" autoimmune conditions in HLA-B27+ people also might come from viral triggers.
I didn't realize there were still companies doing this. What sort of use case is it where a cross platform desktop app is chosen over a web app or a webview?
"unexpected EOF" while downloading container layers when built with go 1.24
For the login I completely understand but most pages don't need to be secured in my opinion.
I'm curious if some future, hypothetical AGI agent, which had been trained to have these kinds of abilities, would be akin to how most humans see a ball in flight and just instinctively know (within reason) where the ball is going to go? We don't understand, consciously and in the moment, how our brain is doing these calculations (although obviously we can get to similar results with other methods), but we still trust the outputs.

Would some hypothetical future AI just "know" that tomorrow it's going to be 79 with 7 mph winds, without understanding exactly how that knowledge was arrived at?
Paris residents to vote on making 500 more streets pedestrian
I read the code before I made my comment. It does exactly what I described.
Free doesn't allow for selling support contracts which is what BRCM is after. Good luck with Hyper-V if that's the direction you go in. Free doesn't generally include any support.
It tells me I have "no GA4 properties", which 1) seems impossible given the the transition has already happened, 2) is not true—in fact I have dozens of GA4 properties.

Edit: I logged out and back in again and it is now showing me some but not all of my properties. I sort my properties into folders, and it's not showing everything.

Edit2: the mobile stylesheet/layout has overlapping elements. I'm on iPhone XS and iOS 17 in Safari.