Blogroll.

Some links to sources I have found interesting.

Blogs and podcasts

• A Neighborhood of Infinity (Dan Piponi)
• Alexis King
• Corecursive
• John D. Cook
• Julia Evans
• Lambda the Ultimate

Ideas, books, and projects

• Data Science at the Command Line
• Language theoretic security
• Rosie Pattern Language
• SICP, javascript edition
• Tab language
• Unison language
• WireGuard
• Yggdrasil Network
• Z3 theorem prover