Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·3h
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·3d
Teams Without Vision Are Just Busywork Factories
hackernoon.com·6h
My favorite use-case for AI is writing logs
vickiboykis.com·2d
Loading...Loading more...