💾 Archived View for dcreager.net › reading-log.gmi captured on 2023-11-14 at 07:30:17. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-09-08)
➡️ Next capture (2024-02-05)
-=-=-=-=-=-=-
I seem to be adding links here much faster than I can read them, but this at least lets me keep track of what I _hope_ to read.
2023-07-19 “Soundly Handling Linearity” and “Generic Programming with Extensible Data Types”
2023-07-14 “Ill-typed programs don't evaluate”
2023-04-26 “Do be do be do”
2023-04-24 “Interval Parsing Grammars for file format parsing”
2023-04-14 “A logical account of subtyping for session types”
2023-04-12 “Secure information flow via linear continuations”
2023-01-27 “Type inference in systems of recursive types with subtyping”
2023-01-13 “Recursive subtyping for all” and “Making a Type Difference”
2023-01-11 “The emperor’s old clothes”
2022-12-20 “The Functional Machine Calculus”
2022-12-16 “Execution vs parse-based language servers”
2022-12-05 Style over substance and “Trie-Compressed Intersectable Sets”