Newest at the top
| 2026-02-26 21:25:56 +0100 | <monochrom> | (In a Physics channel I would be saying "beta decay" >:) >:) ) |
| 2026-02-26 21:25:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-26 21:25:37 +0100 | <monochrom> | English b and v are associated with Greek beta and its Cyrillic equivalent. So you can have a transmutation from English b to Greek/Cyrillic beta to English v. This is known as beta reduction. >:) |
| 2026-02-26 21:25:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:23:25 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:22:52 +0100 | <mauke> | Mandelbrot being "almond bread", of course |
| 2026-02-26 21:22:16 +0100 | <monochrom> | haha |
| 2026-02-26 21:21:50 +0100 | <mauke> | that's like the English transliteration of the phonetic Russian spelling of the German words for <traditional costume> <bread> |
| 2026-02-26 21:20:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 21:18:48 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 21:16:48 +0100 | <jreicher> | (I can never remember the name) |
| 2026-02-26 21:16:21 +0100 | <jreicher> | https://en.wikipedia.org/wiki/Trakhtenbrot%27s_theorem |
| 2026-02-26 21:16:18 +0100 | <monochrom> | Yeah, I saw logic homework questions that showed some unprovable sentences that had only infinite counter-models. |
| 2026-02-26 21:15:34 +0100 | <EvanR> | I don't follow that precisely but knee jerk reaction is that's probably an eventually trivial consequence of whatever the definition of complete is xD |
| 2026-02-26 21:15:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:15:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 21:14:46 +0100 | <jreicher> | EvanR: one of the most confounding results I ever heard is that logic is not complete with respect to all finite models. You only get completeness if you allow infinite models. (Roughly speaking) |
| 2026-02-26 21:14:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 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) |