Logs on 2025-11-03 (liberachat/#haskell)
| 00:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:07:35 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 244 seconds) |
| 00:08:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 00:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:20:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:27:34 | → | anpad joins (~pandeyan@user/anpad) |
| 00:30:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:31:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:36:36 | <monochrom> | I am not sure that chapters for q or z are really that long. :) |
| 00:36:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:42:30 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 00:47:15 | → | Square3 joins (~Square4@user/square) |
| 00:47:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:50:00 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 00:52:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:55:32 | × | fp quits (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 01:03:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:04:42 | → | bggd joins (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) |
| 01:06:12 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 01:07:29 | × | qqe quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 01:07:44 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 01:08:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:15:19 | × | otto_s quits (~user@p4ff274ae.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 01:17:02 | → | otto_s joins (~user@p5b044953.dip0.t-ipconnect.de) |
| 01:18:00 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:19:46 | → | notzmv joins (~umar@user/notzmv) |
| 01:19:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:22:04 | → | anpad joins (~pandeyan@user/anpad) |
| 01:27:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:28:08 | → | karenw joins (~karenw@user/karenw) |
| 01:36:19 | × | acidjnk quits (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 01:37:22 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 01:37:45 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 01:37:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:38:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:40:08 | → | califax joins (~califax@user/califx) |
| 01:43:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:43:40 | → | itaipu joins (~itaipu@168.121.97.28) |
| 01:45:51 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 01:50:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 01:50:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:51:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:51:53 | Googulator61 | is now known as Googulator |
| 01:53:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:00 | → | annamalai joins (~annamalai@157.32.123.184) |
| 01:58:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:00:48 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 02:02:58 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 02:03:44 | → | itaipu joins (~itaipu@168.121.97.28) |
| 02:03:53 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 02:03:57 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 02:04:18 | → | weary-traveler joins (~user@user/user363627) |
| 02:09:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:14:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:14:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:25:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:27:52 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 02:29:28 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:30:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:30:45 | → | img joins (~img@user/img) |
| 02:36:17 | jmcantrell_ | is now known as jmcantrell |
| 02:41:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:43:05 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 02:46:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:47:10 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 02:49:30 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 02:50:03 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 02:55:44 | × | Square3 quits (~Square4@user/square) (Ping timeout: 265 seconds) |
| 02:57:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:00:01 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 03:03:01 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 03:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:04:34 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:13:11 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 03:13:21 | → | karenw joins (~karenw@user/karenw) |
| 03:15:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:40 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 03:15:43 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 03:17:20 | × | karenw quits (~karenw@user/karenw) (Client Quit) |
| 03:20:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:20:50 | → | Googulator48 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 03:21:09 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 03:22:39 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 03:24:07 | → | Zemy_ joins (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) |
| 03:24:07 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 03:24:41 | → | Zemy joins (~Zemy@72.178.108.235) |
| 03:24:44 | × | Zemy_ quits (~Zemy@2600:100c:b0aa:98b1:d8ea:ffff:fe76:5a1a) (Read error: Connection reset by peer) |
| 03:30:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:35:56 | × | Googulator48 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 03:36:04 | → | Googulator48 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 03:37:36 | × | td_ quits (~td@i53870909.versanet.de) (Ping timeout: 256 seconds) |
| 03:39:29 | → | td_ joins (~td@i53870934.versanet.de) |
| 03:40:40 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 03:40:40 | × | Googulator48 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 03:46:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:48:04 | → | fmlatghor joins (~lcoogan@user/fmlatghor) |
| 03:51:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:58:35 | × | arahael quits (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 03:59:26 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c0f3:e230:574:ab9a) (Read error: Connection reset by peer) |
| 04:00:40 | → | synchromesh joins (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) |
| 04:01:58 | × | craunts795335385 quits (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 04:02:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:11:00 | → | notzmv joins (~umar@user/notzmv) |
| 04:12:30 | → | arahael joins (~wetfoot@user/arahael) |
| 04:14:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 04:15:37 | → | Googulator77 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 04:16:13 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 04:16:15 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 04:19:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 04:21:35 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 04:23:06 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 04:30:10 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 04:31:07 | → | bgt32 joins (~keutoi@49.43.217.99) |
| 04:33:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:40:23 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 04:40:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:45:39 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 04:45:39 | × | Googulator77 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 04:50:38 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 04:50:46 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 04:51:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:52:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:55:39 | × | Zemyla quits (~Zemyla@72.178.108.235) (Quit: Client closed) |
| 04:58:03 | × | bgt32 quits (~keutoi@49.43.217.99) (Ping timeout: 252 seconds) |
| 05:00:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:04:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 05:16:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:23:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:33:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:36:29 | → | qqe joins (~qqq@185.54.21.203) |
| 05:37:52 | → | karenw joins (~karenw@user/karenw) |
| 05:39:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:47:04 | × | deptype_ quits (~deptype@124.123.128.236) (Remote host closed the connection) |
| 05:49:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:54:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:59:14 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 06:00:29 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 06:05:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:10:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:10:37 | → | deptype joins (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) |
| 06:13:17 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 06:13:40 | × | qqe quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 06:17:09 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 06:19:23 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:21:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:26:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:29:05 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 06:29:21 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:31:08 | × | deptype quits (~deptype@2406:b400:3a:73c2:9371:39c7:fb73:eef8) (Remote host closed the connection) |
| 06:31:21 | → | deptype joins (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) |
| 06:37:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:41:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:46:06 | → | Googulator92 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:46:12 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 06:47:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 06:51:10 | × | deptype quits (~deptype@2406:b400:3a:73c2:aa9c:5afd:c969:b068) (Remote host closed the connection) |
| 06:51:23 | → | deptype joins (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) |
| 06:51:52 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:52:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 06:52:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:57:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:06:29 | × | xelxebar quits (~xelxebar@wilsonb.com) (Ping timeout: 260 seconds) |
| 07:07:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:07:47 | → | poscat0x04 joins (~poscat@user/poscat) |
| 07:09:36 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 07:09:52 | → | craunts795335385 joins (~craunts@175.176.18.184) |
| 07:09:55 | → | xelxebar joins (~xelxebar@42.203.199.104.bc.googleusercontent.com) |
| 07:11:15 | × | deptype quits (~deptype@2406:b400:3a:73c2:9cf9:6413:4419:2801) (Remote host closed the connection) |
| 07:11:33 | → | deptype joins (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) |
| 07:15:27 | → | jreicher joins (~user@user/jreicher) |
| 07:16:02 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 07:18:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:19:49 | × | annamalai quits (~annamalai@157.32.123.184) (Ping timeout: 264 seconds) |
| 07:23:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:31:47 | × | deptype quits (~deptype@2406:b400:3a:73c2:2b92:2fd3:568a:55b5) (Remote host closed the connection) |
| 07:31:59 | → | deptype joins (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) |
| 07:49:34 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:51:49 | × | deptype quits (~deptype@2406:b400:3a:73c2:48ab:8ac6:df37:a6f5) (Remote host closed the connection) |
| 07:52:02 | → | deptype joins (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) |
| 07:52:07 | → | annamalai joins (~annamalai@2409:4042:2592:875c::1c9d:70b1) |
| 07:52:46 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 07:52:55 | → | Guest60 joins (~Guest60@104.168.56.32) |
| 07:55:31 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 07:57:54 | × | Guest60 quits (~Guest60@104.168.56.32) (Quit: Client closed) |
| 08:03:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:06:32 | × | annamalai quits (~annamalai@2409:4042:2592:875c::1c9d:70b1) (Ping timeout: 244 seconds) |
| 08:08:16 | → | annamalai joins (~annamalai@157.32.113.145) |
| 08:10:53 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:11:51 | × | deptype quits (~deptype@2406:b400:3a:73c2:3aa3:8982:2038:36d0) (Remote host closed the connection) |
| 08:12:11 | → | deptype joins (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) |
| 08:12:15 | → | pabs3 joins (~pabs3@user/pabs3) |
| 08:15:12 | → | tromp joins (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 08:20:12 | × | annamalai quits (~annamalai@157.32.113.145) (Remote host closed the connection) |
| 08:20:12 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 08:20:32 | → | annamalai joins (~annamalai@157.32.113.145) |
| 08:21:12 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 08:21:22 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 08:31:53 | × | deptype quits (~deptype@2406:b400:3a:73c2:cfb2:c61a:e366:1e80) (Remote host closed the connection) |
| 08:32:11 | → | deptype joins (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) |
| 08:33:01 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 08:43:22 | → | kuribas joins (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) |
| 08:43:41 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 08:44:30 | → | __monty__ joins (~toonn@user/toonn) |
| 08:45:06 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:47:59 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:48:13 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:51:57 | × | deptype quits (~deptype@2406:b400:3a:73c2:889:ebc5:fad6:5cd4) (Remote host closed the connection) |
| 08:52:17 | → | deptype joins (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) |
| 08:53:21 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:54:38 | × | craunts795335385 quits (~craunts@175.176.18.184) (Ping timeout: 256 seconds) |
| 09:03:50 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:04:03 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 09:05:01 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 09:05:23 | → | divlamir joins (~divlamir@user/divlamir) |
| 09:10:50 | trickard_ | is now known as trickard |
| 09:11:38 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 09:11:59 | × | deptype quits (~deptype@2406:b400:3a:73c2:1328:268d:8c1:ea34) (Remote host closed the connection) |
| 09:12:11 | → | deptype joins (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) |
| 09:15:59 | → | craunts795335385 joins (~craunts@175.176.18.184) |
| 09:32:31 | × | deptype quits (~deptype@2406:b400:3a:73c2:1267:f0b9:3b00:610e) (Remote host closed the connection) |
| 09:32:51 | → | deptype joins (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) |
| 09:38:08 | → | prdak joins (~Thunderbi@user/prdak) |
| 09:42:05 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 09:42:37 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 09:42:37 | → | gustrb joins (~gustrb@user/gustrb) |
| 09:44:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:46:50 | → | karenw joins (~karenw@user/karenw) |
| 09:52:33 | × | deptype quits (~deptype@2406:b400:3a:73c2:162b:84f3:d56b:3ec0) (Remote host closed the connection) |
| 09:52:47 | → | deptype joins (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) |
| 09:53:40 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 10:12:35 | × | deptype quits (~deptype@2406:b400:3a:73c2:9edb:ec5f:104a:bb2b) (Remote host closed the connection) |
| 10:12:51 | → | deptype joins (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) |
| 10:12:57 | → | prdak joins (~Thunderbi@user/prdak) |
| 10:20:40 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:20:53 | → | trickard joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 10:23:05 | × | craunts795335385 quits (~craunts@175.176.18.184) (Quit: The Lounge - https://thelounge.chat) |
| 10:26:23 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 10:29:33 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 10:29:49 | → | prdak joins (~Thunderbi@user/prdak) |
| 10:30:20 | → | prdak2 joins (~Thunderbi@user/prdak) |
| 10:33:06 | × | prdak2 quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 10:33:37 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 10:34:25 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 10:35:27 | → | prdak joins (~Thunderbi@user/prdak) |
| 10:38:37 | × | deptype quits (~deptype@2406:b400:3a:73c2:90bc:8839:be56:efe4) (Remote host closed the connection) |
| 10:38:51 | → | deptype joins (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) |
| 10:40:13 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 10:40:21 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 10:40:47 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 10:58:39 | × | deptype quits (~deptype@2406:b400:3a:73c2:4b0e:36fd:bf73:2ff7) (Remote host closed the connection) |
| 10:58:56 | → | deptype joins (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) |
| 11:07:58 | → | Square2 joins (~Square@user/square) |
| 11:11:39 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 11:21:54 | → | acidjnk joins (~acidjnk@p200300d6e7171976342d0abd7c7df47c.dip0.t-ipconnect.de) |
| 11:28:17 | → | chele joins (~chele@user/chele) |
| 11:29:14 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 11:29:40 | → | trickard___ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 11:30:12 | trickard___ | is now known as trickard |
| 11:30:46 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 11:39:27 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 11:42:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:44:30 | → | Digit joins (~user@user/digit) |
| 11:45:36 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 11:46:35 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:51:39 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:51:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:58:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 11:58:40 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:05:11 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 12:06:11 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:06:21 | → | Square3 joins (~Square4@user/square) |
| 12:09:23 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 12:09:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 12:14:32 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 12:15:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:19:39 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 12:19:58 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:20:29 | × | Square3 quits (~Square4@user/square) (Remote host closed the connection) |
| 12:25:12 | × | deptype quits (~deptype@2406:b400:3a:73c2:6922:e99c:537:1929) (Remote host closed the connection) |
| 12:25:47 | → | deptype joins (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) |
| 12:32:55 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 12:33:13 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 12:37:51 | Googulator92 | is now known as Googulator |
| 12:38:25 | → | prdak joins (~Thunderbi@user/prdak) |
| 12:42:42 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 12:58:16 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 13:01:06 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:02:41 | <[exa]> | Is there some canonical data type in the libraries that would represent a "directory structure"? Like a Tree but with explicit filename key, and data only in leaves ("files") |
| 13:13:46 | <Leary> | [exa]: Sounds like a trie, specifically a "trie map" rather than a "trie set". |
| 13:15:29 | <[exa]> | yeah sounds like it |
| 13:16:04 | <[exa]> | funnily there's no package with general tries, somehow people only do stringy ones |
| 13:16:32 | <[exa]> | (time to act?!) |
| 13:19:17 | <Leary> | 'generic-trie' looks alright. |
| 13:23:08 | [exa] | tries to refocus eyes |
| 13:23:12 | <[exa]> | somehow I missed that |
| 13:23:14 | <[exa]> | thanks a lot! |
| 13:23:48 | <dminuoso> | A directory structure is, under most filesystems, not just a dree but a DAG. |
| 13:23:50 | → | user363627 joins (~user@user/user363627) |
| 13:24:06 | <dminuoso> | Sorry, not even acylic. |
| 13:24:09 | <dminuoso> | A graph. |
| 13:24:30 | <tomsmeding> | a dree? |
| 13:24:38 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 13:24:42 | <dminuoso> | nice |
| 13:25:14 | × | deptype quits (~deptype@2406:b400:3a:73c2:adf2:5878:8562:a7a) (Remote host closed the connection) |
| 13:25:28 | → | deptype joins (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) |
| 13:25:43 | AlexNoo_ | is now known as AlexNoo |
| 13:26:25 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 13:27:57 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 250 seconds) |
| 13:27:59 | <[exa]> | dminuoso: I meant a really naive trivial one :D |
| 13:28:38 | <[exa]> | Leary: is it just me or that generic-trie is too generic? there isn't anything like "listing a directory" or so |
| 13:29:41 | → | prdak joins (~Thunderbi@user/prdak) |
| 13:34:59 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 13:36:37 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 13:36:37 | prdak1 | is now known as prdak |
| 13:37:20 | <tomsmeding> | isn't the idea of a trie that a node encodes its entire prefix, and the particular substring on an edge has no useful semantics by itself? |
| 13:37:39 | <tomsmeding> | so I wouldn't expect a trie library to expose a function for getting the outgoing edges of a node, because that ought not to be relevant for a trie |
| 13:38:16 | <tomsmeding> | [exa]: why not just data FileTree = Directory (Map FileName FileTree) | File FileName Stuffs |
| 13:38:57 | <dminuoso> | tomsmeding: No the opposite. |
| 13:39:10 | <dminuoso> | You essentially only encode portions in edges. |
| 13:39:15 | <tomsmeding> | I know |
| 13:39:19 | <tomsmeding> | I know how a trie works |
| 13:39:33 | <Leary> | [exa]: Actually, upon further inspection, it looks like it's focused more on being an optimised `Map` than on otherwise exploiting its trie-ness. 'trie-simple' looks more suitable, with e.g.: `match :: Ord c => [c] -> TMap c a -> (Maybe a, TMap c a)` |
| 13:39:37 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 13:40:03 | <tomsmeding> | dminuoso: but the portions on the edges are not meaningful values by themselves, they just happen to be substrings that are shared by all values in a particular subset of your set |
| 13:40:31 | <dminuoso> | I've always rolled my own trie implementations to cope with the specific needs. |
| 13:40:33 | <Leary> | They're meaningful if you control the atoms. |
| 13:41:00 | <dminuoso> | For our DNS stuff I have a SparseTrie that can have sort if "missing" intermediate nodes. |
| 13:41:07 | <dminuoso> | s/sort if/sort of" |
| 13:42:17 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 13:44:00 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 13:45:16 | × | deptype quits (~deptype@2406:b400:3a:73c2:f533:eee9:1812:5e31) (Remote host closed the connection) |
| 13:45:50 | → | deptype joins (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) |
| 13:46:10 | <[exa]> | tomsmeding: yeah I wanted to avoid reimplementation |
| 13:46:15 | <[exa]> | Leary: oh nice |
| 13:46:42 | <[exa]> | Leary: how do you find the packages? hoogle is hiding this from me completely |
| 13:46:45 | <[exa]> | ._. |
| 13:46:47 | → | prdak joins (~Thunderbi@user/prdak) |
| 13:46:53 | <tomsmeding> | search for "trie" on hackage? |
| 13:47:18 | <tomsmeding> | hoogle searches only in the stackage set in any case |
| 13:47:19 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 13:47:27 | <dminuoso> | I looked for trie packages on hackage, there is not much generic stuff up there. |
| 13:48:33 | <dminuoso> | Im not sure a generic version is even that useful. You tend to pick a trie for performance reasons, and then you want it tailored to your algorithm. |
| 13:49:16 | <dminuoso> | And it must facilitate particular access patterns. Maybe you care about inserting a lot |
| 13:49:24 | <Leary> | [exa]: Just hackage search, like they said. |
| 13:51:10 | × | prdak1 quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 13:51:21 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 250 seconds) |
| 13:52:57 | [exa] | discovers hackage search |
| 13:53:11 | <[exa]> | ok cool. :D |
| 13:53:20 | tomsmeding | . o O ( https://xkcd.com/1053/ ) |
| 13:54:12 | <haskellbridge> | <Morj> I have search keywords in firefox: h for hoogle and ha for hackage, very useful |
| 13:54:58 | <haskellbridge> | <Morj> For rust instead I type docs.rs/packagename and it also works, except some packages use underscores instead of tirets in the name |
| 13:55:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 13:55:24 | <tomsmeding> | hyphens? |
| 13:55:30 | <haskellbridge> | <Morj> Yes, those |
| 13:56:04 | <haskellbridge> | <Morj> Should we create a new country to get an "hs" top-level domain? Or maybe another would work better? |
| 13:56:29 | <sshine> | .fun? |
| 13:56:37 | <sshine> | it already exists :) |
| 13:57:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:57:15 | <haskellbridge> | <Morj> :3 |
| 13:57:17 | <dminuoso> | Morj: gTLDs are a thing! No need for a full country anymore, you just need about 2 imperial bags of cash. |
| 13:57:40 | <dminuoso> | Oh and you need to pay an annual fee of 3 lumps of gold. |
| 13:57:40 | <haskellbridge> | <Morj> But a gtld can't be two letters, right? |
| 13:58:28 | <dminuoso> | Morj: Well, one of the imperial bags of cash is just bribing someone at ICANN. |
| 13:58:56 | <dminuoso> | But yeah. |
| 13:59:30 | <haskellbridge> | <Morj> I propose a reunification of serbo-croatia, the tld would be an abbreviation of hrvatsko-serbsko |
| 13:59:33 | <dminuoso> | .hask is available. |
| 13:59:49 | <dminuoso> | First domain shall be category.hask. |
| 14:00:37 | <sshine> | Mroj: it seems that ICANN changed their policy and generally allow two-letter gTLDs that are not ccTLDs. |
| 14:00:47 | <sshine> | Morj: https://www.icann.org/en/contracted-parties/registry-operators/services/reserved-names/two-character-ascii-labels |
| 14:01:58 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:02:50 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:03:03 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 14:04:48 | × | deptype quits (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) (Remote host closed the connection) |
| 14:05:01 | → | deptype joins (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) |
| 14:08:52 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 14:12:10 | <dminuoso> | I just wanted to debug a performance regression, so I tried `--enable-profiling` and cabal is failing to find modules for an internal dependencies: https://paste.tomsmeding.com/23kpMrLR |
| 14:14:13 | <dminuoso> | What does "installed the profiling libraries" even mean, here? |
| 14:14:44 | <dminuoso> | Is GHC looking for .p_hi files or soemthing along the lines? |
| 14:15:12 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:17:36 | <tomsmeding> | dminuoso: have you tried rm -r ~/.cabal/store/ghc-9.6.6*? :p |
| 14:18:02 | <dminuoso> | why would I have to nuke stuff from cabal store? |
| 14:18:15 | <tomsmeding> | because this looks like a borked install of parser-combinators and attoparsec in the store |
| 14:18:38 | <tomsmeding> | if nuking the store doesn't help, that rules this out |
| 14:18:41 | <dminuoso> | Would this be the time where I admit that I may be using haskell.nix? |
| 14:18:51 | <tomsmeding> | probably, and where I sign off because I have no clue |
| 14:19:19 | <dminuoso> | This is why my question was rather about what cabal is barking about rather. |
| 14:19:23 | <dminuoso> | Since it is just plain cabal-install |
| 14:19:49 | <tomsmeding> | normally cabal would realise that a particular dependency has not been built for profiling yet, and start doing so |
| 14:19:54 | <Leary> | My guess: It means that the ghc cabal is using has non-profiling versions of the libraries registered in its global package database, which get in the way of it building its own. |
| 14:22:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 14:24:36 | <dminuoso> | So is profiling similar to cabal flags in that respect? |
| 14:24:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:25:37 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:25:51 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 14:27:34 | → | prdak2 joins (~Thunderbi@user/prdak) |
| 14:28:24 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 14:28:24 | × | prdak2 quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 14:30:48 | → | Square joins (~Square4@user/square) |
| 14:31:08 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:37:59 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 14:39:26 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 14:40:37 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:40:50 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 14:44:39 | trickard_ | is now known as trickard |
| 14:53:32 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 14:55:41 | <davean> | dminuoso: no, profiling is a build option for GHC, cabal usually won't rebuild something for profiling, it builts it the first time for it. |
| 14:56:26 | <tomsmeding> | if I use `cabal build --enable-profiling` on a project where I have not done so before, cabal definitely starts rebuidling the world with profiling. |
| 14:56:48 | <davean> | yes because its a different build config |
| 14:57:17 | <tomsmeding> | makes sense; I was just arguing against "cabal usually won't rebuild something for profiling" |
| 14:57:52 | <davean> | right, it builds a build way one time usually. I'm addressing why I think haskell.nix is breaking it |
| 14:58:35 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 14:58:36 | <davean> | I think dminuoso can fix this either by setting profiling in cabal.project or in the flake with configureArgs |
| 15:02:23 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 15:02:27 | <davean> | dminuoso: I would specificly recomend setting profiling: true in your cabal.project before entering the flake |
| 15:07:45 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:07:59 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 15:08:13 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 15:10:20 | × | deptype quits (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) (Remote host closed the connection) |
| 15:10:22 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 15:10:39 | → | deptype joins (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) |
| 15:10:49 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 15:10:49 | prdak1 | is now known as prdak |
| 15:24:57 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 15:25:36 | → | Square joins (~Square4@user/square) |
| 15:28:09 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 15:30:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) (Remote host closed the connection) |
| 15:30:35 | → | deptype joins (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) |
| 15:31:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:33:19 | <dminuoso> | davean: Ah turns out that does not work. Seems to be an extension of https://github.com/haskell/cabal/issues/6343 |
| 15:33:56 | <dminuoso> | https://github.com/input-output-hk/haskell.nix/issues/887#issuecomment-1489632156 has some details about this. |
| 15:34:56 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 15:35:16 | <dminuoso> | But at least I can communicate this via NixOS modules to haskell.nix |
| 15:35:27 | <dminuoso> | Or I guess "Nix modules" rather? Not sure. |
| 15:38:27 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 15:38:46 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 15:40:46 | → | FANTOM joins (~fantom@212.228.181.156) |
| 15:42:07 | <davean> | dminuoso: no, I don't mean using ghc-options |
| 15:42:29 | <davean> | Though the haskell.nix issue matches sadly. |
| 15:43:04 | <davean> | haskell.nix has so many rough edges :( |
| 15:43:30 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 15:45:06 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 15:50:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:50:24 | × | deptype quits (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) (Remote host closed the connection) |
| 15:50:40 | → | deptype joins (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) |
| 15:51:19 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 15:59:51 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:00:45 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 16:04:31 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 16:04:31 | prdak1 | is now known as prdak |
| 16:09:36 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 16:10:29 | × | deptype quits (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) (Remote host closed the connection) |
| 16:10:42 | → | deptype joins (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) |
| 16:13:22 | × | FANTOM quits (~fantom@212.228.181.156) (Quit: Connection error?!) |
| 16:18:16 | → | tromp joins (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 16:30:29 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 16:30:31 | × | deptype quits (~deptype@2406:b400:3a:73c2:9acb:ec9:2ab3:9aff) (Remote host closed the connection) |
| 16:30:43 | → | deptype joins (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) |
| 16:31:57 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 16:33:55 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 16:36:23 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 16:38:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 16:40:22 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 16:41:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:42:51 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 16:42:59 | → | connrs joins (~connrs@user/connrs) |
| 16:43:20 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:43:25 | → | Flow joins (~none@gentoo/developer/flow) |
| 16:51:03 | × | deptype quits (~deptype@2406:b400:3a:73c2:1eb:7803:fc0e:11fb) (Remote host closed the connection) |
| 16:51:19 | → | deptype joins (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) |
| 16:51:45 | → | nerdychip_ joins (~nerdychip@212.129.82.165) |
| 16:52:05 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 16:52:07 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 16:52:27 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 16:52:30 | × | nerdychip quits (~nerdychip@user/nerdychip) (Ping timeout: 252 seconds) |
| 16:59:54 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:00:37 | → | Googulator3 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 17:00:40 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:01:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:05:38 | × | Googulator3 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 17:05:46 | → | Googulator3 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 17:07:10 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 246 seconds) |
| 17:10:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds) |
| 17:15:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:23:52 | × | Googulator3 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 17:24:07 | → | Googulator3 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:25:40 | × | Googulator3 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 17:25:44 | → | Googulator62 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:28:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 17:28:43 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 17:30:33 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:34:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:35:42 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 17:36:01 | × | Googulator62 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 17:36:06 | → | Googulator33 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 17:39:13 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:40:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:45:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 17:46:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:46:07 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:48:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:52:16 | → | Zemy_ joins (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) |
| 17:54:28 | → | Square2 joins (~Square@user/square) |
| 17:54:45 | → | Core3653 joins (~Zemy@72.178.108.235) |
| 17:54:58 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 17:55:28 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 17:55:38 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 17:55:47 | × | Googulator33 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 17:58:38 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 17:58:52 | × | Zemy_ quits (~Zemy@2600:100c:b0aa:ff74:cc82:eff:fef8:f919) (Ping timeout: 260 seconds) |
| 17:59:18 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:59:31 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 18:00:22 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 18:00:35 | × | deptype quits (~deptype@2406:b400:3a:73c2:f097:48b7:5d30:d1ca) (Remote host closed the connection) |
| 18:00:49 | → | deptype joins (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) |
| 18:10:28 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 18:10:42 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:10:43 | × | Googulator39 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:12:19 | → | juri_ joins (~juri@implicitcad.org) |
| 18:14:14 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 18:19:17 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 18:20:37 | × | deptype quits (~deptype@2406:b400:3a:73c2:10a9:2973:1d5:99ce) (Remote host closed the connection) |
| 18:20:50 | → | deptype joins (~deptype@2406:b400:3a:73c2:5a17:eaa7:6b5b:f46a) |
| 18:21:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 18:25:27 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 18:25:36 | → | Googulator86 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:25:48 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:26:27 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 18:29:14 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 18:30:41 | × | Googulator86 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:30:46 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:32:14 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 18:34:14 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 18:34:46 | <dutchie> | the Monad instance for (->) e is so useful. today's helpful thing: join (,) |
| 18:35:08 | <dutchie> | join on any binary function is great |
| 18:35:22 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 18:35:50 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 18:36:08 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 18:38:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:39:13 | × | spew quits (e9e8135d87@user/spew) (Remote host closed the connection) |
| 18:40:40 | × | deptype quits (~deptype@2406:b400:3a:73c2:5a17:eaa7:6b5b:f46a) (Remote host closed the connection) |
| 18:40:47 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:40:52 | → | deptype joins (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) |
| 18:43:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 18:46:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:50:41 | × | Googulator43 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 18:50:42 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 18:53:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:53:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:53:55 | <haskellbridge> | <slack1256> dutchie: give an example |
| 18:54:19 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:55:26 | <dutchie> | > join (,) 42 |
| 18:55:28 | <lambdabot> | (42,42) |
| 18:55:58 | → | juri_ joins (~juri@implicitcad.org) |
| 18:56:00 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 18:56:29 | <EvanR> | > join (,) x |
| 18:56:31 | <lambdabot> | (x,x) |
| 18:57:06 | <Rembane> | :t join (,) x |
| 18:57:07 | <lambdabot> | (Expr, Expr) |
| 18:57:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:57:14 | <Rembane> | Interesting |
| 19:00:42 | × | deptype quits (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) (Remote host closed the connection) |
| 19:01:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 19:01:16 | → | deptype joins (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) |
| 19:01:33 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:01:50 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) |
| 19:08:51 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:09:50 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:11:39 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 19:17:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:20:47 | × | deptype quits (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) (Remote host closed the connection) |
| 19:21:00 | → | deptype joins (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) |
| 19:22:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 19:22:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 19:32:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 19:34:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:35:08 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 19:40:50 | × | deptype quits (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) (Remote host closed the connection) |
| 19:41:09 | → | deptype joins (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) |
| 19:51:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 19:51:55 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 20:01:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) (Remote host closed the connection) |
| 20:01:36 | → | deptype joins (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) |
| 20:14:16 | <monochrom> | Unifying x->(y->(x,y)) with m (m a) yields m = (x ->) = (y ->), a = (x,y). It's sometimes a cool trick. |
| 20:14:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 20:14:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:15:13 | <monochrom> | And with that. join f = \a -> f a a in general, = \a -> (a,a) in particular. |
| 20:15:36 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 20:15:46 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 20:17:09 | × | kuribas quits (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection) |
| 20:20:43 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 20:20:44 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 20:21:25 | × | deptype quits (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection) |
| 20:21:37 | → | deptype joins (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) |
| 20:27:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:28:37 | → | califax joins (~califax@user/califx) |
| 20:33:18 | × | synchromesh quits (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 20:34:20 | → | synchromesh joins (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) |
| 20:40:22 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:40:36 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 20:41:27 | × | deptype quits (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection) |
| 20:41:39 | → | deptype joins (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) |
| 20:46:29 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 20:53:06 | → | wbadart joins (~will@user/wbadart) |
| 20:53:58 | × | wbadart quits (~will@user/wbadart) (Client Quit) |
| 21:01:33 | × | deptype quits (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection) |
| 21:01:46 | → | deptype joins (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) |
| 21:09:08 | → | Square joins (~Square4@user/square) |
| 21:15:27 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 21:15:56 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 21:21:35 | × | deptype quits (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection) |
| 21:21:47 | → | deptype joins (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) |
| 21:27:16 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 21:28:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:30:27 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 21:40:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:42:07 | × | deptype quits (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection) |
| 21:42:31 | → | deptype joins (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) |
| 21:44:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 21:53:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:38 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 21:57:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 21:58:52 | × | down200 quits (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 22:02:09 | × | deptype quits (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) (Remote host closed the connection) |
| 22:02:23 | → | deptype joins (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) |
| 22:03:18 | trickard_ | is now known as trickard |
| 22:05:04 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 22:07:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 22:10:52 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 22:11:08 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:14:30 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 22:15:44 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 22:15:45 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:18:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:20:44 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 22:21:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:22:11 | × | deptype quits (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) (Remote host closed the connection) |
| 22:22:24 | → | deptype joins (~deptype@2406:b400:3a:73c2:d1b:467e:12d5:ed7d) |
| 22:26:14 | × | nerdychip_ quits (~nerdychip@212.129.82.165) (Changing host) |
| 22:26:14 | → | nerdychip_ joins (~nerdychip@user/nerdychip) |
| 22:26:18 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 22:26:23 | nerdychip_ | is now known as nerdychip |
| 22:26:27 | → | connrs joins (~connrs@user/connrs) |
| 22:31:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:36:32 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:37:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:42:16 | × | deptype quits (~deptype@2406:b400:3a:73c2:d1b:467e:12d5:ed7d) (Remote host closed the connection) |
| 22:42:40 | → | deptype joins (~deptype@2406:b400:3a:73c2:968a:66ea:dbf8:b4c6) |
| 22:45:47 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 22:45:47 | × | Googulator25 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 22:48:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:52:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:59:56 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:00:09 | → | trickard joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 23:02:18 | × | deptype quits (~deptype@2406:b400:3a:73c2:968a:66ea:dbf8:b4c6) (Remote host closed the connection) |
| 23:02:31 | → | deptype joins (~deptype@2406:b400:3a:73c2:8182:a031:f41:e773) |
| 23:03:26 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:03:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:05:38 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 23:05:47 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 23:08:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:09:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 23:16:55 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 23:18:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:19:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:19:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:20:18 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:22:51 | × | deptype quits (~deptype@2406:b400:3a:73c2:8182:a031:f41:e773) (Remote host closed the connection) |
| 23:23:09 | → | deptype joins (~deptype@2406:b400:3a:73c2:8e9a:9476:286f:f327) |
| 23:24:28 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 23:24:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:25:41 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:34:07 | → | dpratt joins (~dpratt@165.225.212.181) |
| 23:34:20 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 23:34:41 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 23:35:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:35:27 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 23:42:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:42:52 | × | deptype quits (~deptype@2406:b400:3a:73c2:8e9a:9476:286f:f327) (Remote host closed the connection) |
| 23:43:05 | → | deptype joins (~deptype@2406:b400:3a:73c2:10ec:eafe:40fd:add7) |
| 23:43:55 | → | Nachtgespenst joins (~user@user/siracusa) |
| 23:44:57 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:47:34 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 23:49:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 23:53:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:58:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC on 2025-11-03.