Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
Issue 481
haskellweekly.newsยท1d
Passionate enthusiast builds a fully functional processor out of old memory chips โ hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.comยท4d
6 Design Principles for Edge Computing Systems
thenewstack.ioยท1d
My favorite use-case for AI is writing logs
vickiboykis.comยท3d
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.orgยท23h
Loading...Loading more...