Making a language with row types and bidirectional typing, targeting WASMthunderseethe.dev·4 pts·fanf2·0
A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agdablueberrywren.dev·2 pts·fanf2·0
The performance cost of RwLock vs. Crossbeam epoch in our read-heavy workloadpranitha.dev·2 pts·fanf2·0
Covariance and contravariance: a fresh look at an old issue (a primer in advance [pdf]irif.fr·1 pts·fanf2·0
Sound and complete flow typing with unions, intersections and negations [pdf]whileydave.com·1 pts·fanf2·0