Viewing profile — evolveyourmind

Have you successfully submitted a “malicious” paper that hacks these AI reviewers?

https://github.com/desi-ivanov/ts-lambda-calc

Nice! My version: https://github.com/desi-ivanov/ts-regexp

Interesting number, but how many are actually that GPU-intensive?

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…

You can also easily implement meta-languages. Eg. lambda calculus: https://github.com/desi-ivanov/ts-lambda-calc

Any benchmarks?

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-ca…

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 …

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 py…

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…

Goodbye internet as we knew it

This is mindblowing

Some other type-only TS projects: - RegExp matching through types: https://github.com/desi-ivanov/ts-regexp - Lambda calculus through types: https://github.com/desi-ivanov/ts-lambd…

Yes, knapsack can be optimally solved with these solvers. Indeed, the time complexity of these optimisers is exponential.

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 uninst…

I was actually inspired by your ts-sql project! Amazing work

Here’s an implementation of lambda calculus (which is TC) at type level in TypeScript: https://github.com/EvolveYourMind/ts-lambda-calc And here a type-level RegExp matcher: https:…