Here's a few other small target machines you may like.

#ual #rustlang #golang #tinygo #forth #compsci #programming #embedded #foss #embeddedprogramming

papers-we-love/datastores/dynamo-amazons-highly-available-key-value-store.pdf at main ยท papers-we-love/papers-we-love

Papers from the computer science community to read and discuss. - papers-we-love/papers-we-love

GitHub

Nearly every advanced bit of technology created by humans is, in essence, made by clever usage of lists.

#tech #compsci #engineering #programming #memes

Just verified: the same ual programs produce identical output across native, WASI, RISC-V, and ARM Cortex-M, all running in emulators.

61K for a concurrent program on Tensilica / ESP32.

#ual #programming #golang #tinygo #rustlang #forth #programming #compsci #embedded #foss #opensource #embeddedprogramming

After stripping debug info (in the architectures that allow for that) it paints a much better picture.

Except for Adafruit's feather-m4 which requires debug info, but in that case debug info is automatically stripped the moment the binary is sent to flash memory (that kind of little machine doesn't place the binary in RAM, the binary executes directly from flash)

#ual #programming #golang #foss #rustlang #forth #compsci #esp32 #riscv

This is the ual 0.7.5 cross verification test targeting small architectures, using tinygo, which in turn uses llvm codegen.

Notice the kind of architecture ual code can now target.

#ual #rustlang #golang #foss #compsci #forth #programming

Same Image, Different Score?

0 comments

Lobsters
Millets: a practical memory-safety and thread-safety experiment https://lobste.rs/s/sbmtxh #compsci #programming
https://eagledot.xyz/millets.md.html
Millets: a practical memory-safety and thread-safety experiment

0 comments

Lobsters
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book https://lobste.rs/s/szch6i #compsci
https://arxiv.org/abs/2510.21613
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book

0 comments

Lobsters