Newest at the top
| 2024-09-22 15:25:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 15:22:08 +0200 | lucy | (~lucy@user/lucy) |
| 2024-09-22 15:18:45 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
| 2024-09-22 15:18:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-22 15:18:32 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) |
| 2024-09-22 15:17:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-22 15:17:38 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) (Read error: Connection reset by peer) |
| 2024-09-22 15:15:16 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 244 seconds) |
| 2024-09-22 15:11:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-22 15:11:35 +0200 | euleritian | (~euleritia@176.2.9.127) (Read error: Connection reset by peer) |
| 2024-09-22 15:10:42 +0200 | euleritian | (~euleritia@176.2.9.127) |
| 2024-09-22 15:09:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-22 15:00:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-22 14:55:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 14:44:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-22 14:43:59 +0200 | <zzz> | clear and simple |
| 2024-09-22 14:43:01 +0200 | <zzz> | gentauro: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types |
| 2024-09-22 14:39:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 14:36:57 +0200 | Batzy | (~quassel@user/batzy) |
| 2024-09-22 14:36:29 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 252 seconds) |
| 2024-09-22 14:31:39 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) |
| 2024-09-22 14:31:38 +0200 | ash3en | (~Thunderbi@146.70.124.222) |
| 2024-09-22 14:31:22 +0200 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
| 2024-09-22 14:30:47 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) (Remote host closed the connection) |
| 2024-09-22 14:30:05 +0200 | <tomsmeding> | ADTs don't include functions, but indeed the "number of elements" rule-of-thumb continues to hold :) |
| 2024-09-22 14:29:01 +0200 | <tomsmeding> | gentauro: in category theory these things are called "products", "coproducts" and "exponentials" |
| 2024-09-22 14:28:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-22 14:24:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 14:23:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-22 14:23:40 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-22 14:15:34 +0200 | <gentauro> | ncf: exponential -> `|a->b| = |b|^|a|` I think I got it :) |
| 2024-09-22 14:13:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-22 14:11:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-09-22 14:08:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 14:06:41 +0200 | ACuriousMoose | (~ACuriousM@156.34.161.188) |
| 2024-09-22 14:01:26 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) |
| 2024-09-22 14:00:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2024-09-22 14:00:02 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) (Remote host closed the connection) |
| 2024-09-22 13:59:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-22 13:59:24 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) |
| 2024-09-22 13:58:49 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-09-22 13:58:23 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-09-22 13:54:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-22 13:53:50 +0200 | <gentauro> | ncf: Thx anyway :) |
| 2024-09-22 13:53:42 +0200 | ACuriousMoose | (~ACuriousM@156.34.161.188) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-22 13:49:12 +0200 | <gentauro> | ncf: Hmmmm |
| 2024-09-22 13:46:47 +0200 | <ncf> | functions are not typically included in algebraic data types, but are you looking for "exponential"? https://ncatlab.org/nlab/show/exponential+object |
| 2024-09-22 13:43:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-22 13:43:21 +0200 | <gentauro> | Remark: Back in the days, it was defined on the wiki page for ADT, but it seems that it has been removed :( |
| 2024-09-22 13:42:27 +0200 | <gentauro> | hey, what are function-types called in Algebraic Data Types? I know we mostly refer ADT's only to product and sum types, but I recall that functions types are also part of the pod (link to website pointing to theory would be gladly appreciated). Thx :) |