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·1d
Loading...Loading more...