8 Oct 2024 |

ach | God, lambdas are great. | 14:37:14 |

Bowuigi | They truly are | 18:17:14 |

13 Oct 2024 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from ~#!/usr/mittwerk️ to ~#!/usr/mittwerk️ 🏳️⚧️. | 13:07:26 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from ~#!/usr/mittwerk️ 🏳️⚧️ to ~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈. | 13:11:27 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from ~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈 to ~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈🛆. | 13:13:31 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from ~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈🛆 to 🛆~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈. | 13:13:48 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from 🛆~#!/usr/mittwerk️ 🏳️⚧️🏳️🌈 to 🛆~#!/usr/mittwerk️. | 13:41:23 |

comonadic | Are we agree that we can generalize the quick sort algorithm to n dimension ? Like choosing a pivot for a tuple (a, b) will give us 4 partitions in the plane (instead of two in a line in quick sort algorithm). So 2 power of n partition for tuples of n length ... | 20:37:28 |

comonadic | And last generalization, it doesn't have to be number but something with an order defined (Ord typeclass in haskell) | 20:39:22 |

comonadic | The elements are not sorted because there is no order but organized in a tree | 20:51:26 |

comonadic | Well this make no sens ... | 21:27:05 |

comonadic | * Well this makes no sens ... | 21:28:08 |

14 Oct 2024 |

Bowuigi | How does this compare to W-types (of well founded trees, AKA constructive orders) | 02:12:20 |

Bowuigi | * How does this compare to W-types? (of well founded trees, AKA constructive orders) | 02:12:46 |

Bowuigi | Or M-types? (The coinductive version) | 02:13:03 |

comonadic | I have to think about it | 08:36:00 |

16 Oct 2024 |

| @atabzo:matrix.org joined the room. | 15:22:18 |

| @atabzo:matrix.org joined the room. | 15:22:28 |

| @atabzo:matrix.org left the room. | 15:22:35 |

19 Oct 2024 |

| @pierinevanboline:matrix.org left the room. | 23:42:43 |

23 Oct 2024 |

comonadic | I have been teaching math to my nephew and I made the association : number property = geometrical shape. For instance 9 is 3 squared can be drawn as a square of 3 boxes width and height, 9 is an odd number drawing it with a rectangle 2 x 4 plus one square. He understood a lot a properties like that, like adding two odd numbers will give you an even number (it is just plugin two representations together), he understood the 1 + 2 .. + n formula. Really drawing things gets really more intuitive for kids than formal calculus. | 16:53:51 |

Bowuigi | Keep going and your nephew will learn Group Theory | 17:22:01 |

comonadic | He already understands group's laws. I have been talking about structures a lot. The teacher said he was very advanced in math (years in advance). But I am not an elitist and just teaching him to see math as a beautiful thing ... | 17:24:53 |

24 Oct 2024 |

Bowuigi | It's funny how easy it is to make the rest of school maths near trivial. No idea why don't they teach abstract maths earlier | 01:51:21 |

| 🛆~#!/usr/mittwerk️💡 changed their display name from 🛆~#!/usr/mittwerk️ to 🛆~#!/usr/mittwerk️💡. | 05:03:23 |

comonadic | Exactly, it makes school math trivial. I wish I had an abstract teaching very soon too but I am not sure that it will be effective for all types of brains. Some childs would be lost in abstraction I guest... | 07:02:05 |

Bowuigi | I guess, but it wouldn't become much harder than the usual maths for them | 07:23:36 |

comonadic | * Exactly, it makes school math trivial. I wish I had an abstract teaching very soon too but I am not sure that it will be effective for all types of brains. Some childs would be lost in abstraction I guess... | 07:28:53 |

27 Oct 2024 |

comonadic | I teach my nefew a discipline that is at rhe line. It is just a matter of times before the machines produce code and so engineer disapears. In this survival game you have the people who make the ai (computer scientists with an heavy background in math). I tend to think only mathematcians survive in the production game. And so we will need to change the society according this new paradigm because if we let the oligarques do that they want they only have one solution in their pocket : maltuzianism. | 08:31:28 |

| @maxi:matrix.tu-berlin.de left the room. | 16:27:05 |