More precisely, the introduction of SE-0142 and SE-0157 has made canonical type computation into an undecidable problem. I'll begin with the necessary background information before presenting my argument, and then outlining the next steps. Canonical type... (more…)

Google's plans on making Swift the first mainstream language with first-class language-integrated differentiable programming capabilities. What's so cool about Swift? (more…)

Swift starter project for solving Advent of Code challenges. - GitHub - apple/swift-aoc-starter-example: Swift starter project for solving Advent of Code challenges. (more…)

Ticketmaster says unprecedented demand caused tech issues, frustrating fans. Some Democrats say the problem is actually with the company's market power. (more…)

When a company implements 100% of the codebase in a language like Swift, there is a chance that in the future you may need to implement something that is not an… (more…)