Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides
Building a magic door
hackster.ioยท3h
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท3d
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.orgยท1d
Loading...Loading more...