Home liberachat/#haskell: Logs Calendar

Logs on 2023-03-29 (liberachat/#haskell)

00:00:23 × systemhalted quits (~systemhal@145.sub-174-246-128.myvzw.com) (Ping timeout: 260 seconds)
00:01:08 vlad_ joins (~vlad@2a00:23c6:9822:4c01:d13b:ce99:243e:d72f)
00:01:11 sp00kins joins (~sp00kins@97.73.80.190)
00:01:18 × sp00kins quits (~sp00kins@97.73.80.190) (Read error: Connection reset by peer)
00:01:18 × vlad_ quits (~vlad@2a00:23c6:9822:4c01:d13b:ce99:243e:d72f) (Client Quit)
00:01:29 nate4 joins (~nate@98.45.169.16)
00:01:56 sp00kins joins (~sp00kins@97.73.80.190)
00:02:11 × sp00kins quits (~sp00kins@97.73.80.190) (Read error: Connection reset by peer)
00:02:25 sp00kins joins (~sp00kins@97.sub-174-216-176.myvzw.com)
00:05:04 vlad parts (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Leaving)
00:05:29 × mastarija quits (~mastarija@2a05:4f46:e03:6000:351f:e709:d591:5e8c) (Quit: WeeChat 3.7.1)
00:06:37 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds)
00:12:54 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds)
00:15:34 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
00:16:50 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
00:26:08 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds)
00:26:31 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
00:28:52 link` joins (~user@31.124.125.25)
00:38:45 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
00:38:56 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:47:16 × sp00kins quits (~sp00kins@97.sub-174-216-176.myvzw.com) (Quit: sp00kins)
00:55:05 captnemo joins (~captnemo@193.32.127.232)
00:58:40 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
01:05:30 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
01:06:56 dipper joins (~dipper@117.61.126.31)
01:09:28 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
01:10:55 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:11:19 sp00kins joins (~sp00kins@97.73.80.190)
01:12:25 × sp00kins quits (~sp00kins@97.73.80.190) (Read error: Connection reset by peer)
01:12:42 sp00kins joins (~sp00kins@97.sub-174-216-176.myvzw.com)
01:14:19 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
01:14:25 × sp00kins quits (~sp00kins@97.sub-174-216-176.myvzw.com) (Client Quit)
01:16:48 × gurkenglas quits (~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
01:17:02 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:20:36 × slack1256 quits (~slack1256@181.43.56.176) (Ping timeout: 255 seconds)
01:20:47 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
01:21:00 lagash joins (lagash@lagash.shelltalk.net)
01:22:33 talismanick joins (~talismani@76.133.152.122)
01:23:08 gehmehgeh joins (~user@user/gehmehgeh)
01:25:37 emmanuelux_ joins (~emmanuelu@user/emmanuelux)
01:25:59 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds)
01:27:47 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds)
01:28:37 × _leo___ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 250 seconds)
01:28:56 gehmehgeh joins (~user@user/gehmehgeh)
01:31:12 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 265 seconds)
01:31:30 × link` quits (~user@31.124.125.25) (Read error: Connection reset by peer)
01:32:11 lbseale joins (~quassel@user/ep1ctetus)
01:35:04 × NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 265 seconds)
01:39:12 × codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds)
01:41:23 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
01:45:36 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Ping timeout: 248 seconds)
01:50:02 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca)
01:50:41 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Remote host closed the connection)
01:51:19 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca)
01:51:24 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
01:51:41 jmdaemon joins (~jmdaemon@user/jmdaemon)
01:52:24 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:55:52 ec joins (~ec@gateway/tor-sasl/ec)
01:57:06 cheater_ joins (~Username@user/cheater)
01:58:16 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
01:58:21 cheater_ is now known as cheater
01:59:14 × xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds)
02:00:21 × jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
02:04:06 × captnemo quits (~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
02:05:09 dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
02:12:18 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
02:12:41 stiell joins (~stiell@gateway/tor-sasl/stiell)
02:15:26 nate4 joins (~nate@98.45.169.16)
02:18:34 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
02:20:50 × ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec)
02:21:41 alskdf joins (~alskdf@dhcp-108-168-11-138.cable.user.start.ca)
02:26:39 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
02:28:24 lagash joins (lagash@lagash.shelltalk.net)
02:29:29 hugo joins (znc@verdigris.lysator.liu.se)
02:29:54 × td_ quits (~td@i5387093D.versanet.de) (Ping timeout: 255 seconds)
02:31:41 td_ joins (~td@i53870923.versanet.de)
02:33:49 gdr3941 joins (~user@50.234.116.5)
02:33:52 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
02:34:27 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:37:40 × gdr3941 quits (~user@50.234.116.5) (Client Quit)
02:38:32 jmorris joins (uid537181@id-537181.uxbridge.irccloud.com)
02:38:35 gdr3941 joins (~user@50.234.116.5)
02:38:56 × gdr3941 quits (~user@50.234.116.5) (Client Quit)
02:40:01 gdr3941 joins (~user@50.234.116.5)
02:40:06 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:40:07 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
02:40:07 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
02:40:07 wroathe joins (~wroathe@user/wroathe)
02:40:25 × gdr3941 quits (~user@50.234.116.5) (Client Quit)
02:41:21 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
02:49:42 razetime joins (~Thunderbi@43.254.111.18)
02:51:30 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
02:52:23 lagash joins (lagash@lagash.shelltalk.net)
02:53:17 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:53:17 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:53:17 finn_elija is now known as FinnElija
02:55:06 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
03:01:35 × smallville7123 quits (~Android@cpe-172-193-178-179.qld.foxtel.net.au) (Ping timeout: 265 seconds)
03:04:00 × razetime quits (~Thunderbi@43.254.111.18) (Ping timeout: 265 seconds)
03:05:28 razetime joins (~Thunderbi@43.254.111.18)
03:06:52 gdr3941 joins (~user@50.234.116.5)
03:08:16 × gdr3941 quits (~user@50.234.116.5) (Remote host closed the connection)
03:09:38 × Techcable quits (~Techcable@user/Techcable) (Ping timeout: 252 seconds)
03:14:31 gdr3941 joins (~user@50.234.116.5)
03:15:40 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
03:16:54 gdr3941 parts (~user@50.234.116.5) ()
03:17:24 lagash joins (lagash@lagash.shelltalk.net)
03:18:56 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds)
03:20:40 Techcable joins (~Techcable@user/Techcable)
03:21:19 gdr3941 joins (~user@50.234.116.5)
03:22:53 × gdr3941 quits (~user@50.234.116.5) (Client Quit)
03:23:59 gdr3941 joins (~user@50.234.116.5)
03:25:46 × gdr3941 quits (~user@50.234.116.5) (Remote host closed the connection)
03:26:03 gdr3941 joins (~user@50.234.116.5)
03:26:10 robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
03:27:12 × razetime quits (~Thunderbi@43.254.111.18) (Ping timeout: 265 seconds)
03:31:19 razetime joins (~Thunderbi@43.254.111.18)
03:34:15 slack1256 joins (~slack1256@181.43.56.176)
03:46:28 codaraxis joins (~codaraxis@user/codaraxis)
03:50:50 jumpnbrownweasel joins (~jumpnbrow@2603-800c-240f-1c55-c5dc-230a-c2d1-26b9.res6.spectrum.com)
03:52:27 × razetime quits (~Thunderbi@43.254.111.18) (Remote host closed the connection)
03:55:04 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection)
03:59:07 anandprabhu joins (~anandprab@103.158.145.152)
04:02:27 × ubert quits (~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
04:04:51 ubert joins (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de)
04:08:57 × gdr3941 quits (~user@50.234.116.5) (Ping timeout: 250 seconds)
04:09:01 × krei-se quits (~krei-se@p50874388.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
04:10:19 krei-se joins (~krei-se@31.6.44.103)
04:11:40 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
04:15:32 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 265 seconds)
04:16:57 gdr3941 joins (~user@50.234.116.5)
04:19:55 × ubert quits (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
04:20:14 ubert joins (~Thunderbi@p548c91bc.dip0.t-ipconnect.de)
04:22:03 × gdr3941 quits (~user@50.234.116.5) (Ping timeout: 248 seconds)
04:22:23 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
04:25:09 lagash joins (lagash@lagash.shelltalk.net)
04:25:30 mbuf joins (~Shakthi@49.207.178.186)
04:29:05 vglfr joins (~vglfr@88.155.116.129)
04:29:11 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
04:35:54 cheater joins (~Username@user/cheater)
04:38:36 smallville7123 joins (~Android@cpe-172-193-178-179.qld.foxtel.net.au)
04:44:32 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
04:45:03 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
04:45:09 jinsun__ joins (~jinsun@user/jinsun)
04:45:10 × jinsun quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services)))
04:45:10 jinsun__ is now known as jinsun
04:47:33 × jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer)
04:48:00 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
04:48:17 × jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
04:49:48 jinsun joins (~jinsun@user/jinsun)
04:56:02 lagash joins (lagash@lagash.shelltalk.net)
04:57:44 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
04:59:00 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
05:00:16 gdr3941 joins (~user@50.234.116.5)
05:00:50 jakalx joins (~jakalx@base.jakalx.net)
05:01:59 Square2 joins (~Square4@user/square)
05:04:40 × gdr3941 quits (~user@50.234.116.5) (Ping timeout: 260 seconds)
05:05:01 × bliminse quits (~bliminse@user/bliminse) (Ping timeout: 240 seconds)
05:06:55 bliminse joins (~bliminse@user/bliminse)
05:13:01 × euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection)
05:15:44 nate4 joins (~nate@98.45.169.16)
05:18:28 × Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host)
05:18:28 Me-me joins (~me-me@user/me-me)
05:19:07 × ddellacosta quits (~ddellacos@143.244.47.84) (Ping timeout: 252 seconds)
05:20:00 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds)
05:23:34 takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:26:38 × anandprabhu quits (~anandprab@103.158.145.152) (Quit: Textual IRC Client: www.textualapp.com)
05:27:49 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds)
05:29:25 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
05:33:36 × sayola1 quits (~sayola@ipservice-092-213-087-241.092.213.pools.vodafone-ip.de) (Read error: Connection reset by peer)
05:37:10 × son0p quits (~ff@181.136.122.143) (Ping timeout: 276 seconds)
05:40:15 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
05:42:06 lagash joins (lagash@lagash.shelltalk.net)
05:45:13 chomwitt joins (~chomwitt@2a02:587:7a0f:e00:1ac0:4dff:fedb:a3f1)
05:46:45 michalz joins (~michalz@185.246.207.221)
05:49:12 trev joins (~trev@user/trev)
05:50:18 ddellacosta joins (~ddellacos@146.70.168.140)
05:51:35 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
05:53:04 son0p joins (~ff@181.136.122.143)
05:53:46 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
05:55:08 × jumpnbrownweasel quits (~jumpnbrow@2603-800c-240f-1c55-c5dc-230a-c2d1-26b9.res6.spectrum.com) (Quit: Leaving)
05:58:42 × myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 268 seconds)
06:10:25 × vglfr quits (~vglfr@88.155.116.129) (Read error: Connection reset by peer)
06:17:40 vglfr joins (~vglfr@88.155.116.129)
06:18:20 jmorris joins (uid537181@id-537181.uxbridge.irccloud.com)
06:19:16 × smallville7123 quits (~Android@cpe-172-193-178-179.qld.foxtel.net.au) (Ping timeout: 265 seconds)
06:22:33 gehmehgeh is now known as gmg
06:27:35 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
06:28:05 coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
06:29:57 × ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving)
06:31:32 lagash joins (lagash@lagash.shelltalk.net)
06:31:34 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds)
06:32:22 bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
06:33:15 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
06:33:20 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
06:36:01 × pwntips quits (~user@24-113-98-114.wavecable.com) (Ping timeout: 240 seconds)
06:41:22 mncheck joins (~mncheck@193.224.205.254)
06:48:00 pwntips joins (~user@24-113-98-114.wavecable.com)
06:48:49 smallville7123 joins (~Android@cpe-172-193-178-179.qld.foxtel.net.au)
06:49:57 lortabac joins (~lortabac@2a01:e0a:541:b8f0:b431:9ce0:c55:143d)
06:50:10 img joins (~img@user/img)
06:51:59 × img quits (~img@user/img) (Client Quit)
06:52:37 × vglfr quits (~vglfr@88.155.116.129) (Ping timeout: 252 seconds)
06:54:45 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
06:56:11 lagash joins (lagash@lagash.shelltalk.net)
06:57:54 chele joins (~chele@user/chele)
06:59:12 × smallville7123 quits (~Android@cpe-172-193-178-179.qld.foxtel.net.au) (Ping timeout: 248 seconds)
07:00:51 hsw_ joins (~hsw@112-104-11-56.adsl.dynamic.seed.net.tw)
07:02:03 × hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds)
07:03:00 vglfr joins (~vglfr@88.155.116.129)
07:03:54 smallville7123 joins (~Android@cpe-172-193-178-179.qld.foxtel.net.au)
07:04:10 × thegeekinside quits (~thegeekin@189.141.115.134) (Ping timeout: 252 seconds)
07:11:47 img joins (~img@user/img)
07:12:04 × vglfr quits (~vglfr@88.155.116.129) (Ping timeout: 260 seconds)
07:15:14 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
07:19:06 × mauke quits (~mauke@user/mauke) (Quit: E)
07:19:35 acidjnk joins (~acidjnk@p200300d6e715c4463856d07035a45485.dip0.t-ipconnect.de)
07:19:40 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
07:20:56 ub joins (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de)
07:21:08 × ubert quits (~Thunderbi@p548c91bc.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
07:21:08 ub is now known as ubert
07:21:16 lagash joins (lagash@lagash.shelltalk.net)
07:21:51 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 260 seconds)
07:26:48 ub joins (~Thunderbi@p548c91bc.dip0.t-ipconnect.de)
07:27:08 × phma quits (~phma@2001:5b0:210b:eef8:d9e8:208c:276f:a1fd) (Read error: Connection reset by peer)
07:27:41 × ubert quits (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
07:27:41 ub is now known as ubert
07:28:01 phma joins (~phma@host-67-44-208-177.hnremote.net)
07:31:22 × hendi quits (sid489601@id-489601.lymington.irccloud.com) (Quit: Connection closed for inactivity)
07:33:41 mauke joins (~mauke@user/mauke)
07:38:35 nschoe joins (~q@141.101.51.197)
07:41:43 × bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
07:42:03 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:42:50 zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe)
07:44:36 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
07:46:35 bliminse joins (~bliminse@user/bliminse)
07:50:18 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
07:53:26 myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com)
07:53:28 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
07:55:18 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
07:55:55 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:59:24 santiagopim joins (~user@90.167.66.131)
08:01:40 Blightmain joins (~Blightmai@27-33-97-127.tpgi.com.au)
08:01:43 Blightmain_ joins (~Blightmai@27-33-97-127.tpgi.com.au)
08:02:04 × talismanick quits (~talismani@76.133.152.122) (Remote host closed the connection)
08:05:27 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
08:05:39 lagash joins (lagash@lagash.shelltalk.net)
08:06:19 × krei-se quits (~krei-se@31.6.44.103) (Ping timeout: 252 seconds)
08:08:33 krei-se joins (~krei-se@p50874388.dip0.t-ipconnect.de)
08:13:49 Anon512 joins (~AdminUser@68.203.99.38)
08:17:13 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
08:17:19 gurkenglas joins (~gurkengla@dynamic-046-114-177-039.46.114.pool.telefonica.de)
08:17:48 × shinjipf quits (~shinjipf@159.65.131.14) (Quit: Shinji leaves)
08:17:54 × zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Remote host closed the connection)
08:18:16 zeenk joins (~zeenk@2a02:2f04:a307:2300::fba)
08:18:20 × ulvarrefr quits (~user@188.124.56.153) (Ping timeout: 260 seconds)
08:22:33 euandreh joins (~Thunderbi@189.6.18.7)
08:26:45 vpan joins (~0@212.117.1.172)
08:28:54 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
08:34:40 × acidjnk quits (~acidjnk@p200300d6e715c4463856d07035a45485.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
08:39:28 × slack1256 quits (~slack1256@181.43.56.176) (Ping timeout: 248 seconds)
08:43:22 NiceBird joins (~NiceBird@185.133.111.196)
08:44:16 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
08:46:28 Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
08:46:45 NiceBirb joins (~NiceBird@185.133.111.196)
08:48:17 × jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
08:49:23 shinjipf joins (~shinjipf@137.184.4.49)
08:49:50 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
08:50:10 × shinjipf quits (~shinjipf@137.184.4.49) (Client Quit)
08:50:33 shinjipf joins (~shinjipf@137.184.4.49)
08:52:52 lagash joins (lagash@lagash.shelltalk.net)
08:54:42 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
09:14:28 gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
09:16:19 lagash- joins (lagash@lagash.shelltalk.net)
09:16:58 nate4 joins (~nate@98.45.169.16)
09:17:04 × lagash quits (lagash@lagash.shelltalk.net) (Read error: Connection reset by peer)
09:18:37 × meooow quits (~meooow@165.232.184.169) (Ping timeout: 265 seconds)
09:18:57 meooow joins (~meooow@165.232.184.169)
09:21:48 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
09:24:48 × Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds)
09:26:28 Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com)
09:29:56 acidjnk joins (~acidjnk@p200300d6e715c4463856d07035a45485.dip0.t-ipconnect.de)
09:39:31 × lagash- quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
09:40:54 lagash joins (lagash@lagash.shelltalk.net)
09:47:14 <maralorn> In 9.2 cases just gets interpreted as a variable name. Only in 9.4 with LambdaCase ghc will steal that syntax.
09:47:44 × chele quits (~chele@user/chele) (Remote host closed the connection)
09:47:45 × ddellacosta quits (~ddellacos@146.70.168.140) (Ping timeout: 255 seconds)
09:48:33 × gurkenglas quits (~gurkengla@dynamic-046-114-177-039.46.114.pool.telefonica.de) (Ping timeout: 265 seconds)
09:48:59 <geekosaur> ^
09:49:46 ddellacosta joins (~ddellacos@143.244.47.68)
09:50:19 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
09:54:45 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Ping timeout: 250 seconds)
10:00:20 × Blightmain_ quits (~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection)
10:00:20 × Blightmain quits (~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection)
10:02:28 freeside joins (~mengwong@151.192.214.154)
10:04:06 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
10:04:25 AndreiDuma joins (~AndreiDum@2a09:bac2:504e:1f5::32:6a)
10:07:13 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
10:07:39 × freeside quits (~mengwong@151.192.214.154) (Ping timeout: 248 seconds)
10:08:10 AndreiDuma_ joins (~textual@89.137.239.160)
10:11:14 lagash joins (lagash@lagash.shelltalk.net)
10:13:49 × phma quits (~phma@host-67-44-208-177.hnremote.net) (Read error: Connection reset by peer)
10:14:48 phma joins (~phma@2001:5b0:210d:a698:9492:b4b2:3be7:8871)
10:20:02 × pie_ quits (~pie_bnc@user/pie/x-2818909) ()
10:20:51 pie_ joins (~pie_bnc@user/pie/x-2818909)
10:21:39 × pie_ quits (~pie_bnc@user/pie/x-2818909) (Client Quit)
10:23:25 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:24:21 pie_ joins (~pie_bnc@user/pie/x-2818909)
10:31:34 freeside joins (~mengwong@151.192.214.154)
10:33:16 __monty__ joins (~toonn@user/toonn)
10:33:47 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
10:35:55 × freeside quits (~mengwong@151.192.214.154) (Ping timeout: 250 seconds)
10:45:29 azimut joins (~azimut@gateway/tor-sasl/azimut)
10:49:57 cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1)
10:51:31 × AndreiDuma quits (~AndreiDum@2a09:bac2:504e:1f5::32:6a) (Quit: Client closed)
10:51:45 AndreiDuma joins (~AndreiDum@2a02:26f7:dcc0:e436:0:44bb:f467:cb1c)
10:51:48 × AndreiDuma quits (~AndreiDum@2a02:26f7:dcc0:e436:0:44bb:f467:cb1c) (Client Quit)
10:52:00 AndreiDuma_ is now known as AndreiDuma
10:52:02 CiaoSen joins (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
10:54:05 freeside joins (~mengwong@151.192.214.154)
10:58:30 × cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
10:59:26 × freeside quits (~mengwong@151.192.214.154) (Ping timeout: 246 seconds)
10:59:39 freeside joins (~mengwong@151.192.214.154)
11:03:19 gurkenglas joins (~gurkengla@dynamic-046-114-177-039.46.114.pool.telefonica.de)
11:03:59 × freeside quits (~mengwong@151.192.214.154) (Ping timeout: 246 seconds)
11:08:31 xff0x joins (~xff0x@2405:6580:b080:900:cbe1:7347:6fa3:48a6)
11:08:55 AndreiDuma[m] joins (~andreidum@2001:470:69fc:105::3:390f)
11:10:04 L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:17:15 captnemo joins (~captnemo@193.32.127.232)
11:18:09 × m1dnight_ quits (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8)
11:18:32 lagash joins (lagash@lagash.shelltalk.net)
11:20:28 m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
11:22:11 × CiaoSen quits (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
11:23:02 freeside joins (~mengwong@151.192.214.154)
11:25:29 × santiagopim quits (~user@90.167.66.131) (Remote host closed the connection)
11:26:52 × mixfix41 quits (~sdenynine@user/mixfix41) (Ping timeout: 276 seconds)
11:36:54 lyle joins (~lyle@104.246.145.237)
11:40:49 × freeside quits (~mengwong@151.192.214.154) (Ping timeout: 252 seconds)
11:41:04 <ski> ah, makes sense
11:41:57 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
11:44:04 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
11:45:10 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
11:52:47 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
11:57:40 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1) (Ping timeout: 260 seconds)
12:02:04 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
12:03:20 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
12:08:10 × xff0x quits (~xff0x@2405:6580:b080:900:cbe1:7347:6fa3:48a6) (Ping timeout: 260 seconds)
12:09:44 xff0x joins (~xff0x@178.255.149.135)
12:12:14 × gurkenglas quits (~gurkengla@dynamic-046-114-177-039.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
12:14:35 × acidjnk quits (~acidjnk@p200300d6e715c4463856d07035a45485.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
12:17:17 × NiceBird quits (~NiceBird@185.133.111.196) (Quit: Leaving)
12:17:19 × NiceBirb quits (~NiceBird@185.133.111.196) (Quit: Leaving)
12:17:34 NiceBird joins (~NiceBird@185.133.111.196)
12:19:30 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
12:19:52 lagash joins (lagash@lagash.shelltalk.net)
12:21:49 fnurglewitz joins (uid263868@id-263868.lymington.irccloud.com)
12:22:56 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 252 seconds)
12:24:58 xff0x joins (~xff0x@2405:6580:b080:900:cbe1:7347:6fa3:48a6)
12:27:27 freeside joins (~mengwong@103.252.202.85)
12:30:45 <kuribas> I was having a discussion about formal specifications, where I stated that they must be written using a mathematical language, but my coworker claims they can be freeform text.
12:30:55 <kuribas> There was this example: https://datatracker.ietf.org/doc/html/rfc904
12:31:12 <kuribas> "This document is a formal specification of the Exterior Gateway
12:31:12 <kuribas> Protocol (EGP)"
12:31:24 <kuribas> Did the meaning of "formal specification" change at some point?
12:32:30 <geekosaur> "formal specification" means whatever the domain using it says
12:33:07 <geekosaur> mathematical language is not so helpful for internet rfcs; a bnf-like specification works better
12:33:47 <kuribas> bnf is also mathematical
12:35:23 <geekosaur> okay, so this document is describing a state machine in terms of the states reachable from other states
12:35:32 <geekosaur> bnf doesn't work for that
12:36:11 <geekosaur> you could do that mathematically but everyone will hate you
12:36:27 <geekosaur> so it's a series of tables
12:36:47 <kuribas> sure, but then the definition on many sites (even wikipedia) is wrong.
12:37:09 <kuribas> "In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. "
12:37:11 <geekosaur> surprise, surprise
12:37:21 <kuribas> :)
12:38:04 <ggVGc> arguably... mathematical language is freeform text
12:38:06 <int-e> . o O ( A formal specification wears a suit. )
12:38:10 ggVGc hides
12:40:24 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
12:40:58 <mauke> "a script is what you give the actors, a program is what you give the audience"
12:42:15 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
12:42:17 <int-e> Words have meanings, and many of them have more than one.
12:42:46 <mauke> many meanings have more than one word
12:43:21 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
12:43:32 lagash joins (lagash@lagash.shelltalk.net)
12:43:38 <merijn> int-e: White tie or black tie?
12:45:41 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
12:46:18 <int-e> Oh while we're playing with words... there's an acronym here, which is open to interpretation. How about "Repository of Formal Computing" for RFC?
12:46:56 <opqdonut> instead of formal specifications, business casual specifications
12:47:02 <opqdonut> or perhaps hawaii shirt friday specifications
12:50:59 <geekosaur> originally rfcs were the latter 🙂
12:53:42 <ggVGc> ski: F# view patterns were my first wow-moment when I was taking my first steps in FP and F# simultaneously (same year F# was launched), and unfortunately I never felt as good about view patterns in Haskell :(
12:54:00 <ggVGc> although, I didn't really give them a proper try again in a long time
12:55:14 <ggVGc> sorry, Active patterns I guess they're called in F#
12:55:25 <ggVGc> also didn't write any F# in a long time...
12:57:11 <ski> ggVGc : i'm been pondering/sketching some extensions of view patterns in Haskell .. but something that can do the equivalent of active patterns would be nice, too
12:57:50 × vgtw_ quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
12:58:08 <ski> s/view patterns/pattern synonyms and view patterns/
13:00:01 <ski> (specifically having a group of (`COMPLETE') related pattern synonyms, that jointly invoke the same classification/partitioning code, which is what active patterns (in their full generality) does .. but i was also pondering various other ways to make pattern synonyms nicer (e.g. allowing them to be recursive, and to be parameterized))
13:00:39 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:04:29 × haskl[error] quits (~haskl@user/haskl) (Read error: Connection reset by peer)
13:04:36 × AndreiDuma quits (~textual@89.137.239.160) (Quit: My MacBook has gone to sleep. ZZZzzz…)
13:06:38 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
13:06:50 lagash joins (lagash@lagash.shelltalk.net)
13:07:28 haskl joins (~haskl@user/haskl)
13:09:08 cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1)
13:11:39 <merijn> hmm, "cabal install cabal-plan" seems to not actually create an executable anywhere?
13:12:35 <merijn> hmm,, looks like the default enabled flag to install said executable was...not enabled? >.<
13:12:51 <fendor[m]> ah yes, cabal-install's CI also ran into that before
13:16:18 vgtw joins (~vgtw@user/vgtw)
13:18:31 nate4 joins (~nate@98.45.169.16)
13:19:15 <maerwald[m]> merijn: default is symlink
13:19:21 <maerwald[m]> Since forever?
13:19:38 × Luj quits (~Luj@2a01:e0a:5f9:9681:1be9:4730:2b3e:cb3a) (Quit: Ping timeout (120 seconds))
13:19:47 <merijn> maerwald[m]: No, as in there was nothing
13:19:47 × cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
13:19:55 <merijn> It didn't build the executable at all
13:19:56 Luj joins (~Luj@2a01:e0a:5f9:9681:99d6:59e2:427a:f3e1)
13:20:14 <merijn> I have ~/.cabal/config set to always copy the binary instead of symlink anyway
13:20:15 <maerwald[m]> That's nice too
13:23:25 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds)
13:28:52 AndreiDuma joins (~textual@89.137.239.160)
13:28:57 × cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds)
13:29:13 <ggVGc> Has anyone here genuinely used haskell for numerical/scientific stuff? E.g linear algebra, curve fitting and plotting, basically. So far I have hmatrix and matplotlib wrapper...
13:29:28 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
13:29:45 titibandit joins (~thibaut@sunp.ient.rwth-aachen.de)
13:29:46 × AndreiDuma quits (~textual@89.137.239.160) (Client Quit)
13:29:48 <ggVGc> not sure what to use for linear regression. The statistics package doesn't seem entirely mature
13:29:59 <ggVGc> statistics-linreg, I guess
13:33:20 titibandit parts (~thibaut@sunp.ient.rwth-aachen.de) ()
13:33:25 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:33:33 lagash joins (lagash@lagash.shelltalk.net)
13:34:15 ub joins (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de)
13:36:13 × ubert quits (~Thunderbi@p548c91bc.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
13:36:13 ub is now known as ubert
13:37:53 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:b431:9ce0:c55:143d) (Quit: WeeChat 2.8)
13:42:11 × ell quits (~ellie@user/ellie) (Read error: Connection reset by peer)
13:42:29 ell joins (~ellie@user/ellie)
13:43:57 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
13:43:57 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
13:43:57 wroathe joins (~wroathe@user/wroathe)
13:43:58 acidjnk joins (~acidjnk@p200300d6e715c4460569bb5c5405c3ef.dip0.t-ipconnect.de)
13:48:50 ht_ joins (~Thunderbi@194.110.115.10)
13:50:29 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 250 seconds)
13:50:30 ht_ is now known as _ht
13:50:35 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
13:52:43 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
13:53:56 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
13:54:08 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
13:54:10 ht_ joins (~Thunderbi@194.110.115.10)
13:54:58 × _ht quits (~Thunderbi@194.110.115.10) (Ping timeout: 252 seconds)
13:54:58 ht_ is now known as _ht
13:57:01 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
13:58:47 hugo joins (znc@verdigris.lysator.liu.se)
13:59:55 Guest79 joins (~Guest79@88-202-151-93.customer.gigaclear.net)
14:00:03 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
14:02:50 L29Ah joins (~L29Ah@wikipedia/L29Ah)
14:12:57 lagash joins (lagash@lagash.shelltalk.net)
14:16:57 thegeekinside joins (~thegeekin@189.141.115.134)
14:17:36 × dipper quits (~dipper@117.61.126.31) (Ping timeout: 248 seconds)
14:21:56 jakalx parts (~jakalx@base.jakalx.net) ()
14:24:21 × lyle quits (~lyle@104.246.145.237) (Quit: WeeChat 3.8)
14:24:21 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:24:51 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
14:26:11 shriekingnoise joins (~shrieking@186.137.175.87)
14:26:19 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
14:26:22 notzmv joins (~zmv@user/notzmv)
14:27:25 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
14:28:07 ht_ joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
14:29:54 × _ht quits (~Thunderbi@194.110.115.10) (Ping timeout: 255 seconds)
14:29:54 ht_ is now known as _ht
14:29:55 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
14:31:59 JoseMariaLanda[m joins (~josemaria@2001:470:69fc:105::3:392b)
14:35:29 mikoto-chan joins (~mikoto-ch@nat3.panoulu.net)
14:36:01 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
14:38:14 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
14:39:01 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
14:39:27 × ddellacosta quits (~ddellacos@143.244.47.68) (Ping timeout: 250 seconds)
14:40:10 jakalx joins (~jakalx@base.jakalx.net)
14:40:37 _leo___ joins (~emmanuelu@user/emmanuelux)
14:41:04 Lord_of_Life_ is now known as Lord_of_Life
14:41:32 ddellacosta joins (~ddellacos@143.244.47.81)
14:43:52 × emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 265 seconds)
14:46:49 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
14:48:35 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
14:53:47 lagash joins (lagash@lagash.shelltalk.net)
14:54:58 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:58:51 × mikoto-chan quits (~mikoto-ch@nat3.panoulu.net) (Ping timeout: 265 seconds)
15:00:01 ub joins (~Thunderbi@p200300ecdf101e497c5276c15e0d23fa.dip0.t-ipconnect.de)
15:00:47 × ubert quits (~Thunderbi@p200300ecdf101ec05cdfa4d6d0d3d87d.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
15:00:47 ub is now known as ubert
15:02:53 mikoto-chan joins (~mikoto-ch@nat3.panoulu.net)
15:04:21 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
15:05:39 titibandit joins (~user@user/titibandit)
15:11:14 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:11:51 cheater joins (~Username@user/cheater)
15:13:37 gambpang joins (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
15:17:00 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
15:18:56 × Guest79 quits (~Guest79@88-202-151-93.customer.gigaclear.net) (Quit: Client closed)
15:20:36 × Square2 quits (~Square4@user/square) (Ping timeout: 265 seconds)
15:22:07 jmdaemon joins (~jmdaemon@user/jmdaemon)
15:22:30 lagash joins (lagash@lagash.shelltalk.net)
15:29:46 gurkenglas joins (~gurkengla@dynamic-046-114-179-199.46.114.pool.telefonica.de)
15:34:27 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
15:38:59 × phma quits (~phma@2001:5b0:210d:a698:9492:b4b2:3be7:8871) (Read error: Connection reset by peer)
15:40:22 phma joins (phma@2001:5b0:215d:c628:9b19:4f9d:931f:c02e)
15:44:19 × titibandit quits (~user@user/titibandit) (Quit: leaving)
15:45:15 titibandit joins (~titibandi@user/titibandit)
15:45:48 jakalx parts (~jakalx@base.jakalx.net) ()
15:47:16 slack1256 joins (~slack1256@181.43.56.176)
15:48:03 Sgeo joins (~Sgeo@user/sgeo)
15:53:39 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
16:01:40 oneeyedalien joins (~oneeyedal@125-63-26-114.ip4.superloop.au)
16:02:32 Midjak joins (~Midjak@82.66.147.146)
16:05:22 jero98772 joins (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
16:05:27 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1) (Remote host closed the connection)
16:09:28 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
16:10:31 lagash joins (lagash@lagash.shelltalk.net)
16:15:00 × vpan quits (~0@212.117.1.172) (Quit: Leaving.)
16:17:36 enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
16:20:01 × mikoto-chan quits (~mikoto-ch@nat3.panoulu.net) (Ping timeout: 276 seconds)
16:20:13 × APic quits (apic@apic.name) (Quit: Yet another Screen Restart)
16:20:25 jakalx joins (~jakalx@base.jakalx.net)
16:22:25 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
16:25:06 APic joins (apic@apic.name)
16:26:15 × mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving)
16:26:49 × enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
16:28:44 L29Ah joins (~L29Ah@wikipedia/L29Ah)
16:30:03 × captnemo quits (~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
16:30:50 × use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value)
16:33:48 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
16:38:24 tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
16:40:42 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
16:41:39 × ddellacosta quits (~ddellacos@143.244.47.81) (Ping timeout: 250 seconds)
16:42:03 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1) (Remote host closed the connection)
16:42:18 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
16:44:01 lagash joins (lagash@lagash.shelltalk.net)
16:52:41 × codaraxis quits (~codaraxis@user/codaraxis) (Remote host closed the connection)
16:52:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1) (Remote host closed the connection)
16:53:06 codaraxis joins (~codaraxis@user/codaraxis)
16:53:31 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
16:58:01 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
17:00:30 econo joins (uid147250@user/econo)
17:08:07 × nschoe quits (~q@141.101.51.197) (Ping timeout: 276 seconds)
17:20:04 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:20:04 nate4 joins (~nate@98.45.169.16)
17:25:03 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
17:26:09 jmdaemon joins (~jmdaemon@user/jmdaemon)
17:28:11 × codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds)
17:31:30 ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de)
17:34:31 captnemo joins (~captnemo@193.32.127.232)
17:38:40 × gambpang quits (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net) (Ping timeout: 276 seconds)
17:41:45 AlexNoo joins (~AlexNoo@178.34.150.148)
17:45:06 mikoto-chan joins (~mikoto-ch@164.5.249.78)
17:47:35 AlexZenon joins (~alzenon@178.34.150.148)
17:47:45 × codolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
17:49:09 CiaoSen joins (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
17:51:42 dolio joins (~dolio@130.44.134.54)
17:52:21 × dolio quits (~dolio@130.44.134.54) (Client Quit)
17:52:55 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
17:53:47 × CiaoSen quits (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
17:55:16 codaraxis joins (~codaraxis@user/codaraxis)
17:59:00 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
17:59:47 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
18:07:34 × dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
18:07:56 dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
18:11:43 dolio joins (~dolio@130.44.134.54)
18:12:27 × dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 248 seconds)
18:14:38 dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
18:24:18 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:27:12 × taupiqueur1 quits (~taupiqueu@2a02:842a:8180:4601:fc91:cacd:bf6b:ded8) (Ping timeout: 248 seconds)
18:29:02 taupiqueur1 joins (~taupiqueu@2a02-842a-8180-4601-3428-4cfc-a04d-bedf.rev.sfr.net)
18:30:29 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
18:32:09 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
18:36:48 × cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds)
18:39:55 cheater joins (~Username@user/cheater)
18:48:19 cheater_ joins (~Username@user/cheater)
18:50:08 × cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds)
18:50:15 cheater_ is now known as cheater
18:53:56 cheater_ joins (~Username@user/cheater)
18:56:22 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1) (Remote host closed the connection)
18:56:41 × taupiqueur1 quits (~taupiqueu@2a02-842a-8180-4601-3428-4cfc-a04d-bedf.rev.sfr.net) (Quit: WeeChat 3.8)
18:56:43 × cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds)
18:56:53 cheater_ is now known as cheater
18:57:04 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
18:59:40 × pwntips quits (~user@24-113-98-114.wavecable.com) (Quit: leaving)
19:01:26 lagash joins (lagash@lagash.shelltalk.net)
19:03:11 Alex_test joins (~al_test@178.34.150.148)
19:11:28 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
19:14:09 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
19:17:00 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
19:17:14 × jwiegley quits (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
19:17:47 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
19:18:18 jwiegley joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
19:18:26 cheater joins (~Username@user/cheater)
19:24:57 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
19:25:53 × hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
19:27:42 hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com)
19:29:27 pavonia joins (~user@user/siracusa)
19:29:53 lagash joins (lagash@lagash.shelltalk.net)
19:30:29 × Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds)
19:32:13 Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com)
19:35:36 taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-552d-29ef-09b8-3fa2.rev.sfr.net)
19:39:12 ph88 joins (~ph88@91.66.101.83)
19:47:33 Sciencentistguy8 joins (~sciencent@hacksoc/ordinary-member)
19:50:37 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds)
19:50:37 Sciencentistguy8 is now known as Sciencentistguy
19:53:25 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
19:57:59 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
19:58:37 lagash joins (lagash@lagash.shelltalk.net)
20:04:05 ddellacosta joins (~ddellacos@143.244.47.81)
20:17:26 × ddellacosta quits (~ddellacos@143.244.47.81) (Quit: WeeChat 3.8)
20:18:17 ddellacosta joins (~ddellacos@143.244.47.81)
20:18:54 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:19:11 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Ping timeout: 250 seconds)
20:21:44 purlingstream joins (~godfibrat@178.70.110.196)
20:21:53 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
20:22:03 lagash joins (lagash@lagash.shelltalk.net)
20:31:34 × NiceBird quits (~NiceBird@185.133.111.196) (Quit: Leaving)
20:38:56 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
20:40:15 × haskl quits (~haskl@user/haskl) (Ping timeout: 255 seconds)
20:45:08 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
20:45:22 lagash joins (lagash@lagash.shelltalk.net)
20:48:07 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:49:01 × trev quits (~trev@user/trev) (Remote host closed the connection)
20:50:01 xtore joins (~extor@2001:41d0:1004:636::1)
20:52:47 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
20:52:47 × Flow quits (~none@gentoo/developer/flow) (Ping timeout: 252 seconds)
20:52:47 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
20:52:47 adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan)
20:52:48 × extor quits (~extor@ns3018124.ip-149-202-82.eu) (Ping timeout: 240 seconds)
20:52:48 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
20:52:48 haskl joins (~haskl@user/haskl)
20:57:56 × ubert quits (~Thunderbi@p200300ecdf101e497c5276c15e0d23fa.dip0.t-ipconnect.de) (Quit: ubert)
20:58:43 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
21:00:00 Flow joins (~none@gentoo/developer/flow)
21:02:26 cheater joins (~Username@user/cheater)
21:04:01 × xtore quits (~extor@2001:41d0:1004:636::1) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
21:04:12 extor joins (~extor@ns3018124.ip-149-202-82.eu)
21:06:10 merijn joins (~merijn@c-001-002-013.client.esciencecenter.eduvpn.nl)
21:08:25 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
21:09:31 × taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-552d-29ef-09b8-3fa2.rev.sfr.net) (Ping timeout: 248 seconds)
21:14:04 lagash joins (lagash@lagash.shelltalk.net)
21:21:34 nate4 joins (~nate@98.45.169.16)
21:26:29 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds)
21:27:36 × captnemo quits (~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
21:28:47 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:30:30 × mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds)
21:32:59 × adium_ quits (adium@user/adium) (Read error: Connection reset by peer)
21:37:07 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:37:28 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
21:39:28 × dtman34_ quits (~dtman34@2601:447:d000:93c9:dca4:919:c8a:849c) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
21:39:49 dtman34 joins (~dtman34@76.156.89.180)
21:41:25 lagash joins (lagash@lagash.shelltalk.net)
21:41:47 adium joins (adium@user/adium)
21:42:07 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
21:54:34 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:55:34 gambpang joins (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
21:58:52 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
22:00:07 slac64539 joins (~slack1256@186.11.6.152)
22:01:17 × slack1256 quits (~slack1256@181.43.56.176) (Read error: Connection reset by peer)
22:04:03 × merijn quits (~merijn@c-001-002-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
22:04:31 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
22:05:40 lagash joins (lagash@lagash.shelltalk.net)
22:10:53 × michalz quits (~michalz@185.246.207.221) (Remote host closed the connection)
22:20:09 × turlando quits (~turlando@user/turlando) (Ping timeout: 255 seconds)
22:22:20 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
22:23:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
22:24:11 × _leo___ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
22:24:30 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:25:05 turlando joins (~turlando@user/turlando)
22:26:11 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
22:28:50 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
22:30:27 slac64539 is now known as slack1256
22:31:38 × fnurglewitz quits (uid263868@id-263868.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:32:46 lagash joins (lagash@lagash.shelltalk.net)
22:37:50 × slack1256 quits (~slack1256@186.11.6.152) (Ping timeout: 252 seconds)
22:40:11 × acidjnk quits (~acidjnk@p200300d6e715c4460569bb5c5405c3ef.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
22:42:06 jakalx parts (~jakalx@base.jakalx.net) ()
22:47:41 × gurkenglas quits (~gurkengla@dynamic-046-114-179-199.46.114.pool.telefonica.de) (Ping timeout: 265 seconds)
22:56:11 × lagash quits (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
23:00:53 merijn joins (~merijn@c-001-002-013.client.esciencecenter.eduvpn.nl)
23:02:00 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6908:d35e:582:c0e1)
23:06:13 jmorris joins (uid537181@id-537181.uxbridge.irccloud.com)
23:08:25 × ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
23:09:46 ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
23:10:32 × ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit)
23:10:36 × chomwitt quits (~chomwitt@2a02:587:7a0f:e00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
23:11:57 ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
23:12:55 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
23:12:55 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
23:12:55 wroathe joins (~wroathe@user/wroathe)
23:16:21 mauke_ joins (~mauke@user/mauke)
23:18:08 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 265 seconds)
23:18:10 × mauke quits (~mauke@user/mauke) (Ping timeout: 252 seconds)
23:18:10 mauke_ is now known as mauke
23:18:38 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
23:22:01 × ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
23:22:42 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
23:22:55 × mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 250 seconds)
23:23:28 ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
23:23:47 × haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer)
23:24:45 haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
23:24:46 × haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
23:24:46 haritz joins (~hrtz@user/haritz)
23:28:51 <Axman6> ggVGc: it's quiet but #numerical-haskell might be helpful if you have questions
23:34:52 × merijn quits (~merijn@c-001-002-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
23:38:00 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
23:40:35 × zeenk quits (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!)
23:41:30 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:49:42 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
23:52:02 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:53:42 × ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
23:53:53 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: leaving)
23:55:19 ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
23:56:14 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)

All times are in UTC on 2023-03-29.