Articles borretti.me
Language Pragmatics Engineering
borretti.me·156w
NixOS for the Impatient
borretti.me·156w
Typing Persian in Emacs
borretti.me·156w
How Capabilities Work in Austral
borretti.me·156w
Two Years of OCaml
borretti.me·160w
My Experience with Bupropion
borretti.me·160w
Effective Spaced Repetition
borretti.me·160w
Dependency Resolution Made Simple
borretti.me·160w
Spaced Repetition is Checkpointing for Learning
borretti.me·160w
The Best of Orion’s Arm
borretti.me·160w
Design of the Austral Compiler
borretti.me·165w
The Gallery of Sand
borretti.me·165w
Building a DIY Clozemaster
borretti.me·169w
Shells are Two Things
borretti.me·169w
And yet It Understands
borretti.me·60w·Hacker News
How Austral’s Linear Type Checker Works
borretti.me·173w
Roam, Twenty Years Before Roam
borretti.me·173w
Better XML Editing for Emacs
borretti.me·173w
A Brief Defense of XML
borretti.me·173w
Astronomical Calculations for Hard SF in Common Lisp
borretti.me·178w·Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help