Newest at the top
| 2026-02-26 21:12:28 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-02-26 21:11:22 +0100 | <mauke> | chaos computer category |
| 2026-02-26 21:10:39 +0100 | <monochrom> | Oh heh my mind auto-corrected that typo. :) |
| 2026-02-26 21:10:08 +0100 | <monochrom> | Every Arrow is also a Category so I think you're right on. |
| 2026-02-26 21:10:06 +0100 | <EvanR> | cartesian closed category |
| 2026-02-26 21:10:01 +0100 | <EvanR> | blahhhhh |
| 2026-02-26 21:09:51 +0100 | <mauke> | cartesian category category |
| 2026-02-26 21:09:43 +0100 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2026-02-26 21:09:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:09:00 +0100 | <EvanR> | which has some overlap with Arrow ? |
| 2026-02-26 21:08:49 +0100 | <EvanR> | "curry that works for any Arrow" is screaming to me "actually, any cartesian category category" ? |
| 2026-02-26 21:07:06 +0100 | <monochrom> | On odd-numbered days everything blows my mind. On even-numbered days everything looks unsurprising. |
| 2026-02-26 21:06:43 +0100 | ethan1 | (ethan@tilde.team) (WeeChat 4.7.1) |
| 2026-02-26 21:06:33 +0100 | <EvanR> | sometimes jumping straight to infinity is much easier to comprehend |
| 2026-02-26 21:06:27 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-26 21:05:46 +0100 | <EvanR> | some finite numbers are... really big |
| 2026-02-26 21:05:33 +0100 | <EvanR> | is this more or less mindblowing |
| 2026-02-26 21:05:21 +0100 | <EvanR> | alternatively imagine a number system where there are finite numbers between 0 and 1, like fixed point numbers |
| 2026-02-26 21:02:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-26 21:02:07 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:00:59 +0100 | <jreicher> | "The idea that there are infinitely many numbers between 0 and 1 is really amazing to me". Just wait until they learn about dense vs compact. |
| 2026-02-26 20:58:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:56:20 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-26 20:54:45 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 2026-02-26 20:54:17 +0100 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-02-26 20:54:05 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 20:53:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:49:05 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-26 20:48:35 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-26 20:48:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 20:47:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-26 20:47:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-02-26 20:47:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 20:45:56 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-26 20:43:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:42:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-26 20:40:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 20:37:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:35:21 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:30:34 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 20:26:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:25:44 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:23:45 +0100 | <monochrom> | It should be useful for any ArrowApply then, aka Monad. |
| 2026-02-26 20:20:57 +0100 | <haskellbridge> | <ijouw> I made a curry that works for any Arrow; used it to define ($) = curryArrow ArrowApply.app; and noticed it is useless for Arrows that are not (->) |
| 2026-02-26 20:20:23 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-26 20:19:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:19:47 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-26 20:19:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 20:19:32 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-02-26 20:17:06 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |