| 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 |
| 2025-11-02 23:07:45 +0100 | <EvanR> | functions |
| 2025-11-02 23:07:47 +0100 | <EvanR> | f:fs |
| 2025-11-02 23:07:55 +0100 | <EvanR> | g:gs |
| 2025-11-02 23:08:39 +0100 | <monochrom> | OK you're right, that needs only **. I forgot where the third came from. |
| 2025-11-02 23:08:56 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-02 23:09:41 +0100 | <fgarcia> | things like " xss " have been good. less attention to the variables when the type signature and function name can be enough. haskell has been wonderful to present meaning at the desired places |
| 2025-11-02 23:09:51 +0100 | EvanR | rips the 3-star pin off monochrom's uniform |
| 2025-11-02 23:13:28 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-02 23:16:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 23:21:33 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-02 23:22:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 23:22:47 +0100 | Zemyla | (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 23:25:46 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-02 23:27:50 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-02 23:29:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 23:32:43 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 256 seconds) |
| 2025-11-02 23:33:02 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-11-02 23:33:18 +0100 | <mwnaylor> | <type> **variable reminds me of the double pointers in the in the original Mac system code. Except Apple called them Ptr and Handle (I think). The Ptr held the address of allocated memory, which was stored in the Handle. This allowed blocks of memory to be moved around. Before reading/writing memory, the Handle got locked. Then unlocked when the operation was complete. |
| 2025-11-02 23:34:34 +0100 | <monochrom> | Nice. |
| 2025-11-02 23:34:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |