H
F
Articles from borretti.me
Articles from borretti.me
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Articles from
borretti.me
Linear Types and Exceptions
(
borretti.me
)
15 days ago
You Need More Constraints
(
borretti.me
)
2024-5-10
Type Inference Was a Mistake
(
borretti.me
)
2024-3-31
Why Checked Exceptions Failed
(
borretti.me
)
2023-11-1
Type Systems for Memory Safety
(
borretti.me
)
2023-7-26
Test Against Reality
(
borretti.me
)
2023-7-9
Second-Class References
(
borretti.me
)
2023-6-12
Depth-First Procrastination
(
borretti.me
)
2023-6-9
Why Lisp Syntax Works
(
borretti.me
)
2023-6-6
Lisp
NixOS for the Impatient
(
borretti.me
)
2023-6-3
Language Pragmatics Engineering
(
borretti.me
)
2023-5-30
How Capabilities Work in Austral
(
borretti.me
)
2023-5-9
And Yet It Understands
(
borretti.me
)
2023-3-26
Design of the Austral Compiler
(
borretti.me
)
2023-3-10
Languages are not Ecosystems
(
borretti.me
)
2023-2-9
Shells are Two Things
(
borretti.me
)
2023-2-8
How Austral's Linear Type Checker Works
(
borretti.me
)
2023-1-29
A Brief Defense of XML
(
borretti.me
)
2023-1-7
XML
Introducing Austral: A Systems Language with Linear Types and Capabilities
(
borretti.me
)
2023-1-3
Astronomical Calculations for Hard SF in Common Lisp
(
borretti.me
)
2022-12-20
Lisp
Simplicity and Survival
(
borretti.me
)
2022-9-5
Lessons from Writing a Compiler
(
borretti.me
)
2022-7-15
Previous Page
Next Page