2021/05/15

2021-05-15 00:00:00 +0200	gehmehgeh	(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-15 00:00:09 +0200	takuan	(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-15 00:02:25 +0200	Guest87676	(~laudiacay@45.162.228.190)
2021-05-15 00:02:56 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 00:03:31 +0200	zebrag	(~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-15 00:04:09 +0200	elfets	(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-15 00:04:31 +0200	stree	(~stree@68.36.8.116)
2021-05-15 00:05:09 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 00:05:34 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-05-15 00:05:55 +0200	cmburnett	(~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net) ()
2021-05-15 00:08:33 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-15 00:09:31 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-15 00:09:50 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 00:10:08 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 00:10:24 +0200	cmburnett1	(~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net)
2021-05-15 00:11:36 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-05-15 00:11:43 +0200	ddellac__	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 00:12:31 +0200	<cmburnett1>	Is there a recommended way to access raw bytes (i.e. for interacting with embedded stuff) or do you just call C as a foreign function?
2021-05-15 00:12:33 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed)
2021-05-15 00:12:50 +0200	Guest87676	(~laudiacay@45.162.228.190) (Ping timeout: 268 seconds)
2021-05-15 00:12:53 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 00:13:04 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com)
2021-05-15 00:13:30 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr)
2021-05-15 00:13:31 +0200	<monochrom>	Look into Foreign.Ptr etc
2021-05-15 00:14:05 +0200	<monochrom>	and Foreign.Storable
2021-05-15 00:14:18 +0200	aerona	(~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355)
2021-05-15 00:15:07 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 00:15:17 +0200	<monochrom>	and Foreign.Marshal.*
2021-05-15 00:16:32 +0200	ddellac__	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 00:17:03 +0200	Rudd0	(~Rudd0@185.189.115.108)
2021-05-15 00:20:12 +0200	<cmburnett1>	Okie dokey, thanks! That looks exactly like what I was looking for
2021-05-15 00:20:29 +0200	<davean>	cmburnett1: accessing raw bytes with Haskell works smoothly IME
2021-05-15 00:20:30 +0200	DavidEichmann	(~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection)
2021-05-15 00:20:47 +0200	<cmburnett1>	IME?
2021-05-15 00:21:22 +0200	<davean>	In My Experience
2021-05-15 00:22:07 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 00:24:17 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 00:24:39 +0200	Tuplanolla	(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-15 00:25:16 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-15 00:27:13 +0200	<cmburnett1>	Oh duh, sorry
2021-05-15 00:27:47 +0200	nighmi	(~felix@port-92-196-15-14.dynamic.as20676.net)
2021-05-15 00:29:13 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 00:29:22 +0200	cyphase	(~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds)
2021-05-15 00:30:34 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 00:33:44 +0200	Guest87676	(~laudiacay@45.162.228.190)
2021-05-15 00:35:26 +0200	RusAlex	(~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2021-05-15 00:35:33 +0200	rj	(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-15 00:36:38 +0200	xelxebar	(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-05-15 00:37:03 +0200	xelxebar	(~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-15 00:37:49 +0200	cmburnett1	(~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) ()
2021-05-15 00:38:41 +0200	proofofkeags	(~proofofke@205.209.28.54) (Ping timeout: 240 seconds)
2021-05-15 00:39:09 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-05-15 00:39:34 +0200	<maerwald>	a pretty common internet expression :p
2021-05-15 00:39:47 +0200	RusAlex	(~Chel@unaffiliated/rusalex)
2021-05-15 00:40:01 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-15 00:40:47 +0200	<monochrom>	YMMV IANAL TIA KTHXBYE
2021-05-15 00:42:19 +0200	cyphase	(~cyphase@unaffiliated/cyphase)
2021-05-15 00:49:03 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 00:49:49 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 00:50:11 +0200	Guest87676	(~laudiacay@45.162.228.190) (Ping timeout: 260 seconds)
2021-05-15 00:51:58 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 00:54:24 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection)
2021-05-15 00:54:28 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 00:54:31 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-15 00:54:33 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-05-15 00:55:02 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 00:56:35 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d)
2021-05-15 00:56:53 +0200	alx741	(~alx741@181.196.68.14) (Ping timeout: 240 seconds)
2021-05-15 00:56:57 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 00:58:33 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-15 00:58:42 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 00:59:09 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 00:59:13 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-05-15 00:59:41 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-15 01:01:40 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-15 01:08:49 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-15 01:09:39 +0200	chimera_	(~chimera@120-192-113-92.pool.ukrtel.net)
2021-05-15 01:10:15 +0200	alx741	(~alx741@186.178.108.187)
2021-05-15 01:10:50 +0200	chimera	(~chimera@120-192-113-92.pool.ukrtel.net) (Ping timeout: 246 seconds)
2021-05-15 01:11:54 +0200	lawid	(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-05-15 01:14:26 +0200	carlomagno	(~cararell@148.87.23.9) (Quit: Leaving.)
2021-05-15 01:18:32 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 01:20:50 +0200	olligobber	(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-15 01:22:54 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 01:24:53 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 01:25:17 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 01:27:46 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 01:29:44 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 01:30:16 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 01:36:35 +0200	chimera_	(~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-15 01:36:39 +0200	boxscape	(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed)
2021-05-15 01:37:26 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 01:49:07 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 01:53:58 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-15 01:55:06 +0200	Rudd0	(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-05-15 01:56:57 +0200	fendor_	(~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 01:57:24 +0200	mouseghost	(~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-15 01:59:08 +0200	fendor	(~fendor@77.119.131.196.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2021-05-15 02:01:07 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 02:02:36 +0200	jakalx	(~jakalx@base.jakalx.net) ()
2021-05-15 02:03:44 +0200	cr3	(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 245 seconds)
2021-05-15 02:04:32 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 02:05:41 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-15 02:07:13 +0200	thc202	(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-05-15 02:07:56 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 02:08:56 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-15 02:09:03 +0200	houaria	(~bmichel91@146.70.40.14)
2021-05-15 02:10:00 +0200	jared-w	(uid405292@gateway/web/irccloud.com/x-fwgdfquvjlivfmma)
2021-05-15 02:10:32 +0200	isovector	(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2021-05-15 02:12:13 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 02:12:37 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-15 02:14:01 +0200	Deide	(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-15 02:14:43 +0200	bennofs_	(~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de)
2021-05-15 02:15:10 +0200	jakalx	(~jakalx@base.jakalx.net)
2021-05-15 02:17:18 +0200	Sheilong	(uid293653@gateway/web/irccloud.com/x-mfyylfhapxbhwkzn) (Quit: Connection closed for inactivity)
2021-05-15 02:18:28 +0200	bennofs__	(~quassel@dynamic-089-012-169-079.89.12.pool.telefonica.de) (Ping timeout: 265 seconds)
2021-05-15 02:19:52 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-15 02:20:19 +0200	letmein	(~ircclient@c-71-59-221-7.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2021-05-15 02:20:45 +0200	xcmw	(~textual@2603-6011-2200-f103-78ed-3bbc-293e-9c4e.res6.spectrum.com)
2021-05-15 02:22:23 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 02:23:20 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Remote host closed the connection)
2021-05-15 02:26:04 +0200	stree	(~stree@68.36.8.116)
2021-05-15 02:26:26 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-15 02:26:52 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0)
2021-05-15 02:28:05 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection)
2021-05-15 02:30:53 +0200	nighmi	(~felix@port-92-196-15-14.dynamic.as20676.net) (Quit: WeeChat 3.0.1)
2021-05-15 02:34:40 +0200	houaria	(~bmichel91@146.70.40.14) (Ping timeout: 268 seconds)
2021-05-15 02:34:50 +0200	houaria	(~bmichel91@139.28.177.82)
2021-05-15 02:36:39 +0200	acidjnk_new	(~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-15 02:37:11 +0200	RusAlex	(~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2021-05-15 02:38:17 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0)
2021-05-15 02:39:47 +0200	RusAlex	(~Chel@unaffiliated/rusalex)
2021-05-15 02:41:09 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 02:42:10 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving)
2021-05-15 02:42:33 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 02:45:28 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection)
2021-05-15 02:45:39 +0200	_bin	(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in)
2021-05-15 02:46:03 +0200	_bin	(~bin@2600:1700:10a1:38d0:922b:34ff:fe99:1283)
2021-05-15 02:46:23 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 02:47:31 +0200	houaria	(~bmichel91@139.28.177.82) ()
2021-05-15 02:50:08 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0)
2021-05-15 02:50:19 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 02:50:24 +0200	Tario	(~Tario@201.192.165.173) (Ping timeout: 245 seconds)
2021-05-15 02:51:34 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection)
2021-05-15 02:53:50 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0)
2021-05-15 02:54:18 +0200	renzhi	(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-15 02:54:42 +0200	Tario	(~Tario@200.119.184.176)
2021-05-15 02:55:12 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-15 02:58:06 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e)
2021-05-15 02:59:00 +0200	CrazyPython	(~crazypyth@206.214.238.7)
2021-05-15 03:02:21 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-15 03:04:58 +0200	kilolympus	(~kilolympu@5.151.5.180)
2021-05-15 03:06:35 +0200	dwt	(~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 260 seconds)
2021-05-15 03:07:19 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 03:12:05 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 03:12:43 +0200	cr3	(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-15 03:15:57 +0200	whataday	(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-15 03:15:58 +0200	Tario	(~Tario@200.119.184.176) (Read error: Connection reset by peer)
2021-05-15 03:16:14 +0200	Wizek	(uid191769@gateway/web/irccloud.com/x-marzjbfjxkdjkaeq) (Quit: Connection closed for inactivity)
2021-05-15 03:16:27 +0200	Tario	(~Tario@201.192.165.173)
2021-05-15 03:16:32 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 03:16:43 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 03:17:04 +0200	whataday	(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-15 03:17:41 +0200	viluon	(uid453725@gateway/web/irccloud.com/x-ooryghxdatknmzqr) (Quit: Connection closed for inactivity)
2021-05-15 03:19:24 +0200	plutoniix	(~q@node-ugb.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-05-15 03:20:30 +0200	drbean_	(~drbean@TC210-63-209-34.static.apol.com.tw)
2021-05-15 03:21:22 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 03:21:32 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-15 03:27:17 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-15 03:41:43 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds)
2021-05-15 03:43:26 +0200	m0rphism	(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 246 seconds)
2021-05-15 03:48:05 +0200	ddellacosta	(~ddellacos@86.106.143.176)
2021-05-15 03:49:27 +0200	xcmw	(~textual@2603-6011-2200-f103-78ed-3bbc-293e-9c4e.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 03:49:59 +0200	fresheyeball	(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-05-15 03:50:26 +0200	bobey88	(~bobey@72-172-218-188.fidnet.com) (Ping timeout: 246 seconds)
2021-05-15 03:51:33 +0200	machinedgod	(~machinedg@24.105.81.50)
2021-05-15 03:52:41 +0200	ddellacosta	(~ddellacos@86.106.143.176) (Ping timeout: 240 seconds)
2021-05-15 03:52:54 +0200	xff0x	(~xff0x@2001:1a81:52d0:2800:727d:1405:3867:9cdc) (Ping timeout: 245 seconds)
2021-05-15 03:53:21 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 03:53:56 +0200	rajivr	(uid269651@gateway/web/irccloud.com/x-vnrovmdtqzryhchz)
2021-05-15 03:54:39 +0200	HarveyPwca	(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-15 03:55:18 +0200	xff0x	(~xff0x@2001:1a81:52ea:b300:4fc0:e5c8:ce10:9b1b)
2021-05-15 03:57:37 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds)
2021-05-15 04:01:43 +0200	bobey88	(~bobey@72-172-218-188.fidnet.com)
2021-05-15 04:07:54 +0200	bobey88	(~bobey@72-172-218-188.fidnet.com) (Ping timeout: 252 seconds)
2021-05-15 04:08:26 +0200	oish	(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2021-05-15 04:10:39 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 04:11:43 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-15 04:12:04 +0200	dwt	(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2021-05-15 04:14:19 +0200	CrazyPython	(~crazypyth@206.214.238.7) (Read error: Connection reset by peer)
2021-05-15 04:15:16 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-15 04:16:05 +0200	xcmw	(~textual@cpe-69-133-55-43.cinci.res.rr.com)
2021-05-15 04:16:39 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 04:17:56 +0200	bobey88	(~bobey@72-172-218-188.fidnet.com)
2021-05-15 04:21:46 +0200	proofofkeags	(~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-15 04:22:41 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-15 04:24:12 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 04:24:41 +0200	HannaM	(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM)
2021-05-15 04:25:39 +0200	FinnElija	(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-15 04:25:39 +0200	finn_elija	Guest52782
2021-05-15 04:25:39 +0200	FinnElija	finn_elija
2021-05-15 04:25:55 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-15 04:26:46 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-15 04:27:33 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-15 04:28:44 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-05-15 04:28:45 +0200	Guest52782	(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-15 04:30:55 +0200	sm2n	(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca) (Remote host closed the connection)
2021-05-15 04:31:09 +0200	sm2n	(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca)
2021-05-15 04:32:37 +0200	letmein	(~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929)
2021-05-15 04:34:09 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-05-15 04:36:37 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0) (Ping timeout: 250 seconds)
2021-05-15 04:40:49 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-15 04:41:09 +0200	xenon-	(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-05-15 04:42:40 +0200	cole-h	(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-15 04:46:56 +0200	stree	(~stree@68.36.8.116)
2021-05-15 04:48:47 +0200	theDon	(~td@muedsl-82-207-238-178.citykom.de) (Ping timeout: 265 seconds)
2021-05-15 04:50:26 +0200	theDon	(~td@muedsl-82-207-238-251.citykom.de)
2021-05-15 04:50:47 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 04:55:03 +0200	rdivyanshu	(uid322626@gateway/web/irccloud.com/x-wsdzjwxkeisynwwr)
2021-05-15 04:55:49 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-15 04:56:59 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-15 04:57:54 +0200	Tario	(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-05-15 04:57:57 +0200	xkapastel	(uid17782@gateway/web/irccloud.com/x-iktbyznnjwficzkj) (Quit: Connection closed for inactivity)
2021-05-15 04:58:25 +0200	<jackdk>	I keep misreading YMMV (bunch of capitals) as YMML aviation stuff about Tullamarine airport. I blame dibblego
2021-05-15 04:59:00 +0200	Tario	(~Tario@201.192.165.173)
2021-05-15 04:59:55 +0200	bitdex	(~bitdex@gateway/tor-sasl/bitdex)
2021-05-15 05:01:35 +0200	cr3	(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-05-15 05:02:09 +0200	ddellacosta	(~ddellacos@86.106.143.215)
2021-05-15 05:02:59 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-15 05:04:14 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0)
2021-05-15 05:06:51 +0200	ddellacosta	(~ddellacos@86.106.143.215) (Ping timeout: 260 seconds)
2021-05-15 05:13:55 +0200	danso	(~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-05-15 05:14:38 +0200	machinedgod	(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-05-15 05:20:13 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-15 05:20:52 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 05:21:09 +0200	howdoi	(uid224@gateway/web/irccloud.com/x-czjyemaoaqihlnkl) (Quit: Connection closed for inactivity)
2021-05-15 05:21:57 +0200	concept2	(~concept2@unaffiliated/tubo) (Quit: See ya later!)
2021-05-15 05:22:24 +0200	Tario	(~Tario@201.192.165.173) (Ping timeout: 268 seconds)
2021-05-15 05:23:25 +0200	monochrom	(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-05-15 05:23:55 +0200	concept2	(~concept2@unaffiliated/tubo)
2021-05-15 05:24:40 +0200	tgpdyk	(889e08ac@136.158.8.172)
2021-05-15 05:24:59 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds)
2021-05-15 05:25:49 +0200	renzhi	(~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds)
2021-05-15 05:26:06 +0200	elliott_	(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-15 05:28:03 +0200	monochrom	(trebla@216.138.220.146)
2021-05-15 05:29:01 +0200	jao	(~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds)
2021-05-15 05:30:18 +0200	jared-w	(uid405292@gateway/web/irccloud.com/x-fwgdfquvjlivfmma) (Quit: Connection closed for inactivity)
2021-05-15 05:42:39 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 05:44:40 +0200	tgpdyk	(889e08ac@136.158.8.172) (Quit: Ping timeout (120 seconds))
2021-05-15 05:44:45 +0200	Tario	(~Tario@201.192.165.173)
2021-05-15 05:47:45 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-15 05:47:46 +0200	kjak	(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-15 05:49:06 +0200	kjak	(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-05-15 06:00:30 +0200	Rudd0	(~Rudd0@185.189.115.108)
2021-05-15 06:00:59 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-15 06:03:49 +0200	elliott_	(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-15 06:03:55 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-15 06:05:47 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-15 06:08:33 +0200	isovector	(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: WeeChat 3.1)
2021-05-15 06:09:39 +0200	bitmagie	(~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de)
2021-05-15 06:14:06 +0200	Iceland_jack	(~user@95.147.45.92) (Remote host closed the connection)
2021-05-15 06:14:57 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 06:15:55 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 06:18:46 +0200	ddellac__	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 06:19:39 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-15 06:20:59 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 06:22:10 +0200	justanotheruser	(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 3.1)
2021-05-15 06:22:53 +0200	justanotheruser	(~justanoth@unaffiliated/justanotheruser)
2021-05-15 06:23:44 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-05-15 06:26:08 +0200	ddellac__	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-15 06:29:17 +0200	TK__	(~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 250 seconds)
2021-05-15 06:29:34 +0200	deviantfero	(~deviantfe@190.150.27.58) (Ping timeout: 245 seconds)
2021-05-15 06:30:41 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-15 06:30:59 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 06:34:05 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 06:38:37 +0200	bitmagie	(~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-15 06:42:38 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-15 06:43:19 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-15 06:43:27 +0200	Rudd0^	(~Rudd0@185.189.115.103)
2021-05-15 06:44:59 +0200	Rudd0	(~Rudd0@185.189.115.108) (Ping timeout: 245 seconds)
2021-05-15 06:51:39 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 06:54:08 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 06:54:13 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-15 06:55:06 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-15 06:55:31 +0200	arkho	(~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection)
2021-05-15 06:55:54 +0200	Rudd0^	(~Rudd0@185.189.115.103) (Read error: Connection reset by peer)
2021-05-15 06:56:32 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-15 06:58:48 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-15 06:59:44 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 07:01:38 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-15 07:03:55 +0200	rdivyanshu	(uid322626@gateway/web/irccloud.com/x-wsdzjwxkeisynwwr) (Quit: Connection closed for inactivity)
2021-05-15 07:04:11 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-15 07:04:37 +0200	juri_	(~juri@178.63.35.222) (Ping timeout: 260 seconds)
2021-05-15 07:06:15 +0200	jamm_	(~jamm@unaffiliated/jamm)
2021-05-15 07:07:31 +0200	stree	(~stree@68.36.8.116)
2021-05-15 07:09:11 +0200	alx741	(~alx741@186.178.108.187) (Quit: alx741)
2021-05-15 07:10:24 +0200	jamm_	(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-05-15 07:14:57 +0200	johnw	(~johnw@haskell/developer/johnw)
2021-05-15 07:15:46 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 07:15:49 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 07:15:52 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 07:16:02 +0200	chimera	(~chimera@120-192-113-92.pool.ukrtel.net)
2021-05-15 07:16:20 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 07:19:59 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 07:22:35 +0200	falafel	(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-15 07:25:27 +0200	ddellacosta	(~ddellacos@86.106.143.10)
2021-05-15 07:28:26 +0200	aerona	(~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355) (Quit: Leaving)
2021-05-15 07:29:05 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::d3a0) (Ping timeout: 250 seconds)
2021-05-15 07:29:37 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 07:29:46 +0200	ddellacosta	(~ddellacos@86.106.143.10) (Ping timeout: 240 seconds)
2021-05-15 07:32:15 +0200	urodna	(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-15 07:34:05 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-15 07:34:59 +0200	Tario	(~Tario@201.192.165.173) (Ping timeout: 268 seconds)
2021-05-15 07:36:46 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-15 07:38:04 +0200	KaitoDaumoto	(Frat@unaffiliated/kaitodaumoto) (Remote host closed the connection)
2021-05-15 07:40:12 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 07:41:55 +0200	ozzymcduff	(~ozzymcduf@81-234-151-21-no94.tbcn.telia.com)
2021-05-15 07:41:55 +0200	wallymathieu	(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-15 07:41:57 +0200	jamm_	(~jamm@unaffiliated/jamm)
2021-05-15 07:43:52 +0200	Shuppiluliuma	(~shuppilul@153.33.68.161) (Ping timeout: 240 seconds)
2021-05-15 07:43:57 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-15 07:46:55 +0200	maylee	(~mayleesia@dynamic-077-013-052-059.77.13.pool.telefonica.de)
2021-05-15 07:47:19 +0200	howdoi	(uid224@gateway/web/irccloud.com/x-vgaeotlijwjbygta)
2021-05-15 07:51:59 +0200	jamm_	(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-15 07:57:27 +0200	jle`	(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2021-05-15 07:57:27 +0200	jle`	(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2021-05-15 07:57:27 +0200	jle`	(~mstksg@unaffiliated/mstksg)
2021-05-15 07:58:47 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 07:59:03 +0200	alexander	(~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a)
2021-05-15 07:59:31 +0200	alexander	Guest88420
2021-05-15 07:59:53 +0200	takuan	(~takuan@178-116-218-225.access.telenet.be)
2021-05-15 08:01:04 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Client Quit)
2021-05-15 08:03:33 +0200	asdgae33	(497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) (Quit: Connection closed)
2021-05-15 08:04:17 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 08:04:47 +0200	<sayola>	where can i get a c-like array that also works inside ST? Data.Array got a bit too much overhead. GHC.Prim has Array#, but i have no idea how to work with these.
2021-05-15 08:05:07 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 08:06:09 +0200	jamm_	(~jamm@unaffiliated/jamm)
2021-05-15 08:07:22 +0200	waleee-cl	(uid373333@gateway/web/irccloud.com/x-qvhnnxxbarmvcrtm) (Quit: Connection closed for inactivity)
2021-05-15 08:08:04 +0200	cole-h	(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-05-15 08:09:51 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-15 08:10:38 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-15 08:10:38 +0200	Varis	(~Tadas@unaffiliated/varis)
2021-05-15 08:10:41 +0200	jamm_	(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-15 08:15:42 +0200	<Cale>	sayola: What's wrong with STUArray?
2021-05-15 08:17:04 +0200	conal	(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-05-15 08:17:41 +0200	eb	(1fcb326c@31.203.50.108)
2021-05-15 08:18:23 +0200	<Cale>	If you need to act on the array from C code, then StorableArray might be a better choice, but it has more overhead than STUArray since it uses the Storable class to encode Haskell values into corresponding C representations.
2021-05-15 08:18:24 +0200	<sayola>	Cale: these arrays need to hold extra information to work with Ix . e.g. start and end point of the index as well as overall index. if i only want to work with many individual ~8 element long arrays, the index handling is noticable overhead.
2021-05-15 08:18:36 +0200	<Cale>	ah, okay
2021-05-15 08:18:40 +0200	<Cale>	There's Vector
2021-05-15 08:19:01 +0200	<Cale>	http://hackage.haskell.org/package/vector
2021-05-15 08:19:55 +0200	<Cale>	(Note that ST s is an instance of PrimMonad, which is a class you'll see a bunch of in there)
2021-05-15 08:21:27 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-05-15 08:22:14 +0200	conal	(~conal@64.71.133.70)
2021-05-15 08:22:57 +0200	<sayola>	vector got extra information for slicing. buut its working on arrays from primitive package, which might have what i'm looking for
2021-05-15 08:23:05 +0200	proofofkeags	(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 268 seconds)
2021-05-15 08:23:37 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 08:27:10 +0200	shailangsa	(~shailangs@host86-186-191-113.range86-186.btcentralplus.com) (Ping timeout: 252 seconds)
2021-05-15 08:27:21 +0200	<sayola>	Cale: thanks for the tip. seems that Data.Primitive.SmallArray fits nicely
2021-05-15 08:27:57 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 08:28:19 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-05-15 08:31:12 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 08:37:33 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas)
2021-05-15 08:43:23 +0200	ddellacosta	(~ddellacos@86.106.143.241)
2021-05-15 08:48:04 +0200	ddellacosta	(~ddellacos@86.106.143.241) (Ping timeout: 252 seconds)
2021-05-15 08:52:30 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 08:54:18 +0200	shailangsa	(~shailangs@host86-186-133-27.range86-186.btcentralplus.com)
2021-05-15 08:55:56 +0200	dave_uy	(~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2021-05-15 08:57:29 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-15 08:57:47 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 08:58:16 +0200	dave_uy	(~david@108.61.193.26)
2021-05-15 09:00:46 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 09:02:16 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 09:05:47 +0200	Tuplanolla	(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-15 09:07:06 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-15 09:13:17 +0200	plutoniix	(~q@node-ul6.pool-125-24.dynamic.totinternet.net)
2021-05-15 09:15:11 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 09:19:20 +0200	ddellacosta	(~ddellacos@86.106.143.85)
2021-05-15 09:20:29 +0200	poljar	(~poljar@93-141-148-6.adsl.net.t-com.hr)
2021-05-15 09:22:54 +0200	poljar1	(~poljar@78-2-35-208.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-05-15 09:24:17 +0200	ddellacosta	(~ddellacos@86.106.143.85) (Ping timeout: 265 seconds)
2021-05-15 09:25:51 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-15 09:28:52 +0200	stree	(~stree@68.36.8.116)
2021-05-15 09:42:41 +0200	tzh	(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-15 09:44:27 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 09:45:09 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 09:49:49 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 09:54:39 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 09:55:49 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-15 09:56:37 +0200	howdoi	(uid224@gateway/web/irccloud.com/x-vgaeotlijwjbygta) (Quit: Connection closed for inactivity)
2021-05-15 10:00:05 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 10:00:29 +0200	zaquest	(~notzaques@5.128.210.178) (Quit: Leaving)
2021-05-15 10:01:51 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 10:03:20 +0200	kuribas	(~user@ptr-25vy0i815a71ox79ixp.18120a2.ip6.access.telenet.be)
2021-05-15 10:03:54 +0200	<kuribas>	I want to generate haskell types for my database schema.
2021-05-15 10:04:39 +0200	<kuribas>	There are several options: to load the information schema, and generate haskell source code, to use template haskell to create the types from the information schema, or to use template haskell with a haskell ADT representing the database schema.
2021-05-15 10:04:50 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 10:05:28 +0200	<kuribas>	The last option looks the most flexible to me.
2021-05-15 10:05:37 +0200	<kuribas>	However with the first I could generate documentation.
2021-05-15 10:06:20 +0200	<kuribas>	or can you generate haddock from TH?
2021-05-15 10:06:41 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-15 10:06:54 +0200	kenran	(~kenran@i577BCDEC.versanet.de)
2021-05-15 10:08:39 +0200	zaquest	(~notzaques@5.128.210.178)
2021-05-15 10:10:51 +0200	mikoto-chan	(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-15 10:12:21 +0200	hendursaga	(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-15 10:13:00 +0200	danvet	(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-15 10:15:38 +0200	Feuermagier	(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-15 10:16:13 +0200	hendursaga	(~weechat@gateway/tor-sasl/hendursaga)
2021-05-15 10:17:25 +0200	_noblegas	(uid91066@gateway/web/irccloud.com/x-mtzrtyjcpxczquke)
2021-05-15 10:20:24 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-05-15 10:21:39 +0200	Aquazi	(uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco)
2021-05-15 10:23:17 +0200	chimera	(~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-15 10:25:38 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 10:26:24 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 10:26:48 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 10:27:45 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 10:30:27 +0200	_ht	(~quassel@82-169-194-8.biz.kpn.net)
2021-05-15 10:30:44 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-15 10:30:51 +0200	Sgeo	(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-15 10:31:20 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Client Quit)
2021-05-15 10:31:28 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-15 10:34:00 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 10:36:14 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 245 seconds)
2021-05-15 10:38:19 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 245 seconds)
2021-05-15 10:38:44 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-05-15 10:42:31 +0200	Guest88420	(~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds)
2021-05-15 10:43:47 +0200	shanemikel	(~shanemike@143.198.136.99)
2021-05-15 10:44:14 +0200	shanemikel	(~shanemike@143.198.136.99) (Client Quit)
2021-05-15 10:45:14 +0200	drbean_	(~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-15 10:45:50 +0200	kritzefitz	(~kritzefit@212.86.56.80)
2021-05-15 10:46:55 +0200	elfets	(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-15 10:47:19 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 10:47:25 +0200	oxide	(~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds)
2021-05-15 10:47:29 +0200	z88	(~z88@82.85-87-220.dynamic.clientes.euskaltel.es)
2021-05-15 10:48:45 +0200	s00pcan	(~chris@075-133-056-178.res.spectrum.com)
2021-05-15 10:48:46 +0200	alexander	(~alexander@athedsl-32112.home.otenet.gr)
2021-05-15 10:49:04 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-15 10:49:15 +0200	alexander	Guest40497
2021-05-15 10:49:26 +0200	gehmehgeh	(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-15 10:49:54 +0200	kritzefitz	(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-15 10:50:53 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 10:52:43 +0200	Pickchea	(~private@unaffiliated/pickchea)
2021-05-15 10:53:40 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 10:58:15 +0200	chimera	(~chimera@120-192-113-92.pool.ukrtel.net)
2021-05-15 10:58:37 +0200	chimera	(~chimera@120-192-113-92.pool.ukrtel.net) (Client Quit)
2021-05-15 10:59:35 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 11:00:07 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 11:02:58 +0200	invaser	(~Thunderbi@91.226.34.177)
2021-05-15 11:03:35 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d)
2021-05-15 11:04:35 +0200	<invaser>	Hi, I've recently read somewhere that there's a distinction between types of monads: there are ones like State, Identity or Maybe that you can "leave" (there's something like m a -> a function), and there monads that you can
2021-05-15 11:04:42 +0200	<invaser>	*can't, like IO
2021-05-15 11:05:07 +0200	<invaser>	Is there a specific name for such a distinction?
2021-05-15 11:09:05 +0200	<kuribas>	invaser: Monad doesn't say anything about leaving or not. The Monad Typeclass itself doesn't provide for "leaving", however it doesn't prevent it either.
2021-05-15 11:10:09 +0200	<kuribas>	The fact that "IO a -> a" doesn't exist is particular to IO, it is not a feature or Monads.
2021-05-15 11:10:11 +0200	m0rphism	(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-15 11:11:31 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 11:11:41 +0200	xcmw	(~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 11:13:18 +0200	fendor_	(~fendor@91.141.1.123.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-15 11:13:36 +0200	fendor	(~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 11:14:11 +0200	son0p	(~ff@181.136.122.143) (Ping timeout: 240 seconds)
2021-05-15 11:14:37 +0200	fendor_	(~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 11:14:39 +0200	fendor	(~fendor@91.141.1.123.wireless.dyn.drei.com) (Client Quit)
2021-05-15 11:14:39 +0200	fendor_	(~fendor@91.141.1.123.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-15 11:14:58 +0200	fendor	(~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 11:15:53 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-15 11:17:34 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 11:17:58 +0200	<invaser>	kuribas: Yes, you are right. I am aware that Monad doesn't impose any limitation on that. But I'd like to know if it's a thing that has a name? This "ability to leave".
2021-05-15 11:18:10 +0200	<kuribas>	not that I know of
2021-05-15 11:18:21 +0200	Feuermagier	(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-05-15 11:18:39 +0200	<Arahael>	I don't think Monad defines `M a -> a` at all.
2021-05-15 11:18:50 +0200	<Arahael>	(If it did, we'd be able to leave IO)
2021-05-15 11:19:39 +0200	<kuribas>	it looks a bit comonad-ish...
2021-05-15 11:19:43 +0200	<kuribas>	extract :: w a -> a
2021-05-15 11:19:59 +0200	<kuribas>	Identity is both a Monad and Comonad
2021-05-15 11:20:37 +0200	<kuribas>	But there isn't "Maybe a -> a" or "StateT s a -> a" either
2021-05-15 11:20:41 +0200	Feuermagier	(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-15 11:20:44 +0200	<kuribas>	not a total one at least
2021-05-15 11:20:55 +0200	knupfer	(~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de)
2021-05-15 11:21:12 +0200	ukari	(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-15 11:21:23 +0200	knupfer	(~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de) (Remote host closed the connection)
2021-05-15 11:21:32 +0200	knupfer	(~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de)
2021-05-15 11:21:41 +0200	<kuribas>	So the act of "extracting" is quite different for State, Identity or Maybe.
2021-05-15 11:22:17 +0200	ukari	(~ukari@unaffiliated/ukari)
2021-05-15 11:23:27 +0200	<Arahael>	Which is to say, it's not part of the Monad type class.
2021-05-15 11:25:04 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 11:27:04 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 11:27:50 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 11:28:04 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 11:29:28 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Ping timeout: 265 seconds)
2021-05-15 11:33:13 +0200	eb	(1fcb326c@31.203.50.108) (Quit: Connection closed)
2021-05-15 11:36:53 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 11:37:34 +0200	pera	(~pera@unaffiliated/pera)
2021-05-15 11:37:51 +0200	oxide	(~lambda@unaffiliated/mclaren)
2021-05-15 11:38:52 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 11:44:30 +0200	shanemikel	(~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 11:45:04 +0200	shanemikel	(~shanemike@desk.roadwar.net)
2021-05-15 11:45:35 +0200	<wz1000>	kuribas: you can generate haddock from TH starting in GHC 9.2
2021-05-15 11:46:14 +0200	juri_	(~juri@79.140.120.113)
2021-05-15 11:46:39 +0200	<kuribas>	A bit cutting edge, but at least it's progress :)
2021-05-15 11:46:41 +0200	Guest40497	(~alexander@athedsl-32112.home.otenet.gr) (Ping timeout: 240 seconds)
2021-05-15 11:46:58 +0200	<wz1000>	one option you have (that I have also considered) is to use older GHCs but generate documenation using a 9.2 prerelease and upload that
2021-05-15 11:47:25 +0200	<kuribas>	can haddock generate types from TH?
2021-05-15 11:47:30 +0200	<kuribas>	pre 9.2?
2021-05-15 11:47:35 +0200	kenran	(~kenran@i577BCDEC.versanet.de) (Remote host closed the connection)
2021-05-15 11:48:00 +0200	<wz1000>	you mean do the types show up in haddock? yes
2021-05-15 11:48:35 +0200	ddellacosta	(~ddellacos@86.106.143.59)
2021-05-15 11:49:39 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas)
2021-05-15 11:50:23 +0200	stree	(~stree@68.36.8.116)
2021-05-15 11:50:35 +0200	<kuribas>	ok, so no docstrings or sections
2021-05-15 11:53:05 +0200	ddellacosta	(~ddellacos@86.106.143.59) (Ping timeout: 246 seconds)
2021-05-15 11:59:35 +0200	alexander	(~alexander@ppp-94-67-202-54.home.otenet.gr)
2021-05-15 12:00:05 +0200	alexander	Guest70586
2021-05-15 12:00:39 +0200	Rudd0	(~Rudd0@185.189.115.108)
2021-05-15 12:00:46 +0200	Woden	(3b66ec2c@59.102.236.44)
2021-05-15 12:01:47 +0200	<Woden>	Hi, I am new to Haskell and I am trying to understand some code but still don't get it. May I ask the question here?
2021-05-15 12:02:03 +0200	mcglk	(~textual@131.191.49.120)
2021-05-15 12:02:09 +0200	<invaser>	Woden: Sure, go ahead
2021-05-15 12:03:52 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-05-15 12:04:16 +0200	<Woden>	The code reference is here. https://github.com/genosage/CardGuessingGame/blob/master/CardGuessing.hs#L1I am implementing the poker card guessing game, like given two cards, guess the answer until correct.I am confused about the bestGuess function, and cannot even understand the syntax.
2021-05-15 12:05:02 +0200	<Woden>	If inconvenient, or wrong place to ask, I apologzie.
2021-05-15 12:05:57 +0200	<invaser>	Woden: No, it's the perfect place to ask :)
2021-05-15 12:09:33 +0200	<invaser>	Woden: What part in particular is confusing for you?
2021-05-15 12:09:43 +0200	<Woden>	Thank you :)For my understanding, what I know by now is that the code is generating the weight for the card collection, and it seems remove all other cards except the result.but I am not sure, and why code using the square to generate the weights?
2021-05-15 12:12:22 +0200	<Woden>	I mean, using square function to generate a weight to each combination lead to the correct answer doesn't make sense to me.
2021-05-15 12:13:19 +0200	<Woden>	The strategy in my mind is to use the binary search to narrow down the rank.
2021-05-15 12:13:38 +0200	<Woden>	Don't know how to implement, though
2021-05-15 12:15:53 +0200	acidjnk_new	(~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de)
2021-05-15 12:17:19 +0200	pavonia	(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-15 12:18:44 +0200	<mcglk>	At first glance, expectedNum seems to be taking the sum of squares to calculate a standard deviation or a sample variance. But I'm rusty enough with statistics that I'm uncertain about that.
2021-05-15 12:20:31 +0200	plutoniix	(~q@node-ul6.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection)
2021-05-15 12:20:46 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 12:20:58 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::5e97)
2021-05-15 12:21:45 +0200	<Woden>	yeah, it's like variance
2021-05-15 12:21:46 +0200	rockethead	(~rockethea@2001:41d0:302:2100::6dae)
2021-05-15 12:21:57 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas)
2021-05-15 12:23:02 +0200	rockethead	(~rockethea@2001:41d0:302:2100::6dae) (Remote host closed the connection)
2021-05-15 12:25:43 +0200	<Woden>	or, is there any better solution than the implementation?
2021-05-15 12:25:57 +0200	<Woden>	regarding the bestGuess
2021-05-15 12:27:39 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 12:27:45 +0200	ddellac__	(~ddellacos@86.106.143.33)
2021-05-15 12:28:43 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 12:29:20 +0200	Qwerky	(~qwerky@178.197.228.14)
2021-05-15 12:29:56 +0200	<mcglk>	I dunno. Seems concise enough for the strategy. Granted, this isn't a very sophisticated strategy, but you're only dealing with less than 20 functions.
2021-05-15 12:31:03 +0200	<Woden>	yeah, agree
2021-05-15 12:32:50 +0200	ddellac__	(~ddellacos@86.106.143.33) (Ping timeout: 268 seconds)
2021-05-15 12:33:06 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-05-15 12:33:13 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-15 12:34:27 +0200	jamm_	(~jamm@unaffiliated/jamm)
2021-05-15 12:38:44 +0200	jamm_	(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-05-15 12:40:13 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-15 12:45:38 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 12:46:06 +0200	M_o_C	(~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de)
2021-05-15 12:46:34 +0200	Qwerky	(~qwerky@178.197.228.14) (Remote host closed the connection)
2021-05-15 12:46:37 +0200	<kuribas>	is it not possible to slice a name in a declaration? Like [d\| $(mkName foo) :: Int \|] ?
2021-05-15 12:50:11 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-15 12:50:33 +0200	pyx	(~pyx@unaffiliated/pyx)
2021-05-15 12:50:42 +0200	pyx	(~pyx@unaffiliated/pyx) (Client Quit)
2021-05-15 12:50:57 +0200	<kuribas>	ah, splice can only be an expression, type or declaration list...
2021-05-15 12:53:42 +0200	M_o_C	(~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de) (Quit: Konversation terminated!)
2021-05-15 12:54:09 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 245 seconds)
2021-05-15 12:57:59 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds)
2021-05-15 12:59:01 +0200	ddellacosta	(~ddellacos@86.106.143.46)
2021-05-15 13:03:26 +0200	ddellacosta	(~ddellacos@86.106.143.46) (Ping timeout: 246 seconds)
2021-05-15 13:08:49 +0200	acidjnk_new	(~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-15 13:11:21 +0200	paddymahoney	(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-05-15 13:12:18 +0200	son0p	(~ff@181.136.122.143)
2021-05-15 13:12:53 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-05-15 13:18:09 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d)
2021-05-15 13:19:13 +0200	pera	(~pera@unaffiliated/pera) (Ping timeout: 252 seconds)
2021-05-15 13:19:22 +0200	pera	(pera@gateway/vpn/mullvad/pera)
2021-05-15 13:21:14 +0200	<pjb>	kuribas: you can probably do that in liskell.
2021-05-15 13:21:25 +0200	<pjb>	kuribas: https://github.com/haskell-lisp/liskell
2021-05-15 13:21:43 +0200	<pjb>	http://lambda-the-ultimate.org/node/2363
2021-05-15 13:22:09 +0200	knupfer	(~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de) (Remote host closed the connection)
2021-05-15 13:22:18 +0200	knupfer	(~Thunderbi@200116b82b539600a0d9a899e72817b3.dip.versatel-1u1.de)
2021-05-15 13:24:16 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 13:24:19 +0200	<kuribas>	pjb: it's dead?
2021-05-15 13:26:21 +0200	pera	(pera@gateway/vpn/mullvad/pera) (Quit: leaving)
2021-05-15 13:28:45 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds)
2021-05-15 13:35:12 +0200	HannaM	(~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-15 13:35:52 +0200	rdivyanshu	(uid322626@gateway/web/irccloud.com/x-yurqvpvnjnppvuit)
2021-05-15 13:38:25 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 13:38:45 +0200	Franciman	(~francesco@host-82-48-14-60.retail.telecomitalia.it)
2021-05-15 13:38:50 +0200	Franciman	(~francesco@host-82-48-14-60.retail.telecomitalia.it) ("Leaving")
2021-05-15 13:39:07 +0200	jakalx	(~jakalx@base.jakalx.net) ("Error from remote client")
2021-05-15 13:42:52 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-15 13:50:59 +0200	jakalx	(~jakalx@base.jakalx.net)
2021-05-15 13:51:15 +0200	<Woden>	Thank you all, for those who responded my question. Hope all of you have a nice day
2021-05-15 13:55:41 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-15 13:58:33 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-15 13:59:11 +0200	<mcglk>	Anytime, Woden.
2021-05-15 13:59:23 +0200	Woden	(3b66ec2c@59.102.236.44) (Ping timeout: 240 seconds)
2021-05-15 14:00:24 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 268 seconds)
2021-05-15 14:04:30 +0200	<pjb>	kuribas: do you know the definition of life?
2021-05-15 14:04:54 +0200	<kuribas>	pjb: no
2021-05-15 14:05:15 +0200	olligobber	(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-05-15 14:06:50 +0200	jakalx	(~jakalx@base.jakalx.net) ("Error from remote client")
2021-05-15 14:07:29 +0200	machinedgod	(~machinedg@24.105.81.50)
2021-05-15 14:09:16 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-15 14:09:41 +0200	<pjb>	kuribas: for an entity to be alive, it must be able to grow, to reproduce, to have a functional activity, and to change, before dying.
2021-05-15 14:09:56 +0200	<pjb>	kuribas: have you seen software grow (by themselves), and to reproduce (by themselves)?
2021-05-15 14:10:21 +0200	<pjb>	kuribas: did liskell multiply github repositories with its children?
2021-05-15 14:10:36 +0200	<kuribas>	pjb: perhaps? :-P
2021-05-15 14:10:39 +0200	<pjb>	kuribas: did it include an Ada backend?
2021-05-15 14:10:44 +0200	<pjb>	all by itself?
2021-05-15 14:10:59 +0200	jakalx	(~jakalx@base.jakalx.net)
2021-05-15 14:11:05 +0200	<kuribas>	pjb: I didn't, which is why it's dead :)
2021-05-15 14:11:17 +0200	henninb	(~henninb@63-226-190-31.mpls.qwest.net)
2021-05-15 14:11:28 +0200	stree	(~stree@68.36.8.116)
2021-05-15 14:11:30 +0200	<pjb>	Instead of asking silly questions, fetch it and try it1
2021-05-15 14:11:32 +0200	<pjb>	!
2021-05-15 14:12:04 +0200	<kuribas>	pjb: I'll put it on my long list of interesting things to try...
2021-05-15 14:15:18 +0200	<[exa]>	pjb: software "life" is defined by people who are able to classify whether it's dead or not
2021-05-15 14:15:30 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 14:16:44 +0200	<[exa]>	(which is not far from the current practical biological definition tbh)
2021-05-15 14:16:51 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 14:18:16 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 14:18:43 +0200	<pjb>	[exa]: software cannot be dead: you can always get the sources, compile and run it, even 1000 years later, and even if some dependencies don't exist anymore, by emulating or reimplementing the dependencies.
2021-05-15 14:19:10 +0200	<pjb>	It is very far from the biological definition of life an dead, because of the autonomy of life.
2021-05-15 14:22:48 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 14:23:32 +0200	<[exa]>	pjb: I therefore challenge you to get the original version of this software https://en.wikipedia.org/wiki/IBM_7090/94_IBSYS running
2021-05-15 14:23:41 +0200	<[exa]>	(please compare with reanimating corpses)
2021-05-15 14:25:47 +0200	<sshine>	That is not dead which can eternal lie. And with strange aeons even death may die.
2021-05-15 14:26:06 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com)
2021-05-15 14:26:12 +0200	<sshine>	I think Lovecraft was talking about version control.
2021-05-15 14:26:25 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 14:26:27 +0200	<[exa]>	:]
2021-05-15 14:26:55 +0200	<[exa]>	well technically, archving source code consumes energy and effort
2021-05-15 14:27:10 +0200	<[exa]>	(just saying')
2021-05-15 14:28:09 +0200	<sshine>	I'd need to read up on the metaphysics of git to respond to that. :-P
2021-05-15 14:30:58 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 14:32:16 +0200	dsrt^	(~hph@ip98-184-89-2.mc.at.cox.net) ()
2021-05-15 14:32:19 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-15 14:33:13 +0200	<pjb>	[exa]: Sure. You get the tape from https://sky-visions.com/ibm/ibsys_tapes.shtml and you get simh to emulate the 7090.
2021-05-15 14:33:38 +0200	<pjb>	[exa]: We have the LISP 1.5 tapes, and we run them routinly on simh s7090.
2021-05-15 14:34:13 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds)
2021-05-15 14:35:00 +0200	nrl^	(~hph@ip98-184-89-2.mc.at.cox.net)
2021-05-15 14:35:19 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 14:35:25 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-15 14:35:46 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 14:35:48 +0200	<pjb>	[exa]: have a look at http://web.sonoma.edu/users/l/luvisi/lisp/lisp15.tar.gz it contains a README explaining how to do it in details.
2021-05-15 14:35:53 +0200	<[exa]>	OK I underestimated the endurance of IBM stuff
2021-05-15 14:35:57 +0200	<pjb>	[exa]: just get the IBSYS tapes.
2021-05-15 14:36:33 +0200	<pjb>	[exa]: any and all old systems are getting emulated and keeps running on current hardware.
2021-05-15 14:39:16 +0200	oish	(~charlie@228.25.169.217.in-addr.arpa)
2021-05-15 14:45:02 +0200	drbean_	(~drbean@210.63.209.175)
2021-05-15 14:45:13 +0200	Rudd0	(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2021-05-15 14:46:07 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 14:46:20 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 14:47:40 +0200	Lord_of_Life_	(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-05-15 14:47:52 +0200	rdd	(~user@c-407ce255.012-81-73746f39.cust.ownit.se) (Ping timeout: 240 seconds)
2021-05-15 14:49:09 +0200	Lord_of_Life	(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds)
2021-05-15 14:49:09 +0200	Lord_of_Life_	Lord_of_Life
2021-05-15 14:49:35 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 14:51:24 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-15 14:52:23 +0200	stree	(~stree@68.36.8.116) (Quit: Caught exception)
2021-05-15 14:52:49 +0200	stree	(~stree@68.36.8.116)
2021-05-15 14:54:02 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-15 14:54:03 +0200	curiousgay	(~gay@178.217.208.8) (Ping timeout: 268 seconds)
2021-05-15 14:54:21 +0200	urodna	(~urodna@unaffiliated/urodna)
2021-05-15 14:55:19 +0200	conal	(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-05-15 15:00:29 +0200	conal	(~conal@64.71.133.70)
2021-05-15 15:00:56 +0200	Aquazi	(uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco) (Quit: Connection closed for inactivity)
2021-05-15 15:01:10 +0200	undvrainbowvita8	(~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT)
2021-05-15 15:01:54 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-15 15:02:27 +0200	jakalx	(~jakalx@base.jakalx.net) ()
2021-05-15 15:04:28 +0200	stef204	(~stef204@unaffiliated/stef-204/x-384198)
2021-05-15 15:04:38 +0200	kristijonas	(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-15 15:07:37 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-15 15:07:53 +0200	oish	(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2021-05-15 15:12:17 +0200	henninb	(~henninb@63-226-190-31.mpls.qwest.net) (Quit: leaving)
2021-05-15 15:17:41 +0200	Pickchea	(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-15 15:18:41 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 15:19:02 +0200	curiousgay	(~gay@178.217.208.8)
2021-05-15 15:19:12 +0200	jakalx	(~jakalx@base.jakalx.net)
2021-05-15 15:20:43 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 15:21:30 +0200	<guest5>	hi, I had some help yesterday writing this function - https://paste.tomsmeding.com/anKJ0UYp - but as you can see the output is formatted badly, I've tried using printf but haven't had any luck. Any help would be appreciated :)
2021-05-15 15:22:11 +0200	<guest5>	(the first 3 data points in each line are output in a different function that also calls the one added ^)
2021-05-15 15:25:30 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 15:30:27 +0200	tlyu	(~tlyu@138.199.47.158) (Remote host closed the connection)
2021-05-15 15:31:44 +0200	cdsmith	(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-15 15:32:26 +0200	renzhi	(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-15 15:34:46 +0200	undvrainbowvita8	(~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-15 15:35:35 +0200	cdsmith	(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Client Quit)
2021-05-15 15:35:49 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 245 seconds)
2021-05-15 15:35:57 +0200	cdsmith	(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-15 15:40:01 +0200	elfets	(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-15 15:41:05 +0200	Shuppiluliuma	(~shuppilul@153.33.68.161)
2021-05-15 15:41:09 +0200	snowflake	(~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds)
2021-05-15 15:41:11 +0200	Vq	(~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-05-15 15:41:31 +0200	snowflake	(~snowflake@gateway/tor-sasl/snowflake)
2021-05-15 15:42:30 +0200	danso	(~dan@modemcable156.91-20-96.mc.videotron.ca)
2021-05-15 15:45:11 +0200	motherfsck	(~motherfsc@unaffiliated/motherfsck) (Ping timeout: 240 seconds)
2021-05-15 15:47:33 +0200	saolof[m]	(saolofmatr@gateway/shell/matrix.org/x-ttfiiqteonhjfknr)
2021-05-15 15:48:19 +0200	curiousgay	(~gay@178.217.208.8) (Ping timeout: 268 seconds)
2021-05-15 15:48:44 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 15:48:55 +0200	Deide	(~Deide@217.155.19.23)
2021-05-15 15:49:22 +0200	curiousgay	(~gay@178.217.208.8)
2021-05-15 15:51:26 +0200	henninb	(~henninb@63-226-190-31.mpls.qwest.net)
2021-05-15 15:53:47 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 15:54:14 +0200	drbean_	(~drbean@210.63.209.175) (Ping timeout: 246 seconds)
2021-05-15 15:56:33 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 15:57:23 +0200	phaul	(~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2021-05-15 15:58:06 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-15 15:58:23 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 15:59:35 +0200	phaul	(~phaul@ruby/staff/phaul)
2021-05-15 16:00:10 +0200	biglama	(~alex@static-176-165-167-17.ftth.abo.bbox.fr)
2021-05-15 16:02:09 +0200	__monty__	(~toonn@unaffiliated/toonn)
2021-05-15 16:04:43 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 16:06:41 +0200	phaul	(~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2021-05-15 16:07:00 +0200	CrazyPython	(~crazypyth@206.214.238.6)
2021-05-15 16:08:01 +0200	phaul	(~phaul@ruby/staff/phaul)
2021-05-15 16:08:45 +0200	zebrag	(~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr)
2021-05-15 16:09:11 +0200	Sheilong	(uid293653@gateway/web/irccloud.com/x-pqabmrplvmbawjlf)
2021-05-15 16:12:00 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-15 16:15:50 +0200	Qwerky	(~qwerky@178.197.228.14)
2021-05-15 16:18:44 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 245 seconds)
2021-05-15 16:19:32 +0200	stef204	(~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1)
2021-05-15 16:20:39 +0200	Qwerky	(~qwerky@178.197.228.14) (Remote host closed the connection)
2021-05-15 16:21:49 +0200	machinedgod	(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-05-15 16:22:30 +0200	Qwerky	(~qwerky@178.197.228.14)
2021-05-15 16:22:59 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d)
2021-05-15 16:23:15 +0200	Qwerky	(~qwerky@178.197.228.14) (Remote host closed the connection)
2021-05-15 16:23:42 +0200	jao	(~jao@pdpc/supporter/professional/jao)
2021-05-15 16:24:39 +0200	kenran	(~kenran@i577BCDEC.versanet.de)
2021-05-15 16:28:17 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 16:30:10 +0200	plutoniix	(~q@node-ul6.pool-125-24.dynamic.totinternet.net)
2021-05-15 16:31:56 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 16:32:54 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-05-15 16:32:58 +0200	shailangsa	(~shailangs@host86-186-133-27.range86-186.btcentralplus.com) (Ping timeout: 252 seconds)
2021-05-15 16:36:13 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-15 16:37:23 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas)
2021-05-15 16:39:01 +0200	Qwerky	(~qwerky@178.197.228.14)
2021-05-15 16:39:05 +0200	invaser	(~Thunderbi@91.226.34.177) (Ping timeout: 260 seconds)
2021-05-15 16:43:14 +0200	Qwerky	(~qwerky@178.197.228.14) (Ping timeout: 246 seconds)
2021-05-15 16:43:45 +0200	xkapastel	(uid17782@gateway/web/irccloud.com/x-xbpjbbtirknbijsk)
2021-05-15 16:45:37 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-15 16:46:20 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 16:46:59 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 16:51:35 +0200	alx741	(~alx741@186.178.108.187)
2021-05-15 16:53:35 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 16:54:26 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-15 16:55:14 +0200	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-15 16:55:41 +0200	xcmw	(~textual@cpe-69-133-55-43.cinci.res.rr.com)
2021-05-15 16:55:46 +0200	elliott_	(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-15 16:57:20 +0200	jwheare1	(~jwheare@178.238.11.35)
2021-05-15 16:59:55 +0200	shailangsa	(~shailangs@host217-35-224-205.range217-35.btcentralplus.com)
2021-05-15 17:00:46 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 17:01:45 +0200	elliott_	(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-15 17:04:14 +0200	Tario	(~Tario@201.192.165.173)
2021-05-15 17:05:44 +0200	xenon-	(~bc817c21@217.29.117.252)
2021-05-15 17:10:37 +0200	gemmaro	(~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds)
2021-05-15 17:11:31 +0200	Shuppiluliuma	(~shuppilul@153.33.68.161) (Quit: Leaving)
2021-05-15 17:12:57 +0200	HarveyPwca	(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-15 17:13:18 +0200	stree	(~stree@68.36.8.116)
2021-05-15 17:13:48 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 17:17:58 +0200	chris__	(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-15 17:19:16 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 17:19:59 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 17:22:16 +0200	Alleria__	(~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 17:23:44 +0200	mouseghost	(~draco@87-206-9-185.dynamic.chello.pl)
2021-05-15 17:23:44 +0200	mouseghost	(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-15 17:23:44 +0200	mouseghost	(~draco@wikipedia/desperek)
2021-05-15 17:30:33 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 17:31:13 +0200	paddymahoney	(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-05-15 17:33:54 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 17:35:28 +0200	cole-h	(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-15 17:35:54 +0200	boxscape	(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-15 17:38:21 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds)
2021-05-15 17:39:25 +0200	HarveyPwca	(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-15 17:41:40 +0200	bitmapper	(uid464869@gateway/web/irccloud.com/x-srjmukauatbzsjuh)
2021-05-15 17:44:40 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr)
2021-05-15 17:45:10 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-15 17:45:55 +0200	waleee-cl	(uid373333@gateway/web/irccloud.com/x-srxbyyzektablxju)
2021-05-15 17:49:22 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-15 17:50:00 +0200	Lycurgus	(~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-15 17:50:18 +0200	jamm_	(~jamm@unaffiliated/jamm)
2021-05-15 17:51:32 +0200	jamm__	(~jamm@unaffiliated/jamm)
2021-05-15 17:54:10 +0200	Vq	(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-05-15 17:54:49 +0200	jamm_	(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-15 17:59:15 +0200	jakalx	(~jakalx@base.jakalx.net) ()
2021-05-15 18:00:27 +0200	Rudd0	(~Rudd0@185.189.115.103)
2021-05-15 18:02:35 +0200	joncol	(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-15 18:03:38 +0200	<joncol>	Hello, I'm trying to modify an element in a nested list using `Optics`. The following does /not/ work: http://ix.io/3mTT. How can I fix this?
2021-05-15 18:08:49 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 18:10:43 +0200	zebrag	(~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-15 18:11:09 +0200	<joncol>	Nvm, this works: http://ix.io/3mTX
2021-05-15 18:11:34 +0200	rond_	(5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-15 18:11:55 +0200	electricityZZZZ	(~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-15 18:12:41 +0200	rayyyy	(~nanoz@gateway/tor-sasl/nanoz)
2021-05-15 18:14:16 +0200	jakalx	(~jakalx@base.jakalx.net)
2021-05-15 18:16:18 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 18:17:37 +0200	idhugo	(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-15 18:18:57 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-15 18:19:20 +0200	ddellacosta	(~ddellacos@86.106.143.33)
2021-05-15 18:19:23 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 18:19:57 +0200	rayyyy	(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-05-15 18:21:09 +0200	cdsmith	(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2021-05-15 18:23:02 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 18:23:55 +0200	ddellacosta	(~ddellacos@86.106.143.33) (Ping timeout: 252 seconds)
2021-05-15 18:28:49 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Connection closed)
2021-05-15 18:31:07 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-15 18:32:12 +0200	bitmagie	(~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de)
2021-05-15 18:32:58 +0200	bitmagie	(~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) (Client Quit)
2021-05-15 18:33:21 +0200	aidecoe	(~aidecoe@unaffiliated/aidecoe) (Ping timeout: 265 seconds)
2021-05-15 18:33:30 +0200	sphi	(~sphi@unaffiliated/sphi)
2021-05-15 18:33:30 +0200	rayyyy	(~nanoz@gateway/tor-sasl/nanoz)
2021-05-15 18:34:01 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 18:35:01 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-15 18:35:57 +0200	Alleria	(~textual@zrcout.mskcc.org)
2021-05-15 18:36:22 +0200	Alleria	Guest78295
2021-05-15 18:38:10 +0200	cdsmith	(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-15 18:39:24 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 18:40:50 +0200	<xenon->	guest5 you can use specifier in printf's s flag
2021-05-15 18:41:00 +0200	<xenon->	to set string width
2021-05-15 18:41:13 +0200	<xenon->	> printf "%10" "hello"
2021-05-15 18:41:14 +0200	<lambdabot>	error:
2021-05-15 18:41:14 +0200	<lambdabot>	• Ambiguous type variable ‘a0’ arising from a use of ‘show_M326445640457...
2021-05-15 18:41:15 +0200	<lambdabot>	prevents the constraint ‘(Show a0)’ from being solved.
2021-05-15 18:41:19 +0200	<xenon->	> printf "%10" "hello" :: String
2021-05-15 18:41:21 +0200	<lambdabot>	"*Exception: printf: formatting string ended prematurely
2021-05-15 18:41:26 +0200	<xenon->	> printf "%10s" "hello" :: String
2021-05-15 18:41:27 +0200	<lambdabot>	" hello"
2021-05-15 18:41:39 +0200	<xenon->	> printf "%-10s" "hello" :: String
2021-05-15 18:41:41 +0200	<lambdabot>	"hello "
2021-05-15 18:43:09 +0200	Aquazi	(uid312403@gateway/web/irccloud.com/x-mdtoudpfcoqbbopu)
2021-05-15 18:43:27 +0200	<guest5>	so like - https://paste.tomsmeding.com/7pKCCUZN ?
2021-05-15 18:43:59 +0200	<xenon->	try it if you get desired formatting
2021-05-15 18:44:13 +0200	<xenon->	> printf "%-10s%-10s" "hello" "world" :: String
2021-05-15 18:44:15 +0200	<lambdabot>	"hello world "
2021-05-15 18:44:34 +0200	<xenon->	width can also be taken as an argument
2021-05-15 18:44:41 +0200	Rudd0	(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-05-15 18:45:16 +0200	<xenon->	> printf "%-s%-s" 20 "hello" 20 "world" :: String
2021-05-15 18:45:18 +0200	<lambdabot>	"hello world "
2021-05-15 18:45:30 +0200	<guest5>	got a fat error
2021-05-15 18:45:43 +0200	<guest5>	https://paste.tomsmeding.com/6x0Tqwyv
2021-05-15 18:45:50 +0200	kenran	(~kenran@i577BCDEC.versanet.de) (Quit: leaving)
2021-05-15 18:45:58 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr)
2021-05-15 18:46:11 +0200	<xenon->	you are passing 4 arguments to printf instead of 1
2021-05-15 18:46:36 +0200	<int-e>	but the error is about (fromIntegral x / 1000 :: Double) needing a type signature to tell the compiler what the type is
2021-05-15 18:47:03 +0200	hypercube	(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-15 18:47:15 +0200	<int-e>	then you'll run into showFFloat (Just 3) (fromIntegral x / 1000) needing parenthesis, as xenon- pointed out
2021-05-15 18:47:17 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 18:47:23 +0200	Rudd0	(~Rudd0@185.189.115.108)
2021-05-15 18:48:00 +0200	<int-e>	> printf "%-10.3f" 0.3 :: String
2021-05-15 18:48:02 +0200	<lambdabot>	"0.300 "
2021-05-15 18:49:15 +0200	<int-e>	> printf "%10.3fm" 0.3 :: String
2021-05-15 18:49:17 +0200	<lambdabot>	" 0.300m"
2021-05-15 18:49:19 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 18:50:10 +0200	aidecoe	(~aidecoe@unaffiliated/aidecoe)
2021-05-15 18:50:23 +0200	Lycurgus	(~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-15 18:51:05 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 18:51:48 +0200	<guest5>	im a bit lost now
2021-05-15 18:52:12 +0200	geowiesnot	(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-15 18:53:41 +0200	cole-h	(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-15 18:55:40 +0200	<xenon->	guest5, numerical literals are polymorphic. 1000 can be Int, Integer, Float, Double. calling / narrows the type down a bit, but not enough, because printf can also accept many different numerical types.
2021-05-15 18:55:59 +0200	<xenon->	:t 1000
2021-05-15 18:56:01 +0200	<lambdabot>	Num p => p
2021-05-15 18:56:14 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-15 18:56:27 +0200	<xenon->	:t (fromIntegral 10 / 1000)
2021-05-15 18:56:28 +0200	<lambdabot>	Fractional a => a
2021-05-15 18:57:19 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 18:57:26 +0200	<kuribas>	Does template haskell resolve captured names from the calling environment?
2021-05-15 18:57:36 +0200	<int-e>	(this business is confused by defaulting for numerical types)
2021-05-15 18:57:50 +0200	<kuribas>	In the module where the TH is called?
2021-05-15 18:58:15 +0200	<kuribas>	Does that mean the calling module must import all relevant modules?
2021-05-15 18:59:12 +0200	<guest5>	okay, I think I've done everything you have said
2021-05-15 18:59:19 +0200	<guest5>	add parenthesis and the type
2021-05-15 19:00:45 +0200	<guest5>	https://paste.tomsmeding.com/rVS0XFpz
2021-05-15 19:01:00 +0200	<guest5>	sorry I'm very new to Haskell I'm struggling with the errors
2021-05-15 19:01:52 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 19:02:23 +0200	Pickchea	(~private@unaffiliated/pickchea)
2021-05-15 19:03:15 +0200	phaul	(~phaul@ruby/staff/phaul) (Quit: :wq)
2021-05-15 19:03:21 +0200	<sm[m]>	guest5: printf is very prone to these kinds of errors. Add more type annotations to the arguments if it's not working out. Eg ("m " + listToString xs :: String)
2021-05-15 19:03:22 +0200	<int-e>	kuribas: it's complicated because of TH quotes: https://paste.debian.net/1197710/
2021-05-15 19:03:56 +0200	<kuribas>	int-e: so, with quotes it's capturing from the defining module, without quotes from the calling module?
2021-05-15 19:04:13 +0200	<int-e>	kuribas: yes, pretty sure that's how it works
2021-05-15 19:04:18 +0200	<kuribas>	int-e: for example s = varE $ mkName "a"
2021-05-15 19:04:22 +0200	<kuribas>	right :)
2021-05-15 19:05:13 +0200	<xenon->	this is not printf's fault
2021-05-15 19:05:24 +0200	<xenon->	guest5 see the type of showFFloat
2021-05-15 19:05:39 +0200	<geekosaur>	looks to me like parens for showFFloat are in the wrong place?
2021-05-15 19:05:47 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-15 19:06:15 +0200	<xenon->	:t showFFloat (Just 3) (fromIntegral 10 / 1000 :: Float)
2021-05-15 19:06:16 +0200	<lambdabot>	ShowS
2021-05-15 19:06:22 +0200	<xenon->	> showFFloat (Just 3) (fromIntegral 10 / 1000 :: Float) ""
2021-05-15 19:06:23 +0200	<lambdabot>	"0.010"
2021-05-15 19:06:31 +0200	<xenon->	add "" at the end of the call
2021-05-15 19:06:42 +0200	_xor	(~xor@74.215.46.133) (Quit: WeeChat 3.1)
2021-05-15 19:06:52 +0200	<int-e>	guest5: printf doesn't give good type errors. You can specify the intended type though... (printf "%-10s" :: String -> String), say, and then the type errors should become easier to digest
2021-05-15 19:07:05 +0200	<xenon->	purpose of that is to allow efficient string concatenation
2021-05-15 19:07:26 +0200	<int-e>	guest5: note that "%-10s" specifies one string format, but you're giving it two strings...
2021-05-15 19:07:37 +0200	<xenon->	yeah that is another error
2021-05-15 19:09:37 +0200	<int-e>	The whole `PrintfArg` business is an implementation detail of `printf` that allows it to be variadic. It's an ingenious trick that you should study when you learn about type classes (not to ever use it, just to get an appreciation of how flexible they can be), but for a beginner it's just intimidating.
2021-05-15 19:10:39 +0200	<xenon->	while printf errors can be weird, not sure if that was the case in here. he didn't pass all the arguments to ShowFFloat
2021-05-15 19:10:42 +0200	<int-e>	By specifying the intended type signature for your use of printf, you'll avoid seeing PrintfArg in the type errors.
2021-05-15 19:11:07 +0200	<int-e>	:t showFFloat
2021-05-15 19:11:08 +0200	<lambdabot>	RealFloat a => Maybe Int -> a -> ShowS
2021-05-15 19:11:11 +0200	<int-e>	Oh right
2021-05-15 19:12:03 +0200	<int-e>	(ShowS is String -> String)
2021-05-15 19:12:33 +0200	omikron	(971f48a9@151.31.72.169)
2021-05-15 19:14:11 +0200	omikron	(971f48a9@151.31.72.169) ()
2021-05-15 19:14:16 +0200	<int-e>	My mistake, I guess. I'm not using showFFloat :P, I'd almost always reach for `printf "%f"` instead.
2021-05-15 19:15:42 +0200	<guest5>	should I try using printf %f instead then? do you think that'd be better
2021-05-15 19:16:27 +0200	a6a45081-2b83	(~aditya@122.163.132.249)
2021-05-15 19:17:05 +0200	<int-e>	kuribas: so at the level of names, there's a huge difference between 'a and mkName "a".
2021-05-15 19:17:54 +0200	johnw	(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-05-15 19:18:21 +0200	<kuribas>	int-e: "a" captures the name a in the current environment, no?
2021-05-15 19:18:30 +0200	<int-e>	guest5: It would be simpler.
2021-05-15 19:18:45 +0200	rayyyy	(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-05-15 19:19:32 +0200	<int-e>	kuribas: hehe, "current".
2021-05-15 19:20:11 +0200	<kuribas>	int-e: current being the generated environment?
2021-05-15 19:21:13 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 19:22:13 +0200	<guest5>	I switched to %f and im getting the same error as before
2021-05-15 19:22:16 +0200	<guest5>	- No instance for (Num [Char]) arising from a use of ‘+’
2021-05-15 19:22:36 +0200	<guest5>	in the last bit of that line - ‘("m " + listToString XS)’
2021-05-15 19:22:46 +0200	<int-e>	kuribas: I meant https://paste.debian.net/1197712/
2021-05-15 19:22:53 +0200	<geekosaur>	it'd be ++ not +
2021-05-15 19:23:45 +0200	<kuribas>	int-e: what does that quote do?
2021-05-15 19:23:55 +0200	<int-e>	kuribas: capture a name
2021-05-15 19:24:44 +0200	kritzefitz	(~kritzefit@212.86.56.80)
2021-05-15 19:26:14 +0200	idhugo	(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds)
2021-05-15 19:27:52 +0200	<guest5>	can you think of any reason it would give 'Exception: printf: formatting string ended prematurely' after outputting the first line
2021-05-15 19:28:02 +0200	<guest5>	because I think ive nearly got it working
2021-05-15 19:28:09 +0200	<int-e>	guest5: yes
2021-05-15 19:28:23 +0200	<int-e>	19:07:26 <int-e> guest5: note that "%-10s" specifies one string format, but you're giving it two strings...
2021-05-15 19:30:11 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-05-15 19:30:47 +0200	<guest5>	so should I be joining the strings or is there a way to specify its 2?
2021-05-15 19:31:17 +0200	<geekosaur>	that's what "format string ended prematurely" means. add a %s to it for the second string?
2021-05-15 19:31:22 +0200	<davean>	You can say it twice
2021-05-15 19:31:46 +0200	<xenon->	> printf "%s %s" "first string" "second string"
2021-05-15 19:31:47 +0200	<lambdabot>	error:
2021-05-15 19:31:47 +0200	<lambdabot>	• Ambiguous type variable ‘a0’ arising from a use of ‘show_M464159718010...
2021-05-15 19:31:47 +0200	<lambdabot>	prevents the constraint ‘(Show a0)’ from being solved.
2021-05-15 19:31:53 +0200	<xenon->	> printf "%s %s" "first string" "second string" :: String
2021-05-15 19:31:54 +0200	<lambdabot>	"first string second string"
2021-05-15 19:32:16 +0200	oish	(~charlie@228.25.169.217.in-addr.arpa)
2021-05-15 19:33:00 +0200	ddellacosta	(~ddellacos@86.106.143.10)
2021-05-15 19:33:17 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-05-15 19:33:30 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 19:34:07 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 19:34:51 +0200	stree	(~stree@68.36.8.116)
2021-05-15 19:35:42 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 19:36:37 +0200	<guest5>	xenon- hero, thankyou
2021-05-15 19:37:33 +0200	ddellacosta	(~ddellacos@86.106.143.10) (Ping timeout: 240 seconds)
2021-05-15 19:37:38 +0200	<xenon->	:) np
2021-05-15 19:38:30 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-15 19:40:11 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-15 19:40:26 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-15 19:41:55 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 19:42:21 +0200	a6a45081-2b83	(~aditya@122.163.132.249) (Remote host closed the connection)
2021-05-15 19:42:22 +0200	kritzefitz	(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-15 19:43:08 +0200	<int-e>	kuribas: https://paste.debian.net/1197713/ <-- of course if you dig deep enough you'll find that TH breaks abstraction boundaries
2021-05-15 19:44:49 +0200	<kuribas>	does it break internal bindings?
2021-05-15 19:45:00 +0200	<kuribas>	Can I look at internal bindings in packages?
2021-05-15 19:45:03 +0200	rdivyanshu	(uid322626@gateway/web/irccloud.com/x-yurqvpvnjnppvuit) (Quit: Connection closed for inactivity)
2021-05-15 19:45:07 +0200	_noblegas	(uid91066@gateway/web/irccloud.com/x-mtzrtyjcpxczquke) (Quit: Connection closed for inactivity)
2021-05-15 19:45:18 +0200	<int-e>	kuribas: sorry, I meant to write module A () where
2021-05-15 19:46:37 +0200	<int-e>	kuribas: actually this is weird territory...
2021-05-15 19:47:02 +0200	<int-e>	kuribas: code that works interpreted but not compiled... fun
2021-05-15 19:48:19 +0200	LKoen	(~LKoen@2a01cb0407597a0030b702bc5b5d599b.ipv6.abo.wanadoo.fr)
2021-05-15 19:48:51 +0200	<int-e>	kuribas: Hah, there's some serious magic involved in this.
2021-05-15 19:49:31 +0200	<int-e>	kuribas: https://paste.debian.net/1197718/ works interpreted and compiled
2021-05-15 19:50:21 +0200	<int-e>	kuribas: so apparently, the occurrence of `'a` in the A module instructs the compiler to add the A.a export to the .hi file.
2021-05-15 19:51:04 +0200	Sgeo	(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-15 19:51:32 +0200	<boxscape>	did you post the same module twice in that last paste intentionally?
2021-05-15 19:51:54 +0200	<int-e>	boxscape: uhm, no.
2021-05-15 19:51:56 +0200	chris__	(~chris@81.96.113.213)
2021-05-15 19:52:03 +0200	Cadey	(~cadey@infoforcefeed/Xe)
2021-05-15 19:52:04 +0200	<boxscape>	ok, I was confused for a minute :)
2021-05-15 19:52:22 +0200	<int-e>	https://paste.debian.net/1197719/
2021-05-15 19:52:48 +0200	<int-e>	(though B.hs hadn't changed)
2021-05-15 19:52:57 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 19:54:14 +0200	<boxscape>	does TH care about import lists?
2021-05-15 19:54:21 +0200	rj	(~x@gateway/tor-sasl/rj)
2021-05-15 19:54:48 +0200	<int-e>	boxscape: yes. You can't just do `mkName "A.a"`; that will complain about A.a not being in scope
2021-05-15 19:54:56 +0200	<boxscape>	I see
2021-05-15 19:55:18 +0200	<int-e>	You really have to fake the whole resolved Name value (as I did there) to bypass that check.
2021-05-15 19:55:23 +0200	<boxscape>	right, okay
2021-05-15 19:55:36 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-15 19:56:09 +0200	_xor	(~xor@74.215.46.133)
2021-05-15 19:57:22 +0200	sphi	(~sphi@unaffiliated/sphi) (Remote host closed the connection)
2021-05-15 19:58:14 +0200	_xor	(~xor@74.215.46.133) (Client Quit)
2021-05-15 19:58:33 +0200	_xor	(~xor@74.215.46.133)
2021-05-15 19:58:41 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-15 20:02:17 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 20:03:15 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 20:03:17 +0200	joncol	(~jco@c83-248-173-38.bredband.tele2.se) (Quit: leaving)
2021-05-15 20:06:44 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-15 20:07:45 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 20:08:23 +0200	nyd	(~nyd@unaffiliated/elysian)
2021-05-15 20:08:56 +0200	nyd	(~nyd@unaffiliated/elysian) (Client Quit)
2021-05-15 20:10:28 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 20:10:51 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection)
2021-05-15 20:11:32 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 20:13:32 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 20:13:50 +0200	<cheater>	hi
2021-05-15 20:14:10 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 20:14:17 +0200	<kuribas>	is there a way to go from Aeson.Value to Text directly?
2021-05-15 20:15:20 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 20:15:39 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds)
2021-05-15 20:15:50 +0200	henninb	(~henninb@63-226-190-31.mpls.qwest.net) (Remote host closed the connection)
2021-05-15 20:18:31 +0200	H1h8	(~huber@p200300e68722ef71bc6d689e8429684b.dip0.t-ipconnect.de)
2021-05-15 20:23:08 +0200	Sg1f3	(~huber@p200300e68722ef4801ed249fb7e79198.dip0.t-ipconnect.de)
2021-05-15 20:25:00 +0200	ppmdo	(~ppmdo@2a02:810d:9340:43b6:3175:35ee:bc42:46d0)
2021-05-15 20:26:03 +0200	H1h8	(~huber@p200300e68722ef71bc6d689e8429684b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-15 20:29:06 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-15 20:32:12 +0200	kuribas	(~user@ptr-25vy0i815a71ox79ixp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-15 20:33:28 +0200	mst	(~matthewt@shadowcat/chainsaw-wielder/perl.gc)
2021-05-15 20:33:48 +0200	<mst>	hey, any ops around I could poke about a question? (not-staff ops for preference)
2021-05-15 20:34:16 +0200	<geekosaur>	you could try #haskell-ops
2021-05-15 20:34:37 +0200	<geekosaur>	(I'm around but somewhat out of the loop, not the best one to answer questions)
2021-05-15 20:34:47 +0200	chris__	(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-15 20:35:24 +0200	<mst>	aha
2021-05-15 20:35:33 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 20:35:37 +0200	xcmw	(~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 20:36:06 +0200	chris__	(~chris@81.96.113.213)
2021-05-15 20:38:20 +0200	tzlil	(~tzlil@unaffiliated/tzlil) (Remote host closed the connection)
2021-05-15 20:38:21 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 20:38:24 +0200	chris__	(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-15 20:41:03 +0200	bastelfreak	(~bastelfre@voxpupuli/pmc/bastelfreak)
2021-05-15 20:41:35 +0200	z88	(~z88@82.85-87-220.dynamic.clientes.euskaltel.es) (Ping timeout: 246 seconds)
2021-05-15 20:43:06 +0200	ddellacosta	(~ddellacos@86.106.143.215)
2021-05-15 20:43:39 +0200	chris__	(~chris@81.96.113.213)
2021-05-15 20:47:11 +0200	s00pcan	(~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
2021-05-15 20:47:49 +0200	ddellacosta	(~ddellacos@86.106.143.215) (Ping timeout: 260 seconds)
2021-05-15 20:48:38 +0200	chris__	(~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-05-15 20:49:49 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-15 20:49:59 +0200	nix-on-droid	(~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de)
2021-05-15 20:51:15 +0200	ppmdo	(~ppmdo@2a02:810d:9340:43b6:3175:35ee:bc42:46d0) (Remote host closed the connection)
2021-05-15 20:51:58 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 20:53:03 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 20:53:31 +0200	justsomeguy	(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 265 seconds)
2021-05-15 20:56:53 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-15 21:00:23 +0200	danvet	(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-15 21:01:32 +0200	xcmw	(~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com)
2021-05-15 21:05:29 +0200	jamm__	(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-15 21:05:31 +0200	tsaka__	(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-15 21:07:02 +0200	idhugo	(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-15 21:10:41 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-15 21:14:31 +0200	hololeap	(~hololeap@gateway/tor-sasl/hololeap)
2021-05-15 21:18:33 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 21:19:55 +0200	abrar	(~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2021-05-15 21:21:29 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-15 21:22:26 +0200	abrar	(~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-15 21:23:47 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 21:28:03 +0200	frozenErebus	(~frozenEre@37.231.244.249)
2021-05-15 21:29:05 +0200	Neuromancer	(~Neuromanc@unaffiliated/neuromancer)
2021-05-15 21:30:01 +0200	justsomeguy	(~justsomeg@unaffiliated/--/x-3805311)
2021-05-15 21:36:46 +0200	bennofs_	(~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de) (Read error: Connection reset by peer)
2021-05-15 21:37:08 +0200	bennofs_	(~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de)
2021-05-15 21:39:33 +0200	chris__	(~chris@81.96.113.213)
2021-05-15 21:39:39 +0200	hololeap	(~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye)
2021-05-15 21:40:58 +0200	hololeap	(~hololeap@gateway/tor-sasl/hololeap)
2021-05-15 21:42:03 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 21:43:31 +0200	stree	(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-15 21:44:05 +0200	xcmw	(~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 21:47:26 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-15 21:48:45 +0200	elfets	(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-15 21:52:47 +0200	ozzymcduff	(~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 21:52:47 +0200	wallymathieu	(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 21:54:13 +0200	sdressel	(~sdressel@pwning.de)
2021-05-15 21:54:58 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 21:55:09 +0200	ddellac__	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 21:55:52 +0200	stree	(~stree@68.36.8.116)
2021-05-15 21:56:16 +0200	Pickchea	(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-15 21:57:18 +0200	pavonia	(~user@unaffiliated/siracusa)
2021-05-15 21:58:23 +0200	_ht	(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-15 21:58:35 +0200	nbloomf	(~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-15 21:58:45 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 21:59:41 +0200	abrar	(~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-15 22:00:04 +0200	ddellac__	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 22:00:41 +0200	ddellacosta	(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-15 22:01:39 +0200	Sg1f3	(~huber@p200300e68722ef4801ed249fb7e79198.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-15 22:03:46 +0200	nix-on-droid	(~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2021-05-15 22:04:02 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 22:05:12 +0200	abrar	(~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-15 22:05:13 +0200	idhugo	(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-05-15 22:06:14 +0200	geowiesnot	(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-05-15 22:07:30 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::5e97)
2021-05-15 22:10:51 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 22:12:43 +0200	Anthaas	(~Anthaas@unaffiliated/anthaas) (Ping timeout: 252 seconds)
2021-05-15 22:15:36 +0200	machinedgod	(~machinedg@24.105.81.50)
2021-05-15 22:16:01 +0200	Anthaas	(~Anthaas@unaffiliated/anthaas)
2021-05-15 22:16:44 +0200	frozenErebus	(~frozenEre@37.231.244.249) (Quit: leaving)
2021-05-15 22:17:20 +0200	Anthaas	(~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer)
2021-05-15 22:20:58 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 22:21:05 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 22:21:11 +0200	Anthaas	(~Anthaas@unaffiliated/anthaas)
2021-05-15 22:22:45 +0200	5EXAAFHD7	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 22:25:13 +0200	notzmv	(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-15 22:26:21 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-15 22:26:31 +0200	ddellacosta	(~ddellacos@86.106.143.111)
2021-05-15 22:26:43 +0200	CrazyPyt_	(~crazypyth@206.214.238.6)
2021-05-15 22:29:05 +0200	CrazyPython	(~crazypyth@206.214.238.6) (Ping timeout: 260 seconds)
2021-05-15 22:29:09 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds))
2021-05-15 22:30:29 +0200	geekosaur	(45870322@069-135-003-034.biz.spectrum.com)
2021-05-15 22:31:14 +0200	ddellacosta	(~ddellacos@86.106.143.111) (Ping timeout: 245 seconds)
2021-05-15 22:35:12 +0200	notzmv	(~zmv@unaffiliated/zmv)
2021-05-15 22:37:30 +0200	Aquazi	(uid312403@gateway/web/irccloud.com/x-mdtoudpfcoqbbopu) (Quit: Connection closed for inactivity)
2021-05-15 22:38:02 +0200	Kaiepi	(~Kaiepi@47.54.252.148) (Quit: Leaving)
2021-05-15 22:40:52 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net)
2021-05-15 22:42:04 +0200	rond_	(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-15 22:42:19 +0200	star_cloud	(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 22:42:45 +0200	hololeap	(~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds)
2021-05-15 22:43:05 +0200	acidjnk_new	(~acidjnk@p200300d0c72b95208d2194a61b0d7b67.dip0.t-ipconnect.de)
2021-05-15 22:43:15 +0200	<guest5>	hi guys, is it possible to convert a string that you've read from a txt file into a custom data type? ive attached the code that reads the file, the output and the data type im trying to convert it into - https://paste.tomsmeding.com/1iMOqn9j
2021-05-15 22:43:47 +0200	mst	(~matthewt@shadowcat/chainsaw-wielder/perl.gc) ()
2021-05-15 22:44:34 +0200	usr25	(~usr25@unaffiliated/usr25)
2021-05-15 22:45:33 +0200	Rudd0	(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-05-15 22:46:23 +0200	<boxscape>	guest 5: converting Strings into data types is called parsing, and since you're deriving Read, that will automatically implement a simple parser for the City type (which is not typically good enough for production purposes but might be good enough for your use case). You should be able to just call `read` on the String you're reading from the file
2021-05-15 22:46:24 +0200	<boxscape>	to get a value of type [City]
2021-05-15 22:46:35 +0200	<sm[m]>	hi guest5 . You are automatically deriving a standard Read instance, so the text must be in the standard Read format. "print" a value to see what that looks like (uses Show)
2021-05-15 22:47:12 +0200	<sm[m]>	if you want to keep your file format, you'll need to write your own Read instance instead of deriving it. Like boxscape said
2021-05-15 22:47:40 +0200	<boxscape>	oh would Read require it to be in record notation?
2021-05-15 22:48:05 +0200	<sm[m]>	yes, Read will parse (most) Show output only
2021-05-15 22:48:19 +0200	<boxscape>	ah, yeah, I missed that part in my response
2021-05-15 22:51:22 +0200	<guest5>	how would I go about writing my own read instance? I'm very new to Haskell idrk what im doing yet
2021-05-15 22:52:50 +0200	biglama	(~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection)
2021-05-15 22:53:09 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-15 22:55:37 +0200	Varis	(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-05-15 22:56:41 +0200	<boxscape>	guest: The simplest thing right now might be to ignore Read and write a function of type String -> City - as a simple example, if you had `data A = MkA Int String` you could have `readA :: String -> A; readA str = MkA (read el1) (read el2) where [el1, el2] = words str`, see if you can adapt that to City
2021-05-15 22:56:48 +0200	<boxscape>	guest5, I mean
2021-05-15 22:57:16 +0200	RusAlex	(~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds)
2021-05-15 22:57:30 +0200	<boxscape>	err
2021-05-15 22:57:43 +0200	<boxscape>	% readA :: String -> A; readA str = MkA (read el1) (read el2) where [el0, el1, el2]
2021-05-15 22:57:43 +0200	<yahb>	boxscape: ; <interactive>:70:82: error: parse error (possibly incorrect indentation or mismatched brackets)
2021-05-15 22:58:04 +0200	<boxscape>	% readA :: String -> A; readA str = MkA (read el1) (read el2) where [el0, el1, el2] = words str
2021-05-15 22:58:05 +0200	<yahb>	boxscape:
2021-05-15 22:58:19 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 22:58:26 +0200	<boxscape>	% readA "A 24 \"test\""
2021-05-15 22:58:26 +0200	<yahb>	boxscape: ; <interactive>:73:1: error:; * No instance for (Show A) arising from a use of `print'; * In a stmt of an interactive GHCi command: print it
2021-05-15 22:59:17 +0200	<boxscape>	% readA "A 24 \"test\""
2021-05-15 22:59:17 +0200	<yahb>	boxscape: MkA 24 "test"
2021-05-15 22:59:41 +0200	<boxscape>	(I fixed A by redefining it to yahb in a private message, so now it works)
2021-05-15 23:00:22 +0200	xcmw	(~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com)
2021-05-15 23:00:25 +0200	<boxscape>	note I added el0 in the definition, I forgot that at first
2021-05-15 23:02:58 +0200	5EXAAFHD7	(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-05-15 23:03:06 +0200	ddellacosta	(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-15 23:03:34 +0200	tromp	(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 23:03:50 +0200	justsomeguy	(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-15 23:04:12 +0200	<guest5>	got it im giving it a go
2021-05-15 23:06:43 +0200	LKoen	(~LKoen@2a01cb0407597a0030b702bc5b5d599b.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-15 23:15:50 +0200	takuan	(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-15 23:20:32 +0200	RusAlex	(~Chel@unaffiliated/rusalex)
2021-05-15 23:23:32 +0200	Gurkenglas	(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-05-15 23:23:59 +0200	danso	(~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-05-15 23:24:07 +0200	lawid	(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds)
2021-05-15 23:25:51 +0200	elfets	(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-15 23:26:11 +0200	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-15 23:26:44 +0200	Kaiepi	(~Kaiepi@47.54.252.148)
2021-05-15 23:29:23 +0200	guest5	(5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-15 23:29:38 +0200	Putonlalla	(~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 240 seconds)
2021-05-15 23:33:15 +0200	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-15 23:35:29 +0200	lawid	(~quassel@ip5b41db4a.dynamic.kabel-deutschland.de)
2021-05-15 23:36:56 +0200	TK__	(~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c)
2021-05-15 23:36:59 +0200	Guest70586	(~alexander@ppp-94-67-202-54.home.otenet.gr) (Ping timeout: 268 seconds)
2021-05-15 23:37:44 +0200	olligobber	(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-15 23:38:20 +0200	oxide	(~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds)
2021-05-15 23:38:34 +0200	ddellacosta	(~ddellacos@86.106.143.241)
2021-05-15 23:39:34 +0200	sheepduck	(~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 245 seconds)
2021-05-15 23:39:37 +0200	chris__	(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-15 23:39:53 +0200	lawid	(~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) (Client Quit)
2021-05-15 23:40:57 +0200	usr25	(~usr25@unaffiliated/usr25) (Read error: Connection reset by peer)
2021-05-15 23:41:09 +0200	lawid	(~quassel@ip5b41db4a.dynamic.kabel-deutschland.de)
2021-05-15 23:43:21 +0200	ddellacosta	(~ddellacos@86.106.143.241) (Ping timeout: 260 seconds)
2021-05-15 23:43:29 +0200	dmytrish	(~mitra@2a02:8084:a82:d900:15f6:9568:8f96:9a44)
2021-05-15 23:44:39 +0200	pfurla	(~pfurla@247.15.195.173.client.static.strong-in52.as13926.net)
2021-05-15 23:45:39 +0200	__monty__	(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-15 23:47:11 +0200	pfurla_	(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-15 23:47:26 +0200	olligobber	(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2021-05-15 23:48:11 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-15 23:51:33 +0200	lawid	(~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) (Quit: No Ping reply in 180 seconds.)
2021-05-15 23:52:51 +0200	lawid	(~quassel@ip5b41db4a.dynamic.kabel-deutschland.de)
2021-05-15 23:53:21 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection)
2021-05-15 23:53:37 +0200	heatsink	(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 23:54:02 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 23:54:23 +0200	afznvzan	(4c0ef7dd@76-14-247-221.or.wavecable.com)
2021-05-15 23:55:45 +0200	nicholas_	(~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970)
2021-05-15 23:56:39 +0200	lawid_	(~quassel@91.65.233.2)
2021-05-15 23:57:05 +0200	ddellaco_	(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 23:58:19 +0200	nicholasbulka	(~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 23:58:30 +0200	dmytrish	(~mitra@2a02:8084:a82:d900:15f6:9568:8f96:9a44) (Quit: Konversation terminated!)
2021-05-15 23:58:37 +0200	dmytrish_	(~mitra@37.228.247.154)
2021-05-15 23:59:51 +0200	mrus	(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa)