Logs: liberachat/#haskell
| 2025-12-08 14:48:07 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 240 seconds) |
| 2025-12-08 14:53:35 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-08 14:55:29 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-08 14:58:37 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 15:02:13 | Googulator80 | is now known as Googulator |
| 2025-12-08 15:08:35 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-08 15:12:24 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 2025-12-08 15:18:55 | × | annamalai quits (~annamalai@2409:4042:d37:b495::9e0a:ba05) (Remote host closed the connection) |
| 2025-12-08 15:21:06 | × | myxos quits (~myxos@2001:579:8380:f20:a84e:a963:182a:8091) (Ping timeout: 265 seconds) |
| 2025-12-08 15:21:33 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-12-08 15:24:43 | → | myxos joins (~myxos@wsip-70-166-126-146.ph.ph.cox.net) |
| 2025-12-08 15:24:55 | → | pebble joins (~pebble@37.63.35.63) |
| 2025-12-08 15:30:33 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-08 15:30:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-08 15:31:29 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 15:33:54 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 2025-12-08 15:35:46 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-08 15:35:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-08 15:36:33 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 15:36:48 | × | chenjf quits (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 2025-12-08 15:37:38 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-08 15:45:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-08 15:46:17 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 15:53:25 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 264 seconds) |
| 2025-12-08 15:53:55 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-12-08 15:55:08 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-08 16:00:58 | → | Googulator joins (~Googulato@185.199.28.81) |
| 2025-12-08 16:04:05 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-12-08 16:08:07 | × | Googulator quits (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2025-12-08 16:08:25 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 250 seconds) |
| 2025-12-08 16:12:37 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 264 seconds) |
| 2025-12-08 16:26:34 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-08 16:31:49 | trickard_ | is now known as trickard |
| 2025-12-08 16:35:11 | × | leah2 quits (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2025-12-08 16:37:28 | → | leah2 joins (~leah@vuxu.org) |
| 2025-12-08 16:41:50 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-08 16:43:35 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 240 seconds) |
| 2025-12-08 16:47:45 | → | annamalai joins (~annamalai@2409:4042:d37:b495::9e0a:ba05) |
| 2025-12-08 16:52:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 17:06:11 | → | Googulator joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 17:06:57 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-08 17:08:16 | → | notzmv joins (~umar@user/notzmv) |
| 2025-12-08 17:13:51 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-12-08 17:27:43 | × | raym quits (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2025-12-08 17:30:44 | <yin> | the description of `alter` is scrambled with `unions` https://hackage.haskell.org/package/containers-0.1.0.1/docs/Data-IntMap.html |
| 2025-12-08 17:34:09 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-08 17:37:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 17:37:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-12-08 17:39:22 | <yin> | not sure why, the source looks correct |
| 2025-12-08 17:40:46 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 17:40:46 | → | Googulator83 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 17:42:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 17:44:49 | → | FANTOM_ joins (~fantom@212.228.181.156) |
| 2025-12-08 17:48:28 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-08 17:48:48 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-08 17:52:37 | Googulator83 | is now known as Googulator |
| 2025-12-08 17:58:25 | → | Square2 joins (~Square@user/square) |
| 2025-12-08 18:00:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 18:01:18 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-08 18:01:55 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-08 18:05:39 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-12-08 18:07:01 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-08 18:08:58 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 2025-12-08 18:10:42 | → | Googulator89 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 18:10:47 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 18:12:44 | → | Guest6400 joins (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) |
| 2025-12-08 18:13:45 | Googulator89 | is now known as Googulator |
| 2025-12-08 18:13:57 | × | Guest6400 quits (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (Remote host closed the connection) |
| 2025-12-08 18:14:15 | → | Guest6400 joins (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) |
| 2025-12-08 18:14:36 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-08 18:18:23 | Guest6400 | is now known as filesUNDcatboxUN |
| 2025-12-08 18:18:45 | filesUNDcatboxUN | is now known as catboxmoeonpw4tj |
| 2025-12-08 18:20:04 | × | kuribas quits (~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-12-08 18:20:55 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 18:21:28 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 18:21:44 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-08 18:21:49 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-08 18:25:10 | → | user47384 joins (~Guest75@128.205.160.74) |
| 2025-12-08 18:26:04 | × | mulk quits (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2025-12-08 18:26:18 | × | merijn quits (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2025-12-08 18:34:41 | × | catboxmoeonpw4tj quits (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (K-Lined) |
| 2025-12-08 18:34:49 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds) |
| 2025-12-08 18:35:59 | → | mulk joins (~mulk@p5b1127bf.dip0.t-ipconnect.de) |
| 2025-12-08 18:36:38 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-08 18:38:58 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 18:39:12 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 18:40:41 | → | Googulator71 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 18:40:48 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 18:48:34 | <yin> | updateLookupWothKey's also doesn't make sense |
| 2025-12-08 18:49:42 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-08 18:52:58 | <monochrom> | About Set Int vs IntMap (): There is also IntSet to make your choice harder! :) |
| 2025-12-08 18:53:06 | × | user47384 quits (~Guest75@128.205.160.74) (Quit: Client closed) |
| 2025-12-08 18:55:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-08 18:59:52 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-08 19:01:01 | <EvanR> | is IntSet not just IntMap () |
| 2025-12-08 19:01:26 | <tomsmeding> | semantically yes, implementation is specialised |
| 2025-12-08 19:01:34 | × | mulk quits (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2025-12-08 19:01:35 | <EvanR> | nice |
| 2025-12-08 19:04:14 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 2025-12-08 19:06:52 | → | raeven joins (~raeven@user/raeven) |
All times are in UTC.