Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides
DigiSim
hackster.io·7h
garbage collection
jwz.org·3d
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·1d
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·2d
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
github.com·22h
Loading...Loading more...