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