| 2026-04-27 00:04:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-27 00:07:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e58240d60ca2a2d2b672.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-27 00:12:10 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-04-27 00:12:12 +0000 | SurrealHG45 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) |
| 2026-04-27 00:13:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 00:15:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 00:16:02 +0000 | SurrealHG | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) (Ping timeout: 245 seconds) |
| 2026-04-27 00:18:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 00:18:29 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-04-27 00:19:45 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 245 seconds) |
| 2026-04-27 00:20:09 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-27 00:22:00 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2026-04-27 00:22:44 +0000 | SurrealHG69 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) |
| 2026-04-27 00:26:06 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 256 seconds) |
| 2026-04-27 00:26:27 +0000 | SurrealHG45 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) (Ping timeout: 245 seconds) |
| 2026-04-27 00:27:08 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-04-27 00:28:26 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 252 seconds) |
| 2026-04-27 00:29:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 00:31:52 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-04-27 00:32:20 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-27 00:33:20 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-27 00:34:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-27 00:35:44 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 256 seconds) |
| 2026-04-27 00:35:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-27 00:36:23 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-04-27 00:36:25 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 245 seconds) |
| 2026-04-27 00:39:04 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2026-04-27 00:41:09 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Ping timeout: 245 seconds) |
| 2026-04-27 00:41:38 +0000 | hadronized | (2d33342fd7@2a03:6000:1812:100::14e0) (Ping timeout: 252 seconds) |
| 2026-04-27 00:42:24 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 245 seconds) |
| 2026-04-27 00:42:24 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 245 seconds) |
| 2026-04-27 00:44:48 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 256 seconds) |
| 2026-04-27 00:44:56 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 252 seconds) |
| 2026-04-27 00:45:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 00:45:17 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
| 2026-04-27 00:45:22 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 256 seconds) |
| 2026-04-27 00:45:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 00:46:00 +0000 | rprospero_ | (eadde01e73@user/rprospero) (Ping timeout: 245 seconds) |
| 2026-04-27 00:46:10 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 248 seconds) |
| 2026-04-27 00:46:16 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2026-04-27 00:46:21 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 272 seconds) |
| 2026-04-27 00:46:46 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 244 seconds) |
| 2026-04-27 00:47:04 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 256 seconds) |
| 2026-04-27 00:47:05 +0000 | hadronized | (2d33342fd7@2a03:6000:1812:100::14e0) hadronized |
| 2026-04-27 00:47:25 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2026-04-27 00:47:37 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2026-04-27 00:47:47 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-04-27 00:49:00 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-27 00:49:03 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2026-04-27 00:49:19 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-04-27 00:49:43 +0000 | rprospero_ | (eadde01e73@user/rprospero) rprospero |
| 2026-04-27 00:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 00:50:08 +0000 | SurrealHG60 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) |
| 2026-04-27 00:50:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2026-04-27 00:53:57 +0000 | SurrealHG69 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) (Ping timeout: 245 seconds) |
| 2026-04-27 00:55:11 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2026-04-27 01:00:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 01:03:30 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-04-27 01:05:22 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-27 01:16:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 01:20:24 +0000 | SurrealHG60 | (~SurrealHG@2a02:3035:686:7d9b:d01c:80b1:865e:d11f) (Quit: Client closed) |
| 2026-04-27 01:21:17 +0000 | bionade24 | (~quassel@server2.oscloud.info) (Ping timeout: 244 seconds) |
| 2026-04-27 01:21:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 01:22:19 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2026-04-27 01:31:06 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-27 01:31:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 01:31:54 +0000 | synchromesh | (~john@139.180.114.128) (Ping timeout: 246 seconds) |
| 2026-04-27 01:31:59 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:85cf:e991:634:c885) synchromesh |
| 2026-04-27 01:32:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 01:32:32 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-04-27 01:32:46 +0000 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-04-27 01:32:56 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-27 01:34:22 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-27 01:36:18 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2026-04-27 01:36:41 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:85cf:e991:634:c885) (Ping timeout: 248 seconds) |
| 2026-04-27 01:37:29 +0000 | djspacewhale | (~djspacewh@user/djspacewhale) djspacewhale |
| 2026-04-27 01:37:41 +0000 | djspacewhale | (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2026-04-27 01:39:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 01:41:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 01:45:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 01:46:27 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-04-27 01:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 02:00:38 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2026-04-27 02:01:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 02:01:56 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-04-27 02:04:59 +0000 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
| 2026-04-27 02:06:06 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-04-27 02:12:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 02:12:44 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-27 02:17:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 02:22:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 02:24:33 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-27 02:25:01 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 02:27:18 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2026-04-27 02:27:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-04-27 02:28:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 02:33:30 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:54dc:70ac:a1ef:7479) |
| 2026-04-27 02:33:30 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:54dc:70ac:a1ef:7479) (Changing host) |
| 2026-04-27 02:33:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 02:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 02:35:41 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-04-27 02:37:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-27 02:38:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-27 02:43:01 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-27 02:43:26 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-27 02:44:04 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 02:46:52 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-27 02:48:14 +0000 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-04-27 02:48:42 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-27 02:48:46 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2026-04-27 02:49:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:54dc:70ac:a1ef:7479) |
| 2026-04-27 02:49:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:54dc:70ac:a1ef:7479) (Changing host) |
| 2026-04-27 02:49:28 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 02:53:52 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-27 02:59:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 03:04:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-27 03:06:13 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 03:06:47 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 244 seconds) |
| 2026-04-27 03:10:49 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-27 03:11:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 03:15:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-27 03:15:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 03:16:12 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2026-04-27 03:20:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 03:31:27 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 03:32:30 +0000 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-04-27 03:33:40 +0000 | tzh | (~tzh@76.115.131.146) tzh |
| 2026-04-27 03:33:54 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-27 03:35:26 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-27 03:36:14 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-27 03:36:37 +0000 | humasect | (~humasect@192.249.132.90) (Client Quit) |
| 2026-04-27 03:38:35 +0000 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-04-27 03:47:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 03:52:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 03:53:39 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 245 seconds) |
| 2026-04-27 03:57:38 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 04:03:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 04:06:59 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-27 04:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 04:18:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 04:25:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 04:36:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 04:41:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 04:52:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 04:53:20 +0000 | marinelli | (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-04-27 04:54:58 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-04-27 04:57:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 05:07:50 +0000 | williu5 | (~williu5@user/williu5) (Ping timeout: 252 seconds) |
| 2026-04-27 05:08:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 05:13:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 05:17:15 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-27 05:24:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 05:28:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-27 05:34:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-27 05:36:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 05:39:57 +0000 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Quit: gn) |
| 2026-04-27 05:41:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 05:43:20 +0000 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2026-04-27 05:49:34 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2026-04-27 05:52:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 05:57:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-27 06:08:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 06:10:58 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2026-04-27 06:11:54 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-27 06:13:14 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-27 06:13:57 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-27 06:14:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 06:14:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-27 06:17:39 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 06:19:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-27 06:26:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 06:29:05 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 06:31:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 06:32:15 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 245 seconds) |
| 2026-04-27 06:36:30 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-27 06:41:10 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-27 06:41:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 06:43:44 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-27 06:43:51 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-27 06:47:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 06:47:54 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-04-27 06:57:16 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Read error: Connection reset by peer) |
| 2026-04-27 06:57:22 +0000 | polux2 | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2026-04-27 07:00:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 07:04:49 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-27 07:04:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-27 07:07:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 07:15:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 07:20:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 07:29:52 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-04-27 07:31:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 07:36:27 +0000 | marinelli | (~weechat@brrr.fr) marinelli |
| 2026-04-27 07:36:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 07:37:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 07:42:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 07:43:25 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-27 07:47:47 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-27 07:52:01 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 07:53:30 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 07:53:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 07:55:36 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-27 07:58:37 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:ad04:2392:e79f:248) |
| 2026-04-27 07:58:37 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:ad04:2392:e79f:248) (Changing host) |
| 2026-04-27 07:58:37 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 08:00:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 08:01:45 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 248 seconds) |
| 2026-04-27 08:08:54 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-27 08:11:00 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 245 seconds) |
| 2026-04-27 08:12:18 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds) |
| 2026-04-27 08:12:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 08:17:59 +0000 | tzh | (~tzh@76.115.131.146) (Quit: zzz) |
| 2026-04-27 08:19:05 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 08:19:05 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-27 08:19:05 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-27 08:19:11 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-04-27 08:19:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 08:22:34 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-27 08:22:57 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-04-27 08:23:00 +0000 | Server | +Cnt |
| 2026-04-27 08:24:12 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 246 seconds) |
| 2026-04-27 08:24:17 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-04-27 08:24:54 +0000 | dminuoso | (~weechat@user/dminuoso) (Ping timeout: 246 seconds) |
| 2026-04-27 08:24:54 +0000 | sshine | (~simon@dao.mechanicus.xyz) (Ping timeout: 246 seconds) |
| 2026-04-27 08:25:48 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 255 seconds) |
| 2026-04-27 08:26:08 +0000 | dminuoso | (~weechat@user/dminuoso) dminuoso |
| 2026-04-27 08:27:26 +0000 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-04-27 08:27:26 +0000 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-04-27 08:27:26 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-04-27 08:27:26 +0000 | ChanServ | +v lambdabot |
| 2026-04-27 08:27:42 +0000 | flukiluke_ | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2026-04-27 08:28:03 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-04-27 08:28:03 +0000 | ChanServ | +v yahb2 |
| 2026-04-27 08:28:24 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 246 seconds) |
| 2026-04-27 08:30:45 +0000 | sshine | (~simon@2a01:4f8:1c0c:718c::1) sshine |
| 2026-04-27 08:31:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 08:32:35 +0000 | flukiluke_ | flukiluke |
| 2026-04-27 08:36:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 08:38:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 08:43:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 08:44:41 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-27 08:44:58 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 08:45:52 +0000 | humasect | (~humasect@192.249.132.90) (Quit: Leaving...) |
| 2026-04-27 08:46:34 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 248 seconds) |
| 2026-04-27 08:50:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-04-27 08:54:08 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-04-27 08:54:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 08:55:45 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 08:58:46 +0000 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve |
| 2026-04-27 08:58:50 +0000 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) () |
| 2026-04-27 08:59:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 09:00:31 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e58245f020338174dc95.dip0.t-ipconnect.de) |
| 2026-04-27 09:02:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 09:03:05 +0000 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Read error: Connection reset by peer) |
| 2026-04-27 09:04:03 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-27 09:04:12 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 09:06:03 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds) |
| 2026-04-27 09:06:46 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-27 09:07:31 +0000 | _testytest | (19541d7ff8@irc.cheogram.com) (Remote host closed the connection) |
| 2026-04-27 09:08:00 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-04-27 09:10:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 09:11:03 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-27 09:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 09:17:55 +0000 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2026-04-27 09:18:43 +0000 | ctk | (~calimero@2a03:75c0:1e:11::42) |
| 2026-04-27 09:19:08 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2026-04-27 09:19:32 +0000 | haetsal | (~quassel@221.138.168.192) (Read error: Connection reset by peer) |
| 2026-04-27 09:24:18 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2026-04-27 09:25:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 09:30:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 09:39:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5152a5a580b5c2ab95f.dip0.t-ipconnect.de) acidjnk |
| 2026-04-27 09:39:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 09:42:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e58245f020338174dc95.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-27 09:46:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 09:48:03 +0000 | tok | (~user@user/tok) tok |
| 2026-04-27 09:57:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 10:02:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 10:06:27 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-04-27 10:07:30 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-27 10:09:21 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-27 10:13:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 10:14:07 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 10:16:52 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 10:16:52 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-27 10:16:52 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-27 10:18:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 10:20:47 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-27 10:23:06 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-27 10:23:30 +0000 | Enrico63 | (~Enrico63@93-45-150-220.ip102.fastwebnet.it) Enrico63 |
| 2026-04-27 10:28:07 +0000 | Enrico63 | (~Enrico63@93-45-150-220.ip102.fastwebnet.it) (Ping timeout: 245 seconds) |
| 2026-04-27 10:28:52 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-27 10:28:57 +0000 | Square | (~Square@user/square) Square |
| 2026-04-27 10:31:18 +0000 | statusbot7 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2026-04-27 10:31:28 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2026-04-27 10:38:07 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-27 10:40:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 10:41:39 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 10:44:33 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-27 10:46:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-27 10:50:18 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-27 10:50:34 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-27 10:56:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 11:02:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-27 11:05:14 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-27 11:12:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 11:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 11:19:30 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-04-27 11:19:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-04-27 11:20:44 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-27 11:28:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 11:28:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-04-27 11:28:55 +0000 | Square | (~Square4@user/square) Square |
| 2026-04-27 11:30:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:208f:a1e9:f3fc:3b86) |
| 2026-04-27 11:30:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:208f:a1e9:f3fc:3b86) (Changing host) |
| 2026-04-27 11:30:28 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 11:33:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 11:37:21 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-27 11:37:57 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 255 seconds) |
| 2026-04-27 11:41:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 11:46:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 11:46:34 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-04-27 11:57:16 +0000 | Enrico63 | (~Enrico63@85.255.235.90) Enrico63 |
| 2026-04-27 11:57:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:02:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 12:10:59 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-04-27 12:11:07 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 12:13:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:15:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-27 12:17:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 12:28:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:28:46 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-27 12:31:56 +0000 | Guest87 | (~Guest97@84-48-80-118.customer.obosnett.no) |
| 2026-04-27 12:32:32 +0000 | Guest87 | (~Guest97@84-48-80-118.customer.obosnett.no) (Client Quit) |
| 2026-04-27 12:33:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 12:34:33 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-04-27 12:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:46:03 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-27 12:46:19 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-27 12:47:14 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 248 seconds) |
| 2026-04-27 12:49:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 12:50:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-27 12:52:55 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 12:59:54 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-27 13:00:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:05:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 13:07:38 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-04-27 13:12:13 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-04-27 13:12:14 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-27 13:14:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-27 13:16:00 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-27 13:16:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:20:37 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Ping timeout: 245 seconds) |
| 2026-04-27 13:21:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 13:22:26 +0000 | Catty | CATTY |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-27 13:29:40 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 13:30:33 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-27 13:32:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:35:21 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) (Ping timeout: 246 seconds) |
| 2026-04-27 13:36:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 13:39:11 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 13:42:54 +0000 | <kuribas> | Since proving is mostly to verify a property over all possible states, wouldn't it be possible to turn a property test into a proof? |
| 2026-04-27 13:43:41 +0000 | <kuribas> | If the property tests cover all the states, you could say it has proven the property, no? |
| 2026-04-27 13:43:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:44:51 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Ping timeout: 248 seconds) |
| 2026-04-27 13:48:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 13:53:13 +0000 | <__monty__> | Yes, though usually you don't bother with a formal proof if you can exhaustively enumerate tests. |
| 2026-04-27 13:54:17 +0000 | <kuribas> | The difficulty is proving that the tests are actually exhaustive. |
| 2026-04-27 13:59:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:03:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 14:13:15 +0000 | CATTY | Catty |
| 2026-04-27 14:14:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 14:30:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 14:41:09 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2026-04-27 14:44:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 15:00:59 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 15:05:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-27 15:08:27 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2026-04-27 15:16:14 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 15:16:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 15:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 15:23:39 +0000 | AlexNoo_ | (~AlexNoo@178.34.162.165) |
| 2026-04-27 15:25:30 +0000 | Alex_delenda_est | (~al_test@85.174.182.39) (Ping timeout: 265 seconds) |
| 2026-04-27 15:25:44 +0000 | AlexZenon | (~alzenon@85.174.182.39) (Ping timeout: 245 seconds) |
| 2026-04-27 15:26:50 +0000 | AlexNoo | (~AlexNoo@85.174.182.39) (Ping timeout: 245 seconds) |
| 2026-04-27 15:30:12 +0000 | AlexZenon | (~alzenon@178.34.162.165) |
| 2026-04-27 15:31:44 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-27 15:32:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 15:33:23 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 15:33:42 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-27 15:34:14 +0000 | AlexNoo_ | AlexNoo |
| 2026-04-27 15:36:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-27 15:38:59 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-04-27 15:43:24 +0000 | thenightmail` | (~whoareyou@user/thenightmail) thenightmail |
| 2026-04-27 15:44:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 15:49:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 15:50:57 +0000 | _testytest | (19541d7ff8@irc.cheogram.com) |
| 2026-04-27 15:52:14 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-27 15:53:14 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-27 15:55:34 +0000 | ctk | (~calimero@2a03:75c0:1e:11::42) (Changing host) |
| 2026-04-27 15:55:34 +0000 | ctk | (~calimero@user/calimeroteknik) CalimeroTeknik |
| 2026-04-27 15:56:26 +0000 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2026-04-27 16:00:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:03:03 +0000 | ctk | CalimeroTeknik |
| 2026-04-27 16:03:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 16:07:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 16:07:18 +0000 | r1bilski_ | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 16:08:30 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Read error: Connection reset by peer) |
| 2026-04-27 16:18:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 16:18:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:20:23 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-27 16:23:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 16:23:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:29:47 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2026-04-27 16:29:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:34:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 16:38:38 +0000 | hellwolf | (~user@13ba-9fa1-c9b7-72ee-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2026-04-27 16:39:37 +0000 | thenightmail` | (~whoareyou@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-27 16:41:43 +0000 | hellwolf | (~user@85eb-3c61-7214-710f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-04-27 16:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:50:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-27 16:50:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:57:03 +0000 | thenightmail` | (~whoareyou@user/thenightmail) thenightmail |
| 2026-04-27 16:57:14 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-27 17:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:06:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 17:06:33 +0000 | Enrico63 | (~Enrico63@85.255.235.90) Enrico63 |
| 2026-04-27 17:08:29 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 17:13:00 +0000 | layline_ | (~layline@149.154.26.56) layline |
| 2026-04-27 17:16:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 17:17:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:17:38 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-27 17:18:19 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-27 17:21:12 +0000 | <davean> | Yah, the way you usually prove the tests are exhaustive is equivilent to just proving it directly if the state space isn't trivially small :) |
| 2026-04-27 17:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 17:32:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:33:31 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 17:37:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 17:42:06 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-04-27 17:46:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 17:56:31 +0000 | <monochrom> | If you have "data X = C1 | C2 | C3; f :: X -> Int" then exhaustive testing is proof, there are only 3 cases to check. |
| 2026-04-27 17:57:40 +0000 | <davean> | Note the "trivially small" caviate :) |
| 2026-04-27 17:58:06 +0000 | <monochrom> | I missed that. Sorry! |
| 2026-04-27 17:58:09 +0000 | <EvanR> | an ultrafinitist might take exception calling X trivially small! |
| 2026-04-27 17:58:29 +0000 | <EvanR> | 4 might be the largest possible number |
| 2026-04-27 17:58:44 +0000 | <davean> | EvanR: Get me an ultrafinitist with a broader view then :) |
| 2026-04-27 17:58:59 +0000 | <davean> | I want more inclusive ultrafinitists |
| 2026-04-27 17:59:32 +0000 | <monochrom> | I'm a cosmological finitist. I think that 10^80 ought to be enough for everyone. :) |
| 2026-04-27 17:59:55 +0000 | <davean> | Yah, how many relations are there between particles in the universe? |
| 2026-04-27 18:00:12 +0000 | <haskellbridge> | <ijouw> Now I am trying to imagine an exclusive untrainfinitist |
| 2026-04-27 18:00:29 +0000 | <davean> | I did test a searcg implimentation once by making it pametric and feeding it Int4 and testing all cases ... |
| 2026-04-27 18:00:34 +0000 | <davean> | I'm not against that. |
| 2026-04-27 18:00:40 +0000 | <EvanR> | 10^80 cripples combinatorialists |
| 2026-04-27 18:00:42 +0000 | <davean> | I just consider int4 trivially small! |
| 2026-04-27 18:01:03 +0000 | <haskellbridge> | <ijouw> Int4 or Word4? |
| 2026-04-27 18:01:17 +0000 | <davean> | ijouw: I said I used both |
| 2026-04-27 18:01:21 +0000 | <EvanR> | four bits? |
| 2026-04-27 18:01:25 +0000 | <davean> | er didn't I? |
| 2026-04-27 18:01:35 +0000 | <monochrom> | Hey I haven't used Int4 for a while! Last time it was Casio FX-702P which was fabled to combine two 4-bit CPUs to do 8-bit work. |
| 2026-04-27 18:01:36 +0000 | <davean> | I sure meant to type Int4/Word4 |
| 2026-04-27 18:01:47 +0000 | <davean> | EvanR: yes, 4 bits |
| 2026-04-27 18:01:59 +0000 | <EvanR> | what would you call a float with 4 total bits |
| 2026-04-27 18:02:16 +0000 | <davean> | I did feed it both anyway, this is weird because I remember taking time to type that out ... but maybe I lost it in a quick reply to monochrom |
| 2026-04-27 18:02:18 +0000 | <monochrom> | toy example I would use in class to teach floating point :) |
| 2026-04-27 18:02:19 +0000 | <davean> | FP4 |
| 2026-04-27 18:02:38 +0000 | <davean> | NVFP4 if you're in AI |
| 2026-04-27 18:02:40 +0000 | <EvanR> | half is 16 so... quarter... eighth precision |
| 2026-04-27 18:02:58 +0000 | <davean> | EvanR: you're joking but I'm refering to actual datatypes |
| 2026-04-27 18:03:49 +0000 | <EvanR> | I'm sure eighth precision has some application somehow |
| 2026-04-27 18:04:00 +0000 | <davean> | There is a reason there is an NVFP4 |
| 2026-04-27 18:04:11 +0000 | <davean> | and there is a reason its got that "NV" tacked on the front |
| 2026-04-27 18:04:28 +0000 | <EvanR> | not necessarily a good reason (AI) xD |
| 2026-04-27 18:04:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 18:05:32 +0000 | <davean> | https://en.wikipedia.org/wiki/Block_floating_point |
| 2026-04-27 18:05:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-27 18:06:28 +0000 | <EvanR> | FP4 (E2M1) |
| 2026-04-27 18:06:53 +0000 | <EvanR> | Deimos Anomaly |
| 2026-04-27 18:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 18:10:38 +0000 | Alex_delenda_est | (~al_test@178.34.162.165) |
| 2026-04-27 18:12:29 +0000 | <davean> | monochrom: I do think more things should be tested by enumeration. Its not an unreasonable strat. |
| 2026-04-27 18:12:39 +0000 | <davean> | Lots of things *are* small enough |
| 2026-04-27 18:12:51 +0000 | <monochrom> | Yeah. |
| 2026-04-27 18:13:39 +0000 | <davean> | And often via paramatricity one can make a small enough version too |
| 2026-04-27 18:14:06 +0000 | <davean> | though the "making a small enough version" ... gets you very close to a proof ... |
| 2026-04-27 18:14:32 +0000 | <davean> | You have to start by articulating why the version is the same but smaller ... and now you've listed the cases ... |
| 2026-04-27 18:17:07 +0000 | <davean> | "Whats the smallest valid test type?" "Ok, now why isn't that a proof already?" |
| 2026-04-27 18:18:33 +0000 | doyougnu | (~doyougnu@38.175.72.111) (Killed (NickServ (GHOST command used by doyougnu`!~user@38.175.72.111))) |
| 2026-04-27 18:19:50 +0000 | doyougnu- | (~doyougnu@38.175.72.111) doyougnu- |
| 2026-04-27 18:20:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 18:23:06 +0000 | doyougnu | (~user@38.175.72.111) doyougnu |
| 2026-04-27 18:25:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 18:25:35 +0000 | doyougnu | (~user@38.175.72.111) (Remote host closed the connection) |
| 2026-04-27 18:26:22 +0000 | doyougnu | (~user@38.175.72.111) doyougnu |
| 2026-04-27 18:28:36 +0000 | doyougnu | (~user@38.175.72.111) (Client Quit) |
| 2026-04-27 18:29:00 +0000 | doyougnu | (~user@38.175.72.111) doyougnu |
| 2026-04-27 18:29:10 +0000 | doyougnu | (~user@38.175.72.111) (Client Quit) |
| 2026-04-27 18:32:51 +0000 | <EvanR> | that's just an intermediate form of proving things by cases |
| 2026-04-27 18:36:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 18:41:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 18:44:35 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 18:45:10 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-27 18:46:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2026-04-27 18:47:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 18:48:40 +0000 | layline_ | layline-away |
| 2026-04-27 18:49:23 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-27 18:50:03 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-27 18:52:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 18:57:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-27 19:00:11 +0000 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-04-27 19:00:18 +0000 | redshuffle | (~quassel@45.43.70.75) |
| 2026-04-27 19:01:56 +0000 | layline-away | layline_ |
| 2026-04-27 19:02:15 +0000 | layline_ | layline-away |
| 2026-04-27 19:03:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 19:03:48 +0000 | layline-away | layline_ |
| 2026-04-27 19:04:56 +0000 | <__monty__> | Enumerating is pretty much what model checkers do, no? And SMT solvers kinda. |
| 2026-04-27 19:05:29 +0000 | r1bilski_ | (~r1bilski@user-31-175-22-58.play-internet.pl) (Ping timeout: 252 seconds) |
| 2026-04-27 19:08:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 19:08:33 +0000 | <int-e> | __monty__: Not really. The point of these tools is generally to work symbolically. But there's usually a lot of case splitting, which adds an enumerative flavor, and can degernate into enumerating all possible cases. |
| 2026-04-27 19:12:36 +0000 | <int-e> | Even modern SAT solvers (which operate with boolean variables, so everything is discrete) are primarily trying to find forced inferences that allow better pruning of the search space, and a good order in which to try variables. They restart a lot (wiping the whole search tree)) |
| 2026-04-27 19:13:29 +0000 | <int-e> | (but keeping learned clauses and information about how fruitful variables are for finding forced inferences (i.e., pruning the search tree early)) |
| 2026-04-27 19:13:33 +0000 | <__monty__> | I didn't say they were exhaustive. But they do "enumerate" through relevant classes of values, no? |
| 2026-04-27 19:14:06 +0000 | <int-e> | it's just the least important and interesting aspect of these solvers |
| 2026-04-27 19:14:14 +0000 | <int-e> | that's my objection |
| 2026-04-27 19:15:15 +0000 | <__monty__> | I may just not be good at using them, causing my observations of their working to skew towards lengthy enumerations : ) |
| 2026-04-27 19:16:29 +0000 | <int-e> | __monty__: that's not a contradiction; your search space (from splitting into cases) can explode long before you exhaust all possibilities (which may even be infinite) |
| 2026-04-27 19:17:11 +0000 | <int-e> | "enumerate", to me, means covering all possible cases (assignments of variables) |
| 2026-04-27 19:17:14 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-27 19:19:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 19:21:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-27 19:23:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 19:26:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-04-27 19:27:17 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-27 19:28:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-04-27 19:34:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 19:35:04 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-04-27 19:35:19 +0000 | layline_ | layline-away |
| 2026-04-27 19:36:23 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-27 19:36:29 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-27 19:36:55 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-27 19:39:03 +0000 | layline-away | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-27 19:39:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 19:44:57 +0000 | <davean> | Yah and SMT solvers very much try to NOT have to cover all of them |
| 2026-04-27 19:45:26 +0000 | <davean> | They can be forced into enumeration but they try to avoid it and do only a ... pertial enumeration, not to feed __monty__ |
| 2026-04-27 19:48:05 +0000 | r1bilski_ | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 19:50:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 19:54:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 19:55:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 19:57:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-04-27 19:58:30 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) (Quit: WeeChat 4.9.0) |
| 2026-04-27 19:59:04 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-27 19:59:35 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) gabriel_sevecek |
| 2026-04-27 19:59:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-04-27 20:00:03 +0000 | thenightmail` | (~whoareyou@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-27 20:00:17 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-04-27 20:01:56 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-27 20:06:01 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2026-04-27 20:06:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 20:06:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |