I can't understand why they invest so much in gaming. Gaming on such small devices is too uncomfortable, both for your eyes and your posture. In addition, with cloud gaming you can basically run any PC/Console game on any device provided a good-enough connection (eg. Nvidia NOW, Xbox cloud gaming etc)
Other than Monads, HKT can be used to easily write type-level functional programs [1]. This can for example help writing type-level parsers for other lanugages.
A real world use-case could be parsing GraphQL raw string queries and automatically infer the returned types based on a common schema, without using special code-generators.
For instance you can come up with some magic function `gql_parsed` like:
doc = gql_parsed`query GetUser { user { name }}`
where doc is inferred as something like
Doc<Query<{GetUser:{user:{name:string}}}>>
Seems very limited. I wonder if the same can be achieved with just stable diffusion and neighbor latent walks with very small steps. On the other hand the interpolation techniques with the GigaGAN txt2img produce much higher quality “videos” than this
Imagine the impact of such a crash to the whole humanity in the next years. Api crashes and suddenly all bots crash and half of the world is stuck for some hours
A containerized version of this thing would be def useful, as it installs global packages and assumes a lot of preinstalled binaries. The node image won't work alone tho, you'll python, pip, git, cpp compiler
And here the formalized proof in less than 150 lines of code (in Agda) for Brzozowski Derivatives for regex matching (and additional regular languages theorems): https://github.com/desi-ivanov/agda-regexp-automata
Imagine what average users will do after reading "This app does not support (Apple's) secure and private payments system". Clearly they would cancel the payment and probably uninstall the "insecure" app
If you want to learn more about the basics of theorem proving through dependent types, Wadler’s Agda tutorial at https://plfa.github.io would be a good starting point