Logs on 2025-05-22 (liberachat/#haskell)
| 00:04:06 | × | jespada quits (~jespada@r179-25-104-223.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:05:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:06:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:06:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:09:53 | × | xff0x quits (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 00:11:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:16:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:17:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:19:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:24:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:25:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:25:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:28:08 | → | notzmv joins (~daniel@user/notzmv) |
| 00:28:45 | × | philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 00:31:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:31:41 | → | JamesMowery17 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 00:32:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:34:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:38:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:39:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:39:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:44:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:45:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:49:33 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 00:50:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:51:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:51:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:55:13 | × | simon1 quits (~simon@204.48.93.62) (Ping timeout: 248 seconds) |
| 00:55:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:56:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:57:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:02:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:03:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:06:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:11:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:11:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:12:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:16:39 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 01:16:41 | → | tomku|two joins (~tomku@user/tomku) |
| 01:18:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:18:21 | → | tolgo joins (~Thunderbi@199.115.144.130) |
| 01:18:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:19:35 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:21:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:25:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:25:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:26:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:31:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:32:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:34:36 | → | arahael joins (~arahael@user/arahael) |
| 01:35:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 01:37:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:38:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:39:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:42:09 | × | tolgo quits (~Thunderbi@199.115.144.130) (Ping timeout: 248 seconds) |
| 01:42:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:42:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:42:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:47:16 | × | notzmv quits (~daniel@user/notzmv) (Remote host closed the connection) |
| 01:48:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:49:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:53:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:56:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:56:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:57:17 | → | craunts7 joins (~craunts@136.158.8.87) |
| 01:58:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:03:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:03:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:04:40 | → | mange joins (~user@user/mange) |
| 02:09:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:10:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:10:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:14:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:17:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:17:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:18:08 | × | Square quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 02:23:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:23:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:24:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:28:19 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 02:30:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:30:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:31:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:34:39 | → | djmetzle joins (~djmetzle@syn-141-126-079-209.res.spectrum.com) |
| 02:38:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:38:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:42:49 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 02:43:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:44:54 | × | djmetzle quits (~djmetzle@syn-141-126-079-209.res.spectrum.com) (Changing host) |
| 02:44:54 | → | djmetzle joins (~djmetzle@user/djmetzle) |
| 02:46:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:46:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:47:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:54:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:54:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:58:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:00:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:00:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:03:20 | → | troydm joins (~troydm@user/troydm) |
| 03:03:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:07:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:07:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:09:09 | × | machined1od quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 03:16:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:16:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:17:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:21:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:22:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:22:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:29:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:29:36 | → | aforemny_ joins (~aforemny@2001:9e8:6cc7:2b00:37c8:f56f:dea9:2687) |
| 03:29:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:30:38 | × | aforemny quits (~aforemny@2001:9e8:6ce5:8e00:80fa:29d2:1580:ff25) (Ping timeout: 268 seconds) |
| 03:32:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:36:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:38:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:41:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:42:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:44:57 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 03:45:52 | → | polykernel joins (~polykerne@user/polykernel) |
| 03:47:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:48:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:48:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:53:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:54:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:54:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:57:24 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 04:00:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:01:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:04:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:08:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:08:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:11:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:17:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:17:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:20:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 04:21:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 04:21:29 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 04:22:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:23:42 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 04:25:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:25:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:27:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:31:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:32:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:35:56 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:38:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:40:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:40:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:41:43 | → | michalz joins (~michalz@185.246.207.197) |
| 04:42:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:46:54 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:47:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:48:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:49:31 | × | codedmart_ quits (~codedmart@li335-49.members.linode.com) (Ping timeout: 272 seconds) |
| 04:50:34 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 04:50:47 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:50:50 | × | sm quits (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 04:51:05 | → | sm joins (znc@plaintextaccounting/sm) |
| 04:53:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:56:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:56:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 04:56:50 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 05:02:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:02:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:02:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:07:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:07:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:10:01 | × | craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 05:13:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:14:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:14:18 | × | wickedjargon quits (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Read error: Connection reset by peer) |
| 05:14:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:15:54 | → | wickedjargon joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 05:18:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:19:57 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.6.3) |
| 05:21:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:21:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:23:36 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 05:23:55 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 05:25:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 05:26:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 05:26:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:29:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:34:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 05:34:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:35:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:40:45 | → | notzmv joins (~daniel@user/notzmv) |
| 05:41:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:41:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:44:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:49:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:50:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:50:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:50:46 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 05:52:09 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 05:56:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:57:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:03:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:04:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:11:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:11:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:12:05 | × | notzmv quits (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 06:16:02 | <[exa]> | Is there a good way to link a binary file into a haskell executable somewhat conveniently, ideally with cabal? |
| 06:17:12 | <[exa]> | rough ways include: 1] `sed`ing the file binary contents into a .hs file that exports a bytestring or array or such, 2] converting to binary object with libtool, linking it and recovering with dlsym later |
| 06:17:28 | <[exa]> | (notably both are suboptimal) |
| 06:18:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:18:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:24:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:24:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:25:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 06:26:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 06:31:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:32:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:39:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:39:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:39:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:41:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:42:17 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 06:46:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:46:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:51:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:51:50 | <mauke> | [exa]: hack: template haskell |
| 06:52:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:54:43 | × | yaroot quits (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 06:55:24 | → | yaroot joins (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) |
| 06:58:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 06:59:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:00:04 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:00:19 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 07:00:44 | → | caconym7 joins (~caconym@user/caconym) |
| 07:01:22 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 07:03:22 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:03:52 | <jackdk> | [exa]: https://hackage.haskell.org/package/file-embed ? |
| 07:06:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:06:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:07:08 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:10:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:11:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:12:31 | <haskellbridge> | <sm> 👆️ |
| 07:16:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:17:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:22:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:23:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:26:13 | → | olliep joins (~ollie@2a0a:ef40:19e:b02:5d0c:f940:8a95:8cf3) |
| 07:28:14 | <[exa]> | oh, it's called "embed" |
| 07:28:16 | <[exa]> | stupid me. |
| 07:28:21 | <[exa]> | jackdk: thanks a lot! |
| 07:30:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 07:30:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:31:45 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 07:37:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:37:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:38:36 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 07:39:55 | × | mange quits (~user@user/mange) (Quit: Quittin' time!) |
| 07:42:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:43:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:46:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:46:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Client Quit) |
| 07:46:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:49:38 | <[exa]> | If one asks `cabal list-bin` for the path on windows, does it need to supply the `.exe` suffix for it to work? |
| 07:50:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:50:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:53:13 | → | acidjnk joins (~acidjnk@p200300d6e71c4f682546f7058506d513.dip0.t-ipconnect.de) |
| 07:54:45 | → | merijn joins (~merijn@77.242.116.146) |
| 07:55:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:55:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:55:40 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:56:20 | × | olliep quits (~ollie@2a0a:ef40:19e:b02:5d0c:f940:8a95:8cf3) (Ping timeout: 272 seconds) |
| 07:57:22 | <tomsmeding> | well it gives a path to a binary, so whatever ghc puts on the binary name, right? |
| 07:57:42 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:01:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:01:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:03:48 | × | fraznel quits (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 08:07:11 | → | fraznel joins (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) |
| 08:07:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:07:48 | × | fraznel quits (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) (Client Quit) |
| 08:08:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:08:25 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:11:17 | <[exa]> | tomsmeding: no I meant, if I have "executable abc", is it going to behave like `which` requiring `cabal list-bin abc.exe` or is `cabal list-bin abc` going to work? |
| 08:11:36 | <[exa]> | (note: I don't have a windows machine anywhere nearby. :D ) |
| 08:14:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:14:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:15:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 08:20:56 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 08:21:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:21:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:23:16 | <tomsmeding> | [exa]: cabal list-bin takes component names |
| 08:23:20 | <tomsmeding> | not executable file names |
| 08:23:28 | <tomsmeding> | you can go `cabal list-bin package:exe:exename` |
| 08:24:01 | <[exa]> | uh ok that might be very useful |
| 08:24:04 | <tomsmeding> | `cabal exec` may need the .exe if relevant |
| 08:25:06 | → | merijn joins (~merijn@77.242.116.146) |
| 08:27:22 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:28:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:28:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:29:05 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 08:29:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:37:13 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:37:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:37:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:41:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:42:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:46:37 | → | __monty__ joins (~toonn@user/toonn) |
| 08:48:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:49:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:50:48 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
| 08:50:53 | <hellwolf> | The amount of time I am trying to provide a tupleN syntax for something fundamentally recursively defined product type is getting rediculous. I should search through ghc proposals if there is a a syntax extension for that. |
| 08:50:53 | <hellwolf> | The pain is mostly around the injectivity: with NP it has much better type inference experience, but with TupleN, it's easily hampered. Not sure I can explain myself without an example. |
| 08:51:11 | <hellwolf> | is it really that different typing (a, b, c) than a :* b :* c :* Nil |
| 08:51:27 | <hellwolf> | coders be damned. |
| 08:53:13 | <hellwolf> | "How I learned to stop worrying and love the NP." |
| 08:55:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 08:56:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:59:09 | <kuribas> | In idris2, tuples are inductive, (a, b, c) is just syntax for (a, (b, c)) |
| 09:00:44 | <kuribas> | It sucks in Generics, that product types are a tree, rather than a simple inductive list. |
| 09:01:32 | Leary | . o O ( `data a , b = a , b; infixr 0 ,` ) |
| 09:01:34 | → | comerijn joins (~merijn@77.242.116.146) |
| 09:03:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:03:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:04:31 | <hellwolf> | GHC proposal, {-# LANGUAGE InductiveTuple #-} (| a, b, c |) |
| 09:05:05 | <hellwolf> | but why, a :* b :* c :* Nil. I am so conflicted, and hating wasted time on this. |
| 09:05:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 09:06:02 | <kuribas> | (a, (b, (c, ()))) |
| 09:06:32 | <kuribas> | hellwolf: is this generics? |
| 09:09:12 | <__monty__> | That would make the Functor instance on inductive tuples quite toothless, no? |
| 09:10:46 | <Leary> | hellwolf: Either choose an arbitrary single character alias for `:*` or write a variadic `tup a b c ...` function. Then, forget about tuples for evermore. |
| 09:10:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:11:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:11:23 | <kuribas> | hmm, functor doesn't work on >2 tuples in idris2. |
| 09:11:32 | <kuribas> | It maps over the nested tuple. |
| 09:12:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:12:54 | <hellwolf> | let me try variadic. one more attempt to make type inferrence work |
| 09:13:11 | <hellwolf> | * make type inference happy |
| 09:13:32 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 09:13:32 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 09:13:32 | → | haritz joins (~hrtz@user/haritz) |
| 09:14:20 | <__monty__> | `fromList`'s another option if all you want is brackety syntax. |
| 09:15:48 | <hellwolf> | fromList wont' cut it, it gotta be of a known length at type-level. |
| 09:15:51 | <kuribas> | I like Generics-eot: https://hackage.haskell.org/package/generics-eot-0.4.0.1/docs/Generics-Eot.html |
| 09:16:31 | <kuribas> | it translates a product (foo, bar, baz) to Either (foo, (bar, (baz, ()))) Void. |
| 09:16:57 | <hellwolf> | kuribas: I see. |
| 09:17:16 | <hellwolf> | again, it's the type inference I need to fix |
| 09:17:39 | <hellwolf> | i tried different ways, and always got disappointment in the end |
| 09:17:41 | <kuribas> | hellwolf: I don't know what you are doing... |
| 09:17:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:17:59 | <kuribas> | Maybe I missed context... |
| 09:18:01 | <hellwolf> | ywithrv_1 @(U256 -> U256 -> U256) (balanceBefore, ver amount) (\x y -> x + y) <-- want to remove that type aplication |
| 09:18:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:18:24 | <hellwolf> | that "ver" combinator introduces an non-injective variable |
| 09:18:32 | <hellwolf> | and the whole thing break down. |
| 09:18:37 | <hellwolf> | but with :* it can infer from the result type |
| 09:18:41 | <hellwolf> | one by one. |
| 09:18:52 | <__monty__> | Why is that Either _ Void? Surely the Either is redundant? |
| 09:18:55 | <hellwolf> | while with TupleN I made, I just can't make GHC work. |
| 09:19:06 | <kuribas> | __monty__: to support sum types. |
| 09:22:26 | → | chele joins (~chele@user/chele) |
| 09:22:46 | <ski> | sum-of-products |
| 09:23:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:24:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:30:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 09:33:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:34:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:36:35 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 09:38:21 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 09:38:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:38:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:39:04 | → | Digitteknohippie joins (~user@user/digit) |
| 09:39:26 | → | merijn joins (~merijn@77.242.116.146) |
| 09:40:52 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 09:43:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:44:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:50:03 | × | fun-safe-math_ quits (~fun-safe-@97-120-59-205.ptld.qwest.net) (Ping timeout: 276 seconds) |
| 09:50:04 | × | [XRPTradingBot] quits (~user@user/siracusa) (Ping timeout: 265 seconds) |
| 09:50:39 | → | fun-safe-math joins (~fun-safe-@97-120-103-223.ptld.qwest.net) |
| 09:51:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:52:13 | <hellwolf> | might as well having a inductive np function, instead. |
| 09:52:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:52:26 | <hellwolf> | np a b c d -- :: NP f xs |
| 09:53:00 | <hellwolf> | I am qutie familiar with this n-ary trick now |
| 09:53:29 | <hellwolf> | bummer that I wasted so much time on tupleN. but I did learn a ton of working with types. |
| 09:58:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 09:58:38 | Digitteknohippie | is now known as Digit |
| 09:58:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:59:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:01:22 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:04:54 | → | [XRPTradingBot] joins (~user@user/siracusa) |
| 10:05:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:06:00 | × | djmetzle quits (~djmetzle@user/djmetzle) (Quit: Client closed) |
| 10:06:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:07:08 | JuanDaugherty | is now known as ColinRobinson |
| 10:13:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:14:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:20:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:21:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:24:49 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 10:28:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:28:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:35:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:35:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:36:26 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
| 10:36:59 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 10:38:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 10:43:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:43:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:46:54 | → | mra joins (~mra@static.150.116.201.138.clients.your-server.de) |
| 10:50:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 10:50:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:56:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:57:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:57:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:57:43 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:59:42 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 11:00:04 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 11:01:47 | → | jespada joins (~jespada@r190-133-32-136.dialup.adsl.anteldata.net.uy) |
| 11:02:13 | → | caconym7 joins (~caconym@user/caconym) |
| 11:02:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:02:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:04:59 | → | comerijn joins (~merijn@77.242.116.146) |
| 11:07:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 11:08:29 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 11:09:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:09:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:17:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:17:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:22:43 | → | Everything joins (~Everythin@77.120.244.38) |
| 11:25:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:25:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:33:47 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 11:38:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:39:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:43:29 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:47:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:47:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:50:20 | → | craunts7 joins (~craunts@136.158.8.87) |
| 12:05:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:05:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:06:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:12:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:13:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:20:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:20:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:20:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:22:45 | → | merijn joins (~merijn@77.242.116.146) |
| 12:27:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:28:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:28:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:29:14 | × | cross_ quits (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 12:29:46 | → | merijn joins (~merijn@77.242.116.146) |
| 12:34:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:35:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:37:18 | × | jespada quits (~jespada@r190-133-32-136.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:37:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) |
| 12:41:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:41:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:42:15 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:42:19 | → | omegatron joins (~some@user/omegatron) |
| 12:42:33 | → | jespada joins (~jespada@r190-133-32-136.dialup.adsl.anteldata.net.uy) |
| 12:43:34 | → | img joins (~img@user/img) |
| 12:47:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:47:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:47:51 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 12:53:18 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:57:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:57:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:03:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:03:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:07:08 | × | Everything quits (~Everythin@77.120.244.38) (Quit: leaving) |
| 13:07:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:07:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:08:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 13:14:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:15:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:23:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:24:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:25:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:27:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 13:29:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:30:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:33:17 | × | AlexZenon quits (~alzenon@178.34.162.255) (Ping timeout: 272 seconds) |
| 13:34:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:34:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:35:57 | → | Square joins (~Square4@user/square) |
| 13:39:23 | → | AlexZenon joins (~alzenon@178.34.162.255) |
| 13:41:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:41:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:48:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:48:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:54:14 | × | jespada quits (~jespada@r190-133-32-136.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 13:55:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:55:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:57:09 | → | jespada joins (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) |
| 14:02:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:02:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:09:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 14:09:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:15:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:15:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:17:30 | <EvanR> | newtype is a zero cost abstraction right. But what about map MkNewtype xs and map unmakeNewtype xs |
| 14:17:36 | <EvanR> | is that optimized away |
| 14:22:14 | × | [XRPTradingBot] quits (~user@user/siracusa) (Quit: Bye!) |
| 14:25:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:25:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:26:53 | <Leary> | EvanR: If it's literally `Data.List.map`, then I imagine `{-# RULES "map/coerce" [1] map coerce = coerce #-}` will handle it. Otherwise no, but that's what e.g. `coerce :: [Newtype a] -> [a]` is for. |
| 14:27:18 | <EvanR> | good to know |
| 14:31:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:31:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:37:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:37:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:39:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:44:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:44:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:47:55 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:49:17 | → | califax joins (~califax@user/califx) |
| 14:51:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:51:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:51:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:55:11 | → | weary-traveler joins (~user@user/user363627) |
| 14:57:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:57:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:03:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:03:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:04:25 | <[exa]> | is hackage having issues? (I'm getting http503) |
| 15:09:11 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 15:09:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:09:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:16:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:16:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:18:31 | <hellwolf> | fine for me |
| 15:19:17 | × | joeyh quits (~joeyh@kitenet.net) (Ping timeout: 248 seconds) |
| 15:21:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:22:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:27:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 15:27:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:28:39 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:32:13 | <Hecate> | dminuoso: nice, hope you enjoyed it! :D |
| 15:33:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:33:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:39:16 | → | notzmv joins (~daniel@user/notzmv) |
| 15:39:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:39:41 | <tomsmeding> | [exa]: fine for me too |
| 15:40:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:43:19 | × | mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection) |
| 15:43:50 | → | ft joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 15:45:02 | × | notzmv quits (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 15:47:22 | → | pja joins (~pja@217.155.153.14) |
| 15:47:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:48:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:50:39 | → | mceresa joins (~mceresa@user/mceresa) |
| 15:53:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:54:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:55:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 16:00:27 | × | craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 16:00:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:01:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:01:47 | → | erty joins (~user@user/aeroplane) |
| 16:02:05 | × | acidjnk quits (~acidjnk@p200300d6e71c4f682546f7058506d513.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:08:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:08:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:15:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:15:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:18:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:22:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:22:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:25:39 | → | mistivia joins (~mistivia@user/mistivia) |
| 16:28:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:28:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:30:24 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 245 seconds) |
| 16:33:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:33:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:39:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:40:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:40:30 | → | craunts7 joins (~craunts@136.158.8.87) |
| 16:41:10 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:45:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:46:07 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 16:46:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:49:34 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:52:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:52:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:53:06 | <EvanR> | I see I see |
| 16:53:33 | <EvanR> | :t sequence_ -- drake rejects |
| 16:53:34 | <lambdabot> | (Foldable t, Monad m) => t (m a) -> m () |
| 16:54:09 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 16:54:14 | → | acidjnk joins (~acidjnk@p200300d6e71c4f686104470de4bb3da9.dip0.t-ipconnect.de) |
| 16:56:37 | <EvanR> | :t fold -- drake approves |
| 16:56:38 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 16:57:15 | <EvanR> | :t fold [putStrLn "hello", putStrLn "world"] |
| 16:57:16 | <lambdabot> | IO () |
| 16:58:48 | → | Square3 joins (~Square@user/square) |
| 16:58:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:59:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:59:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:00:09 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 17:02:57 | × | Square quits (~Square4@user/square) (Ping timeout: 276 seconds) |
| 17:06:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:06:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:07:55 | × | omegatron quits (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 17:13:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:13:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:13:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:13:56 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 17:14:36 | → | infinity0 joins (~infinity0@pwned.gg) |
| 17:19:05 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:19:51 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:20:17 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:20:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:20:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:22:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:27:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:28:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:31:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:32:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:33:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:34:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:34:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:38:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:38:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 17:40:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:40:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:44:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:45:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:47:04 | × | myme quits (~myme@2a01:799:d5e:5f00:3879:366:467e:f5c) (Ping timeout: 276 seconds) |
| 17:47:33 | → | myme joins (~myme@2a01:799:d5e:5f00:ddff:e5d1:c808:6ccf) |
| 17:48:14 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 17:48:51 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:50:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:50:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:53:53 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 17:59:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:59:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:00:28 | <hellwolf> | instance YulO3 x (NP I xs) r => ConstructibleNP (P'x eff r) x xs One where |
| 18:00:28 | <hellwolf> | why does GHC thinks this constraint is no smaller than the instance head |
| 18:05:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:05:39 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/instances.html#instance-rules |
| 18:05:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:06:30 | × | erty quits (~user@user/aeroplane) (Ping timeout: 252 seconds) |
| 18:07:16 | <tomsmeding> | not sure, if NP is a data type then the conditions seem satisfied |
| 18:09:53 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 18:10:22 | × | craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 18:10:28 | <tomsmeding> | hellwolf: what kind of injectivity do you need? |
| 18:10:39 | <tomsmeding> | it seems to me like recognising n-tuples should be doable |
| 18:10:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 18:11:16 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 18:12:34 | <hellwolf> | 05-22 21:07 <tomsmeding> not sure, if NP is a data type then the conditions seem satisfied |
| 18:12:34 | <hellwolf> | I think it's because the whole of "(NP I xs)" was not in the instance head, it seems a quite simple rule, but perhaps too strict. |
| 18:12:44 | <tomsmeding> | hellwolf: this is probably weaker than what you want but this would work fine https://play.haskell.org/saved/S3EguXSS |
| 18:12:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:13:06 | <tomsmeding> | oh the "smaller" conditions are definitely an underapproximation |
| 18:13:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:13:12 | <tomsmeding> | they're sound, but far from complete |
| 18:13:13 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:13:19 | <tomsmeding> | -XUndecidableInstances is your friend |
| 18:13:37 | <hellwolf> | yea, I will need to learn to stop worrying |
| 18:14:12 | <hellwolf> | 05-22 21:12 <tomsmeding> hellwolf: this is probably weaker than what you want but this would work fine https://play.haskell.org/saved/S3EguXSS |
| 18:14:12 | <hellwolf> | That is fine. But when I have a (x, ver y), where ver introduces an ambiguous type, it all brakes down. |
| 18:14:32 | <tomsmeding> | does it? It's already known that it's a tuple, so the correct instance gets chosen |
| 18:14:47 | <tomsmeding> | then the equality constraint from the (+) should propagate back |
| 18:14:48 | <hellwolf> | apparently it didn't. |
| 18:15:08 | <hellwolf> | I am too exhausted to create a small examples for it today. |
| 18:15:13 | <tomsmeding> | sure :) |
| 18:16:14 | <hellwolf> | sorry. |
| 18:16:24 | <hellwolf> | GHC is defeating me pretty badly today. |
| 18:16:36 | <tomsmeding> | hellwolf: https://play.haskell.org/saved/DARROgpC |
| 18:16:44 | <tomsmeding> | but no pressure :p |
| 18:17:00 | <hellwolf> | you need a ver that uses ambigous types |
| 18:17:09 | <hellwolf> | ver :: a -> T v a |
| 18:17:10 | <hellwolf> | something like that |
| 18:17:15 | <tomsmeding> | where T is not injective? |
| 18:17:25 | <hellwolf> | It's a data type |
| 18:17:27 | <tomsmeding> | oh |
| 18:17:31 | <tomsmeding> | but then it's not ambiguous |
| 18:17:58 | → | notzmv joins (~daniel@user/notzmv) |
| 18:17:59 | <hellwolf> | I mean it is, since v is neither in the MPTC nor in arguments of ver |
| 18:18:13 | <tomsmeding> | oh right |
| 18:18:17 | <hellwolf> | and I could @v but that defeats the purpose |
| 18:18:25 | <hellwolf> | so, if my recollection is correct: |
| 18:18:30 | <tomsmeding> | but then, where would you like ghc to conjure a v from :p |
| 18:18:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:18:44 | <tomsmeding> | should the tuple components always have the same type? |
| 18:18:50 | <tomsmeding> | that is something that can be easily required |
| 18:19:03 | <tomsmeding> | oh wait that's already required, hm, lemme try |
| 18:19:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:19:26 | <hellwolf> | that's where I expected magic: TupleN_M m tpl = r | r -> m tpl |
| 18:19:39 | <hellwolf> | sorry, can't recall. |
| 18:19:47 | <hellwolf> | but I was hoping some back and forth propagation |
| 18:21:02 | <hellwolf> | (a, ver b) :: Tuple_M (R v) (a, b) |
| 18:21:06 | <tomsmeding> | hellwolf: https://play.haskell.org/saved/qcoMnu1O |
| 18:21:12 | <hellwolf> | so ver b should be :: R v b |
| 18:21:18 | <hellwolf> | but ghc says v0 |
| 18:21:36 | <hellwolf> | it can't not figure out v |
| 18:21:51 | <tomsmeding> | I'd have to see precisely what you did |
| 18:21:57 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:22:26 | <tomsmeding> | my thing has fully bidirectional informatino |
| 18:22:37 | <tomsmeding> | but you probably need something stronger somehow |
| 18:23:07 | <hellwolf> | oh, you are using typeclass |
| 18:23:10 | <hellwolf> | mine was typefamily |
| 18:23:27 | <hellwolf> | when I have time and courage next week, I will get back to you on this one. |
| 18:23:31 | <hellwolf> | today I fought enough with GHC |
| 18:24:20 | <hellwolf> | Ur newAmount <- ywithrv_1 (balanceBefore :* ver amount :* Nil) \(x :* y :* Nil) -> x + y <-- I am settled for this today, ugly, but at least I don't have to deal with type applications. |
| 18:24:28 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:24:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:25:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:25:30 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 276 seconds) |
| 18:26:04 | <tomsmeding> | I can only get this to produce an ambiguous v if I explicitly ensure that the (+) does _not_ pin down the v's to be the same https://play.haskell.org/saved/m50QJTQK |
| 18:26:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:27:19 | <hellwolf> | maybe the associated type familymakes some difference |
| 18:27:26 | <hellwolf> | i dont' know. unlikely |
| 18:28:13 | <hellwolf> | Thanks for lending a hand. I save your examples. |
| 18:29:33 | <hellwolf> | oh |
| 18:29:54 | <hellwolf> | a difference: balanceBefore must be T (v :: Nat) |
| 18:30:08 | <tomsmeding> | Bool is just a standin |
| 18:30:19 | <tomsmeding> | any known type is oka |
| 18:30:21 | <tomsmeding> | *okay |
| 18:33:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:34:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:34:53 | → | sprotte24 joins (~sprotte24@p200300d16f0a64003d98b99ac0239694.dip0.t-ipconnect.de) |
| 18:34:53 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:35:17 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 18:40:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:41:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:42:02 | rvalue- | is now known as rvalue |
| 18:43:00 | → | notzmv joins (~daniel@user/notzmv) |
| 18:43:35 | <hellwolf> | the key difference is that I need to enforce the same "v-ness" in the tuple. |
| 18:43:41 | <hellwolf> | https://play.haskell.org/saved/glFn4zs9 |
| 18:43:50 | <hellwolf> | I put type whole to see what's got resolved to "ver 2" |
| 18:43:54 | → | Shsl-Junko-POSER joins (~Shsl-Junk@50.235.208.178) |
| 18:44:11 | <hellwolf> | v stay abstract, since it didn't matter |
| 18:44:15 | <hellwolf> | but it should matter in my case. |
| 18:44:34 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 18:44:36 | <tomsmeding> | hellwolf: so the 'a' of the Ts may differ, but the 'v' must be the same across all tuple elements? |
| 18:44:43 | <hellwolf> | what GHC does here is mindboggling, or may be I am too hungry |
| 18:44:59 | <hellwolf> | correct. if you still remember, I am trying to do this silly data versioning thing. |
| 18:45:04 | <tomsmeding> | right |
| 18:45:07 | <tomsmeding> | I can arrange the vs to be the same |
| 18:45:19 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 18:45:23 | <tomsmeding> | but at the cost of the tuple elements necessarily being Ts |
| 18:45:39 | <tomsmeding> | or something that I can compute the v from, by type family |
| 18:45:40 | <hellwolf> | I was trying to modify your example, but my PTSD stopped me |
| 18:45:45 | <tomsmeding> | heh |
| 18:45:47 | <hellwolf> | yea..... |
| 18:45:50 | <hellwolf> | here we go |
| 18:46:08 | <tomsmeding> | well how do you do it with your :* thing |
| 18:46:18 | <hellwolf> | so, sometimes GHC doesn't even bother to resolve a type varibable, if it didn't matter |
| 18:46:18 | <tomsmeding> | because you have the same problem there of needing to make the vs equal |
| 18:46:34 | <hellwolf> | I mean, it works! |
| 18:46:39 | <hellwolf> | I don't know. |
| 18:46:44 | <hellwolf> | I don't know anything today anymore |
| 18:46:56 | <tomsmeding> | hellwolf: if I add 'Show v =>' to the context of 'ver', GHC does resolve v |
| 18:46:58 | <tomsmeding> | funny |
| 18:47:23 | <hellwolf> | interesting |
| 18:47:25 | <tomsmeding> | (I explicitly choose Show here, and not Num, because Num has defaulting behaviour and I don't want any defaulting here) |
| 18:47:50 | <tomsmeding> | it's the (+) here that forces the arguments to have the same type |
| 18:48:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:48:06 | <hellwolf> | it's probably easier if I recreate that failed example in a branch, and if you will have time have a look, another day. |
| 18:48:12 | <tomsmeding> | probably |
| 18:48:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:48:32 | <hellwolf> | I had high hope with my plan yeasterday :D |
| 18:48:39 | <hellwolf> | I thought I got injectivity figured out |
| 18:49:36 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:50:06 | <hellwolf> | but maybe your applyTupFun is doing some wonder here |
| 18:50:11 | <tomsmeding> | it isn't |
| 18:50:18 | <hellwolf> | :p, alright... |
| 18:50:23 | <tomsmeding> | it _might_ be that I'm using a type class and not a type family |
| 18:50:35 | <tomsmeding> | because I don't see how you can actually use that tuple if all you have is a type family |
| 18:50:57 | <tomsmeding> | (as in: you can perhaps introduce the correct type constraints using type families, but you also need to get the values from the tuple somehow, presumably) |
| 18:51:23 | <tomsmeding> | applyTupFun is just a placeholder for "use the tuple and the function somehow" |
| 18:51:43 | <hellwolf> | https://github.com/yolc-dev/yul-dsl-monorepo/blob/master/hs-pkgs/simple-sop/src/Data/TupleN.hs |
| 18:51:46 | <hellwolf> | template haskell |
| 18:51:56 | <hellwolf> | fromNPtoTupleN |
| 18:52:03 | <tomsmeding> | oof |
| 18:52:18 | <tomsmeding> | oh you've commented what it expands to |
| 18:52:22 | <hellwolf> | yea |
| 18:52:26 | <tomsmeding> | thank you |
| 18:52:34 | <hellwolf> | I thank myself too for that |
| 18:52:41 | <tomsmeding> | the TH is only to be able to write large stuff without having to repeat yourself? |
| 18:52:58 | <hellwolf> | and to practice my TH skill |
| 18:53:22 | <tomsmeding> | this stuff https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Show.html#line-251 |
| 18:53:33 | <tomsmeding> | there was worse somewhere |
| 18:53:52 | <hellwolf> | Generate code with bash is not that bad |
| 18:53:56 | <tomsmeding> | yeah here we go https://hackage.haskell.org/package/ghc-prim-0.13.0/docs/src/GHC.Tuple.html#Tuple0 |
| 18:54:17 | <hellwolf> | I know, but honestly, it's not bad. |
| 18:54:18 | <int-e> | . o O ( As I keep saying, don't repeat yourself. ) |
| 18:54:34 | <tomsmeding> | if it's simple like this, it's indeed not so bad |
| 18:54:38 | <hellwolf> | you can easily put the oneliner bash into the comments. |
| 18:54:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 18:55:09 | <tomsmeding> | so is this working or non-working code? |
| 18:55:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:55:56 | <hellwolf> | it compiles |
| 18:56:09 | <tomsmeding> | but inference is bad? |
| 18:56:25 | <hellwolf> | yea, let me show some snippets then, since we are sitll here. |
| 18:56:41 | <tomsmeding> | you said you'd leave this twice already |
| 18:56:43 | <tomsmeding> | :p |
| 18:56:53 | <hellwolf> | yea, because you are helping :D |
| 18:57:00 | <hellwolf> | and my wife hasn't come to pick me up yet |
| 18:57:08 | <tomsmeding> | I'm just procrastinating on thesis writing |
| 18:57:08 | <hellwolf> | "NP (Rv v r) (x:xs) ->" |
| 18:57:14 | <hellwolf> | we both are |
| 18:57:23 | <hellwolf> | I am using NP atm |
| 18:57:27 | <hellwolf> | Ideally, I want to do this: |
| 18:57:52 | <hellwolf> | "TupleN_M (Rv v r) (x:xs)" |
| 18:58:07 | <hellwolf> | NP (Rv v r) (x:xs) -> |
| 18:58:07 | <hellwolf> | (NP m2 (x:xs) -> m2 (TupleN (b:bs))) -> |
| 18:58:07 | <hellwolf> | YLVM v v r (Ur (TupleN_M m1 (b:bs))) |
| 18:58:13 | <hellwolf> | sorry, tooo much context. |
| 18:58:42 | <hellwolf> | you know what I remember now, tuple for (x:xs) worked |
| 18:58:50 | <hellwolf> | so your example was correct, and I got it working |
| 18:58:57 | <hellwolf> | but the inference of (b:bs) was not working |
| 18:59:46 | <hellwolf> | this is the working example, but I had an non-working example, where it was a n-ary "f" in the second argument |
| 19:00:00 | <hellwolf> | "(NP m2 (x:xs) -> m2 (TupleN (b:bs)))" is 2-ary, where b:bs is cearly inferred |
| 19:00:02 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:03 | <hellwolf> | so it works. |
| 19:00:03 | × | Shsl-Junko-POSER quits (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
| 19:00:05 | <tomsmeding> | yeah I'd need a specific non-working example at this point |
| 19:00:09 | <hellwolf> | I know. |
| 19:00:34 | <hellwolf> | but I think I wasted your time. TupleN for (x:xs) I got it working fine. |
| 19:00:39 | <hellwolf> | it was the b, in the end. |
| 19:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 19:00:47 | <hellwolf> | I just couldn't remember anymore. |
| 19:00:52 | <tomsmeding> | it's ok |
| 19:01:09 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 248 seconds) |
| 19:01:10 | <tomsmeding> | I've been there too :D |
| 19:03:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:03:10 | <hellwolf> | so, imagine the second argument is a (x1 -> x2 -> ... -> b) |
| 19:03:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:03:23 | <hellwolf> | where I have another silly type family called Function |
| 19:03:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:03:38 | <hellwolf> | I think the bug is there, it doesn't infer "b" easily from backward |
| 19:03:43 | <hellwolf> | "bug" |
| 19:04:01 | <tomsmeding> | right -- I was going to ask, "how do I imagine a thing that isn't valid haskell syntax" |
| 19:04:15 | <tomsmeding> | because sure you can encode that, but exactly how you encode that is precisely the important bit here :p |
| 19:04:56 | <hellwolf> | :p |
| 19:04:56 | <hellwolf> | type family LiftFunction f (m :: Type -> Type) (mb :: Type -> Type) (p :: Multiplicity) where |
| 19:04:56 | <hellwolf> | LiftFunction (x1 -> g) m mb p = m x1 %p-> LiftFunction g m mb p |
| 19:04:56 | <hellwolf> | LiftFunction (b) _ mb _ = mb b |
| 19:05:10 | tomsmeding | also doesn't see how "n-ary function" meshes with "I want the tuple to be a standard tuple" |
| 19:05:14 | <tomsmeding> | because tuples are not n-ary |
| 19:05:33 | <tomsmeding> | oh hm |
| 19:05:48 | <hellwolf> | I realized today that maybe I am asking too much syntax sugar for an EDSL |
| 19:05:50 | <tomsmeding> | the n comes from the tuple but you want to post-process the function type somehow |
| 19:05:53 | <tomsmeding> | ? |
| 19:05:58 | <hellwolf> | maybe users of an EDSL just need to use esoteric syntax. |
| 19:06:23 | <tomsmeding> | ghc doesn't know here that b is not a function type I think |
| 19:06:34 | <tomsmeding> | or at least, it's a problem that I can see happening |
| 19:06:54 | <hellwolf> | I see, interesting |
| 19:07:01 | <tomsmeding> | applying a type family to a function type to modify its argument and result types is generally a bad idea |
| 19:07:02 | <hellwolf> | I actually know the solution to that particular problem |
| 19:07:12 | <tomsmeding> | because you need to know already beforehand that the result type is _not_ a function for it to work |
| 19:07:37 | <tomsmeding> | can you instead modify the list of argument types before they get stuffed into a chain of (->)? |
| 19:08:35 | <hellwolf> | would that become a different function with wrong associatetivty ? (x1 -> x2 -> x3 ...) -> b |
| 19:08:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:08:58 | <tomsmeding> | no, what I mean is that ghc may not be able to choose which of the two equations of LiftFunction applies |
| 19:09:07 | <tomsmeding> | because ghc needs to be able to prove that equation 1 doesn't apply before moving on th equation 2 |
| 19:09:09 | <tomsmeding> | *on to |
| 19:09:21 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 19:09:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:09:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:10:11 | <tomsmeding> | in accelerate, function types are also used as a stand-in for type level lists and mapped over in some ways |
| 19:10:13 | <tomsmeding> | it's always messy |
| 19:10:25 | <tomsmeding> | mapping over an _actual_ type level list is just, well, normal |
| 19:10:33 | <hellwolf> | I think the trick I use is to add a constraint: LiftFunction b ~ b |
| 19:10:36 | <hellwolf> | something like this |
| 19:10:39 | <hellwolf> | I have this in few places |
| 19:10:41 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 19:10:54 | <hellwolf> | it forces it to check if it is NOT a function type any more |
| 19:11:02 | <tomsmeding> | I don't know if this is the problem you have here |
| 19:11:18 | <tomsmeding> | but it tickles my intuition because this stuff can stop type information from progressing |
| 19:11:54 | <hellwolf> | I see, maybe indeed there is something there I need to be careful |
| 19:12:12 | <tomsmeding> | in particular, LiftFunction is _not_ injective |
| 19:12:21 | <hellwolf> | type family CurryNP np b where |
| 19:12:21 | <hellwolf> | CurryNP (NP _ '[]) b = b |
| 19:12:21 | <hellwolf> | CurryNP (NP m (x:xs)) b = x -> CurryNP (NP m xs) b |
| 19:12:28 | <hellwolf> | I could recreate function signature in reverse |
| 19:12:34 | <hellwolf> | not sure if it would make a difference |
| 19:12:44 | <tomsmeding> | can you apply a LiftFunction-like thing _before_ doing CurryNP? |
| 19:12:49 | <tomsmeding> | so that you map over a list instead of a function type |
| 19:13:12 | <tomsmeding> | then LiftFunction could perhaps be injective |
| 19:13:15 | <hellwolf> | I think so, it's in my TF clauset |
| 19:13:39 | <hellwolf> | closet |
| 19:13:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 19:13:49 | tomsmeding | . o O ( TensorFlow ) |
| 19:14:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:14:31 | <EvanR> | k I'm about to do something stupid, if you have a column of length N, and an empty table ... of length not N, then it's going to stop you from consing the column onto the table xD |
| 19:14:46 | <EvanR> | by empty table I mean no columns |
| 19:15:02 | <tomsmeding> | is the table a column of rows, or a row of columns |
| 19:15:19 | <EvanR> | it's a matrix! |
| 19:15:32 | <tomsmeding> | a C matrix or a Pascal matrix |
| 19:16:10 | <EvanR> | graphical linear algebra matrix, I guess. Which is going to be annoying without something like a dependent type system |
| 19:16:34 | tomsmeding | wonders how "consing" and "matrix" go together |
| 19:16:59 | <EvanR> | but my haskell code right now, table = list of rows, and column is a separate thing |
| 19:17:20 | <EvanR> | you can slap a column of the right size on the left side |
| 19:17:32 | <tomsmeding> | by doing `zipWith (:)`? |
| 19:17:42 | <EvanR> | basically |
| 19:19:08 | <EvanR> | I guess I could outlaw no column tables |
| 19:19:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:19:56 | <tomsmeding> | or store the matrix size separately from its contents so that you can check sizes |
| 19:20:13 | <tomsmeding> | data Matrix a = Matrix (Int, Int) (Vector a) |
| 19:20:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:20:34 | <EvanR> | I have that and am envisioning user frustration with no being able to do this operation on "the empty table" which is 0 x 0 |
| 19:20:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:20:55 | <tomsmeding> | then you can special-case that :p |
| 19:21:01 | <EvanR> | uhg |
| 19:21:02 | <tomsmeding> | if it's runtime values, you're in control |
| 19:21:35 | <tomsmeding> | but wanting to cons an n-long vector onto a 0x0 table to get a 1xn table sounds like python, not haskell |
| 19:21:43 | <EvanR> | ikr |
| 19:21:53 | <EvanR> | not doing it |
| 19:21:54 | <tomsmeding> | this is the kind of stuff that tensorflow does |
| 19:22:48 | tomsmeding | has had to fix student-written tensorflow code that horribly confused zero-dimensional arrays and length-1 1-dimensional arrays everywhere |
| 19:23:06 | <tomsmeding> | worse, it wasn't tensorflow code, it was code that _generated_ tensorflow code, as a compiler backend |
| 19:23:07 | <EvanR> | haha |
| 19:23:34 | <tomsmeding> | if TF had enforced proper shape discipline a whole bunch of strange errors could never even have occurred because stuff wouldn't have typechecked |
| 19:24:38 | <EvanR> | now I'm wondering if it's simpler to have "bizarre" "proper" 0xN tables, or to make the rows NonEmpty |
| 19:24:49 | <EvanR> | i mean, which is more complicated |
| 19:24:56 | <tomsmeding> | complicated for you or for the user |
| 19:25:00 | <EvanR> | me |
| 19:25:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:25:26 | <tomsmeding> | allowing 0xN has fewer edge-cases because [0..]x[0..] is all allowed |
| 19:25:55 | <tomsmeding> | otherwise you have [1..]x[1..] \union {0x0} |
| 19:26:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:26:21 | <EvanR> | 0x0 would be out |
| 19:27:01 | <tomsmeding> | [1..]x[1..] allows you to compute the shape from the contents, if the contents is nested lists |
| 19:27:09 | <tomsmeding> | (condolences for your performance if so) |
| 19:27:17 | tomsmeding | would allow 0x0 |
| 19:28:07 | <EvanR> | 00, the best bet on the board |
| 19:28:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 19:28:41 | <EvanR> | 0xN it is |
| 19:28:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:31:39 | → | pavonia joins (~user@user/siracusa) |
| 19:32:36 | <EvanR> | stupid question, is N the number of rows there |
| 19:32:47 | <EvanR> | from context yes but conventionally |
| 19:34:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:34:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:35:13 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:35:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:35:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:35:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 19:36:04 | <tomsmeding> | are you doing graphics or math :p |
| 19:36:25 | <tomsmeding> | math has "height x width" as notational convention |
| 19:36:56 | <tomsmeding> | I chose randomly from 0xN and Nx0 because I was too lazy to think about it |
| 19:37:05 | <EvanR> | yeah that's what I'm gonna do |
| 19:37:11 | <EvanR> | let me get the RNG out |
| 19:38:07 | <EvanR> | the math definition fails when the table is flat get it |
| 19:38:14 | <tomsmeding> | hm? |
| 19:38:29 | <EvanR> | because it has zero height |
| 19:38:47 | <tomsmeding> | 0xN is a perfectly valid matrix size in math |
| 19:38:57 | <tomsmeding> | if a bit unusual |
| 19:39:14 | <tomsmeding> | represents linear functions from R^N to R^0 |
| 19:39:57 | <EvanR> | no you see, if the table only has width and depth, is horizontal on a flat plane |
| 19:39:58 | <tomsmeding> | of which there is only one (that sends all elements of R^n to 0), corresponding nicely to the unique element of R^{0xN}, an empty matrix |
| 19:40:15 | <EvanR> | like a damn table |
| 19:40:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:41:05 | <tomsmeding> | π |
| 19:41:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:42:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:42:33 | <EvanR> | it is apparently tricky to find a stock image of a table... on a table... |
| 19:42:53 | <tomsmeding> | try to get AI to generate it |
| 19:43:42 | <EvanR> | my AI skills are neophyte-like |
| 19:43:56 | <tomsmeding> | that's why I asked you, mine are worse |
| 19:44:55 | → | Guest65 joins (~Guest75@38.158.225.122) |
| 19:44:58 | <EvanR> | but I will strive to learn an ascii cast ish thing soonish so I can show off what I got |
| 19:45:48 | <tomsmeding> | well it's not a... table? but it's something |
| 19:46:02 | <tomsmeding> | https://tomsmeding.com/vang/xjdXHX/Untitled.jpg |
| 19:46:09 | <tomsmeding> | credits stable diffusion |
| 19:46:55 | <Rembane> | A diffuse table! |
| 19:47:11 | <tomsmeding> | a diffuse stable, rather |
| 19:47:13 | <Rembane> | Can you ask it to go more Escher? |
| 19:47:21 | <Rembane> | Yes, it's very stable, many legs |
| 19:47:23 | <EvanR> | always fun to see wtf it generates for text on a page |
| 19:47:45 | <Rembane> | Stability is a function of number of legs, right? |
| 19:48:01 | <tomsmeding> | adding Escher made it a... metro map? https://tomsmeding.com/vang/FAbSVV/Untitled.jpg |
| 19:48:18 | <Rembane> | I love the random frame on the floor |
| 19:48:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:48:24 | <Rembane> | It's just there for decoration |
| 19:48:28 | <tomsmeding> | yes |
| 19:48:43 | <Rembane> | The map looks a bit like the more advanced parts of USA |
| 19:48:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:48:53 | <Rembane> | Before people got tired and just did a thing with aruler |
| 19:49:53 | <EvanR> | I think the thing under the table is the escher part if you try to understand where its going back there |
| 19:50:01 | × | Guest65 quits (~Guest75@38.158.225.122) (Quit: Client closed) |
| 19:50:22 | <tomsmeding> | https://tomsmeding.com/vang/s5Xsxf/Untitled.jpg this is "a table of results on top of a drafting table, line-drawing style" |
| 19:50:24 | <EvanR> | it's probably part of the table proper, one big piee |
| 19:50:25 | <EvanR> | piece |
| 19:50:29 | → | Guest4 joins (~Guest75@38.158.225.122) |
| 19:50:44 | <tomsmeding> | the "line-drawing" just didn't influence the style, but became a separate drawing |
| 19:51:06 | <EvanR> | is that real language |
| 19:51:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:51:33 | <tomsmeding> | have you never looked at text generated by stable diffusion |
| 19:51:37 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:51:39 | <tomsmeding> | it's always hilarious like this, especially when it actually tries |
| 19:51:54 | <tomsmeding> | it manages "Result", almost, 6x as the headers |
| 19:52:18 | <EvanR> | I can't look at these images for long |
| 19:52:42 | <tomsmeding> | this is 'the word "monomorphism"' https://tomsmeding.com/vang/3N9spa/Untitled.jpg |
| 19:52:47 | <hellwolf> | I couldn't sto pmyself |
| 19:53:03 | <hellwolf> | oh, tom, you already jump to another topic |
| 19:53:11 | <tomsmeding> | the distraction continues |
| 19:53:13 | <hellwolf> | I just came back home, and recreated the error. |
| 19:53:18 | <hellwolf> | if youwant more distractions |
| 19:53:23 | <tomsmeding> | yay |
| 19:53:32 | <EvanR> | monomorphıism |
| 19:53:40 | <EvanR> | oh |
| 19:53:50 | <EvanR> | monomorphisıim |
| 19:53:54 | <tomsmeding> | yes\ |
| 19:54:00 | ← | Guest4 parts (~Guest75@38.158.225.122) () |
| 19:54:02 | <hellwolf> | https://paste.tomsmeding.com/1AsgewaD |
| 19:55:16 | <EvanR> | people use ai generated imagery for stuff, but I wonder if anyone is cutting corners so hard they're using stuff like monomorphisıim xD |
| 19:55:18 | <hellwolf> | https://paste.tomsmeding.com/pyA3ZjDH |
| 19:55:21 | <tomsmeding> | EvanR: 'the words "lambda calculus" written in clouds' https://tomsmeding.com/vang/xQ5iil/Untitled.jpg |
| 19:55:45 | <Rembane> | I love how close it is every time |
| 19:55:56 | <EvanR> | so close |
| 19:56:26 | <hellwolf> | the TupleN_M failed to inject due to v0 in "Rv v0 r (INTx False 32)" |
| 19:56:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:56:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:56:59 | <tomsmeding> | EvanR: there was a paper that did that |
| 19:57:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:57:23 | <hellwolf> | https://paste.tomsmeding.com/B99bWHl8 added TupleN_M |
| 19:57:28 | <tomsmeding> | oh here we go, found by searching for "penis" in MS Teams https://scienceintegritydigest.com/2024/02/15/the-rat-with-the-big-balls-and-enormous-penis-how-frontiers-published-a-paper-with-botched-ai-generated-images/ |
| 19:58:24 | <Rembane> | tomsmeding: That's how you find the good stuff |
| 19:59:14 | <hellwolf> | alright :p this chat is going haywire |
| 19:59:20 | <tomsmeding> | hellwolf: I'm looking |
| 19:59:51 | <EvanR> | that's a direct answer to my inquiry |
| 20:00:14 | <tomsmeding> | an affirmative one, yes |
| 20:00:23 | <tomsmeding> | though this made the news, so it can't be that common |
| 20:00:48 | <hellwolf> | added "ver" too: https://paste.tomsmeding.com/QYgRs34n |
| 20:01:23 | <hellwolf> | hope that's enough context. gonna ingest some food before I can figure injectivity. |
| 20:01:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 20:01:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:01:58 | <tomsmeding> | hellwolf: odd, injectivity of TupleN_M ought to fix xs0 ~ [y0] at the very least, for unknown y0 |
| 20:03:14 | <hellwolf> | I thought so too, and I was almost proud to TH that 16 or 64 of isntances. |
| 20:04:05 | <tomsmeding> | I seem to be able to reproduce? |
| 20:04:17 | <hellwolf> | huh? |
| 20:04:39 | <tomsmeding> | https://play.haskell.org/saved/XPOw0qzY |
| 20:04:57 | <hellwolf> | nice, mini example |
| 20:05:09 | <hellwolf> | you have clearer mind than mine atm |
| 20:05:43 | <tomsmeding> | oh |
| 20:05:51 | <tomsmeding> | I think I have a lead on what's going on |
| 20:06:25 | <tomsmeding> | (Rv 0 r Char, Rv v r Bool) needs to match (m x1, m x2) for GHC to decide that indeed the TupleN_M equation matches |
| 20:06:34 | <tomsmeding> | but in order for that to work, we need 0 ~ v |
| 20:06:39 | <tomsmeding> | and GHC doesn't know that yet |
| 20:06:56 | <tomsmeding> | so GHC cannot conclude for certain that indeed the second equation of TupleN_M matches |
| 20:07:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:07:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:07:30 | <hellwolf> | :( |
| 20:07:32 | <tomsmeding> | note that the absence of a different candidate equation does not force GHC's hand, because GHC does not assume that any given type equal to the result of a type family application does actually have a pre-image |
| 20:07:47 | <hellwolf> | i think what you said makes sense. |
| 20:07:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:07:59 | <tomsmeding> | in a type class you'd do this by writing `instance (m ~ m') => SomeClass (m x1, m' x2)` |
| 20:08:16 | <tomsmeding> | the point being that this allows GHC to choose the instance already if it doesn't know yet that m equals m' |
| 20:08:27 | <tomsmeding> | and only after GHC has committed to this instance, assert that m ~ m' |
| 20:08:52 | <tomsmeding> | with only a type family, I don't think you can do this directly |
| 20:09:01 | <tomsmeding> | you'd have to generate a constraint from the type family that is to applied afterwards |
| 20:09:25 | tomsmeding | already had a hunch this was going to happen when you began about the vs needing to be equal |
| 20:09:34 | <tomsmeding> | I already had this instance trick ready in my mind for that |
| 20:09:49 | <hellwolf> | if I make TupleN_M a type class, would that work |
| 20:09:58 | hellwolf | don't know what I am talking about yet |
| 20:09:58 | <tomsmeding> | if you use this trick, I think yes |
| 20:12:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:13:22 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:15:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:16:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:18:12 | <tomsmeding> | hellwolf: look at this https://play.haskell.org/saved/Y2hq9vNs |
| 20:18:24 | tomsmeding | is proud of that TypeError trick |
| 20:19:27 | <tomsmeding> | never mind that the syntax highlighting messes ul completely there |
| 20:19:42 | <hellwolf> | oh, I was trying too, derring dinner. |
| 20:19:55 | <hellwolf> | i know why the syntax highlighting problem |
| 20:20:02 | <tomsmeding> | missing 'where' |
| 20:20:02 | <hellwolf> | I didn't report to you |
| 20:20:05 | <hellwolf> | right, yes. |
| 20:21:33 | <tomsmeding> | naturally names are crappy and all that, but it's about the deferred equality assertion trick |
| 20:21:40 | <tomsmeding> | I don't know if this trick has a name |
| 20:21:50 | <hellwolf> | `but it still doesn't work, right? |
| 20:21:58 | <tomsmeding> | well it typechecks |
| 20:22:06 | <tomsmeding> | it doesn't because I used TypeError to show what m and xs are |
| 20:22:13 | <tomsmeding> | and to show that they indeed inferred to the correct types |
| 20:22:27 | <tomsmeding> | if you remove that TypeError (and the failing non-C 'usage') it compiles |
| 20:22:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:22:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:22:54 | <EvanR> | ok ran into the first real issue with 0xN tables |
| 20:22:59 | <EvanR> | saving them to a file xD |
| 20:23:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:23:18 | <tomsmeding> | just write a shape header |
| 20:23:42 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 20:24:34 | <EvanR> | that's actually probably handy for loading the file |
| 20:24:43 | <EvanR> | since you know how many records to expect |
| 20:24:49 | <hellwolf> | hmm, sorry. I thought I needed a way to get TupleN from a type-lee list |
| 20:25:04 | → | nicole joins (ilbelkyr@libera/staff/ilbelkyr) |
| 20:26:20 | <hellwolf> | sh, okay, hm |
| 20:27:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:27:54 | <hellwolf> | fooC :: |
| 20:27:54 | <hellwolf> | ( Rv v r ~ m |
| 20:27:54 | <hellwolf> | , (CTupleN_M (TupleN_M m xs)) |
| 20:27:54 | <hellwolf> | ) => |
| 20:27:54 | <hellwolf> | TupleN_M m xs -> () |
| 20:27:55 | <hellwolf> | fooC = undefined |
| 20:28:06 | <hellwolf> | this now is what I can see how I should use it |
| 20:28:11 | <hellwolf> | time to TH again, tomorrow! |
| 20:28:13 | <hellwolf> | thanks! |
| 20:28:41 | <hellwolf> | https://play.haskell.org/saved/YJdJrdLp |
| 20:28:43 | <tomsmeding> | nesting the class and the type family like that is scary again re type inference |
| 20:29:39 | <hellwolf> | maybe, but it seems logically clear |
| 20:30:12 | <hellwolf> | it is to use type class to "inject" equality check in the unification process. if i am using the terminology correclty |
| 20:30:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:30:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:30:55 | <tomsmeding> | oh I misread that type |
| 20:31:12 | <hellwolf> | TIL |
| 20:31:15 | <tomsmeding> | hellwolf: note that because you put the type family as the argument again, that won't work if the type family has (m x1, m x2) |
| 20:31:41 | <tomsmeding> | because then m and xs won't be inferred, so the argument to the class won't be inferred, so no instance will be selected, so nothing happens |
| 20:31:42 | <hellwolf> | https://play.haskell.org/saved/WRQFmhg1 <-- isn't it what I am doing here? |
| 20:31:56 | <tomsmeding> | oh |
| 20:32:05 | <tomsmeding> | neat, ghc is clever |
| 20:32:13 | <hellwolf> | all checks nicely, and I can use it in code as it is already |
| 20:32:22 | <hellwolf> | my day gets better again. |
| 20:32:26 | <tomsmeding> | I guess it sees `TupleN_M m xs ~ (Rv 0 r Char, Rv v r Bool)`, and uses that to rewrite the CTupleN_M constraint |
| 20:32:42 | <hellwolf> | I hope it won't get broken in future GHC! |
| 20:32:42 | <tomsmeding> | and solve, and obtain the m equality, dedice the 0 ~ v equality, and proceed to reduce the type family |
| 20:32:57 | <tomsmeding> | no this stuff is stable and old |
| 20:32:59 | <hellwolf> | type family is the last step. |
| 20:33:02 | <hellwolf> | I hope |
| 20:33:12 | <tomsmeding> | hellwolf: I can remove the `Rv v r ~ m` constraint and it still typechecks |
| 20:33:30 | <tomsmeding> | though that is perhaps because `value` already has it known |
| 20:33:38 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 20:33:43 | <hellwolf> | yea, I think in actual code I need that |
| 20:33:51 | <hellwolf> | that v is used in other type |
| 20:34:00 | <hellwolf> | in this example, it doesn't matter |
| 20:34:14 | <tomsmeding> | hellwolf: 99.9% sure that if this kind of equality reasoning breaks in a future ghc version, that's a P1 bug |
| 20:34:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 20:34:23 | <tomsmeding> | ah |
| 20:34:29 | <hellwolf> | that's a relief to hear |
| 20:34:43 | <tomsmeding> | with polymorphism and impredicativity in the picture, things are more murky |
| 20:34:46 | <hellwolf> | GHC is a glorious piece of engineering |
| 20:35:03 | <tomsmeding> | but this is basic usage of type families and type classes |
| 20:35:29 | <tomsmeding> | it's complicated -- GHC has a lot of logic to make this all work -- but it's basic functionality that has been expected to work, I think, since type families were there |
| 20:36:11 | <tomsmeding> | hellwolf: you don't even need the MonadOf and XsOf in this example |
| 20:36:41 | <tomsmeding> | I wonder whether it's better to do this or to do `fooC :: (MonadOf t ~ m, CTupleN_M t) => t -> ()` |
| 20:37:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:37:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:38:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:40:32 | × | jespada quits (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 20:41:30 | → | gutp joins (~gutp@2a0b:6204:d496:1600:c6cf:6655:1de0:a31b) |
| 20:41:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:42:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:43:02 | → | jespada joins (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) |
| 20:45:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:46:24 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 20:46:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:47:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:50:06 | × | gutp quits (~gutp@2a0b:6204:d496:1600:c6cf:6655:1de0:a31b) (Quit: gutp) |
| 20:52:10 | → | gutp_md joins (~gutp_md@2a0b:6204:d496:1600:c6cf:6655:1de0:a31b) |
| 20:53:13 | <gutp_md> | < |
| 20:53:19 | ← | gutp_md parts (~gutp_md@2a0b:6204:d496:1600:c6cf:6655:1de0:a31b) () |
| 20:53:20 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 20:53:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:53:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:56:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:15 | <hellwolf> | new TH function to learn if I do that. |
| 20:59:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:00:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:01:14 | <EvanR> | alrighty then |
| 21:01:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:01:41 | <EvanR> | now I can load a 0x10 table and proceed to drop rows to make it 0x9 or 0x8 etc |
| 21:01:52 | <hellwolf> | class TupleNWithSameM tpl |
| 21:01:52 | <hellwolf> | ... |
| 21:01:52 | <hellwolf> | instance (m1 ~ m2, m2 ~ m3) => TupleNWithSameM (m1 x1, m2 x2, m3 x3) |
| 21:02:07 | <hellwolf> | this works magic already, Tom, great success. Very easy TH to write, too. |
| 21:03:07 | <hellwolf> | now let's fight the issue of variable "b" |
| 21:04:46 | → | weary-traveler joins (~user@user/user363627) |
| 21:06:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:06:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:09:40 | → | notzmv joins (~daniel@user/notzmv) |
| 21:12:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:12:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:13:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:17:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:19:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:19:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:20:30 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:22:47 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 21:26:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:26:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:27:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:28:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:29:54 | × | sprotte24 quits (~sprotte24@p200300d16f0a64003d98b99ac0239694.dip0.t-ipconnect.de) (Quit: Leaving) |
| 21:30:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:31:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:32:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:34:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:34:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:41:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:41:58 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:42:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:43:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:45:34 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:46:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:47:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:48:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:49:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:52:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:54:11 | <hellwolf> | Ur newAmount <- ywithrv_1' (balanceBefore, ver amount) \(x, y) -> x + y |
| 21:54:16 | <hellwolf> | okay, now it's acceptable |
| 21:54:18 | <hellwolf> | :) |
| 21:54:20 | <hellwolf> | GN |
| 21:54:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:55:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:56:17 | → | Square joins (~Square4@user/square) |
| 21:59:24 | × | Square3 quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 21:59:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:01:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:04:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:08:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:09:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:10:10 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
| 22:11:42 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 22:12:23 | × | davl quits (~davl@207.154.228.18) (Read error: Connection reset by peer) |
| 22:12:44 | → | davl joins (~davl@207.154.228.18) |
| 22:14:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:14:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:15:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:18:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:18:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:20:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:20:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:22:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:22:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 22:24:22 | <Square> | Anyone know how to bypass "Internal error when trying to open a repl for the package fake-package-0. The package is not in the set of available targets for the project plan, which would suggest an inconsistency between readTargetSelectors and resolveTargets" |
| 22:25:12 | <Square> | when issuing "cabal repl" in a multi module project? Filed here among other places https://github.com/haskell/cabal/issues/9983 |
| 22:25:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:25:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:28:07 | <int-e> | this suggests that you're supposed to also provide a package name for loading into the repl |
| 22:29:41 | <Square> | Yeah, easy to figure out. I'll try to onboard some colleagues into haskell land next week so i hoped I could offer a more user friendly experience. |
| 22:31:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:32:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:32:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:33:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:36:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:36:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:38:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:42:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:42:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:48:06 | → | athan joins (~athan@syn-173-042-095-241.biz.spectrum.com) |
| 22:50:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:50:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:51:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:52:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:53:43 | × | athan quits (~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!) |
| 22:57:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:57:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:58:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:01:14 | × | xff0x quits (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 245 seconds) |
| 23:03:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:04:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:05:40 | → | xff0x joins (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) |
| 23:07:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:11:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:12:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:18:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:18:04 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 23:18:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:22:39 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 23:23:20 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:23:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:25:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:25:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:28:10 | × | notzmv quits (~daniel@user/notzmv) (Remote host closed the connection) |
| 23:28:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:30:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:31:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:32:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:33:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:36:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 23:39:37 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:43:36 | → | tolgo joins (~Thunderbi@199.115.144.130) |
| 23:46:59 | × | tolgo quits (~Thunderbi@199.115.144.130) (Client Quit) |
| 23:47:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:48:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:48:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:52:14 | × | acidjnk quits (~acidjnk@p200300d6e71c4f686104470de4bb3da9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:52:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:56:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:56:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
All times are in UTC on 2025-05-22.