bfrog

Yeah I’d rather not be part of the experiment thank you. If something takes intelligence to do I want to talk to a human that can help do it.

AI isn’t going to magically help solve problems with technology. Frankly I’m tired of technology. I miss people.

I wonder if microkernels ever had this kind of bullshit. Had it been a microkernel, would we all be sitting twiddling our thumbs on friday? Hot take: No.

You linked to it, and its repo is nix, the description is "Nix, the purely functional package manager"

I see no mention of CppNix other than from certain detractors.

Isn't nix like one of the most welcoming FOSS groups on the planet? Seems like half the maintainers are trans?

There's no cppnix, its just nix. That's some bs naming added on by people (not the creator). The repo and tool are still solidly called nix.

Of course there's corporate sponsorships, how else do you expect people to work on this stuff full time and eat. Food and Shelter aren't handed out for free last I checked.

Mind boggling statements.

So add some syscalls and slowness to what should amount to a spsc atomic queue in memory? No thanks!

The signaling in this case is typically a shared atomic though not some OS primitive that a process can wake/epoll/etc on?

What... its shared memory? What is asynchronous about touching a few atomic vars and shared memory (shared pages) exactly? You could absolutely poll on this sort of thing in a non blocking manner, but there is not OS primitive here to trigger a Waker

iceoryx2 uses shared memory and is implemented in rust if anyone wants something off the shelf

It’s dead in the water from my perspective. Tied to windows baggage, not actually faster, arm windows apps are… yeah not exactly vast in number.

I’m not seeing the numbers where it blows away the M3 myself, maybe I missed them? Some modest uptick over yesteryears part from Apple doesn’t blow me away.

Leetcode tells you little to nothing about an individual’s actual skill set? I wouldn’t work for a place that required this sort of bs? Imagine if for every job as a carpenter you need to show you can cut wood properly. It’s fucking ridiculous.

You don’t show that you can cut wood, you show you can build things with a portfolio of work. Like every other damn profession.

No doubt defense in depth is good, but frankly there's a cost to mpu/mmu (mpu does much the same in terms of memory protection but without the benefit of a dynamic page table...).

There's a cost to jump from memory protected context (user mode in effect) to supervisor mode, usually an interrupt at minimum. In reality there's typically some syscall mechanism which requires argument marshalling, verification, unmarshalling. Lest you catch a TOCTOU issue.

There's a cost to managing the memory regions... both in wasted memory (page aligned/mpu region aligned) and cpu requirements (reprogramming page tables/mpu regions).

None of that is free of charge and those costs add up quickly.

yeah we'll see... the historical evidence is entirely contrary to this

The entire premise that you need an MMU is about invalid memory accesses. Safe rust does much the same job with much finer grain and at compile time not runtime where dealing with page faults can lead to some strange loops.

No need for IPC or syscall marshalling when you can simply do function calls without the hassles of MMU permissioning.

Like why is a microkernel needed today for this sort of thing, if its purely for security of memory then... well there's other ways of solving that problem completely outside of hardware memory protection schemes at this point in my mind.

We're so steadfastly stuck in this mindset of needing memory protection and pointer protection (CHERI) because of the insanity that C and its like bring to the table. Restricting the software to safe rust does much the same job. Memory is protected, lifetimes are protected, and better still data races are protected.

E.g. see rtic-rs and how tasks are written. Without unsafe, no memory is accessible outside what is given explicitly to the task. And checking for unsafe rust can be done in an automated fashion at compile time.

Or maybe I'm totally wrong which is quite possible!

Bean counter types claim these people cost too much!!

Qualcomm has some work to do to build trust. Step one make the docs as easy to get as say the Intel x86 references without a bunch of horseshit lawyer shite.

Step 2, actually document the part well enough for third party implementers.

Step 3 don’t threaten to sue everyone and anything that glances at it.

Seems like the goal of RTO is working

This seems like the kind of thing that would benefit a great deal from rust usage.

He was right about licenses with compilers as well.

People coming to rust attempting to apply typical OOP terms and patterns are likely to hit walls quickly. There’s are some things that of course look familiar. But it’s not where Rust came from, and it’s not what Rust provides.

Will there be a lunar lake model this fall? I’ll be shopping for sure then

Ah yes another sub language made from c++, every author has their own

What we really need is C2

C with constexpr, type traits, and generics… oh wait this exists! Rust, Zig, etc

Sadly tool chains for some platforms are proprietary variants of llvm clang and fail to include rustc

At an OS level its kind of a sad state of affairs, even on tiny devices the goto solution is an RTOS with threads (they aren't cheap memory or latency wise!)

If you look at what things like RTIC and embassy are doing I have to say its pretty appealing. Make programming the interrupt state machines a little nicer with async rust, and in RTIC's case without a chance of deadlocks.

That's pretty stellar, and at a footprint and memory usage that is far lower than even the smallest RTOS can muster.

Especially coming from electron happy msft

This is the kind of amazing news I come here for. And the kind of hard science real life tech that makes lives truly better. Love it. Thanks hacker news!

This is really neat! I’ll have to take a closer look and see if some ideas could be reused in zephyr’s new elf loading facilities

sadly so much is tied into cmake with all its eccentricities of being a weird custom macro language, hard to see using anything besides cmake unless I stop using C

Most US citizens seem to agree something needs to be done there regardless of political lean? 74% according to NBC polling (surely not right wing crazy land) https://www.documentcloud.org/documents/24172785-230343-nbc-...

Seems like a pretty easy win for a majority of voters. Militarization shouldn't be the only imho, but some kind of process needs to happen there. People paying coyotes and dying in the river and desert is wrong. People being stuffed in cages and treated poorly is wrong. Letting everyone in unchecked and unfettered is also wrong.

This is the FSF situation in a nutshell, gcc has slowly been eroding in favor of llvm and clang because of this.

FSF donor listing/sponsorship listing is... spartan at best.

Compare this to Linux Foundation and LLVM Foundation, and generally wide swaths of both corporate and personally interested parties contributing time and money and tell me that trying to be idealistic is good for FOSS. The evidence I see is to the contrary.