| 2026-04-15 00:03:31 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-15 00:05:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-04-15 00:08:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-04-15 00:09:50 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-04-15 00:10:19 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-15 00:17:09 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2026-04-15 00:18:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-15 00:21:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 00:23:53 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-15 00:26:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 00:26:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-15 00:27:14 +0000 | czan | (~czan@user/mange) czan |
| 2026-04-15 00:27:33 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-15 00:27:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-04-15 00:39:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 00:42:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-15 00:43:49 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-15 00:51:19 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2026-04-15 00:52:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 00:55:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 00:56:29 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-15 00:58:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 00:59:30 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-15 01:00:03 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-15 01:00:37 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2026-04-15 01:03:14 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2026-04-15 01:08:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 01:09:46 +0000 | yaroot_ | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2026-04-15 01:10:20 +0000 | yaroot | (~yaroot@p4134078-ipxg13501souka.saitama.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2026-04-15 01:10:20 +0000 | yaroot_ | yaroot |
| 2026-04-15 01:10:41 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 01:10:56 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 01:13:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-15 01:24:06 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 01:24:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 01:24:19 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-04-15 01:24:25 +0000 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-04-15 01:28:45 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-04-15 01:28:45 +0000 | ChanServ | +v haskellbridge |
| 2026-04-15 01:28:45 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-15 01:29:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 01:29:43 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-15 01:32:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-04-15 01:40:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 01:43:15 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 01:45:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-15 01:45:57 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-04-15 01:46:05 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-04-15 01:46:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-15 01:50:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 265 seconds) |
| 2026-04-15 01:51:53 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 01:56:25 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 01:57:08 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-15 01:58:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 02:02:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 02:11:37 +0000 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-04-15 02:13:08 +0000 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-04-15 02:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 02:29:43 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-15 02:30:59 +0000 | danz73682 | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-04-15 02:32:12 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 02:34:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 02:36:48 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 02:45:10 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-04-15 02:45:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 02:50:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 02:53:23 +0000 | endor | (~endor@user/endor) endor |
| 2026-04-15 03:01:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 03:01:36 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-15 03:02:27 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 03:03:24 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2026-04-15 03:06:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 03:09:50 +0000 | endor | (~endor@user/endor) (Quit: Leaving) |
| 2026-04-15 03:11:31 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 03:12:14 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2026-04-15 03:19:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 03:26:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 03:37:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 03:42:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 03:42:42 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 03:47:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 03:53:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 03:58:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 04:01:17 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 04:01:26 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-04-15 04:01:41 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2026-04-15 04:02:29 +0000 | mud | (~mud@user/kadoban) (Client Quit) |
| 2026-04-15 04:02:43 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2026-04-15 04:05:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 04:08:33 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-15 04:09:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 04:14:51 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-15 04:20:40 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-15 04:22:08 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-15 04:22:33 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-15 04:24:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 04:28:54 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 04:29:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 04:33:14 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-15 04:38:59 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 04:40:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 04:44:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 04:47:36 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 04:48:48 +0000 | hazelflames | (~hazelflam@2804:1b3:3002:abac:2540:7e11:c6de:d15a) |
| 2026-04-15 04:56:16 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-15 05:00:09 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 255 seconds) |
| 2026-04-15 05:03:37 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 05:07:04 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-04-15 05:09:49 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 05:14:26 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 05:17:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 05:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-15 05:29:42 +0000 | hazelflames | (~hazelflam@2804:1b3:3002:abac:2540:7e11:c6de:d15a) (Ping timeout: 246 seconds) |
| 2026-04-15 05:30:29 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-15 05:33:16 +0000 | synchrom1 | (~john@115.69.186.131) (Quit: WeeChat 4.1.1) |
| 2026-04-15 05:33:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 05:37:31 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-15 05:37:44 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-15 05:37:55 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-15 05:38:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 05:46:08 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 05:49:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 05:49:29 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-15 05:52:37 +0000 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 244 seconds) |
| 2026-04-15 05:52:52 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) synchromesh |
| 2026-04-15 05:52:52 +0000 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2026-04-15 05:53:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-15 05:53:35 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 252 seconds) |
| 2026-04-15 05:54:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-15 05:55:31 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-15 05:57:48 +0000 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2026-04-15 05:58:13 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2026-04-15 06:00:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-04-15 06:00:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-15 06:03:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 06:06:44 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 06:08:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 06:14:56 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 06:16:02 +0000 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-04-15 06:19:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 06:20:35 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-15 06:20:53 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-15 06:23:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 06:24:41 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-15 06:25:52 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-15 06:28:54 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 06:29:11 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 06:30:44 +0000 | danz60497 | (~danza@user/danza) danza |
| 2026-04-15 06:32:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-15 06:32:24 +0000 | danza | (~danza@user/danza) (Ping timeout: 255 seconds) |
| 2026-04-15 06:34:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 06:39:04 +0000 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection) |
| 2026-04-15 06:39:22 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-04-15 06:41:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-15 06:47:47 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-04-15 06:47:48 +0000 | lol__ | (~lol@96.78.87.197) |
| 2026-04-15 06:48:23 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 06:49:51 +0000 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 246 seconds) |
| 2026-04-15 06:52:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 06:53:06 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 06:57:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 07:00:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-15 07:01:01 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-15 07:04:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 07:08:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 07:09:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 07:11:22 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 07:13:47 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-15 07:16:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 265 seconds) |
| 2026-04-15 07:39:57 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 07:50:24 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-15 07:52:21 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 07:56:45 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 07:56:52 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-15 08:04:13 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 08:04:42 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-15 08:08:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-15 08:12:53 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 08:14:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-15 08:17:17 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 08:18:45 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:e9c5:e298:71c2:5294) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-04-15 08:19:06 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2026-04-15 08:27:38 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-15 08:29:09 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-04-15 08:33:11 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-15 08:34:28 +0000 | koz | (~koz@121.99.240.58) |
| 2026-04-15 08:37:57 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-15 08:38:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-15 08:38:52 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-15 08:44:02 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-04-15 08:46:58 +0000 | Googulator8 | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 08:49:15 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 08:49:47 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-15 08:53:33 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 08:57:31 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5252178e03c34fe8892.dip0.t-ipconnect.de) |
| 2026-04-15 09:00:50 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-15 09:08:42 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8804:8a9:c13e:7814) |
| 2026-04-15 09:08:42 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8804:8a9:c13e:7814) (Changing host) |
| 2026-04-15 09:08:42 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 09:09:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 09:18:55 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-15 09:36:31 +0000 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-04-15 09:39:07 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2026-04-15 09:42:03 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-04-15 09:42:36 +0000 | noxp | (~noxp@2601:5c6:c200:6dc0::9591) noxp |
| 2026-04-15 09:43:17 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 09:52:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 09:53:01 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-15 09:53:41 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2026-04-15 09:53:45 +0000 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2026-04-15 09:54:00 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-15 09:54:02 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 268 seconds) |
| 2026-04-15 09:56:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 09:58:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e569d2a193f783d69153.dip0.t-ipconnect.de) acidjnk |
| 2026-04-15 09:58:31 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-15 10:00:50 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5252178e03c34fe8892.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-15 10:01:38 +0000 | Googulator8 | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 10:01:53 +0000 | Googulator8 | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 10:12:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 10:14:25 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-15 10:15:46 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-15 10:16:08 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-15 10:16:08 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-15 10:16:57 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 10:17:42 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 10:21:10 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-15 10:22:25 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-15 10:28:38 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-15 10:31:43 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-15 10:33:22 +0000 | danz60497 | (~danza@user/danza) (Ping timeout: 276 seconds) |
| 2026-04-15 10:36:15 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-15 10:38:41 +0000 | Square3 | (~Square4@user/square) (Remote host closed the connection) |
| 2026-04-15 10:39:12 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-15 10:41:53 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 10:46:36 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 10:47:12 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-15 10:51:08 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 252 seconds) |
| 2026-04-15 10:51:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 10:56:25 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-15 10:56:47 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-15 10:58:54 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 10:59:11 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 11:09:25 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:158a:34ca:e824:f2cf) |
| 2026-04-15 11:09:25 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:158a:34ca:e824:f2cf) (Changing host) |
| 2026-04-15 11:09:25 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 11:09:27 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-15 11:09:35 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-15 11:09:36 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 11:10:26 +0000 | divlamir_ | divlamir |
| 2026-04-15 11:26:52 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-15 11:31:53 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 11:36:47 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-15 11:38:21 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-15 11:41:06 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2026-04-15 11:42:45 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 11:46:32 +0000 | noxp | (~noxp@2601:5c6:c200:6dc0::9591) (Ping timeout: 244 seconds) |
| 2026-04-15 11:47:30 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 268 seconds) |
| 2026-04-15 11:55:12 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-15 11:58:06 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-15 12:00:30 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2026-04-15 12:01:41 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-04-15 12:02:07 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-15 12:06:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 12:12:33 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-04-15 12:18:05 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-15 12:20:44 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 12:24:53 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-15 12:27:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9457:2e7e:16ea:35a) |
| 2026-04-15 12:49:20 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 12:53:30 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-15 12:55:43 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2026-04-15 12:56:31 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2026-04-15 13:02:08 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 13:04:33 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-04-15 13:07:40 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-04-15 13:09:57 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 13:13:48 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 246 seconds) |
| 2026-04-15 13:14:26 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 13:25:50 +0000 | Googulator8 | Googulator |
| 2026-04-15 13:31:27 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 13:33:58 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 13:35:07 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-04-15 13:35:07 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-04-15 13:38:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-15 13:40:57 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-04-15 13:41:18 +0000 | Clint | (~Clint@user/clint) (Changing host) |
| 2026-04-15 13:41:18 +0000 | Clint | (~Clint@librefm/hacker/Clint) Clint |
| 2026-04-15 13:49:18 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2026-04-15 13:49:49 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-15 13:52:46 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 13:53:17 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-04-15 13:55:22 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 13:58:25 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-15 14:00:19 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-15 14:00:53 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2026-04-15 14:12:07 +0000 | Digit | digitteknohippie |
| 2026-04-15 14:12:18 +0000 | digitteknohippie | Digit |
| 2026-04-15 14:19:35 +0000 | Freakie | (~Freakie@185.45.22.133) |
| 2026-04-15 14:29:56 +0000 | danz70541 | (~danza@user/danza) danza |
| 2026-04-15 14:32:14 +0000 | danza | (~danza@user/danza) (Ping timeout: 252 seconds) |
| 2026-04-15 14:32:55 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 14:34:31 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2026-04-15 14:37:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-15 14:41:43 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-04-15 14:50:27 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-15 14:52:42 +0000 | Freakie | (~Freakie@185.45.22.133) (Ping timeout: 245 seconds) |
| 2026-04-15 14:57:26 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:4ec3:6a19:29d4:5f34) |
| 2026-04-15 14:57:26 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:4ec3:6a19:29d4:5f34) (Changing host) |
| 2026-04-15 14:57:26 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-15 15:04:53 +0000 | danz70541 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-15 15:07:39 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 15:24:18 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-15 15:25:18 +0000 | Putonlalla1 | (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-04-15 15:25:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 15:25:37 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Killed (NickServ (GHOST command used by Putonlalla1))) |
| 2026-04-15 15:25:41 +0000 | Putonlalla1 | Putonlalla |
| 2026-04-15 15:26:25 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-04-15 15:26:25 +0000 | polykernel_ | polykernel |
| 2026-04-15 15:32:51 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 15:36:23 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 15:36:49 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 15:37:19 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 15:40:41 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 15:41:07 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-04-15 15:44:20 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-04-15 15:44:50 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-15 15:46:12 +0000 | williu5 | (~williu5@user/williu5) williu5 |
| 2026-04-15 15:46:31 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-15 15:49:16 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-04-15 15:49:16 +0000 | polykernel_ | polykernel |
| 2026-04-15 15:52:26 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 15:53:32 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-15 15:56:28 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-15 15:57:15 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 15:57:45 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 15:59:54 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-15 16:07:57 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-15 16:10:50 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 16:12:01 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2026-04-15 16:13:45 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) (Read error: Connection reset by peer) |
| 2026-04-15 16:14:32 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) synchromesh |
| 2026-04-15 16:15:45 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-15 16:15:57 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) synchromesh |
| 2026-04-15 16:17:24 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-15 16:17:31 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-04-15 16:17:35 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 16:17:47 +0000 | synchrom2 | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) synchromesh |
| 2026-04-15 16:17:52 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 276 seconds) |
| 2026-04-15 16:17:54 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-15 16:19:21 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) (Ping timeout: 248 seconds) |
| 2026-04-15 16:19:24 +0000 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.9.0) |
| 2026-04-15 16:21:04 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) (Ping timeout: 268 seconds) |
| 2026-04-15 16:22:32 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-15 16:27:27 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) synchromesh |
| 2026-04-15 16:27:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-15 16:30:33 +0000 | synchrom2 | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) (Ping timeout: 268 seconds) |
| 2026-04-15 16:31:29 +0000 | synchrom1 | (~john@115.69.186.131) synchromesh |
| 2026-04-15 16:32:50 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1c87:407b:bdab:dafb) (Ping timeout: 248 seconds) |
| 2026-04-15 16:33:23 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-15 16:40:29 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-15 16:40:51 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 16:40:54 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2026-04-15 16:43:35 +0000 | <Milan_Vanca> | Hello guyz, does pattern match on on constructor with strict fields when wildcard is used? rnf (Point x y) = () vs rnf (Point _ _) = () |
| 2026-04-15 16:44:38 +0000 | <Milan_Vanca> | does it fully evaluate all fields? I guess they are evaluated the moment constructor is called not when pattern matched |
| 2026-04-15 16:44:40 +0000 | <c_wraith> | Just in general, naming the fields or not does not affect whether they're evaluated by the match. |
| 2026-04-15 16:44:51 +0000 | <Milan_Vanca> | c_wraith: got it thanks |
| 2026-04-15 16:45:05 +0000 | <EvanR> | hmm. wasn't the question about strict fields not named fields |
| 2026-04-15 16:45:45 +0000 | <c_wraith> | not given the example |
| 2026-04-15 16:46:12 +0000 | <dminuoso> | c_wraith: Unclear, the fields could still be strict. |
| 2026-04-15 16:46:26 +0000 | <Milan_Vanca> | EvanR: Maybe both? example: data Point = Point !Int !Int and for that it is enough to rnf (Point _ _) = () right? |
| 2026-04-15 16:46:27 +0000 | <EvanR> | was assuming data Point = Point !Int !Int or something |
| 2026-04-15 16:46:57 +0000 | <EvanR> | :t rnf |
| 2026-04-15 16:46:58 +0000 | <lambdabot> | error: [GHC-88464] Variable not in scope: rnf |
| 2026-04-15 16:47:14 +0000 | <EvanR> | I thought rnf was supposed to return the value itself |
| 2026-04-15 16:47:17 +0000 | <Milan_Vanca> | :i NFData |
| 2026-04-15 16:47:21 +0000 | <c_wraith> | no, rnf returns () |
| 2026-04-15 16:47:24 +0000 | <EvanR> | oh |
| 2026-04-15 16:47:30 +0000 | <c_wraith> | you're thinking of force |
| 2026-04-15 16:47:47 +0000 | <dminuoso> | Milan_Vanca: But yes, if the fields are strict they are forced if the value is forced. That is the point of strict fields. |
| 2026-04-15 16:48:09 +0000 | <c_wraith> | Specifically, strict fields are evaluated (to WHNF) when the constructor is evaluated. |
| 2026-04-15 16:48:33 +0000 | <dminuoso> | That said... Im not sure what would happen if you specified a lazy pattern match.. |
| 2026-04-15 16:48:58 +0000 | <c_wraith> | If you specified a lazy pattern match on Point, it would affect "when the constructor is evaluated" |
| 2026-04-15 16:49:00 +0000 | <dminuoso> | I would expect the fields to not be forced, but that's just a gut feeling |
| 2026-04-15 16:49:09 +0000 | <c_wraith> | If you specified a lazy pattern match on the fields, it would do nothing |
| 2026-04-15 16:49:27 +0000 | <dminuoso> | So lazyness trumps strictness? |
| 2026-04-15 16:49:30 +0000 | <c_wraith> | No. |
| 2026-04-15 16:49:50 +0000 | <c_wraith> | Strict fields are evaluated *when the constructor is*. |
| 2026-04-15 16:50:29 +0000 | <c_wraith> | If you choose not to evaluate the constructor by marking the match as irrefutable, then no evaluation takes place. Just like you asked for. |
| 2026-04-15 16:53:07 +0000 | <Milan_Vanca> | anyway ty for answer :) |
| 2026-04-15 16:53:33 +0000 | <c_wraith> | Just like `const (Point undefined undefined) ()` wouldn't be a bottom. The argument is never evaluated, so the fact that the fields are strict is irrelevant. |
| 2026-04-15 16:54:39 +0000 | <EvanR> | that's correct. But it does look strange because Point undefined undefined ought to be semantically impossible xD |
| 2026-04-15 16:54:58 +0000 | <c_wraith> | err. I got the args to const backwards. go me. |
| 2026-04-15 16:55:22 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-15 16:55:22 +0000 | <EvanR> | (it only makes sense here if you put on glasses to distinguish code from values) |
| 2026-04-15 16:55:29 +0000 | <c_wraith> | Anyway, it's rather important to understand that lifted types can always be bottom |
| 2026-04-15 16:56:03 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-15 16:56:32 +0000 | <c_wraith> | if you really want to completely prevent bottom values, you need to use an unlifted type |
| 2026-04-15 16:57:38 +0000 | <EvanR> | yes ⊥ is in the domain for Point but Point ⊥ ⊥ wouldn't be |
| 2026-04-15 17:04:38 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 17:09:05 +0000 | <c_wraith> | An attempt to create the latter becomes the former when evaluated, but before being evaluated it's all just an expression with a type. |
| 2026-04-15 17:09:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 17:11:06 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-15 17:11:18 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-15 17:11:31 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-15 17:11:52 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-15 17:12:32 +0000 | <janus> | is haskell compatible with iso-recursive typing? |
| 2026-04-15 17:12:52 +0000 | <janus> | i know the syntax makes it look equi-recursive but i am wondering whether there is a transformation |
| 2026-04-15 17:13:58 +0000 | <dminuoso> | https://hackage-content.haskell.org/package/base-4.22.0.0/docs/GHC-Exts.html#t:RuntimeRep |
| 2026-04-15 17:14:47 +0000 | <dminuoso> | Fun side-note: You can have boxed unlifted types. |
| 2026-04-15 17:18:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 17:18:53 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-15 17:19:16 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-04-15 17:19:20 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:41ca:b44c:b589:e153) |
| 2026-04-15 17:19:20 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:41ca:b44c:b589:e153) (Changing host) |
| 2026-04-15 17:19:20 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 17:19:24 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-15 17:24:08 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-15 17:26:35 +0000 | jle` | (~jle`@2603:8001:3b00:11:2d70:9f38:ba84:72d9) (Ping timeout: 252 seconds) |
| 2026-04-15 17:27:33 +0000 | jle` | (~jle`@2603:8001:3b00:11:4360:f9b:cc52:4598) jle` |
| 2026-04-15 17:39:40 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 17:41:53 +0000 | <ncf> | janus: wdym? haskell's recursive types are isorecursive |
| 2026-04-15 17:42:45 +0000 | <ncf> | e.g. in data Mu f = Mu { unMu :: f (Mu f) } you have Mu f ≃ f (Mu f) up to an isomorphism (witnessed by Mu and unMu), not an actual type equality |
| 2026-04-15 17:44:11 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 252 seconds) |
| 2026-04-15 17:45:07 +0000 | <janus> | it's just that in TAPL, they say that unfold/fold are primitives , and if they should work with recursive records in haskell, i don't see how it fits with what you're saying, because there is no name for the unwrapped Mu |
| 2026-04-15 17:45:45 +0000 | <janus> | i am confused by variants being anonymous in TAPL, i guess.. |
| 2026-04-15 17:46:27 +0000 | <janus> | while in haskell, they're not. so now i have to juggle variants and recursiveness at the same time |
| 2026-04-15 17:51:49 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-15 17:56:28 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-15 17:56:34 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-15 17:57:59 +0000 | <janus> | ncf: in 'data IntList = Nil | Cons Int IntList', what would be the witnesses of the isomorphism? |
| 2026-04-15 17:59:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 17:59:30 +0000 | <monochrom> | Yes Haskell does iso-recursive, doesn't do equi-recursive. |
| 2026-04-15 17:59:47 +0000 | <EvanR> | isomorphism between what and what |
| 2026-04-15 18:00:09 +0000 | <EvanR> | Mu f `iso` f (Mu f) makes sense because it's a newtype |
| 2026-04-15 18:00:25 +0000 | <EvanR> | morally |
| 2026-04-15 18:00:40 +0000 | <monochrom> | Yeah with newtype you have that isomorphism. |
| 2026-04-15 18:01:10 +0000 | <monochrom> | With "data" you don't in Haskell, but you still do back in SML (generally strict languages). |
| 2026-04-15 18:01:31 +0000 | <janus> | the TAPL book talks about a an isomorphism between the type without it's own definition pasted in, and the one that has that replacement done |
| 2026-04-15 18:01:36 +0000 | <janus> | that is what they call fold/unfold |
| 2026-04-15 18:02:22 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-15 18:02:42 +0000 | <EvanR> | so IntList and 1 + Int x IntList |
| 2026-04-15 18:02:47 +0000 | <monochrom> | Yeah. |
| 2026-04-15 18:03:29 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-15 18:03:31 +0000 | <janus> | monochrom: but 'data' still allows for recursion right? so how is that recursion described formally? is it neither iso nor equi? |
| 2026-04-15 18:03:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-15 18:05:51 +0000 | <EvanR> | \case {Nil -> Left (); Cons x xs -> Right (x,xs)} |
| 2026-04-15 18:06:14 +0000 | <EvanR> | \case {Left () -> Nil; Right (x,xs) -> Cons x xs} |
| 2026-04-15 18:06:20 +0000 | <monochrom> | Do you already know the denotational difference between "data D = D Int" and "newtype N = N Int"? |
| 2026-04-15 18:06:59 +0000 | <monochrom> | because that difference then carries over to "data X = X [X]" and "newtype Y = Y [Y]". Then X is not quite isomorphic to [X]. |
| 2026-04-15 18:07:51 +0000 | <monochrom> | This is something TaPL won't bring up because the author is from SML not Haskell. |
| 2026-04-15 18:07:54 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Client Quit) |
| 2026-04-15 18:08:16 +0000 | <monochrom> | or at least writing the book with that assumption. |
| 2026-04-15 18:10:09 +0000 | <monochrom> | Whereas for less mind-boggling examples like "data Z = Z | S Z" you have the expected isomorphism again! So all is not lost. |
| 2026-04-15 18:11:09 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 18:11:14 +0000 | <monochrom> | Err no, I have to re-think it. |
| 2026-04-15 18:16:02 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-15 18:16:04 +0000 | <monochrom> | Unfortunately Z has fewer bottoms than Either () Z too. Either Void Z should work, but it's a hack. |
| 2026-04-15 18:17:38 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-04-15 18:18:25 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-15 18:21:40 +0000 | <monochrom> | I can imagine Bob Harper looking at all these annoyances and conclude "forget Haskell". :) |
| 2026-04-15 18:21:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 18:23:50 +0000 | <EvanR> | all the proofs can go through formally and haskell is just an exotic model |
| 2026-04-15 18:24:08 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 18:26:26 +0000 | <monochrom> | Recently I learned a bit of non-standard real analysis. We can just s/exotic/non-standard/. Wooo infinitestimals and extra bottoms and infinite lists... |
| 2026-04-15 18:27:37 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-15 18:28:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 18:33:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 18:34:17 +0000 | <EvanR> | it seems that an early (?) attitude of hilbert, continually faced with mathematical surprises while trying to carry out a formalist agenda, imagined a distinction between "real math" and "ideal math". Someone like cantor would report the discover of various infinities. It would be the formalists job to eventually account for this in the ideal formal version. Like their doing empirical science |
| 2026-04-15 18:35:52 +0000 | <EvanR> | eventually non-standard interpretations and incompleteness would force another change in attitude, but this mentality seems interesting |
| 2026-04-15 18:36:08 +0000 | <EvanR> | is haskell real math or ideal math |
| 2026-04-15 18:36:41 +0000 | <alter2000> | since it exists it's real no? |
| 2026-04-15 18:36:54 +0000 | <EvanR> | nothing unreal exists:tm: |
| 2026-04-15 18:37:24 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-15 18:38:13 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 265 seconds) |
| 2026-04-15 18:39:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 18:40:03 +0000 | Logio | (em@kapsi.fi) Logio |
| 2026-04-15 18:40:30 +0000 | <alter2000> | ok fair my bad, I meant "since it's in active use and development on concrete imperfect machines" |
| 2026-04-15 18:41:23 +0000 | <monochrom> | Just like how both real math and ideal math exists and co-evolve, both real haskell and ideal haskell exists and co-evolve. |
| 2026-04-15 18:44:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-15 18:44:15 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-15 18:52:08 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 18:53:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 18:55:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 18:58:31 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-15 18:59:15 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 18:59:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-15 18:59:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-15 19:03:17 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-15 19:07:32 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-15 19:07:34 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-15 19:11:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 19:16:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 19:17:05 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 19:18:57 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-04-15 19:19:39 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-15 19:21:56 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 19:26:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 19:28:24 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) |
| 2026-04-15 19:29:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 19:31:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-15 19:41:50 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-15 19:42:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 19:47:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-15 19:48:52 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-15 19:49:47 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-15 19:50:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-04-15 19:51:44 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-15 19:52:12 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-15 19:56:26 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-15 19:57:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-04-15 19:58:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 19:59:18 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-15 20:01:41 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 20:02:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-15 20:05:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 20:06:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-15 20:06:45 +0000 | tusko | (~uwu@user/tusko) (Quit: Lost terminal) |
| 2026-04-15 20:07:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:09:29 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-15 20:12:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 20:13:09 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 20:13:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-15 20:17:44 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-15 20:20:13 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 20:21:08 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-15 20:23:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:23:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-15 20:27:20 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 20:27:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 20:36:36 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 255 seconds) |
| 2026-04-15 20:37:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2026-04-15 20:38:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:43:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 20:43:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 20:47:37 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 20:50:17 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-04-15 20:54:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:55:47 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-04-15 20:59:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 21:00:44 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 21:05:09 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c853:ec6b:2699:b6f5) |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c853:ec6b:2699:b6f5) (Changing host) |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:08:25 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-15 21:09:40 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-15 21:14:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-15 21:19:37 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 21:24:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 21:25:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 21:26:19 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-04-15 21:29:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-15 21:30:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 21:39:30 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 21:40:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 21:42:15 +0000 | <janus> | found an example of iso-recursive types with haskell-like syntax examples |
| 2026-04-15 21:42:19 +0000 | <janus> | https://github.com/solomon-b/lambda-calculus-hs/blob/main/main/09b-IsoInductiveTypes.hs |
| 2026-04-15 21:44:00 +0000 | <janus> | it probably isn't lazy but that's ok for now |
| 2026-04-15 21:44:06 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 21:44:18 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 21:45:08 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-04-15 21:47:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 21:49:27 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-15 21:50:42 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 2026-04-15 21:51:09 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:51:42 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-15 21:52:00 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) (Changing host) |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:58:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 22:02:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 22:03:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-15 22:04:53 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2026-04-15 22:07:12 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-15 22:07:14 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-04-15 22:08:09 +0000 | califax | (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-15 22:08:33 +0000 | califax_ | califax |
| 2026-04-15 22:08:40 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-15 22:08:48 +0000 | tromp | (~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-15 22:14:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 22:15:05 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-15 22:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-15 22:21:35 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 22:25:02 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-15 22:26:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 22:30:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 22:33:39 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 22:35:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 22:38:43 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 264 seconds) |
| 2026-04-15 22:40:27 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 22:42:01 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-15 22:44:39 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-15 22:46:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 22:49:43 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-15 22:50:32 +0000 | xal | (~xal@mx1.xal.systems) (Ping timeout: 252 seconds) |
| 2026-04-15 22:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 22:59:38 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 23:01:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 23:03:57 +0000 | ncf | (~ncf@monade.li) (Remote host closed the connection) |
| 2026-04-15 23:04:26 +0000 | ncf | (~ncf@monade.li) ncf |
| 2026-04-15 23:06:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 23:08:05 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |