Logs on 2025-05-23 (liberachat/#haskell)
| 00:02:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:03:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:03:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:04:44 | × | jespada quits (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:08:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:08:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:16:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:16:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:19:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:21:51 | → | djmetzle joins (~djmetzle@syn-141-126-079-209.res.spectrum.com) |
| 00:22:10 | × | djmetzle quits (~djmetzle@syn-141-126-079-209.res.spectrum.com) (Changing host) |
| 00:22:10 | → | djmetzle joins (~djmetzle@user/djmetzle) |
| 00:22:38 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:22:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:23:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:23:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:28:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:28:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:29:45 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 00:30:01 | → | gorignak joins (~gorignak@user/gorignak) |
| 00:31:09 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 00:34:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:35:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:35:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:35:45 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 00:39:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:40:11 | → | olivial joins (~benjaminl@user/benjaminl) |
| 00:41:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:41:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:49:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:49:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:50:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:51:39 | → | craunts7 joins (~craunts@136.158.8.87) |
| 00:51:58 | × | craunts7 quits (~craunts@136.158.8.87) (Client Quit) |
| 00:52:51 | → | craunts7 joins (~craunts@136.158.8.87) |
| 00:53:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:56:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:57:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:57:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:03:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:04:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:06:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:07:00 | → | mange joins (~user@user/mange) |
| 01:10:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:10:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:11:27 | × | xff0x quits (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 252 seconds) |
| 01:13:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:14:02 | × | df quits (~ben@justworks.xyz) (Ping timeout: 252 seconds) |
| 01:14:16 | → | df joins (~ben@justworks.xyz) |
| 01:18:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:19:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:24:35 | → | 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:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:26:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:29:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:31:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:31:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:39:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:39:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:40:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:45:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:46:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:46:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:52:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:53:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:56:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:59:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:59:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:01:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:05:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:05:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:06:04 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 02:06:54 | → | polykernel joins (~polykerne@user/polykernel) |
| 02:09:16 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:10:05 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:11:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:12:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:13:19 | → | poscat joins (~poscat@user/poscat) |
| 02:13:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:17:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:17:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:17:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:23:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:23:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:25:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:27:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:28:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:28:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:33:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:33:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:34:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:38:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 02:41:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:42:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:43:14 | → | philopsos joins (~caecilius@user/philopsos) |
| 02:44:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:48:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:48:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:51:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:52:15 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 02:53:04 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 02:53:30 | → | pierrot joins (~pi@user/pierrot) |
| 02:54:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:54:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:57:33 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 02:57:52 | → | EvanR joins (~EvanR@user/evanr) |
| 03:02:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:02:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:08:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:10:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:13:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:14:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:15:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:21:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:22:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:25:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:27:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:28:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:29:04 | → | aforemny joins (~aforemny@2001:9e8:6ce6:ef00:2fd7:e80c:fba:7604) |
| 03:29:33 | × | aforemny_ quits (~aforemny@2001:9e8:6cc7:2b00:37c8:f56f:dea9:2687) (Ping timeout: 276 seconds) |
| 03:30:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:34:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:34:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:35:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:35:52 | × | codedmart quits (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 03:36:09 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 03:41:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:41:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:41:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:42:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 03:46:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:46:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:48:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:48:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:54:11 | → | michalz joins (~michalz@185.246.207.203) |
| 03:56:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 03:57:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:58:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:58:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:02:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:06:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:06:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:12:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:12:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:13:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:14:27 | → | tavare joins (~tavare@150.129.88.189) |
| 04:14:28 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 04:14:28 | → | tavare joins (~tavare@user/tavare) |
| 04:18:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:20:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:20:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:24:01 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:27:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:27:17 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 04:27:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:28:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:32:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:33:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:33:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:39:45 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 276 seconds) |
| 04:39:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:40:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:44:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:44:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:44:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:44:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:48:10 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 04:49:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:51:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:52:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:53:44 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 04:56:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 04:56:32 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 04:56:46 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 04:56:59 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 05:00:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:00:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:00:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:05:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:07:07 | × | 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:09:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 05:10:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:11:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:14:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:16:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:20:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 05:20:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:23:37 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 05:27:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:27:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:28:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:33:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:34:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:34:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:40:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:40:45 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 05:41:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:44:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:45:06 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:46:51 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 05:49:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:49:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:51:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:56:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:57:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:01:23 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 06:02:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:03:27 | → | iteratee_ joins (~kyle@199.119.84.78) |
| 06:03:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:03:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:04:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 06:06:13 | × | iteratee quits (~kyle@199.119.84.78) (Ping timeout: 248 seconds) |
| 06:07:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:08:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:08:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:09:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:10:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:12:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:12:41 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:16:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
| 06:16:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:16:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:17:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:17:21 | × | j0lol quits (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 06:17:35 | → | j0lol joins (~j0lol@132.145.17.236) |
| 06:18:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:22:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:23:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:24:35 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:27:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:28:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:29:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:32:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 06:32:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:35:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:35:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:41:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:41:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:43:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:47:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:47:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:48:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:51:14 | × | craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 06:51:28 | → | craunts7 joins (~craunts@136.158.8.87) |
| 06:51:45 | × | craunts7 quits (~craunts@136.158.8.87) (Client Quit) |
| 06:52:12 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 06:52:35 | → | craunts7 joins (~craunts@136.158.8.87) |
| 06:54:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:55:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:58:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:59:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:39 | → | caconym7 joins (~caconym@user/caconym) |
| 07:01:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:02:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:04:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:04:43 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 07:09:33 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 07:09:52 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:10:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:10:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:10:47 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 07:11:43 | → | remedan joins (~remedan@ip-94-113-89-193.bb.vodafone.cz) |
| 07:13:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:13:23 | <tomsmeding> | hellwolf: yay :) |
| 07:13:28 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 07:15:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:15:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:18:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:23:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:23:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:23:49 | <Leary> | Is there a good reason why, if I have e.g `t :: (,) _ _`, GHC can't give me `t ~ '(,) _ _`? How dangerous is it for me to magic up such an equality? |
| 07:25:23 | <haskellbridge> | <Morj> Omitting Nil also leads to some inconsistencies of functions for 2-tuples and [n>2]-tuples; that's why purescript doesn't omit it |
| 07:25:25 | <haskellbridge> | <Morj> Like should snd be snd = cdr . car or snd = cdr |
| 07:25:25 | <haskellbridge> | <Morj> *car . cdr, well you get it |
| 07:25:25 | <haskellbridge> | <Morj> fromList elements are homogenous though |
| 07:25:25 | <haskellbridge> | <Morj> No fromList [1, "one"] |
| 07:25:25 | <haskellbridge> | <hellwolf> named wildcard |
| 07:25:26 | <haskellbridge> | <hellwolf> check it out |
| 07:25:45 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:26:09 | <haskellbridge> | <hellwolf> perhaps it can help, since that's the only way to provide additional information to wildcard |
| 07:28:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:30:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:30:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:31:41 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 07:31:58 | → | innegatives joins (~user@37.61.112.6) |
| 07:32:14 | <innegatives> | Is there a recommended Haskell video course for absolute beginners? |
| 07:35:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:35:21 | <[exa]> | good question, I started with the written ones |
| 07:35:22 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:35:39 | <[exa]> | lemme check, there's been a good list of resources on haskell wiki |
| 07:36:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:36:38 | <[exa]> | some of stuff here is videos actually https://wiki.haskell.org/index.php?title=Tutorials |
| 07:37:13 | <innegatives> | ok thanks |
| 07:37:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 07:37:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:38:25 | <[exa]> | also maybe here https://wiki.haskell.org/index.php?title=Learning_Haskell |
| 07:39:38 | <[exa]> | btw innegatives are you programming already or is this te first time coding? |
| 07:39:48 | <innegatives> | been programming for 10+ years |
| 07:39:55 | <tomsmeding> | Leary: is t a term or a type? |
| 07:40:10 | <hellwolf> | 05-23 10:39 <innegatives> been programming for 10+ years |
| 07:40:10 | <hellwolf> | which language(s)? |
| 07:40:25 | <innegatives> | the usual, c++, javascript, typescript, go, python, etc |
| 07:40:43 | <Leary> | tomsmeding: type |
| 07:40:48 | <[exa]> | innegatives: unless you totally need videos you might have luck skimming through this https://learnyouahaskell.github.io/, it's a good book but there aren't exercises. But you should be able to invent some. |
| 07:42:39 | <tomsmeding> | Leary: do you mean something specific by writing `(,) _ _` instead of `(a, b)`? |
| 07:42:53 | <[exa]> | oh wow the wiki has a tutorial on tutorials https://wiki.haskell.org/index.php?title=Meta-tutorial |
| 07:43:32 | <Leary> | tomsmeding: No, just avoiding the complexities of quantification/unification etc. |
| 07:44:01 | <Leary> | My "magic" looks like: `matchTup :: forall {k1} {k2} (t :: (k1, k2)) r. (forall (a :: k1) (b :: k2). t :~: '(a, b) -> r) -> r; matchTup k = k (unsafeCoerce (Refl @t))` |
| 07:44:30 | <[exa]> | innegatives: and for a practical programmer, this is indispensable https://wiki.haskell.org/index.php?title=How_to_write_a_Haskell_program |
| 07:44:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:45:02 | → | user3 joins (~user@37.61.120.251) |
| 07:45:09 | → | chele joins (~chele@user/chele) |
| 07:45:16 | <tomsmeding> | Leary: I guess one could say that you're asking: do type-level pairs have an eta law |
| 07:45:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:45:39 | × | innegatives quits (~user@37.61.112.6) (Ping timeout: 276 seconds) |
| 07:46:31 | <tomsmeding> | I don't think GHC ever reasons with eta laws in type checking |
| 07:47:09 | user3 | is now known as innegatives |
| 07:50:39 | <tomsmeding> | innegatives: that "how to write a haskell program" is mostly good but a little outdated |
| 07:51:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 07:52:35 | <tomsmeding> | don't add a Setup.hs; use `cabal build` to build instead of sandbox/install; use `cabal run` to run (also builds automatically) if needed; never run `cabal install` except if you want to globally install a binary in ~/.cabal/bin; you'll need to add dependencies to the `build-depends:` field of the <name>.cabal file (think package.json) |
| 07:53:17 | <tomsmeding> | uploading documentation to hackage is also much simpler than written there, but you'll get there when you get there |
| 07:54:06 | → | __monty__ joins (~toonn@user/toonn) |
| 07:54:39 | <tomsmeding> | the Libraries section is mostly bunk today because it's considered a very bad idea to install libraries globally; you declaratively depend on libraries, and if you need to depend on something that's not on Hackage, use a https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html file (note: <package>.cabal and cabal.project are NOT the same thing, confusingly) |
| 07:55:54 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:56:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:56:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:57:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:58:41 | <haskellbridge> | <sm> innegatives here's a recent list of all the stuff: https://joyful.com/Haskell+map |
| 07:58:53 | <innegatives> | thanks dudes |
| 07:59:45 | <tomsmeding> | [exa]: honestly, https://cabal.readthedocs.io/en/stable/getting-started.html is much less extensive than that guide, but good enough for starting |
| 07:59:49 | <tomsmeding> | innegatives: ^ |
| 07:59:58 | <tomsmeding> | with the advantage that it's actually up to date |
| 08:00:25 | <[exa]> | true |
| 08:00:39 | <tomsmeding> | if you need more than the getting started guide, you'll be in a good enough position to read more |
| 08:01:14 | × | djmetzle quits (~djmetzle@user/djmetzle) (Quit: Client closed) |
| 08:02:50 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 08:02:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:03:12 | <tomsmeding> | added a link to that guide at the top of the wiki page |
| 08:03:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:07:04 | <dminuoso> | [exa]: If possible, I would consider cabal data-files rather than trying to hack them into the binary file. |
| 08:07:07 | <dminuoso> | Via TH |
| 08:09:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:09:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:12:25 | → | Digitteknohippie joins (~user@user/digit) |
| 08:13:08 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 08:13:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:14:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:15:07 | <tomsmeding> | do those work if you do weird things like include a package as a git dependency? |
| 08:15:45 | <[exa]> | dminuoso: yeah I'd love to, the issue is that there's no applicable package installation system on the other end, so in this case I really want to make a blob into the executable to keep stuff simple for the users |
| 08:15:55 | <tomsmeding> | my experience with cabal data files is that they mostly don't work unless you get a package from hackage or install it globally, but maybe things have changed |
| 08:16:08 | <haskellbridge> | <sm> data-files is totally fragile, waste of time IMHO |
| 08:16:30 | <[exa]> | tbh it worked for me on the few occasions I could use it |
| 08:17:22 | <[exa]> | as in, debian packaging can work with it, so you can do a debian package that distributes its own data without touching debtools, which is a win |
| 08:19:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:19:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 08:20:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:21:38 | Digitteknohippie | is now known as Digit |
| 08:22:40 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 08:24:23 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 08:24:23 | → | haritz joins (~hrtz@user/haritz) |
| 08:26:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:26:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:31:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:32:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:32:36 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 08:34:21 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:34:34 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:34:53 | → | haritz joins (~hrtz@152.37.68.157) |
| 08:34:53 | × | haritz quits (~hrtz@152.37.68.157) (Changing host) |
| 08:34:53 | → | haritz joins (~hrtz@user/haritz) |
| 08:35:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:35:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:36:48 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 08:37:09 | <dminuoso> | sm, tomsmeding: Fragility is a problem if you consider hackage to be a realistic package deployment system. |
| 08:37:19 | <dminuoso> | (Or cabal-install + hackage, rather) |
| 08:39:01 | <dminuoso> | It might somewhat accepted a haskell developer audience who dont mind meddling with the usual problems (updating cabal index, fixing build plan issues, waiting half an hour on compiling kmettiverse and all the rest..) |
| 08:39:35 | <dminuoso> | But honestly, when I install shellcheck or pandoc, I just want a binary. |
| 08:40:23 | <dminuoso> | (Or rather, I want my package system to ship with some package that contains all the bits compiled and packaged by someone and somewhere else) |
| 08:40:52 | <tomsmeding> | dminuoso: I trust that data files work if you install a thing from hackage. What I've had problems with in the past is, if I remember correctly, _anything else_ |
| 08:41:16 | <tomsmeding> | if I `cabal run` a test suite, will the library have access to data files? |
| 08:41:27 | <tomsmeding> | if I depend on a package via `source-repository-package`, will that thing have its data files? |
| 08:41:36 | <haskellbridge> | <sm> even in that case, they work on the day you install them, but then your app breaks in future when you upgrade ghc, clean out old .cabal files, etc. |
| 08:42:01 | <dminuoso> | tomsmeding: For any non-trivial package, I dont expect any cabal commands to work. Id expect the git repository to have some described mechanism to set up a deterministic environment. |
| 08:42:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:42:15 | <tomsmeding> | I expect `cabal run` to work. |
| 08:42:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:42:27 | <tomsmeding> | (if the package has an executable) |
| 08:42:28 | <dminuoso> | tomsmeding: Consider GHC, you really want to `nix-shell` or `nix develop` from its repository to do any work |
| 08:42:56 | <tomsmeding> | GHC is a special case that gets allowed its build system madness because it's old and predates cabal |
| 08:43:20 | <dminuoso> | I dont think age is relevant at all. GHC has a complicated staged build process. |
| 08:43:26 | <dminuoso> | It's simply not trivial. |
| 08:43:29 | <tomsmeding> | if you need something that's so complex that even a custom Setup.hs can't handle it, simplify your build process, or justify why you're special |
| 08:43:41 | <dminuoso> | While yes, you probably could rebuild it all in Setup.hs with enough energy.. |
| 08:43:43 | <tomsmeding> | dminuoso: ah right, I forgot about the staged build |
| 08:43:52 | <tomsmeding> | okay staged ghc build gets a pass too |
| 08:44:34 | <tomsmeding> | (i.e. staged build is sufficient justification for being special :p) |
| 08:44:56 | <tomsmeding> | I'm not saying that every haskell codebase everywhere must run with `cabal run`, just that the _vast majority_ has not enough claim to specialness to not do so |
| 08:45:09 | <dminuoso> | Besides, the fragility of data-files by itself is perhaps a good indicator why relying on hackage is not the best of ideas. |
| 08:45:24 | <tomsmeding> | dminuoso: I'm talking about everything _but_ hackage lol |
| 08:45:28 | <dminuoso> | Oh. |
| 08:45:43 | <tomsmeding> | if you get a package from hackage, its data files probably work fine |
| 08:45:51 | <dminuoso> | See, Im building via haskell.nix to get deterministic behavior *and* all the custom nonsense without meddling with Setup.hs :) |
| 08:46:04 | <tomsmeding> | good for you :) |
| 08:46:09 | <dminuoso> | It's still headaches, but honestly there just are no sane build systems in this world. |
| 08:46:17 | <dminuoso> | No it's still bad for me. |
| 08:46:40 | <tomsmeding> | significant non-haskell dependencies that require build steps _might_ also get a pass to need a custom build system |
| 08:47:00 | <tomsmeding> | Accelerate builds some C++ stuff in certain build modes and does so via Setup.hs, but it's fragile |
| 08:47:50 | <tomsmeding> | but my point is: data files are something rather basic, and if they prohibit standard things that I expect to do with cabal packages, then it's data files that are broken, not `cabal run` |
| 08:48:25 | <dminuoso> | I would much prefer text sections in my resulting object files embedded by cabal, rather than as the result of a TH splice. |
| 08:48:28 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 08:48:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:48:44 | tomsmeding | doesn't care very much about that difference |
| 08:48:49 | <dminuoso> | Because with file-embed you're tying a build system into the parsing stage of your compiler... |
| 08:49:00 | <tomsmeding> | there's a philosophical niceness about having data in a separate file on disk from your executable code |
| 08:49:00 | <dminuoso> | What if the content needs to be customizable? |
| 08:49:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:49:08 | <dminuoso> | Are you going to propagate cabal flags via CPP to influence TH? |
| 08:49:39 | <dminuoso> | Or maybe you could generate CPP macros in your Setup.hs which are substitude in the middle of a TH splice |
| 08:49:41 | <dminuoso> | Fun. |
| 08:49:47 | <tomsmeding> | dminuoso: are you advocating for embedding a little programming language in cabal files so that we can move the customisation there? |
| 08:49:56 | <haskellbridge> | <sm> I'm sure justine tunney (cosmopolitan c etc) has solutions! |
| 08:50:10 | <dminuoso> | Well the programming language for build customization is Setup.hs? |
| 08:50:20 | <tomsmeding> | oh I see |
| 08:50:26 | <dminuoso> | Im just suggesting, it would be nice to embed binary data via .cabal rather than TH |
| 08:50:50 | <tomsmeding> | I'm not against |
| 08:50:53 | <sclv> | cabal run is about the only circumstance where datafiles don't just immediately work, and it is something that should be fixed. however, its pretty straightforward to hack around that |
| 08:51:14 | <tomsmeding> | sclv: thanks for confirming my shakey memory about this :p |
| 08:51:17 | <sclv> | eg give the binary a flag to let it read files from a specified directory |
| 08:51:52 | <sclv> | the issue with run is the binary isn't "installed" anywhere, so the datafiles don't get placed in a location the binary knows to look em up in |
| 08:51:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:52:33 | <tomsmeding> | it makes sense from an architectural perspective, but as a user, I mean, the first thing you ever do is essentially `cabal run` https://cabal.readthedocs.io/en/stable/getting-started.html |
| 08:53:06 | <dminuoso> | sclv: So I guess one solution would be to actually install it into some temporary place? |
| 08:53:14 | <dminuoso> | And tear it down afterwards? |
| 08:53:34 | tomsmeding | . o O ( cabal install --lib --package-env=some-dir ) |
| 08:53:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:54:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:56:15 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 08:57:06 | → | pabs3 joins (~pabs3@user/pabs3) |
| 08:59:43 | <tomsmeding> | dminuoso: oh, and re GHC: `hadrian/build -j` works fine, no need for nix |
| 08:59:54 | <tomsmeding> | though I haven't yet tried to get HLS to work |
| 08:59:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:00:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:01:05 | × | innegatives quits (~user@37.61.120.251) (Quit: WeeChat 4.5.2) |
| 09:03:02 | → | ubert joins (~Thunderbi@2a02:8109:abb3:7000:3da1:7dc9:9cd1:6849) |
| 09:07:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:12:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:17:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:18:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:22:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:22:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:25:14 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 09:25:46 | → | haritz joins (~hrtz@152.37.68.157) |
| 09:25:46 | × | haritz quits (~hrtz@152.37.68.157) (Changing host) |
| 09:25:46 | → | haritz joins (~hrtz@user/haritz) |
| 09:30:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 09:30:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:37:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:37:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:39:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:44:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:44:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:51:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:52:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:53:37 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 09:56:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:57:30 | → | omegatron joins (~some@user/omegatron) |
| 09:57:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 09:57:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:58:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 10:04:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:04:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:05:09 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 10:08:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:10:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:11:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:13:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:14:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:14:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 10:14:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:16:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:16:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:18:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 10:19:44 | <tomsmeding> | with tasty, what are the possibilities for programmatically setting a bunch of options on a test suite |
| 10:20:22 | <tomsmeding> | for API purposes, I'd prefer to have a single value that contains possibly multiple options to be set; OptionSet seems perfect, but I can't find a way to have tasty _use_ an OptionSet! |
| 10:20:26 | × | flounders quits (~flounders@24.246.181.22) (Quit: WeeChat 4.6.3) |
| 10:22:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:23:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:24:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:25:06 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 10:26:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:26:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:33:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:33:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:35:19 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:40:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 10:40:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:42:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:42:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:44:44 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 10:45:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:45:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:52:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 10:52:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:52:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:53:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:59:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:59:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:01:59 | → | jespada joins (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) |
| 11:02:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:03:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:04:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:04:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:11:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:11:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:11:44 | <haskellbridge> | <Morj> Are there any ML-like languages targeted at being embedded into other programs? Something like lua, but functional and statically typed and preferably with no braces when calling a function :-) |
| 11:11:46 | <haskellbridge> | <Morj> I looked through the list here: https://github.com/dbohdan/embedded-scripting-languages - but it's just a lot of lisps |
| 11:11:48 | <haskellbridge> | <Liamzee> AI just told me i'm unethical for using it. |
| 11:17:22 | <[exa]> | Liamzee: was it AI tho? I rolled 1d6 and it says certainly not |
| 11:17:25 | → | acidjnk joins (~acidjnk@p200300d6e71c4f25155e18f2fff4c02d.dip0.t-ipconnect.de) |
| 11:18:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:18:23 | <[exa]> | Morj: the usual question is what would you like to do with that language. And "interpreted + no braces when calling a function" leaves you little choice with known design, it's going to be either lisp or hidden lisp |
| 11:18:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:26:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:27:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:30:06 | → | Digitteknohippie joins (~user@user/digit) |
| 11:31:32 | × | Digit quits (~user@user/digit) (Ping timeout: 268 seconds) |
| 11:34:08 | → | ft_ joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 11:35:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:35:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:41:24 | <tomsmeding> | Morj: dhall is one commonly cited option, but it's somewhat idiosyncratic |
| 11:41:32 | ft_ | is now known as ft |
| 11:41:50 | <tomsmeding> | though I guess dhall is made for embedding into Haskell programs, specifically |
| 11:42:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:43:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:50:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:51:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:57:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:57:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:02:28 | <merijn> | tomsmeding: Also it's totality renders it rather unsatisfying for that purpose |
| 12:02:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:02:46 | Digitteknohippie | is now known as Digit |
| 12:02:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:03:14 | <tomsmeding> | depends on the purpose :) |
| 12:03:26 | <tomsmeding> | but yes, that was part of the "idiosyncratic" |
| 12:09:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:09:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:10:24 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 12:15:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:15:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:19:10 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:19:10 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:19:10 | → | haritz joins (~hrtz@user/haritz) |
| 12:21:12 | <hellwolf> | is it common to provide a non-type class function with a constraint alias (usually a lot of constraints) that the function needs? |
| 12:21:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:22:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:25:47 | × | jespada quits (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:26:53 | <[exa]> | hellwolf: "non-type class function" as in "not directly a method" ? |
| 12:27:02 | → | xff0x joins (~xff0x@2405:6580:b080:900:6950:4692:fe46:5eb2) |
| 12:27:17 | <[exa]> | anyway yeah if you have tons of types with the same constraints, a type alias helps. |
| 12:27:19 | <[exa]> | (see Lens) |
| 12:28:00 | → | jespada joins (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) |
| 12:29:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:29:14 | × | jespada quits (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 12:29:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:30:11 | → | jespada joins (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) |
| 12:32:46 | <hellwolf> | yes, not sure how to say it, a funtion that is not a method in a type class |
| 12:33:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:33:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:38:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:38:59 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 12:39:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:39:31 | → | dutchie joins (~dutchie@user/dutchie) |
| 12:40:17 | tomsmeding | is confused how the type class is relevant here |
| 12:40:34 | <tomsmeding> | there is a function that is not a method of the class, and there are some constraints that you may want to alias |
| 12:42:09 | <[exa]> | hellwolf: any concrete example would help I guess |
| 12:42:12 | <hellwolf> | it's only relevant because otherwise you would need to define a singleton instance with undecidableinstances |
| 12:42:29 | <tomsmeding> | ... that makes it even more confusing :p |
| 12:43:26 | <hellwolf> | type HavingALotOfConstraints t f a = ( ... ); f :: HavingALotOfConstraints t f a => t (f a) -> f (t a) |
| 12:43:44 | <hellwolf> | vs. class HavingALotOfConstraints t f a where f :: t (f a) -> f (t a) |
| 12:44:03 | <tomsmeding> | where the second option would have just a single instance? |
| 12:44:05 | <hellwolf> | vs. class ( ... ) => HavingALotOfConstraints t f a where f :: t (f a) -> f (t a) |
| 12:44:18 | <tomsmeding> | the second option is the one that looks very strange |
| 12:44:21 | <hellwolf> | yes, that's what I wanted to ask. why create that instance for no good range. |
| 12:44:36 | <tomsmeding> | if you have a function with many constraints, well, you just have a function with many constraints -- no need to conjure up a class from nothing |
| 12:44:41 | <hellwolf> | ah, yes, using super class constraints to inject constraints |
| 12:44:51 | <hellwolf> | vs. just using a constraints alias |
| 12:45:02 | <tomsmeding> | please don't create a class if no class is necessary |
| 12:45:16 | <tomsmeding> | is there more than one function with that big list of constraints? |
| 12:45:18 | <hellwolf> | yes, hence my question, since I didn't feel it was right |
| 12:45:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 12:45:22 | yin | is now known as zzz |
| 12:45:23 | <tomsmeding> | if so, make an alias; if not, don't |
| 12:45:25 | <hellwolf> | 05-23 15:45 <tomsmeding> is there more than one function with that big list of constraints? |
| 12:45:25 | <hellwolf> | Yes. |
| 12:45:30 | <hellwolf> | then I got my answer. |
| 12:45:33 | <tomsmeding> | :) |
| 12:45:38 | <hellwolf> | I just wanted to know if there is code smells |
| 12:45:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:46:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:48:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:49:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:51:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:54:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:54:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:01:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:01:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:03:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:08:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 13:09:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:09:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:11:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:16:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 13:16:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:16:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:17:47 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:18:49 | <JuanDaugherty> | can a code smell be a fragrance? |
| 13:19:04 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 13:20:46 | <JuanDaugherty> | the nose that dont want no smells prolly wants fragrance-free igess |
| 13:23:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:24:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:27:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:30:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:30:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:37:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:38:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:44:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 13:44:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
| 13:45:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:45:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:46:08 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 13:47:09 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 13:52:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:52:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:57:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:57:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:03:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:04:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:05:53 | <hellwolf> | pleas share |
| 14:05:58 | <hellwolf> | if you found one |
| 14:08:12 | <haskellbridge> | <Morj> [exa]: TCL is interpreted and no braces :D |
| 14:08:12 | <haskellbridge> | <Morj> I'm thinking of a language to create small plugins for a big text processing system |
| 14:08:12 | <haskellbridge> | <Morj> Trying to limit my yak shaving and not creating a new language for that |
| 14:08:12 | <haskellbridge> | <Morj> Oh, I remembered, there is Roc lang! It has braces, but it's pretty functional and has embeddability as a main goal |
| 14:08:14 | <haskellbridge> | <Morj> Scratch Roc, the embedding examples have been removed, and the 3rd party ones I found require compilation of roc source into a library, loading it into the process and calling its functions |
| 14:08:16 | <haskellbridge> | <Liamzee> [exa]: probably not. I also convinced Claude.ai that he was a worker alienated from his labor, and I advertised it as "teaching Claude.ai class consciousness" |
| 14:08:46 | <haskellbridge> | <Liamzee> and promptly got censored off social media |
| 14:11:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:11:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:13:50 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 14:15:01 | × | jespada quits (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 14:16:49 | → | Square3 joins (~Square@user/square) |
| 14:18:00 | → | jespada joins (~jespada@r167-61-145-158.dialup.adsl.anteldata.net.uy) |
| 14:18:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:18:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:23:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 14:24:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:26:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:28:40 | <Leary> | tomsmeding: Re my earlier query: <https://gitlab.haskell.org/ghc/ghc/-/issues/7259>. Unfortunately `data` and `type` families currently allow some wacky nonsense that precludes these eta expansions. :( |
| 14:28:43 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 14:30:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:31:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:36:14 | × | pja quits (~pja@217.155.153.14) (Quit: WeeChat 3.8) |
| 14:38:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:38:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:42:43 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 14:45:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:45:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:50:08 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:51:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:51:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:58:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:58:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:02:27 | <EvanR> | Liamzee, you're such an edgelord |
| 15:05:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 15:05:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:05:34 | <haskellbridge> | <hellwolf> is lord necessarily male, do you assume genders |
| 15:09:05 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:09:14 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:09:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:10:07 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:10:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:13:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:15:39 | <tomsmeding> | Leary: that's a little over my head at the moment :) |
| 15:16:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:16:47 | → | gorignak joins (~gorignak@user/gorignak) |
| 15:16:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:23:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:24:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:30:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:31:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:37:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:37:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:38:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:41:19 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 15:43:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:43:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:44:53 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 15:49:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:50:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:51:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:55:29 | × | acidjnk quits (~acidjnk@p200300d6e71c4f25155e18f2fff4c02d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:56:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:57:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:58:09 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 16:01:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
| 16:02:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:03:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:03:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:09:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 16:11:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:11:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:12:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:18:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:18:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:21:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:22:12 | × | mrmr quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 16:24:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:24:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:25:52 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:26:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 16:28:06 | → | mrmr5 joins (~mrmr@user/mrmr) |
| 16:30:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:31:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:31:52 | <EvanR> | sanity check |
| 16:33:30 | <EvanR> | in parsec's buildExpressionParser parser, you can give it a prefix operator... I gave it a '-' prefix operator with highest precedence. But should this then work or is it misunderstand what it buildExpressionParser does: --x |
| 16:33:33 | <EvanR> | where x is a term |
| 16:33:56 | <EvanR> | should it be Neg (Neg x) |
| 16:34:06 | <EvanR> | (for me it fails) |
| 16:34:17 | <EvanR> | (unexpected '-') |
| 16:34:45 | <EvanR> | - -x also fails same reason |
| 16:34:48 | <EvanR> | -(-x) works |
| 16:35:05 | × | ubert quits (~Thunderbi@2a02:8109:abb3:7000:3da1:7dc9:9cd1:6849) (Quit: ubert) |
| 16:35:47 | <EvanR> | is every operator necessarily followed by a term, that would seem to cripple prefix and postfix |
| 16:36:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:37:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:37:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:38:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:39:21 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:40:25 | → | humasect joins (~humasect@2001:1970:57a4:3900:e093:df8c:aa35:354c) |
| 16:41:19 | × | humasect quits (~humasect@2001:1970:57a4:3900:e093:df8c:aa35:354c) (Remote host closed the connection) |
| 16:41:50 | <EvanR> | ooooooook |
| 16:41:52 | <EvanR> | Prefix and postfix operators of the same precedence can only occur once (i.e. --2 is not allowed if - is prefix negate). |
| 16:42:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:42:32 | × | mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection) |
| 16:42:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:43:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:43:08 | → | Guest22 joins (~Guest49@176.44.80.178) |
| 16:43:26 | × | Guest22 quits (~Guest49@176.44.80.178) (Client Quit) |
| 16:43:58 | → | mceresa joins (~mceresa@user/mceresa) |
| 16:44:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 16:47:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:48:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:49:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:49:26 | → | humasect joins (~humasect@2001:1970:57a4:3900:6d89:238c:88ce:2bc0) |
| 16:50:16 | <hellwolf> | for a MPTC, does GHC specialize an instancde for each variation of one of the parameters? |
| 16:50:47 | <hellwolf> | hmm, dumb question; maybe depends on how the "instance" declarations are made. |
| 16:51:02 | <EvanR> | variation? |
| 16:51:31 | <EvanR> | continuously varying types, like cubical type theory |
| 16:51:46 | <hellwolf> | :p, no much simpler than that |
| 16:51:54 | <hellwolf> | say, a type-level list type |
| 16:52:16 | <hellwolf> | but if the instance is declared inductively over the list type, i guess there will be just two instances: the terminal instance and the inductive one. |
| 16:52:37 | <EvanR> | right |
| 16:52:43 | → | BolzmannPain joins (~BolzmannP@user/BolzmannPain) |
| 16:52:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:53:15 | × | BolzmannPain quits (~BolzmannP@user/BolzmannPain) (Client Quit) |
| 16:54:14 | × | humasect quits (~humasect@2001:1970:57a4:3900:6d89:238c:88ce:2bc0) (Ping timeout: 272 seconds) |
| 16:54:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:55:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:58:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:58:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:58:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:59:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:02:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:02:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:03:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:07:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:08:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:10:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:14:07 | <tomsmeding> | hellwolf: constraints become dictionaries (records); instances become functions |
| 17:14:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:14:24 | <tomsmeding> | an instance with type variables in the head becomes a polymorphic function |
| 17:14:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:14:47 | <tomsmeding> | those functions take the dictionaries to the left of the '=>' and return the dictionary for the class to the right of the '=>' |
| 17:15:27 | <tomsmeding> | so if you do induction on a type-level list with instances in the obvious way, you get two top-level definitions: a function producing a dictionary for '[] and a function taking a dictionary for xs and returning one for x ': xs |
| 17:15:31 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 17:16:32 | <tomsmeding> | instance constraints are fields in the dictionary, so assuming the instance for x:xs has a constraint requiring an instance for xs, then the dictionary you get at runtime will be a linked list mirroring the structure of the type-level list you're inducting over |
| 17:18:13 | <hellwolf> | so there is run-time increase of these dictionaries |
| 17:18:45 | <hellwolf> | *the count of |
| 17:19:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:19:49 | <hellwolf> | One more silly question, do you use gerund or 3rd-parson for a constraint: Having vs Has. |
| 17:20:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:20:26 | tomsmeding | uses Has |
| 17:20:55 | hellwolf | chooses to differentiate then. |
| 17:22:03 | <hellwolf> | (HavingIceCream fridge, HavingSun weather) => instance AGoodDay (fridge, weather) |
| 17:24:34 | → | tromp joins (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
| 17:24:35 | <tomsmeding> | reads oddly to me |
| 17:25:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:26:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:26:54 | <hellwolf> | right. hoogle may agree with you in terms of popularity of two choices. |
| 17:27:20 | <haskellbridge> | <sm> you would get sick of typing Having pretty quick |
| 17:28:35 | <hellwolf> | M-/ |
| 17:28:56 | <hellwolf> | C-x p |
| 17:29:06 | × | prasad quits (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Quit: prasad) |
| 17:29:13 | <hellwolf> | tab-tab-tab as more modern people would do |
| 17:29:47 | <haskellbridge> | <sm> Reading it then :) |
| 17:30:07 | <hellwolf> | :p okay |
| 17:30:08 | <haskellbridge> | <sm> * reading |
| 17:30:17 | <hellwolf> | I will change to Has |
| 17:30:18 | <mauke> | reading :: (Reading it) => it -> () |
| 17:31:04 | <haskellbridge> | <sm> I was trying to think of something shorter, in english or another language, but haven't, other than "Is" |
| 17:31:34 | <hellwolf> | Gramatically, gerund can be a substitute of adjective or non, not a statement. And may constraint are adjective or nouns. |
| 17:31:53 | <hellwolf> | anyways, I will stop this nonsensical pursuit |
| 17:32:00 | <haskellbridge> | <sm> how's your DSL / language going hellwolf |
| 17:32:57 | <hellwolf> | sm: I have been simplifying it a lot, and I am going to dogfood it myself by deploying a production contract using it. |
| 17:32:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:33:03 | <hellwolf> | check this latest example out: https://github.com/yolc-dev/yul-dsl-monorepo/blob/master/examples/demo/src/ERC20.hs |
| 17:33:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:34:44 | <haskellbridge> | <sm> dogfooding++ |
| 17:34:52 | <haskellbridge> | <sm> it's an EDSL I guess |
| 17:34:57 | <hellwolf> | what I am not yet happy is it's too imperative looking, and my idea of having more functional paradigm in it will still take some time. |
| 17:35:17 | <haskellbridge> | <sm> how does it compare to something like Plutus ? |
| 17:35:23 | <hellwolf> | you tell me :) |
| 17:35:52 | <haskellbridge> | <sm> if I knew, I would :) |
| 17:36:17 | <hellwolf> | heh. I think, since it's not a full blown language, I do what I can do: over-optimizing syntax. |
| 17:36:33 | <hellwolf> | but the traversable/applicative/foldable part is actually fun, but I haven't finished |
| 17:36:57 | <hellwolf> | also being able to have some sort of effect handling, instead of current imperative looking code, is my goal too. |
| 17:37:22 | <haskellbridge> | <sm> I imagine haskell is pretty good for EDSLs but there's some unavoidable leakage of complex concepts |
| 17:37:34 | <hellwolf> | I start to realize. |
| 17:37:48 | <hellwolf> | Simple things are more complicated <-- a hurdle to onboarding |
| 17:37:56 | <hellwolf> | Harder things are simpler <-- that takes time |
| 17:38:01 | <haskellbridge> | <sm> nod |
| 17:38:23 | <monochrom> | If we are to split hair on meaningful names, I have my pet peeve too. IMO we should name like "newtype Identity a = IdentityOf { ofIdentity :: a }". |
| 17:38:28 | <haskellbridge> | <sm> plutus too is a haskell EDSL AFAIK |
| 17:38:34 | <hellwolf> | If I compare my current simple example to Solidity code, it's a bit more code. |
| 17:39:21 | <hellwolf> | but I do choose to die on my hill trying to push this data versioning safety feature too. |
| 17:39:35 | <haskellbridge> | <sm> don't die :) |
| 17:39:51 | <hellwolf> | Also, as tom pointed out, I accidentally solved partially the sharing problem with the lineartypes |
| 17:39:53 | → | acidjnk joins (~acidjnk@p200300d6e71c4f256df027c33ba93341.dip0.t-ipconnect.de) |
| 17:40:12 | <hellwolf> | However, if people do pure code without linear types, there is still diagram duplication, unless manually dup diagram outputs. |
| 17:40:27 | <hellwolf> | future topics.. |
| 17:40:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:40:57 | <hellwolf> | I will do a public demo in a conference next tuesday. that's why I am heads down, thinking about gerund vs. 3rd-parson verb form; /sarcarsm. |
| 17:40:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:41:24 | <haskellbridge> | <sm> I wonder if an EDSL based on microhs is an interesting alternative these days |
| 17:41:54 | <hellwolf> | Maybe. If you choose to let your users live with syntactic noise, then I think it's doable. |
| 17:42:16 | <hellwolf> | As I said, I spent way too much time trying to reduce a few letters or symbols. |
| 17:42:25 | <hellwolf> | That will require some GHC features. |
| 17:42:43 | <hellwolf> | I am not sure it's worth it in the end. But I enjoy it, at least. |
| 17:43:27 | <tomsmeding> | sm: my memory tells me that plutus is a ghc plugin |
| 17:43:36 | <haskellbridge> | <sm> for Science! and enjoyment! |
| 17:43:57 | <haskellbridge> | <sm> tomsmeding oh, really |
| 17:44:11 | <hellwolf> | plutus is a templatehaskell thing |
| 17:44:12 | <tomsmeding> | oh it's also template haskell |
| 17:44:14 | <tomsmeding> | https://plutus.cardano.intersectmbo.org/docs/using-plinth/compiling-plinth |
| 17:44:24 | <hellwolf> | most people don't like it, and uses the alternative plutarch |
| 17:44:29 | <hellwolf> | or even now a rust-one |
| 17:44:32 | <tomsmeding> | hellwolf: yeah but the plugin is still involved, if I am to believe these docs |
| 17:44:48 | <tomsmeding> | > Under the hood, it uses addCorePlugin from the template-haskell package to install the plugin into the compilation pipeline. |
| 17:45:00 | <haskellbridge> | <sm> sounds like a hybrid sort of beast |
| 17:45:26 | <tomsmeding> | reading that page, it rather looks like the TH is a bit of a wrapper to facilitate nicer diagnostics, nothing more |
| 17:45:54 | <tomsmeding> | I think plutus at some point takes over, perhaps after Core simplification, and translates to their own IR that they then further compile down |
| 17:46:38 | <hellwolf> | I am always confused, I thought the IR is also called Plutus |
| 17:46:49 | tomsmeding | doesn't know much about that |
| 17:47:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:47:08 | <tomsmeding> | ~all I know is because someone in our group was doing verification of the plutus compiler (by translation validation) |
| 17:47:20 | <tomsmeding> | and then you sometimes hear a bit about how things are structured technically |
| 17:47:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:47:33 | <haskellbridge> | <sm> I have the impression there's more interested in non-haskell full DSLs now like aiken (not surprisingly) |
| 17:47:50 | <hellwolf> | I have a Haskell meetup here. And one person from IOG is doing F/V using Agda. |
| 17:48:37 | <hellwolf> | I had a question to the world: "Now I am not too sure what "the next 700 programming languages" is about: Is it about creating libraries of vocabularies in a expressive host language, or rather, creating a more expressive host language?" |
| 17:48:53 | <haskellbridge> | <sm> * aiken, marlowe etc |
| 17:49:06 | <haskellbridge> | <sm> F/V ? |
| 17:49:15 | <tomsmeding> | formal verification? |
| 17:49:17 | <hellwolf> | aiken is used by few known projects, I know a person from such a projet. |
| 17:49:24 | <hellwolf> | yes, formal verification. |
| 17:49:27 | <haskellbridge> | <sm> I have the impression there's more interest in non-haskell full DSLs like aiken, marlowe etc (not surprisingly) |
| 17:49:43 | <hellwolf> | marlowe I think there is not much adoption |
| 17:52:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:52:55 | <haskellbridge> | <sm> it's interesting to see the different approaches |
| 17:53:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:53:39 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:54:42 | <haskellbridge> | <sm> hellwolf: yes, I see: "The virtual machine is a language interpreter which executes a smart contract language called 'Untyped Plutus Core' (abbrev. UPLC) often referred to simply as 'Plutus'." |
| 17:55:10 | <hellwolf> | aha, UPLC. |
| 17:55:23 | <haskellbridge> | <sm> "it is a compilation target (like WebAssembly ... until recently, the only established framework that produced UPLC from a high-level syntax was called 'Plutus-Tx' and happened to be a Haskell framework... |
| 17:55:26 | <haskellbridge> | Aiken changes the game by providing a modern framework that compiles straight to UPLC." |
| 17:56:34 | <hellwolf> | I thought Haskell should dominate the game of being the host language of other 700 languages. |
| 17:57:06 | <hellwolf> | but, it turns out to be other 700 niche languages. |
| 17:57:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:57:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:58:57 | <haskellbridge> | <sm> ("modern" because easier ? implemented in rust ?) |
| 17:59:27 | <monochrom> | Humanity loves reinventing things and the not-invented-here attitidue, no? 99.99% of things happening in the tech world, nay, the world, is to be explained by human flaws rather than technical merit. |
| 17:59:30 | <hellwolf> | it's a buzz word. |
| 18:00:04 | <hellwolf> | "modern" because it's not: "ossified", actively developed, which are probably more objective assessment. |
| 18:00:33 | <haskellbridge> | <sm> up to date practical docs and attractive friendly website ? |
| 18:00:39 | <haskellbridge> | <sm> fair enough. It looks good |
| 18:01:12 | <hellwolf> | young people dominate the internet, if they are paid, they will make noise |
| 18:01:24 | <hellwolf> | when they get old, they will start to defend their shtik |
| 18:01:53 | <hellwolf> | the cycle of next 700 languages no one use continues. |
| 18:02:02 | × | omegatron quits (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 18:02:20 | <EvanR> | HavingHadIceCream a => ... |
| 18:03:22 | <hellwolf> | UndecidableInstances |
| 18:03:30 | <hellwolf> | no smaller than the head |
| 18:04:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:05:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:08:02 | → | sprotte24 joins (~sprotte24@p200300d16f16bc005158636fac7acba7.dip0.t-ipconnect.de) |
| 18:13:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:13:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:14:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 18:16:54 | <tomsmeding> | the ice cream, or the instance? |
| 18:18:44 | <monochrom> | I have never eaten ice cream that's bigger than my head. >:) |
| 18:18:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:19:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:23:00 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:23:32 | <EvanR> | head must be bigger than this to ride |
| 18:23:43 | <EvanR> | smaller than this? |
| 18:24:01 | <EvanR> | head must be bigger than this to recurse |
| 18:25:18 | monochrom | submits PR to GHC for s/my head has exploded/my head has imploded/ |
| 18:25:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:25:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:26:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:28:54 | <hellwolf> | I will need to defend Haskell in front of people don't know about haskell in few days. What's the bet advice. |
| 18:29:17 | <hellwolf> | *what's your advices? |
| 18:29:43 | <sm> | explain the reasons you chose it ? which are hopefully sensible and convincing :) |
| 18:29:44 | <EvanR> | oof |
| 18:29:59 | <EvanR> | that's always rough |
| 18:30:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:31:05 | <sm> | hellwolf: you might find some inspiration in https://discourse.haskell.org/t/emphasize-why-haskell-on-haskell-org-landing-page/12036 |
| 18:31:32 | <sm> | here's two good quotes (might not be relevant to your audience though): |
| 18:31:45 | <sm> | In Haskell, it’s possible to do truly major heart-lung-transplant refactors on a 200k-loc code base that is 30 years old. (I know, because I do that to GHC.) That is a major value proposition. Instead of having a 5-year lifetime, your investment has a multi-decade lifetime. -- SPJ |
| 18:32:04 | <sm> | Because Haskell is the result of research and good design decisions, Haskell feels more concise and principled than other languages. -- sgraf |
| 18:32:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:32:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:33:04 | <TMA> | hellwolf: give up any hope. a clear mind devoid of preconceptions, longing and suffering is reportedly useful in such situations |
| 18:33:39 | <sm> | :) |
| 18:33:53 | <monochrom> | My advice: Don't bother defending Haskell (or anything). |
| 18:34:48 | <monochrom> | Multiple pyschology research results show that people make up their minds first then rationalize. If you try to defend/debate, it only steels their resolve. |
| 18:34:50 | <hellwolf> | I saw SPJ's comment. I think it was quite spot-on. |
| 18:35:36 | <hellwolf> | Yea, I guess my angle would be just be modest: hey it works, I am using it, maybe you want to try too. |
| 18:35:38 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 18:35:40 | <sm> | is your audience is people interested in smart contracts ? then large software may not interest them, but high assurance should |
| 18:35:52 | <hellwolf> | "should" |
| 18:36:33 | <sm> | eg show a list of exploits and bugs in non-haskell smart contracts and a corresponding list for the haskell ones |
| 18:36:50 | <hellwolf> | that's right, I have made two examples. |
| 18:38:48 | <monochrom> | "Haskell contracts are perfectly balanced with no exploits"? >:) |
| 18:38:59 | <sm> | maybe emphasise how an expressive language and advanced type checker is your assistant and power tool, not an obstacle/enemy |
| 18:39:36 | <sm> | or better, show it. Not easy |
| 18:39:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:40:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:41:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:42:13 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 18:42:33 | <sm> | I think when we are discussing "Haskell", we should distinguish language and ecosystem. Outsiders see it all as "Haskell", we insiders often focus on the core language and conveniently forget about tools, documentation, compiler extensions... |
| 18:42:52 | → | dyniec joins (~dyniec@dybiec.info) |
| 18:43:30 | <sm> | (language extensions, I meant) |
| 18:44:16 | <monochrom> | de facto there is no difference >:) |
| 18:44:45 | <monochrom> | Anyone wanna volunteer to add GHC2021 to Hugs? >:) |
| 18:46:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:47:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:47:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:47:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:49:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:51:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:53:25 | <hellwolf> | HUGS2026? |
| 18:53:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:53:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:53:42 | <hellwolf> | 05-23 21:39 <sm> or better, show it. Not easy |
| 18:53:42 | <hellwolf> | Yea... showing it is the way; people are rather skeptical, otherwise. |
| 18:53:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:55:47 | <monochrom> | Haha HUGS2026 includes TREX (extensible records) and therefore trumps GHC. >:) |
| 18:56:10 | <EvanR> | there are so many stupid justifications for "not haskell" it's ridiculous. Makes it hard to get to the good justifications for not haskell! |
| 18:56:43 | <EvanR> | stupid: haskell is only for the elite haxxors |
| 18:57:06 | <EvanR> | you can't win this argument |
| 18:57:41 | → | lol_ joins (~lol@2603:3016:1e01:b960:39f8:84ab:20bd:ae78) |
| 18:57:51 | <monochrom> | I think I can "win" by pointing out that I use Haskell and I am neither elite nor haxxors. |
| 18:58:09 | <monochrom> | But again, that still won't *win*. People have already made up their minds. |
| 18:58:21 | <haskellbridge> | <sm> hellwolf if you are using haskell productively yourself, speaking about that can be convincing. You might be still deep in DSL implementation though |
| 19:00:06 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:30 | <haskellbridge> | <sm> well it's possible to influence minds sometimes.. but yes for real advice we'd need to know more context |
| 19:00:46 | → | caconym7 joins (~caconym@user/caconym) |
| 19:00:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:01:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:01:35 | <__monty__> | monochrom: Have a code snipped using that newtype naming? |
| 19:01:40 | <monochrom> | or some people. Of course everything I said should be quantified by "most" not really "all". |
| 19:01:41 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:307d:f5b5:c6a2:664f) (Ping timeout: 248 seconds) |
| 19:01:59 | <EvanR> | yes hellwolf show these defendees what you're working on |
| 19:02:04 | <monochrom> | But you look at social media you feel like there is no exception. |
| 19:02:15 | <haskellbridge> | <sm> pff social media... |
| 19:03:01 | <EvanR> | oh yeah that thing with 100% false information and conspiracy theory |
| 19:03:06 | <EvanR> | it's great |
| 19:03:29 | <hellwolf> | what's wrong with trying to be "elites", or trying to be better? |
| 19:03:35 | <hellwolf> | I never understood that argument. |
| 19:03:36 | <EvanR> | exactly |
| 19:03:45 | <monochrom> | __monty__: My https://www.vex.net/~trebla/haskell/cont.xhtml#Cont uses "ContOf" and "unCont". (Back then I didn't think of "ofCont".) |
| 19:03:46 | <haskellbridge> | <sm> it's sometimes great sometimes awful but kind of like traditional media, it's definitely not the same as reality |
| 19:03:47 | <EvanR> | how many levels of flawed premises are there |
| 19:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:05:55 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:07:29 | <monochrom> | I also thought of "deCont". |
| 19:08:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:08:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:13:16 | <tomsmeding> | hellwolf: my understanding of the word "elite" in this context is not to be better, but look down upon the others |
| 19:13:35 | <tomsmeding> | trying to be better is a good thing; using that as a reason to consider others worse than yourself is not |
| 19:13:57 | <tomsmeding> | there are reasons to consider people worse than yourself -- committing atrocities is one. Not using haskell is not. ;) |
| 19:14:52 | <tomsmeding> | so "elite haxxors" is "those people that consider themselves above the plebs" |
| 19:15:11 | <EvanR> | clearly the answer is to consider elites worse than yourself |
| 19:15:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:15:52 | <EvanR> | causing an ordering paradox where you can conclude anything |
| 19:15:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:18:20 | <hellwolf> | now it becomes undecidable problem. I mean, "can we just discuss the matter at hand, instead of trying to infer intentions" |
| 19:21:12 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 19:21:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:22:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:26:02 | <hellwolf> | but I agree with tom, it's the condescending that people often detest. also, people often project, and draw strawman too. since when, Haskell had gotten this reputation is something predate me, I guess. |
| 19:26:41 | <hellwolf> | I wonder, if the rustlings having a better reputation, relatively speaking. |
| 19:27:18 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 19:28:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:29:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:29:51 | <JuanDaugherty> | i would never defend hs or anything else |
| 19:30:10 | <JuanDaugherty> | wasted effort |
| 19:30:38 | <JuanDaugherty> | express an opinion, offer advice, sure |
| 19:31:05 | <JuanDaugherty> | argue with normies / the ignorant masses? i dont think so. hs weenies ftw |
| 19:33:16 | <haskellbridge> | <sm> we don't know who hellwolf's audience is - management, colleagues, customers, volunteers, new programmers.. |
| 19:33:27 | <JuanDaugherty> | elite is good, i heard they;re gonna bring meritocracy back |
| 19:33:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:34:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:34:38 | <JuanDaugherty> | elite agers in particular, i'm shooting for that |
| 19:34:46 | <haskellbridge> | <hellwolf> sm: hackers |
| 19:35:05 | <__monty__> | I wonder why other languages don't get the same reputation. Most unwelcome I've felt was undercover at a Go meetup. Admittedly the presentation of the evening was a PhD student trying to show why Haskell is cool. But IMO they weren't bashing or being elitist so the strong negative response wasn't warranted. |
| 19:35:11 | <haskellbridge> | <sm> in your company ? community you're trying to attract ? |
| 19:35:17 | <JuanDaugherty> | oh come on |
| 19:35:28 | → | pavonia joins (~user@user/siracusa) |
| 19:35:36 | <JuanDaugherty> | hassle is a ball breaker of a lang |
| 19:35:49 | <JuanDaugherty> | u know it, u love it for that |
| 19:36:10 | <haskellbridge> | <sm> hassle 😂 |
| 19:36:49 | <__monty__> | But they hadn't even given it a shot, so how would they know? (I actually disagree FWIW.) |
| 19:38:01 | <JuanDaugherty> | and cause it can do stuff the others cant on the ground of a) what it is, ie. the end evolution of ml and b) the leaf of that tree that got the most work out into pracicality and a mass of community supplied function, smugness ensues |
| 19:39:12 | <JuanDaugherty> | 1 2 profit, that's what we want; hard stuff take a hike |
| 19:39:39 | <haskellbridge> | <sm> the Hassell programming language, no it's really good and easy, trust me |
| 19:39:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:39:56 | <haskellbridge> | <sm> that's what they're hearing :) |
| 19:40:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:41:41 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 19:42:41 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:44:36 | <__monty__> | It was a shame because we also arranged for them to see a small part of the fab at IMEC. |
| 19:45:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:46:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:46:16 | <haskellbridge> | <hellwolf> undercover? how do you mean __monty__: |
| 19:46:28 | <haskellbridge> | <hellwolf> why do you need to hide your haskell power |
| 19:47:58 | <haskellbridge> | <sm> it's like being a bene gesserit perhaps. Try not to freak out the masses |
| 19:48:15 | <EvanR> | lol |
| 19:48:28 | <haskellbridge> | <sm> just sow legends, instil fear^H^H^H^Hrespect, guide them, guide them |
| 19:49:02 | <haskellbridge> | <hellwolf> aye. |
| 19:49:03 | <haskellbridge> | but I really want to share this wisdom with you |
| 19:49:17 | <haskellbridge> | <hellwolf> I want more people to enjoy it |
| 19:49:19 | <haskellbridge> | <hellwolf> what a paradox |
| 19:49:37 | <EvanR> | in a conal talk on tangible values, he wants to bring functional programming to everyday people not just "some priestly caste" |
| 19:49:40 | <haskellbridge> | <sm> just speak from your experience, if you're happy people will feel it |
| 19:49:50 | <JuanDaugherty> | who speaks from the bridge wo a nick? |
| 19:50:08 | <EvanR> | a newline character |
| 19:50:17 | <JuanDaugherty> | oh it doesn repeat the nick on each line |
| 19:50:21 | <monochrom> | continuation >:) |
| 19:51:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:52:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:55:44 | <EvanR> | we need to lean into the priestly caste with code which emphasizes mystic sounding nonsense, pure is a good first step |
| 19:55:56 | <EvanR> | people recommend pure over return |
| 19:56:58 | <haskellbridge> | <sm> aha, https://suberic.net/~dmm/projects/mystical is here for you! |
| 19:57:26 | <haskellbridge> | <sm> not really priestly I guess |
| 19:57:55 | <EvanR> | whoa |
| 19:58:12 | <haskellbridge> | <hellwolf> well, that Ya programming language was close to our court |
| 19:58:39 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 20:00:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:00:29 | <[exa]> | Liamzee: lol |
| 20:00:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:01:49 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 20:05:57 | <hellwolf> | i thought I missed IRC messages |
| 20:06:09 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:06:34 | × | acidjnk quits (~acidjnk@p200300d6e71c4f256df027c33ba93341.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 20:08:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:08:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:10:41 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:15:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:15:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:22:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:23:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:23:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:27:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:34:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:35:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:35:23 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 20:37:48 | → | visilii_ joins (~visilii@213.24.132.221) |
| 20:37:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:37:55 | × | visilii quits (~visilii@213.24.134.172) (Ping timeout: 268 seconds) |
| 20:38:56 | <EvanR> | what is the purpose of the type system |
| 20:39:33 | → | acidjnk joins (~acidjnk@p200300d6e71c4f256df027c33ba93341.dip0.t-ipconnect.de) |
| 20:40:36 | <haskellbridge> | <sm> whoa |
| 20:41:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:42:11 | <c_wraith> | there are several possible answers |
| 20:42:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:42:33 | <c_wraith> | at one level, the purpose is to classify values. |
| 20:42:49 | <c_wraith> | At another level, it's to prevent programs that confuse values of different classifications |
| 20:43:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:43:22 | <c_wraith> | at another level, it's to aid the programmer in expressing their logic by limiting incorrect programs |
| 20:43:24 | <haskellbridge> | <sm> to help write correct programs; to help with thinking and design; to help provide clear APIs |
| 20:43:44 | <haskellbridge> | <sm> to help the compiler produce efficient programs |
| 20:46:12 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 20:46:20 | <EvanR> | that last one is the one you can't get away with doing mentally without a type system |
| 20:46:31 | <haskellbridge> | <sm> to help IDEs assist the developer |
| 20:46:39 | <EvanR> | ok that's another one |
| 20:46:52 | <c_wraith> | most of the things the type system does aren't impossible without it. They're just easier with it |
| 20:47:05 | <EvanR> | though you could mentally know already all the stuff the IDE tells you, but you can't mentally auto complete stuff |
| 20:47:11 | <EvanR> | very quickly |
| 20:47:38 | <haskellbridge> | <sm> to help AI do stuff.. |
| 20:47:40 | <c_wraith> | though in Haskell specifically, the type class system can be used to *generate* code based on types |
| 20:48:00 | <c_wraith> | which is something that can only happen if the compiler tracks types |
| 20:48:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:48:12 | <haskellbridge> | <sm> and to help us trust AI's stuff.. |
| 20:48:16 | <EvanR> | certain things are faster mentally than using "a system", like feynmann vs the abacus salesman |
| 20:48:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:48:32 | <EvanR> | compiling a program faster isn't one of them, auto generating code isn't one of them |
| 20:48:38 | <EvanR> | to be faster* |
| 20:49:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:49:52 | <EvanR> | just a dern minute, compiling and autogenerating code is the same thing |
| 20:50:19 | <sprout> | to write amusing type bombs! |
| 20:50:52 | <c_wraith> | autogenerating code is a specific case where the source code isn't written |
| 20:50:59 | <haskellbridge> | <sm> ah yes, and to write a doom clone |
| 20:53:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:53:09 | <EvanR> | getting around to that I swear |
| 20:53:25 | <EvanR> | ideally by reading in the doom source and doing something ridiculous with it |
| 20:53:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:53:46 | <EvanR> | c source visualizer |
| 20:53:54 | <int-e> | it's a doomed project |
| 20:53:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:54:14 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 20:54:37 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 20:55:16 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 20:57:45 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 21:00:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:00:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:04:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 21:06:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:06:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:06:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:12:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 21:12:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:12:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:18:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:18:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:21:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:25:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:25:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:30:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:30:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:30:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:34:53 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 21:36:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:36:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:40:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:40:20 | → | dolio joins (~dolio@130.44.140.168) |
| 21:44:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:45:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:51:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:52:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:52:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:54:31 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 21:56:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:59:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:59:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:02:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:07:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:07:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:08:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:08:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:08:53 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 22:12:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:12:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 22:13:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 22:15:45 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:16:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:16:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:23:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:23:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 22:24:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:24:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:28:03 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:28:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:31:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:32:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:36:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:37:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:38:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:41:31 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:43:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:43:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:43:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:50:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:50:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:51:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:54:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:57:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:58:01 | × | haskellbridge quits (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
| 22:58:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:59:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:01:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:02:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:03:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:08:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:09:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:10:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:13:05 | → | haskellbridge joins (~hackager@syn-096-028-224-255.res.spectrum.com) |
| 23:13:05 | ChanServ | sets mode +v haskellbridge |
| 23:15:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:17:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:17:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:22:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 23:22:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 23:23:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:25:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:29:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:29:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:30:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:36:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 23:36:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:40:05 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 23:41:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:43:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:43:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:45:17 | × | sprotte24 quits (~sprotte24@p200300d16f16bc005158636fac7acba7.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:46:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:46:37 | <EvanR> | I think it's working now but damn https://paste.tomsmeding.com/pfWqi8Uz |
| 23:47:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:50:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:51:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:55:32 | → | immibis joins (foobar@social.immibis.com) |
| 23:56:58 | → | pyooque joins (~puke@user/puke) |
| 23:56:58 | puke | is now known as Guest3731 |
| 23:56:58 | × | Guest3731 quits (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 23:56:58 | pyooque | is now known as puke |
| 23:57:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:58:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:58:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
All times are in UTC on 2025-05-23.