type theory, safety, lifetimes, plt, syntax, macros
Children of the TI: Write Once, Run Anywhere
bumbershootsoft.wordpress.com·1d
This might be the most important AI paper of the year.
threadreaderapp.com·1d
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·2d
What I'm learning in 2024
waylonwalker.com·1d
Software Engineering Laws - Product Development
leadership.garden·3d
Loading...Loading more...