Logs on 2025-06-29 (liberachat/#haskell)
| 00:01:11 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:02:30 | × | jespada quits (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:03:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:04:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:04:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 00:05:29 | × | sprotte24 quits (~sprotte24@p200300d16f2298006c5355f8e26cb713.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:11:29 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 00:13:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:17:12 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 00:20:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:23:14 | × | m_a_r_k quits (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
| 00:24:00 | → | m_a_r_k joins (~m_a_r_k@user/m-a-r-k:45929) |
| 00:26:50 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 00:30:57 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:31:39 | × | m_a_r_k quits (~m_a_r_k@user/m-a-r-k:45929) (Ping timeout: 260 seconds) |
| 00:31:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:34:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:36:49 | → | unlit_trophy joins (~unlit_tro@pool-174-112-127-99.cpe.net.cable.rogers.com) |
| 00:37:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:39:44 | → | m_a_r_k joins (~m_a_r_k@user/m-a-r-k:45929) |
| 00:41:36 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:44:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:46:52 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 00:47:08 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 00:47:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:52:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:02:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:03:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:07:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:18:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:24 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:22:15 | → | ttlaxia joins (~ttlaxia@2600:100e:b233:beed:f85a:5c23:ffd6:cd4d) |
| 01:23:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:23:44 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:28:09 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 01:28:11 | × | ttlaxia quits (~ttlaxia@2600:100e:b233:beed:f85a:5c23:ffd6:cd4d) (Read error: Connection reset by peer) |
| 01:29:30 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:33:32 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:33:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:34:13 | × | unlit_trophy quits (~unlit_tro@pool-174-112-127-99.cpe.net.cable.rogers.com) (Quit: Client closed) |
| 01:34:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:39:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:41:50 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 01:46:22 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:46:34 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:46:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:48:32 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 01:49:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:50:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:54:05 | → | caubert joins (~caubert@user/caubert) |
| 01:57:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:04:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:04:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:07:41 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 02:08:02 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 02:08:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:12:28 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:12:43 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 02:13:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:22:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:24:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:26:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:29:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:29:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:33:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 02:33:48 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:35:10 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 265 seconds) |
| 02:36:38 | → | td_ joins (~td@i53870934.versanet.de) |
| 02:39:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:46:29 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:46:50 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:49:10 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 02:49:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:53:32 | trickard_ | is now known as trickard |
| 02:55:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:58:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:00:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 03:01:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 03:02:20 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 03:03:47 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:04:00 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 03:04:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 03:06:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:06:49 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 03:11:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:12:13 | → | aforemny_ joins (~aforemny@2001:9e8:6cdb:9800:69b2:84ea:7158:964e) |
| 03:12:50 | × | aforemny quits (~aforemny@2001:9e8:6cfd:2700:3ca0:a243:ab5b:2b11) (Ping timeout: 260 seconds) |
| 03:15:09 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 03:16:09 | → | prdak joins (~Thunderbi@user/prdak) |
| 03:16:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:20:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:27:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:32:49 | → | weary-traveler joins (~user@user/user363627) |
| 03:34:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:41:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 03:42:45 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 03:44:55 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 03:45:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:45:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:49:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:00:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:04:50 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 04:05:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:05:17 | → | infinity0 joins (~infinity0@pwned.gg) |
| 04:08:10 | → | bliminse joins (~bliminse@user/bliminse) |
| 04:08:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:10:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:16:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:18:24 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:21:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:23:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:24:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:27:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:32:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:33:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:36:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:49:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:52:39 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:53:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:55:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:00:48 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 05:01:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:03:07 | → | poscat joins (~poscat@user/poscat) |
| 05:04:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:04:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:08:59 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:09:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:11:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:12:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 05:22:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:23:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:26:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:27:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:35:57 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 05:38:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:38:32 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:43:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:45:15 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:46:06 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 05:46:26 | → | poscat joins (~poscat@user/poscat) |
| 05:46:26 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:46:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:50:57 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:52:58 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 05:53:15 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 05:53:15 | benkard | is now known as mulk |
| 05:54:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 05:54:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:55:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:58:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:59:37 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 06:02:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:05:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 06:09:05 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:09:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:11:09 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:4124:121a:2c49:df46) (Ping timeout: 260 seconds) |
| 06:12:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:13:24 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b960:50aa:3866:ceb8:6e4b) |
| 06:14:30 | → | srazkvt joins (~sarah@user/srazkvt) |
| 06:15:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:16:30 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:17:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:19:26 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 06:19:52 | <Leary> | Recursion schemes which you can write in System F (cata, ana, etc.) have termination guarantees, but they only hold when you supply arguments also corresponding to System F terms. `hylo` and co. which can only be written in Haskell where least and greatest fixed points coincide, has no guarantees whatsoever. |
| 06:24:34 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:25:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:29:00 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:30:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:31:04 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:36:18 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 06:36:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:40:19 | → | caubert joins (~caubert@user/caubert) |
| 06:41:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:47:12 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:47:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:59:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 07:01:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 07:02:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:05:26 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 07:05:59 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 07:05:59 | benkard | is now known as mulk |
| 07:07:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:17:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:18:07 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 07:18:40 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 07:22:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:22:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:25:36 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 07:28:07 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:29:57 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 07:30:15 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:31:03 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:32:55 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:33:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:33:28 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 07:36:02 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:37:13 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:3366:9435:f038:dded) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:37:30 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 07:38:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:38:26 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:40:26 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:42:34 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 265 seconds) |
| 07:48:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:49:09 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 07:53:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:56:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:57:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 08:01:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:03:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 08:05:36 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 08:06:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:09:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:11:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:20:49 | trickard_ | is now known as trickard |
| 08:21:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 08:22:45 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 08:23:32 | × | inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 08:23:57 | × | wbooze quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 08:24:16 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:25:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 08:27:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:30:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:34:32 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 08:34:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:35:03 | → | caubert joins (~caubert@user/caubert) |
| 08:35:49 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 08:41:04 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 08:42:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:46:40 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:47:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 08:51:14 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 08:54:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:57:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:58:39 | → | Everything joins (~Everythin@46.211.102.23) |
| 08:59:16 | × | srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 08:59:28 | → | srazkvt joins (~sarah@user/srazkvt) |
| 09:00:43 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:02:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:04:22 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 09:04:35 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 09:04:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:06:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:13:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:17:59 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:18:34 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 09:18:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:19:25 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 09:19:38 | → | __monty__ joins (~toonn@user/toonn) |
| 09:20:44 | × | Everything quits (~Everythin@46.211.102.23) (Ping timeout: 260 seconds) |
| 09:21:53 | → | poscat joins (~poscat@user/poscat) |
| 09:22:20 | → | Everything joins (~Everythin@46.211.102.23) |
| 09:22:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:24:36 | → | poscat0x04 joins (~poscat@user/poscat) |
| 09:27:54 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 09:29:22 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 09:29:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:30:22 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:30:28 | → | j1n37- joins (~j1n37@user/j1n37) |
| 09:30:30 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 09:31:38 | → | gmg joins (~user@user/gehmehgeh) |
| 09:35:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 09:35:31 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:39:14 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:39:27 | → | bgamari_ joins (~bgamari@64.223.225.237) |
| 09:40:04 | × | bgamari quits (~bgamari@64.223.225.174) (Ping timeout: 244 seconds) |
| 09:43:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:46:04 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:48:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:50:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:52:18 | → | sprotte24 joins (~sprotte24@p200300d16f2eb800cd24d8564d8d44ca.dip0.t-ipconnect.de) |
| 09:57:25 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:58:44 | → | mra joins (~mra@static.150.116.201.138.clients.your-server.de) |
| 09:58:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:00:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:01:32 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 10:01:33 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:01:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:01:52 | → | poscat joins (~poscat@user/poscat) |
| 10:03:17 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:03:30 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 10:05:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 10:07:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:08:11 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 10:08:29 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 10:08:29 | benkard | is now known as mulk |
| 10:08:46 | → | hseg joins (~gesh@46.120.20.122) |
| 10:11:05 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:11:23 | × | Everything quits (~Everythin@46.211.102.23) (Quit: leaving) |
| 10:15:19 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:16:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:22:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 10:24:02 | → | prdak joins (~Thunderbi@user/prdak) |
| 10:24:05 | × | sprotte24 quits (~sprotte24@p200300d16f2eb800cd24d8564d8d44ca.dip0.t-ipconnect.de) (Quit: Leaving) |
| 10:25:09 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:25:09 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 10:28:00 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:31:17 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:33:12 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:34:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 10:34:36 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:36:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:37:08 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:37:56 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 10:42:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:44:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:47:00 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 10:48:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 10:59:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:01:48 | → | jespada joins (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) |
| 11:03:13 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 11:05:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:05:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 11:08:41 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:12:45 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:14:36 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 11:14:58 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 11:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:15:47 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:18:17 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:20:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:25:42 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 11:31:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:32:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:36:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:39:57 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:42:44 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:45:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:51:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:53:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:59:41 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:03:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:04:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:07:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:13:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:17:40 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:17:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:18:46 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:18:51 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 12:18:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:18:59 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 12:20:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:20:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:22:21 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:23:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:23:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:25:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 12:25:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:26:05 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:30:08 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 268 seconds) |
| 12:30:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:31:21 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 12:33:07 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:33:53 | × | malte quits (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 12:34:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:36:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 12:37:08 | → | malte joins (~malte@mal.tc) |
| 12:37:17 | → | tremon joins (~tremon@83.80.159.219) |
| 12:39:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:46:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:50:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 12:50:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:52:19 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:00:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:00:33 | × | jespada quits (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 13:01:41 | → | jespada joins (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) |
| 13:01:41 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:01:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:04:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:08:12 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:11:22 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:12:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 13:12:44 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:15:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:15:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:17:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:22:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:22:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 13:25:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:27:04 | → | sprotte24 joins (~sprotte24@p200300d16f2eb8002500640e39f42dff.dip0.t-ipconnect.de) |
| 13:27:45 | × | sprotte24 quits (~sprotte24@p200300d16f2eb8002500640e39f42dff.dip0.t-ipconnect.de) (Client Quit) |
| 13:29:21 | → | Square joins (~Square@user/square) |
| 13:29:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:30:31 | → | Digitteknohippie joins (~user@user/digit) |
| 13:31:00 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 13:31:03 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:33:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:35:44 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 13:37:29 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 245 seconds) |
| 13:38:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:40:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 13:41:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:44:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 13:46:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:46:39 | → | Digit joins (~user@user/digit) |
| 13:46:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:47:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:48:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:49:04 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 13:49:04 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:49:39 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 13:51:04 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 13:51:28 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:52:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:52:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 13:54:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 13:54:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:04:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:09:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 14:14:09 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 14:14:56 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 14:14:56 | benkard | is now known as mulk |
| 14:15:41 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:16:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:18:24 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 14:20:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:20:34 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 14:20:44 | Digit | is now known as Digitteknohippie |
| 14:20:51 | Digitteknohippie | is now known as Digit |
| 14:25:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:27:01 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:32:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:33:21 | → | caubert joins (~caubert@user/caubert) |
| 14:35:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 14:36:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:36:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 14:40:55 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 14:40:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 14:41:02 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:48:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:49:50 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:53:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 14:54:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:56:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:00:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:00:55 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:03:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:05:30 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 15:05:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:05:44 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 15:05:45 | benkard | is now known as mulk |
| 15:08:17 | → | symbolic_silver_ joins (~symbolic_@45.130.83.216) |
| 15:08:17 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:08:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:09:17 | <symbolic_silver_> | <redacted by admin 1> |
| 15:09:17 | <symbolic_silver_> | <redacted by admin 2> |
| 15:09:17 | <symbolic_silver_> | <redacted by admin 3> |
| 15:09:17 | <symbolic_silver_> | <redacted by admin 4> |
| 15:09:17 | <symbolic_silver_> | <redacted by admin 5> |
| 15:09:22 | ← | symbolic_silver_ parts (~symbolic_@45.130.83.216) () |
| 15:10:58 | <geekosaur> | tomsmeding, perhaps you can delete the above from your logs? |
| 15:11:20 | <haskellbridge> | <soyr> And ban them, probably also a good idea |
| 15:12:06 | <geekosaur> | it was a drive-by, myultuiple users in multiple channels, banning probably doesn't help |
| 15:15:22 | <humasect> | yeah waste energy |
| 15:15:34 | <humasect> | can't walk downtown without Spare Change Sir |
| 15:19:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:19:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:25:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:30:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:34:05 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:37:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:39:37 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 15:41:21 | <haskellbridge> | <soyr> geekosaur: does this happen often? |
| 15:42:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:43:39 | <geekosaur> | Actually we have been remarkably spam free for the past several months |
| 15:45:49 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 15:46:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:49:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:50:02 | trickard_ | is now known as trickard |
| 15:50:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:51:05 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 15:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 15:54:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:09:33 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 16:09:49 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 16:09:49 | benkard | is now known as mulk |
| 16:10:09 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 16:10:51 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 16:13:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 16:15:16 | → | caubert joins (~caubert@user/caubert) |
| 16:15:51 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 16:24:49 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 16:24:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:32:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 16:33:34 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 260 seconds) |
| 16:33:51 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:33:51 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:34:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:34:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:37:06 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:40:33 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:40:33 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:42:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:43:04 | × | d34db33f quits (~d34db33f@user/d34db33f) (Read error: Connection reset by peer) |
| 16:43:17 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:44:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:45:00 | → | Guest25 joins (~Guest25@2a01:799:668:e700:e77e:a6b9:c55b:b82a) |
| 16:45:19 | × | Guest25 quits (~Guest25@2a01:799:668:e700:e77e:a6b9:c55b:b82a) (Client Quit) |
| 16:45:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:46:17 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:47:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:48:09 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 16:50:07 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:53:03 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:53:17 | → | sprotte24 joins (~sprotte24@p200300d16f2eb8002500640e39f42dff.dip0.t-ipconnect.de) |
| 16:56:05 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:56:15 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:56:38 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 16:58:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:02:21 | → | Jeanne-Kamikaze joins (~jeannekam@static-23-234-92-21.cust.tzulo.com) |
| 17:03:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:04:33 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 17:05:09 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 17:05:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:06:42 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 17:08:05 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 17:10:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 17:13:03 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 17:13:20 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 17:13:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 17:14:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:15:59 | → | caubert joins (~caubert@user/caubert) |
| 17:19:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:20:49 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 17:21:10 | → | trickard__ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 17:21:22 | → | visilii joins (~visilii@188.254.126.241) |
| 17:21:42 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 17:22:25 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 17:22:44 | × | visilii_ quits (~visilii@213.24.125.155) (Ping timeout: 252 seconds) |
| 17:23:28 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:23:42 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 17:25:09 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:28:58 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 17:29:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 17:30:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:30:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 17:31:03 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 17:32:11 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:34:32 | → | acidjnk joins (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) |
| 17:35:07 | → | j1n37 joins (~j1n37@user/j1n37) |
| 17:35:07 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:35:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:35:46 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 17:41:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 17:45:16 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:46:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:49:09 | → | inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) |
| 17:51:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:53:19 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 17:53:44 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 17:56:39 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:00:05 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 18:00:34 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:01:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:01:56 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 268 seconds) |
| 18:02:21 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:04:59 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 18:06:39 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 18:06:41 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:07:05 | benkard | is now known as mulk |
| 18:07:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:08:12 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 18:08:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:10:44 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 18:11:29 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:11:35 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 18:11:36 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 18:11:37 | benkard | is now known as mulk |
| 18:13:42 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 18:13:56 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 18:15:41 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 18:19:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:24:49 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 18:24:50 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:25:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 18:25:14 | benkard | is now known as mulk |
| 18:25:25 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:26:29 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 18:26:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:28:11 | <tomsmeding> | geekosaur: is this doxxing? |
| 18:29:09 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 18:29:41 | <tomsmeding> | if so then I'm happy to delete |
| 18:30:16 | <geekosaur> | Don't know but that's the guess elsewhere they hit at least three channels channels |
| 18:30:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:33:08 | × | jespada quits (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 18:33:47 | <tomsmeding> | geekosaur: fair |
| 18:34:18 | <tomsmeding> | okay I didn't read the first line properly, yes this reeks of doxxing |
| 18:34:31 | <tomsmeding> | I'll soon, either today or tomorrow, a bit busy now |
| 18:34:38 | <tomsmeding> | thanks for pinging me! |
| 18:34:57 | <geekosaur> | Same Target in all three |
| 18:35:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:35:32 | <tomsmeding> | perhaps someone should notify the target that this is happening |
| 18:35:58 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 18:36:52 | → | jespada joins (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) |
| 18:40:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:40:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 18:40:46 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:41:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:41:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:43:41 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:44:52 | × | acidjnk quits (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:47:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:48:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:48:22 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:48:53 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:48:53 | benkard | is now known as mulk |
| 18:48:53 | → | acidjnk joins (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) |
| 18:51:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:51:29 | × | trickard__ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:51:42 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 18:54:44 | → | michalz joins (~michalz@185.246.207.201) |
| 18:56:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 18:56:32 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 18:56:34 | → | jvmdevelop joins (~jvmd@user/jvmd) |
| 18:57:04 | × | jvmdevelop quits (~jvmd@user/jvmd) (Quit: Leaving) |
| 18:57:47 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 18:57:51 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 18:58:15 | benkard | is now known as mulk |
| 18:59:09 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 19:00:04 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:45 | → | caconym7 joins (~caconym@user/caconym) |
| 19:01:29 | × | MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Remote host closed the connection) |
| 19:02:43 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 19:03:03 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:03:49 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 248 seconds) |
| 19:04:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:05:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:05:47 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:06:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:07:36 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:09:29 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:09:46 | → | mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 19:09:58 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:11:17 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:11:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:12:28 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 19:12:45 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 19:13:49 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:14:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:14:58 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:18:31 | <EvanR> | tomsmeding, alternatively it is designed to appear like doxxing, but elicit a response to a set of fake contacts for scam purposes |
| 19:20:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:21:19 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 19:21:37 | × | AlexNoo quits (~AlexNoo@5.139.232.110) (Quit: Leaving) |
| 19:21:55 | → | AlexNoo joins (~AlexNoo@5.139.232.110) |
| 19:21:58 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:22:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:22:57 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 19:23:24 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 19:24:24 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 19:24:42 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 19:27:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:28:14 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 19:28:31 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 19:28:33 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 19:29:06 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:30:02 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 19:30:06 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 276 seconds) |
| 19:33:53 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:36:43 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 19:37:25 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 252 seconds) |
| 19:38:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:41:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:42:13 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 19:43:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 19:43:45 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:45:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 19:46:21 | × | mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 276 seconds) |
| 19:49:24 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:49:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:50:27 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:50:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 19:50:36 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:50:37 | benkard | is now known as mulk |
| 19:51:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:51:28 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 19:54:37 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 19:55:10 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 19:55:11 | benkard | is now known as mulk |
| 19:56:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:58 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 19:58:46 | × | qqe quits (~qqq@185.54.20.5) (Quit: Lost terminal) |
| 19:59:06 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 19:59:40 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 260 seconds) |
| 19:59:55 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 20:01:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:01:22 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:01:23 | → | natto17 joins (~natto@129.154.243.159) |
| 20:01:37 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 20:01:37 | benkard | is now known as mulk |
| 20:01:40 | → | caubert joins (~caubert@user/caubert) |
| 20:04:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 20:05:14 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 20:05:45 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 20:06:36 | → | Digit joins (~user@user/digit) |
| 20:06:39 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 20:07:58 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:10:27 | × | Jeanne-Kamikaze quits (~jeannekam@static-23-234-92-21.cust.tzulo.com) (Remote host closed the connection) |
| 20:12:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:13:29 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 260 seconds) |
| 20:13:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:13:40 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 260 seconds) |
| 20:14:07 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 20:14:45 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 20:16:01 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:17:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:19:14 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:22:52 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:26:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:28:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:29:40 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:30:19 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:30:40 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.6.3) |
| 20:32:42 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 20:32:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:36:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:39:10 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:39:32 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:39:34 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:39:39 | benkard | is now known as mulk |
| 20:40:06 | → | kimjetwav joins (~user@2607:fea8:25a3:a100:3f56:f20e:3bdf:e588) |
| 20:40:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:43:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:44:31 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:46:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) |
| 20:47:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:47:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:48:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:48:26 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 20:49:52 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:51:45 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:52:45 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 20:53:22 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 20:56:25 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 20:56:41 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 20:58:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:00:03 | → | caubert joins (~caubert@user/caubert) |
| 21:01:00 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:03:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:03:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:05:10 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:05:39 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:05:39 | benkard | is now known as mulk |
| 21:08:08 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 21:08:28 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:10:10 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:10:36 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 21:10:36 | benkard | is now known as mulk |
| 21:11:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:13:45 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 21:13:46 | Server | sets mode +Cnt |
| 21:14:27 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 21:14:27 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:14:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:14:50 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:14:50 | benkard | is now known as mulk |
| 21:15:00 | <tomsmeding> | redaction successful |
| 21:15:11 | <tomsmeding> | this process is extremely manual |
| 21:15:12 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 21:15:17 | <monochrom> | Nice thanks. |
| 21:15:51 | <tomsmeding> | why does ircbrowse have a unique constraint on the tuple (network, channel, timestamp, nick, text)? |
| 21:16:02 | <monochrom> | Maybe tell Copilot to write the deletion code for you :) |
| 21:16:04 | <tomsmeding> | now I couldn't redact them all to the same text |
| 21:16:19 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:16:26 | <tomsmeding> | there even is an id column that is in fact unique, despite not having a unique constraint on it! |
| 21:17:06 | <tomsmeding> | monochrom: the current rate is less than once every 4 years |
| 21:17:39 | <monochrom> | Does it support SQL or the SQL equiv of "delete from foo where text matches xxx"? |
| 21:18:13 | <tomsmeding> | it is an SQL database, but I don't dare deleting the rows because the schema is odd and there are cross-references in another table in some strange way |
| 21:18:33 | <tomsmeding> | it's quite possible to delete them properly but I couldn't be arsed to figure out how the schema worked again |
| 21:19:09 | <monochrom> | Ah, "update" then. |
| 21:19:24 | <tomsmeding> | indeed, this was 5 update statements |
| 21:20:02 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1596548#trid1596548 |
| 21:20:33 | <monochrom> | I think it's very academic to say "unique on <huge tuple>" because that's the fundep theory taught in school. :) |
| 21:20:51 | <tomsmeding> | I mean, sure, but then why is there a unique id column without a unique constraint? |
| 21:21:11 | <tomsmeding> | there is an _index_ on the id column, it just doesn't have "unique" |
| 21:21:28 | <tomsmeding> | then again, this is not the strangest thing in ircbrowse |
| 21:21:30 | <tomsmeding> | "it works" |
| 21:21:49 | <tomsmeding> | did anyone notice that I put anubis in front of the nick stats pages? |
| 21:21:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:22:05 | <int-e> | tomsmeding: "it works" -- is that the strangest thing? :P |
| 21:22:06 | <monochrom> | My standard hypothesis is then two persons worked on this, so each brought in their perspective and be in mismatch with the other person's. |
| 21:22:18 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 21:22:21 | <EvanR> | a non-unique ID field |
| 21:22:27 | <EvanR> | wtf xD |
| 21:22:47 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:23:00 | <EvanR> | makes me think someone intended to eventually manipulate the ID manually for some reason |
| 21:23:02 | <tomsmeding> | int-e: I'm not sure what the strangest thing is, I think the fact that batch loading of new messages from the ZNC logs involves a full table scan on the table of all messages to recompute offsets |
| 21:23:15 | <tomsmeding> | ircbrowse is quadratic in the number of messages in the database |
| 21:23:24 | <int-e> | eww |
| 21:23:28 | <tomsmeding> | monochrom: I think this is a side project of Chris Done |
| 21:23:29 | <monochrom> | One was from university and was secretly a mathematician so they were like "unique on <huge tuple>" and the other was from a code monkey school so they never even heard of "unique". |
| 21:24:08 | <tomsmeding> | another thing that's not so "strange" per se, but did made me look askance, was that it did a bunch of float math in order to compute a ceil division on Ints |
| 21:24:18 | <int-e> | monochrom: but this uniqueness constraint makes no sense |
| 21:24:18 | <int-e> | monochrom: but this uniqueness constraint makes no sense |
| 21:24:21 | <tomsmeding> | someone hadn't heard of ceil(a/b) = (a+b-1)/b |
| 21:24:43 | <tomsmeding> | ooh let's see how this ends up in the db |
| 21:24:56 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:25:25 | <tomsmeding> | single copy is the answer |
| 21:25:43 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1596898#trid1596898 |
| 21:26:27 | <monochrom> | Oh heh, CSE on IRC messages?! |
| 21:26:43 | <tomsmeding> | just plain deduplication, I'd call it |
| 21:26:44 | <int-e> | common spam elimination? |
| 21:26:47 | <tomsmeding> | :D |
| 21:28:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:11df:3e2b:a139:ed81) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:28:09 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:28:09 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:28:24 | → | weary-traveler joins (~user@user/user363627) |
| 21:29:08 | <tomsmeding> | https://github.com/tomsmeding/ircbrowse/blob/b038503af83114504c72375d75df7d56001f3152/upstream/snap-app/src/Data/Pagination.hs#L32-L38 |
| 21:29:24 | <tomsmeding> | current state: https://github.com/tomsmeding/ircbrowse/blob/47653df8493fd0a49a42bc775dda6d5dc92b4be1/upstream/snap-app/src/Data/Pagination.hs#L32-L34 |
| 21:30:44 | <EvanR> | well ceil(a/b) looks more obvious and is sometimes right xD |
| 21:30:53 | <tomsmeding> | wait did I simplify that wrongly |
| 21:30:56 | <tomsmeding> | EvanR: look at the code |
| 21:31:40 | <EvanR> | round? |
| 21:31:43 | <EvanR> | I'm out |
| 21:31:58 | <monochrom> | One can write a comment to remind "this is ceil(a/b)" |
| 21:32:17 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 21:32:21 | <tomsmeding> | is it though? |
| 21:32:31 | <tomsmeding> | I'm now doubting whether the original code properly implemented ceildiv |
| 21:32:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:32:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:33:10 | <EvanR> | round's behavior depends on the rounding mode in the environment |
| 21:33:12 | <EvanR> | it's not pure! |
| 21:33:20 | <monochrom> | or round(a/b), or whatever the intention is. The point is that comments exist for a reason. |
| 21:35:12 | <EvanR> | also record wildcard pattern gross |
| 21:35:37 | <tomsmeding> | okay just tested the original function in ghci and it indeed seems to do ceildiv |
| 21:35:38 | <monochrom> | It was from a time when wildcard patterns were cool. I used them too. |
| 21:35:43 | <tomsmeding> | my brain just doesn't understand why |
| 21:36:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:36:45 | <monochrom> | Oh haha I see now. The floating-point version is both slower and harder to understand. |
| 21:36:54 | <tomsmeding> | yes |
| 21:36:57 | <EvanR> | if a/b = round (a/b), it outputs round (a/b). If it's greater, it outputs round (a/b) + 1 |
| 21:37:03 | <tomsmeding> | oh my brain now works again, yes |
| 21:37:09 | <monochrom> | complete with both floating-point slowness and conditional branching slowness! |
| 21:37:13 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:37:32 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:37:39 | <tomsmeding> | anyway, this is one of the strange things I found in ircbrowse |
| 21:37:45 | <monochrom> | And not even the courtesy of manual CSE while we're at it. |
| 21:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:37:51 | <EvanR> | insult to injury is round produces an int which is converted back to a float before it can be compared xD |
| 21:37:58 | <tomsmeding> | yes :D |
| 21:38:04 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 21:38:04 | benkard | is now known as mulk |
| 21:38:51 | <EvanR> | (usually I like getting an Int back but this is not a case where it's nice) |
| 21:39:04 | <tomsmeding> | now this code is quite cold so optimisation is not particularly important, but I do think that my new version with ceilDiv is _much_ clearer |
| 21:39:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:40:34 | <monochrom> | The name "ceilDiv" helps. And the formula is a well-known idiom. |
| 21:40:46 | <tomsmeding> | and if you don't know the idiom, then there's the name |
| 21:42:33 | tomsmeding | is off to bed |
| 21:44:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:45:10 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:46:27 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:46:44 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:47:53 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:54:26 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:55:10 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 21:55:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:33 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 21:57:36 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 21:58:05 | → | Digit joins (~user@user/digit) |
| 22:00:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:04:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:05:46 | <probie> | What's a good way to make an IO function run once. e.g. `myFunction >> myFunction = myFunction`. All that immediately comes to mind is using `unsafePerformIO` to make a top-level IORef. (context: binding to a C library that needs exactly 1 init call) |
| 22:05:57 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:06:03 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:06:27 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:06:27 | benkard | is now known as mulk |
| 22:07:56 | <glguy> | probie: Basically what you're thinking: https://github.com/haskell-cryptography/HsOpenSSL/blob/master/OpenSSL.hs#L82-L108 |
| 22:08:18 | <glguy> | some libraries already detect if their init functions are called multiple times |
| 22:10:51 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:11:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:12:06 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:12:15 | <EvanR> | a top level IORef which can only be written once ... aka an IVar might help |
| 22:12:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:15:24 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:15:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:18:12 | <probie> | I'd consider an IVar if they were in base. But this is just some minor-book keeping so that any potential user of my library doesn't have to care that the original c library crashes if init is called twice |
| 22:18:37 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:19:00 | <glguy> | They'll only care in the rare chance that something else links in the original C library |
| 22:19:09 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:19:44 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:21:48 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 22:26:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:29:36 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:30:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:30:23 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:30:24 | benkard | is now known as mulk |
| 22:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:31:27 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 22:31:56 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 22:33:02 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:36:20 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:36:33 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 22:42:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:42:28 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:42:32 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:43:14 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:45:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:47:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:47:23 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:49:48 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:49:55 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 22:51:02 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:51:07 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:54:28 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:54:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:55:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:55:35 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 22:55:40 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:55:42 | benkard | is now known as mulk |
| 22:58:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:00:03 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:01:40 | × | sprotte24 quits (~sprotte24@p200300d16f2eb8002500640e39f42dff.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:04:24 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:04:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:04:58 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 23:05:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:05:34 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 23:05:59 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 23:07:08 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 23:08:25 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:08:51 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:08:51 | benkard | is now known as mulk |
| 23:12:26 | trickard_ | is now known as trickard |
| 23:14:28 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:15:53 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 23:15:53 | benkard | is now known as mulk |
| 23:16:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:19:35 | → | caubert joins (~caubert@user/caubert) |
| 23:20:01 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 23:21:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:22:15 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:24:40 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 23:26:12 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:26:45 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:26:45 | benkard | is now known as mulk |
| 23:31:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:33:42 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 23:35:03 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:35:37 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:35:37 | benkard | is now known as mulk |
| 23:35:57 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:36:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:39:11 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 23:40:38 | × | acidjnk quits (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:41:59 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:42:09 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:42:09 | benkard | is now known as mulk |
| 23:43:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:46:32 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:46:49 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 23:46:49 | benkard | is now known as mulk |
| 23:47:33 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:47:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:51:17 | → | benkard joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
| 23:51:39 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 23:51:39 | benkard | is now known as mulk |
| 23:51:47 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:52:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:56:05 | × | mulk quits (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:58:01 | → | mulk joins (~mulk@p5b2dc83b.dip0.t-ipconnect.de) |
All times are in UTC on 2025-06-29.