type theory, safety, lifetimes, plt, syntax, macros
Thoughts on creating a tracking pointer class, part 1: Concept art
devblogs.microsoft.com·18h
Explicit code
skoop.dev·3d
Codeminer42 Dev Weekly #73
blog.codeminer42.com·3d
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·4h
The Beauty of Anisotropic Mesh Refinement: Omnitrees for Efficient Dyadic Discretizations
arxiv.org·1d
Loading...Loading more...