Viewing profile — lovidico

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 des…

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 la…

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 dep…

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 …

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 dis…

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 …

Definitely a microbenchmark and probably wouldn’t be generally representative of performance. This page gives pretty good standards for OS benchmarking practic, although admittedly…

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 sp…

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 exp…

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 gua…