Our newest model: Chandra (OCR)
๐ปProgramming languages
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
๐ปProgramming languages
Flag this post
Reflection for Aggregates (2020)
๐Linear Types
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
๐นRust Finance
Flag this post
Speedrunning an RL Environment
๐ปProgramming languages
Flag this post
build system tradeoffs
๐Linear Types
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
๐Formal Methods
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Linear Types
Flag this post
Reflections on Trusting Trust (1984)
๐Linear Types
Flag this post
Loading...Loading more...