Newest at the top
| 2026-02-26 21:52:22 +0100 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
| 2026-02-26 21:51:59 +0100 | ChanServ | (ChanServ@services.libera.chat) (shutting down) |
| 2026-02-26 21:51:59 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-02-26 21:51:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (*.net *.split) |
| 2026-02-26 21:51:34 +0100 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | califax | (~califax@user/califx) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | tusko | (~uwu@user/tusko) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2026-02-26 21:51:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-26 21:51:21 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2026-02-26 21:50:15 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:49:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 268 seconds) |
| 2026-02-26 21:48:23 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-26 21:48:16 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 21:47:58 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2026-02-26 21:47:41 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-02-26 21:47:38 +0100 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2026-02-26 21:47:24 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-26 21:47:20 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2026-02-26 21:47:20 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 21:46:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:45:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:41:56 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:41:07 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2026-02-26 21:41:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:37:38 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-02-26 21:36:33 +0100 | ChanServ | +o monochrom |
| 2026-02-26 21:33:54 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 21:30:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:29:39 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:27:49 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 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) |