evolveyourmind

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

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 basically run any PC/Console game on any device provided a good-enough connection (eg. Nvidia NOW, Xbox cloud gaming etc)

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-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}}}>>

[1] https://desislav.dev/blog/tsfp/

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

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-lambda-calc

- Brainfuck through types: https://github.com/susisu/typefuck

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 uninstall the "insecure" app

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://github.com/EvolveYourMind/ts-regexp

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

Meaning 40% of the code on GitHub is insecure

Same issue on a MacBook Pro 16" (not M1).

Very small cracks started appearing around the camera and in the next couple of days white bars started appearing over the whole screen until the display completely blacked out.

No AppleCare+ and not covered by warranty as I was considered responsible for the damage: 800 EUR repair with just 3 months warranty for the new display

Thanks. Yeah that would be better and bring a little more consistency, but since js is single-threaded it doesn't cause big issues.

That’s my exact same app with almost the same appstore experience.

It’s called Crypto Rocket and they initially rejected it just because of the icon (it had a frog on the Rocket, just for the meme). Then they rejected it because they associated it to simulated gambling. And now a month after the release they are going to remove it until I provide proper privacy and support information…

The app is also open source here https://evolveyourmind.github.io/CryptoRocket/

The real problem is that designers usually focus on a single device without considering any other screen size

This is illegal in most western countries

You should fix the checker to match the whole strings, not just substrings. One can pass the following example with just \. : Match cat. Match 896. Match ?=+. Skip abc1

The decreasing number worked, ty. Writing proofs with this will be impossible tho :D

How can I prove dfs graph termination in Agda? I tried passing "visited" subset but nothing

Meanwhile, apple doesn't accept my app because they claim the UI sucks