1
What I've Learned About Formal Methods in Half a Year
A retrospective on a few months of working on a graduate degree in computer science.
jakob.space
On a whim, I recently migrated all of my Git repositories to a cgit instance on WIREDNET . It's caused some headaches because the server-side rendering can be quite resource intensive. Mere minutes after setting it up, the fans on my server spun up because the repos were being scraped by ClaudeBot and friends. I…
- Popular posts
- 5
- Total points
- 696
- HN comments
- 377
- Rank
- #3,484 personal
Visit jakob.space → RSS feedOn Hacker News Jun 2018 – Apr 2023
Software Engineering 2Programming Languages 2Web & Frontend 1Systems & Performance 1Life, Learning & Writing 1History & Retro Computing 1