Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
Lawvere’s Work on Arms Control
johncarlosbaez.wordpress.com·1d
Independently Reproducible Git Bundles
blog.josefsson.org·4h
Weeknotes #335 — Lip service
andrewdoran.uk·22h
Quick Fix: Recover a Corrupted Btrfs Filesystem in Minutes
cubiclenate.com·44m
The Agency Gap
benjamincongdon.me·12h
Building great SDKs
newsletter.pragmaticengineer.com·2d
Interview with Microsoft: Copilot, AI skills, and building a learning organization
the-decoder.com·6h
MAGIC: A Multi-Hop and Graph-Based Benchmark for Inter-Context Conflicts in Retrieval-Augmented Generation
arxiv.org·1d
Complementarity-driven Representation Learning for Multi-modal Knowledge Graph Completion
arxiv.org·2d
Loading...Loading more...