2025/11/30

Newest at the top

2025-11-30 23:58:48 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-11-30 23:57:18 +0100_gio(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-11-30 23:56:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-30 23:51:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 23:43:24 +0100euphores(~SASL_euph@user/euphores) euphores
2025-11-30 23:42:23 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-30 23:41:42 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-11-30 23:40:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 23:39:46 +0100trickard_trickard
2025-11-30 23:38:40 +0100wickedjargon(~user@206.108.193.26) (Ping timeout: 245 seconds)
2025-11-30 23:37:13 +0100euphores(~SASL_euph@user/euphores) (Ping timeout: 264 seconds)
2025-11-30 23:36:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 23:35:47 +0100Googulator60(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 23:35:41 +0100Googulator22(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 23:35:31 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-11-30 23:34:43 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-11-30 23:30:31 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-11-30 23:30:02 +0100 <hololeap> right on
2025-11-30 23:28:57 +0100 <Leary> hololeap, [exa]: X is witness to P if the existence of X proves P. The most familiar kind of witness is the counterexample, which witnesses the negation of a universal statement.
2025-11-30 23:25:30 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-11-30 23:25:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 23:25:13 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-30 23:25:03 +0100tromp(~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-30 23:24:10 +0100iqubic(~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) iqubic
2025-11-30 23:23:23 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-30 23:22:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-30 23:21:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Client Quit)
2025-11-30 23:21:09 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-30 23:21:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 23:19:27 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-30 23:17:53 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-11-30 23:10:55 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-11-30 23:09:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 23:08:20 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-11-30 23:05:59 +0100jmcantrell_(~weechat@user/jmcantrell) (Quit: WeeChat 4.8.0)
2025-11-30 23:05:44 +0100Googulator22(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 23:05:36 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 23:05:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 23:04:26 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-30 23:00:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-11-30 22:58:57 +0100jreicher(~user@user/jreicher) jreicher
2025-11-30 22:58:49 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-11-30 22:54:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 22:50:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 22:46:55 +0100AlexNoo_AlexNoo
2025-11-30 22:44:48 +0100ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-11-30 22:44:48 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 22:39:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-30 22:36:16 +0100iqubic(~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) (Remote host closed the connection)
2025-11-30 22:36:07 +0100 <iqubic> Thanks.