Alkemet News
What TLA+ can and can't check (buttondown.com)

112 points

byb-man

8 hours ago |

27 comments