blog.snork.dev

• 2025-01-19 Refinement types for input validation
• 2025-01-08 The Potential of Total Functional Programming
• 2025-01-07 2025 Predictions
• 2025-01-07 When to quit
• 2025-01-06 Don’t worry about someone stealing your idea
• 2025-01-03 The Surveillance Economy
• 2024-12-25 Why F# could be the next mainstream programming language
• 2024-12-25 Thoughts on LLMs
• 2024-12-19 The perfect program
• 2024-12-18 Pull requests are bad, actually
• 2024-12-18 The X-Y-Z fallacy
• 2024-12-16 Hello, world!
• 2024-12-16 iPython is pretty cool