Logs on 2025-06-04 (liberachat/#haskell)
| 00:01:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:01:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:02:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:03:54 | × | jespada quits (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:04:02 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:04:05 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 00:06:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:08:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:08:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:13:25 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 00:13:52 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) |
| 00:14:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:14:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:17:32 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 00:17:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:20:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:20:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:24:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:25:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:26:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:29:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:30:30 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:30:44 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 00:32:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:32:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 00:32:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:35:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:37:30 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 00:38:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:39:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:40:30 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) (Ping timeout: 265 seconds) |
| 00:40:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:41:22 | × | xff0x quits (~xff0x@2405:6580:b080:900:5804:5ca6:1e75:4ee1) (Ping timeout: 276 seconds) |
| 00:44:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:44:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:48:33 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:48:36 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 00:50:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:50:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:51:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:51:46 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 00:51:47 | ljdarj1 | is now known as ljdarj |
| 00:55:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:56:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:56:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:00:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:00:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:00:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:01:34 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) |
| 01:06:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:06:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:06:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:12:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:12:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:16:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:16:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 01:16:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:21:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:22:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:22:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:28:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:28:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:31:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:34:13 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:34:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:36:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:41:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 01:41:55 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:41:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:47:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:48:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:48:12 | → | wickedjargon joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 01:48:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:51:38 | × | visilii quits (~visilii@213.24.132.221) (Read error: Connection reset by peer) |
| 01:52:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:52:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:53:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:54:24 | → | visilii joins (~visilii@213.24.132.221) |
| 01:58:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 01:59:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:00:24 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 02:02:06 | → | jrm joins (~jrm@user/jrm) |
| 02:02:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:03:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:03:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:03:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:08:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:08:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:10:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:15:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 02:15:11 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 02:15:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:16:32 | → | jrm joins (~jrm@user/jrm) |
| 02:17:08 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 02:21:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:31 | → | tavare joins (~tavare@150.129.88.189) |
| 02:22:31 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 02:22:31 | → | tavare joins (~tavare@user/tavare) |
| 02:23:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:23:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:26:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:26:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:27:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:32:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:33:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:37:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:38:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 02:38:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:41:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:43:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:43:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:49:59 | × | wickedjargon quits (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 252 seconds) |
| 02:50:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:50:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:53:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:55:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:55:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:55:52 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 02:56:34 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 276 seconds) |
| 02:57:53 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 02:58:03 | → | td_ joins (~td@i53870913.versanet.de) |
| 02:58:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:59:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:59:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:04:34 | × | shapr quits (~user@2600:4040:5c49:5600:3574:8b25:1fec:466e) (Ping timeout: 245 seconds) |
| 03:04:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:05:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:08:19 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 245 seconds) |
| 03:08:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:09:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:10:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:15:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:15:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:17:48 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:18:02 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 03:18:28 | → | wickedjargon joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 03:19:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:20:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:21:53 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:24:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:25:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:25:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:27:16 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 03:27:55 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 03:28:45 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 03:29:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:33:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:33:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:40:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:41:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:42:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:47:02 | → | troydm joins (~troydm@user/troydm) |
| 03:47:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:47:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:47:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:49:25 | × | wickedjargon quits (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 272 seconds) |
| 03:50:53 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 03:53:16 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 03:53:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:53:39 | → | michalz joins (~michalz@185.246.207.215) |
| 03:53:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:55:04 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 03:58:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:59:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:59:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:03:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:06:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:07:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:12:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:13:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:13:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:16:15 | → | yangby joins (~secret@183.159.106.182) |
| 04:18:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:18:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:18:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:21:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:22:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:27:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:28:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:29:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:29:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:29:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:30:10 | → | wickedjargon joins (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) |
| 04:33:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:34:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:34:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:39:10 | → | m5zs7k_ joins (aquares@web10.mydevil.net) |
| 04:39:28 | × | m5zs7k quits (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 04:39:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:40:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:41:13 | → | bramh0 joins (~bramh@user/bramh) |
| 04:41:39 | × | pikajude quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:41:55 | → | wickedja` joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 04:41:58 | → | pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 04:42:00 | × | jbalint quits (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Remote host closed the connection) |
| 04:42:12 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 04:42:31 | × | wickedjargon quits (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Read error: Connection reset by peer) |
| 04:42:55 | × | jle` quits (~jle`@2603:8001:3b00:11:3b41:97f4:1903:c327) (Ping timeout: 252 seconds) |
| 04:42:56 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 04:43:16 | → | jle` joins (~jle`@2603:8001:3b00:11:ed10:7791:af4e:7281) |
| 04:43:33 | × | bramh quits (~bramh@user/bramh) (Ping timeout: 248 seconds) |
| 04:43:33 | bramh0 | is now known as bramh |
| 04:44:29 | → | tomku joins (~tomku@user/tomku) |
| 04:45:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:45:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:46:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:47:33 | m5zs7k_ | is now known as m5zs7k |
| 04:49:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:50:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:50:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:54:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:56:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:58:29 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 04:59:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 04:59:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:59:55 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:01:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:02:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:08:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:09:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:10:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:14:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:15:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:16:56 | → | arahael joins (~arahael@user/arahael) |
| 05:20:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:21:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:25:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:26:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:32:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:32:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:32:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:37:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:37:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:39:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:41:11 | <dminuoso> | tomsmeding: Oh okay, I think I misread that. |
| 05:44:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:45:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:48:25 | <ski> | "The thing you get out of an existential has an arbitrary type that is distinct from every other type." -- it would be nice if it was printed in a distinct way from an ordinary (not explicitly quantified) (meta-variable / "logic variable") one, say maybe like `?A0' or even `A0', rather than `a' (making sure that distinct unwrappings gets their own distinct name) |
| 05:49:33 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:50:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:50:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:30 | <ski> | in SML/NJ, such "bare skolems" (generated by "value restriction") are printed as `?.X1',&c. (suggesting being a(n abstract) type belonging to an unknown module) |
| 05:50:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:50:56 | → | img joins (~img@user/img) |
| 05:53:57 | <ski> | (in OCaml, "value restriction" instead generates non-generalized ("bare") meta-variables, printed as '_weak1 -- and will be instantiated by the first later declaration that puts a(n equality) constraint on them) |
| 05:55:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:55:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:55:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:01:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:01:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 06:01:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:02:07 | <ski> | (seems Poly/ML prints the skolem as _a (no unique numbering). and Moscow ML seems follow OCaml, making it an instantiable bare meta-variable (printed the same way as generalized / quantified) (like GHCi), and print a warning) |
| 06:04:19 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 272 seconds) |
| 06:05:08 | → | pabs3 joins (~pabs3@user/pabs3) |
| 06:06:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:06:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:06:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:07:43 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:09:26 | → | Square2 joins (~Square4@user/square) |
| 06:12:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:12:35 | × | Square quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 06:12:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:12:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:15:30 | × | catties quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 06:16:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:16:58 | → | catties joins (~catties@user/meow/catties) |
| 06:18:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:18:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:21:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:24:54 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 06:25:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:26:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:31:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:32:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:32:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:37:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:37:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:37:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:37:43 | × | mistivia quits (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 06:38:42 | → | mistivia joins (~mistivia@45.62.118.101.16clouds.com) |
| 06:39:59 | × | mistivia quits (~mistivia@45.62.118.101.16clouds.com) (Client Quit) |
| 06:41:12 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 06:41:35 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 06:43:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:43:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:48:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:48:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:48:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:50:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 06:52:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:52:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:53:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:55:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:59:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:00:00 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:00:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:00:43 | → | caconym7 joins (~caconym@user/caconym) |
| 07:06:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 07:06:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:09:08 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 07:09:43 | × | sawilagar quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 07:09:59 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 07:10:55 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 07:11:06 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:11:17 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:11:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:11:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:12:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:12:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:14:59 | × | geekosaur quits (sid609282@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 07:15:10 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 07:15:49 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:19:54 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:20:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:20:26 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:20:39 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 07:20:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:20:49 | → | rvalue- joins (~rvalue@user/rvalue) |
| 07:21:40 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 07:25:41 | rvalue- | is now known as rvalue |
| 07:26:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 07:27:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:28:51 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:29:33 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 07:29:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:30:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:31:27 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 07:33:13 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:34:47 | × | deriamis quits (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
| 07:34:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:35:01 | → | deriamis joins (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
| 07:35:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:41:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:41:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:42:47 | → | merijn joins (~merijn@77.242.116.146) |
| 07:44:15 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 07:47:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 07:48:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:49:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:52:36 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 07:53:30 | → | merijn joins (~merijn@77.242.116.146) |
| 07:55:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:56:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:58:26 | × | sajenim quits (~sajenim@user/sajenim) (Quit: WeeChat 3.8) |
| 08:02:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:02:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:03:23 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Ping timeout: 276 seconds) |
| 08:05:57 | × | myme quits (~myme@2a01:799:d5e:5f00:be1e:23a0:878a:b7c9) (Ping timeout: 244 seconds) |
| 08:06:52 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:07:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:09:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:09:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:12:03 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:12:25 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:13:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:13:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 08:13:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:15:17 | → | merijn joins (~merijn@77.242.116.146) |
| 08:16:13 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 08:17:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:17:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:18:14 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:19:59 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 08:21:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:21:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:23:03 | → | merijn joins (~merijn@77.242.116.146) |
| 08:25:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:25:37 | → | Everything joins (~Everythin@77.120.244.38) |
| 08:25:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:25:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:26:06 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:32:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:32:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:35:20 | <Square2> | Is there a way to produce Haddock doc locally with the same style sheet / layout as the one on hackage? |
| 08:37:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:38:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:38:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 08:41:29 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:42:39 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:43:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:43:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:45:25 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 08:46:02 | <haskellbridge> | <Morj> Square2 cabal haddock / stack haddock is not it? It generates the same style as hackage for me |
| 08:46:37 | <haskellbridge> | <Morj> Except that the style has changed some years ago, and some packages haven't been updated, so you're going to get the newer version for them |
| 08:46:47 | <haskellbridge> | <Morj> Newer version of the style |
| 08:49:31 | <Square2> | Morj: Sure, they're almost the same. Just thought the hackage one had larger font. |
| 08:49:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:50:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:50:22 | → | merijn joins (~merijn@77.242.116.146) |
| 08:51:56 | × | AlexZenon quits (~alzenon@178.34.162.18) (Quit: ;-) |
| 08:54:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:55:56 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 08:56:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:57:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:58:10 | × | AlexNoo quits (~AlexNoo@178.34.162.18) (Quit: Leaving) |
| 08:58:31 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:58:44 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 08:59:43 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:01:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:03:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:03:38 | → | merijn joins (~merijn@77.242.116.146) |
| 09:03:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:05:47 | → | __monty__ joins (~toonn@user/toonn) |
| 09:06:52 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 09:08:39 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:09:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:10:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:15:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:15:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:16:27 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 09:16:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 09:17:23 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:18:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:18:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:19:01 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 09:19:51 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:21:02 | → | AlexNoo joins (~AlexNoo@178.34.162.18) |
| 09:25:44 | → | AlexZenon joins (~alzenon@178.34.162.18) |
| 09:26:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 09:26:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:27:54 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 09:28:46 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 09:29:05 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 09:31:16 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 09:33:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:33:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:41:23 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:41:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:42:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:45:19 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 09:49:33 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 09:49:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:49:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:50:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:53:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:54:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:55:36 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 09:55:45 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:57:46 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 09:59:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:59:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:00:02 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (*.net *.split) |
| 10:00:02 | × | califax quits (~califax@user/califx) (*.net *.split) |
| 10:00:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 10:00:03 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 10:00:03 | × | gmg quits (~user@user/gehmehgeh) (*.net *.split) |
| 10:00:03 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (*.net *.split) |
| 10:03:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:04:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:08:36 | → | merijn joins (~merijn@77.242.116.146) |
| 10:09:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:10:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:15:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:15:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:16:54 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 10:19:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:20:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:23:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:24:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:24:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 10:26:07 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 10:28:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:29:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:32:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 10:32:14 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:35:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:35:56 | → | merijn joins (~merijn@77.242.116.146) |
| 10:36:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:41:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:42:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:48:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:49:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:51:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:54:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:54:22 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:54:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:54:57 | → | entangledprime joins (~entangled@176.223.172.171) |
| 10:56:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 10:56:51 | <Square2> | Another question, I tried to google and chatgpt. Can I express a type constraint on a data type such that it only has one constructor? |
| 10:57:49 | → | merijn joins (~merijn@77.242.116.146) |
| 10:59:39 | <ski> | what type constraint ? |
| 11:01:51 | → | jespada joins (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) |
| 11:02:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:02:16 | <ski> | do you mean (a) a constraint expressing that the constrained type (is a data type and) has only one data constructor; or (b) ensuring that some parameter of a data type will have some particular constraint; or (c) perhaps something else ? |
| 11:02:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:03:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 11:04:13 | <Square2> | ski, that would be (a) then. Really I to accept only data types on the form "data Foo = FooConst" (name of type and constructor not important) |
| 11:04:38 | <Square2> | Really I only want to accept* |
| 11:04:55 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 11:05:16 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 11:05:24 | <Leary> | Square2: If you impose `Generic a`, you can write a type family taking `Rep a` mapping sums to `Unsatisfiable` and all else to the empty constraint `()`. |
| 11:05:38 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:06:03 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 11:06:35 | <Square2> | Leary, sweet |
| 11:08:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:08:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:09:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:12:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 11:13:51 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:14:17 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 11:15:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:15:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:17:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:20:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 11:21:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:21:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:27:42 | × | bionade24 quits (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!) |
| 11:29:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:29:16 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 11:29:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:29:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 11:31:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:33:38 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 11:38:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 11:38:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:39:27 | → | laurapigeon joins (~laurapige@user/laurapigeon) |
| 11:46:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:46:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:47:10 | × | entangledprime quits (~entangled@176.223.172.171) (Ping timeout: 252 seconds) |
| 11:49:58 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 11:50:13 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 11:51:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 11:51:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:52:37 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 11:53:43 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 11:56:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:56:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:58:20 | × | Taneb quits (~Taneb@runciman.hacksoc.org) (Client Quit) |
| 11:58:44 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:58:58 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 12:02:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:02:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:03:14 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 12:03:20 | → | sajenim joins (~sajenim@user/sajenim) |
| 12:04:04 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:09:18 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 12:09:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:09:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:09:59 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 12:15:07 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 12:16:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:16:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:16:46 | × | sajenim quits (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 12:21:10 | → | bionade24 joins (~quassel@2a03:4000:35:f24::1) |
| 12:21:11 | × | bionade24 quits (~quassel@2a03:4000:35:f24::1) (Client Quit) |
| 12:21:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:21:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:25:22 | → | prdak joins (~Thunderbi@user/prdak) |
| 12:25:55 | → | califax joins (~califax@user/califx) |
| 12:26:13 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 12:28:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:29:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:32:29 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:32:42 | <Clint> | whaletime/win go #linguistics |
| 12:32:51 | <Clint> | ffs |
| 12:33:24 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 12:33:31 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:33:46 | → | gmg joins (~user@user/gehmehgeh) |
| 12:35:01 | → | xff0x joins (~xff0x@2405:6580:b080:900:e951:361b:ad7d:3b51) |
| 12:35:21 | → | bionade24 joins (~quassel@2a03:4000:35:f24::1) |
| 12:35:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:36:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:38:39 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 12:39:43 | → | Shsl-Junko-POSER joins (~Shsl-Junk@50.235.208.178) |
| 12:40:27 | × | Shsl-Junko-POSER quits (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 12:40:51 | → | fp1 joins (~Thunderbi@2001:708:20:1406::10c5) |
| 12:40:53 | → | AlexNoo_ joins (~AlexNoo@178.34.163.76) |
| 12:41:03 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 252 seconds) |
| 12:41:03 | fp1 | is now known as fp |
| 12:41:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:42:42 | × | AlexZenon quits (~alzenon@178.34.162.18) (Ping timeout: 268 seconds) |
| 12:42:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:43:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:43:16 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:43:30 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 12:43:58 | → | AlexZenon joins (~alzenon@178.34.163.76) |
| 12:44:05 | × | AlexNoo quits (~AlexNoo@178.34.162.18) (Ping timeout: 248 seconds) |
| 12:44:12 | AlexNoo_ | is now known as AlexNoo |
| 12:46:02 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:49:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:49:42 | → | ttybitni` joins (~ttybitnik@user/wolper) |
| 12:49:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:51:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:53:42 | × | ttybitni` quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 12:53:43 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 265 seconds) |
| 12:54:02 | → | merijn joins (~merijn@77.242.116.146) |
| 12:54:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:55:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 12:55:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:55:47 | → | acidjnk joins (~acidjnk@p200300d6e71c4f45a83e2b5d0ad17840.dip0.t-ipconnect.de) |
| 13:00:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:01:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:03:05 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:03:52 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 265 seconds) |
| 13:05:19 | → | polykernel joins (~polykerne@user/polykernel) |
| 13:06:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:07:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:08:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 13:13:15 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 13:14:01 | × | jespada quits (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 13:14:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:14:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:15:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:15:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:16:37 | → | merijn joins (~merijn@77.242.116.146) |
| 13:18:43 | → | jespada joins (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) |
| 13:20:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:21:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:22:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 13:24:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:25:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:28:18 | → | merijn joins (~merijn@77.242.116.146) |
| 13:29:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:30:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:37:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:37:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:40:05 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:42:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:43:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:47:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:47:17 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 13:49:11 | × | laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 13:50:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:50:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:55:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:55:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:58:02 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 13:58:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:00:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 14:01:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:06:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 14:07:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:07:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:15:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:15:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:20:11 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 14:20:50 | × | euandreh quits (~Thunderbi@189.31.61.8) (Ping timeout: 272 seconds) |
| 14:22:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:22:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:26:26 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:29:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:29:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:30:24 | × | yangby quits (~secret@183.159.106.182) (Ping timeout: 240 seconds) |
| 14:33:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:33:42 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:33:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:39:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:40:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:40:53 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 14:45:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:45:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:47:40 | → | prdak joins (~Thunderbi@user/prdak) |
| 14:48:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 14:49:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:49:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:52:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 14:54:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:55:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:55:22 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 15:01:46 | → | merijn joins (~merijn@77.242.116.146) |
| 15:01:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:02:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 15:02:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:09:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:09:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:12:17 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 15:13:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:14:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:20:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 15:20:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:25:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:25:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:26:51 | → | Digit joins (~user@user/digit) |
| 15:26:55 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 15:31:23 | Digit | is now known as Digitteknohippie |
| 15:31:24 | × | Digitteknohippie quits (~user@user/digit) (Remote host closed the connection) |
| 15:31:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:32:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:35:46 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:37:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 15:38:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:39:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:42:16 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
| 15:43:03 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:43:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:43:57 | → | Square joins (~Square@user/square) |
| 15:44:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:47:50 | × | Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 15:49:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:50:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:55:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:56:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:02:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:02:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:02:50 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 16:07:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:09:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:10:07 | → | Digit joins (~user@user/digit) |
| 16:10:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:12:39 | → | yangby joins (~secret@183.159.106.182) |
| 16:13:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 16:16:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:16:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:19:24 | × | gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) () |
| 16:19:45 | → | gaze__ joins (sid387101@id-387101.helmsley.irccloud.com) |
| 16:21:01 | × | turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 16:22:17 | → | turlando joins (~turlando@user/turlando) |
| 16:22:37 | <yin> | :t liftA2 |
| 16:22:38 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 16:22:51 | <yin> | :t liftA2 @((->) _) |
| 16:22:52 | <lambdabot> | error: parse error on input ‘->’ |
| 16:24:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:24:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:24:41 | <EvanR> | I know right |
| 16:24:45 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:25:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:26:08 | → | shapr joins (~user@4.30.215.226) |
| 16:27:25 | <yin> | % :t liftA2 @((->) _) |
| 16:27:25 | <yahb2> | liftA2 @((->) _) ; :: Applicative ((->) w) => ; (a -> b -> c) -> (w -> a) -> (w -> b) -> w -> c |
| 16:28:21 | → | califax joins (~califax@user/califx) |
| 16:28:30 | <yin> | ok, i'm on 9.6.7 and ghci is ommiting the Applicative constraint |
| 16:30:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:30:32 | <EvanR> | oh shit it works |
| 16:30:41 | <yin> | 9.12.2 gives me the constraint, as expected |
| 16:30:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:31:04 | <yin> | is there a reason for this? |
| 16:32:07 | <yin> | EvanR: are you amazed by TypeApplications? |
| 16:32:27 | <EvanR> | no I just have not see @((->) X) work |
| 16:32:39 | <EvanR> | I got parse error on input |
| 16:35:40 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:35:52 | <yin> | i think lambdabot is not what it used to be |
| 16:37:13 | <EvanR> | an interesting way to frame "my expectations of lambdabot have moved on and lambdabot didn't" xD |
| 16:38:02 | <yin> | i used to have it installed on my system. now i can't seem to install it not even from source |
| 16:38:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:38:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:39:09 | <yin> | i see it's still being mainteined though |
| 16:39:09 | <EvanR> | "my computer moved on but lambdabot didn't" |
| 16:39:15 | <yin> | EvanR: :D |
| 16:39:55 | <yin> | so my complained should really be "lambdabot IS what it used to be" |
| 16:39:59 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:40:13 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:40:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:41:22 | <EvanR> | ^ |
| 16:41:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:42:29 | <lambdabot> | I'm older than Firefox |
| 16:44:08 | <yin> | :) |
| 16:44:56 | <int-e> | that's quite a close call isn't it |
| 16:44:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:45:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:46:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:46:24 | <shapr> | lambdabot went online somewhere between 2002 and 2003, originally written by Pseudonym (aka Andrew Bromage) |
| 16:46:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:46:42 | <shapr> | So, a year or two older than firefox? |
| 16:47:36 | <shapr> | I vaguely recall converting lambdabot's darcs repo to git in 2004 |
| 16:47:54 | <shapr> | could that be right? |
| 16:47:59 | <shapr> | did we convert it to something else? |
| 16:48:03 | → | califax joins (~califax@user/califx) |
| 16:49:10 | <shapr> | Funny thing is, Pseudonym wrote lambdabot and the first plugin, but there wasn't a plugin system. So I wrote the simplest thing that could possibly work, and it's not that different now. |
| 16:50:07 | <shapr> | I also chose the @ sign for commands, and that got used for supybot, which influenced all the other IRC bots, and there's a good chance that's why @ is used for user notifications in slack, etc |
| 16:50:53 | <yin> | so you're the culprit |
| 16:50:58 | <shapr> | yes, sadly |
| 16:51:17 | <yin> | @shapr that's ok, don't beat yourself for it |
| 16:51:17 | lambdabot | places her fist firmly on that's ok, don't beat yourself for it's jaw |
| 16:51:21 | <shapr> | :-) |
| 16:51:44 | <yin> | wait what |
| 16:51:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:51:49 | <int-e> | nobody was using @ for anything at the time |
| 16:52:08 | <int-e> | (Firefox predates Twitter) |
| 16:52:12 | <yin> | is that also why my attempot at TypeApplications failed? |
| 16:52:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:52:25 | <shapr> | yin: I hadn't thought of that |
| 16:52:39 | <shapr> | When I wrote the plugin system, the @ had to be the first character |
| 16:52:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:52:41 | <shapr> | @quote |
| 16:52:49 | <shapr> | Looks like that's still true |
| 16:53:10 | <int-e> | The (very modern compared to lambdabot) TypeApplications extension isn't enabled, that's basically the whole story. |
| 16:53:13 | <yin> | yeah and the parse error is on '->' |
| 16:53:15 | <shapr> | yup |
| 16:53:48 | <int-e> | @ is a valid infix operator |
| 16:53:59 | <int-e> | so it's trying to parse (->) as an expression, and that fails |
| 16:54:27 | <yin> | @: is the function composition operator in J |
| 16:54:42 | <int-e> | :t (->) |
| 16:54:43 | <lambdabot> | error: parse error on input ‘->’ |
| 16:54:47 | <int-e> | (same error, minimized) |
| 16:54:57 | <int-e> | :t -> |
| 16:54:58 | <lambdabot> | error: parse error on input ‘->’ |
| 16:55:05 | <int-e> | or maybe this, not sure which is conceptually better |
| 16:56:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:56:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:56:51 | <yin> | anyways, any clue on why does the Applicative constraint gets ommited on 9.6.7 ? |
| 16:57:42 | <int-e> | Applicative (->) simplifies to nothing because the instance exists |
| 16:58:11 | <int-e> | ((->) a) I mean |
| 16:58:41 | <int-e> | :t 1 |
| 16:58:42 | <lambdabot> | Num p => p |
| 16:58:45 | <int-e> | :t 1 :: Int |
| 16:58:46 | <lambdabot> | Int |
| 16:58:50 | <int-e> | same thing! |
| 16:58:54 | <yin> | i see |
| 16:59:33 | <yin> | right |
| 16:59:34 | → | alp joins (~alp@2001:861:8ca0:4940:b4b3:ed5f:a70f:6ad5) |
| 17:00:04 | <yin> | wait why is it *not* ommited then on 9.12.2 ? |
| 17:00:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 17:00:12 | <int-e> | % :t 1 @ Int |
| 17:00:12 | <yahb2> | <interactive>:1:3: error: [GHC-88464] ; Variable not in scope: (@) :: t0 -> t1 -> t2 ; ; <interactive>:1:5: error: [GHC-01928] ; • Illegal term-level use of the type constructor ‘Int’ ; ... |
| 17:00:20 | <int-e> | % :t 1 @Int |
| 17:00:20 | <yahb2> | <interactive>:1:1: error: [GHC-95781] ; • Cannot apply expression of type ‘a0’ ; to a visible type argument ‘Int’ ; • In the expression: 1 @Int |
| 17:00:29 | <int-e> | hmm I should test locally :) |
| 17:00:46 | <yin> | % :t id @Int |
| 17:00:46 | <yahb2> | id @Int :: Int -> Int |
| 17:00:49 | <yin> | no |
| 17:00:53 | <yin> | % :t id @Int 1 |
| 17:00:53 | <yahb2> | id @Int 1 :: Int |
| 17:00:58 | yin | shrugs |
| 17:01:44 | <int-e> | % :t let x :: forall a. Num a => a; x = 1 in x @Int |
| 17:01:44 | <yahb2> | let x :: forall a. Num a => a; x = 1 in x @Int :: Int |
| 17:02:52 | <int-e> | I guess it's not actually weird because without the explicit forall(s), the order of the type arguments would depend on the phase of the moon |
| 17:03:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:03:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:05:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:05:51 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:06:04 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 17:09:53 | → | prdak joins (~Thunderbi@user/prdak) |
| 17:10:09 | → | shaeto joins (~Shaeto@94.25.234.79) |
| 17:10:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:10:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:12:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:13:56 | × | alp quits (~alp@2001:861:8ca0:4940:b4b3:ed5f:a70f:6ad5) (Remote host closed the connection) |
| 17:14:13 | → | alp joins (~alp@2001:861:8ca0:4940:5e69:cd24:f8f:385a) |
| 17:15:27 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:16:33 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:16:47 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 17:17:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:18:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:20:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:20:59 | × | shapr quits (~user@4.30.215.226) (Ping timeout: 260 seconds) |
| 17:23:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:23:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:30:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:30:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:36:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 17:36:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 17:36:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:37:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:37:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 17:38:07 | × | notzmv quits (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 17:38:15 | <monochrom> | yin: The explanation is that @shapr is auto-corrected to @slap. |
| 17:38:18 | <monochrom> | @slap monochrom |
| 17:38:18 | <lambdabot> | stop telling me what to do |
| 17:38:26 | <monochrom> | OK one more. |
| 17:38:27 | <monochrom> | @slap monochrom |
| 17:38:27 | lambdabot | hits monochrom with an assortment of kitchen utensils |
| 17:38:33 | <monochrom> | Like that. :) |
| 17:41:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:42:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:45:27 | → | shapr joins (~user@2600:4040:5c49:5600:ccb9:1644:ee29:9ab3) |
| 17:47:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 17:47:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:48:48 | <yin> | that was unexpected |
| 17:51:14 | Digit | is now known as digitteknohippie |
| 17:51:22 | digitteknohippie | is now known as Digit |
| 17:51:42 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 17:54:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:54:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:59:11 | <tomsmeding> | shapr: that's quite a brag-worthy story right there |
| 18:01:40 | → | myme joins (~myme@2a01:799:d5e:5f00:1048:3294:2392:ce2) |
| 18:01:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:02:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:04:52 | <ski> | @get-shapr |
| 18:04:52 | <lambdabot> | shapr!! |
| 18:05:31 | ski | kinda misses `@define' undefining .. |
| 18:06:52 | shapr | awakens |
| 18:06:54 | <shapr> | HELLO |
| 18:06:59 | <shapr> | ski: you screamt? |
| 18:07:09 | <EvanR> | @get-ski |
| 18:07:09 | <lambdabot> | Unknown command, try @list |
| 18:07:45 | <shapr> | tomsmeding: do lots of things, and you will likely have an influence on the future? |
| 18:07:53 | <tomsmeding> | yes :) |
| 18:08:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:08:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:09:01 | → | ft joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 18:10:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:11:42 | <int-e> | ski: well it's memorialized in a comment: 'aliases = ["define"] -- because @define always gets "corrected" to @undefine' |
| 18:11:53 | → | califax joins (~califax@user/califx) |
| 18:13:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:14:18 | → | prdak joins (~Thunderbi@user/prdak) |
| 18:15:00 | → | califax joins (~califax@user/califx) |
| 18:17:06 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:17:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:18:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:19:37 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 18:22:45 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 18:22:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:23:28 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:24:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:24:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:25:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:26:13 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 18:27:33 | <ski> | @define |
| 18:27:33 | <lambdabot> | Define what? |
| 18:27:42 | <ski> | unfortunately, no longer ^ |
| 18:28:18 | <ski> | shapr : boinged today ? |
| 18:30:51 | <int-e> | ski: "no longer" -- yeah that's how memorials usually work |
| 18:31:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:32:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:37:35 | × | shaeto quits (~Shaeto@94.25.234.79) (Ping timeout: 260 seconds) |
| 18:37:40 | shapr | boings |
| 18:39:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:39:35 | → | shaeto joins (~Shaeto@94.25.234.216) |
| 18:39:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:45:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 18:47:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:47:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:49:51 | → | Guest59 joins (~Guest59@75.102.136.100) |
| 18:55:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:55:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:57:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:00:02 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym7 joins (~caconym@user/caconym) |
| 19:03:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:03:20 | → | Axma84968 joins (~Axman6@user/axman6) |
| 19:03:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:04:43 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 19:05:42 | × | shaeto quits (~Shaeto@94.25.234.216) (Ping timeout: 252 seconds) |
| 19:07:53 | → | shaeto joins (~Shaeto@94.25.234.255) |
| 19:09:03 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 19:10:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:10:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:14:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 19:14:06 | → | notzmv joins (~daniel@user/notzmv) |
| 19:16:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 19:16:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:17:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:23:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:23:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:25:32 | <monochrom> | @define mu f = let x = f x = x |
| 19:25:32 | <lambdabot> | Parse failed: Parse error: = |
| 19:25:38 | <monochrom> | @define |
| 19:25:38 | <lambdabot> | Define what? |
| 19:25:49 | <monochrom> | @define mu |
| 19:25:49 | <lambdabot> | Parse failed: TemplateHaskell language extension is not enabled. Please add ... |
| 19:26:05 | <tomsmeding> | @undefine mu |
| 19:26:05 | <lambdabot> | There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. |
| 19:26:08 | <monochrom> | Oh, maybe this |
| 19:26:14 | <monochrom> | @define let mu f = let x = f x = x |
| 19:26:14 | <lambdabot> | Parse failed: Parse error: = |
| 19:26:25 | <monochrom> | OK not that, now I don't know what it is. |
| 19:26:27 | <tomsmeding> | @define mu f = let x = f x in x |
| 19:26:28 | <lambdabot> | Defined. |
| 19:26:37 | <monochrom> | Oh I had a typo. My bad. |
| 19:26:47 | <tomsmeding> | > mu (1:) |
| 19:26:48 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 19:29:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:29:29 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 19:30:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:31:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:37:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:37:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:37:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:38:19 | × | Unhammer quits (~Unhammer@user/unhammer) (Ping timeout: 252 seconds) |
| 19:41:49 | <sprout> | > take 5 (mu (1:)) |
| 19:41:51 | <lambdabot> | [1,1,1,1,1] |
| 19:43:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:43:52 | × | shaeto quits (~Shaeto@94.25.234.255) (Ping timeout: 268 seconds) |
| 19:44:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:44:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:47:17 | <Guest59> | Hello, I have a question. I was wondering how one might implement the equivalent of 'beside' from the 'lens' library in the 'optics-core' library. For reference, I managed to implement a basic version as 'beside lo ro = Optic $ wander $ \afb -> bitraverse (traverseOf lo) (traverseOf ro)' which has type (Bitraversable r, Is k A_Traversal, Is k' |
| 19:47:18 | <Guest59> | A_Traversal) => Optic k is s t a b -> Optic k' is s' t' a b -> Optic A_Traversal NoIx (r s s') (r t t') a b. This basic version unfortunately doesn't preserve the index unlike the lens version. It also doesn't work when both its arguments are Folds (in which case the resulting optic should be a fold) but not Traversals. |
| 19:49:23 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 19:49:27 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:51:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 19:51:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:52:21 | → | Digitteknohippie joins (~user@user/digit) |
| 19:53:25 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 19:55:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:01 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 19:59:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:59:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:59:54 | × | yangby quits (~secret@183.159.106.182) (Ping timeout: 240 seconds) |
| 20:00:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 20:01:54 | → | yangby joins (~secret@115.192.233.46) |
| 20:04:05 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:05:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:06:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:08:35 | → | sprotte24 joins (~sprotte24@p200300d16f059500dc4f04ac2c9a13e6.dip0.t-ipconnect.de) |
| 20:09:19 | <haskellbridge> | <yin> test |
| 20:09:39 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:09:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:10:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:10:58 | → | Digit joins (~user@user/digit) |
| 20:11:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:12:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:12:49 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:13:02 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 20:15:30 | Digit | is now known as digitteknohippie |
| 20:15:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:15:47 | digitteknohippie | is now known as Digit |
| 20:17:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:18:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:19:54 | × | yangby quits (~secret@115.192.233.46) (Ping timeout: 240 seconds) |
| 20:23:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:23:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:24:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:25:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 20:25:58 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 20:26:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:26:55 | <EvanR> | failed |
| 20:27:50 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:27:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:28:04 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 20:28:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:31:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:33:50 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 268 seconds) |
| 20:35:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:35:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:35:32 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 20:38:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:39:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:40:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:42:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:43:32 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:43:42 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 268 seconds) |
| 20:43:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:44:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:45:12 | <yin> | i hate the matrix bridge |
| 20:45:26 | <EvanR> | :( |
| 20:46:34 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 20:48:43 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:49:55 | → | ttybitni` joins (~ttybitnik@user/wolper) |
| 20:49:56 | × | ttybitni` quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 20:50:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:51:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:52:05 | <sm> | because... |
| 20:53:37 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 252 seconds) |
| 20:54:55 | <EvanR> | I hate passwords and authentication |
| 20:55:06 | <EvanR> | sm, go ahead you're next |
| 20:56:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:56:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:56:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:05 | <sm> | I try not to hate, hated things grow bigger :) |
| 20:57:50 | × | Everything quits (~Everythin@77.120.244.38) (Quit: leaving) |
| 20:57:53 | <EvanR> | too late for passwords and authentication then |
| 20:57:58 | <sm> | ok. I strongly prefer well-documented things. |
| 21:01:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:02:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:02:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:04:40 | → | haritz joins (~hrtz@152.37.64.162) |
| 21:04:40 | × | haritz quits (~hrtz@152.37.64.162) (Changing host) |
| 21:04:40 | → | haritz joins (~hrtz@user/haritz) |
| 21:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:08:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:08:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:08:44 | trickard_ | is now known as trickard |
| 21:13:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 21:15:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:15:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:22:01 | → | pavonia joins (~user@user/siracusa) |
| 21:22:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:22:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:24:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:27:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:27:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:29:47 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:32:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:32:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:33:05 | × | jespada quits (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 21:36:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 21:36:59 | → | jespada joins (~jespada@r179-25-40-226.dialup.adsl.anteldata.net.uy) |
| 21:39:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:39:45 | × | foul_owl quits (~kerry@94.156.149.99) (Ping timeout: 272 seconds) |
| 21:39:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:40:39 | <monochrom> | I hate microorganisms. |
| 21:41:20 | <monochrom> | (Bwhahaha now I have started the countdown to the apocalypse of microorganisms becoming big monsters.) |
| 21:41:40 | <monochrom> | I hate Lean. |
| 21:41:57 | <monochrom> | (Bwhahaha 5 years from now Lean will be the monopolizing mainstream language!) |
| 21:42:18 | <monochrom> | (Inspired by today's smbc.) |
| 21:42:41 | <monochrom> | (Err, yesterday's smbc!) |
| 21:43:03 | monochrom | hates himself (bwahahaha) |
| 21:44:04 | → | Square2 joins (~Square4@user/square) |
| 21:44:58 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 21:46:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:46:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:47:01 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 21:47:03 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 21:52:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:52:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:53:25 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 248 seconds) |
| 21:53:38 | → | foul_owl joins (~kerry@94.156.149.99) |
| 21:58:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:58:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:01:45 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:02:58 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:03:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:03:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:03:56 | × | sprotte24 quits (~sprotte24@p200300d16f059500dc4f04ac2c9a13e6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 22:08:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:08:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:12:00 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:16:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:16:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:19:05 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 22:19:24 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 22:22:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:22:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:23:25 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:25:03 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:28:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:28:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:32:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:34:10 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:34:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 22:36:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:36:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:43:04 | × | Square2 quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 22:44:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:44:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:46:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 22:50:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:50:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:50:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:52:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:55:58 | → | prdak joins (~Thunderbi@user/prdak) |
| 22:56:15 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 22:56:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:57:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:00:40 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 23:00:40 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 23:01:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:02:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:03:06 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 23:03:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:04:28 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:04:55 | × | m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 268 seconds) |
| 23:08:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 23:08:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:09:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:09:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:13:49 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:14:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:14:47 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 23:14:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:18:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:21:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:21:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:21:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 23:21:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:22:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:22:57 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 23:25:39 | × | acidjnk quits (~acidjnk@p200300d6e71c4f45a83e2b5d0ad17840.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:26:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:27:11 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:27:27 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 23:27:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:28:16 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:28:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:28:45 | → | m1dnight joins (~m1dnight@d8D861908.access.telenet.be) |
| 23:31:50 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 23:32:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:33:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:33:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:36:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Client Quit) |
| 23:36:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:39:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:40:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:44:24 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 23:44:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:45:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:45:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:46:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:49:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:49:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:50:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 23:53:54 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 23:55:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:55:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:55:37 | × | shapr quits (~user@2600:4040:5c49:5600:ccb9:1644:ee29:9ab3) (Ping timeout: 276 seconds) |
| 23:57:02 | → | simon1 joins (~simon@204.48.76.205) |
All times are in UTC on 2025-06-04.