Javier Alvarez @javier.alvarez.engineer · 19/05/2026But at the end of the day, engineering is about finding the right tradeoffs to your problems. Prescriptively denying the existence or fitness of other solutions to all problems is an anti pattern 010
Javier Alvarez @javier.alvarez.engineer · 19/05/2026Where you need hard real-time responses, maybe a cooperative system is not the easiest to analyze, maybe there a good old super loop is fine if your system is simple enough. if you need ARINC653 partitioning, you’d reach for something like hubris, and build on top to guarantee time partitioning 100
Javier Alvarez @javier.alvarez.engineer · 19/05/2026I resonate with this view as well. For the kind of embedded systems most people build (iot), async hides explicit state machines and event loops. Some systems do need a higher degree of fault isolation and there hubris is a fit. 100
Reposted by Javier Alvarezconputer dipshit @davidcrespo.bsky.social · 18/05/2026"C and C++ give you direct memory control and, with it, bug classes - buffer overflows, out-of-bounds reads and writes - that memory-safe languages like Rust eliminate at compile time. We saw consistently more false positives from projects written in memory-unsafe languages."blog.cloudflare.comProject Glasswing: what Mythos showed usIn recent weeks, we pointed Mythos and other security-focused LLMs at live code across critical parts of our infrastructure. We share what we observed, the models’ strengths and weaknesses, and what t... 1374
Javier Alvarez @javier.alvarez.engineer · 18/05/2026It's always exciting when your favorite podcast drops a new episode! If you have not yet listened to Oxide and Friends, you're missing out! 030
Reposted by Javier AlvarezArvid Gerstmann @arvid.io · 08/05/2026probe-rs, rtt, and defmt will seriously spoil you. Semihosting is awfully slow in comparison. Rust will spoil you. 1293
Javier Alvarez @javier.alvarez.engineer · 17/05/2026More guarantees need to be upheld in Rust, like aliasing between a `&mut T` and `&T`. These are handled conservatively in Zig, but Rust chooses to optimize the fact that they cannot be aliased. That said, I am concerned about this rewrite for other reasons than the unsafe Rust. 010
