Recent @evolveyourmind Activity
Show HN: Type-Level RegExp Matching in TypeScript
2 points • 0 comments
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
Show HN: Type-level Lambda Calculus interpreter in TypeScript
10 points • 1 comments
Show HN: Lambda Calculus evaluation with type-annotations in TypeScript
2 points • 0 comments
Show HN: Type-level Regexp matching in TypeScript
5 points • 1 comments
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