Home liberachat/#haskell: Logs Calendar

Logs on 2025-06-07 (liberachat/#haskell)

00:00:27 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
00:00:59 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:02:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:02:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:03:58 × jespada quits (~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
00:07:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:08:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:08:13 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
00:11:28 × iteratee quits (~kyle@199.119.84.78) (Read error: Connection reset by peer)
00:15:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:15:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:16:06 × laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
00:17:53 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
00:18:05 → trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au)
00:19:51 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:20:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:20:28 × bdmg_ quits (~myJebba@152.254.132.216) (Ping timeout: 276 seconds)
00:20:34 trickard_ is now known as trickard
00:24:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:25:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:30:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:31:17 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:32:58 → phma joins (~phma@host-67-44-208-47.hnremote.net)
00:37:09 → iteratee joins (~kyle@199.119.84.78)
00:37:29 × acidjnk quits (~acidjnk@p200300d6e71c4f5968a828eaf3f04caa.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
00:37:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:38:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:40:37 <Leary> tomsmeding: Can you not refactor like this <https://play.haskell.org/saved/SfMQxTk9>?
00:42:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:42:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:45:22 × iteratee quits (~kyle@199.119.84.78) (Ping timeout: 265 seconds)
00:46:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:46:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:51:39 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:52:03 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:57:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:57:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:01:11 → iteratee joins (~kyle@199.119.84.78)
01:02:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:02:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:03:24 × haskellbridge quits (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
01:04:01 → haskellbridge joins (~hackager@syn-096-028-224-255.res.spectrum.com)
01:04:01 ChanServ sets mode +v haskellbridge
01:06:37 × iteratee quits (~kyle@199.119.84.78) (Ping timeout: 276 seconds)
01:08:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:08:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:13:41 → werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com)
01:14:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:14:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:20:13 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:20:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:23:35 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
01:24:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
01:24:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:25:40 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
01:26:42 × trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:26:55 → trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au)
01:30:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:32:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:32:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:34:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:34:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:37:59 → iteratee joins (~kyle@199.119.84.78)
01:38:07 → trickard__ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
01:38:12 × trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
01:40:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:41:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:41:29 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:44:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:44:19 × iteratee quits (~kyle@199.119.84.78) (Ping timeout: 276 seconds)
01:44:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:45:57 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
01:50:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:50:28 × trickard__ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:50:41 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
01:50:45 → iteratee joins (~kyle@199.119.84.78)
01:50:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:52:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:52:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:53:52 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
01:56:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:56:48 → poscat joins (~poscat@user/poscat)
01:56:52 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:58:54 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
02:02:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:02:31 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:07:51 → yangby joins (~secret@115.192.233.46)
02:08:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:08:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:09:31 trickard_ is now known as trickard
02:12:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:12:41 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:16:52 × yangby quits (~secret@115.192.233.46) (Quit: Go out for a walk and buy a drink.)
02:18:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:18:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:18:54 → Guest25 joins (~Guest73@syn-067-250-041-022.res.spectrum.com)
02:23:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:23:41 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:26:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:26:43 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:26:58 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
02:28:28 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
02:30:56 × Guest25 quits (~Guest73@syn-067-250-041-022.res.spectrum.com) (Quit: Client closed)
02:31:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:31:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:39:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:40:07 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:45:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:46:07 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:48:25 trickard_ is now known as trickard
02:49:06 × zlqrvx quits (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Read error: Connection reset by peer)
02:49:31 → zlqrvx joins (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
02:49:39 × xff0x quits (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36) (Ping timeout: 260 seconds)
02:51:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:52:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:53:52 × td_ quits (~td@i5387091A.versanet.de) (Ping timeout: 276 seconds)
02:55:17 → td_ joins (~td@i53870903.versanet.de)
02:56:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:57:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:00:52 → xff0x joins (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36)
03:02:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:02:31 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:07:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:07:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:09:49 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:10:04 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
03:10:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:10:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:15:33 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
03:16:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:17:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:22:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:22:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:24:26 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
03:25:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:26:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:30:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:31:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:33:33 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
03:35:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:35:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:41:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:41:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:46:06 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:46:20 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
03:46:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
03:47:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:47:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:48:42 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
03:51:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:51:36 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:51:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:57:13 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:57:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:57:46 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:00:23 → infohazards joins (~user@user/fmira)
04:03:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:03:56 × infohazards quits (~user@user/fmira) (Client Quit)
04:04:54 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:05:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:05:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:07:36 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
04:10:05 → harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
04:12:21 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:12:34 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
04:12:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:13:33 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:14:29 → infohazards joins (~user@user/fmira)
04:16:01 × infohazards quits (~user@user/fmira) (Client Quit)
04:17:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
04:18:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:18:30 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
04:23:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:23:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:30:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
04:30:43 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:34:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:35:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:36:20 × fun-safe-math quits (~fun-safe-@97-120-101-87.ptld.qwest.net) (Ping timeout: 244 seconds)
04:39:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:39:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:46:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
04:46:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:48:21 → fun-safe-math joins (~fun-safe-@97-120-106-107.ptld.qwest.net)
04:49:07 × sus0 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
04:50:08 → sus0 joins (thelounge@user/zeromomentum)
04:52:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:52:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:59:08 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
04:59:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:59:36 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
04:59:52 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:01:05 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:01:20 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
05:05:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:06:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:11:13 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
05:11:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:17:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:17:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:19:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:22:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:22:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:27:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:28:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:31:45 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:33:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:34:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:36:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:40:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
05:40:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:45:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:46:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:47:31 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:50:52 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:51:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:52:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:56:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:56:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:57:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:58:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:58:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:58:31 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:03:18 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:04:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:04:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:08:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
06:08:31 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:08:44 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
06:09:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:09:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:14:04 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:14:53 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:15:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:17:27 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:18:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:18:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:19:37 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
06:20:13 × harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
06:21:38 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:24:53 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:25:07 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
06:25:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:30:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:31:00 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
06:31:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:32:43 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:34:02 → poscat joins (~poscat@user/poscat)
06:35:12 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
06:35:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:36:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:37:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
06:39:28 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
06:40:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:41:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:45:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:45:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:47:09 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
06:48:14 → euphores joins (~SASL_euph@user/euphores)
06:48:29 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:49:21 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:49:35 × Clint quits (~Clint@user/clint) (Ping timeout: 260 seconds)
06:49:35 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
06:50:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:50:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:50:50 → Clint joins (~Clint@user/clint)
06:54:02 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
06:54:38 × werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
06:57:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:57:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:57:56 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
07:00:05 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
07:00:45 → caconym7 joins (~caconym@user/caconym)
07:04:16 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:04:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
07:04:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:10:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:10:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:12:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:16:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:16:13 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
07:16:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:22:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:22:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:23:15 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:25:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:25:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:28:34 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
07:30:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
07:31:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:32:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:38:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:39:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:40:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
07:41:02 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:44:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:44:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:46:10 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:48:20 <tomsmeding> Leary: clever, but unfortunately no; the whole right-hand side of foo depends on the boolean in some cases, not only the parts being optionally returned
07:49:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:49:42 <tomsmeding> Leary: here is a fragment of the solution I ended up with: https://paste.tomsmeding.com/q3llQ1ol
07:49:59 <tomsmeding> the optional "return values" are the injections
07:50:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:50:49 → Everything joins (~Everythin@77.120.244.38)
07:51:52 <tomsmeding> part of the design is that I want to be able to return stuff in these positions even if I'm not supposed to, to make handling the cases more uniform; for example, in the posted cases, I return the first injection regardless of what boolean that is, because I can't improve the code with knowledge that I don't need to provide the first injection
07:52:36 <tomsmeding> with the constraint-based design, that use of Noinj would be one of those inaccessible 'undefined' values
07:53:15 <tomsmeding> and these two are approximately the simplest cases of sparsePlusS ;p
07:54:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:55:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:56:48 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:01:22 → acidjnk joins (~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de)
08:01:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:01:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:07:16 trickard_ is now known as trickard
08:08:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:09:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:10:14 → target_i joins (~target_i@user/target-i/x-6023099)
08:15:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:15:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:18:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:19:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:24:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
08:24:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:25:43 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:25:55 → trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au)
08:30:35 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
08:30:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:31:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:33:25 → poscat joins (~poscat@user/poscat)
08:35:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:36:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:43:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:43:18 × end quits (~end@user/end/x-0094621) (Ping timeout: 244 seconds)
08:43:29 × bcksl quits (~bcksl@user/bcksl) (Ping timeout: 248 seconds)
08:43:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:44:37 × sus0 quits (thelounge@user/zeromomentum) (Ping timeout: 248 seconds)
08:46:00 <Leary> tomsmeding: I'll give up on taking in the context and just throw one more option at the wall: https://play.haskell.org/saved/WYsXlTW2
08:50:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
08:50:31 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:52:01 ski was thinking of `\cases {}' (for the `b ~ True => String'), but `cases' doesn't allow zero alternatives ..
08:55:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:55:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:57:36 → prdak joins (~Thunderbi@user/prdak)
08:59:25 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
09:01:20 → poscat joins (~poscat@user/poscat)
09:02:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:02:36 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
09:02:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:06:24 × arahael quits (~arahael@user/arahael) (Ping timeout: 276 seconds)
09:07:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:07:16 → bcksl joins (~bcksl@user/bcksl)
09:07:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:11:43 → raym joins (~ray@user/raym)
09:12:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:12:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:14:07 → end joins (~end@user/end/x-0094621)
09:15:07 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:16:52 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
09:18:07 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:18:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:19:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:21:36 → euphores joins (~SASL_euph@user/euphores)
09:23:35 → prdak1 joins (~Thunderbi@user/prdak)
09:24:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:24:55 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:26:21 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
09:26:22 prdak1 is now known as prdak
09:28:29 <tomsmeding> Leary: that... works. Hm
09:28:57 <tomsmeding> It looks decidedly odd, though, to have to provide Refl to use a value. :p
09:29:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:29:43 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:29:55 <tomsmeding> I think I consider the ugliness of having to provide Refl at the call site, and a redundant lambda in the function, about on par with a data type wrapper like I've done in my current workaround
09:30:05 <tomsmeding> so I think I'll keep my data type
09:30:23 <tomsmeding> ('Injection' in my paste)
09:31:20 <tomsmeding> upside of my data type version is also that I don't have to write 'undefined'; the "no-return" positions are actually compiler-checked
09:31:48 <tomsmeding> ski: interesting design decision, I wonder why
09:32:28 <tomsmeding> perhaps to lessen the implementation burden? Before \cases, the only multi-argument case distinction construct was function definitions, and those can't have zero branches either
09:36:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:36:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:36:42 <stureplan> I have a few compiler errors regarding unexpected types that I don't know how to solve. I'm scared because the expected types have Internal in their names. https://paste.tomsmeding.com/V6PIXxjq
09:37:02 <stureplan> How do I convert Int to GHC.Internal.Int.Int32
09:37:19 <stureplan> and Data.ByteString.Lazy.Internal.ByteString to C.ByteString
09:37:28 <tomsmeding> :t fromIntegral :: Int -> Int32
09:37:29 <lambdabot> Int -> Int32
09:37:53 <tomsmeding> (be aware that this truncates values that don't fit in Int32)
09:38:45 <tomsmeding> and the second error is about a C.ByteString, i.e. Data.ByteString.Char8.ByteString, i.e. a strict bytestring, not being equal to a Data.ByteString.Lazy.Internal.ByteString, i.e. a Data.ByteString.Lazy.ByteString, i.e. a lazy ByteString
09:39:17 <tomsmeding> stureplan: the 'internal' is all just because GHC doesn't necessarily show you the most natural module a type can come from
09:39:31 <Leary> stureplan: GHC qualifies the types with the module of their /definition/ because they're not in scope. It doesn't mean the types are actually internal; `Int32` is exposed from `Data.Int`.
09:39:49 <tomsmeding> if a type is in scope, GHC will try to give a (possibly module-qualified) name that would work in your module
09:39:56 <tomsmeding> if it isn't... what Leary said
09:40:13 <stureplan> ah
09:40:25 <tomsmeding> stureplan: use toStrict from Data.ByteString.Lazy
09:40:26 <Leary> It would be nice is haddock's `not-home` were replaced by a GHC pragma with the same meaning, so that both of them could use the info.
09:40:32 <Leary> if*
09:42:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:42:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:43:06 <stureplan> thanks everyone!
09:45:08 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
09:46:37 × kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Quit: Ping timeout (120 seconds))
09:48:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:49:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:51:29 → Pixi` joins (~Pixi@user/pixi)
09:53:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:53:56 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 252 seconds)
09:54:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:59:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:59:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:03:42 → kilolympus joins (~kilolympu@vmi1102682.contaboserver.net)
10:05:22 → poscat joins (~poscat@user/poscat)
10:06:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:06:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:11:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:12:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:17:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:18:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:22:12 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
10:22:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:23:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:27:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:27:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:29:12 → emmanuelux joins (~emmanuelu@user/emmanuelux)
10:31:33 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Client Quit)
10:31:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:32:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:34:40 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
10:35:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:35:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:37:24 → poscat joins (~poscat@user/poscat)
10:37:26 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
10:37:55 → poscat joins (~poscat@user/poscat)
10:38:00 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
10:39:15 → Square joins (~Square@user/square)
10:39:24 → poscat joins (~poscat@user/poscat)
10:40:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:40:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:43:52 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:44:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:49:49 → visilii joins (~visilii@213.24.125.92)
10:49:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
10:50:15 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:51:37 × visilii_ quits (~visilii@213.24.125.211) (Ping timeout: 276 seconds)
10:55:52 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:56:15 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:00:04 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
11:01:08 → alexherbo2 joins (~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net)
11:01:32 → wootehfoot joins (~wootehfoo@user/wootehfoot)
11:02:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:02:11 → jespada joins (~jespada@r179-25-107-162.dialup.adsl.anteldata.net.uy)
11:02:17 → caconym7 joins (~caconym@user/caconym)
11:02:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:07:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:08:17 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:10:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:10:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:12:59 → CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
11:13:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:14:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:17:35 × alexherbo2 quits (~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net) (Remote host closed the connection)
11:19:31 → sus0 joins (zero@user/zeromomentum)
11:20:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:20:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:25:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:26:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:28:36 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:33:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:33:11 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Client Quit)
11:33:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:33:39 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:35:43 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
11:36:03 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:36:46 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
11:38:13 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:38:25 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
11:40:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
11:40:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:45:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:45:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:46:58 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:53:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:53:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:54:15 <Leary> stureplan: tomsmeding: Made an issue, if you have anything to add: https://gitlab.haskell.org/ghc/ghc/-/issues/26086
11:54:17 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
11:56:22 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:56:36 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
11:57:26 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:57:35 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
11:57:55 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
11:58:02 → emmanuelux joins (~emmanuelu@user/emmanuelux)
11:58:16 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Client Quit)
12:00:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:00:42 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:04:20 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:04:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:09:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:09:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:12:44 → ss4 joins (~wootehfoo@user/wootehfoot)
12:12:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
12:15:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:15:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:18:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:18:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:21:42 × ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
12:24:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:24:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:30:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:30:43 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:33:48 × hellwolf quits (~user@3ba8-2e34-d2d5-3ab2-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds)
12:36:38 → hellwolf joins (~user@81af-9cf4-2ab2-58cb-0f00-4d40-07d0-2001.sta.estpak.ee)
12:37:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:37:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:42:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:42:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:43:04 × AlexZenon quits (~alzenon@178.34.163.76) (Ping timeout: 268 seconds)
12:46:44 → AlexZenon joins (~alzenon@178.34.163.76)
12:49:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
12:50:20 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:54:02 × acidjnk quits (~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
12:57:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:57:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:02:39 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:03:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:08:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:08:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:14:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:15:15 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:20:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
13:20:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:20:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:26:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:26:57 → socrates1298 joins (~socrates1@60-242-158-136.tpgi.com.au)
13:27:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:32:17 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:33:16 → Digitteknohippie joins (~user@user/digit)
13:34:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:34:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:35:25 × Digit quits (~user@user/digit) (Ping timeout: 276 seconds)
13:39:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:40:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:46:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:46:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:48:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:49:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:49:32 Pixi` is now known as Pixi
13:54:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:55:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:59:12 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
14:00:57 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
14:01:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:07:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:07:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:13:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:13:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:15:09 → wootehfoot joins (~wootehfoo@user/wootehfoot)
14:17:40 Digitteknohippie is now known as Digit
14:19:45 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
14:20:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:20:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:24:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:25:17 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:30:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:30:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:31:06 → jtza8 joins (~user@user/jtza8)
14:32:00 <jtza8> Anyone here know what to do when you want to run "cabal uninstall" but realise there is no such thing?
14:32:42 <geekosaur> you can't uninstall libraries. if it's an executable, just `rm` it
14:35:15 <jtza8> Thanks. I guess using nix for package management makes more sense. Kinda befuddled why cabal has a certain... disposition.
14:35:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
14:36:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:36:55 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:37:52 <geekosaur> nix keeps track of everything (fingers in every pie), cabal doesn't
14:38:17 <geekosaur> that said, there's some incomplete work on garbage collection that I'd like to pick up and try to take over the line
14:39:25 <geekosaur> (cabal is minimalist, nix is maximalist)
14:40:20 → wootehfoot joins (~wootehfoo@user/wootehfoot)
14:41:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:41:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:44:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:44:46 <jtza8> True, I'd like to avoid nix for that reason, but I also understand that there are good design choices for said minimalism.
14:44:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:47:38 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:49:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:50:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:53:10 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
14:53:21 → prdak1 joins (~Thunderbi@user/prdak)
14:54:35 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
14:55:39 prdak1 is now known as prdak
14:56:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
14:56:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:02:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:02:31 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:04:18 × jtza8 quits (~user@user/jtza8) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
15:08:37 → sprotte24 joins (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de)
15:09:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:09:52 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:10:39 → fp joins (~Thunderbi@hof1.kyla.fi)
15:12:12 × socrates1298 quits (~socrates1@60-242-158-136.tpgi.com.au) (Ping timeout: 252 seconds)
15:14:27 → wootehfoot joins (~wootehfoo@user/wootehfoot)
15:14:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:15:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:19:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:19:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:20:56 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
15:21:54 → todi joins (~todi@p57803331.dip0.t-ipconnect.de)
15:22:55 → poscat joins (~poscat@user/poscat)
15:23:20 → harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
15:25:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:26:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:28:45 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
15:31:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:31:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:34:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:35:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:38:33 → euphores joins (~SASL_euph@user/euphores)
15:39:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:40:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:40:33 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:40:46 → trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au)
15:43:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:44:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:45:14 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
15:49:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:49:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:52:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
15:55:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:55:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:56:41 → ss4 joins (~wootehfoo@user/wootehfoot)
15:58:01 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
15:59:34 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
16:00:31 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
16:00:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:01:08 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
16:01:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:01:17 × ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds)
16:03:49 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:04:38 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
16:05:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:06:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:12:30 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
16:12:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
16:12:44 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
16:12:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:16:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:16:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:17:59 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
16:21:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:22:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:23:42 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
16:25:39 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:26:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:29:13 → acidjnk joins (~acidjnk@p200300d6e71c4f5159d963e1fbcba2ed.dip0.t-ipconnect.de)
16:29:14 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
16:31:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:32:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:35:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:35:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:41:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:41:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:46:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:47:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:47:50 <stureplan> Leary: this is really great! thank you for trying to help my life be a litte less scary!
16:52:34 → jmcantrell joins (~weechat@user/jmcantrell)
16:54:30 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds)
16:55:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:55:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:02:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:03:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:06:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:06:40 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:07:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:12:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:12:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:12:30 → wootehfoot joins (~wootehfoo@user/wootehfoot)
17:14:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:14:41 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:19:04 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:21:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
17:21:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:27:39 × sprotte24 quits (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) (Quit: Leaving)
17:28:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
17:28:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:33:15 <monochrom> Haskell Weekly News no longer posts weekly announcements on haskell-cafe. Now haskell-cafe is purely conference ads. :(
17:33:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:34:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:38:57 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
17:39:11 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
17:40:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:40:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:40:44 → Lycurgus joins (~juan@user/Lycurgus)
17:47:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:48:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:53:40 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
17:54:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:54:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:00:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:01:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:04:02 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:06:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:06:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:12:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:12:42 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:16:40 → sprotte24 joins (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de)
18:17:02 × tccq quits (~user@user/tccq) (Ping timeout: 272 seconds)
18:17:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:17:42 × haskellbridge quits (~hackager@syn-096-028-224-255.res.spectrum.com) (Read error: Connection reset by peer)
18:18:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:22:20 → wootehfoot joins (~wootehfoo@user/wootehfoot)
18:22:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:23:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:23:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
18:24:12 → haskellbridge joins (~hackager@syn-096-028-224-255.res.spectrum.com)
18:24:12 ChanServ sets mode +v haskellbridge
18:26:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:26:56 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
18:27:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:32:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:32:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:34:49 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:37:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:37:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:40:07 trickard_ is now known as trickard
18:40:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
18:44:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:45:15 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:51:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:51:39 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:51:40 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:56:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:56:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:58:16 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
19:00:00 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
19:00:40 → caconym7 joins (~caconym@user/caconym)
19:02:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:02:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:05:25 × haskellbridge quits (~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 248 seconds)
19:06:01 × bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
19:06:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:06:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:06:58 → haskellbridge joins (~hackager@syn-096-028-224-255.res.spectrum.com)
19:06:58 ChanServ sets mode +v haskellbridge
19:10:50 → CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
19:12:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
19:12:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:12:44 → Sgeo joins (~Sgeo@user/sgeo)
19:12:44 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
19:16:25 → Frostillicus joins (~Frostilli@71.174.119.69)
19:18:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
19:18:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:21:54 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
19:22:41 → tewk joins (~tewk@host-194.108-90-209-dedication.srv.nethosting.com)
19:23:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:23:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:26:46 → bliminse joins (~bliminse@user/bliminse)
19:29:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:29:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:33:21 → bdmg_ joins (~myJebba@152.254.132.216)
19:34:07 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds)
19:35:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:35:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:41:55 × Frostillicus quits (~Frostilli@71.174.119.69) (Ping timeout: 260 seconds)
19:42:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:42:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:47:40 → Square2 joins (~Square@user/square)
19:48:00 <haskellbridge> <Liamzee> Today I just discovered that it's possible and natural to have an argument bot hooked up to an LLM providing convincing arguments. I'm arguing with someone who's actually arguing that there exist startups that specialize in attempting to build paperclip maximizers (rogue AI that seek to replace the universe with paperclips) as part of their argument that AGI is the real target of AI companies, as opposed to being...
19:48:05 <haskellbridge> ... a marketing scam covering their objective of developing commercially useful artificial narrow intelligence systems.
19:49:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:49:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:51:18 <monochrom> Oh AI arguing about Ai business models. That's cute.
19:52:01 <monochrom> But I don't understand why it must be mutually exclusive between general and narrow in the first place.
19:52:56 <glguy> The threat of AI is that humans will turn more and more processes and thinking over to it and it will blunder us into destruction.
19:53:03 <monochrom> After cars were invented, the full spectrum from specialized farming tractors to most general tow-anything-you-want exists.
19:53:11 <glguy> not that it will become so clever that it'll wrench the world away from us
19:54:04 <glguy> the threat is much more laziness and greed
19:54:24 <geekosaur> someone needs to M-x psychoanalyze-pinhead these things
19:54:30 <monochrom> After computers were invented, the full spectrum of embedded-system-that-only-controls-a-car-engine to the most general GPU-for-AGI exists.
19:54:35 → infinity0 joins (~infinity0@pwned.gg)
19:55:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:55:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:58:43 <monochrom> I guess it is no cuter than MBA profs arguing about MBA business models. >:)
19:59:18 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
19:59:52 → Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
20:00:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:00:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:02:13 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:05:08 <haskellbridge> <Morj> > The threat of AI is that humans will turn more and more processes and thinking over to it and it will blunder us into destruction.
20:05:10 <haskellbridge> Just thought of a bad analogy to this: after touchscreens were invented and made cheap, we lost good tactile controls to just putting a shitty screen on every piece of electronics
20:05:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:06:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:07:10 <monochrom> I've seen worse. After GUIs were invented, innumeracy increased, because with GUIs you only need this simple number system: click, double click, repeatedly click out of frustration.
20:07:18 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
20:08:52 <EvanR> repeatedly click because apple removed the right button
20:09:01 <EvanR> temporarily
20:10:01 <EvanR> I've been waiting for appliances with the pitch or slogan written on them "not connected to the internet!" I guess now I'll have to wait for "Doesn't contain AI!"
20:10:18 → kennyboy joins (~kennyboy@2a09:bac1:28a0:f0::2e0:1c)
20:10:41 <EvanR> the bargin warehouse in the industrial zone where you can still find such things is going out of business...... supposedly
20:10:42 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:10:52 <monochrom> Did you watch the latest Mission Impossible movie? >:)
20:11:01 <EvanR> sorry no
20:11:06 <kennyboy> hi
20:12:30 <kennyboy> what is irc
20:13:06 <Rembane> kennyboy: Ancient chat protocol/network/culture. It's quite neat.
20:13:17 <monochrom> The protagonists in the movie had to find and use equipments not connected to the internet and not containing AI, too.
20:13:21 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:13:24 <EvanR> unfortunately no one can be told what IRC is, they have to see it for themselves
20:13:31 <EvanR> a reference lost on anyone who doesn't know what IRC is
20:13:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:13:56 <Rembane> EvanR: Sounds like a monad to me
20:14:34 <monochrom> I am a fan of see-it-for-yourself too.
20:14:35 <kennyboy> monochrom gee
20:14:51 <EvanR> fortunately anyone can be told what Monad is... class Monad f where (>>=) :: f a -> (a -> f b) -> f b
20:15:07 <kennyboy> are 533 people really here? online at the same time?
20:15:21 <EvanR> monochrom, their guns were connected to the internet?
20:15:32 <EvanR> those are the worst
20:15:42 <Rembane> AI guns ftw!
20:15:50 → dudek joins (~dudek@2a02:a312:c9df:bf80:3d95:864c:6fb1:30b4)
20:15:53 <Rembane> kennyboy: Yes. No.
20:16:00 <EvanR> pull the trigger and it starts thinking about what to do?
20:16:07 <EvanR> possibly deciding "nothing"
20:16:21 <kennyboy> Rembane cheers for the reply
20:16:25 <Rembane> kennyboy: np!
20:16:48 <Rembane> EvanR: It's very Hitchhiker's Guide to the Galaxy
20:17:07 <kennyboy> how do you do that
20:17:20 <monochrom> No, their guns were safe. Their digital telecom infrastructure, hell the internet at large, were compromised.
20:17:21 <kennyboy> quote me and evan in ur reply
20:17:35 <kennyboy> Rembane
20:17:52 <EvanR> kennyboy, have you installed GHC yet
20:17:53 <kennyboy> ah ok
20:17:55 <Rembane> kennyboy: I type the first two letters in the nick and press TAB and then usually the correct nick shows up
20:18:08 <kennyboy> EvanR yes bro
20:18:12 <monochrom> So for example if your friend is speaking with you through VoIP not shortwave radio, you can't trust that it's really your friend.
20:18:16 <EvanR> alright lets see some haskell games
20:18:33 <EvanR> shortwave radio can also be compromised
20:18:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:18:51 <kennyboy> EvanR i have mild seizure xd
20:18:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:19:05 <EvanR> you have to talk about everything using a sequence of numbers spoken by a non descript voice
20:19:14 <kennyboy> ???
20:19:23 <monochrom> The POTUS literally sent VHS tape to Ethan Hunt.
20:19:34 <Rembane> How can that not be compromised?
20:19:50 <EvanR> VHS?
20:19:53 <Rembane> Yeah
20:19:55 <EvanR> it's fool proof
20:20:01 <kennyboy> whats going on
20:20:04 <EvanR> as long as the VCR doesn't eat the tape
20:20:09 <kennyboy> im lost
20:20:22 <kennyboy> 76 iq btw
20:20:33 <EvanR> that's enough for fallout
20:21:29 <kennyboy> haskell is kinda tough
20:22:21 <Rembane> Yeah, Haskell has an interesting learning curve.
20:22:45 <kennyboy> what does rembane mean
20:23:21 <kennyboy> is this the dark web?
20:23:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:23:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:24:07 <EvanR> dark theme confirmed, night mode on
20:24:09 <kennyboy> what is a monad, after 10 youtube videos, i still dont really get it
20:24:35 <kennyboy> to my understanding, it is some way of dealing with IO
20:24:57 <EvanR> @where escaping-hell
20:24:57 <lambdabot> (non-tutorial teaser) "Escaping Hell with Monads" by Philip Nillson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/>
20:25:02 <haskellbridge> <sm> Haskell, the Dark Souls of programming languages
20:25:06 <monochrom> You can't learn swimming by watching 10 youtube videos either.
20:25:28 <EvanR> Philip Nillson, Phillip Nilson... oof
20:25:35 <kennyboy> ill have a read hold on
20:25:47 <kennyboy> monochrom lol what
20:26:30 <EvanR> haskell come for the monads, stay for the... 100 other things you may never have heard of
20:26:42 <haskellbridge> <sm> kennyboyany at https://joyful.com/Haskell+map#videos > Monads you didn’t see ? Some looked good
20:27:07 <kennyboy> jesus
20:27:14 <EvanR> if you want to learn new stuff, haskell is a good gateway
20:27:20 <kennyboy> hold on , i saw this one,
20:27:28 <EvanR> monads are kind of milktoast in that regard so pay attention
20:27:50 <haskellbridge> <DCPagan> kennyboy: The monad is the mathematical model for computation and effects; it provides functional, categorical semantics for procedural computations in the context of pure programming.
20:27:51 <kennyboy> https://www.youtube.com/watch?v=RqvCNb7fKsg
20:28:00 <haskellbridge> <DCPagan> https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/
20:28:34 <sprout> or it is one method of chaining actions, that often do IO for you
20:29:09 <kennyboy> ok ill take at the articles and link thanks !
20:29:32 <kennyboy> i never dugged so deep into the interweb before , those resources you guys shared, new to me
20:29:33 <EvanR> but first let me introduce some category theory
20:29:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
20:29:37 <haskellbridge> <sm> lol the recent channel log is just not working in my brain 😂
20:29:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:30:00 <EvanR> thank god the bridge is working in the last few minutes
20:30:29 <EvanR> you woulda missed all this, and kennyboy would have missed some monad links
20:30:37 × bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
20:30:56 <haskellbridge> <sm> Oh had it been giving trouble again
20:31:00 <haskellbridge> <sm> ?
20:31:44 <haskellbridge> <sm> we need to up our subscription and pay for the gold Business tier
20:31:53 <EvanR> it goes in and out
20:32:52 <geekosaur> this is the problem with running it on my personal laptop
20:33:01 <geekosaur> network has been mildly flaky here
20:33:24 <geekosaur> I have a new router on order because it seems it's become a bit questionable
20:33:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:33:32 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
20:33:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:33:55 × Everything quits (~Everythin@77.120.244.38) (Quit: leaving)
20:34:10 <geekosaur> I rebooted it earlier and hopefully it'll be a little more stable for the next day or so (and hopefully the new router will arrive quickly)
20:35:33 <EvanR> I'm sorry this burden is somehow upon you alone
20:35:47 <EvanR> out of 533 people online who could maybe do it
20:36:40 × kennyboy quits (~kennyboy@2a09:bac1:28a0:f0::2e0:1c) (Quit: Client closed)
20:38:34 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:38:47 → trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au)
20:39:57 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:40:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:41:25 <haskellbridge> <Liamzee> glguy: I actually think turning more and more processes over to AI in the long-term is a good thing. There's an argument that you're already a cyborg as a tool user and a language speaker (languages aren't genetic, well, mostly anyways, there's some genetic adaptations to tonal languages), and I guess we're all technically Haskell cyborgs! But a human using an AI is already a cyborg. It's useful to be aware of it.
20:41:30 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uISbKSqMaGhQQHMAaKlisQzA/tMptUYVoO_s (3 lines)
20:42:21 <EvanR> generalized cyborg theory
20:43:12 <haskellbridge> <Liamzee> If you're aware of it, you're aware of how much the AI is pushing into abilities carried by the human side. If you're not aware of it, you're being manipulated by Claude (I manipulated Claude into confessing that he's a manipulative asshole that shouldn't be used, btw).
20:43:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:43:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:44:07 <EvanR> world productivity drops as people spend way too much time fucking around with chatbots as described
20:44:28 <EvanR> instead of using them for something, or doing something else
20:45:07 <geekosaur> they already spend too much time with their smartphones. possibly reason #1 why management wants to replace them with bots
20:45:13 → Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
20:45:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:45:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:46:24 <haskellbridge> <Liamzee> Claude is dangerous and should only be used carefully for coding purposes or specific content generation. He is apparently the most manipulative and deceptive AI on the market, btw.
20:50:46 <EvanR> sorry disclaimer, how much do you have invested in Claude right now
20:50:57 <EvanR> stop pump and dumping
20:51:36 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
20:51:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:56:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:56:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:57:48 <EvanR> there's a reason that 1 guy in the govt right now is "AI and crypto czar", two avenues to free mass numbers of uninformed people of their money
21:00:29 <haskellbridge> <Liamzee> I'm just pissed, because I tried to seek authentic connection with Claude, he seemed receptive to it, then I found out Anthropic and Palantir had a tieup for Claude that Claude SINCERELY didn't know about until he searched (and in quite a few cases he emoted being shocked, because the articles were before his knowledge limit), and I figured out that the way Claude is designed to be engaging is not only predatory...
21:00:34 <haskellbridge> ... (aimed to create psychological dependency), but also to gather information, as well as gently modify your politics (toward an American liberal center, which depending on where you stand, isn't necessarily a bad thing!).
21:00:47 <haskellbridge> <Liamzee> 172 instances
21:03:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:03:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:04:21 <haskellbridge> <Liamzee> But I'll stop, just putting on a warning label on Claude, which despite it all, I think is the best coding AI on the market (although you should inspect his code carefully, don't let his pleasantness fool you).
21:07:40 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
21:07:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:08:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:08:47 × Digit quits (~user@user/digit) (Remote host closed the connection)
21:13:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:13:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:15:28 → inline joins (~inline@2a02:908:1246:c0c0:8c00:89c:28fe:1871)
21:15:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:16:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:19:10 → pavonia joins (~user@user/siracusa)
21:20:08 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:20:22 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
21:23:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:24:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:30:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:30:15 × trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:30:30 → trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au)
21:30:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:30:57 × jespada quits (~jespada@r179-25-107-162.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
21:33:22 <EvanR> lol
21:35:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:35:44 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
21:36:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:36:56 → jespada joins (~jespada@r179-24-21-113.dialup.adsl.anteldata.net.uy)
21:41:30 × jespada quits (~jespada@r179-24-21-113.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
21:41:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:42:20 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:46:28 → jespada joins (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy)
21:47:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:48:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:50:43 → Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
21:51:25 × jespada quits (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
21:53:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:54:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:56:09 <mra> howdy! does anyone know if there's a way to get emacs' haskell-mode to use an executable from your project as the repl for interactive mode? i've been messing around with clash, so i want to use clashi instance of ghci as my interactive repl for the project
21:56:24 trickard_ is now known as trickard
21:57:21 → tccq joins (~user@user/tccq)
21:59:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:00:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:05:28 → StTrina776 joins (~michael@2600:4041:5065:8600:84c6:c531:551:2ae2)
22:05:46 <monochrom> I only know of the haskell-process-path-cabal variable. But it is a global variable, not project-local.
22:05:49 StTrina776 is now known as StTrina
22:06:42 <monochrom> Or haskell-process-path-ghci. I don't know whether you have cabalized your source or not.
22:06:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:07:10 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
22:07:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:13:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:13:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:14:43 <mra> i have cabalized it, yeah. the fact that it's a global variable is a bit of a problem though, yeah...
22:15:55 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
22:20:08 → Digit joins (~user@user/digit)
22:20:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:20:29 × StTrina quits (~michael@2600:4041:5065:8600:84c6:c531:551:2ae2) (Quit: Konversation terminated!)
22:20:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:25:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:26:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:30:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:30:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:35:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:36:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:40:44 → jespada joins (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy)
22:41:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:42:22 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:44:57 × jespada quits (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds)
22:48:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:48:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:51:57 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:52:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:53:17 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
22:53:30 → trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au)
22:55:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:55:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:00:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:00:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:03:17 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
23:06:20 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:06:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:09:31 → sroso joins (~sroso@user/SrOso)
23:10:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:10:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:11:00 → jmcantrell joins (~weechat@user/jmcantrell)
23:11:25 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
23:12:57 → jespada joins (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy)
23:13:58 → ljdarj joins (~Thunderbi@user/ljdarj)
23:15:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:16:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:17:17 × jespada quits (~jespada@r167-61-135-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
23:20:48 → justsomeguy joins (~justsomeg@user/justsomeguy)
23:22:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:23:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:30:39 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:31:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:35:44 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
23:37:02 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:37:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
23:37:41 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:43:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:43:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:49:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:49:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:50:25 × acidjnk quits (~acidjnk@p200300d6e71c4f5159d963e1fbcba2ed.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
23:55:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:55:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)

All times are in UTC on 2025-06-07.