Logs on 2021-04-26 (freenode/#haskell)

00:00:08	×	atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
00:00:24	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
00:00:30	→	atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
00:01:41	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
00:02:20	×	Guest19992 quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
00:02:39	→	dan64 joins (~dan64@dannyadam.com)
00:10:25	×	chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
00:10:57	×	usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
00:11:26	×	dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
00:22:45	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
00:25:07	×	Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
00:28:21	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:29:16	→	pthariensflame joins (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b)
00:29:23	×	DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection)
00:29:29	×	geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
00:30:06	×	pthariensflame quits (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit)
00:30:26	→	pthariensflame joins (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b)
00:30:52	×	pthariensflame quits (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit)
00:31:12	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
00:31:14	→	solidus-river joins (~fuag1@174.127.249.180)
00:32:47	<solidus-river>	i'm running into a thread that wont terminate (even using killThread with the threadId). I'm attempting to signal threads with a mutex to terminate themselves and then waiting for them to report that they have died using forkIOFinally. After X seconds i use killThread on them
00:33:10	<solidus-river>	the thread that wont terminate even with killThread is I believe stuck in a threadWaitRead loop
00:33:30	<solidus-river>	am I doing something wrong here or is this a unrecoverable situation
00:34:05	<solidus-river>	I had previously has sigint / sigterm handlers registered to exit "cleanly" but with this infinite thread I can't do that
00:34:40	<solidus-river>	the threadWaitRead is in a library i'm using so changing that would require a pr / patch
00:35:04	×	tlgl^nix quits (~damien@S0106008ef25e98fb.su.shawcable.net) (Remote host closed the connection)
00:35:05	→	perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
00:35:39	→	geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
00:35:45	→	bennofs__ joins (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
00:35:56	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
00:37:17	→	olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
00:38:00	→	zmijunkie joins (~Adium@87.123.51.242)
00:38:55	→	hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
00:39:12	×	bennofs_ quits (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Ping timeout: 240 seconds)
00:40:21	×	zmijunkie1 quits (~Adium@87.122.217.64) (Ping timeout: 252 seconds)
00:40:34	→	bitmapper joins (uid464869@gateway/web/irccloud.com/x-lwoslwzxzqzjzamu)
00:49:40	←	pony parts (sid257727@gateway/web/irccloud.com/x-sasxvsyktodjxrrs) ()
00:52:42	×	stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
00:57:07	Guest91421	is now known as notzmv
01:01:09	×	Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
01:02:16	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
01:02:19	→	ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
01:02:21	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
01:02:59	→	nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
01:03:26	×	forell quits (~forell@unaffiliated/forell) (Ping timeout: 240 seconds)
01:06:10	→	stree joins (~stree@68.36.8.116)
01:06:32	×	ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
01:07:12	×	nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
01:09:24	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
01:11:10	×	Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
01:11:25	×	whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:12:33	→	whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:13:44	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
01:14:23	→	Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
01:17:01	→	drbean_ joins (~drbean@TC210-63-209-203.static.apol.com.tw)
01:18:30	×	guest7682358928 quits (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Quit: Ping timeout (120 seconds))
01:19:35	→	guest7682358928 joins (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22)
01:21:32	×	Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
01:22:07	→	Tario joins (~Tario@200.119.184.119)
01:22:52	×	cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
01:25:00	→	cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
01:27:57	→	Guest6509 joins (~laudiacay@45.162.228.190)
01:32:37	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
01:39:10	→	falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
01:39:48	→	petersen joins (~petersen@redhat/juhp)
01:40:59	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
01:43:26	<zzz>	anyone versed in Diagrams?
01:44:59	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
01:45:41	×	xff0x quits (~xff0x@2001:1a81:5378:d500:f8a9:96f2:2a8b:a80a) (Ping timeout: 250 seconds)
01:45:41	×	gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving)
01:47:44	→	xff0x joins (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15)
01:49:05	→	ddellacosta joins (~ddellacos@86.106.143.138)
01:50:18	×	tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
01:50:56	→	tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
01:53:44	×	ddellacosta quits (~ddellacos@86.106.143.138) (Ping timeout: 245 seconds)
01:57:44	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
01:59:22	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
01:59:23	×	Tario quits (~Tario@200.119.184.119) (Read error: Connection reset by peer)
02:02:35	→	Tario joins (~Tario@201.192.165.173)
02:04:27	<pavonia>	zzz: It's best to just ask for the problem you are trying to solve
02:05:08	→	forell joins (~forell@unaffiliated/forell)
02:05:14	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
02:05:26	×	geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
02:08:49	×	kiweun quits (~kiweun@2607:fea8:2a62:9600:7da7:60a9:aff:54f9) (Remote host closed the connection)
02:09:31	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
02:10:28	×	CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
02:11:51	→	kiweun joins (~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c)
02:13:36	×	Aquazi quits (uid312403@gateway/web/irccloud.com/x-utxhkfigbhneuqmd) (Quit: Connection closed for inactivity)
02:15:38	→	jgt joins (~jgt@78.162.43.217)
02:17:52	×	notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
02:19:55	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 252 seconds)
02:23:35	×	urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
02:29:24	→	ddellacosta joins (~ddellacos@86.106.143.112)
02:31:41	×	horatiohb quits (~horatiohb@159.89.43.106) (Ping timeout: 240 seconds)
02:31:54	→	Guest_98 joins (02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de)
02:32:15	×	Guest_98 quits (02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de) (Client Quit)
02:33:44	×	ddellacosta quits (~ddellacos@86.106.143.112) (Ping timeout: 245 seconds)
02:33:45	×	theDon quits (~td@94.134.91.236) (Ping timeout: 265 seconds)
02:34:06	→	aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
02:35:37	→	theDon joins (~td@muedsl-82-207-238-220.citykom.de)
02:36:47	×	jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
02:40:31	→	FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
02:40:31	finn_elija	is now known as Guest13508
02:40:31	FinnElija	is now known as finn_elija
02:41:14	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
02:42:49	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
02:42:51	×	ephemera__ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
02:43:09	×	Guest13508 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
02:46:15	→	geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
02:48:19	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
02:48:49	←	maralorn parts (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
02:49:27	→	maralorn joins (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
02:49:51	×	carlomagno quits (~cararell@148.87.23.10) (Quit: Leaving.)
02:51:59	×	zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Max SendQ exceeded)
02:52:32	→	zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
02:55:35	<DigitalKiwi>	it's the newest study from U of MN
02:58:42	→	hegz joins (hegzmatrix@gateway/shell/matrix.org/x-qjbevljwfzlhaulx)
02:58:59	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
03:00:48	→	ephemera_ joins (~E@14.63.26.157)
03:03:41	→	jao joins (~jao@pdpc/supporter/professional/jao)
03:04:18	→	ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
03:05:01	×	geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
03:05:52	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
03:07:18	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
03:10:26	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
03:12:01	→	notzmv joins (~zmv@unaffiliated/zmv)
03:12:17	×	ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
03:14:22	×	stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
03:17:52	→	Stanley00 joins (~stanley00@unaffiliated/stanley00)
03:21:59	→	fiedlr joins (~fiedlr@83.148.33.254)
03:27:32	→	stree joins (~stree@68.36.8.116)
03:30:12	×	fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds)
03:33:47	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
03:41:39	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
03:46:13	×	tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection)
03:46:15	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
03:48:25	×	solidus-river quits (~fuag1@174.127.249.180) (Quit: Leaving)
04:03:15	×	justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
04:04:23	→	dyeplexer joins (~lol@unaffiliated/terpin)
04:10:05	×	jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds)
04:20:19	→	ddellacosta joins (~ddellacos@86.106.143.34)
04:22:50	→	Enrico63 joins (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
04:23:44	×	guest7682358928 quits (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Ping timeout: 245 seconds)
04:24:55	×	ddellacosta quits (~ddellacos@86.106.143.34) (Ping timeout: 265 seconds)
04:46:44	×	blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
04:51:41	→	Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
04:53:39	×	shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:41b7:a173:a0b0:162b) (Ping timeout: 260 seconds)
04:53:39	×	Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
04:54:03	→	Tario joins (~Tario@201.192.165.173)
04:56:27	×	hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:4e27:9f44:a2d5:c10c) (Ping timeout: 260 seconds)
04:57:18	→	ddellacosta joins (~ddellacos@86.106.143.86)
04:58:46	×	tsaka_ quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
04:59:24	→	shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:6cde:4ab2:7d84:5b06)
04:59:32	×	alx741 quits (~alx741@181.196.69.35) (Quit: alx741)
05:02:08	×	ddellacosta quits (~ddellacos@86.106.143.86) (Ping timeout: 265 seconds)
05:05:07	→	tsaka_ joins (~torstein@athedsl-4519432.home.otenet.gr)
05:06:14	→	star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
05:06:59	×	nehsou^ quits (nehsou@ip98-184-89-2.mc.at.cox.net) ()
05:08:23	→	ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
05:08:55	→	dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net)
05:10:03	→	blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
05:13:10	×	ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
05:15:24	→	frozenErebus joins (~frozenEre@37.231.244.249)
05:16:11	×	star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
05:17:25	→	star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
05:19:18	→	sord937 joins (~sord937@gateway/tor-sasl/sord937)
05:26:50	→	knupfer joins (~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de)
05:27:36	×	knupfer quits (~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de) (Remote host closed the connection)
05:27:44	→	knupfer joins (~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de)
05:29:33	→	ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
05:29:39	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
05:30:57	→	coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
05:33:41	×	ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
05:35:12	×	stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
05:39:06	×	DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
05:39:27	→	DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
05:43:06	×	s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds)
05:45:06	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
05:45:14	→	s00pcan joins (~chris@107.181.165.217)
05:49:01	→	stree joins (~stree@68.36.8.116)
05:49:01	×	bennofs__ quits (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer)
05:49:16	→	bennofs_ joins (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
05:50:36	←	jakalx parts (~jakalx@base.jakalx.net) ()
05:51:21	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
05:51:30	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
05:52:04	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
05:52:38	→	jakalx joins (~jakalx@base.jakalx.net)
05:54:23	×	urdh quits (~urdh@unaffiliated/urdh) (Quit: Boom!)
05:55:11	→	shad0w_ joins (a0ca2598@160.202.37.152)
05:55:27	×	larsan1 quits (~larsan@195.140.213.38) (Remote host closed the connection)
05:55:41	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
05:56:14	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
05:56:44	→	Guest6509 joins (~laudiacay@45.162.228.190)
05:59:41	→	tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
06:01:01	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
06:03:19	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
06:04:34	×	falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
06:05:15	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
06:07:11	→	hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3)
06:08:01	×	Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds)
06:09:09	×	sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
06:09:47	→	ddellacosta joins (~ddellacos@83.143.246.104)
06:11:51	→	wonko7 joins (~wonko7@62.115.229.50)
06:12:54	→	sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:14:09	×	ddellacosta quits (~ddellacos@83.143.246.104) (Ping timeout: 245 seconds)
06:14:38	×	waleee-cl quits (uid373333@gateway/web/irccloud.com/x-boxlsxrcosxlqwrv) (Quit: Connection closed for inactivity)
06:16:42	→	oldsk00l_ joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
06:17:00	×	shad0w_ quits (a0ca2598@160.202.37.152) (Quit: Connection closed)
06:18:19	×	oldsk00l quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 276 seconds)
06:32:42	→	danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
06:33:32	→	invaser joins (~Thunderbi@31.148.23.125)
06:34:09	→	fendor joins (~fendor@178.115.129.220.wireless.dyn.drei.com)
06:36:44	→	nineonine joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
06:37:18	→	zmijunkie1 joins (~Adium@109.90.32.89)
06:37:29	→	kritzefitz joins (~kritzefit@212.86.56.80)
06:38:03	×	nineonine quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Remote host closed the connection)
06:39:04	→	rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl)
06:39:20	×	zmijunkie quits (~Adium@87.123.51.242) (Ping timeout: 246 seconds)
06:45:48	×	Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
06:47:32	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
06:51:46	×	sudden quits (~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
06:52:10	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
06:54:43	×	dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 252 seconds)
06:55:26	→	dpl_ joins (~dpl@77-121-78-163.chn.volia.net)
06:56:49	→	jgt joins (~jgt@78.162.43.217)
06:56:51	→	dyeplexer joins (~lol@unaffiliated/terpin)
06:57:54	×	notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds)
06:59:20	→	jespada joins (~jespada@87.74.37.248)
07:00:57	→	nineonine joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
07:01:05	→	m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
07:05:29	×	nineonine quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
07:06:28	×	kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds)
07:06:54	→	kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
07:11:03	→	Thom2503 joins (~Thom2503@49-135-166-62.ftth.glasoperator.nl)
07:12:07	→	michalz joins (~user@185.246.204.44)
07:12:24	→	thc202 joins (~thc202@unaffiliated/thc202)
07:12:40	→	plutoniix joins (~q@ppp-58-8-212-146.revip2.asianet.co.th)
07:15:49	×	refusenick quits (~user@2601:644:8502:d700::94c9) (Ping timeout: 245 seconds)
07:22:06	→	idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
07:25:15	→	nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
07:27:02	→	cfricke joins (~cfricke@unaffiliated/cfricke)
07:27:18	→	Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
07:27:20	→	ddellacosta joins (~ddellacos@86.106.143.151)
07:28:30	×	idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
07:28:57	→	idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
07:29:36	→	acidjnk_new joins (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
07:30:09	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:30:52	×	zmijunkie1 quits (~Adium@109.90.32.89) (Ping timeout: 240 seconds)
07:31:02	→	fiedlr joins (~fiedlr@83.148.33.254)
07:32:11	×	ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 260 seconds)
07:32:30	×	dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 268 seconds)
07:32:56	→	idhugo_ joins (~idhugo@130.225.16.16)
07:33:57	→	zmijunkie joins (~Adium@87.123.51.242)
07:35:41	×	idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
07:40:20	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
07:42:01	→	chimera joins (~chimera@168-182-134-95.pool.ukrtel.net)
07:45:49	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
07:47:21	×	mmfood_2 quits (~mmfood@185.176.246.69) (Ping timeout: 260 seconds)
07:47:57	×	kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
07:48:51	→	sudden joins (~lax@unaffiliated/laxask)
07:49:44	→	urdh joins (~urdh@unaffiliated/urdh)
07:53:29	→	geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
07:54:13	<tempate>	Given a function and a list of possible inputs, how can I find out what input produces a certain output ?
07:57:01	<Uniaika>	tempate: do you have a known output?
07:57:04	×	stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds)
07:57:04	×	cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
07:58:15	<tempate>	Uniaika: I do, yes
07:59:23	×	aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
07:59:54	→	dyeplexer joins (~lol@unaffiliated/terpin)
08:00:20	<Uniaika>	tempate: if your condition is known, you can do things simply like https://paste.tomsmeding.com/BYzGj8Cu
08:00:30	<tomsmeding>	f :: Bool -> Bool ; f = if riemannHypothesisIsTrue then id else not
08:00:32	<Uniaika>	and then filter for the tuples that have True as their first element
08:00:42	<Uniaika>	heya tomsmeding
08:00:49	<tomsmeding>	:)
08:01:24	→	alexander joins (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf)
08:01:33	×	evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
08:01:54	alexander	is now known as Guest292
08:02:29	→	idhugo__ joins (~idhugo@130.225.16.16)
08:04:17	→	evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
08:04:29	×	gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
08:04:34	×	dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 245 seconds)
08:04:53	→	LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
08:05:11	×	idhugo_ quits (~idhugo@130.225.16.16) (Ping timeout: 268 seconds)
08:05:21	×	rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
08:05:45	→	rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
08:05:54	→	ddellacosta joins (~ddellacos@86.106.143.21)
08:08:19	×	acidjnk_new quits (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
08:09:36	→	stree joins (~stree@68.36.8.116)
08:10:16	→	s8ori joins (~username@iamnakedandmyballsareonfire.com)
08:10:44	×	ddellacosta quits (~ddellacos@86.106.143.21) (Ping timeout: 268 seconds)
08:10:45	×	hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
08:11:34	←	s8ori parts (~username@iamnakedandmyballsareonfire.com) ()
08:12:46	→	hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
08:13:40	×	is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
08:15:13	→	_ht joins (~quassel@82-169-194-8.biz.kpn.net)
08:16:41	→	dyeplexer joins (~lol@unaffiliated/terpin)
08:16:42	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
08:17:25	×	ephemera_ quits (~E@14.63.26.157) (Ping timeout: 252 seconds)
08:17:35	→	nineonine joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
08:18:44	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 245 seconds)
08:19:06	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 240 seconds)
08:19:19	→	Guest6509 joins (~laudiacay@45.162.228.190)
08:20:55	×	Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
08:23:41	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 240 seconds)
08:23:55	×	nineonine quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
08:23:56	×	acertain quits (sid470584@gateway/web/irccloud.com/x-ogravonvfzuqdrmh) (Read error: Connection reset by peer)
08:23:56	×	lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) (Read error: Connection reset by peer)
08:23:56	×	nick_h quits (sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) (Write error: Connection reset by peer)
08:23:56	×	mpickering quits (sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) (Read error: Connection reset by peer)
08:23:56	×	simony quits (sid226116@gateway/web/irccloud.com/x-uimvkkhkkjmffmgk) (Read error: Connection reset by peer)
08:24:03	×	gluegadget quits (sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) (Read error: Connection reset by peer)
08:24:09	×	Tritlo quits (sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) (Read error: Connection reset by peer)
08:24:21	×	hamishmack quits (sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) (Read error: Connection reset by peer)
08:24:21	×	dsturnbull quits (sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) (Read error: Connection reset by peer)
08:24:21	×	affinespaces quits (sid327561@gateway/web/irccloud.com/x-zprmbywljksowyax) (Read error: Connection reset by peer)
08:24:24	×	chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
08:24:32	×	edwinb quits (sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) (Ping timeout: 240 seconds)
08:24:35	×	Firedancer quits (sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) (Read error: Connection reset by peer)
08:24:46	×	dmj` quits (sid72307@gateway/web/irccloud.com/x-apketcevmbwpajcv) (Read error: Connection reset by peer)
08:24:50	×	PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-yxyceemvbzkrgcna) (Read error: Connection reset by peer)
08:24:52	×	Guest45273 quits (sid175221@gateway/web/irccloud.com/x-nsujrihzxxbdnxuk) (Read error: Connection reset by peer)
08:24:58	×	joel135 quits (sid136450@gateway/web/irccloud.com/x-ucqckdoiizhcvkmw) (Read error: Connection reset by peer)
08:24:59	×	rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds)
08:25:10	→	is_null joins (~jpic@pdpc/supporter/professional/is-null)
08:25:39	×	heyj quits (sid171370@gateway/web/irccloud.com/x-wookyduvyhmgjxsv) (Ping timeout: 250 seconds)
08:26:27	×	SanchayanMaity quits (sid478177@gateway/web/irccloud.com/x-iknoupunjrgfpxlk) (Ping timeout: 260 seconds)
08:28:02	×	ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
08:28:36	→	ukari joins (~ukari@unaffiliated/ukari)
08:29:13	×	rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
08:29:22	→	joel135 joins (sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd)
08:29:30	→	acertain joins (sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu)
08:29:34	→	affinespaces joins (sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak)
08:29:39	→	simony joins (sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx)
08:29:40	→	nick_h joins (sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj)
08:29:40	→	lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec)
08:29:40	→	mpickering joins (sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw)
08:29:44	→	gluegadget joins (sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu)
08:29:56	→	hamishmack joins (sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz)
08:30:00	→	dsturnbull joins (sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih)
08:30:11	×	geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
08:30:13	→	Firedancer joins (sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva)
08:30:13	→	heyj joins (sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm)
08:30:20	→	Tritlo joins (sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc)
08:30:24	→	edwinb joins (sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj)
08:30:32	→	PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm)
08:30:48	→	Stanley\|00 joins (~stanley00@unaffiliated/stanley00)
08:30:56	→	Guest45273 joins (sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs)
08:30:57	×	vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
08:31:05	→	dmj` joins (sid72307@gateway/web/irccloud.com/x-dxdffqeugfhdwmki)
08:31:09	→	SanchayanMaity joins (sid478177@gateway/web/irccloud.com/x-ggfrtzsywgaxgizs)
08:31:12	→	vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
08:32:16	×	Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds)
08:33:10	→	jgt joins (~jgt@78.162.43.217)
08:33:26	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
08:33:41	×	hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds)
08:35:23	→	Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
08:37:08	×	drbean_ quits (~drbean@TC210-63-209-203.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
08:38:14	→	ddellacosta joins (~ddellacos@86.106.143.34)
08:38:15	→	mmfood_2 joins (~mmfood@185.176.246.69)
08:38:33	→	hyiltiz joins (~quassel@31.220.5.250)
08:38:33	×	hyiltiz quits (~quassel@31.220.5.250) (Changing host)
08:38:33	→	hyiltiz joins (~quassel@unaffiliated/hyiltiz)
08:42:41	×	tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
08:42:48	×	ddellacosta quits (~ddellacos@86.106.143.34) (Ping timeout: 268 seconds)
08:43:25	×	knupfer quits (~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
08:45:39	×	zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
08:46:48	→	zaquest joins (~notzaques@5.128.210.178)
08:47:45	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
08:48:52	→	boogsbunny joins (1769ab38@23.105.171.56)
08:49:58	→	malumore joins (~malumore@151.62.121.252)
08:50:43	<joel135>	> do { return 0; print "???" }
08:50:45	<lambdabot>	<IO ()>
08:51:04	<joel135>	"???"
08:51:08	<joel135>	:)
08:51:38	×	malumore quits (~malumore@151.62.121.252) (Remote host closed the connection)
08:51:49	→	malumore joins (~malumore@151.62.121.252)
08:52:04	<tempate>	Uniaika: that may do the trick. The problem now is how to get only the first element from filter.
08:52:13	→	bitmagie joins (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de)
08:52:28	×	malumore quits (~malumore@151.62.121.252) (Remote host closed the connection)
08:52:38	→	malumore joins (~malumore@151.62.121.252)
08:52:47	<Uniaika>	tempate: head . filter ?
08:52:52	<Uniaika>	filter returns a list
08:54:36	<merijn>	:t listToMaybe
08:54:38	<lambdabot>	[a] -> Maybe a
08:54:54	×	malumore quits (~malumore@151.62.121.252) (Remote host closed the connection)
08:55:03	<tempate>	Fantastic
08:55:18	→	malumore joins (~malumore@151.62.121.252)
08:55:23	×	malumore quits (~malumore@151.62.121.252) (Remote host closed the connection)
08:55:31	×	idhugo__ quits (~idhugo@130.225.16.16) (Read error: Connection reset by peer)
08:55:59	<tempate>	Thanks a lot
08:56:14	→	pfurla_ joins (~pfurla@185.108.105.65)
08:56:27	→	malumore joins (~malumore@151.62.121.252)
08:56:55	→	idhugo__ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
08:56:55	→	notzmv joins (~zmv@unaffiliated/zmv)
08:57:48	×	malumore quits (~malumore@151.62.121.252) (Remote host closed the connection)
08:57:59	→	malumore joins (~malumore@151.62.121.252)
08:58:20	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
08:59:13	×	pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
09:00:09	×	samthecoy[m] quits (samthecoym@gateway/shell/matrix.org/x-hruxclzacznfvtzj) (Quit: Idle for 30+ days)
09:00:48	→	pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
09:00:52	Guest292	is now known as chomwitt
09:02:29	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
09:02:52	×	pfurla_ quits (~pfurla@185.108.105.65) (Ping timeout: 240 seconds)
09:03:49	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
09:04:10	×	Thom2503 quits (~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Read error: Connection reset by peer)
09:04:57	×	swater quits (~swater@perso.iiens.net) (Ping timeout: 260 seconds)
09:11:45	→	Pickchea joins (~private@unaffiliated/pickchea)
09:13:41	×	remedan quits (~remedan@balak.me) (Quit: Bye!)
09:13:55	→	Varis joins (~Tadas@unaffiliated/varis)
09:16:03	→	Thom2503 joins (~Thom2503@49-135-166-62.ftth.glasoperator.nl)
09:18:42	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
09:19:41	→	remedan joins (~remedan@balak.me)
09:23:11	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
09:24:25	<maerwald>	listToMaybe is a terrible name :)
09:24:57	<maerwald>	@hoogle safeHead
09:24:58	<lambdabot>	Distribution.Simple.Utils safeHead :: [a] -> Maybe a
09:24:58	<lambdabot>	Distribution.Utils.Generic safeHead :: [a] -> Maybe a
09:24:58	<lambdabot>	Universum.Container safeHead :: Container t => t -> Maybe (Element t)
09:26:08	<maerwald>	@hoogle headMay
09:26:09	<lambdabot>	Safe headMay :: [a] -> Maybe a
09:26:09	<lambdabot>	Protolude headMay :: [a] -> Maybe a
09:26:09	<lambdabot>	Protolude.Safe headMay :: [a] -> Maybe a
09:26:49	<maerwald>	. o O ( headJune )
09:27:13	→	__monty__ joins (~toonn@unaffiliated/toonn)
09:28:17	<Uniaika>	@hoogle head :: NonEmpty a -> a
09:28:18	<lambdabot>	Data.List.NonEmpty head :: NonEmpty a -> a
09:28:18	<lambdabot>	Distribution.Compat.Prelude.Internal head :: NonEmpty a -> a
09:28:18	<lambdabot>	Data.List.NonEmpty.Compat head :: () => NonEmpty a -> a
09:28:21	<Uniaika>	:3
09:29:50	×	Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
09:30:15	→	Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
09:33:48	→	mikolaj__ joins (~mikon@duch.mimuw.edu.pl)
09:33:57	×	sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
09:34:27	×	mikolaj__ quits (~mikon@duch.mimuw.edu.pl) (Client Quit)
09:36:28	→	sord937 joins (~sord937@gateway/tor-sasl/sord937)
09:36:38	→	mandiblegrip joins (~mandibleg@58.168.115.44)
09:41:19	×	mandiblegrip quits (~mandibleg@58.168.115.44) (Client Quit)
09:41:32	→	plast1k_ joins (~plast1k_@41.186.25.253)
09:43:44	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
09:49:07	→	Tops2 joins (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de)
09:50:02	→	elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
09:52:57	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Writing)
09:55:33	×	ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
09:55:35	×	plutoniix quits (~q@ppp-58-8-212-146.revip2.asianet.co.th) (Quit: Leaving)
09:56:49	→	minoru_shiraeesh joins (~shiraeesh@109.166.59.190)
09:58:39	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
10:00:38	×	Stanley\|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
10:02:49	→	Stanley00 joins (~stanley00@unaffiliated/stanley00)
10:03:34	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
10:04:21	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:05:09	→	zmijunkie1 joins (~Adium@109.90.32.89)
10:05:40	→	nineonine joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
10:05:57	×	sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
10:06:06	×	zmijunkie quits (~Adium@87.123.51.242) (Ping timeout: 240 seconds)
10:06:40	<invaser>	Hi guys! I'm trying to implement my own version of lambda-calculus in Haskell, and I have the following problem:
10:06:40	<invaser>	I used to have such function: evalStep :: Context -> Term -> Maybe Term, basically it does reductions until it's possible
10:07:26	→	sord937 joins (~sord937@gateway/tor-sasl/sord937)
10:08:23	<invaser>	Buth then I wanted to see intermediate steps, and since evalStep is recursive, I can't just unfoldr it and see the results
10:08:31	×	malumore quits (~malumore@151.62.121.252) (Ping timeout: 260 seconds)
10:09:04	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
10:09:57	<invaser>	Because sometimes intermediate steps occur inside this recursive function, and I really don't see a good way to rewrite it, so I changed the function signature to Context -> Term -> [Term], and now function returns all completed steps, and another function like eval can take the last element of the list and pass it to evalStep again
10:10:05	×	nineonine quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
10:10:48	×	boogsbunny quits (1769ab38@23.105.171.56) (Quit: Connection closed)
10:11:07	×	Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
10:11:18	<invaser>	So what I wanted to ask is maybe someone sees a way to refactor it using some smarter abstraction? I've thought about Writer [Term] (Maybe Term), which would log all the steps and tell us if the computation is complete or not
10:11:36	<invaser>	But I'm not sure if it's an appropriate use of Writer
10:12:21	→	Varis joins (~Tadas@78-62-133-232.static.zebra.lt)
10:12:21	×	Varis quits (~Tadas@78-62-133-232.static.zebra.lt) (Changing host)
10:12:21	→	Varis joins (~Tadas@unaffiliated/varis)
10:14:09	×	Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
10:16:13	×	mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
10:17:47	×	stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
10:18:15	→	aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
10:19:01	×	plast1k_ quits (~plast1k_@41.186.25.253) (Ping timeout: 260 seconds)
10:19:28	×	unyu quits (~pyon@unaffiliated/pyon) (Quit: brb)
10:21:54	→	mrchampion joins (~mrchampio@38.18.109.23)
10:24:23	×	ericsagn1 quits (~ericsagne@2405:6580:0:5100:9e02:7bf3:beb9:eefe) (Ping timeout: 250 seconds)
10:26:09	→	Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
10:26:22	→	HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
10:28:21	×	vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
10:28:41	×	xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
10:29:40	→	malumore joins (~malumore@151.62.121.252)
10:30:46	→	stree joins (~stree@68.36.8.116)
10:35:17	→	nullifidian joins (~nullifidi@unaffiliated/nullifidian)
10:37:47	→	ericsagn1 joins (~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93)
10:39:29	×	Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
10:39:34	×	mmfood_2 quits (~mmfood@185.176.246.69) (Quit: Leaving)
10:42:28	→	Enrico63 joins (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
10:44:54	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
10:46:48	×	Guest14500 quits (~textual@2603-7000-3040-0000-116a-d416-07d6-69e7.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
10:47:27	×	Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
10:47:32	→	puke joins (~vroom@217.138.252.196)
10:49:09	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
10:50:29	←	thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)")
10:54:38	×	Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
10:54:52	<tomsmeding>	invaser: why does the function apply multiple evaluation steps in one invocation?
10:55:12	<tomsmeding>	it's probably more efficient this way, but I don't know if that matters for you
10:56:46	×	is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
10:57:51	×	bitmagie quits (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Quit: bitmagie)
11:01:20	→	turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it)
11:01:29	→	Alleria joins (~textual@mskresolve-a.mskcc.org)
11:01:54	Alleria	is now known as Guest8109
11:02:01	→	xsperry joins (~as@unaffiliated/xsperry)
11:02:15	<turlando>	Hello. I'm trying to configure haskell completion in Emacs. According to haskell-mode I should just install it and it should work OOTB, but it doesn't seem like that to me. I also have company-mode installed. What should I do?
11:02:52	×	Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Remote host closed the connection)
11:03:22	→	Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
11:03:33	×	ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
11:04:13	→	ukari joins (~ukari@unaffiliated/ukari)
11:06:13	<invaser>	tomsmeding: a term usually consists of other subterms, and it just calls this function recursively on them (I guess that otherwise it would be hard to preserve the evaluation strategy order). I've tried to figure out a way to refactor it nicely, and it seems that it's not possible.
11:06:54	→	DavidEichmann joins (~david@147.136.46.217.dyn.plus.net)
11:07:03	×	idhugo__ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
11:09:14	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
11:09:59	×	nullifidian quits (~nullifidi@unaffiliated/nullifidian) (Quit: Leaving)
11:10:26	→	Franciman joins (~francesco@host-79-32-159-157.retail.telecomitalia.it)
11:10:33	<Franciman>	Hi, can I ask questions about liquid haskell?
11:12:01	<hpc>	yes, but you can't ask questions about asking questions about liquid haskell :P
11:12:31	<Franciman>	lol
11:12:54	<Franciman>	I have this function: isNotNull :: [a] -> Bool
11:13:01	<Franciman>	isNotNull a = not (null a)
11:13:04	<Franciman>	I want to check this:
11:13:29	<Franciman>	isNotNull :: l:[a] -> { v:Bool \| v <=> not (len a == 0) }
11:13:31	<Franciman>	it does not work
11:13:32	<Franciman>	lol
11:13:34	<Franciman>	the error is
11:13:50	<Franciman>	https://bpa.st/AI4Q
11:13:58	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
11:14:20	→	ces joins (~ces@fsf/member/ces)
11:14:33	×	ces quits (~ces@fsf/member/ces) (Client Quit)
11:14:41	<Franciman>	ehm sorry
11:14:53	<Franciman>	I think I used different letters
11:15:00	<Franciman>	what i want to check is
11:15:06	<Franciman>	isNotNull :: z:[a] -> { v:Bool \| v <=> not (len z == 0) }
11:15:22	→	Guest6509 joins (~laudiacay@45.162.228.190)
11:15:43	→	Pickchea joins (~private@unaffiliated/pickchea)
11:17:23	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
11:20:06	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 265 seconds)
11:20:10	→	Enrico63 joins (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
11:20:13	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
11:20:26	×	LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection)
11:22:27	×	hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds)
11:22:27	<tomsmeding>	invaser: what does it mean if evalStep returns Nothing? Does it mean that no evaluation steps could be applied in that subterm? If that's true, then perhaps you can use that information to choose whether to simplify further subterms or not, in order to ensure that you only do one evaluation step on the whole term
11:22:49	→	geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
11:24:02	<tomsmeding>	Franciman: isn't 'v' a special name in liquidhaskell or something?
11:24:43	<Franciman>	uhm
11:24:51	<Franciman>	I don't think so, but hey let us try
11:24:53	<tomsmeding>	not knowing much about LH that error sounds like there's some name confusion going on
11:25:18	<Franciman>	I changed to r
11:25:22	<Franciman>	no
11:25:24	<Franciman>	change
11:25:40	<Franciman>	the problem looks like to lie in the null function
11:25:48	<Franciman>	damn you liquid haskell
11:26:47	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
11:26:53	→	ekrion joins (~ffx1@181.58.39.182)
11:28:45	→	gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
11:34:55	→	machinedgod joins (~machinedg@24.105.81.50)
11:40:30	<tempate>	How can I check if two functions give the same output for a list of inputs?
11:40:35	→	kritzefitz joins (~kritzefit@212.86.56.80)
11:41:00	→	idhugo joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
11:41:07	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
11:41:15	<Franciman>	all . map (\input -> f1 input == f2 input) inputs
11:41:21	<Franciman>	ops
11:41:37	<Franciman>	all $ map (\i -> f1 i == f2 i) inputs
11:41:53	<tempate>	Hmmm
11:41:54	<tempate>	Nice
11:41:56	<tempate>	Thanks a lot
11:42:04	→	boogsbunny joins (1769ab38@23.105.171.56)
11:44:38	×	michalz quits (~user@185.246.204.44) (Read error: Connection reset by peer)
11:45:49	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
11:45:56	×	nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
11:47:39	→	rodriga joins (~quassel@134.204.25.66)
11:48:25	×	kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
11:48:45	→	kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
11:51:32	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
11:53:42	<tempate>	Franciman: just for consistency, I had to remove "$ map" for it to work
11:53:58	<Franciman>	oh cool
11:54:01	<Franciman>	:t all
11:54:03	<lambdabot>	Foldable t => (a -> Bool) -> t a -> Bool
11:54:07	<Franciman>	ok sorry
11:54:11	<Franciman>	it makes sense
11:54:35	×	geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
11:58:20	→	unyu joins (~pyon@unaffiliated/pyon)
11:59:15	→	urodna joins (~urodna@unaffiliated/urodna)
12:03:40	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
12:05:06	×	edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds)
12:05:21	→	CrazyPython joins (~crazypyth@98.122.164.118)
12:05:43	→	michalz joins (~user@185.246.204.123)
12:06:08	→	hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
12:07:54	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
12:09:39	→	knupfer joins (~Thunderbi@i59F67B5E.versanet.de)
12:10:34	<kritzefitz>	Franciman, you probably thought of and
12:10:35	<kritzefitz>	:t and
12:10:36	<lambdabot>	Foldable t => t Bool -> Bool
12:10:43	<Franciman>	oh right
12:10:46	<Franciman>	yep
12:11:54	→	alx741 joins (~alx741@181.196.69.35)
12:12:20	→	ddellacosta joins (~ddellacos@86.106.143.190)
12:13:30	→	zmijunkie joins (~Adium@87.123.51.242)
12:13:55	×	zmijunkie1 quits (~Adium@109.90.32.89) (Ping timeout: 252 seconds)
12:14:53	→	o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
12:16:34	×	forell quits (~forell@unaffiliated/forell) (Ping timeout: 260 seconds)
12:16:41	×	ddellacosta quits (~ddellacos@86.106.143.190) (Ping timeout: 240 seconds)
12:17:32	→	geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
12:17:44	×	Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
12:18:44	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
12:20:35	×	cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds)
12:21:14	×	invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 245 seconds)
12:24:45	→	edwtjo joins (~edwtjo@h-7-145.A213.priv.bahnhof.se)
12:24:45	×	edwtjo quits (~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host)
12:24:45	→	edwtjo joins (~edwtjo@fsf/member/edwtjo)
12:25:49	→	acidjnk_new joins (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
12:27:51	→	Tops21 joins (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de)
12:28:17	→	forell joins (~forell@unaffiliated/forell)
12:28:32	×	star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
12:30:53	→	ddellacosta joins (~ddellacos@86.106.143.112)
12:30:58	×	Tops2 quits (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
12:31:16	→	drbean_ joins (~drbean@TC210-63-209-57.static.apol.com.tw)
12:31:29	→	Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
12:37:15	→	LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
12:38:17	×	hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds)
12:38:56	→	geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
12:38:58	×	stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
12:40:30	→	nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
12:40:56	×	nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit)
12:50:43	→	royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:51:45	→	stree joins (~stree@68.36.8.116)
12:52:35	×	aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
12:55:47	×	coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
12:58:26	×	Benzi-Junior quits (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 240 seconds)
12:58:28	→	ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
12:59:55	→	kuribas joins (~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be)
13:00:53	×	noexcept quits (~noexcept@2a03:b0c0:3:d0::33:9001) (Read error: Connection reset by peer)
13:01:29	→	noexcept joins (~noexcept@2a03:b0c0:3:d0::33:9001)
13:03:38	→	ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
13:05:14	→	bitmagie joins (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de)
13:05:18	×	ekrion quits (~ffx1@181.58.39.182) (Remote host closed the connection)
13:06:40	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:07:02	→	Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
13:09:34	×	bitmagie quits (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Client Quit)
13:09:49	×	geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
13:10:18	×	ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
13:11:18	→	ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
13:11:44	→	hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
13:15:50	×	ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
13:16:59	→	Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
13:17:57	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
13:22:29	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
13:27:35	→	hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
13:27:57	→	Tario joins (~Tario@201.192.165.173)
13:28:24	→	ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
13:28:25	×	ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
13:28:25	→	ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
13:29:09	×	fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
13:29:15	→	vv8 joins (~egp_@2.95.117.163)
13:30:18	vv8	is now known as fj
13:30:24	fj	is now known as fjMSX
13:34:01	×	ddellacosta quits (~ddellacos@86.106.143.112) (Ping timeout: 252 seconds)
13:40:03	→	cods joins (~fred@82-65-232-44.subs.proxad.net)
13:40:41	→	lleb joins (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr)
13:41:03	×	Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
13:41:39	→	enoq joins (~textual@194-208-146-143.lampert.tv)
13:46:51	×	ystael quits (~ystael@209.6.50.55) (Ping timeout: 252 seconds)
13:48:13	×	thunderrd quits (~thunderrd@183.182.114.233) (Ping timeout: 265 seconds)
13:48:50	→	ystael joins (~ystael@209.6.50.55)
13:51:29	→	coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
13:53:07	×	ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
13:54:08	×	drbean_ quits (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
13:55:59	→	Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
13:56:15	→	cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
13:57:21	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
13:58:09	×	royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
14:05:23	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
14:06:35	→	ddellacosta joins (~ddellacos@86.106.143.203)
14:06:53	→	fiedlr joins (~fiedlr@83.148.33.254)
14:07:20	×	Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds)
14:07:25	→	ph88 joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de)
14:08:02	→	zmijunkie1 joins (~Adium@109.90.32.89)
14:08:25	×	zmijunkie quits (~Adium@87.123.51.242) (Ping timeout: 268 seconds)
14:09:09	→	Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
14:09:56	×	martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 258 seconds)
14:10:49	×	olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
14:11:11	×	ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 246 seconds)
14:11:32	×	fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 246 seconds)
14:12:03	→	Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
14:13:38	×	Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
14:13:55	→	Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
14:14:51	←	Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
14:15:00	→	Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
14:15:15	←	Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
14:16:22	→	Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
14:16:26	←	Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
14:25:03	→	seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net)
14:25:32	×	anandprabhu-M quits (anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt) (Quit: Bridge terminating on SIGTERM)
14:25:32	×	hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-htrnwcwmekebkeel) (Quit: Bridge terminating on SIGTERM)
14:27:18	×	geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
14:28:49	→	Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
14:30:26	×	Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
14:31:29	→	renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b)
14:31:36	→	martin02 joins (~martin02@hund.fs.lmu.de)
14:32:30	→	johncena joins (5c0cd4ac@host-92-12-212-172.as13285.net)
14:33:01	→	xkapastel joins (uid17782@gateway/web/irccloud.com/x-sgigdjanpsamlbkh)
14:33:17	<johncena>	Does anyone know of memory allocator simulators written in haskell
14:33:29	<johncena>	Or just a memory allocator itself written in haskell
14:35:09	→	jumper149 joins (~jumper149@80.240.31.34)
14:35:40	→	anandprabhu-M joins (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue)
14:35:43	×	acidjnk_new quits (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
14:36:45	→	geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
14:36:54	→	rj joins (~x@gateway/tor-sasl/rj)
14:36:58	→	idhugo_ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
14:37:44	×	enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
14:37:56	<wz1000>	johncena: Foreign.Marshal.Pool?
14:38:12	<jumper149>	Is there a reason why monad transformers aren't defined with a `Monad m` constraint in their newtype definition?
14:38:23	×	berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
14:38:41	<jumper149>	I feel like constraints in data/newtype declarations are not liked very much, but I'm not sure what the reason is.
14:38:49	→	hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf)
14:39:09	→	berberman joins (~berberman@unaffiliated/berberman)
14:39:23	<jumper149>	The GADTs extension surely makes this very possible.
14:39:35	←	seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
14:39:40	×	idhugo quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
14:39:43	×	boogsbunny quits (1769ab38@23.105.171.56) (Ping timeout: 240 seconds)
14:40:50	<johncena>	wz1000: thanks ill take a look. although I'm looking for a pure functional implementation, i.e. not using malloc/free and all of it explicitly being doing in functional code
14:40:55	→	star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
14:41:10	→	ddellacosta joins (~ddellacos@86.106.143.112)
14:42:32	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
14:42:53	→	Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
14:43:46	×	idhugo_ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
14:45:32	×	ddellacosta quits (~ddellacos@86.106.143.112) (Ping timeout: 240 seconds)
14:46:31	<jumper149>	Ah I see, newtypes can't have contexts. Only datas.
14:46:59	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
14:48:39	<sshine>	contexts?
14:49:13	→	stef204 joins (~stef204@unaffiliated/stef-204/x-384198)
14:51:40	×	Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
14:53:09	→	frozenErebus joins (~frozenEre@37.231.244.249)
14:55:30	→	Stanley00 joins (~stanley00@unaffiliated/stanley00)
14:58:23	<jumper149>	sshine: constraints
14:58:44	×	xff0x quits (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) (Ping timeout: 245 seconds)
14:58:46	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
14:59:07	→	CrazyPyt_ joins (~crazypyth@98.122.164.118)
14:59:09	×	rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
14:59:42	→	waleee-cl joins (uid373333@gateway/web/irccloud.com/x-rvemkovqaoswbohn)
14:59:50	×	Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
15:00:01	×	stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
15:00:34	×	CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 252 seconds)
15:00:55	→	xff0x joins (xff0x@gateway/vpn/mullvad/xff0x)
15:02:34	<cheater>	in accelerate, i have a 5x100 (or 100x5, doesn't matter) matrix, and a vector v that's 1x5 (or 5x1). i want to treat the matrix as 100 5-element vectors and compute the dot product against v, then return a 100 element array that has each of the resulting dot products. how would i do that? i don't want to copy the matrix around because it's on the gpu. (it's actually very large and takes up most of the vram).
15:03:26	→	jao joins (~jao@pdpc/supporter/professional/jao)
15:03:28	<tomsmeding>	cheater: replicate your 1x5 vector up to 100x5, zipWith (*), then sum the inner (5) dimension
15:03:56	<tomsmeding>	assumes Z :. 100 :. 5 matrix and a Z :. 1 :. 5 vector
15:04:33	→	rj joins (~x@gateway/tor-sasl/rj)
15:04:45	<cheater>	tomsmeding: i don't want to have to create twelve gigabytes that are just the same 1kB vector repeated, that would be very bad for perf
15:04:58	→	fiedlr joins (~fiedlr@83.148.33.254)
15:05:01	<sshine>	jumper149, ah, type-class constraints
15:05:10	<tomsmeding>	cheater: let I2 n len = shape matrix in sum (zipWith (*) matrix (replicate (I2 n len) vector))
15:05:20	<tomsmeding>	that 'replicate' isn't actually going to be manifested in memory
15:05:30	<cheater>	really?
15:05:41	<cheater>	how do you know?
15:05:52	<tomsmeding>	it's going to be fused into the zipWith, which itself is going to be be a "virtual" (delayed, officially) array as argument to the fold
15:05:58	<tomsmeding>	cheater: 1. because I work on accelerate :)
15:06:04	<tomsmeding>	2. because you can see what happens in the Show output
15:06:08	<cheater>	that's cool thank you
15:06:16	<cheater>	i don't know what Show would display
15:06:22	<cheater>	i'm only getting started with accelerate
15:06:45	<tomsmeding>	if you 'show' a value of type 'Acc something', it gives you the optimised version after fusion
15:06:45	<cheater>	and this will work the same way with accelerate-llvm-ptx?
15:06:52	<tomsmeding>	yup
15:06:58	<tomsmeding>	fusion is backend-independent
15:07:10	×	zmijunkie1 quits (~Adium@109.90.32.89) (Ping timeout: 252 seconds)
15:07:27	<cheater>	nice thank you
15:07:28	<cheater>	btw
15:07:38	<cheater>	do you have any interest in getting llvm-ptx working on windows?
15:07:47	<cheater>	because i know what would need to be done
15:07:55	<cheater>	even if i'm missing some of the knowledge how to do it
15:08:46	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:09:03	<tomsmeding>	please open an issue on the github repo!
15:09:15	<cheater>	i mean
15:09:18	<tomsmeding>	we're certainly interested in making it more cross-platform if it isn't already
15:09:18	<cheater>	it involves fixing llvm
15:09:19	→	royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
15:09:22	<tomsmeding>	lol
15:09:33	<cheater>	and then fixing... uh... what's the thing that invokes the linker? it's not cabal
15:09:35	<tomsmeding>	can't be done from within accelerate, you mean?
15:09:41	×	xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds)
15:09:53	<cheater>	no, llvm needs to be fixed, but if we're lucky then it's a lightweight fix
15:10:17	<tomsmeding>	that's... interesting
15:10:20	<tomsmeding>	cheater: https://gitter.im/AccelerateHS/Lobby
15:10:32	<tomsmeding>	lead maintainer of accelerate is in there (trevor)
15:10:50	<tomsmeding>	please stop by if you're interested, he knows more about the actual backends than I do :)
15:11:09	→	xff0x joins (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15)
15:11:26	<tomsmeding>	(If you don't like gitter I can also proxy here on irc :p)
15:11:55	<cheater>	i'm there
15:13:07	→	stree joins (~stree@68.36.8.116)
15:13:13	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
15:13:16	→	zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr)
15:14:15	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
15:15:01	×	royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
15:15:33	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
15:15:57	→	Guest6509 joins (~laudiacay@45.162.228.190)
15:16:24	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
15:17:28	→	thunderrd joins (~thunderrd@183.182.110.191)
15:17:39	→	ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
15:18:43	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
15:19:00	→	nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
15:20:21	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
15:21:36	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
15:21:41	×	ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
15:22:12	×	o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Read error: Connection reset by peer)
15:22:48	→	o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
15:23:19	→	cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
15:25:15	×	zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
15:25:26	<tomsmeding>	cheater: https://paste.tomsmeding.com/pOMX0Nfd
15:25:32	<tomsmeding>	that's in ghci
15:25:49	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
15:26:14	<cheater>	neato
15:26:39	<tomsmeding>	note that the program (apart from the use calls, of course) is just a single 'fold' (for the sum) with a delayed argument. That "delayed" is just like "generate", except it isn't actually constructed in memory
15:26:55	<cheater>	i don't know what generate is
15:27:14	<tomsmeding>	cheater: https://hackage.haskell.org/package/accelerate-1.3.0.0/docs/Data-Array-Accelerate.html#v:generate
15:27:18	<cheater>	yep
15:27:20	<cheater>	i'll read the docs
15:27:29	<cheater>	just telling you that i don't know it immediately
15:27:31	→	zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr)
15:27:33	<tomsmeding>	if the expressions don't look all that optimised: don't worry, expressions are optimised by llvm afterwards :)
15:27:39	<cheater>	this code isn't easy to read haha
15:27:42	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
15:27:48	<cheater>	i'll need to break it down
15:27:52	<tomsmeding>	no post-fusion code can be hard to read sometimes :p
15:28:11	<cheater>	ah wait
15:28:19	<ski>	@let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray ix [f i \| i <- range ix]
15:28:20	<cheater>	i'm reading the show output
15:28:21	×	zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Client Quit)
15:28:21	<lambdabot>	Defined.
15:28:22	<cheater>	duh
15:28:24	<tomsmeding>	mostly important is the structure I pointed out; the details of what goes on in the scalar expressions is less important
15:29:10	<tomsmeding>	ski: indeed :p
15:29:39	<tomsmeding>	in fact, futhark calls the same operation 'tabulate' where accelerate calls it 'generate'
15:30:04	→	rekahsoft joins (~rekahsoft@52.129.35.150)
15:31:19	<tomsmeding>	cheater: I gotta go for now, for questions later don't hesitate to ask e.g. in the gitter :)
15:31:26	×	Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
15:31:42	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
15:32:32	<sshine>	tomsmeding, 'tabulate' comes from Standard ML's List.tabulate, I'm sure.
15:32:34	<cheater>	tomsmeding: thanks, really appreciated
15:32:39	×	Guest45273 quits (sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs) ()
15:32:46	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
15:33:27	×	ericsagn1 quits (~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93) (Ping timeout: 260 seconds)
15:33:30	→	Guest45273 joins (sid175221@gateway/web/irccloud.com/x-uaihrvmovkrsrqze)
15:34:16	→	ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
15:34:20	×	Guest45273 quits (sid175221@gateway/web/irccloud.com/x-uaihrvmovkrsrqze) (Client Quit)
15:34:27	<ski>	sshine : also in `Vector' and `Array'
15:34:51	→	rann joins (sid175221@gateway/web/irccloud.com/x-ispnvynichnxaxzh)
15:35:14	<ski>	(OCaml calls it `init')
15:39:34	→	justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
15:40:04	→	seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net)
15:40:15	<Athas>	sshine: yes, it's an homage to the Good ML.
15:40:32	<Athas>	But it's a weird name, like so much else in SML.
15:42:18	×	martin02 quits (~martin02@hund.fs.lmu.de) (Quit: WeeChat 2.3)
15:42:39	←	seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ()
15:43:48	×	chomwitt quits (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) (Remote host closed the connection)
15:44:21	<Franciman>	I have written the following liquid haskell constraints: https://bpa.st/7NVQ and they work
15:44:31	<Franciman>	but now I'd like to state, at line 18
15:44:35	<Franciman>	the following:
15:44:39	×	lleb quits (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) (Quit: Connection closed)
15:44:51	<Franciman>	{-@ piecesSpan :: p:[Piece] -> {n:Int \| len p > 0 <=> n > 0} @-}
15:44:56	<Franciman>	but I can't make it type check
15:44:58	<Franciman>	in any way
15:46:08	→	ericsagn1 joins (~ericsagne@2405:6580:0:5100:8cfe:e2c:fb24:3adc)
15:47:17	→	ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
15:47:49	→	v01d4lph4 joins (~v01d4lph4@27.57.103.213)
15:48:45	<Franciman>	I mean
15:49:01	<Franciman>	I can typecheck something equivalent
15:49:03	<Franciman>	but not this
15:49:03	<Franciman>	lol
15:49:19	→	idhugo_ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
15:49:25	<Franciman>	I suppose it is because we don't have decidability
15:49:32	<Franciman>	proved for >
15:49:59	<Franciman>	I can type check this condition
15:50:01	<Franciman>	(len p > 0 && n > 0) \|\| (len p == 0 && n == 0)
15:50:03	<Franciman>	but not
15:50:11	<Franciman>	len p > 0 <=> n > 0
15:50:41	<Franciman>	<Franciman> I suppose it is because we don't have decidability <- *totality
15:50:53	×	kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
15:51:50	→	invaser joins (~Thunderbi@31.148.23.125)
15:52:15	→	ddellac__ joins (~ddellacos@83.143.246.104)
15:53:43	×	Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
15:54:37	<ski>	hm, `generate' sounds more weird, to me
15:55:53	→	Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be)
15:56:10	→	Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
15:56:41	×	ddellac__ quits (~ddellacos@83.143.246.104) (Ping timeout: 240 seconds)
15:57:18	×	Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
15:57:32	→	guest7682358928 joins (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2)
15:57:33	×	rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
15:58:19	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
15:58:41	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
15:58:48	→	Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
15:59:44	→	rj joins (~x@gateway/tor-sasl/rj)
15:59:53	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
16:02:37	→	Pickchea joins (~private@unaffiliated/pickchea)
16:04:07	×	Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
16:05:14	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
16:06:16	→	Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
16:09:45	×	coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
16:10:19	×	cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
16:11:00	×	gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
16:15:25	→	alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
16:15:36	→	machinedgod joins (~machinedg@24.105.81.50)
16:15:54	alexander	is now known as Guest44573
16:16:02	→	Deide joins (~Deide@217.155.19.23)
16:18:06	×	v01d4lph4 quits (~v01d4lph4@27.57.103.213) (Remote host closed the connection)
16:18:35	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 246 seconds)
16:23:47	×	kuribas quits (~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
16:29:10	→	proofofkeags joins (~proofofke@205.209.28.54)
16:29:25	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
16:29:32	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
16:30:14	<proofofkeags>	I'm having trouble building a docker container that is capable of emitting binaries for armv7 linux. I'm currently stuck on an issue where ghc-pkg can't lock a file and it fails with "Invalid Argument"
16:30:39	→	esp32_prog joins (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
16:31:05	<proofofkeags>	what's interesting is that this issue does not appear natively on the raspberry pi when I use the pi to build stuff, but it does appear when I try to do the same thing inside the vm/container
16:32:31	<maerwald>	proofofkeags: https://github.com/haskell/cabal/issues/6715#issuecomment-678370267 ?
16:32:47	<proofofkeags>	yeah pretty much exactly that
16:32:54	<proofofkeags>	though I don't see any solutions/workarounds
16:33:25	<proofofkeags>	worth noting also that I need armv7 builds not armv8, but the symptom is identical
16:33:52	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
16:34:06	→	kritzefitz joins (~kritzefit@212.86.56.80)
16:34:49	→	vicfred joins (~vicfred@unaffiliated/vicfred)
16:36:54	<maerwald>	also consider asking in #ghc
16:40:41	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:40:42	×	invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
16:41:26	<Athas>	ski: 'generate' makes sense when you have a fairly general notion of the structure you're generating. E.g. in Haskell it is polymorphic over the shape vector.
16:44:49	→	v01d4lph4 joins (~v01d4lph4@27.57.103.213)
16:44:50	×	v01d4lph4 quits (~v01d4lph4@27.57.103.213) (Read error: Connection reset by peer)
16:45:24	→	v01d4lph4 joins (~v01d4lph4@27.57.103.213)
16:45:50	×	kiweun quits (~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c) ()
16:47:41	→	horatiohb joins (~horatiohb@159.65.170.201)
16:48:48	<ski>	Athas : `generate' sounds to me like it could be one of many different ways to generate a structure, not necessarily generating each element independently from its coordinates/path
16:50:01	×	v01d4lph4 quits (~v01d4lph4@27.57.103.213) (Ping timeout: 252 seconds)
16:50:46	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:52:46	×	s00pcan quits (~chris@107.181.165.217) (Ping timeout: 240 seconds)
16:52:53	→	jgt joins (~jgt@78.162.43.217)
16:53:39	→	cfricke joins (~cfricke@unaffiliated/cfricke)
16:55:02	→	s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
16:55:54	→	P_B1 joins (~P_B@139.28.218.148)
16:56:02	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:56:10	→	gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
16:59:22	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 252 seconds)
16:59:57	×	Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
17:00:01	→	coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
17:00:01	→	frozenErebus joins (~frozenEre@37.231.244.249)
17:02:42	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
17:05:23	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
17:05:24	×	idhugo_ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
17:06:00	→	amerigo joins (uid331857@gateway/web/irccloud.com/x-ihzxbomyjkylusyy)
17:06:07	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
17:06:32	×	hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
17:07:04	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
17:07:21	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
17:08:59	×	pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
17:10:16	×	elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
17:10:19	×	fjMSX quits (~egp_@2.95.117.163) (Quit: EXIT)
17:11:56	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:13:41	<tempate>	Is it possible to do a map over two lists at once?
17:14:17	<monochrom>	Perhaps zipWith is what you want.
17:15:24	<tempate>	I have two lists, one withs xs and another with ys, and I want to apply the same function to each pair. So if xs = [1,2,3] and ys = [4,5,6] y want [f(1, 4), f(2, 5), f(3, 6)]
17:15:39	<monochrom>	zipWith
17:16:24	→	frozenErebus joins (~frozenEre@37.231.244.249)
17:16:59	<tempate>	Great, thanks, monochrom
17:17:25	→	hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
17:18:09	<ski>	map f (zip xs ys) = zipWith (curry f) xs ys
17:18:30	→	anandprabhu joins (~anandprab@94.203.71.143)
17:19:07	→	zmijunkie joins (~Adium@109.90.32.89)
17:19:10	<tempate>	What's curry?
17:19:18	<ski>	> map f (zip [1,2,3] [4,5,6]) :: [Expr]
17:19:20	<lambdabot>	[f (1,4),f (2,5),f (3,6)]
17:19:27	<ski>	> zipWith f [1,2,3] [4,5,6] :: [Expr]
17:19:28	<lambdabot>	[f 1 4,f 2 5,f 3 6]
17:19:36	<ski>	> zipWith (curry f) [1,2,3] [4,5,6] :: [Expr]
17:19:37	<lambdabot>	[f (1,4),f (2,5),f (3,6)]
17:19:48	<tempate>	oh, I see
17:19:52	<tempate>	great, thanks a lot
17:19:58	<ski>	`curry' converts from the `blah (x,y)' form to the `bleh x y' form
17:20:14	<ski>	iow, `curry blah' would be `bleh', here
17:20:20	<ski>	@src curry
17:20:20	<lambdabot>	curry f x y = f (x, y)
17:20:23	×	rodriga quits (~quassel@134.204.25.66) (Read error: Connection reset by peer)
17:20:31	→	rodriga joins (~quassel@134.204.25.66)
17:20:40	→	Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
17:20:44	×	Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
17:21:05	→	zmijunkie1 joins (~Adium@87.123.51.242)
17:21:12	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
17:21:18	×	stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
17:21:39	×	zmijunkie1 quits (~Adium@87.123.51.242) (Client Quit)
17:21:57	→	zmijunkie1 joins (~Adium@87.123.51.242)
17:22:18	<tempate>	I'm now realizing that it's more complicated than what I said. The function I gave, f, returns a function. So what I would really like would be (h = (g = f(1, 4)) (2, 5)) (3, 6)
17:22:21	→	tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
17:23:27	<ski>	what would you like to do with the returned functions ?
17:23:34	×	zmijunkie quits (~Adium@109.90.32.89) (Ping timeout: 265 seconds)
17:23:43	<tempate>	I would just like to return the last function
17:23:50	<tempate>	The result of h(3,6)
17:23:52	→	Sheilong joins (uid293653@gateway/web/irccloud.com/x-rcsvshxqwuthdgbo)
17:23:55	→	jrp joins (0550efe4@5.80.239.228)
17:24:01	<ski>	so you don't care about the previous pairs at all ?
17:24:10	<tempate>	I don't, no
17:24:20	<ski>	are the two lists of the same length ?
17:24:24	<tempate>	I only cair about the previous pairs of xs and ys to generate the previous functions that lead up to h
17:24:29	×	johncena quits (5c0cd4ac@host-92-12-212-172.as13285.net) (Quit: Connection closed)
17:24:31	<ski>	hm
17:24:31	<tempate>	They are, yes
17:25:01	<ski>	do you want to use the function generated from one pair, in order to process the next pair ?
17:25:11	<tempate>	Yes, that's it
17:25:14	<monochrom>	I would be interested in seeing an actual example of f, and in fact an actual example of the two input lists too.
17:25:23	<ski>	sounds like you maybe want a fold, then
17:25:41	<tempate>	I can explain in detail if you want
17:25:44	<ski>	yea, a concrete example would help
17:26:20	<monochrom>	Not so much detail as precision and unambiguity.
17:28:25	<tempate>	ok, I have to write a 8-puzzle solver for university, and one of the constraints is to represent boards as newtype Board = T (Position, Position -> Maybe Int), where type Position = (Int, Int), and Maybe Int represents the value of the tile. So boards are a tuple: their first value is the position of the empty square and the second value is a function that, given a position, returns the value of its tile.
17:28:35	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:29:19	<tempate>	I have to write a function that takes a list of tiles in left-to-right descending order and returns a board
17:29:54	<tempate>	I have a function that gives the final board, the objective, one could say
17:30:11	<jrp>	Hi, just trying to figure out where in the stack to include haskellne (readInput) transformer: I start with a working `type Forth w a r = ExceptT VMSignal (StateT (VM w a) IO) r` and I have placed it with `type Forth w a r = ExceptT VMSignal (StateT (VM w a) (InputT IO)) r`. All compiles fine (after replacing the getLine and wrapping a
17:30:11	<jrp>	`runInputBehavior` around the previous `runStateT`. However, the app seems to run just as before (ie, with no line editing/history enhancements). Any suggestions as to what I might look at, pls?
17:30:25	<tempate>	So I thought that I could make new position-functions by changing the final board's one tile at a time
17:30:28	<ski>	"the position of the empty square" ?
17:31:22	<tempate>	Well, in an 8-puzzle there are 8 tiles and an empty tile (or empty square) in a 3x3 board, and you have to rearrange them so they end up in order
17:31:28	×	zmijunkie1 quits (~Adium@87.123.51.242) (Quit: Leaving.)
17:31:45	→	zmijunkie joins (~Adium@87.123.51.242)
17:32:10	<ski>	ah, right
17:32:44	<ski>	well, what you sketched certainly seems doable
17:33:32	<tempate>	Yeah, I think so, but I'm not too confident with Haskell
17:33:42	×	Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
17:33:44	<ski>	i would probably opt for `foldr'
17:33:57	→	stree joins (~stree@68.36.8.116)
17:34:37	<ski>	(or, an explicit recursion, amounting to the same thing)
17:35:08	<tempate>	An explicit recursion felt a bit more dirty to me
17:35:16	<tempate>	Although now that I think about it, it may be alright
17:35:17	<ski>	for each tile, you'd need to know its corresponding position
17:35:31	→	frozenErebus joins (~frozenEre@37.231.244.249)
17:35:40	<tempate>	Yes, that I know
17:35:42	→	Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
17:36:22	<ski>	one way would be to divide the list of tiles, into a list of rows of tiles. another would be to `zip' the tiles with their positions. a third would be to pass the current tile position as an additional argument to the processing function
17:37:45	<jrp>	@unmtl ExceptT VMSignal (StateT (VM w a) (InputT IO)) r
17:37:45	<lambdabot>	VM w a -> InputT IO (Either VMSignal r, VM w a)
17:37:47	<tempate>	Alright, I'm going to give a try to the explicit approach
17:37:49	→	fivebox joins (x@unaffiliated/fivebox)
17:38:23	<ski>	(if one were thinking about efficiency, one could wonder if perhaps one shouldn't construct the board functions as sequentially scanning for the appropriate position .. but that's a complication, and the board is so small that it would hardly matter anyway)
17:39:48	<tempate>	Not sure I get what you mean by sequentially scanning
17:39:59	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
17:40:06	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
17:40:12	×	anandprabhu quits (~anandprab@94.203.71.143) (Quit: Konversation terminated!)
17:40:23	<ski>	i mean the function that is constructed, by passing from one tile to the next, updating the function sequentially
17:40:40	<ski>	an alternative would be to construct the function as a tree, perhaps
17:41:31	→	kiweun joins (~kiweun@2607:fea8:2a62:9600:d0dd:ef94:ca28:e17b)
17:42:07	<remexre>	are there good ways to do sort of reflective-ish operations on types? something like Go's struct tags, maybe? I saw {-# ANN #-}, thought it sounds like it might require writing a compiler plugin, so I'd like to avoid it if possible
17:42:44	<ski>	with the sequential update, you get something like `set pos0 tile0 (set pos1 tile1 (..(error "invalid position")..))', which would be a function that given a position, compares it with `pos0',`pos1',&c. in turn, and gives the corresponding tile
17:43:25	<ski>	iow, you'd get `\pos -> if pos == pos0 then tile0 else if pos == pos1 then tile 1 else ..(error "invalid position")..'
17:44:26	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
17:44:35	<tempate>	ski: oh, that's actually what I was thinking
17:44:36	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
17:44:58	<tempate>	I guess I can do it from scratch instead of swapping tiles in the final board's function?
17:46:16	<ski>	well, the `set' function i referred to would basically just by "swapping tiles". iow it'd make a new function that gives the same result on all positions, except on `pos0', where it'd give `tile0' (instead of whatever tile the previous function gave there)
17:46:46	<ski>	jrp : hm, i dunno how `InputT' is meant to work
17:47:13	×	rajivr quits (uid269651@gateway/web/irccloud.com/x-tixhxbhwulglbevd) (Quit: Connection closed for inactivity)
17:47:30	<monochrom>	remexre: I don't know what's "reflective" and Go, but "struct tag" is perhaps one of the things GHC.Generics and {-# language DeriveGenerics #-} provides.
17:47:38	→	jgt joins (~jgt@78.162.43.217)
17:47:54	<monochrom>	To be sure, I don't know what "struct tag" means either. Just guessing from words.
17:48:30	<remexre>	Go lets you associate arbitrary strings with fields of a struct; when doing reflection you can see what string a field has
17:48:57	<ski>	tempate : but yea, you can do this as a recursive function, if you prefer
17:48:59	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 250 seconds)
17:49:32	×	kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
17:49:40	<monochrom>	DeriveGenerics associates the field name with the field.
17:49:42	→	pbgc joins (~pbgc@a89-152-234-147.cpe.netcabo.pt)
17:49:55	→	lleb joins (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr)
17:49:56	<ski>	i don't think generics gives you anything like that, remexre
17:50:33	<ski>	what it does is let you write polytypic algorithms, that depend on the shape of the type
17:50:52	<remexre>	yeah, I'm familiar with that usage of it
17:51:08	×	ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
17:51:09	→	juuandyy joins (~juuandyy@90.106.228.121)
17:51:09	×	hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
17:51:23	→	ADG1089 joins (~aditya@171.76.29.233)
17:52:05	<tempate>	ski: but is iow a function?
17:52:21	<ski>	"iow" is short for "in other words"
17:52:30	<tempate>	oh
17:52:30	→	ukari joins (~ukari@unaffiliated/ukari)
17:52:34	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 265 seconds)
17:52:37	<monochrom>	If you go phantom type, you can associate a type-level string of your choice; and then use GHC.TypeLits.symbolVal to convert type-level string to term-level string.
17:52:41	→	untakenstupidnic joins (~user@5.114.130.12)
17:52:44	→	hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
17:53:10	×	geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
17:53:39	<monochrom>	But phantom type also means you now have to go through newtype wrappers and unwrappers all the time.
17:53:42	<remexre>	using Tagged or whatever?
17:53:46	<monochrom>	Yeah
17:53:48	<remexre>	yeah, I'm trying to avoid the newtype wrapping
17:55:03	→	chimera joins (~chimera@168-182-134-95.pool.ukrtel.net)
17:55:58	→	usr25 joins (~usr25@unaffiliated/usr25)
18:00:22	←	maralorn parts (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
18:01:03	→	maralorn joins (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
18:02:32	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
18:05:17	←	maralorn parts (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
18:07:12	→	AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:9dbe:b42:df17:bf9c)
18:08:24	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
18:11:50	→	maralorn joins (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
18:12:54	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
18:14:46	→	nvmd joins (~nvmd@177.30.111.232)
18:14:47	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
18:15:05	→	geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
18:15:23	×	lleb quits (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) (Ping timeout: 240 seconds)
18:16:23	→	Synthetica joins (uid199651@gateway/web/irccloud.com/x-njxepqszlnawpkda)
18:16:32	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
18:18:32	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
18:19:38	×	s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
18:19:39	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection)
18:19:56	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
18:20:13	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
18:21:13	→	s00pcan joins (~chris@107.181.165.217)
18:22:58	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
18:23:27	→	kritzefitz joins (~kritzefit@212.86.56.80)
18:25:10	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
18:27:12	×	dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
18:27:32	×	star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
18:27:41	×	ADG1089 quits (~aditya@171.76.29.233) (Quit: Konversation terminated!)
18:33:39	→	star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
18:37:10	→	timwattenberg joins (~quassel@hq.wattenberg.me)
18:39:26	→	bitmagie joins (~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de)
18:41:41	×	darjeeling_ quits (~darjeelin@122.245.216.145) (Ping timeout: 240 seconds)
18:42:11	×	geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
18:42:13	×	ystael quits (~ystael@209.6.50.55) (Ping timeout: 252 seconds)
18:42:32	×	bennofs_ quits (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer)
18:42:45	→	bennofs_ joins (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
18:44:04	×	ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
18:44:42	→	ukari joins (~ukari@unaffiliated/ukari)
18:45:37	×	guest7682358928 quits (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Quit: Ping timeout (120 seconds))
18:46:01	×	bitmagie quits (~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de) (Quit: bitmagie)
18:46:31	→	guest7682358928 joins (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2)
18:48:14	×	jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed)
18:53:34	×	Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
18:55:05	→	darjeeling_ joins (~darjeelin@122.245.217.205)
18:55:32	×	coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
18:56:20	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
18:57:06	×	guest7682358928 quits (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Ping timeout: 240 seconds)
18:57:36	→	geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
18:59:06	→	jrp joins (0550efe4@5.80.239.228)
19:00:55	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
19:01:06	×	LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
19:01:24	→	LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
19:04:17	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:06:47	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:07:45	→	chateau joins (~chateau@71.215.110.96)
19:09:03	×	chateau quits (~chateau@71.215.110.96) (Quit: Leaving)
19:09:51	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
19:13:44	×	justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds)
19:15:14	→	brandonhamilton joins (~brandonha@151.36.60.188)
19:16:36	→	Guest6509 joins (~laudiacay@45.162.228.190)
19:17:15	×	brandonhamilton quits (~brandonha@151.36.60.188) (Client Quit)
19:18:15	→	jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
19:19:39	×	jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit)
19:21:16	×	Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
19:23:50	→	TorNATO joins (~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611)
19:24:24	→	frozenErebus joins (~frozenEre@37.231.244.249)
19:24:27	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:28:30	×	sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
19:29:31	×	frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
19:30:39	→	ddellac__ joins (~ddellacos@86.106.143.190)
19:32:41	→	ech joins (~user@gateway/tor-sasl/ech)
19:32:53	×	Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
19:33:09	→	justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
19:33:49	→	__minoru__shirae joins (~shiraeesh@109.166.59.124)
19:34:04	×	minoru_shiraeesh quits (~shiraeesh@109.166.59.190) (Ping timeout: 265 seconds)
19:34:43	×	TorNATO quits (~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611) (Ping timeout: 250 seconds)
19:35:11	×	ddellac__ quits (~ddellacos@86.106.143.190) (Ping timeout: 252 seconds)
19:40:07	×	pbgc quits (~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.)
19:40:32	×	juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
19:41:41	×	stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
19:42:59	→	howdoi joins (uid224@gateway/web/irccloud.com/x-trxxyompkioojjhk)
19:43:09	→	pbgc joins (~pbgc@a89-152-234-147.cpe.netcabo.pt)
19:44:06	×	fivebox quits (x@unaffiliated/fivebox) (Remote host closed the connection)
19:44:52	×	DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds)
19:46:16	×	Thom2503 quits (~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Quit: Leaving)
19:48:30	→	jgt joins (~jgt@78.162.43.217)
19:53:24	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 265 seconds)
19:55:19	→	stree joins (~stree@68.36.8.116)
19:59:12	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
20:00:13	×	_ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
20:01:44	→	Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
20:01:53	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
20:03:07	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
20:03:44	×	Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds)
20:03:51	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
20:04:49	Lord_of_Life_	is now known as Lord_of_Life
20:05:16	×	petersen quits (~petersen@redhat/juhp) (Ping timeout: 252 seconds)
20:06:32	×	jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
20:07:29	→	petersen joins (~petersen@redhat/juhp)
20:07:55	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
20:15:38	×	Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
20:16:24	→	Tario joins (~Tario@201.192.165.173)
20:19:23	→	zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr)
20:20:23	×	kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
20:22:16	<shapr>	@quote ski
20:22:17	<lambdabot>	ski says: <ski> I never said this!
20:22:20	shapr	laughs
20:22:41	×	p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
20:22:55	<Rembane>	That's the best quote, all categories.
20:23:03	→	dmytrish joins (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c)
20:23:51	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
20:27:47	×	turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving)
20:28:19	×	justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds)
20:28:35	×	shailangsa quits (~shailangs@host86-186-132-95.range86-186.btcentralplus.com) (Read error: Connection reset by peer)
20:28:53	×	malumore quits (~malumore@151.62.121.252) (Ping timeout: 268 seconds)
20:30:28	×	jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed)
20:31:16	→	p8m joins (p8m@gateway/vpn/protonvpn/p8m)
20:32:52	×	wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
20:33:16	→	epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
20:33:17	→	jgt joins (~jgt@78.162.43.217)
20:33:49	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
20:35:16	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
20:36:11	×	ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
20:36:12	×	p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
20:36:46	→	nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
20:39:41	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
20:40:47	×	CrazyPyt_ quits (~crazypyth@98.122.164.118) ()
20:41:01	×	pbgc quits (~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.)
20:41:15	×	nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 265 seconds)
20:41:40	×	kiweun quits (~kiweun@2607:fea8:2a62:9600:d0dd:ef94:ca28:e17b) (Remote host closed the connection)
20:41:48	→	vdukhovni joins (6b4de296@mobile-107-77-226-150.mobile.att.net)
20:43:24	→	acidjnk_new joins (~acidjnk@p200300d0c72b9588801bc51b53461c8c.dip0.t-ipconnect.de)
20:43:45	→	p8m joins (p8m@gateway/vpn/protonvpn/p8m)
20:44:17	×	LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
20:44:38	×	rodriga quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds)
20:45:35	→	elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
20:46:49	→	Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
20:46:55	×	Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Client Quit)
20:48:27	→	pbgc joins (~pbgc@a89-152-234-147.cpe.netcabo.pt)
20:49:17	<ski>	shapr : hah, i can't recall saying that :P
20:51:35	×	cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
20:52:41	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
20:53:35	×	ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
20:54:54	×	landonf quits (landonf@mac68k.info) (Excess Flood)
20:55:21	→	shailangsa joins (~shailangs@host86-186-132-95.range86-186.btcentralplus.com)
20:55:23	→	landonf joins (landonf@mac68k.info)
20:57:12	×	knupfer quits (~Thunderbi@i59F67B5E.versanet.de) (Ping timeout: 260 seconds)
20:57:47	×	jrm quits (~jrm@freebsd/developer/jrm) (Ping timeout: 260 seconds)
20:58:27	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:59:37	→	machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
20:59:45	→	CrazyPython joins (~crazypyth@98.122.164.118)
21:01:37	×	lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid)
21:02:11	×	s00pcan quits (~chris@107.181.165.217) (Ping timeout: 268 seconds)
21:02:24	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:03:36	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
21:03:40	→	s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
21:03:45	→	lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
21:05:15	×	hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3) (Ping timeout: 260 seconds)
21:06:02	×	Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
21:07:08	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
21:07:37	×	perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
21:09:52	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 240 seconds)
21:10:36	→	jgt joins (~jgt@78.162.43.217)
21:13:03	→	hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:e3b4:fd1e:412e:c217)
21:13:58	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
21:14:47	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:15:03	×	dmytrish quits (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds)
21:17:24	×	Tops21 quits (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Read error: Connection reset by peer)
21:17:51	→	Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
21:18:12	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
21:20:02	×	Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be) (Quit: Leaving)
21:20:04	×	Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds)
21:20:42	×	hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
21:21:41	×	CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 246 seconds)
21:22:26	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
21:23:08	→	CrazyPython joins (~crazypyth@98.122.164.118)
21:24:33	→	dhil joins (~dhil@80.208.56.181)
21:27:06	×	johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
21:29:16	→	justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
21:30:57	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
21:32:11	×	ph88 quits (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
21:33:41	→	ADG1089 joins (~aditya@171.76.29.233)
21:33:43	×	hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:e3b4:fd1e:412e:c217) (Ping timeout: 260 seconds)
21:34:08	<ADG1089>	any haskell libraries needing contribution, i was looking to work onto some of them
21:37:27	→	solidus-river joins (~mike@174.127.249.180)
21:37:43	×	vdukhovni quits (6b4de296@mobile-107-77-226-150.mobile.att.net) (Ping timeout: 240 seconds)
21:39:44	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
21:39:54	×	michalz quits (~user@185.246.204.123) (Remote host closed the connection)
21:40:53	→	ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
21:41:28	→	hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:8bd4:3e0a:68:465c)
21:42:41	×	notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
21:45:12	<juri_>	ADG1089: a ton of them are.
21:45:33	×	jess quits (jess@freenode/staff/jess) ()
21:46:48	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
21:46:56	×	fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
21:48:40	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:50:46	×	Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
21:52:04	→	Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
21:53:37	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
21:54:14	<ADG1089>	juri_: Is https://github.com/explore a good place to find them?
21:54:57	→	coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
21:56:45	×	rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
21:57:05	→	royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
21:57:21	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
21:57:31	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
21:59:01	→	mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au)
21:59:20	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
22:01:13	→	dpl__ joins (~dpl@77-121-78-163.chn.volia.net)
22:03:11	×	stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
22:03:35	×	Guest44573 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
22:03:59	<juri_>	ADG1089: I don't know, honestly. most people have a project or two they're working on. why don't you try asking around here, and see if anyone wants to discuss what they're doing, and see it it fits your interests?
22:04:06	×	dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
22:05:03	<hpc>	haha
22:05:10	<hpc>	ask question, answer is "ask here"
22:05:14	→	justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
22:05:59	<hpc>	ADG1089: hackage packages have project urls that are usually github or similar, you can use those to find something interesting and submit a PR
22:06:37	→	danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca)
22:06:45	<juri_>	hpc: I find the whole random PR process unfriendly. i guess we all have our different ways.
22:07:09	<juri_>	I'd recommend my projects, but i'm about to go to bed, and it's some pretty specialized stuff.
22:07:28	<hpc>	i like it, it's like irc
22:07:34	<hpc>	you don't ask to ask, you just ask
22:07:45	<hpc>	you don't ask to fork, you just fork
22:08:29	→	Aquazi joins (uid312403@gateway/web/irccloud.com/x-hhxgnaqpkeoleenq)
22:08:47	<juri_>	IRC can also be impersonal, if that's your style.
22:09:11	×	danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
22:09:16	×	coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
22:14:09	×	__monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
22:14:56	×	Franciman quits (~francesco@host-79-32-159-157.retail.telecomitalia.it) (Quit: Leaving)
22:16:35	→	stree joins (~stree@68.36.8.116)
22:17:59	→	dmytrish joins (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c)
22:18:52	×	rekahsoft quits (~rekahsoft@52.129.35.150) (Ping timeout: 240 seconds)
22:19:45	<monochrom>	Which one of the following two is more impersonal?:
22:19:57	<monochrom>	A. don't ask to ask, just ask
22:20:58	<monochrom>	B. When asked a question of the form "does anyone have ___?", answer "the answer is yes, they exist".
22:21:19	×	ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
22:22:11	×	elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
22:24:27	→	nineonin_ joins (~nineonine@50.216.62.2)
22:24:40	×	mud quits (~mud@unaffiliated/kadoban) (Quit: bye)
22:25:11	→	fiedlr joins (~fiedlr@83.148.33.254)
22:26:04	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
22:26:38	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
22:27:29	×	nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
22:27:30	×	fendor quits (~fendor@178.115.129.220.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
22:29:49	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
22:30:28	×	fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds)
22:30:31	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
22:31:05	→	fiedlr joins (~fiedlr@83.148.33.254)
22:31:14	×	nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
22:31:17	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
22:32:03	×	dmytrish quits (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds)
22:34:09	×	acidjnk_new quits (~acidjnk@p200300d0c72b9588801bc51b53461c8c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
22:34:10	→	elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
22:34:50	<wroathe>	does anyone have a jet fuel powered unicycle?
22:34:56	×	aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 245 seconds)
22:36:30	→	pavonia joins (~user@unaffiliated/siracusa)
22:36:53	→	nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
22:37:20	<monochrom>	Does a jet engine count? >:)
22:37:39	<monochrom>	It has, like, one rotor.
22:38:43	×	elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Client Quit)
22:38:46	←	jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
22:40:53	<wroathe>	But how many hipsters does it accommodate?
22:41:20	×	nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.)
22:41:43	×	royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
22:41:50	<monochrom>	As many as until the rotor blades wear out >:)
22:42:23	→	aidecoe joins (~aidecoe@unaffiliated/aidecoe)
22:42:33	→	kiweun joins (~kiweun@2607:fea8:2a62:9600:84d6:47ca:d37:9eea)
22:44:33	<davean>	wroathe: Sadly shapr does not yet, a thing which needs fixing.
22:46:17	×	jgt quits (~jgt@78.162.43.217) (Ping timeout: 260 seconds)
22:46:35	×	fiedlr quits (~fiedlr@83.148.33.254) ()
22:47:04	×	kiweun quits (~kiweun@2607:fea8:2a62:9600:84d6:47ca:d37:9eea) (Ping timeout: 245 seconds)
22:47:48	→	jacks2 joins (~bc8134e3@217.29.117.252)
22:53:11	×	Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
22:55:09	→	excelsiornini joins (6b4dd7e7@mobile-107-77-215-231.mobile.att.net)
22:58:16	→	chateau joins (~chateau@71.215.110.96)
22:59:35	×	lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds)
23:00:23	×	excelsiornini quits (6b4dd7e7@mobile-107-77-215-231.mobile.att.net) (Quit: Connection closed)
23:00:59	→	lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
23:02:55	×	ADG1089 quits (~aditya@171.76.29.233) (Quit: Konversation terminated!)
23:03:34	→	mud joins (~mud@unaffiliated/kadoban)
23:04:19	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
23:07:48	→	CrazyPyt_ joins (~crazypyth@98.122.164.118)
23:08:57	×	CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 252 seconds)
23:10:01	×	dpl__ quits (~dpl@77-121-78-163.chn.volia.net) (Quit: dpl__)
23:10:59	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
23:11:48	<koz_>	If I want to get a DAG of my modules indicating what imports what in a cabal project, how would I do this?
23:13:01	×	dhil quits (~dhil@80.208.56.181) (Ping timeout: 265 seconds)
23:13:18	<wroathe>	Well, technically I would think it would be a DG
23:13:36	<koz_>	wroathe: It's a DAG in my case.
23:15:34	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
23:16:34	×	Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
23:17:00	<davean>	wroathe: The .hs_boot shit is crazy and rare
23:17:05	<davean>	certainly no one sane uses it!
23:18:07	×	Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds)
23:20:55	×	cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds)
23:21:09	<Clint>	that's why sane people put all their code into a single .hs file
23:21:49	<geekosaur>	http://hackage.haskell.org/package/graphmod
23:24:08	→	jakalx joins (~jakalx@base.jakalx.net)
23:26:25	×	pbgc quits (~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.)
23:28:30	→	aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
23:38:21	<koz_>	geekosaur: Thanks!
23:39:14	×	heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
23:40:05	×	natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
23:42:30	×	Kaiepi quits (~Kaiepi@47.54.252.148) (Ping timeout: 265 seconds)
23:43:58	×	usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
23:43:59	×	Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Quit: Konversation terminated!)
23:46:01	×	Synthetica quits (uid199651@gateway/web/irccloud.com/x-njxepqszlnawpkda) (Quit: Connection closed for inactivity)
23:48:59	→	heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:49:10	→	ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
23:50:47	<gnumonic>	does .hs boot even work? i tried to use it, gave up after like two days of failure, and decided to live with a 3500 line Types.hs file
23:52:42	<geekosaur>	it works but it's tricky
23:52:52	→	Tario joins (~Tario@201.192.165.173)
23:53:35	×	ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
23:55:16	×	amerigo quits (uid331857@gateway/web/irccloud.com/x-ihzxbomyjkylusyy) (Quit: Connection closed for inactivity)
23:58:14	→	kiweun joins (~kiweun@2607:fea8:2a62:9600:94a4:7355:214:11fd)

All times are in UTC on 2021-04-26.