evolveyourmind

7 ms·

1.
by evolveyourmind 8mo ago
Have you successfully submitted a “malicious” paper that hacks these AI reviewers?
2.
by evolveyourmind 2y ago
https://github.com/desi-ivanov/ts-lambda-calc
3.
by evolveyourmind 2y ago
Nice! My version: https://github.com/desi-ivanov/ts-regexp
4.
by evolveyourmind 3y ago
Interesting number, but how many are actually that GPU-intensive?
5.
by evolveyourmind 3y ago
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 p
6.
by evolveyourmind 3y ago
You can also easily implement meta-languages. Eg. lambda calculus: https://github.com/desi-ivanov/ts-lambda-calc
7.
Show HN: RL from Scratch(github.com)
3 points by evolveyourmind 3y ago|0 comments
8.
by evolveyourmind 3y ago
Any benchmarks?
9.
by evolveyourmind 3y ago
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 automatic
10.
Functional Programming with TypeScript's Type System(desislav.dev)
90 points by evolveyourmind 3y ago|41 comments
11.
by evolveyourmind 3y ago
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
12.
by evolveyourmind 4y ago
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
13.
by evolveyourmind 4y ago
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
14.
by evolveyourmind 4y ago
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
15.
by evolveyourmind 4y ago
Goodbye internet as we knew it
16.
Show HN: Reinforcement Learning from Scratch with TypeScript(github.com)
7 points by evolveyourmind 4y ago|0 comments
17.
by evolveyourmind 4y ago
This is mindblowing
18.
by evolveyourmind 4y ago
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 - Brainfu
19.
Show HN: Type-Level RegExp Matching in TypeScript(github.com)
2 points by evolveyourmind 4y ago|0 comments
20.
by evolveyourmind 4y ago
Yes, knapsack can be optimally solved with these solvers. Indeed, the time complexity of these optimisers is exponential.
21.
by evolveyourmind 5y ago
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
22.
by evolveyourmind 5y ago
I was actually inspired by your ts-sql project! Amazing work
23.
by evolveyourmind 5y ago
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/EvolveYou
24.
Show HN: Type-level Lambda Calculus interpreter in TypeScript(github.com)
10 points by evolveyourmind 5y ago|1 comments
25.
Show HN: Lambda Calculus evaluation with type-annotations in TypeScript(github.com)
2 points by evolveyourmind 5y ago|0 comments
26.
Show HN: Type-level Regexp matching in TypeScript(github.com)
5 points by evolveyourmind 5y ago|1 comments
27.
by evolveyourmind 5y ago
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
28.
by evolveyourmind 5y ago
Meaning 40% of the code on GitHub is insecure
29.
by evolveyourmind 5y ago
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+ a
30.
by evolveyourmind 5y ago
Thanks. Yeah that would be better and bring a little more consistency, but since js is single-threaded it doesn't cause big issues.

More ›