Here is some reading and learning material for you:
- Type Theory and Functional Programming: free HTML and PDF version
- Most favorited Hacker News posts of all time: the most favorited articles of the top 10k most active Hacker News members
- Introduction to Ada: free course on the basics ofThe Ada programming language
- Reverse proxy with Caddy 2: how to create a reverse proxy with Caddy 2
- One Guy Ruined Hacktoberfest 2020: one guy on YouTube encouraged his followers to make spam requests to swipe a free T-shirt for Hacktoberfest