Home liberachat/#haskell: Logs Calendar

Logs on 2026-03-06 (liberachat/#haskell)

00:00:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:09:25 chromoblob joins (~chromoblo@user/chromob1ot1c)
00:11:20 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:13:38 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
00:16:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
00:19:21 × Tuplanolla quits (~Tuplanoll@88.114.89.88) (Quit: Leaving.)
00:24:04 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds)
00:27:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:28:19 hoak joins (~hoak@27.65.22.223)
00:33:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:36:26 × hoak quits (~hoak@27.65.22.223) (Quit: Konversation terminated!)
00:38:48 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
00:45:10 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:46:39 chromoblob joins (~chromoblo@user/chromob1ot1c)
00:48:30 × xff0x quits (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) (Ping timeout: 245 seconds)
00:50:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:00:39 merijn joins (~merijn@62.45.136.136)
01:05:17 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
01:07:11 × jreicher quits (~joelr@user/jreicher) (Ping timeout: 252 seconds)
01:08:23 jreicher joins (~joelr@user/jreicher)
01:09:25 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
01:14:13 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
01:16:20 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:21:22 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
01:24:40 × yin quits (~zero@user/zero) (Remote host closed the connection)
01:26:49 yin joins (~zero@user/zero)
01:29:45 × acidjnk_new3 quits (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
01:32:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:37:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:39:02 × rekahsoft quits (~rekahsoft@76.67.111.168) (Remote host closed the connection)
01:39:09 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:47:52 merijn joins (~merijn@62.45.136.136)
01:49:53 stackdroid18 parts (~stackdroi@user/stackdroid) ()
01:50:43 rainbyte_ joins (~rainbyte@186.22.19.221)
01:50:45 × rainbyte quits (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) (Ping timeout: 244 seconds)
01:52:18 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
02:03:39 merijn joins (~merijn@62.45.136.136)
02:10:23 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
02:21:41 merijn joins (~merijn@62.45.136.136)
02:26:24 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
02:37:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:40:31 × loungerry_ quits (~loungerry@150.241.86.78) (Quit: left)
02:40:39 jmcantrell_ is now known as jmcantrell
02:41:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:45:12 loungerry_ joins (~loungerry@150.241.86.78)
02:52:29 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:57:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:08:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:13:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
03:24:28 merijn joins (~merijn@62.45.136.136)
03:25:22 × loungerry_ quits (~loungerry@150.241.86.78) (Remote host closed the connection)
03:28:04 loungerry_ joins (~loungerry@150.241.86.78)
03:28:55 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
03:30:23 EvanR_ joins (~EvanR@user/evanr)
03:32:02 × EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds)
03:39:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:47:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:56:09 × Vizious quits (~bes@user/Vizious) (Quit: WeeChat 4.6.3)
03:57:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:03:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
04:06:20 merijn joins (~merijn@62.45.136.136)
04:10:25 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
04:10:46 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
04:13:16 Googulator78 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
04:13:40 × Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
04:15:10 × CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in)
04:15:48 CloneOfNone joins (~CloneOfNo@user/CloneOfNone)
04:21:59 merijn joins (~merijn@62.45.136.136)
04:24:53 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
04:25:36 chexum joins (~quassel@gateway/tor-sasl/chexum)
04:26:16 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
04:33:29 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
04:37:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:37:49 jmcantrell_ joins (~weechat@user/jmcantrell)
04:41:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
04:58:21 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
05:02:15 Vizious joins (~bes@user/Vizious)
05:05:10 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
05:06:55 × traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds)
05:11:15 merijn joins (~merijn@62.45.136.136)
05:12:24 × mange quits (~mange@user/mange) (Ping timeout: 264 seconds)
05:15:52 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
05:19:09 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
05:26:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:34:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
05:34:53 mange joins (~mange@user/mange)
05:35:12 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
05:37:18 peterbecich joins (~Thunderbi@71.84.33.135)
05:42:09 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
05:42:29 divlamir joins (~divlamir@user/divlamir)
05:44:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:48:04 takuan joins (~takuan@141.134.185.233)
05:49:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
05:51:56 × Pozyomka quits (~pyon@user/pyon) (Ping timeout: 268 seconds)
05:55:36 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
06:00:29 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:02:22 × rainbyte_ quits (~rainbyte@186.22.19.221) (Ping timeout: 244 seconds)
06:03:07 rainbyte joins (~rainbyte@181.47.219.158)
06:05:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:06:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:12:02 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
06:22:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:28:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:31:04 michalz joins (~michalz@185.246.207.205)
06:31:56 × michalz quits (~michalz@185.246.207.205) (Remote host closed the connection)
06:34:41 michalz joins (~michalz@185.246.207.222)
06:38:51 merijn joins (~merijn@62.45.136.136)
06:43:11 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
06:50:44 Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it)
06:54:38 merijn joins (~merijn@62.45.136.136)
06:57:45 × ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 248 seconds)
06:59:12 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
07:07:28 × Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Ping timeout: 240 seconds)
07:07:36 × loungerry_ quits (~loungerry@150.241.86.78) (Ping timeout: 264 seconds)
07:07:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:09:40 loungerry_ joins (~loungerry@150.241.86.78)
07:09:54 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
07:13:53 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
07:15:11 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
07:19:31 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:21:31 loungerry joins (~loungerry@150.241.86.78)
07:22:36 × loungerry_ quits (~loungerry@150.241.86.78) (Ping timeout: 264 seconds)
07:25:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:27:37 × kuribas quits (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) (Ping timeout: 244 seconds)
07:31:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
07:34:33 tromp joins (~textual@2001:1c00:3487:1b00:9c76:2851:7cd5:1008)
07:42:07 merijn joins (~merijn@62.45.136.136)
07:46:44 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
07:47:01 hsw joins (~hsw@106.104.102.45)
07:57:28 sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:57:29 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:02:10 chele joins (~chele@user/chele)
08:02:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
08:04:48 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
08:05:07 sord937 joins (~sord937@gateway/tor-sasl/sord937)
08:08:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:11:58 × Googulator78 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Ping timeout: 240 seconds)
08:14:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
08:22:13 × jreicher quits (~joelr@user/jreicher) (Quit: In transit)
08:22:44 arandombit joins (~arandombi@2a02:2455:8656:7100:c03b:9fd5:e071:69ba)
08:22:44 × arandombit quits (~arandombi@2a02:2455:8656:7100:c03b:9fd5:e071:69ba) (Changing host)
08:22:44 arandombit joins (~arandombi@user/arandombit)
08:23:38 Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it)
08:24:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:29:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
08:33:09 × tromp quits (~textual@2001:1c00:3487:1b00:9c76:2851:7cd5:1008) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:37:32 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
08:39:08 merijn joins (~merijn@62.45.136.136)
08:39:24 × jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
08:40:42 vpan joins (~vpan@212.117.1.172)
08:40:50 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
08:41:33 __monty__ joins (~toonn@user/toonn)
08:44:12 jreicher joins (~joelr@user/jreicher)
08:46:30 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
08:53:28 acidjnk_new3 joins (~acidjnk@p200300d6e700e563f45e10175d1c9446.dip0.t-ipconnect.de)
08:54:24 arandombit joins (~arandombi@user/arandombit)
08:58:33 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
09:02:02 arandombit joins (~arandombi@2a02:2455:8656:7100:c03b:9fd5:e071:69ba)
09:02:02 × arandombit quits (~arandombi@2a02:2455:8656:7100:c03b:9fd5:e071:69ba) (Changing host)
09:02:02 arandombit joins (~arandombi@user/arandombit)
09:10:30 oskarw joins (~user@user/oskarw)
09:15:14 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:20:34 × srk quits (~sorki@user/srk) (Ping timeout: 256 seconds)
09:20:52 × Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
09:21:39 srk joins (~sorki@user/srk)
09:38:29 simpleshun joins (~simpleshu@user/SimpleShun)
09:40:00 × jreicher quits (~joelr@user/jreicher) (Ping timeout: 264 seconds)
09:40:51 jreicher joins (~joelr@user/jreicher)
09:46:19 wickedjargon joins (~user@2605:8d80:5430:79da:3322:6e48:7df4:8e9f)
09:48:55 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
10:04:46 × wickedjargon quits (~user@2605:8d80:5430:79da:3322:6e48:7df4:8e9f) (Remote host closed the connection)
10:15:49 Googulator joins (~Googulato@team.broadbit.hu)
10:19:31 Lears joins (~Leary@user/Leary/x-0910699)
10:19:34 × werneta quits (~werneta@71.83.160.242) (Read error: Connection reset by peer)
10:20:23 danza joins (~danza@user/danza)
10:21:48 × Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 268 seconds)
10:22:51 Lears is now known as Leary
10:23:56 werneta joins (~werneta@71.83.160.242)
10:26:08 wickedjargon joins (~user@2605:8d80:5430:79da:3322:6e48:7df4:8e9f)
10:26:21 madresch joins (~Thunderbi@user/madresch)
10:38:34 × arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection)
10:39:32 fp joins (~Thunderbi@2001:708:20:1406::10c5)
10:50:47 Square2 joins (~Square@user/square)
10:56:35 × Digit quits (~user@user/digit) (Read error: Connection reset by peer)
10:58:26 acidjnk_new joins (~acidjnk@p200300d6e700e523244746a304d8c047.dip0.t-ipconnect.de)
10:59:17 Digit joins (~user@user/digit)
11:00:04 × chele quits (~chele@user/chele) (Remote host closed the connection)
11:01:26 × acidjnk_new3 quits (~acidjnk@p200300d6e700e563f45e10175d1c9446.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
11:05:46 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
11:06:10 ec joins (~ec@gateway/tor-sasl/ec)
11:10:26 × danza quits (~danza@user/danza) (Remote host closed the connection)
11:12:22 × kaskal quits (~kaskal@2a02:8388:1a8b:7d00:6863:87bc:381d:11fa) (Quit: ZNC - https://znc.in)
11:12:39 kaskal joins (~kaskal@2a02:8388:1a8b:7d00:6457:882b:213f:f9cd)
11:13:08 × Googulator quits (~Googulato@team.broadbit.hu) (Quit: Client closed)
11:13:25 Googulator joins (~Googulato@team.broadbit.hu)
11:23:32 × rainbyte quits (~rainbyte@181.47.219.158) (Read error: Connection reset by peer)
11:29:31 rainbyte joins (~rainbyte@181.47.219.158)
11:30:11 ThePenguin joins (~ThePengui@95.80.28.221)
11:41:16 × mange quits (~mange@user/mange) (Quit: Zzz...)
11:44:27 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
11:47:28 × Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds)
11:48:24 × wickedjargon quits (~user@2605:8d80:5430:79da:3322:6e48:7df4:8e9f) (Remote host closed the connection)
11:57:10 [exa] joins (~exa@user/exa/x-3587197)
12:02:19 Googulator joins (~Googulato@team.broadbit.hu)
12:02:40 arandombit joins (~arandombi@user/arandombit)
12:03:23 × simpleshun quits (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1)
12:05:15 traxex joins (traxex@user/traxex)
12:06:57 Pozyomka joins (~pyon@user/pyon)
12:12:40 Gravifer joins (~Gravifer@user/Gravifer)
12:13:40 xff0x joins (~xff0x@2405:6580:b080:900:acbe:a784:57c1:5e52)
12:19:36 × Gravifer quits (~Gravifer@user/Gravifer) (Quit: Client closed)
12:20:12 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 264 seconds)
12:20:18 Gravifer joins (~Gravifer@user/Gravifer)
12:20:49 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
12:22:38 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
12:25:33 madresch joins (~Thunderbi@user/madresch)
12:28:38 × jreicher quits (~joelr@user/jreicher) (Quit: In transit)
12:31:28 philopsos1 joins (~caecilius@user/philopsos)
12:31:42 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
12:35:28 × Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds)
12:36:28 philopsos1 joins (~caecilius@user/philopsos)
12:37:07 × philopsos1 quits (~caecilius@user/philopsos) (Client Quit)
12:37:54 Googulator joins (~Googulato@team.broadbit.hu)
12:45:06 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 268 seconds)
12:46:09 Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it)
12:52:36 × Square2 quits (~Square@user/square) (Ping timeout: 264 seconds)
12:54:32 philopsos1 joins (~caecilius@user/philopsos)
12:55:28 × Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 240 seconds)
12:58:17 × Digit quits (~user@user/digit) (Ping timeout: 244 seconds)
13:03:40 jreicher joins (~joelr@user/jreicher)
13:04:47 madresch1 joins (~Thunderbi@user/madresch)
13:05:10 × Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer)
13:07:05 madresch1 is now known as madresch
13:16:18 Pozyomka joins (~pyon@user/pyon)
13:21:24 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
13:23:23 philopsos1 joins (~caecilius@user/philopsos)
13:23:44 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
13:24:18 arandombit joins (~arandombi@user/arandombit)
13:27:38 acidjnk_new3 joins (~acidjnk@p200300d6e700e523f7e7c853bbaf1f4c.dip0.t-ipconnect.de)
13:28:18 philopsos1 joins (~caecilius@user/philopsos)
13:28:55 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
13:30:50 × acidjnk_new3 quits (~acidjnk@p200300d6e700e523f7e7c853bbaf1f4c.dip0.t-ipconnect.de) (Remote host closed the connection)
13:31:00 × acidjnk_new quits (~acidjnk@p200300d6e700e523244746a304d8c047.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
13:46:37 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
13:50:45 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
13:57:20 arandombit joins (~arandombi@2a02:2455:8656:7100:65af:10a7:d4a2:bb2b)
13:57:20 × arandombit quits (~arandombi@2a02:2455:8656:7100:65af:10a7:d4a2:bb2b) (Changing host)
13:57:20 arandombit joins (~arandombi@user/arandombit)
14:05:29 × Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
14:12:07 durstloescher joins (~durstloes@ip4d16b23b.dynamic.kabel-deutschland.de)
14:18:23 × durstloescher quits (~durstloes@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: The Lounge - https://thelounge.chat)
14:28:11 ystael joins (~ystael@user/ystael)
14:29:41 weary-traveler joins (~user@user/user363627)
14:33:38 rekahsoft joins (~rekahsoft@76.67.111.168)
14:58:27 machinedgod joins (~machinedg@172.219.48.230)
14:59:11 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
15:01:08 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 256 seconds)
15:16:36 × srk quits (~sorki@user/srk) (Ping timeout: 264 seconds)
15:18:03 srk joins (~sorki@user/srk)
15:19:20 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
15:29:58 × Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds)
15:37:59 danza joins (~danza@user/danza)
15:53:52 Googulator joins (~Googulato@team.broadbit.hu)
16:11:43 Digit joins (~user@user/digit)
16:14:03 euphores joins (~SASL_euph@user/euphores)
16:18:38 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
16:25:32 × danza quits (~danza@user/danza) (Read error: Connection reset by peer)
16:26:42 × statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
16:26:55 statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
16:34:16 × oskarw quits (~user@user/oskarw) (Ping timeout: 268 seconds)
16:36:54 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 256 seconds)
16:37:33 madresch joins (~Thunderbi@user/madresch)
16:42:10 arandombit joins (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d)
16:42:10 × arandombit quits (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d) (Changing host)
16:42:10 arandombit joins (~arandombi@user/arandombit)
16:45:14 oskarw joins (~user@user/oskarw)
16:49:08 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
16:51:00 tremon joins (~tremon@83.80.159.219)
17:09:04 × vpan quits (~vpan@212.117.1.172) (Quit: Leaving.)
17:11:42 tromp joins (~textual@2001:1c00:3487:1b00:28bd:27be:ef6d:1cb5)
17:20:33 × Googulator quits (~Googulato@team.broadbit.hu) (Quit: Client closed)
17:22:41 jmcantrell_ joins (~weechat@user/jmcantrell)
17:30:37 Tuplanolla joins (~Tuplanoll@88.114.89.88)
17:37:13 tzh joins (~tzh@76.115.131.146)
17:37:37 × haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection)
17:39:05 haskellbridge joins (~hackager@96.28.224.214)
17:39:05 ChanServ sets mode +v haskellbridge
17:42:55 × jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
17:43:19 EvanR_ is now known as EvanR
17:44:27 jmcantrell_ joins (~weechat@user/jmcantrell)
17:50:55 <geekosaur> test
17:51:40 <mauke> brij
17:52:13 <geekosaur> the bridge took a rather long time to wake up for some reason
17:52:39 <geekosaur> I did the test here and it suddenly spit out a bunch of stuff that was supposed to have been bridged to #hackage. ???
17:52:59 <geekosaur> I really do need to find the time to move the bridge and switch to known good bridge software
17:53:42 Guest95 joins (~Guest95@2409:4090:a07f:720e:cd93:b93b:412d:6465)
17:53:45 × tromp quits (~textual@2001:1c00:3487:1b00:28bd:27be:ef6d:1cb5) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:54:14 × Guest95 quits (~Guest95@2409:4090:a07f:720e:cd93:b93b:412d:6465) (Client Quit)
17:55:45 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
17:56:57 jmcantrell_ is now known as jmcantrell
17:57:11 tromp joins (~textual@2001:1c00:3487:1b00:28bd:27be:ef6d:1cb5)
18:01:36 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
18:06:06 × oskarw quits (~user@user/oskarw) (Remote host closed the connection)
18:09:50 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 256 seconds)
18:10:44 yin_ joins (~zero@user/zero)
18:10:58 × yin quits (~zero@user/zero) (Ping timeout: 248 seconds)
18:11:14 yin_ is now known as yin
18:15:04 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:20:15 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
18:23:14 × yin quits (~zero@user/zero) (Remote host closed the connection)
18:25:52 yin joins (~zero@user/zero)
18:28:54 poscat joins (~poscat@user/poscat)
18:29:18 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
18:30:00 poscat joins (~poscat@user/poscat)
18:30:30 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
18:42:38 merijn joins (~merijn@62.45.136.136)
18:48:18 madresch joins (~Thunderbi@user/madresch)
18:48:24 spew joins (~spew@user/spew)
18:49:06 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
19:00:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:03:16 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
19:03:20 emmanuelux joins (~em@user/emmanuelux)
19:05:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
19:05:10 target_i joins (~target_i@user/target-i/x-6023099)
19:10:53 ljdarj joins (~Thunderbi@user/ljdarj)
19:12:00 philopsos1 joins (~caecilius@user/philopsos)
19:13:11 × tzh quits (~tzh@76.115.131.146) (Quit: k vkava)
19:14:25 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 244 seconds)
19:15:17 Square2 joins (~Square@user/square)
19:15:36 × Square2 quits (~Square@user/square) (Remote host closed the connection)
19:16:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:16:10 Square2 joins (~Square@user/square)
19:17:09 × Square2 quits (~Square@user/square) (Read error: Connection reset by peer)
19:18:06 Square2 joins (~Square@user/square)
19:18:45 wickedjargon joins (~user@207.194.38.18)
19:18:48 astra is now known as amish
19:19:19 amish is now known as Guest9053
19:20:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:21:08 Guest9053 is now known as amish
19:21:37 amish is now known as Guest8263
19:22:50 madresch joins (~Thunderbi@user/madresch)
19:23:05 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
19:26:16 Guest8263 is now known as astra
19:28:21 philopsos1 joins (~caecilius@user/philopsos)
19:28:35 stackdroid18 joins (~stackdroi@user/stackdroid)
19:34:03 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds)
19:44:43 × spew quits (~spew@user/spew) (Ping timeout: 264 seconds)
19:48:32 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:49:28 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
19:50:59 peterbecich joins (~Thunderbi@71.84.33.135)
19:51:06 × machinedgod quits (~machinedg@172.219.48.230) (Ping timeout: 244 seconds)
19:51:22 Lord_of_Life_ is now known as Lord_of_Life
20:04:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:09:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
20:11:27 Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu)
20:18:29 × rainbyte quits (~rainbyte@181.47.219.158) (Ping timeout: 244 seconds)
20:18:30 Square3 joins (~Square@user/square)
20:20:35 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:21:19 × Square2 quits (~Square@user/square) (Ping timeout: 264 seconds)
20:26:58 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds)
20:27:08 rainbyte joins (~rainbyte@181.47.219.10)
20:27:31 madresch joins (~Thunderbi@user/madresch)
20:31:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
20:33:40 rainbyte_ joins (~rainbyte@181.47.219.106)
20:34:36 × rainbyte quits (~rainbyte@181.47.219.10) (Ping timeout: 264 seconds)
20:35:46 <EvanR> recursive descent parsers and parser combinators and even yacc have this notion of "semantic value" of a subparser. The parser not only consumes and accepts some input but yields some value which is intended to be what the input represented (sometimes on a good day, what it was before being serialized)
20:35:59 tzh joins (~tzh@76.115.131.146)
20:36:31 <EvanR> is this basically mirroring denotational semantics, and so restricts the kind things you can get out of these parsers, they have to be denotational
20:37:43 pavonia joins (~user@user/siracusa)
20:39:24 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 264 seconds)
20:40:09 madresch joins (~Thunderbi@user/madresch)
20:40:51 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
20:41:10 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Quit: CiaoSen)
20:42:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:42:54 × tromp quits (~textual@2001:1c00:3487:1b00:28bd:27be:ef6d:1cb5) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:44:35 × rainbyte_ quits (~rainbyte@181.47.219.106) (Read error: Connection reset by peer)
20:46:10 rainbyte joins (~rainbyte@181.47.219.106)
20:48:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:53:15 humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net)
20:54:10 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds)
20:56:43 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
20:57:39 tromp joins (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
20:58:30 × humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
20:58:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:03:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
21:10:35 × tessier_ quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds)
21:13:05 × Googulator quits (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) (Quit: Client closed)
21:13:19 Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu)
21:13:59 <[exa]> EvanR: kinda wondering what would be a non-denotational thing to get there
21:14:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:15:23 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:15:28 <EvanR> any programming language whose syntax isn't context free?
21:17:05 <int-e> EvanR: pretty much all of them
21:17:54 <EvanR> I vague recall something weird with the parsing of expressions containing * in C
21:17:57 <int-e> EvanR: Very standard restrictions like "identifier has to be declared before use" isn't context-free.
21:18:07 <int-e> aren't
21:19:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:19:21 <EvanR> [exa] ^
21:19:48 <int-e> EvanR: hah, I parsed that as a question.
21:21:19 spew joins (~spew@user/spew)
21:23:42 <int-e> EvanR: I had to google but there's something very simple: a * b; can be an expression whose value is ingored or a declarion of a variable of type (a *), depending on what a is.
21:24:33 weary-traveler joins (~user@user/user363627)
21:24:56 <int-e> At least it's decidable? (C++ parsing famously isn't)
21:25:52 <EvanR> C++ parsing is undecidable?
21:26:14 × spew quits (~spew@user/spew) (Quit: nyaa~)
21:27:17 <[exa]> EvanR: you can pull some context through the semantics right? (like they do with the stateful computations)
21:27:22 <int-e> EvanR: because whether something is a type depends on template instantiations and those are Turing complete (not accounting for compiler-imposed limits on said instantiations). sketch: https://blog.reverberate.org/2013/08/parsing-c-is-literally-undecidable.html
21:27:42 <[exa]> that post is priceless^^
21:28:07 <EvanR> what an unfortuante elision in the url
21:28:36 <[exa]> lol
21:29:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:34:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:39:43 × Googulator quits (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) (Quit: Client closed)
21:40:00 Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu)
21:41:45 tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net)
21:45:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:49:00 × michalz quits (~michalz@185.246.207.222) (Remote host closed the connection)
21:49:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
22:00:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:02:56 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
22:05:50 × tusko quits (~uwu@user/tusko) (Remote host closed the connection)
22:06:04 tusko joins (~uwu@user/tusko)
22:07:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
22:09:55 EvanR joins (~EvanR@user/evanr)
22:18:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:19:57 Sgeo joins (~Sgeo@user/sgeo)
22:21:27 × takuan quits (~takuan@141.134.185.233) (Ping timeout: 244 seconds)
22:23:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
22:31:07 × tromp quits (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:37:15 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:44:16 × mc2 quits (~mc@user/mc2) (Ping timeout: 268 seconds)
22:48:48 mange joins (~mange@user/mange)
22:49:45 peterbecich joins (~Thunderbi@71.84.33.135)
22:50:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:51:13 tromp joins (~textual@2001:1c00:3487:1b00:d97f:6c22:5298:b927)
22:55:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
22:55:49 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
23:02:04 ec joins (~ec@gateway/tor-sasl/ec)
23:03:15 × tromp quits (~textual@2001:1c00:3487:1b00:d97f:6c22:5298:b927) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:04:24 × juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds)
23:06:17 merijn joins (~merijn@62.45.136.136)
23:08:59 × CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds)
23:10:32 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
23:11:13 juri_ joins (~juri@79.140.122.233)
23:12:06 machinedgod joins (~machinedg@172.219.48.230)
23:12:59 CloneOfNone joins (~CloneOfNo@user/CloneOfNone)
23:22:26 × juri_ quits (~juri@79.140.122.233) (Ping timeout: 248 seconds)
23:24:08 juri_ joins (~juri@217-114-215-140.pool.ovpn.com)
23:24:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds)
23:26:23 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
23:29:21 × mange quits (~mange@user/mange) (Remote host closed the connection)
23:37:51 merijn joins (~merijn@62.45.136.136)
23:40:13 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
23:40:26 chexum joins (~quassel@gateway/tor-sasl/chexum)
23:44:48 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds)
23:52:23 arandombit joins (~arandombi@user/arandombit)
23:54:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:55:22 athan joins (~athan@98.150.233.226)
23:57:02 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
23:59:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)

All times are in UTC on 2026-03-06.