BlinkingJon P2026-09-21 | BlinkingAizawa AttractorJon P2025-04-10 | ...Lorenz AttractorJon P2025-04-10 | ...On the discovery of non-linear mathematicsJon P2025-04-07 | ...Florence The Fifth Element TutorialJon P2023-11-24 | This is a tutorial for the game Florence, The Fifth Element, which you can play here: https://florencethefifthelement.netlify.app/
Feel free to add a comment if you have any questions and I'll try to answer :)
If you want to join the community you can here: discord.gg/QqbUUb3j5UFlorence: The Fifth Element TutorialJon P2023-07-18 | This is a tutorial for the game Florence, The Fifth Element, which you can play here: https://florencethefifthelement.netlify.app/
Feel free to add a comment if you have any questions and I'll try to answer :)
If you want to join the community you can here: discord.gg/je5QZKjHigh Stakes Maths 6: What is the Unique Prime Factorisation of 54?Jon P2022-08-12 | This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 6: Aliens, metamath, Wolfram Problem Generator, Is 20 Prime?Jon P2022-08-02 | This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 5.5: Aliens, metamath, Wolfram Problem Generator, 11 || 1296 ???Jon P2022-08-01 | This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 5: Aliens, metamath, Wolfram Problem Generator, 4 || 32 ???Jon P2022-07-31 | This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 4: Aliens, metamath, Wolfram Problem Generator, 24 / 3 = ?????Jon P2022-07-30 | This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 3: Aliens, metamath, Wolfram Problem Generator, 7 x 5 = ?????Jon P2022-07-24 | This is a video about a scifi scenario in which it would make sense to rigorously prove a simple theorem all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths 2: Aliens, metamath, Wolfram Problem Generator, 9 - 2 = ????Jon P2022-07-23 | This is a video about a scifi scenario in which it would make sense to rigorously prove 9-2 all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2High Stakes Maths: Aliens, metamath, Wolfram Problem Generator, 5 + 4 = ?????Jon P2022-07-22 | This is a video about a scifi scenario in which it would make sense to rigorously prove 5+4 all the way from the ZFC axioms using metamath.
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
github.com/digama0/mmj2Solving Project Euler #5 with OpenAI CodexJon P2021-08-26 | A series using AI to solve mathematical and coding challenges.Solving Project Euler #4 with OpenAI CodexJon P2021-08-26 | A series using AI to solve mathematical and coding challenges.Solving Project Euler #3 with OpenAI CodexJon P2021-08-25 | The third video in a series using AI to solve mathematical and coding challenges.Solving Project Euler #2 with OpenAI CodexJon P2021-08-25 | The second video in a series using AI to solve mathematical and coding challenges, with some historical digressions about Fibonacci.Solving Project Euler #1 with OpenAI CodexJon P2021-08-25 | The first video in a series using AI to solve mathematical and coding challenges.Procedural LiquidJon P2020-12-22 | ...Lotka Volterra Simple ModelJon P2019-09-20 | ...Circular procedural clade diagramsJon P2019-08-04 | ...Colony of cellsJon P2019-03-21 | ...Procedural FishJon P2019-02-02 | ...Pygame Quad TreeJon P2019-01-01 | ...collision test 1000 polys in pure JSJon P2018-12-21 | test collision with the mouse with 1000 non-convex polys in pure JS.SmokeJon P2018-05-01 | A poor imitation of the smoke from a cigarette3D Curl Noise with ParticlesJon P2018-05-01 | So particallyLots of particlesJon P2018-04-28 | ...Particles in a fluid fieldJon P2018-04-27 | ParticlesFloaty cloudsJon P2018-04-19 | So floaty light.softbodyJon P2018-03-30 | Thrive prototype for softbody, multicellular creatures.Modelling a cell membraneJon P2016-08-06 | You can see the source code for this project here
the amoeba video was included from here under the creative commons licence
youtube.com/watch?v=JxPuZw1LbeEA Better FlowerJon P2015-11-16 | ...Procedural Tree BranchJon P2015-10-27 | Making a procedural tree branch.Spectral CompositionsJon P2015-10-27 | Does a photoreceptor fire when it sees light which has passed through an atmosphere and bounced off a pigment?membrane smoothJon P2015-07-23 | A smoother, less jerky, membrane.SwarmJon P2015-04-08 | ...treesJon P2015-02-21 | A proceedural tree generatorAmoebaJon P2015-01-26 | Deformed Membrane that chases a point.
If you are interested in how this works and the development process behind it have a look at this page