| 2025-11-02 00:00:07 +0100 | ljdarj1 | ljdarj |
| 2025-11-02 00:00:42 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 00:00:43 +0100 | Googulator8 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 00:03:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 00:06:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-02 00:13:48 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2c94:7d1f:433d:4a17) (Remote host closed the connection) |
| 2025-11-02 00:14:11 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-02 00:14:29 +0100 | deptype | (~deptype@2406:b400:3a:73c2:e911:941:186d:1d52) |
| 2025-11-02 00:14:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 00:15:38 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 00:15:39 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 00:19:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-02 00:30:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 00:32:08 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-02 00:32:23 +0100 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2025-11-02 00:33:06 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
| 2025-11-02 00:33:53 +0100 | deptype | (~deptype@2406:b400:3a:73c2:e911:941:186d:1d52) (Remote host closed the connection) |
| 2025-11-02 00:34:10 +0100 | deptype | (~deptype@2406:b400:3a:73c2:75b6:88f5:933e:39eb) |
| 2025-11-02 00:35:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 00:37:00 +0100 | aureness | (~hello@109.174.77.94) |
| 2025-11-02 00:37:00 +0100 | aureness | (~hello@109.174.77.94) (Changing host) |
| 2025-11-02 00:37:00 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 00:37:49 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-02 00:41:57 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 256 seconds) |
| 2025-11-02 00:45:45 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-02 00:46:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 00:49:10 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 00:49:24 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 00:51:18 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-02 00:51:21 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 00:51:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 00:53:55 +0100 | deptype | (~deptype@2406:b400:3a:73c2:75b6:88f5:933e:39eb) (Remote host closed the connection) |
| 2025-11-02 00:54:13 +0100 | deptype | (~deptype@2406:b400:3a:73c2:beb9:a08a:1592:1326) |
| 2025-11-02 00:56:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-02 00:57:00 +0100 | Xe_ | Xe |
| 2025-11-02 00:58:58 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2025-11-02 00:59:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 01:00:40 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-02 01:04:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 01:06:19 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-11-02 01:06:24 +0100 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-02 01:06:24 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-02 01:14:27 +0100 | deptype | (~deptype@2406:b400:3a:73c2:beb9:a08a:1592:1326) (Remote host closed the connection) |
| 2025-11-02 01:14:45 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5a4:a177:8016:a6ff) |
| 2025-11-02 01:15:39 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 01:15:40 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 01:15:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 01:20:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 01:20:43 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 01:20:50 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 01:31:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 01:32:39 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) fp |
| 2025-11-02 01:34:29 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5a4:a177:8016:a6ff) (Remote host closed the connection) |
| 2025-11-02 01:34:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b649:30ab:97cc:fe0e) |
| 2025-11-02 01:37:56 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 01:38:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 01:44:52 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 256 seconds) |
| 2025-11-02 01:49:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 01:52:14 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-02 01:53:44 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-02 01:54:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 01:54:31 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b649:30ab:97cc:fe0e) (Remote host closed the connection) |
| 2025-11-02 01:54:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:27:accf:c95e:d15b) |
| 2025-11-02 01:56:43 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-02 01:57:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 01:57:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Client Quit) |
| 2025-11-02 02:00:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 02:05:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 02:07:49 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-02 02:08:12 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-02 02:14:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:27:accf:c95e:d15b) (Remote host closed the connection) |
| 2025-11-02 02:14:53 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8dc8:b68a:669a:271f) |
| 2025-11-02 02:16:35 +0100 | otto_s | (~user@p4ff27b08.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-02 02:16:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 02:18:24 +0100 | otto_s | (~user@p4ff274ae.dip0.t-ipconnect.de) |
| 2025-11-02 02:20:55 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 02:21:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 02:31:06 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 02:32:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 02:34:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8dc8:b68a:669a:271f) (Remote host closed the connection) |
| 2025-11-02 02:34:56 +0100 | deptype | (~deptype@2406:b400:3a:73c2:ef23:52d6:9b02:694f) |
| 2025-11-02 02:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 02:41:49 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-11-02 02:45:21 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 02:45:35 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 02:48:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 02:50:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-02 02:52:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 02:54:16 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 02:55:09 +0100 | deptype | (~deptype@2406:b400:3a:73c2:ef23:52d6:9b02:694f) (Remote host closed the connection) |
| 2025-11-02 02:55:27 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c372:7c91:e089:1e54) |
| 2025-11-02 02:57:19 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-02 03:01:12 +0100 | Zemy | (~Zemy@2600:100c:b011:e368:cc84:c0ff:fe26:d4cf) |
| 2025-11-02 03:01:26 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-02 03:01:32 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-02 03:03:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 03:04:22 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-02 03:07:59 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-02 03:08:10 +0100 | Zemy | (~Zemy@2600:100c:b011:e368:cc84:c0ff:fe26:d4cf) (Ping timeout: 256 seconds) |
| 2025-11-02 03:10:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 03:15:32 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 03:15:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c372:7c91:e089:1e54) (Quit: Leaving) |
| 2025-11-02 03:15:52 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 03:15:58 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 03:16:05 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 03:16:13 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c372:7c91:e089:1e54) |
| 2025-11-02 03:21:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 03:23:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-02 03:25:39 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c372:7c91:e089:1e54) (Remote host closed the connection) |
| 2025-11-02 03:26:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-02 03:33:05 +0100 | deptype | (~deptype@2406:b400:3a:73c2:91f9:512b:5451:fad9) |
| 2025-11-02 03:36:56 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-02 03:37:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 03:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 03:42:52 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-02 03:53:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 03:58:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 03:59:10 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-11-02 04:01:06 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-02 04:05:03 +0100 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
| 2025-11-02 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-11-02 04:07:21 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:4d5d:3496:2082:9f88) (Read error: Connection reset by peer) |
| 2025-11-02 04:08:16 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) synchromesh |
| 2025-11-02 04:09:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-11-02 04:15:45 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 04:15:53 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 04:16:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-02 04:20:08 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-02 04:22:11 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-02 04:24:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 04:30:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 04:30:44 +0100 | guest1 | (~Adium@user/hotice) hotice |
| 2025-11-02 04:32:01 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-02 04:33:32 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) fp |
| 2025-11-02 04:35:46 +0100 | Googulator83 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 04:35:49 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 04:38:49 +0100 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-02 04:40:37 +0100 | td_ | (~td@i53870909.versanet.de) |
| 2025-11-02 04:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 04:44:39 +0100 | gustrb | (~gustrb@user/gustrb) (Read error: Connection reset by peer) |
| 2025-11-02 04:44:55 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-11-02 04:47:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 04:58:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 05:03:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 05:05:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-02 05:08:35 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-02 05:09:28 +0100 | guest1 | (~Adium@user/hotice) (Excess Flood) |
| 2025-11-02 05:14:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 05:17:54 +0100 | hotice | (~Adium@user/hotice) hotice |
| 2025-11-02 05:19:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 05:19:37 +0100 | hotice | (~Adium@user/hotice) (Excess Flood) |
| 2025-11-02 05:19:38 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-11-02 05:30:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 05:35:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 05:43:50 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 05:46:46 +0100 | trickard_ | trickard |
| 2025-11-02 05:49:06 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 256 seconds) |
| 2025-11-02 05:54:12 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-02 05:54:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-02 05:54:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 05:55:48 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-11-02 05:56:24 +0100 | bgt32 | (~keutoi@106.222.235.144) |
| 2025-11-02 05:57:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-02 05:59:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-11-02 05:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 06:01:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 06:06:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 06:07:13 +0100 | bgt32 | (~keutoi@106.222.235.144) (Ping timeout: 256 seconds) |
| 2025-11-02 06:09:30 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-02 06:09:48 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 06:12:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-02 06:12:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-02 06:15:42 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 06:15:51 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 06:17:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 06:19:07 +0100 | annamalai | (~annamalai@157.32.129.251) (Ping timeout: 256 seconds) |
| 2025-11-02 06:19:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-02 06:19:53 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 06:21:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 06:23:38 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-11-02 06:25:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-02 06:30:28 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 06:30:42 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 06:32:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 06:33:49 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-02 06:37:15 +0100 | annamalai | (~annamalai@157.32.124.151) annamalai |
| 2025-11-02 06:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 06:39:31 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-02 06:40:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:91f9:512b:5451:fad9) (Remote host closed the connection) |
| 2025-11-02 06:40:16 +0100 | deptype | (~deptype@2406:b400:3a:73c2:52d3:fe5a:c549:9c9b) |
| 2025-11-02 06:41:43 +0100 | annamalai | (~annamalai@157.32.124.151) (Ping timeout: 264 seconds) |
| 2025-11-02 06:48:34 +0100 | boonochrom | monochrom |
| 2025-11-02 06:48:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 06:49:37 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-02 06:50:17 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-02 06:53:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 07:00:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:52d3:fe5a:c549:9c9b) (Remote host closed the connection) |
| 2025-11-02 07:00:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:514:526f:a834:11be) |
| 2025-11-02 07:04:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 07:07:28 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) () |
| 2025-11-02 07:08:12 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-02 07:09:05 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Remote host closed the connection) |
| 2025-11-02 07:09:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-02 07:09:49 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-02 07:11:07 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 07:11:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 07:13:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-02 07:16:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-02 07:16:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-02 07:22:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 07:22:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-02 07:26:43 +0100 | trickard_ | trickard |
| 2025-11-02 07:27:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 07:35:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-11-02 07:38:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 07:39:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 07:41:31 +0100 | annamalai | (~annamalai@157.32.119.141) annamalai |
| 2025-11-02 07:42:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 07:45:38 +0100 | deptype_ | (~deptype@124.123.128.236) |
| 2025-11-02 07:48:06 +0100 | deptype | (~deptype@2406:b400:3a:73c2:514:526f:a834:11be) (Ping timeout: 256 seconds) |
| 2025-11-02 07:54:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 07:56:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-02 07:58:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 08:02:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 08:06:05 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 08:07:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-02 08:14:31 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 08:14:44 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 08:18:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 08:23:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 08:28:39 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-02 08:33:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 08:34:43 +0100 | trickard_ | trickard |
| 2025-11-02 08:38:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 08:39:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-02 08:39:31 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-02 08:40:37 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 08:49:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 08:56:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 08:56:42 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 08:56:55 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 09:00:06 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-02 09:03:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 09:05:15 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-02 09:08:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 09:09:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 09:15:22 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-02 09:15:45 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 09:17:08 +0100 | trickard_ | trickard |
| 2025-11-02 09:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 09:20:41 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 09:20:44 +0100 | Googulator96 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 09:20:54 +0100 | hotice | (~Adium@user/hotice) hotice |
| 2025-11-02 09:21:23 +0100 | hotice | (~Adium@user/hotice) (Excess Flood) |
| 2025-11-02 09:23:21 +0100 | hotice | (~Adium@user/hotice) hotice |
| 2025-11-02 09:23:26 +0100 | hotice | (~Adium@user/hotice) (Max SendQ exceeded) |
| 2025-11-02 09:23:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 09:31:00 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 09:31:07 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 09:31:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-02 09:34:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 09:39:29 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-02 09:40:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 09:45:34 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 09:48:52 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Client Quit) |
| 2025-11-02 09:49:06 +0100 | Guest34 | (~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) (Quit: Client closed) |
| 2025-11-02 09:49:52 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 09:50:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 09:51:25 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Client Quit) |
| 2025-11-02 09:52:22 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 09:55:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 10:04:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 10:05:09 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-02 10:05:20 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-02 10:09:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 10:09:13 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-02 10:10:47 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 10:10:47 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 10:11:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-02 10:20:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 10:26:03 +0100 | <chromoblob> | has anybody designed, or tried to, a Haskell machine? |
| 2025-11-02 10:26:27 +0100 | <haskellbridge> | <magic_rb> A physical piece of hardware? |
| 2025-11-02 10:26:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 10:27:32 +0100 | <chromoblob> | yes, at least made a design |
| 2025-11-02 10:30:31 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 10:30:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 10:35:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-02 10:38:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 10:40:35 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-02 10:40:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-02 10:41:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-02 10:43:01 +0100 | bgt32 | (~keutoi@106.222.235.144) |
| 2025-11-02 10:43:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 10:44:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 10:45:39 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 10:45:48 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 10:50:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-11-02 10:50:50 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 10:50:50 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 10:51:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-11-02 10:52:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 10:53:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 10:55:52 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-02 10:58:36 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-02 10:58:52 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 10:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-02 11:01:06 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 11:01:30 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 11:05:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:06:20 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 11:09:29 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 11:09:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 11:11:01 +0100 | yin | (~zero@user/zero) (Ping timeout: 255 seconds) |
| 2025-11-02 11:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:21:17 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-02 11:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-02 11:25:43 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 11:25:45 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 11:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:36:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-02 11:41:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 11:47:37 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-11-02 11:49:46 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-11-02 11:49:56 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-02 11:50:28 +0100 | Guest34 | (~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) |
| 2025-11-02 11:51:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:54:19 +0100 | dolio | (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
| 2025-11-02 11:54:26 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-11-02 11:56:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 12:01:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-02 12:05:43 +0100 | acidjnk | (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) acidjnk |
| 2025-11-02 12:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:08:50 +0100 | Guest34 | (~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) (Quit: Client closed) |
| 2025-11-02 12:13:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 12:15:02 +0100 | trickard_ | trickard |
| 2025-11-02 12:24:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:29:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-02 12:32:24 +0100 | nerdychip_ | (~nerdychip@212.129.75.228) |
| 2025-11-02 12:33:55 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 264 seconds) |
| 2025-11-02 12:39:21 +0100 | <mreh> | why did Boolean choose to use (<*)? |
| 2025-11-02 12:39:24 +0100 | <mreh> | frustrating |
| 2025-11-02 12:39:55 +0100 | <mreh> | I can import Prelude hiding ((<*)) |
| 2025-11-02 12:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:42:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 12:44:54 +0100 | <Nachtgespenst> | Or import the Boolean version qualified and use B.<* |
| 2025-11-02 12:45:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 12:47:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-02 12:51:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-11-02 12:52:27 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-11-02 12:53:51 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-11-02 12:55:22 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-11-02 12:55:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 13:00:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 13:03:45 +0100 | <mreh> | Nachtgespenst: yes |
| 2025-11-02 13:05:33 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-02 13:07:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 13:12:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 13:15:42 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 13:15:48 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 13:23:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 13:28:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 13:31:30 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-02 13:32:38 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-02 13:38:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 13:44:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 13:47:39 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 13:47:53 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 13:50:36 +0100 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2025-11-02 13:51:40 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-11-02 13:52:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 13:52:28 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-02 13:56:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 13:57:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-02 13:58:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 13:58:26 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 14:06:07 +0100 | ruvam | (~ruvam@user/ruvam) (Ping timeout: 246 seconds) |
| 2025-11-02 14:07:51 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-02 14:08:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 14:09:28 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-11-02 14:10:08 +0100 | Flow | (~none@gentoo/developer/flow) (Read error: Connection reset by peer) |
| 2025-11-02 14:12:06 +0100 | trickard_ | trickard |
| 2025-11-02 14:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 14:15:52 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 14:15:52 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 14:23:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 14:26:53 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-02 14:29:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 14:29:07 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 2025-11-02 14:29:37 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) synchromesh |
| 2025-11-02 14:30:39 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 14:30:45 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 14:32:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-11-02 14:36:55 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-02 14:38:07 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-02 14:39:22 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-02 14:39:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 14:42:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-02 14:42:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-02 14:43:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-02 14:44:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-02 14:55:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 15:02:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 15:05:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-11-02 15:09:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 15:14:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-02 15:14:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-02 15:16:19 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 15:18:40 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-02 15:19:26 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 15:21:10 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Client Quit) |
| 2025-11-02 15:24:44 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 15:25:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 15:25:46 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 15:25:48 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 15:25:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-02 15:30:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 15:30:38 +0100 | gehmehgeh | gmg |
| 2025-11-02 15:34:38 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-11-02 15:39:49 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-02 15:40:16 +0100 | jasmine2 | (~jasmine@net-93-66-98-9.cust.vodafonedsl.it) |
| 2025-11-02 15:40:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 15:41:07 +0100 | jasmine2 | (~jasmine@net-93-66-98-9.cust.vodafonedsl.it) (Client Quit) |
| 2025-11-02 15:43:44 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-11-02 15:45:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 15:46:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 15:48:37 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-02 15:53:51 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 15:54:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-02 16:06:11 +0100 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-02 16:15:44 +0100 | Googulator35 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 16:15:45 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 16:19:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-02 16:23:20 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-02 16:24:44 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-02 16:24:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-02 16:24:54 +0100 | ljdarj1 | ljdarj |
| 2025-11-02 16:28:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 16:40:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-02 16:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 16:41:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-02 16:42:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-11-02 16:43:08 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-02 16:43:46 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-11-02 16:44:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-02 16:46:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-02 16:53:09 +0100 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-11-02 16:57:13 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-02 16:58:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 17:03:00 +0100 | bggd | (~bgg@2a01:e0a:819:1510:83af:bf3a:bcfd:aa97) |
| 2025-11-02 17:03:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-02 17:10:46 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 17:10:50 +0100 | Googulator35 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 17:14:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 17:14:45 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-02 17:15:54 +0100 | bgt32 | (~keutoi@106.222.235.144) (Ping timeout: 256 seconds) |
| 2025-11-02 17:19:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-02 17:25:04 +0100 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-11-02 17:25:40 +0100 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-11-02 17:29:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 17:30:37 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 2025-11-02 17:30:38 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 256 seconds) |
| 2025-11-02 17:30:44 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 17:30:44 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 17:34:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 17:34:54 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 17:34:59 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-02 17:42:05 +0100 | williu5 | (~williu5@user/williu5) (Remote host closed the connection) |
| 2025-11-02 17:42:28 +0100 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-11-02 17:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 17:46:24 +0100 | aureness | (~hello@109.174.77.94) |
| 2025-11-02 17:46:24 +0100 | aureness | (~hello@109.174.77.94) (Changing host) |
| 2025-11-02 17:46:24 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 17:49:36 +0100 | nerdychip | (~nerdychip@212.129.76.84) |
| 2025-11-02 17:49:36 +0100 | nerdychip | (~nerdychip@212.129.76.84) (Changing host) |
| 2025-11-02 17:49:36 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-11-02 17:49:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-02 17:51:13 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 250 seconds) |
| 2025-11-02 17:51:35 +0100 | nerdychip_ | (~nerdychip@212.129.75.228) (Ping timeout: 256 seconds) |
| 2025-11-02 17:54:19 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 17:56:07 +0100 | FANTOM | (~fantom@212.228.181.156) (Quit: Connection error?!) |
| 2025-11-02 17:56:27 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 17:59:36 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-02 18:00:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 18:03:09 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 18:05:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 18:05:49 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 18:05:57 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 18:06:54 +0100 | bgt32 | (~keutoi@106.222.235.144) |
| 2025-11-02 18:08:56 +0100 | aureness | (~hello@user/aureness) (Quit: No Ping reply in 180 seconds.) |
| 2025-11-02 18:10:18 +0100 | aureness | (~hello@109.174.77.94) |
| 2025-11-02 18:10:18 +0100 | aureness | (~hello@109.174.77.94) (Changing host) |
| 2025-11-02 18:10:18 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 18:11:37 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-02 18:14:40 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 244 seconds) |
| 2025-11-02 18:15:43 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 18:15:43 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 18:16:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 18:23:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-02 18:24:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 18:27:14 +0100 | aureness | (~hello@109.174.77.94) |
| 2025-11-02 18:27:14 +0100 | aureness | (~hello@109.174.77.94) (Changing host) |
| 2025-11-02 18:27:14 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 18:30:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 18:30:40 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 18:30:47 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 18:31:13 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-02 18:31:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-02 18:35:24 +0100 | jmcantrell_ | jmcantrell |
| 2025-11-02 18:35:29 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-02 18:36:21 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 2025-11-02 18:47:51 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-02 18:49:06 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-02 18:51:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-02 18:54:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-02 18:54:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-02 18:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 19:01:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 19:10:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-02 19:12:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 19:17:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 19:18:35 +0100 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-11-02 19:19:02 +0100 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-11-02 19:22:13 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 264 seconds) |
| 2025-11-02 19:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 19:26:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 19:30:44 +0100 | rvalue | (~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du) |
| 2025-11-02 19:31:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 19:32:08 +0100 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-11-02 19:34:14 +0100 | aureness | (~hello@109.174.77.94) |
| 2025-11-02 19:34:14 +0100 | aureness | (~hello@109.174.77.94) (Changing host) |
| 2025-11-02 19:34:14 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 19:34:45 +0100 | bgt32 | (~keutoi@106.222.235.144) (Ping timeout: 244 seconds) |
| 2025-11-02 19:40:22 +0100 | aureness | (~hello@user/aureness) (Ping timeout: 246 seconds) |
| 2025-11-02 19:41:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 19:44:28 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-02 19:46:04 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-02 19:46:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 19:46:38 +0100 | rvalue | (~rvalue@about/hackers/rvalue) () |
| 2025-11-02 19:48:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-02 19:49:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-02 19:51:07 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-02 19:56:40 +0100 | aureness | (~hello@user/aureness) aureness |
| 2025-11-02 19:57:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 20:01:17 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 20:02:45 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 244 seconds) |
| 2025-11-02 20:03:46 +0100 | trickard__ | trickard |
| 2025-11-02 20:04:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-02 20:07:37 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 20:09:16 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 20:09:30 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-02 20:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 20:16:38 +0100 | jzargo | (~jzargo@user/jzargo) (Remote host closed the connection) |
| 2025-11-02 20:17:02 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-11-02 20:20:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-02 20:24:35 +0100 | jzargo | (~jzargo@user/jzargo) (Ping timeout: 256 seconds) |
| 2025-11-02 20:26:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 20:29:09 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Quit: Ping timeout (120 seconds)) |
| 2025-11-02 20:31:01 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-11-02 20:31:39 +0100 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-11-02 20:31:56 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-02 20:31:57 +0100 | annamalai | (~annamalai@157.32.119.141) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:12 +0100 | kmein | (~weechat@user/kmein) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:12 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:12 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:12 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:12 +0100 | haetsal | (~quassel@221.138.168.192) (Ping timeout: 256 seconds) |
| 2025-11-02 20:33:22 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-11-02 20:33:56 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2025-11-02 20:34:13 +0100 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Ping timeout: 256 seconds) |
| 2025-11-02 20:34:46 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-11-02 20:35:00 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-11-02 20:37:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | divlamir | (~divlamir@user/divlamir) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | td_ | (~td@i53870909.versanet.de) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | polykernel | (~polykerne@user/polykernel) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | Fijxu | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | notzmv | (~umar@user/notzmv) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | sp1ff` | (~user@2601:1c2:4c00:6820::8bad) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (*.net *.split) |
| 2025-11-02 20:37:16 +0100 | arahael | (~wetfoot@user/arahael) (*.net *.split) |
| 2025-11-02 20:37:30 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-02 20:38:56 +0100 | kaol_ | (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 2025-11-02 20:38:56 +0100 | bairyn | (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-11-02 20:38:56 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-02 20:38:56 +0100 | td_ | (~td@i53870909.versanet.de) |
| 2025-11-02 20:38:56 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-02 20:38:56 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-02 20:38:56 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-02 20:38:56 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-11-02 20:38:56 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-02 20:38:56 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2025-11-02 20:38:56 +0100 | sp1ff` | (~user@2601:1c2:4c00:6820::8bad) |
| 2025-11-02 20:38:56 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-11-02 20:38:56 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) firesquidwao |
| 2025-11-02 20:38:56 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-11-02 20:39:00 +0100 | Fijxu | (~Fijxu@user/fijxu) (Max SendQ exceeded) |
| 2025-11-02 20:39:18 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 20:39:41 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-02 20:39:49 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-02 20:40:15 +0100 | bggd | (~bgg@2a01:e0a:819:1510:83af:bf3a:bcfd:aa97) (Remote host closed the connection) |
| 2025-11-02 20:41:22 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 2025-11-02 20:41:46 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-11-02 20:42:00 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) synchromesh |
| 2025-11-02 20:42:29 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-11-02 20:42:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 20:43:12 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-02 20:44:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-02 20:44:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-02 20:45:12 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-02 20:45:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-02 20:46:52 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-02 20:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 20:54:40 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-02 20:56:20 +0100 | trickard__ | trickard |
| 2025-11-02 20:58:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 20:58:51 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-02 20:58:58 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-02 21:01:06 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-02 21:02:18 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 21:02:30 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-02 21:05:54 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-11-02 21:06:46 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-11-02 21:08:33 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-02 21:08:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-02 21:14:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 21:15:23 +0100 | aureness | (~hello@user/aureness) (Quit: Bye!) |
| 2025-11-02 21:18:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-02 21:26:51 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-11-02 21:27:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 21:34:15 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-02 21:34:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 21:36:02 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-02 21:37:01 +0100 | Awoobis | gAy_Dragon |
| 2025-11-02 21:38:20 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-02 21:40:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 21:44:38 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2025-11-02 21:45:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 21:47:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-02 21:48:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 21:50:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 21:54:37 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-02 22:01:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 22:07:15 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-02 22:10:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 22:14:29 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-02 22:14:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-02 22:16:35 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-02 22:19:24 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-11-02 22:20:12 +0100 | AlexZenon_2 | (~alzenon@178.34.160.166) |
| 2025-11-02 22:20:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 22:22:29 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 256 seconds) |
| 2025-11-02 22:22:29 +0100 | AlexZenon | (~alzenon@178.34.160.166) (Ping timeout: 256 seconds) |
| 2025-11-02 22:22:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2025-11-02 22:23:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-02 22:23:31 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2025-11-02 22:24:36 +0100 | haetsal | (~quassel@221.138.168.192) (Ping timeout: 256 seconds) |
| 2025-11-02 22:24:37 +0100 | Fijxu | (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 2025-11-02 22:24:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-02 22:24:50 +0100 | jmcantrell_ | jmcantrell |
| 2025-11-02 22:25:05 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-02 22:25:10 +0100 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2025-11-02 22:25:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-02 22:25:51 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2025-11-02 22:26:03 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-11-02 22:26:05 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-11-02 22:28:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 22:32:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-02 22:32:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-02 22:33:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 22:35:43 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-02 22:36:00 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-11-02 22:38:35 +0100 | mwnaylor | (~user@2601:5cf:837e:2bb0:8f48:1249:bca4:3647) mwnaylor |
| 2025-11-02 22:41:51 +0100 | <mwnaylor> | Been a while since I tinkered with Haskell. I remember that `x' in a generic name for and item, while `xs' names a lists. Is there a convention for list of lists? |
| 2025-11-02 22:42:07 +0100 | <mwnaylor> | s/and item/an item/ |
| 2025-11-02 22:43:41 +0100 | <haskellbridge> | <loonycyborg> I'd expect list of lists to mostly arise in context where x is a list, therefore list of lists would be xs |
| 2025-11-02 22:44:17 +0100 | <haskellbridge> | <loonycyborg> Unless you deal with all 3 layers at the same place |
| 2025-11-02 22:44:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-02 22:44:30 +0100 | <haskellbridge> | <loonycyborg> Does it happen often enough to have a convention? :P |
| 2025-11-02 22:44:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 22:46:33 +0100 | <mwnaylor> | Don't know about Haskell, but have seen it a bit in Clojure. For practice, writing the Clojure mapcat in elisp and Common Lisp. |
| 2025-11-02 22:46:37 +0100 | AlexZenon_2 | AlexZenon |
| 2025-11-02 22:48:57 +0100 | <jackdk> | mwnaylor: I have seen people write example implementations of e.g. `concat :: [[a]] -> [a]` with a pattern `xs:xss`. But I haven't seen this sort of function come up in enough industrial code to notice a pattern |
| 2025-11-02 22:49:24 +0100 | <EvanR> | xss, indicates it's a list of lists |
| 2025-11-02 22:49:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 22:49:54 +0100 | <EvanR> | but is sure to infuriate non-haskell people reading the code |
| 2025-11-02 22:50:20 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 22:50:28 +0100 | <EvanR> | though xs is already doing that |
| 2025-11-02 22:50:47 +0100 | <mwnaylor> | xss is one option I'd considered. xsxs was the other, but I think xss reads better. |
| 2025-11-02 22:50:58 +0100 | <EvanR> | xsxs misses the point of this name |
| 2025-11-02 22:51:28 +0100 | <EvanR> | x is something, if you have many x's, the short name is xs |
| 2025-11-02 22:51:33 +0100 | <EvanR> | if you have many xs's |
| 2025-11-02 22:51:38 +0100 | <EvanR> | xss |
| 2025-11-02 22:51:41 +0100 | <Anarchos> | OCaml uses xss too (in seq.ml[i] files of stdlib) |
| 2025-11-02 22:51:43 +0100 | <mwnaylor> | I wasn't planning on much Haskell code. I like some of the clean names. |
| 2025-11-02 22:52:06 +0100 | <EvanR> | if you're managing a real list of concrete things, maybe use another name |
| 2025-11-02 22:52:21 +0100 | <EvanR> | person:persons |
| 2025-11-02 22:52:30 +0100 | <EvanR> | page:pages |
| 2025-11-02 22:52:45 +0100 | <EvanR> | but abstract operations on any list don't get this luxury |
| 2025-11-02 22:53:04 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-02 22:54:55 +0100 | <mwnaylor> | It is an abstraction, as mapcat is a higher order function. As least for this discussion. |
| 2025-11-02 22:55:39 +0100 | <monochrom> | You can use "xss" for [[a]] |
| 2025-11-02 22:55:57 +0100 | <monochrom> | OK you already know. :) |
| 2025-11-02 22:57:03 +0100 | <mwnaylor> | I'd gravitated toward xss. I like getting others' opinions. |
| 2025-11-02 22:58:16 +0100 | <monochrom> | Yeah it's a very common convention. |
| 2025-11-02 22:58:55 +0100 | <EvanR> | if you find yourself using an xsss, you're now a three S haskell programmer |
| 2025-11-02 22:59:29 +0100 | <darkling> | Is that what's known as a snake case variable? :) |
| 2025-11-02 22:59:41 +0100 | <EvanR> | lol |
| 2025-11-02 23:00:11 +0100 | <monochrom> | I used double*** in C a long time ago. |
| 2025-11-02 23:00:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 23:00:33 +0100 | <EvanR> | impressive |
| 2025-11-02 23:01:46 +0100 | <monochrom> | Basically just because I had 2D arrays, fully dynamically allocated, and back then "double[m][n]" was not allowed for variable m,n, and I needed to pass such matrices by reference. |
| 2025-11-02 23:03:13 +0100 | <EvanR> | any each individual double was boxed? |
| 2025-11-02 23:03:17 +0100 | <EvanR> | and* |
| 2025-11-02 23:03:29 +0100 | <monochrom> | It was C! What box? :) |
| 2025-11-02 23:04:17 +0100 | <EvanR> | if it was an array of double, you could pass that around using double* |
| 2025-11-02 23:04:32 +0100 | <EvanR> | an array of pointers, double** |
| 2025-11-02 23:04:42 +0100 | <EvanR> | where did the third star come from |
| 2025-11-02 23:05:39 +0100 | <monochrom> | OK so I did row major order. For an m rows n cols matrix, I allocated a block of m pointers, then each initialized to malloc of n doubles. |
| 2025-11-02 23:05:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-02 23:06:04 +0100 | <monochrom> | The thrid star is from passing the matrix by reference to a function. |
| 2025-11-02 23:06:14 +0100 | <fgarcia> | for names i am not always consistent. if a function is a list of strings i am about equally as likely to use " ss " instead of " xss " |
| 2025-11-02 23:07:09 +0100 | <EvanR> | a string: cs |
| 2025-11-02 23:07:15 +0100 | <EvanR> | c:cs |