Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
An OCC Idea
lambdacreate.com·1d
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·3h
Loading...Loading more...