A trend at the moment is to just hope for the best in cubesats and other small satellites in LEO. If you’re below the radiation belt it’s apparently tenable. I worked somewhere designing satellite hardware for LEO and…
Further to this, you can trivially observe two further LLM weaknesses: 1. that LLMs are bad at weird syntax even with a complete description. E.g. writing StandardML and similar languages, or any esolangs. 2. Even with…
How can a language both be human-unfriendly and also sanely auditable? The types of issues that require human intervention in LLM output are overwhelmingly things where the LLM depends on the human to detect things it…
Strings are u8 arrays only? Gulp. Who needs Unicode right?
“C is a low level language” … sigh.
Rust is supported by the [seL4 Microkit](https://docs.sel4.systems/projects/rust/), which is the core framework enabling LionsOS. LionsOS can currently run components written in Rust, and there are some WIP drivers…
From their verification roadmap, it sure seems generous to refer to this as “formally verified”. They don’t prove anything important about the kernel clearly at all. Seems very disingenuous to describe it as they do…
Standards sure have dropped. I saw a new iPad mini in store, on display, and it simply couldn’t run the home screen without stuttering and visible frame rate drops! At least in my mind, this seems like a transgression…
Definitely a microbenchmark and probably wouldn’t be generally representative of performance. This page gives pretty good standards for OS benchmarking practic, although admittedly geared more for academia…
Fair enough, I’m not familiar with the rules.
My experience comes from actually writing the ports as opposed to using it in other places. I’ve gotten issues like the UDP checksum generation breaking in the raw API at higher speeds or DHCP packets managing to come…
What’s the news value of this? LWIP is the most popular embedded network stack and has been around for ages. It also is awful to use and riddled with undocumented issues (in my experience, anyway)
The author of this article evidently is ignorant to the current state of the world. Simply having the existence of a group become no longer illegal doesn't mean that rights are guaranteed at all. Groups advocating for…
A trend at the moment is to just hope for the best in cubesats and other small satellites in LEO. If you’re below the radiation belt it’s apparently tenable. I worked somewhere designing satellite hardware for LEO and…
Further to this, you can trivially observe two further LLM weaknesses: 1. that LLMs are bad at weird syntax even with a complete description. E.g. writing StandardML and similar languages, or any esolangs. 2. Even with…
How can a language both be human-unfriendly and also sanely auditable? The types of issues that require human intervention in LLM output are overwhelmingly things where the LLM depends on the human to detect things it…
Strings are u8 arrays only? Gulp. Who needs Unicode right?
“C is a low level language” … sigh.
Rust is supported by the [seL4 Microkit](https://docs.sel4.systems/projects/rust/), which is the core framework enabling LionsOS. LionsOS can currently run components written in Rust, and there are some WIP drivers…
From their verification roadmap, it sure seems generous to refer to this as “formally verified”. They don’t prove anything important about the kernel clearly at all. Seems very disingenuous to describe it as they do…
Standards sure have dropped. I saw a new iPad mini in store, on display, and it simply couldn’t run the home screen without stuttering and visible frame rate drops! At least in my mind, this seems like a transgression…
Definitely a microbenchmark and probably wouldn’t be generally representative of performance. This page gives pretty good standards for OS benchmarking practic, although admittedly geared more for academia…
Fair enough, I’m not familiar with the rules.
My experience comes from actually writing the ports as opposed to using it in other places. I’ve gotten issues like the UDP checksum generation breaking in the raw API at higher speeds or DHCP packets managing to come…
What’s the news value of this? LWIP is the most popular embedded network stack and has been around for ages. It also is awful to use and riddled with undocumented issues (in my experience, anyway)
The author of this article evidently is ignorant to the current state of the world. Simply having the existence of a group become no longer illegal doesn't mean that rights are guaranteed at all. Groups advocating for…