I am referring to this slide : https://youtu.be/EVwQsvof7Hw?t=1646
[dead]
Weird Things Happen When Math Gets Too Expressive https://www.youtube.com/watch?v=EVwQsvof7Hw Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.
Human race is indeed fascinating. We kill millions of cows for food while doing the following in the same breath. A bronze sculpture unveiled in March 2026 in Almaty, Kazakhstan (near the Europe/Asia border region),…
On the efficiency side, why do we need 10 companies doing the same thing. "Don't Repeat Yourself" principle would agree with your proposal.
I can't run my business without electricity. Yet we don't fear of its access being revoked. Sam makes the comparison of intelligence to electricity a lot. So we are on the path to these systems becoming utilities.
https://en.wikipedia.org/wiki/Superformula Have you heard of Superformula ? I remember playing with them few years ago.
You should collaborate with Huygens Optics. I find his videos thought provoking https://youtu.be/hYyrgDEJLOA
AI told me my ideas are so good that I should write a book. Luckily I am in charge of I spend my time. Idea guys are very common in game industry.
> Certain regions of the world or U.S. seem to care a lot more about peer-perception than others. This wasn't true even for US few decades ago. Jerry Seinfeld - MONEY became EVERYTHING…
Yes. It is similar to the military saying that, "cemetry is full of indespensible people." We think the company won't thrive without us, but flow of life finds a way to do without it. This realization can be good or bad…
One great opportunity is for expert-developers to push the boundary of better algorithms or libraries. No one rolls out their own cryptographic library, majority problems faced in our systems are common. If that common…
Another question is would a future world require so much code that we turn code generation into a service itself. Perhaps an analogy will help. e.g. do we use our lawnmowers 24x7? I understand we will have far more code…
There is a parody youtube video in which one delusional pro-blockchain speaker is talking about how he wants his food to be put on blockchain which was the audio part, the video part was showing how a no-name China…
A glove (software) that fits the hand (company processes) perfectly.
I hope AI will make automated translation of such legacy codebases into any favourite langauge possible in future. Fingers crossed.
https://www.goodreads.com/book/show/42041926-the-scout-minds... This is my favourite book. I have followed their podcast for so long. You might like the ideas in this book. Or you can watch the 1-hour lecture by her on…
Also blaming the tool for the crime is some sort of fallacy. I don't know name you can ask AI.
Nothing wrong in that. But in research we have a thing called survey the already existing literature on the problem and checking what worked or didn't. If you want to learn by doing mistakes of your own, be my guest.…
Yes it could just simply be a syntactic sugar for a complex operation taking in 4 numbers. But this reminds me of Mirror Symmetry between two theories in String Theory where complex calculations in one theory gets…
I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic. What is PLUS times…
This is like blaming a knife as being a killer weapon. Social media is inherently good if owners of the platforms allow for good interactions to take place. But given the mismatch between incentives alignment, we don't…
If you think you have found the right idea to devote your next 5-10 years of life, then normatively thinking you should be able to create a 500-1000 pages PPT to document all the strengths and shortcomings of your…
I remember Facebook while developing it's mobile app in the early days of smartphones did similar tests. https://highscalability.com/how-facebook-makes-mobile-work-a...
The Search for the Longest Infinite Chess Game https://youtu.be/b-Bb_TyhC1A
I am referring to this slide : https://youtu.be/EVwQsvof7Hw?t=1646
[dead]
Weird Things Happen When Math Gets Too Expressive https://www.youtube.com/watch?v=EVwQsvof7Hw Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.
Human race is indeed fascinating. We kill millions of cows for food while doing the following in the same breath. A bronze sculpture unveiled in March 2026 in Almaty, Kazakhstan (near the Europe/Asia border region),…
On the efficiency side, why do we need 10 companies doing the same thing. "Don't Repeat Yourself" principle would agree with your proposal.
I can't run my business without electricity. Yet we don't fear of its access being revoked. Sam makes the comparison of intelligence to electricity a lot. So we are on the path to these systems becoming utilities.
https://en.wikipedia.org/wiki/Superformula Have you heard of Superformula ? I remember playing with them few years ago.
You should collaborate with Huygens Optics. I find his videos thought provoking https://youtu.be/hYyrgDEJLOA
AI told me my ideas are so good that I should write a book. Luckily I am in charge of I spend my time. Idea guys are very common in game industry.
> Certain regions of the world or U.S. seem to care a lot more about peer-perception than others. This wasn't true even for US few decades ago. Jerry Seinfeld - MONEY became EVERYTHING…
Yes. It is similar to the military saying that, "cemetry is full of indespensible people." We think the company won't thrive without us, but flow of life finds a way to do without it. This realization can be good or bad…
One great opportunity is for expert-developers to push the boundary of better algorithms or libraries. No one rolls out their own cryptographic library, majority problems faced in our systems are common. If that common…
Another question is would a future world require so much code that we turn code generation into a service itself. Perhaps an analogy will help. e.g. do we use our lawnmowers 24x7? I understand we will have far more code…
There is a parody youtube video in which one delusional pro-blockchain speaker is talking about how he wants his food to be put on blockchain which was the audio part, the video part was showing how a no-name China…
A glove (software) that fits the hand (company processes) perfectly.
I hope AI will make automated translation of such legacy codebases into any favourite langauge possible in future. Fingers crossed.
https://www.goodreads.com/book/show/42041926-the-scout-minds... This is my favourite book. I have followed their podcast for so long. You might like the ideas in this book. Or you can watch the 1-hour lecture by her on…
Also blaming the tool for the crime is some sort of fallacy. I don't know name you can ask AI.
Nothing wrong in that. But in research we have a thing called survey the already existing literature on the problem and checking what worked or didn't. If you want to learn by doing mistakes of your own, be my guest.…
Yes it could just simply be a syntactic sugar for a complex operation taking in 4 numbers. But this reminds me of Mirror Symmetry between two theories in String Theory where complex calculations in one theory gets…
I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic. What is PLUS times…
This is like blaming a knife as being a killer weapon. Social media is inherently good if owners of the platforms allow for good interactions to take place. But given the mismatch between incentives alignment, we don't…
If you think you have found the right idea to devote your next 5-10 years of life, then normatively thinking you should be able to create a 500-1000 pages PPT to document all the strengths and shortcomings of your…
I remember Facebook while developing it's mobile app in the early days of smartphones did similar tests. https://highscalability.com/how-facebook-makes-mobile-work-a...
The Search for the Longest Infinite Chess Game https://youtu.be/b-Bb_TyhC1A