Home liberachat/#haskell: Logs Calendar

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

00:01:51 → prdak joins (~Thunderbi@user/prdak)
00:04:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:04:33 × jespada quits (~jespada@r179-25-18-162.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
00:04:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:06:15 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
00:08:10 × laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
00:09:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:09:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:13:16 → loreto joins (~loreto@user/loreto)
00:16:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:16:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:17:08 → Leary joins (~Leary@user/Leary/x-0910699)
00:17:49 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
00:20:18 × craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
00:21:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:21:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:26:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:27:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:27:58 → ljdarj1 joins (~Thunderbi@user/ljdarj)
00:30:12 → loreto joins (~loreto@user/loreto)
00:30:45 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
00:30:46 ljdarj1 is now known as ljdarj
00:32:17 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:33:25 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds)
00:33:46 → califax joins (~califax@user/califx)
00:34:55 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
00:34:57 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:35:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:39:20 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
00:40:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:41:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:43:11 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
00:45:27 → pabs3 joins (~pabs3@user/pabs3)
00:47:00 → loreto joins (~loreto@user/loreto)
00:47:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:47:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:49:32 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
00:50:16 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 268 seconds)
00:53:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
00:53:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:58:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
00:58:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:59:40 → loreto joins (~loreto@user/loreto)
01:03:11 → pabs3 joins (~pabs3@user/pabs3)
01:04:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
01:04:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:06:35 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
01:06:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:07:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:07:23 × philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal)
01:09:10 → loreto joins (~loreto@user/loreto)
01:13:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:13:17 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
01:13:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:16:23 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
01:16:32 → loreto joins (~loreto@user/loreto)
01:17:34 → Lycurgus joins (~juan@user/Lycurgus)
01:18:34 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
01:18:37 × xff0x quits (~xff0x@2405:6580:b080:900:8670:321c:2f1b:2d5d) (Ping timeout: 252 seconds)
01:21:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:21:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:21:46 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:22:50 × pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
01:23:12 → pabs3 joins (~pabs3@user/pabs3)
01:25:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:25:14 → yangby joins (~secret@115.192.233.46)
01:25:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:26:10 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:26:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
01:29:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:29:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:32:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:33:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:33:28 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
01:33:37 → loreto joins (~loreto@user/loreto)
01:37:33 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:38:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:38:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:43:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
01:43:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
01:43:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:49:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:49:48 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
01:49:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:52:56 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
01:53:19 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:54:14 → img joins (~img@user/img)
01:54:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
01:54:57 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:55:11 → trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au)
01:55:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
01:57:43 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
01:58:15 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:00:49 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
02:00:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:00:58 → loreto joins (~loreto@user/loreto)
02:01:12 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:02:57 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:05:01 × thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
02:05:07 → tccq joins (~user@user/tccq)
02:06:08 → trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au)
02:07:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:07:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:07:52 → thaumavorio joins (~thaumavor@thaumavor.io)
02:09:07 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:11:30 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:12:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:13:20 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:14:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
02:15:48 → xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:16:16 → trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au)
02:18:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:18:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:23:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:23:43 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:27:33 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
02:27:42 → loreto joins (~loreto@user/loreto)
02:29:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:29:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:34:23 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
02:34:32 → loreto joins (~loreto@user/loreto)
02:34:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:35:17 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:35:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:35:55 × myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
02:39:57 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
02:40:06 → loreto joins (~loreto@user/loreto)
02:41:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
02:41:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:42:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
02:47:03 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
02:47:12 → loreto joins (~loreto@user/loreto)
02:47:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:47:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:53:21 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:54:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:55:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:55:03 × td_ quits (~td@i53870924.versanet.de) (Ping timeout: 265 seconds)
02:55:31 → tavare joins (~tavare@user/tavare)
02:55:38 × tavare quits (~tavare@user/tavare) (Remote host closed the connection)
02:56:34 → td_ joins (~td@i5387091A.versanet.de)
02:57:47 → myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com)
02:58:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:59:18 → Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::49)
02:59:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:00:03 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:03:08 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:03:17 → loreto joins (~loreto@user/loreto)
03:05:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
03:05:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:07:49 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:07:58 → loreto joins (~loreto@user/loreto)
03:09:07 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:12:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:12:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:13:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:15:39 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:15:48 → loreto joins (~loreto@user/loreto)
03:17:31 → Meinong joins (~user@2600:8807:2486:6500:216:3eff:fe3b:f890)
03:17:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:18:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:22:31 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:22:41 → loreto joins (~loreto@user/loreto)
03:24:53 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:24:54 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:25:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:27:13 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:27:22 → loreto joins (~loreto@user/loreto)
03:29:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:32:04 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:32:13 → loreto joins (~loreto@user/loreto)
03:34:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:34:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:36:45 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:36:54 → loreto joins (~loreto@user/loreto)
03:39:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:40:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:40:43 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:44:21 × califax quits (~califax@user/califx) (Remote host closed the connection)
03:45:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:45:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:46:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:46:25 → califax joins (~califax@user/califx)
03:48:05 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
03:48:14 → loreto joins (~loreto@user/loreto)
03:51:38 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
03:51:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:52:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:55:16 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:57:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
03:57:59 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
03:58:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
03:58:25 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
04:00:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
04:04:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:05:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:06:55 × Meinong quits (~user@2600:8807:2486:6500:216:3eff:fe3b:f890) (Ping timeout: 276 seconds)
04:08:36 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
04:08:44 → loreto joins (~loreto@user/loreto)
04:11:01 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:11:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
04:12:07 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:13:47 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
04:13:56 → loreto joins (~loreto@user/loreto)
04:15:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
04:16:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:16:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:18:29 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
04:18:38 → loreto joins (~loreto@user/loreto)
04:20:30 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:22:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:22:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:22:41 trickard_ is now known as trickard
04:23:49 → hgolden2 joins (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62)
04:25:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
04:27:45 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
04:27:54 → loreto joins (~loreto@user/loreto)
04:29:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:30:03 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:33:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:33:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:36:17 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:38:32 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
04:39:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:39:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:40:06 → michalz joins (~michalz@185.246.207.205)
04:41:23 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
04:43:09 × hgolden2 quits (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) (Ping timeout: 260 seconds)
04:44:35 × remexre quits (~remexre@user/remexre) (Remote host closed the connection)
04:46:10 → remexre joins (~remexre@user/remexre)
04:46:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:47:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:51:53 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
04:52:04 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:53:30 trickard_ is now known as trickard
04:54:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:54:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:57:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
04:57:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
04:57:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
04:59:13 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
05:00:29 → prdak joins (~Thunderbi@user/prdak)
05:01:45 × bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
05:02:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:02:38 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
05:02:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:04:44 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
05:06:03 → bliminse joins (~bliminse@user/bliminse)
05:06:11 × arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds)
05:08:06 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:08:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:08:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:12:11 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
05:12:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
05:14:20 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:14:29 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:14:43 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
05:14:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:19:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:20:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:21:31 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:25:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:25:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:28:18 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:29:35 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:30:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:31:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:36:44 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:37:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:38:21 → prdak joins (~Thunderbi@user/prdak)
05:40:06 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:41:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:42:00 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:42:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:42:14 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
05:43:14 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
05:44:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:47:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:47:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:48:11 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
05:48:30 → loreto joins (~loreto@user/loreto)
05:53:19 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:53:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
05:53:55 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:55:33 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:57:40 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:57:54 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
06:00:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
06:00:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:01:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:05:31 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
06:05:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
06:06:17 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:10:57 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:11:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:11:22 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:16:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
06:17:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
06:17:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:22:30 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:23:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
06:24:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:29:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:29:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:31:48 × Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::49) (Remote host closed the connection)
06:32:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
06:35:11 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:35:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:35:42 → loreto joins (~loreto@user/loreto)
06:38:08 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:40:00 × califax quits (~califax@user/califx) (Remote host closed the connection)
06:40:31 → __monty__ joins (~toonn@user/toonn)
06:40:59 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
06:41:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
06:41:28 → califax joins (~califax@user/califx)
06:41:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:41:40 × ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
06:42:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:43:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:43:28 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:44:15 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
06:47:53 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:48:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:48:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:52:12 → loreto joins (~loreto@user/loreto)
06:53:14 × Pixi` quits (~Pixi@user/pixi) (Quit: Leaving)
06:53:32 → Pixi joins (~Pixi@user/pixi)
06:53:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:54:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
06:58:49 → tromp joins (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798)
06:59:13 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:59:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
06:59:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:00:02 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
07:00:43 → caconym7 joins (~caconym@user/caconym)
07:01:12 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
07:03:09 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
07:03:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:03:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:06:05 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
07:09:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:09:31 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
07:09:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:11:54 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:12:08 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
07:14:23 → prdak joins (~Thunderbi@user/prdak)
07:14:34 → loreto joins (~loreto@user/loreto)
07:15:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:15:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:15:33 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
07:17:16 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:19:37 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
07:21:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:21:43 → rvalue- joins (~rvalue@user/rvalue)
07:21:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:22:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
07:22:34 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 276 seconds)
07:23:30 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:25:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:26:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:26:37 rvalue- is now known as rvalue
07:26:45 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
07:27:06 → prdak joins (~Thunderbi@user/prdak)
07:28:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
07:29:02 → oskarw joins (~user@user/oskarw)
07:30:31 → loreto joins (~loreto@user/loreto)
07:30:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:31:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:31:23 → acidjnk joins (~acidjnk@p200300d6e71c4f5968a828eaf3f04caa.dip0.t-ipconnect.de)
07:32:22 → CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
07:33:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:33:42 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:35:48 → xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
07:37:21 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
07:39:18 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:39:33 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
07:39:41 → shaeto joins (~Shaeto@94.25.234.255)
07:39:54 → prdak joins (~Thunderbi@user/prdak)
07:40:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:40:48 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:44:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
07:45:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:45:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:49:28 → loreto joins (~loreto@user/loreto)
07:52:22 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:53:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
07:54:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:55:05 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
07:55:06 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:57:20 <oskarw> Do you know why I can't go to package page from function list on hackage? For example, how to go from this page https://hackage.haskell.org/package/stm-2.5.3.1/docs/Control-Concurrent-STM-TVar.html to this page https://hackage.haskell.org/package/stm-2.5.3.1
07:57:43 <oskarw> Without editing url
07:59:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:59:47 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:00:00 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
08:00:03 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:00:41 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
08:01:12 <haskellbridge> <Alp Mestanogullari> oskarw: you need to click "Contents" at the top I think
08:01:39 <oskarw> haskellbridge: you are right, thank you
08:02:27 → loreto joins (~loreto@user/loreto)
08:04:34 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
08:04:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:05:20 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:09:01 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
08:09:12 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:09:39 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
08:11:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:12:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:16:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:16:56 → prdak joins (~Thunderbi@user/prdak)
08:17:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:19:48 × gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds)
08:20:24 → loreto joins (~loreto@user/loreto)
08:20:37 → jmnyarega joins (~jmnyarega@user/jmnyarega)
08:20:38 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
08:21:15 → jmnyarega joins (~jmnyarega@user/jmnyarega)
08:21:16 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Remote host closed the connection)
08:22:27 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
08:22:46 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
08:25:14 → Axman6 joins (~Axman6@user/axman6)
08:25:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:26:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:26:45 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
08:27:08 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
08:28:22 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
08:31:39 → autarkied joins (~autarkied@user/autarkied)
08:33:13 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:33:35 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:37:52 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:38:02 → loreto joins (~loreto@user/loreto)
08:38:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:40:16 → arahael joins (~arahael@user/arahael)
08:44:29 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
08:45:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:45:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:46:26 → gentauro joins (~gentauro@user/gentauro)
08:47:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:47:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:49:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:50:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:55:05 → loreto joins (~loreto@user/loreto)
08:55:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
08:56:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:59:03 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
09:00:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:00:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:00:57 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
09:02:51 × autarkied quits (~autarkied@user/autarkied) (Ping timeout: 272 seconds)
09:03:22 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
09:04:39 → laurapigeon joins (~laurapige@215.32.9.51.dyn.plus.net)
09:04:39 × laurapigeon quits (~laurapige@215.32.9.51.dyn.plus.net) (Changing host)
09:04:39 → laurapigeon joins (~laurapige@user/laurapigeon)
09:06:04 → Lycurgus joins (~juan@user/Lycurgus)
09:06:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:06:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:08:36 × down200 quits (~down200@shell.lug.mtu.edu) (Ping timeout: 276 seconds)
09:10:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:10:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:11:05 → down200 joins (~down200@shell.lug.mtu.edu)
09:11:20 → autarkied joins (~autarkied@user/autarkied)
09:11:34 ← autarkied parts (~autarkied@user/autarkied) ()
09:12:09 → loreto joins (~loreto@user/loreto)
09:14:42 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 268 seconds)
09:16:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
09:16:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:17:09 × down200 quits (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds)
09:18:37 → down200 joins (~down200@shell.lug.mtu.edu)
09:18:41 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
09:21:31 → Square joins (~Square@user/square)
09:21:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:22:06 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:28:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:28:52 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:31:17 → loreto joins (~loreto@user/loreto)
09:32:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:32:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:32:36 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
09:37:41 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
09:39:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:39:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:43:50 → jmnyarega joins (~jmnyarega@user/jmnyarega)
09:43:51 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
09:44:27 → jmnyarega joins (~jmnyarega@user/jmnyarega)
09:44:29 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
09:45:46 → jmnyarega joins (~jmnyarega@user/jmnyarega)
09:45:47 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
09:46:33 → jmnyarega joins (~jmnyarega@user/jmnyarega)
09:46:34 × jmnyarega quits (~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
09:46:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:47:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
09:48:58 → loreto joins (~loreto@user/loreto)
09:53:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
09:54:09 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
09:54:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:01:53 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:02:00 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:02:07 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
10:02:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:03:32 → fp joins (~Thunderbi@2001:708:20:1406::10c5)
10:04:51 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
10:05:15 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
10:05:41 × JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds)
10:06:17 → loreto joins (~loreto@user/loreto)
10:07:24 × pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer)
10:08:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:08:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:08:37 → gmg joins (~user@user/gehmehgeh)
10:09:58 → pointlessslippe1 joins (~pointless@62.106.85.17)
10:11:12 trickard_ is now known as trickard
10:11:15 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
10:13:39 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:14:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:15:28 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
10:17:10 → wootehfoot joins (~wootehfoo@user/wootehfoot)
10:21:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
10:21:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:24:14 → loreto joins (~loreto@user/loreto)
10:25:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:25:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:28:06 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
10:29:57 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
10:30:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:30:53 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
10:31:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:35:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:36:20 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:39:06 → xff0x joins (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36)
10:40:23 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:40:38 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
10:40:43 → ljdarj joins (~Thunderbi@user/ljdarj)
10:42:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:43:14 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:43:33 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
10:44:06 → loreto joins (~loreto@user/loreto)
10:46:36 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
10:49:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:50:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:51:09 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
10:51:14 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
10:56:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
10:56:41 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
10:56:49 × tromp quits (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:59:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:00:57 × califax quits (~califax@user/califx) (Remote host closed the connection)
11:01:17 → califax joins (~califax@user/califx)
11:01:23 → loreto joins (~loreto@user/loreto)
11:01:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
11:01:43 → jespada joins (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy)
11:01:47 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:05:09 × oskarw quits (~user@user/oskarw) (Ping timeout: 265 seconds)
11:06:48 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
11:07:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:07:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:10:09 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
11:10:58 → justsomeguy joins (~justsomeg@user/justsomeguy)
11:11:24 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:14:54 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:15:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:16:03 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
11:16:44 → rvalue joins (~rvalue@user/rvalue)
11:18:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
11:22:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:22:14 → loreto joins (~loreto@user/loreto)
11:22:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:22:46 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
11:24:37 → prdak joins (~Thunderbi@user/prdak)
11:26:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:26:42 → ft_ joins (~ft@p3e9bc106.dip0.t-ipconnect.de)
11:27:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:27:15 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
11:28:03 → loreto joins (~loreto@user/loreto)
11:29:48 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:31:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:33:35 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
11:34:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
11:35:00 trickard_ is now known as trickard
11:35:06 → ss4 joins (~wootehfoo@user/wootehfoot)
11:35:19 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:37:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:37:57 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds)
11:41:50 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
11:44:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
11:45:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:45:08 → loreto joins (~loreto@user/loreto)
11:47:29 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
11:48:09 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
11:51:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:51:19 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
11:51:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
11:51:35 → prdak joins (~Thunderbi@user/prdak)
11:55:47 → loreto joins (~loreto@user/loreto)
11:56:37 trickard_ is now known as trickard
11:58:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
11:59:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:01:49 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
12:02:43 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
12:04:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:04:38 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:04:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:08:13 → aman joins (~aman@user/aman)
12:08:52 → CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
12:09:51 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
12:11:15 → d joins (~d@220.240.159.234)
12:11:39 d is now known as Guest1658
12:11:51 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:12:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:12:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:13:47 → prdak joins (~Thunderbi@user/prdak)
12:14:20 → loreto joins (~loreto@user/loreto)
12:18:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:19:12 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:20:17 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:20:27 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
12:22:47 × Guest1658 quits (~d@220.240.159.234) (Quit: Guest1658)
12:23:04 → d joins (~d@220.240.159.234)
12:23:07 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
12:23:28 d is now known as Guest1118
12:23:38 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
12:25:17 → fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi)
12:25:37 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:26:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:27:52 × jespada quits (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
12:28:10 → loreto joins (~loreto@user/loreto)
12:29:41 → jespada joins (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy)
12:30:13 × alp quits (~alp@2001:861:8ca0:4940:5e69:cd24:f8f:385a) (Ping timeout: 252 seconds)
12:33:09 trickard_ is now known as trickard
12:34:23 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
12:36:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:36:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:39:09 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
12:39:53 → prdak joins (~Thunderbi@user/prdak)
12:41:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:42:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:45:39 → loreto joins (~loreto@user/loreto)
12:47:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:47:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:51:29 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
12:54:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
12:54:58 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
12:58:40 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
13:00:07 → prdak joins (~Thunderbi@user/prdak)
13:00:59 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:01:13 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
13:03:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:04:03 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:04:44 → loreto joins (~loreto@user/loreto)
13:05:03 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 252 seconds)
13:07:39 × mesaoptimizer quits (~mesa@user/PapuaHardyNet) (Quit: WeeChat 4.0.4)
13:08:08 → mesaoptimizer joins (~mesa@user/PapuaHardyNet)
13:08:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:08:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:15:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:15:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:16:08 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
13:16:59 trickard_ is now known as trickard
13:17:30 ft_ is now known as ft
13:18:09 → TMA joins (tma@twin.jikos.cz)
13:21:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:21:45 × Guest1118 quits (~d@220.240.159.234) (Quit: Guest1118)
13:22:00 → socrates1298 joins (~socrates1@220.240.159.234)
13:22:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:25:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:26:00 × socrates1298 quits (~socrates1@220.240.159.234) (Client Quit)
13:26:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:27:39 → socrates1298 joins (~socrates1@220.240.159.234)
13:29:18 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
13:29:38 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:31:20 × socrates1298 quits (~socrates1@220.240.159.234) (Client Quit)
13:33:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:33:24 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:39:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:40:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:42:46 → socrates1298 joins (~socrates1@220.240.159.234)
13:46:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:46:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:51:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:52:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
13:52:29 → ljdarj joins (~Thunderbi@user/ljdarj)
13:55:38 × trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:55:53 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
13:59:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
13:59:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:02:14 × socrates1298 quits (~socrates1@220.240.159.234) (Ping timeout: 272 seconds)
14:04:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
14:04:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:06:55 × mange quits (~mange@user/mange) (Quit: Zzz...)
14:06:58 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
14:09:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
14:10:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:12:33 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
14:15:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:15:48 → Sgeo joins (~Sgeo@user/sgeo)
14:16:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:21:33 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:21:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:22:04 × puke quits (~puke@user/puke) (Ping timeout: 252 seconds)
14:23:44 → target_i joins (~target_i@user/target-i/x-6023099)
14:24:01 → loreto joins (~loreto@user/loreto)
14:26:53 → puke joins (~puke@user/puke)
14:27:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:28:12 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:29:01 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
14:32:08 × ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
14:33:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:34:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:35:37 → trickard joins (~trickard@cpe-60-98-47-163.wireline.com.au)
14:35:49 × trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
14:39:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
14:40:14 → loreto joins (~loreto@user/loreto)
14:40:16 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:42:37 × aman quits (~aman@user/aman) (Ping timeout: 276 seconds)
14:45:29 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
14:47:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:47:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:51:14 × shaeto quits (~Shaeto@94.25.234.255) (Ping timeout: 245 seconds)
14:51:14 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
14:52:45 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
14:53:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:53:24 → shaeto joins (~Shaeto@94.25.234.163)
14:53:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
14:53:43 × trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
14:53:43 trickard_ is now known as trickard
14:54:38 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
14:56:48 → loreto joins (~loreto@user/loreto)
14:57:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
14:58:04 × trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:58:04 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
14:58:19 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:01:35 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:03:31 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
15:03:58 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:04:21 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:04:29 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
15:08:50 → haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
15:08:50 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
15:08:50 → haritz joins (~hrtz@user/haritz)
15:10:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:10:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:11:47 → loreto joins (~loreto@user/loreto)
15:12:23 → euphores joins (~SASL_euph@user/euphores)
15:13:16 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:14:18 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
15:17:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:17:09 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
15:17:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:20:18 → aman joins (~aman@user/aman)
15:21:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:21:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:23:25 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
15:24:37 × fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
15:28:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:28:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:29:24 → loreto joins (~loreto@user/loreto)
15:31:58 → prdak joins (~Thunderbi@user/prdak)
15:34:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:34:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:37:53 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
15:38:12 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:38:25 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
15:39:40 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:40:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:46:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:47:01 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:52:37 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
15:52:42 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:53:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:55:20 × laurapigeon quits (~laurapige@user/laurapigeon) (Ping timeout: 260 seconds)
15:56:57 → alexherbo2 joins (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net)
15:58:30 → loreto joins (~loreto@user/loreto)
15:58:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:59:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:00:27 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
16:00:31 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
16:01:26 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
16:04:45 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:05:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:05:13 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
16:05:30 → tomboy64 joins (~tomboy64@user/tomboy64)
16:09:19 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
16:09:28 → loreto joins (~loreto@user/loreto)
16:10:24 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
16:10:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:11:11 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:11:13 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:11:32 trickard_ is now known as trickard
16:16:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:17:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:20:41 × alexherbo2 quits (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection)
16:20:50 → alexherbo2 joins (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net)
16:22:57 × alexherbo2 quits (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection)
16:23:06 → alexherbo2 joins (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net)
16:24:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:25:12 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:26:05 × alexherbo2 quits (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection)
16:30:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:30:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:32:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
16:32:44 → trickard__ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
16:33:20 × trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
16:33:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:34:15 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:40:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:40:37 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:43:23 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:47:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:47:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:50:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
16:52:12 → ttybitnik joins (~ttybitnik@user/wolper)
16:52:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
16:53:08 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
16:53:43 → tank joins (~tank@user/tank)
16:54:45 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:56:42 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
16:57:23 → prdak joins (~Thunderbi@user/prdak)
16:58:32 → ljdarj joins (~Thunderbi@user/ljdarj)
16:59:11 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
17:00:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:00:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:01:05 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds)
17:01:25 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:01:37 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
17:04:45 × ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds)
17:06:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:06:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:06:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
17:13:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:13:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:14:15 → prdak joins (~Thunderbi@user/prdak)
17:16:59 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:17:27 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:17:34 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:18:55 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
17:22:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
17:22:31 → prdak joins (~Thunderbi@user/prdak)
17:23:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
17:24:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:25:37 × trickard__ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
17:25:50 → trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
17:27:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:27:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:29:24 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
17:33:19 → sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net)
17:33:21 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:34:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:35:02 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:36:32 → jmcantrell joins (~weechat@user/jmcantrell)
17:38:06 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
17:38:13 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:38:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
17:39:09 × shaeto quits (~Shaeto@94.25.234.163) (Ping timeout: 268 seconds)
17:40:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:40:40 → shaeto joins (~Shaeto@94.25.234.65)
17:40:46 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:44:20 → ttybitnik joins (~ttybitnik@user/wolper)
17:47:38 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
17:48:34 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
17:49:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:49:07 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:50:52 → bitmapper joins (uid464869@id-464869.lymington.irccloud.com)
17:53:16 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
17:54:12 × shaeto quits (~Shaeto@94.25.234.65) (Quit: WeeChat 4.1.1)
17:54:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
17:54:55 × ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds)
17:56:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
17:56:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
17:56:39 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:58:31 <tomsmeding> can I make GHC not complain about this intentionally "inaccessible code"? https://play.haskell.org/saved/UmbPMHoc
17:59:16 <tomsmeding> (in my actual application, 'foo' needs to be in CPS style because it introduces some existential variables; here it's somewhat redundant)
17:59:58 <tomsmeding> the idea is that I want some small parts of 'foo' to be configurable, and some configuration values mean that certain "return values" of 'foo' are not available
18:00:45 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
18:00:52 <tomsmeding> this SBool pattern seems to work well, but I don't see a way to circumvent the "inaccessible code" warning
18:01:32 <tomsmeding> oh -- the If is unused, ignore that
18:01:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:02:14 <tomsmeding> (it's a remnant of an earlier attempt: I cannot use If here because the possibly-returned return value, here "String" for example's sake, is a polymorphic function type in my application, and you can't apply a type family to a forall-quantified type
18:02:16 <tomsmeding> )
18:02:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:02:40 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:03:37 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
18:03:48 × aman quits (~aman@user/aman) (Ping timeout: 268 seconds)
18:08:27 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:09:15 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:09:16 <geekosaur> there's a magic pattern thing that I can never find in the manual
18:09:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:12:25 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:14:56 <geekosaur> and I still can't find it 😞
18:16:18 trickard_ is now known as trickard
18:18:00 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
18:18:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
18:18:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:19:18 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:23:40 <tomsmeding> geekosaur: what kind of magic pattern thing?
18:23:50 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:24:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:24:29 × trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:24:51 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
18:25:26 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
18:27:22 <geekosaur> somewhere in a discussion of pattern match checking in the manual is a mention of a special pattern that means "this is used" iirc
18:27:50 <tomsmeding> geekosaur: there is not even a pattern in sight here
18:27:55 <geekosaur> but it's not an obvious place at least to me
18:28:06 <geekosaur> oh
18:28:23 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:29:18 <tomsmeding> geekosaur: the 'undefined' is of type (False ~ True => String)
18:29:32 <tomsmeding> and GHC warns that this code is inaccessible
18:29:34 <tomsmeding> well, yes
18:29:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:29:54 <tomsmeding> normally when it complains about inaccessible code, one can just remove the branch, but not here!
18:30:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:31:00 <geekosaur> hm. I have no idea then 😟
18:31:35 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:32:48 → Lycurgus joins (~juan@user/Lycurgus)
18:34:54 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
18:35:16 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
18:36:31 <tomsmeding> I have a workaround with a datatype
18:36:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:36:45 <tomsmeding> slightly more noisy because I need to add a data constructor in between everything, but it works
18:37:07 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:40:25 → ttybitnik joins (~ttybitnik@user/wolper)
18:40:51 → prdak joins (~Thunderbi@user/prdak)
18:41:24 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:41:45 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:45:05 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
18:46:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:46:48 → wootehfoot joins (~wootehfoo@user/wootehfoot)
18:47:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:48:04 × ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 244 seconds)
18:52:09 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:52:38 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:52:59 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:56:24 → prdak joins (~Thunderbi@user/prdak)
18:56:34 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
18:58:19 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:00:03 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
19:00:41 → caconym7 joins (~caconym@user/caconym)
19:05:38 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:05:54 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
19:06:16 → ljdarj1 joins (~Thunderbi@user/ljdarj)
19:09:37 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
19:09:38 ljdarj1 is now known as ljdarj
19:10:55 → pavonia joins (~user@user/siracusa)
19:12:28 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:12:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:14:17 → prdak joins (~Thunderbi@user/prdak)
19:15:01 × connrs quits (~connrs@user/connrs) (Ping timeout: 248 seconds)
19:18:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:18:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:18:41 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:18:42 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
19:19:22 → prdak joins (~Thunderbi@user/prdak)
19:22:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:22:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:23:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:24:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:25:57 → hgolden2 joins (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62)
19:26:05 × iteratee_ quits (~kyle@199.119.84.78) (Ping timeout: 244 seconds)
19:27:47 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
19:27:51 → jmcantrell joins (~weechat@user/jmcantrell)
19:27:57 → prdak1 joins (~Thunderbi@user/prdak)
19:27:59 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
19:28:44 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
19:29:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:29:35 → prdak joins (~Thunderbi@user/prdak)
19:29:57 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:31:23 × hgolden2 quits (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) (Remote host closed the connection)
19:32:34 × prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
19:33:46 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:34:04 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
19:34:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
19:34:17 → ljdarj1 joins (~Thunderbi@user/ljdarj)
19:34:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:34:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
19:36:49 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
19:36:49 ljdarj1 is now known as ljdarj
19:39:23 × manwithluck quits (~manwithlu@2a09:bac5:5082:2432::39b:b0) (Remote host closed the connection)
19:40:05 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:41:08 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:41:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:43:03 → mjacob joins (~mjacob@adrastea.uberspace.de)
19:43:15 → manwithluck joins (~manwithlu@2a09:bac5:5082:2432::39b:b0)
19:43:52 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds)
19:44:40 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
19:45:47 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:46:28 → ljdarj1 joins (~Thunderbi@user/ljdarj)
19:48:03 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:48:07 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
19:48:25 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:50:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
19:50:35 × ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
19:51:18 → euphores joins (~SASL_euph@user/euphores)
19:51:31 × loreto quits (~loreto@user/loreto) (Remote host closed the connection)
19:51:43 → loreto joins (~loreto@user/loreto)
19:54:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
19:54:53 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
19:55:04 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
19:55:30 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
19:55:37 <mjacob> I’m trying to understand https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Implementation. In that section, it is said that “another popular way to implement HOAS (in, for example, compilers) is with de Bruijn indices”. Aren’t HOAS and de Bruijn indices different solutions to a similar problem (encoding binding)?
19:57:26 → tromp joins (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
19:57:35 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
20:00:35 <EvanR> it's conflating HAOS where you implement the function syntax using host language functions with implement the function object using debruijn indices to get the same result
20:01:02 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
20:01:03 <EvanR> wikipedia quality
20:01:23 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:01:34 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:01:34 <tomsmeding> that paragraph does read decidedly oddly
20:02:15 <EvanR> both representations leave you without variable names, but I'm not sure how HAOS makes alpha equivalence easy
20:02:35 <tomsmeding> alpha-equivalence is trivial with a HOAS representation because there are no names
20:02:43 <tomsmeding> same as with De Bruijn
20:02:48 <tomsmeding> that much is true
20:02:51 <EvanR> trivial, so just compare functions for equality? xD
20:03:04 → prdak1 joins (~Thunderbi@user/prdak)
20:03:16 <tomsmeding> no, as in, alpha-equivalent terms are always equal functions
20:03:25 <tomsmeding> you couldn't check it, but there is nothing to check in the first place
20:03:55 <EvanR> >Second, programs that are alpha-equivalent (differing only in the names of bound variables) have identical representations in HOAS, which can make equivalence checking more efficient.
20:04:08 <EvanR> is where I got lost
20:04:11 <tomsmeding> equivalence checking, as in alpha-beta-eta equivalence checking
20:04:19 <tomsmeding> where with HOAS, that simplifies to beta-eta equivalence checking
20:04:30 <EvanR> and how do you do that
20:04:41 <tomsmeding> that's the same question as "how do you do _anything_ with a HOAS term"
20:04:57 <EvanR> convert it to a normal datastructure making up names?
20:05:12 <EvanR> that would answer the original question
20:06:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:06:20 <tomsmeding> iirc what you do is when you want to inspect the term below a binder, you generate a name for the bound variable
20:06:23 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:06:29 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
20:06:29 prdak1 is now known as prdak
20:06:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:07:00 <tomsmeding> the recursive traversal of that body must then take an argument term which it is to put in the new locations of the bound variable
20:07:13 <tomsmeding> (assuming it changes the body somehow, potentially moving occurrences of the bound variable around)
20:07:57 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
20:10:06 <tomsmeding> but to be honest I've never quite properly understood HOAS as an AST representation
20:10:40 <tomsmeding> in Accelerate (a deeply embedded language in haskell), the program is first represented in HOAS form to retain sharing, but the only thing that's done with that is to _immediately_ convert it to De Bruijn form
20:11:34 <tomsmeding> but I have been told that in Coq (?) or something similar, people are using PHOAS (a variant of HOAS http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf ) as an actual internal representation of the AST
20:12:06 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:12:07 <mjacob> With a standard AST it’s straightforward to print a program that is semantically equivalent to the original program. It would be a fun exercise to do that directly with HOAS.
20:12:29 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:12:33 <tomsmeding> whether that's possible at all depends on how one precisely implements HOAS
20:12:44 <tomsmeding> e.g., do you have a "tag" constructor in your AST that you can use to instantiate variables?
20:15:23 → ljdarj joins (~Thunderbi@user/ljdarj)
20:16:14 → prdak1 joins (~Thunderbi@user/prdak)
20:16:55 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:17:17 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:19:12 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
20:19:12 prdak1 is now known as prdak
20:22:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:22:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:23:07 → sprotte24 joins (~sprotte24@p200300d16f0c040018af77b6150bc84b.dip0.t-ipconnect.de)
20:23:34 → juri_ joins (~juri@implicitcad.org)
20:26:25 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:26:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:32:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:32:42 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:32:48 → laurapigeon joins (~laurapige@user/laurapigeon)
20:36:16 → visilii_ joins (~visilii@213.24.125.211)
20:37:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:37:52 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:38:31 → iteratee joins (~kyle@199.119.84.78)
20:40:27 × visilii quits (~visilii@213.24.132.221) (Ping timeout: 268 seconds)
20:43:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:43:33 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:45:24 × yangby quits (~secret@115.192.233.46) (Ping timeout: 240 seconds)
20:48:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:48:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:54:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:55:04 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:00:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
21:00:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:02:41 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds)
21:05:07 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:05:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
21:05:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:06:30 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
21:09:54 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:09:57 × iteratee quits (~kyle@199.119.84.78) (Remote host closed the connection)
21:10:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
21:10:36 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:15:04 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:15:28 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:16:56 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:17:35 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
21:17:51 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:20:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:21:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:21:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:24:28 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:25:46 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:26:09 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:27:13 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
21:29:23 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:30:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:30:56 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:33:34 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
21:33:44 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
21:37:18 <ski> "you couldn't check it, but there is nothing to check in the first place" -- you can (pattern-match on functions, traversing inside their bodies), in lambdaProlog, Twelf (and MetaML), because the functions there are restricted, can't express general computation (in the MetaML case, you'd be matching on quoted functions, comparable to Template Haskell with quasiquotation, although a bit smoother)
21:37:23 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:37:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:39:09 × trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:39:23 → trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au)
21:39:51 → iteratee joins (~kyle@199.119.84.78)
21:40:08 <ski> (see the <https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Use_in_logic_programming> and <https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Use_in_logical_frameworks> (Twelf is implementation of LF) sections)
21:40:49 <ski> "The first programming language which directly supported λ-bindings in syntax was the higher-order logic programming language λProlog. The paper that introduced the term HOAS used λProlog code to illustrate it."
21:41:05 <tomsmeding> ski: I may be misunderstanding you, but are you saying "you can match on functions if you restrict functions to the ones you can match on"?
21:41:17 <tomsmeding> in which case: well, yes
21:42:48 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
21:43:13 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:45:15 <tomsmeding> also, I can't find any lambdaProlog code in the Pfenning/Elliott paper
21:45:23 <ski> more that there are implemented systems with notions of functions along these lines, making this idea practical
21:45:40 <tomsmeding> right
21:46:17 <ski> i also recall reading a paper (by Dale Miller, i think), of a system having both FP style (normal) functions, and a different type of matchable, restricted, functions
21:47:01 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
21:47:26 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:47:58 <ski> (in MetaML you instead would use the distinction between functions (not inspectable), and quotations of functions (inspectable). basically `T -> U' s. `TExp (T -> U)', in TH terms)
21:51:17 × ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds)
21:52:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:52:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:52:48 × michalz quits (~michalz@185.246.207.205) (Remote host closed the connection)
21:53:27 × iteratee quits (~kyle@199.119.84.78) (Ping timeout: 272 seconds)
21:57:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
21:57:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
21:59:54 × tromp quits (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:00:16 → iteratee joins (~kyle@199.119.84.78)
22:00:17 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
22:00:43 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:01:05 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:03:30 → ljdarj1 joins (~Thunderbi@user/ljdarj)
22:06:44 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
22:06:44 ljdarj1 is now known as ljdarj
22:07:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:07:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:09:47 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:13:55 × jespada quits (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
22:14:27 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:14:49 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:16:58 → jespada joins (~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy)
22:19:10 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:19:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:24:13 × iteratee quits (~kyle@199.119.84.78) (Remote host closed the connection)
22:24:30 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:24:51 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:25:51 → jmcantrell joins (~weechat@user/jmcantrell)
22:30:49 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:30:51 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
22:31:12 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:33:42 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:34:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:34:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
22:34:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:35:15 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
22:36:03 × loreto quits (~loreto@user/loreto) (Ping timeout: 272 seconds)
22:40:17 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:40:42 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:45:37 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:47:14 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:47:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:50:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
22:53:21 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:53:50 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
22:54:08 → bdmg_ joins (~myJebba@152.254.132.216)
22:54:52 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:56:15 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
22:58:56 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:59:09 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
22:59:32 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:01:24 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:03:23 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
23:04:13 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
23:06:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:06:56 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:07:18 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:12:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:12:54 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:16:07 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds)
23:17:26 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:19:05 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:19:30 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:23:32 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:23:55 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:28:47 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:29:10 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:29:28 × sprotte24 quits (~sprotte24@p200300d16f0c040018af77b6150bc84b.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
23:33:35 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:34:00 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:34:31 → iteratee joins (~kyle@199.119.84.78)
23:37:18 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:37:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:42:27 × phma quits (~phma@host-67-44-208-79.hnremote.net) (Read error: Connection reset by peer)
23:44:16 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:44:39 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:49:20 → ttybitnik joins (~ttybitnik@user/wolper)
23:50:22 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:50:44 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
23:55:06 × ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 265 seconds)
23:56:12 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
23:56:34 → sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)

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