From one perspective, categories are just another algebraic structure, like groups, monoids and rings. They are these abstract things that have some abstract equational axioms and operations. They are the next stop on our magnificent category journey. A m... (more…)

Your browser isn’t supported anymore. Update it to get the best YouTube experience and our latest features. Learn more... (more…)

This sprint I have a ticket from the security team to investigate unencrypted snapshots in our AWS account and either encrypt them or delete them if no longer needed. In my initial attempt I just used the AWS web console, filtered by “Encryption: Not Encr... (more…)

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery ... (more…)

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=nWTvXbQHwWs Please support this podcast by checking out our sponsors: - Blinkist: https://b... (more…)