lovidico

24 ms·

1.
by lovidico 8mo ago
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 we simply opted to use
2.
by lovidico 9mo ago
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 lots of training da
3.
by lovidico 9mo ago
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 cannot. Seems to break
4.
by lovidico 9mo ago
Strings are u8 arrays only? Gulp. Who needs Unicode right?
5.
by lovidico 10mo ago
“C is a low level language” … sigh.
6.
by lovidico 10mo ago
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 driver
7.
by lovidico 10mo ago
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 since it lacks any of th
8.
by lovidico 10mo ago
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 from Apple’s former st
9.
by lovidico 2y ago
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 https://gernot-heiser.o
10.
by lovidico 2y ago
Fair enough, I’m not familiar with the rules.
11.
by lovidico 2y ago
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 out corrupted, and in
12.
by lovidico 2y ago
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)
13.
by lovidico 2y ago
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 women's and