Logs on 2021-06-12 (liberachat/#haskell)

00:02:40	→	ec_ joins (~ec@gateway/tor-sasl/ec)
00:02:42	×	xff0x_ quits (~xff0x@2001:1a81:5346:bf00:b798:b33b:5653:d347) (Ping timeout: 264 seconds)
00:03:57	×	bilegeek quits (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving)
00:04:26	×	shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Read error: Connection reset by peer)
00:04:34	→	xff0x_ joins (~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7)
00:05:20	→	pe200012_ joins (~pe200012@120.236.161.38)
00:05:44	×	pe200012 quits (~pe200012@183.63.73.36) (Ping timeout: 264 seconds)
00:17:47	→	MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
00:18:00	×	Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:5cec:59a9:cebf:aa78) (Quit: Leaving)
00:19:50	×	leah2 quits (~leah@vuxu.org) (Read error: Connection reset by peer)
00:20:29	→	lavaman joins (~lavaman@98.38.249.169)
00:22:04	×	ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
00:26:28	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:27:08	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
00:27:32	×	tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
00:30:59	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
00:33:37	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
00:33:49	×	lbseale_ quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
00:33:58	→	Bartosz joins (~textual@24.35.90.211)
00:36:56	×	fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
00:37:11	×	argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 244 seconds)
00:37:33	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:40:16	→	dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net)
00:42:21	bontaq`	is now known as bontaq
00:46:56	×	ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds)
00:53:57	×	MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
00:54:25	×	Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:55:56	→	ikex joins (~ash@user/ikex)
00:58:29	×	BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds)
01:00:26	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
01:02:13	→	BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
01:02:57	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
01:04:42	→	iblis1 joins (~Adium@141.20.217.196)
01:07:21	×	iblis quits (~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
01:08:24	→	Bartosz joins (~textual@24.35.90.211)
01:08:24	×	Bartosz quits (~textual@24.35.90.211) (Client Quit)
01:11:41	×	Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
01:12:04	→	thyriaen joins (~thyriaen@45.178.75.13)
01:13:29	×	geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
01:14:06	×	xff0x_ quits (~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7) (Ping timeout: 264 seconds)
01:15:00	→	danso joins (~danso@23-233-111-52.cpe.pppoe.ca)
01:15:46	→	xff0x_ joins (~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab)
01:18:27	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
01:20:28	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
01:22:44	→	hmmmas joins (~chenqisu1@183.217.200.246)
01:22:50	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
01:25:34	→	machinedgod joins (~machinedg@24.105.81.50)
01:26:06	<systemfault>	Hi, anyone up for a monoid question? Is "Min" or "Max" a valid monoid?
01:27:18	×	oxide quits (~lambda@user/oxide) (Ping timeout: 244 seconds)
01:28:05	<c_wraith>	systemfault: only for types that have upper and lower bounds
01:28:21	<c_wraith>	systemfault: which is why the Min and Max aliases in base are semigroups instead
01:30:52	<c_wraith>	Ah, those types have Monoid instances too, that depend on Bounded instances existing
01:31:36	<systemfault>	I guess it makes sense
01:32:04	→	argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar)
01:32:20	<systemfault>	Thank you :)
01:33:36	×	asthasr quits (~asthasr@162.210.29.120) (Read error: Connection reset by peer)
01:37:12	→	awth13 joins (~user@user/awth13)
01:41:12	→	lavaman joins (~lavaman@98.38.249.169)
01:42:08	×	jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed)
01:43:44	×	argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 265 seconds)
01:43:45	×	jocke-l quits (jocke-l@a.x0.is) (Quit: WeeChat 1.6)
01:44:43	×	ozataman quits (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
01:44:47	→	jocke-l joins (jocke-l@a.x0.is)
01:48:35	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
01:48:58	×	hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.)
01:54:53	×	jespada quits (~jespada@90.254.242.55) (Ping timeout: 244 seconds)
01:54:53	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Read error: Connection reset by peer)
01:55:47	→	MQ-17J joins (~MQ-17J@8.21.10.116)
01:57:23	→	iblis joins (~Adium@p200300e9770baa011581fbd97cfaa023.dip0.t-ipconnect.de)
01:57:31	×	Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
01:58:20	→	jespada joins (~jespada@90.254.242.55)
01:58:49	×	iblis1 quits (~Adium@141.20.217.196) (Ping timeout: 244 seconds)
01:58:58	→	xsarnik joins (xsarnik@lounge.fi.muni.cz)
02:08:24	×	td_ quits (~td@94.134.91.189) (Ping timeout: 252 seconds)
02:10:09	→	td_ joins (~td@94.134.91.54)
02:11:18	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:11:33	→	lavaman joins (~lavaman@98.38.249.169)
02:11:40	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:11:41	×	iblis quits (~Adium@p200300e9770baa011581fbd97cfaa023.dip0.t-ipconnect.de) (Quit: Leaving.)
02:12:18	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
02:15:50	→	MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
02:20:05	→	lavaman joins (~lavaman@98.38.249.169)
02:23:33	×	peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer)
02:23:37	→	peterhil_ joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
02:24:36	→	ozataman joins (~ozataman@71.190.112.58)
02:27:10	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
02:31:33	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
02:32:01	→	koishi_ joins (~koishi_@67.209.186.120.16clouds.com)
02:33:01	→	ec_ joins (~ec@gateway/tor-sasl/ec)
02:33:07	→	finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:33:07	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services)))
02:33:08	finn_elija	is now known as FinnElija
02:34:08	×	koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
02:49:52	→	rk04 joins (~rk04@user/rajk)
02:53:36	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
02:54:03	→	lavaman joins (~lavaman@98.38.249.169)
02:55:01	×	derelict quits (~derelict@user/derelict) (Ping timeout: 272 seconds)
02:57:05	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
03:02:50	→	MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
03:11:05	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
03:12:51	→	argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar)
03:16:34	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
03:25:25	×	MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
03:25:34	→	MQ-17J joins (~MQ-17J@8.21.10.116)
03:30:21	×	Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
03:30:25	→	Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
03:30:37	→	wei2912 joins (~wei2912@112.199.250.21)
03:31:19	×	BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds)
03:31:35	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
03:31:38	Lord_of_Life_	is now known as Lord_of_Life
03:33:28	×	ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
03:35:08	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
03:37:19	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
03:37:21	→	MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
03:41:42	×	boxscape quits (~boxscape@user/boxscape) (Ping timeout: 264 seconds)
03:44:17	→	mpt joins (~tom@2a02:908:1862:49e0::5)
03:47:06	→	lavaman joins (~lavaman@98.38.249.169)
03:51:20	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
03:51:36	×	nerdypepper quits (znc@user/nerdypepper) (Quit: bye)
03:52:26	×	mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 252 seconds)
03:53:42	×	rk04 quits (~rk04@user/rajk) (Ping timeout: 264 seconds)
04:00:01	×	jolly quits (~jolly@208.180.97.158) (Quit: Connection closed)
04:00:09	→	chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295)
04:07:46	×	seeg quits (~seeg@2a05:f480:1400:311:5400:1ff:feff:256) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
04:07:46	seeg0	is now known as seeg
04:08:17	→	systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
04:09:08	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
04:09:24	×	ikex quits (~ash@user/ikex) (Ping timeout: 252 seconds)
04:12:51	×	systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Client Quit)
04:13:08	→	systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
04:13:42	→	BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
04:14:08	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
04:14:14	×	systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Client Quit)
04:16:08	→	seeg_ joins (~seeg@45.76.32.162)
04:16:36	→	systemhalted joins (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
04:17:07	→	rk04 joins (~rk04@user/rajk)
04:19:49	→	sudden joins (~cat@h-98-128-128-173.A351.priv.bahnhof.se)
04:20:12	×	alx741 quits (~alx741@186.178.108.59) (Quit: alx741)
04:22:18	→	lavaman joins (~lavaman@98.38.249.169)
04:24:39	systemhalted	is now known as squeamishossifra
04:26:44	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
04:27:20	×	squeamishossifra quits (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Quit: Igloo IRC: https://iglooirc.com)
04:27:47	→	systemhalted joins (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
04:28:17	systemhalted	is now known as aqualogic
04:28:41	aqualogic	is now known as systemhalted
04:31:23	systemhalted	is now known as palakmathur
04:31:30	×	rk04 quits (~rk04@user/rajk) (Ping timeout: 264 seconds)
04:31:43	palakmathur	is now known as systemhalted
04:32:10	systemhalted	is now known as dragonslayer
04:32:25	dragonslayer	is now known as systemhalted
04:34:44	→	qbt joins (~edun@user/edun)
04:34:45	systemhalted	is now known as donandley
04:35:04	donandley	is now known as systemhalted
04:36:41	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
04:40:57	×	systemhalted quits (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection)
04:48:48	×	BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds)
04:49:31	×	pavonia quits (~user@user/siracusa) (Quit: Bye!)
04:58:06	×	awth13 quits (~user@user/awth13) (Ping timeout: 244 seconds)
05:06:03	×	peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
05:08:31	→	lavaman joins (~lavaman@98.38.249.169)
05:09:20	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
05:12:40	×	argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Remote host closed the connection)
05:13:12	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
05:14:59	×	econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
05:18:47	→	reumeth joins (~reumeth@user/reumeth)
05:19:49	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
05:23:06	×	bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds)
05:23:13	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
05:23:45	×	ozataman quits (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
05:27:04	→	Morrow_ joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
05:27:43	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
05:30:15	×	MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
05:33:37	→	wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
05:35:31	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
05:36:17	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
05:37:32	×	wei2912 quits (~wei2912@112.199.250.21) (Ping timeout: 264 seconds)
05:38:25	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
05:40:42	→	Bartosz joins (~textual@24.35.90.211)
05:43:33	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
05:43:41	×	ukari quits (~ukari@user/ukari) (Remote host closed the connection)
05:44:15	→	ukari joins (~ukari@user/ukari)
05:46:09	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
05:47:29	→	pdxleif joins (~leif@75.164.44.108)
05:47:41	→	ikex joins (~ash@user/ikex)
05:50:23	×	unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.1)
05:55:16	→	trent1 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
05:57:19	×	Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:01:41	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
06:05:00	→	awth13 joins (~user@user/awth13)
06:09:54	×	zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.)
06:19:21	→	rk04 joins (~rk04@user/rajk)
06:21:30	→	unyu joins (~pyon@user/pyon)
06:21:56	×	aerona quits (~aerona@2600:6c54:4600:f300:4447:2579:c2f7:363d) (Quit: Leaving)
06:22:08	×	slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
06:22:39	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
06:39:20	×	pdxleif quits (~leif@75.164.44.108) (Ping timeout: 264 seconds)
06:40:13	×	thyriaen quits (~thyriaen@45.178.75.13) (Quit: Leaving)
06:48:46	→	mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
06:49:32	×	Morrow_ quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
06:49:38	→	oxide joins (~lambda@user/oxide)
06:52:05	×	trent1 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 272 seconds)
06:56:25	×	rk04 quits (~rk04@user/rajk) (Quit: rk04)
06:59:02	×	awth13 quits (~user@user/awth13) (Read error: Connection reset by peer)
06:59:03	→	awth13` joins (~user@185.209.196.143)
06:59:38	×	awth13` quits (~user@185.209.196.143) (Client Quit)
07:00:02	→	awth13 joins (~user@user/awth13)
07:00:19	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds)
07:02:39	×	MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
07:05:15	×	awth13 quits (~user@user/awth13) (Ping timeout: 256 seconds)
07:07:16	→	nerdypepper joins (~nerdypepp@152.67.162.71)
07:07:44	→	MQ-17J joins (~MQ-17J@8.21.10.116)
07:10:45	×	nerdypepper quits (~nerdypepp@152.67.162.71) (Changing host)
07:10:45	→	nerdypepper joins (~nerdypepp@user/nerdypepper)
07:11:58	→	hmmmas joins (~chenqisu1@183.217.200.246)
07:19:08	→	lavaman joins (~lavaman@98.38.249.169)
07:19:41	→	wonko joins (~wjc@62.115.229.50)
07:24:13	→	zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
07:26:08	×	oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds)
07:27:15	→	awth13 joins (~user@user/awth13)
07:32:26	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
07:33:44	→	yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
07:41:10	×	Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:45:05	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 252 seconds)
07:46:07	→	MQ-17J joins (~MQ-17J@8.21.10.116)
07:47:24	×	statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
07:47:39	→	statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
07:49:15	→	kunrooted[m] joins (~kunrooted@2001:470:69fc:105::a4a)
07:49:20	→	gehmehgeh joins (~user@user/gehmehgeh)
07:49:27	→	beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
07:50:35	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
07:57:23	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 244 seconds)
07:58:20	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:59:06	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
07:59:13	×	werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
08:00:10	×	gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection)
08:00:31	kunrooted[m]	is now known as unrooted
08:00:49	→	gehmehgeh joins (~user@user/gehmehgeh)
08:00:55	×	unrooted quits (~kunrooted@2001:470:69fc:105::a4a) (Quit: Reconnecting)
08:01:10	→	unrooted joins (~unrooted@2001:470:69fc:105::a4a)
08:08:58	→	helby joins (~x@alpine/moderator/helby)
08:12:35	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
08:16:38	→	schuelermine joins (~anselmsch@user/schuelermine)
08:17:13	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
08:18:14	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
08:22:53	←	helby parts (~x@alpine/moderator/helby) ()
08:30:11	×	reumeth quits (~reumeth@user/reumeth) (Ping timeout: 252 seconds)
08:31:36	→	_ht joins (~quassel@82-169-194-8.biz.kpn.net)
08:37:31	×	tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:38:10	×	chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
08:38:14	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
08:38:35	→	awschnap joins (~lavaman@98.38.249.169)
08:38:39	×	awschnap quits (~lavaman@98.38.249.169) (Remote host closed the connection)
08:41:27	→	chexum joins (~chexum@gateway/tor-sasl/chexum)
08:47:59	→	yangby joins (~secret@115.199.110.48)
08:49:29	×	yangby quits (~secret@115.199.110.48) (Client Quit)
08:50:07	→	neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
08:53:27	→	fendor_ joins (~fendor@91.141.0.106.wireless.dyn.drei.com)
08:56:13	<siers>	should derive-storable hackage package work?
08:56:39	×	fendor quits (~fendor@91.141.3.58.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
08:57:18	→	nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
08:57:24	×	hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.)
08:57:36	→	yangby joins (~secret@115.199.110.48)
08:59:19	<c_wraith>	looks like it was updated around the time of the last GHC release, so... probably?
09:03:08	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
09:03:32	×	amk quits (~amk@176.61.106.150) (Remote host closed the connection)
09:03:34	×	yangby quits (~secret@115.199.110.48) (Quit: Go out for a walk and buy a drink.)
09:04:49	→	yangby joins (~secret@115.199.110.48)
09:06:34	×	yangby quits (~secret@115.199.110.48) (Client Quit)
09:07:53	→	yangby joins (~secret@115.199.110.48)
09:10:48	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
09:11:51	<nilof>	Hey, so I'm wondering, is there a functional priority queue that becomes as efficient as a list when the input is sorted?
09:14:16	×	wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
09:14:22	<nilof>	alternatively I'm actually interested in a priority queue that can be merged efficiently with an already sorted lazy list
09:14:26	×	bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Quit: Reconnecting)
09:14:43	→	bb010g joins (~bb010gmat@2001:470:69fc:105::9a5)
09:14:51	<nilof>	without materializing the list
09:16:17	→	jakalx joins (~jakalx@base.jakalx.net)
09:17:23	<Rembane_>	nilof: Maybe I'm a bit too tired here, so I don't understand the problem properly, but how do you use your list?
09:18:19	<nilof>	It's to implement an rKanren like DSL
09:18:46	<nilof>	where I want to replace breadth first search with a priority queue
09:18:58	<nilof>	so it can do Djkstra or A*
09:20:14	×	yangby quits (~secret@115.199.110.48) (Quit: Go out for a walk and buy a drink.)
09:21:03	<Rembane_>	nilof: Got it. If your input is always sorted, you can use a list instead, but otherwise there are quite some packages and other resources: https://stackoverflow.com/questions/6976559/comparison-of-priority-queue-implementations-in-haskell
09:22:27	<nilof>	right, the thing I was wondering is if there is something more efficient for merging them lazily, the most basic strategy is to have a binary tree with lists as the leafs
09:23:09	×	wonko quits (~wjc@62.115.229.50) (Ping timeout: 244 seconds)
09:24:10	<c_wraith>	yes, there are more efficient things.
09:24:26	<c_wraith>	you can build a priority queue that looks only at the heads of lists
09:24:54	<c_wraith>	amusingly, discussion of one of the few examples I've seen of that came up on r/haskell today
09:26:14	→	Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
09:26:32	<c_wraith>	https://www.cs.hmc.edu/%7Eoneill/papers/Sieve-JFP.pdf builds such a priority queue as an incidental thing. (it's a bit broken and only works right for that particular use case...)
09:27:42	→	wonko joins (~wjc@62.115.229.50)
09:32:53	×	wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds)
09:33:31	→	leah2 joins (~leah@vuxu.org)
09:37:16	→	da39a3ee5e6b4b0d joins (~textual@67.23.55.162)
09:39:14	→	lavaman joins (~lavaman@98.38.249.169)
09:44:09	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
09:44:24	×	_ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
09:44:37	×	Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
09:45:03	→	_ht joins (~quassel@82-169-194-8.biz.kpn.net)
09:45:26	<vaibhavsagar[m]>	hi, I'm trying to build an application with profiling by editing `cabal.project.local` as indicated here (https://cabal.readthedocs.io/en/3.4/nix-local-build.html?highlight=profiling#how-can-i-profile-my-library-application) but it's giving me errors about `base`? "Perhaps you haven't installed the "p_dyn" libraries for package ‘base-4.14.1.0’?"
09:46:17	<vaibhavsagar[m]>	how do I install these?
09:47:43	→	amk joins (~amk@176.61.106.150)
09:48:41	→	wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
09:48:50	→	Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
09:50:15	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
09:51:24	<c_wraith>	they should come with ghc
09:52:36	→	reumeth joins (~reumeth@user/reumeth)
09:52:48	<vaibhavsagar[m]>	hmm, I'm using a GHC provided by Nixpkgs, maybe that's the issue?
09:53:19	<c_wraith>	yeah, it probably removed them to reduce the download size. no idea how to tell it to include them
09:53:34	<vaibhavsagar[m]>	Is there a way to get a GHC with profiling libraries from Nixpkgs?
09:53:40	<c_wraith>	Not a Nix user, so I can't help much there.
09:56:39	→	jakalx joins (~jakalx@base.jakalx.net)
09:57:18	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) (Remote host closed the connection)
09:57:58	<guest61>	I'm running ghc on arm64, could I use cable to install libraries?
10:02:47	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
10:03:09	→	ubert joins (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de)
10:09:57	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
10:12:06	<gentauro>	would it be possible to get a `Haskell` `annotate` + `freeze` just like what exists for `Dhall`? https://docs.dhall-lang.org/discussions/Safety-guarantees.html#code-injection
10:12:29	×	zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
10:14:10	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
10:14:50	→	lavaman joins (~lavaman@98.38.249.169)
10:17:31	×	jespada quits (~jespada@90.254.242.55) (Ping timeout: 265 seconds)
10:18:57	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
10:19:20	<merijn>	Define "possible" :p
10:19:25	→	jespada joins (~jespada@90.254.242.55)
10:19:37	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
10:19:42	<merijn>	given sufficient manpower/money and stubbornness very few things are impossible :p
10:22:55	×	doublex_ quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Read error: Connection reset by peer)
10:23:19	→	doublex_ joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
10:23:30	×	mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
10:24:54	×	benin03 quits (~benin@183.82.205.218) (Ping timeout: 264 seconds)
10:25:01	→	mc47 joins (~mc47@xmonad/TheMC47)
10:25:04	→	mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
10:25:54	→	oxide joins (~lambda@user/oxide)
10:27:21	→	leif joins (uid501722@id-501722.stonehaven.irccloud.com)
10:30:55	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
10:31:55	→	benin03 joins (~benin@183.82.205.218)
10:33:22	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
10:35:00	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:35:54	xff0x_	is now known as xff0x
10:37:12	×	beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds)
10:39:22	→	Feuermagier joins (~Feuermagi@user/feuermagier)
10:40:05	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
10:40:05	×	oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds)
10:46:30	×	mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 264 seconds)
10:48:07	×	nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: No route to host)
10:48:22	→	dunkeln joins (~dunkeln@94.129.65.28)
10:48:25	→	nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
10:51:06	→	peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
10:53:18	×	zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
10:54:39	→	zaquest joins (~notzaques@5.128.210.178)
10:58:59	→	Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:6149:a9e8:86ec:e649)
10:59:58	→	edwtjo joins (~edwtjo@user/edwtjo)
11:10:02	→	lavaman joins (~lavaman@98.38.249.169)
11:13:15	→	Guest9 joins (~Guest9@43.250.157.5)
11:15:54	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
11:16:28	→	oxide joins (~lambda@user/oxide)
11:19:11	×	wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
11:22:10	→	bfrk joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
11:26:15	×	bfrk quits (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Quit: bfrk)
11:27:10	→	pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
11:30:23	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
11:33:18	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 256 seconds)
11:40:04	→	zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
11:40:06	→	mpt joins (~tom@2a02:908:1862:49e0::5)
11:40:23	<DigitalKiwi>	just redefine the words
11:43:16	→	dunkeln joins (~dunkeln@94.129.65.28)
11:44:38	×	oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds)
11:44:57	→	pottsy joins (~pottsy@2400:4050:b560:3700:1def:faee:e2d6:f91c)
11:47:06	→	kuribas joins (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be)
11:50:57	<siers>	how can I make [(a, b)] from the Storable.Vector a and Storable.Vector b?
11:51:42	→	bfrk_ joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
11:51:53	<siers>	I could toList . zipWith, but then I'd have to have a storable instance for (a, b)
11:52:46	<siers>	ah V.toList twice and then zip... I am slow
11:53:52	×	bfrk_ quits (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Client Quit)
11:53:54	→	oxide joins (~lambda@user/oxide)
11:59:43	×	neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
11:59:54	→	zebrag joins (~chris@user/zebrag)
12:02:24	×	azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
12:06:04	<merijn>	siers: Well, that was only 2 minutes to realise, could be worse :p
12:06:45	×	kumo quits (~kumo@139.180.144.166) (Quit: WeeChat 2.9)
12:07:59	→	bfrk joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
12:09:45	→	azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
12:15:17	→	phadej joins (phadej@kapsi.fi)
12:15:28	←	phadej parts (phadej@kapsi.fi) ()
12:18:33	<kuribas>	Is there a way to set a field using GHC.Records?
12:18:48	<kuribas>	https://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Records.html
12:21:05	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
12:21:22	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
12:21:43	→	zebrag joins (~chris@user/zebrag)
12:22:54	<gentauro>	merijn: like in easy to implement xD
12:23:43	<gentauro>	but I guess it involves that a compiler can `reduce` to a (normal)form deterministically as Dhall can do
12:24:01	<gentauro>	but since Haskell isn't total
12:24:12	<gentauro>	it might not be possible right?
12:30:13	×	mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
12:30:50	→	mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
12:34:11	<merijn>	Correct
12:34:24	→	killsushi joins (~killsushi@user/killsushi)
12:36:31	→	berberman_ joins (~berberman@user/berberman)
12:36:38	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
12:37:41	×	berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds)
12:41:03	×	MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge)
12:41:06	→	sekun joins (~sekun@180.190.221.56)
12:41:06	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
12:41:41	→	MidAutumnMoon joins (~MidAutumn@user/midautumnmoon)
12:45:14	→	tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
12:45:34	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
12:45:49	×	mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 256 seconds)
12:46:52	×	leif quits (uid501722@id-501722.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
12:51:00	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:52:27	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
12:52:44	→	Deide joins (~Deide@wire.desu.ga)
12:52:44	×	Deide quits (~Deide@wire.desu.ga) (Changing host)
12:52:44	→	Deide joins (~Deide@user/deide)
12:52:55	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
12:53:45	→	derelict joins (~derelict@user/derelict)
12:53:57	→	dhil joins (~dhil@195.213.192.47)
12:54:42	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
12:54:45	→	pavonia joins (~user@user/siracusa)
12:59:13	×	dhil quits (~dhil@195.213.192.47) (Ping timeout: 272 seconds)
13:00:08	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
13:00:33	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
13:01:01	→	jaevanko joins (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
13:01:15	→	alx741 joins (~alx741@186.178.108.59)
13:04:31	→	lbseale joins (~lbseale@user/ep1ctetus)
13:08:43	→	doublex__ joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
13:08:44	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
13:10:04	<maerwald>	I just wanted to build www.haskell.org and now I'm waiting for nix to download 1k packages
13:10:37	→	fizbin_ joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
13:11:03	→	benin037 joins (~benin@183.82.205.218)
13:11:18	→	da39a3ee_ joins (~textual@67.23.55.162)
13:11:27	→	awth13` joins (~user@185.209.196.143)
13:12:19	→	raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
13:12:20	×	ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
13:12:52	→	octocelly joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
13:13:02	×	octocelly quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
13:13:02	→	mikoto-c1 joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
13:13:18	→	MidAutumnMoon7 joins (~MidAutumn@user/midautumnmoon)
13:13:27	<maerwald>	and now I get https://i.imgur.com/BNJIzWc.png lol
13:13:47	<maerwald>	every time I interact with nix, I regret it
13:14:18	→	dhil joins (~dhil@80.208.56.181)
13:15:22	→	octocelly joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
13:15:45	<hpc>	use deb packages, get your regret out of the way up front :D
13:15:49	×	octocelly quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
13:16:05	×	adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
13:16:19	→	adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
13:16:35	×	hrdl quits (~hrdl@mail.hrdl.eu) (Remote host closed the connection)
13:18:14	×	alx741 quits (~alx741@186.178.108.59) (.net .split)
13:18:14	×	jaevanko quits (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (.net .split)
13:18:14	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (.net .split)
13:18:14	×	derelict quits (~derelict@user/derelict) (.net .split)
13:18:14	×	MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (.net .split)
13:18:14	×	mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (.net .split)
13:18:14	×	kuribas quits (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) (.net .split)
13:18:14	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (.net .split)
13:18:14	×	edwtjo quits (~edwtjo@user/edwtjo) (.net .split)
13:18:14	×	Feuermagier quits (~Feuermagi@user/feuermagier) (.net .split)
13:18:14	×	benin03 quits (~benin@183.82.205.218) (.net .split)
13:18:14	×	doublex_ quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (.net .split)
13:18:14	×	da39a3ee5e6b4b0d quits (~textual@67.23.55.162) (.net .split)
13:18:14	×	leah2 quits (~leah@vuxu.org) (.net .split)
13:18:14	×	Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (.net .split)
13:18:14	×	bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (.net .split)
13:18:14	×	yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (.net .split)
13:18:14	×	awth13 quits (~user@user/awth13) (.net .split)
13:18:14	benin037	is now known as benin03
13:18:15	MidAutumnMoon7	is now known as MidAutumnMoon
13:20:19	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
13:21:21	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:21:51	×	fizbin_ quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 244 seconds)
13:22:53	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
13:25:32	→	leah2 joins (~leah@vuxu.org)
13:25:45	→	alx741 joins (~alx741@186.178.108.59)
13:26:05	→	hrdl joins (~hrdl@mail.hrdl.eu)
13:26:15	→	bontaq joins (~user@ool-18e47f8d.dyn.optonline.net)
13:26:24	→	edwtjo joins (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
13:26:24	×	edwtjo quits (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
13:26:24	→	edwtjo joins (~edwtjo@user/edwtjo)
13:26:38	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
13:26:51	→	Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
13:27:16	→	derelict joins (~derelict@user/derelict)
13:27:35	→	geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
13:28:04	→	dunkeln joins (~dunkeln@94.129.65.28)
13:28:30	×	Guest9 quits (~Guest9@43.250.157.5) (Ping timeout: 264 seconds)
13:36:59	→	kuribas joins (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be)
13:37:04	→	Feuermagier joins (~Feuermagi@user/feuermagier)
13:39:41	→	bb010g joins (~bb010gmat@2001:470:69fc:105::9a5)
13:40:35	<nilof>	c_wraith : huh that is a really cool use of a priority queue, I had missed that
13:41:29	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds)
13:41:56	<nilof>	Oh yeah btw, are any of the tree-based priority queues stable?
13:42:20	<nilof>	i.e. if they act as a queue when everything you insert has the same priority
13:44:09	→	jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
13:44:19	→	da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:2955:f1c5:68ee:212f:e12f)
13:44:23	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:45:21	×	da39a3ee_ quits (~textual@67.23.55.162) (Ping timeout: 265 seconds)
13:45:37	<nilof>	not necessarily that heapsorting with it becomes a stable sort, though that is technically nice too
13:46:44	<nilof>	That's trivially doable with sorted RRB-vectors or finger trees ofc
13:50:20	→	gehmehgeh_ joins (~user@user/gehmehgeh)
13:51:07	×	gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds)
13:51:18	×	oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds)
13:51:29	→	amahl joins (~amahl@87-95-128-122.bb.dnainternet.fi)
13:51:33	→	teaSlurper joins (~chris@81.96.113.213)
13:51:51	×	schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.1)
13:52:33	×	jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
13:54:08	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
13:55:57	×	ubert quits (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
13:57:06	→	oxide joins (~lambda@user/oxide)
13:57:34	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:57:42	×	stefan-_ quits (~cri@42dots.de) (Ping timeout: 244 seconds)
13:58:30	×	jespada quits (~jespada@90.254.242.55) (Ping timeout: 264 seconds)
13:59:39	→	jespada joins (~jespada@90.254.242.55)
14:01:58	→	stefan-_ joins (~cri@42dots.de)
14:11:04	×	teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
14:15:55	→	teaSlurper joins (~chris@81.96.113.213)
14:17:33	→	dunkeln joins (~dunkeln@94.129.65.28)
14:18:03	→	shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
14:19:28	→	polux0 joins (~polux@51.15.169.172)
14:19:55	×	shailangsa quits (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Ping timeout: 252 seconds)
14:20:27	×	teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds)
14:20:35	<DigitalKiwi>	parse sea or par seck
14:20:36	→	connrs_ joins (~connrs@user/connrs)
14:21:01	×	connrs quits (~connrs@user/connrs) (Ping timeout: 252 seconds)
14:21:01	connrs_	is now known as connrs
14:21:16	<DigitalKiwi>	pairseq
14:21:23	<DigitalKiwi>	pear
14:21:33	×	oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds)
14:21:34	×	polux quits (~polux@51.15.169.172) (Ping timeout: 252 seconds)
14:21:34	polux0	is now known as polux
14:22:06	×	pe200012_ quits (~pe200012@120.236.161.38) (Ping timeout: 252 seconds)
14:22:16	×	reumeth quits (~reumeth@user/reumeth) (Remote host closed the connection)
14:22:18	→	pe200012_ joins (~pe200012@183.63.73.36)
14:22:34	→	ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
14:23:12	×	Square quits (~a@178.62.91.8) (Ping timeout: 252 seconds)
14:23:21	→	oxide joins (~lambda@user/oxide)
14:25:45	→	slowButPresent joins (~slowButPr@user/slowbutpresent)
14:26:45	×	peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 264 seconds)
14:27:24	→	Square joins (~a@178.62.91.8)
14:30:03	×	xff0x quits (~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab) (Ping timeout: 244 seconds)
14:30:23	mniip_	is now known as mniip
14:31:01	→	xff0x joins (~xff0x@2001:1a81:5382:9400:396b:8b84:7b33:5a72)
14:31:27	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
14:31:43	×	zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
14:35:29	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
14:36:56	×	zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
14:37:29	→	aerona joins (~aerona@2600:6c54:4600:f300:6de7:8f27:ad87:4107)
14:38:03	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
14:38:06	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
14:38:40	→	peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
14:38:41	→	teaSlurper joins (~chris@81.96.113.213)
14:41:19	→	dunkeln joins (~dunkeln@94.129.65.28)
14:42:39	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 272 seconds)
14:42:41	→	Henson joins (~kvirc@23-233-1-122.cpe.pppoe.ca)
14:42:44	→	zebrag joins (~chris@user/zebrag)
14:44:00	←	jakalx parts (~jakalx@base.jakalx.net) ()
14:44:45	×	oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds)
14:47:10	→	shailangsa joins (~shailangs@host86-186-177-181.range86-186.btcentralplus.com)
14:47:51	→	reumeth joins (~reumeth@user/reumeth)
14:48:38	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
14:50:28	×	pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1)
14:57:21	×	nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
14:57:57	×	zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
14:58:15	→	Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
14:58:30	×	killsushi quits (~killsushi@user/killsushi) (Ping timeout: 264 seconds)
15:00:31	<kuribas>	How do you handle conflicting fields for RecordWildCards?
15:00:40	→	oxide joins (~lambda@user/oxide)
15:02:15	<kuribas>	I have a lot of records with identical fields which I want to ignore.
15:02:52	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
15:03:04	<kuribas>	hmm, maybe using a lambda
15:04:05	<kuribas>	ok, it's ugly but it works.
15:04:28	→	Crypt9a2e joins (~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4)
15:05:00	×	Crypt9a2e quits (~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4) (Read error: Connection reset by peer)
15:05:20	→	Crypt9a2e joins (~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4)
15:05:21	→	waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
15:05:54	→	bastelfreak joins (~bastelfre@basteles-bastelknecht.bastelfreak.org)
15:05:57	<janus>	kuribas: prefix all your record fields with the name of their record. If your record is called StudentGroupBinding, it's fields could be prefixed with "sgb"
15:06:20	<kuribas>	janus: that defeats the purpose for using them in the first place.
15:07:42	<janus>	kuribas: i don't understand. the point of a record is to group a bunch of data and get one value that refers to them. if the fields have a prefix, that is still possible
15:08:33	<kuribas>	I have types with a subset of fields. With recordWildCards I can do: toSmaller :: Bigger -> Smaller; toSmaller Bigger{..} = Smaller{..}
15:08:43	<kuribas>	But it depends on them having the same name.
15:09:44	<kuribas>	it saves a lot of boilerplate code.
15:11:08	→	zebrag joins (~chris@user/zebrag)
15:11:18	<janus>	ok, i can see how it breaks that usecase. many of my records have smart constructors that i am using with applicative syntax, so i can't be doing that anyway
15:11:44	<janus>	i was told that the purescript records are much better, but i havn't tried them
15:12:22	→	lavaman joins (~lavaman@98.38.249.169)
15:12:41	<tomsmeding>	maerwald: lol
15:12:51	<maerwald>	tomsmeding: not funny
15:12:53	<tomsmeding>	and it's not even windows
15:13:21	<janus>	kuribas: another approach is to have your data type be polymorphic and have "type Bigger = Polymorphic ExtraData" and "type Smaller = Polymorphic ()". then they can have the same fields ;)
15:13:30	<maerwald>	tomsmeding: yes... I sorta had this vision... if someone married windows and unix principles, would that be nix?
15:13:43	<maerwald>	powerful and bloated all the way
15:13:46	×	hueso quits (~root@152.170.216.40) (Read error: Connection reset by peer)
15:14:03	<kuribas>	janus: yeah, but bigger is autogenerated from a SQL schema :-)
15:14:42	→	hueso joins (~root@152.170.216.40)
15:16:35	→	nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
15:17:09	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
15:20:52	<DigitalKiwi>	doesn't seem to be nix related
15:20:54	→	jakalx joins (~jakalx@base.jakalx.net)
15:21:55	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
15:23:20	<DigitalKiwi>	ls /usr/bin/
15:23:21	<DigitalKiwi>	env
15:23:46	<maerwald>	DigitalKiwi: I aborted and built it in 1/10th time with cabal
15:24:14	<DigitalKiwi>	kiwi@mvp-nixos ~ []$ welke mkdir
15:24:18	<DigitalKiwi>	/nix/store/wq2b68y4hi98zzm8p1jk7ybf23ly56m0-coreutils-8.32/bin/coreutils
15:24:33	<tomsmeding>	wtf is 'welke' and why is that dutch
15:24:52	<DigitalKiwi>	presumably it's which in dutch
15:24:55	<tomsmeding>	it is
15:25:20	<DigitalKiwi>	welke () { readlink -f "$(command -v "${1}")"}
15:25:21	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
15:26:01	<tomsmeding>	when is that different from 'which'?
15:27:04	<geekosaur>	when you start a new process to see it, you see what the next shell to open would see, not what your current shell sees
15:27:19	<geekosaur>	this is why posix specifies "type" as a shell built-in
15:27:19	×	zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
15:27:23	<DigitalKiwi>	kiwi@mvp-nixos ~ []$ which mkdir
15:27:25	<DigitalKiwi>	/run/current-system/sw/bin/mkdir
15:27:30	→	yoctocell_ joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
15:28:25	×	yoctocell_ quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Client Quit)
15:28:33	×	haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds)
15:28:56	→	yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
15:29:05	<DigitalKiwi>	https://mostlyabsurd.com/files/2021-06-12-152839_2202x1023_scrot.png
15:30:06	<DigitalKiwi>	the next message from them was a gist to welke lol
15:30:22	→	wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
15:30:41	<DigitalKiwi>	any more questions
15:30:48	→	fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
15:33:05	→	dunkeln joins (~dunkeln@94.129.65.28)
15:33:21	→	sedeki joins (~textual@user/sedeki)
15:34:23	<DigitalKiwi>	anyway i think maerwald is probably having PATH issues since...it's not actually using nix
15:34:47	→	zebrag joins (~chris@user/zebrag)
15:35:31	→	zmt00 joins (~zmt00@user/zmt00)
15:37:32	×	sedeki quits (~textual@user/sedeki) (Client Quit)
15:39:15	×	da39a3ee5e6b4b0d quits (~textual@2403:6200:8876:2955:f1c5:68ee:212f:e12f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:39:24	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
15:40:24	<maerwald>	well, nix is in PATH
15:40:33	<maerwald>	The rest is up to nix, not me
15:40:34	→	jakalx joins (~jakalx@base.jakalx.net)
15:40:51	<DigitalKiwi>	https://www.youtube.com/watch?v=0XH3oMNKApI this is really about nix
15:41:06	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
15:45:11	<DigitalKiwi>	i don't know who's responsibility it is to make the PATH right
15:46:15	<tomsmeding>	geekosaur: and... how is that different exactly? it's not like a new process would suddenly get a different environment than the current process magically
15:46:39	<DigitalKiwi>	you very clearly do not want it to work though and i don't know enough to help nor do you want helped so shrug
15:47:22	<geekosaur>	tomsmeding, PATH doesn't have to be exported from a shell to be used, plus there's caching of seen commands so changes aren't necessarily visible immediately
15:47:49	<tomsmeding>	geekosaur: ah right
15:47:53	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds)
15:48:07	<tomsmeding>	having an unexported modified PATH sounds like a recipe for trouble though
15:48:08	<DigitalKiwi>	i can nixos-rebuild switch and that /run/current-system/sw/bin/mkdir will no longer point to /nix/store/wq2b68y4hi98zzm8p1jk7ybf23ly56m0-coreutils-8.32/bin/coreutils
15:48:38	×	lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
15:48:45	<DigitalKiwi>	or even just nix-shell nix-env etc...
15:53:19	×	fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
15:53:48	<geekosaur>	tomsmeding, in general it is. csh auto-exported changes to $path for that reason, and you can still set that behavior in zsh iirc
15:53:55	<DigitalKiwi>	kiwi@mvp-nixos ~ []$ echo $NIX_PATH
15:54:00	<DigitalKiwi>	/home/kiwi/.nix-defexpr/channels:nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos:nixos-config=/etc/nixos/configuration.nix:/nix/var/nix/profiles/per-user/root/channelskiwi@mvp-nixos ~ []$ echo $PATH/home/kiwi/bin:/run/wrappers/bin:/home/kiwi/.nix-profile/bin:/etc/profiles/per-user/kiwi/bin:/nix/var/nix/profiles/default/bin:/run/current-system/sw/bin
15:57:06	<tomsmeding>	geekosaur: if a shell variable is already set to exported, then the variable isn't any different from the exported one, right?
15:57:24	<tomsmeding>	so "auto-exporting changes to $path" sounds like a redundant statement to me assuming that PATH is exported anyway
15:57:39	<geekosaur>	correct, but shell variables don't inherit that from being imported
15:57:47	<geekosaur>	which is weird and counterintuitive
15:58:18	→	ubert joins (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de)
15:58:24	<geekosaur>	so while a shell's $PATH comes in from the environment, it is not marked as exported; the shell has to do an explicit `export PATH` for its changes to get exported
15:59:20	<tomsmeding>	...no? $ bash -c 'echo $PATH' ; PATH="abc:$PATH" ; bash -c 'echo $PATH'
15:59:34	<tomsmeding>	the second time it shows an abc-prefixed path for me
16:00:14	<geekosaur>	are you sure something didn't do an export earlier, maybe in your dotfiles?
16:00:19	<tomsmeding>	but perhaps this is shell-dependent (this example is in bash)
16:00:25	<geekosaur>	it doesn't have to be repeated on every change.
16:00:26	<tomsmeding>	oh right
16:00:33	<tomsmeding>	oh that's dumb
16:00:37	<geekosaur>	yeh
16:00:46	<geekosaur>	weird and nonintuitive, like I said
16:01:25	<geekosaur>	and rather than fix it, POSIX specified ways to see what's really going on
16:02:12	→	lavaman joins (~lavaman@98.38.249.169)
16:02:26	<DigitalKiwi>	isn't *nix great
16:03:05	<tomsmeding>	luckily posix doesn't match *nix :)
16:03:41	<DigitalKiwi>	isn't *ix great
16:04:02	<tomsmeding>	geekosaur: can't reproduce with 'bash --norc --verbose'
16:04:16	<tomsmeding>	not sure if that's sufficient to make it not read any config files ever
16:04:16	<geekosaur>	interesting. so maybe bash did fix it.
16:04:27	<geekosaur>	I think I said earlier that zsh did
16:04:32	<tomsmeding>	("can't reproduce" as in my above example behaves the same)
16:04:36	<geekosaur>	for csh emulation at least
16:06:46	→	haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt)
16:10:10	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:10:23	→	ozataman joins (~ozataman@71.190.112.58)
16:13:11	×	jess quits (~jess@libera/staff/jess) ()
16:13:13	→	Bartosz joins (~textual@24.35.90.211)
16:19:14	<Clint>	tomsmeding: do you have "export PATH" in /etc/profile?
16:19:29	<tomsmeding>	Clint: yes
16:19:55	<tomsmeding>	I was hoping --norc would stop it from reading any of that but I already feared that wouldn't work
16:20:03	→	benin036 joins (~benin@183.82.205.218)
16:20:04	<geekosaur>	bu tthat should only be read by login shells (bash -l)
16:20:31	×	benin036 quits (~benin@183.82.205.218) (Client Quit)
16:20:32	<tomsmeding>	also I ran 'bash --norc --verbose' which I think prints out all that it executes, and it didn't show anything on startup
16:21:11	×	benin03 quits (~benin@183.82.205.218) (Ping timeout: 268 seconds)
16:22:48	<Clint>	iirc, zsh at least autoexports almost any parameter it imports
16:22:51	<Clint>	maybe bash does the same thing
16:23:13	<geekosaur>	yeh, I commented on zsh already
16:23:34	<tomsmeding>	I'm kind of hoping I never have to deal with this as an issue since I can't manage to reproduce it now :p
16:23:54	<geekosaur>	hope you don't. it's nothing but confusion
16:26:44	→	MQ-17J joins (~MQ-17J@8.21.10.116)
16:32:41	→	jaevanko joins (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
16:34:22	×	zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
16:37:09	×	ubert quits (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
16:39:02	→	zebrag joins (~chris@user/zebrag)
16:39:34	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
16:43:48	→	dunkeln joins (~dunkeln@94.129.65.28)
16:44:06	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
16:44:37	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
16:46:07	×	qbt quits (~edun@user/edun) (Quit: Leaving)
16:47:11	→	killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11)
16:47:11	×	killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Changing host)
16:47:11	→	killsushi joins (~killsushi@user/killsushi)
16:49:33	×	haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds)
16:50:38	×	slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
16:50:46	→	rk04 joins (~rk04@user/rajk)
16:51:52	←	jakalx parts (~jakalx@base.jakalx.net) ()
16:53:53	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:54:19	→	sedeki joins (~textual@user/sedeki)
16:55:32	→	econo joins (uid147250@user/econo)
16:58:20	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
16:58:40	<dminuoso>	Im trying to write a client library against an external API with servant. Part of the API will return URLs inside JSON against the same API, as a way to reference related resources. Does someone know of an existing way of creating a servant ClientM against a particular URL from an API endpoint?
16:59:47	<dminuoso>	Some kind of `urlA :: BaseUrl -> Either Text (ClientM A); urlB :: BaseUrl -> Either Text (ClientM B); urlA :<\|> urlB = urlClient`
17:00:12	<dminuoso>	Naively it seems I should be able to write it myself, but perhaps someone else has stepped over this before.
17:00:28	×	sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
17:00:33	×	pottsy quits (~pottsy@2400:4050:b560:3700:1def:faee:e2d6:f91c) (Ping timeout: 255 seconds)
17:02:09	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
17:03:19	→	tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
17:03:48	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
17:05:00	×	Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:07:33	×	rk04 quits (~rk04@user/rajk) (Ping timeout: 264 seconds)
17:09:19	×	waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
17:10:11	×	derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.1)
17:10:26	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
17:11:45	→	Sgeo joins (~Sgeo@user/sgeo)
17:12:33	×	alx741 quits (~alx741@186.178.108.59) (Ping timeout: 272 seconds)
17:15:26	×	xff0x quits (~xff0x@2001:1a81:5382:9400:396b:8b84:7b33:5a72) (Ping timeout: 252 seconds)
17:16:11	→	derelict joins (~derelict@user/derelict)
17:16:11	→	xff0x joins (~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674)
17:17:55	×	dhil quits (~dhil@80.208.56.181) (Ping timeout: 268 seconds)
17:18:19	→	rk04 joins (~rk04@user/rajk)
17:18:37	→	renzhi joins (~xp@modemcable070.17-177-173.mc.videotron.ca)
17:18:48	×	Jinchu quits (~Jinchu@84-253-239-63.bb.dnainternet.fi) (Remote host closed the connection)
17:23:51	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:24:05	×	rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds)
17:25:05	×	killsushi quits (~killsushi@user/killsushi) (Quit: Leaving)
17:25:09	→	alx741 joins (~alx741@181.196.69.243)
17:25:10	→	dunkeln joins (~dunkeln@94.129.65.28)
17:27:01	×	wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:28:29	→	killsushi joins (~killsushi@user/killsushi)
17:29:55	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
17:32:25	→	Erutuon joins (~Erutuon@user/erutuon)
17:35:36	→	machinedgod joins (~machinedg@24.105.81.50)
17:35:54	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
17:36:23	→	Guest9 joins (~Guest9@43.250.157.5)
17:37:12	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
17:37:43	→	wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
17:38:43	→	safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru)
17:39:57	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
17:40:05	→	dunkeln joins (~dunkeln@94.129.65.28)
17:40:42	<safinaskar>	how to convert haskell code to ast? for example, to template haskell expression?
17:41:04	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
17:41:26	<safinaskar>	i tried "-ddump-parsed-ast", but output of this option is not valid haskell expression, because it contains location info
17:42:37	×	shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Read error: Connection reset by peer)
17:43:11	<Square>	safinaskar, Might be the wrong answer but what about 'reify :: Name -> Q Info'
17:43:22	→	shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
17:43:55	→	jakalx joins (~jakalx@base.jakalx.net)
17:44:25	<Square>	...doing that recursively and printing it would get you some sort of ast
17:45:18	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
17:45:54	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
17:45:58	→	Bartosz joins (~textual@24.35.90.211)
17:46:53	<pavonia>	safinaskar: Do you want some specific AST type or just anyone? Otherwise you could use the haskell-src-exts package
17:48:10	×	Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
17:48:20	<safinaskar>	Square: i want to get ast of file from disk
17:48:31	<safinaskar>	pavonia: any
17:49:32	×	betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
17:49:55	<Square>	theres "reifyModule" too. reifyModule :: Module -> Q ModuleInfo
17:50:58	→	betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
17:51:40	<safinaskar>	Square: it doesn't allow to get module's ast
17:51:54	<safinaskar>	ok, i am looking at haskell-src-exts. it seems it is what i want
17:52:16	×	machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection)
17:53:01	<dminuoso>	You probably should use ghc-lib instead of haskell-src-exts.
17:53:11	<dminuoso>	The latter is on the brink of deprecation
17:53:27	<DigitalKiwi>	depreciation
17:53:33	→	warnz joins (~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6)
17:53:48	<geekosaur>	deprecation
17:54:00	<c_wraith>	I thought there was a new parser library that is intended to be compatible with the ghc interpretation.
17:54:18	<DigitalKiwi>	no no pretty sure it's about to be worth a lot fewer
17:54:20	<geekosaur>	ghc-lib-parser, I think
17:54:24	<dminuoso>	That seems like redundant effort, seeing as ghc-lib exposes that already?
17:54:30	<c_wraith>	ah, ghc-parser
17:55:26	<c_wraith>	ghc-lib is a compatibility shim for the ghc package, and the ghc package is not really designed to be easily usable
17:55:28	<dminuoso>	ghc-lib-parser is just a tweak on ghc-lib for a particular set of users.
17:56:03	<dminuoso>	ah interesting, ghc-lib itself depends on ghc-lib-parser
17:56:22	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
17:58:11	→	machinedgod joins (~machinedg@24.105.81.50)
17:59:31	×	Crypt9a2e quits (~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4) (Remote host closed the connection)
17:59:51	→	Crypt9a2e joins (~Crypt9a2e@157.51.21.53)
18:00:19	<qrpnxz>	i'm thinking about installing stack from the shell script, but i'd like to know where it's gonna put files first to make sure it's not something disgusting
18:01:00	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
18:01:01	<c_wraith>	pretty sure it all goes into ~/.stack
18:01:02	<dminuoso>	qrpnxz: Which operating system?
18:01:26	<qrpnxz>	does it decide based on the system? I use debian
18:02:02	<dminuoso>	Well there's windows too.. :)
18:02:21	<qrpnxz>	didn't know sh script ran on windows
18:02:24	<dminuoso>	Then what c_wraith is right.
18:02:24	<c_wraith>	yeah, but the curl \| sh install doesn't work on windows
18:03:38	<dminuoso>	qrpnxz: Windows has its own shell, powershell, you have mingw, you have windows subsystem for linux with bash, zsh, etc all available...
18:03:46	<dminuoso>	Im not going to guess for you. ;-)
18:03:57	<qrpnxz>	looks like it knows about .local, i'll try to run it without root and see if it does something sane in a debian docker container
18:06:08	→	allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com)
18:06:23	×	geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
18:07:16	×	Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
18:07:24	<qrpnxz>	it tries to install smth with apt hmmmm
18:10:07	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
18:10:49	×	xff0x quits (~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674) (Ping timeout: 272 seconds)
18:11:01	→	werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
18:11:06	→	xff0x joins (~xff0x@185.65.135.235)
18:11:18	<monochrom>	Perhaps it's ensuring that libgmp-dev exists
18:11:51	→	hklhvl joins (~user@73.173.185.9)
18:11:58	<qrpnxz>	yeah i'm trying to install what it needs by hand first
18:12:00	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
18:15:54	×	johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 264 seconds)
18:15:55	<qrpnxz>	looks like it rly want to install in usr/local, how to get it to only do .local
18:16:12	<safinaskar>	haskell-src-exts works, thank you
18:16:31	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
18:17:30	<monochrom>	Since you're running the install script in docker, have you taken care to say "-u ..." to run as non-root?
18:17:37	→	jakalx joins (~jakalx@base.jakalx.net)
18:18:06	<tomsmeding>	qrpnxz: stack is just a binary, you can just download the binary itself directly and store that wherever you want; thereafter it will just use ~/.stack for the downloaded/compiled files
18:18:42	<qrpnxz>	can you configure it to not use .stack
18:23:20	<tomsmeding>	qrpnxz: see the --stack_root flag or the STACK_ROOT environment variable https://docs.haskellstack.org/en/v2.7.1/GUIDE/#setting-stack-root-location
18:23:30	<qrpnxz>	great thx
18:24:07	<safinaskar>	how you keep last message in irc channel you have read?
18:25:56	<tomsmeding>	safinaskar: that depends entirely on the client you're using
18:26:48	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
18:28:06	<safinaskar>	please, say me some client, that has such feature
18:28:57	<allbery_b>	are you asking for one that saves a backlog, or one which keeps activity from when you aren't connected?
18:29:10	allbery_b	is now known as geekosaur
18:29:10	<safinaskar>	allbery_b: no
18:29:10	<maerwald>	weechat has it all
18:29:17	<safinaskar>	geekosaur: no
18:29:36	<safinaskar>	i want to somehow mark last read message
18:29:50	<tomsmeding>	almost every client does that
18:30:00	<tomsmeding>	I'm surprised if the web client doesn't
18:30:07	<safinaskar>	it doesn't
18:30:13	tomsmeding	is surprised
18:30:15	<geekosaur>	the web client does but only until you touch the window
18:30:39	<safinaskar>	web client allows me to mark messages, but this marks are lost when i select some text using normal browser selection
18:30:58	→	abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
18:30:59	<tomsmeding>	oh you want _manual_ marking
18:31:10	<safinaskar>	yes!
18:31:28	<safinaskar>	so does any client have this feature?
18:31:32	<tomsmeding>	¯\_(ツ)_/¯
18:32:25	<tomsmeding>	there's an emacs irc plugin; if that's anything like emacs style, it probably has every feature ever
18:32:32	<tomsmeding>	but I'm not an emacs user so I wouldn't know :p
18:33:06	<geekosaur>	there's at least two emacs irc modes; erc seems to be most popular
18:34:01	→	Crypt9a2e-1 joins (~Crypt9a2e@157.51.116.113)
18:35:39	×	Crypt9a2e quits (~Crypt9a2e@157.51.21.53) (Ping timeout: 252 seconds)
18:36:59	×	ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds)
18:37:33	×	sekun quits (~sekun@180.190.221.56) (Ping timeout: 264 seconds)
18:39:30	×	xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 252 seconds)
18:41:17	→	xff0x joins (~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674)
18:41:57	→	dunkeln joins (~dunkeln@94.129.65.28)
18:42:30	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
18:44:30	<vaibhavsagar[m]>	safinaskar: I use element.io which has this feature IIUC
18:44:59	<safinaskar>	vaibhavsagar[m]: thanks, i will try
18:45:10	<dminuoso>	tomsmeding: From experience, this "has every feature ever" definitely does not apply to every emacs package out there.
18:45:39	<dminuoso>	Id argue, it only applies to a select few packages. But those tend to be the reasons why emacs is liked by its users, like magit.
18:46:04	<qrpnxz>	hmm, what do i do about "`unexpected Unknown SPDX license identifier`" from stack
18:47:07	<tomsmeding>	dminuoso: makes sense, it hardly _can_ apply to most packages by sheer lack of manpower
18:47:20	<tomsmeding>	qrpnxz: what's the value of the 'license:' key in your cabal file
18:47:32	<tomsmeding>	or, I guess, package.yaml if applicable
18:47:37	<qrpnxz>	BlueOak-1.0.0
18:47:39	×	betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
18:47:49	<qrpnxz>	a valid spdx, but stack doesn't like it, how to correct
18:49:03	<qrpnxz>	or maybe it's cabal that doesn't like it
18:49:05	→	betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
18:49:15	<qrpnxz>	but i'm doing `stack build`
18:50:46	<tomsmeding>	probably the Cabal library (which is the library behind both the cabal-install tool, called "cabal", and stack)
18:51:33	<safinaskar>	dminuoso: tomsmeding: i once got extreme example of this "has every feature". emacs has so-called "emacs undo" by default (websearch!). I tried to find some emacs package to enable normal undo. and i unable to do this. instead i found package, which provides normal undo, but also provides some additional mechanisms for traversing undo tree. so i
18:51:34	<safinaskar>	installed this package
18:52:06	×	renzhi quits (~xp@modemcable070.17-177-173.mc.videotron.ca) (Quit: WeeChat 2.3)
18:52:24	<tomsmeding>	qrpnxz: hm cabal seems fine with proper spdx expressions https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=spdx#pkg-field-license
18:53:42	<qrpnxz>	hmmm
18:54:05	<safinaskar>	syntax for license field changed between versions
18:54:06	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:54:14	<safinaskar>	it depends on value in "cabal-version" field
18:54:50	<qrpnxz>	mine says 2.2
18:54:54	<qrpnxz>	so should work ig
18:54:55	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
18:55:12	<tomsmeding>	apparently that then has the "3.0 2017-12-28" SPDX license identifier list?
18:55:21	<qrpnxz>	just noticed that, OLD BOI
18:55:36	<geekosaur>	but the license is from after 2017
18:55:41	geekosaur	just looked it up
18:55:53	<qrpnxz>	yeah, blueoak got added march 2019
18:56:08	<qrpnxz>	so it's not in cabals list
18:56:46	<qrpnxz>	ok guess i'll try to look for a way to do a non-spdx license
18:56:48	→	__monty__ joins (~toonn@user/toonn)
18:57:24	<safinaskar>	vaibhavsagar[m]: does element.io support irc?
18:57:47	<vaibhavsagar[m]>	yes, that's what I'm using right now
18:58:11	→	fizbin joins (~fizbin@73.112.85.251)
18:58:51	<qrpnxz>	aren't you talking through a bridge, that's not the same as element supporting irc
18:59:20	→	dunkeln joins (~dunkeln@94.129.65.28)
18:59:32	<vaibhavsagar[m]>	I'm not sure I understand the difference
19:00:38	→	lavaman joins (~lavaman@98.38.249.169)
19:00:57	<qrpnxz>	the former is a element being a matrix client talking to a program using the matrix protocol that then talks to IRC land, the latter is element also being an irc client and talking to libera using the irc protocol
19:01:20	<safinaskar>	qrpnxz: "tries to install smth with apt hmmmm" - you may try ghcup instead of stack, it doesn't call apt
19:01:35	<qrpnxz>	bruh, stack is so slow my god
19:01:52	<qrpnxz>	safinaskar, i just put the binary in my .local, no script required
19:02:25	×	fizbin quits (~fizbin@73.112.85.251) (Ping timeout: 245 seconds)
19:03:06	<qrpnxz>	lmao wtf, this is the executable `.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.2.1.0/build/test-exe/test-exe`
19:03:17	<tomsmeding>	qrpnxz: welcome to haskell build tools
19:03:39	×	awth13` quits (~user@185.209.196.143) (Quit: ERC (IRC client for Emacs 27.2))
19:03:43	→	pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
19:03:47	<vaibhavsagar[m]>	I think it's accurate to say that matrix supports IRC https://matrix.org/docs/projects/bridge/matrix-org-irc-bridge
19:03:47	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:03:52	<qrpnxz>	i mean it's kind of par for the course, only language that does it nicely is Go afaict
19:04:07	<vaibhavsagar[m]>	but if you want to be pedantic about it, sure
19:04:10	→	awth13 joins (~user@user/awth13)
19:04:14	<qrpnxz>	that's a bridge, like i described
19:04:14	<tomsmeding>	qrpnxz: the go compiler is very fast, but then GHC does a _lot_ more than go
19:04:38	<qrpnxz>	tru, though in terms of speed, i think the major hold up was stack not ghc, hard to tell tho
19:04:55	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
19:05:23	<tomsmeding>	once it's actually compiling the modules (the [1 of 10] lines), that's ghc
19:05:43	<maerwald>	ghc isn't a fast compiler like go
19:06:22	<qrpnxz>	there may have been a network bottleneck as well, gonna try not to judge stack too hard just yet. Maybe when i pull yesod that'll be a true test of stack
19:07:10	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
19:07:10	→	guest20210612 joins (~user@109.252.90.89)
19:07:20	<maerwald>	stack is very inefficient when it comes to cloning repos
19:07:36	←	guest20210612 parts (~user@109.252.90.89) ()
19:07:36	→	pdxleif joins (~leif@75.164.44.108)
19:07:43	<maerwald>	https://imgur.com/BNJIzWc.png
19:07:48	<maerwald>	oops
19:07:52	<maerwald>	my clipboard is broken
19:07:57	<maerwald>	https://github.com/commercialhaskell/stack/issues/5411
19:07:57	<qrpnxz>	jesus lol
19:07:57	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
19:07:59	<maerwald>	that one
19:08:08	<maerwald>	(this could have been worse, lol)
19:08:09	<qrpnxz>	don't you need like thousands of args for that to happen
19:08:39	×	peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
19:08:41	<qrpnxz>	> clones as many times the repository as there are subdirs
19:08:41	<qrpnxz>	rip
19:08:43	<lambdabot>	error:
19:08:43	<lambdabot>	• Variable not in scope:
19:08:43	<lambdabot>	clones
19:09:27	<qrpnxz>	maybe i should just use cabal? lol
19:09:59	<maerwald>	I'd be lying if I said "yeah, it's better in all respects", but I do prefer it
19:11:21	→	dunkeln joins (~dunkeln@94.129.65.28)
19:12:19	<safinaskar>	qrpnxz: i use cabal and everything is ok. two tips: (1) install it using ghcup (2) use v2-* commands
19:12:30	<qrpnxz>	thx for tips
19:12:45	<geekosaur>	as of cabal 3.x the v2-commands are default anyway
19:13:01	<maerwald>	I miss sandboxes
19:13:05	<geekosaur>	which can be confusing for stuff tht assumes v1-commands are still default
19:14:13	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
19:14:29	<maerwald>	I think we should just reboot cabal-install
19:15:07	<maerwald>	I feel, lately, ppl want cabal-install to compete with stack, instead of providing things stack doesn't
19:15:31	<safinaskar>	qrpnxz: look at this my dockerfile for inspiration: https://paste.debian.net/1200986/
19:17:36	<qrpnxz>	ty
19:17:40	→	jakalx joins (~jakalx@base.jakalx.net)
19:18:43	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
19:19:54	→	dunkeln joins (~dunkeln@94.129.65.28)
19:20:03	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
19:21:20	→	renzhi joins (~xp@modemcable070.17-177-173.mc.videotron.ca)
19:21:29	→	fizbin joins (~fizbin@73.112.85.251)
19:23:43	×	reumeth quits (~reumeth@user/reumeth) (Ping timeout: 268 seconds)
19:25:28	×	warnz quits (~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6) (Remote host closed the connection)
19:25:42	×	fizbin quits (~fizbin@73.112.85.251) (Ping timeout: 252 seconds)
19:28:03	<qrpnxz>	`ghcup: /home/qrpnxz/.local/bin/stack: getSymbolicLinkTarget:readSymbolicLink: invalid argument (Invalid argument)`
19:28:04	<qrpnxz>	hmm
19:28:31	<maerwald>	qrpnxz: did you enable xdg dirs?
19:28:36	<qrpnxz>	yes
19:28:37	<smitop>	is there any observable (other than through memory overusage) difference between seq and a identify function that ignores the first argument?
19:28:40	<maerwald>	qrpnxz: don't
19:28:47	<qrpnxz>	:( don't do me like this ghcup
19:28:49	<janus>	safinaskar: i always use v2 for a single project in nix-style, what does it do when invoked globally like that?
19:28:51	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
19:29:06	<maerwald>	qrpnxz: that's a conflict of binaries installed by whatnot and how ghcup handles them
19:29:16	<maerwald>	XDG support should go
19:29:16	×	bfrk quits (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
19:29:59	→	waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
19:30:15	<maerwald>	but you can also just remove the binary
19:30:25	<qrpnxz>	i just need to change where ghcup puts bins, the rest should be fine
19:30:30	<maerwald>	or that
19:30:35	×	xsperry quits (~as@user/xsperry) (Remote host closed the connection)
19:30:50	<maerwald>	that's what I don't like about config options... you can't predict how users use them
19:30:59	<qrpnxz>	but only way i see is to make an alias :/
19:31:12	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
19:31:22	<maerwald>	yeah, why not
19:31:28	<maerwald>	that's what shell is for
19:31:53	<maerwald>	if a program runs ghcup without asking you, you should be angry
19:32:10	<qrpnxz>	it'll have to be a shell script then
19:32:27	<qrpnxz>	though, who runs ghcup?
19:32:29	→	beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
19:32:36	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
19:32:37	<maerwald>	qrpnxz: I think VSCode does
19:32:41	<qrpnxz>	ic
19:32:46	<maerwald>	but they probably do their own prefix or so
19:32:50	<maerwald>	not sure
19:32:58	<qrpnxz>	will make script just to be safe
19:33:15	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
19:34:16	<safinaskar>	how to generate pictures with such comparison tables: https://www.etalabs.net/compare_libcs.html ? ideally svg
19:34:18	<maerwald>	qrpnxz: you can rename ghcup to ghcup-bin, then make ghcup a wrapper script. But then make sure you run `ghcup upgrade --inplace`, otherwise it may overwrite your wrapper
19:34:54	<qrpnxz>	indeed, thx for heads up, i'll also remove write perm just in case
19:34:57	<maerwald>	qrpnxz: or just remove write permissions
19:35:00	<maerwald>	yep
19:35:39	×	hklhvl quits (~user@73.173.185.9) (Quit: ERC (IRC client for Emacs 27.2))
19:36:45	→	Feuermagier joins (~Feuermagi@user/feuermagier)
19:36:46	<maerwald>	the readSymbolicLink bug above can be fixed, but there are more problems with XDG... e.g. when installing binaries that start with `cabal-`, such as `cabal-hie`
19:36:56	→	dunkeln joins (~dunkeln@94.129.65.28)
19:36:58	<maerwald>	so a hermetic binary dir is better
19:37:38	→	aerkenemesis joins (~aerkeneme@c83-252-164-58.bredband.tele2.se)
19:38:07	<maerwald>	I'm not sure ~/.local/bin is already in the XDG spec even
19:38:33	<maerwald>	seems it is
19:38:37	<safinaskar>	smitop: "seq undefined 0" and "(\a b -> b) undefined 0" give different results
19:38:45	<maerwald>	" User-specific executable files may be stored in $HOME/.local/bin. Distributions should ensure this directory shows up in the UNIX $PATH environment variable, at an appropriate place. "
19:38:58	<safinaskar>	smitop: websearch "haskell bottom"
19:39:05	<aerkenemesis>	I'm having some problems building my project, I'm gettning `ghc: ^^ could not load 'recursionzmschemesz.......', dependency unresolved. This only happens when I do a `nix build`, if I build "normally" using cabal new-build in my nix-shell it works
19:39:07	<smitop>	thanks!
19:39:20	<qrpnxz>	it is but cabal doesn't want to play nice with what's already there then an alternative will be needed
19:39:22	<safinaskar>	smitop: this is basic question, i recommend reading "learn you haskell for great good" first
19:39:33	→	fizbin joins (~fizbin@73.112.85.251)
19:39:36	<smitop>	yes i have already read that
19:39:43	<aerkenemesis>	I found some stuff related to profiling when googling the problem but I don't have any profiling enabled
19:39:51	<maerwald>	qrpnxz: it says may... so I guess we could adhere to XDG spec and not put binaries in ~/.local/bin?
19:40:16	<qrpnxz>	ofc you can change XDG_BIN_HOME
19:40:17	<safinaskar>	janus: "what does it do when invoked globally like that?" - it downloads packages, builds them, cache them and make them available in plain "ghc" or "ghci"
19:40:22	<qrpnxz>	.local/bin is the default
19:40:30	<maerwald>	qrpnxz: that's variable was made p by ghcup :)
19:40:34	<maerwald>	the XDG spec doesn't have it
19:40:35	<qrpnxz>	it wasn't tho
19:40:38	<qrpnxz>	it does
19:40:40	<maerwald>	no
19:40:47	<qrpnxz>	look https://theos.kyriasis.com/~kyrias/basedir-spec.html
19:41:04	<maerwald>	I'm looking at https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html
19:41:34	<maerwald>	there was a PR about it, but I don't remember the XDG_BIN_HOME or similar being accepted
19:41:39	<janus>	safinaskar: but if the project you're building is incompatible with one of those installed packages, it will be installed locally to the project and the globally installed version is ignored?
19:41:39	<qrpnxz>	mm, fair enough
19:42:11	<qrpnxz>	anyway, i'm sure it's used by other programs as well, it fits like a glove
19:42:21	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
19:42:35	<qrpnxz>	ik that .local/bin, variable or not, is def the defacto std for local bin
19:42:55	<maerwald>	qrpnxz: feel free to comment on https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/96
19:43:05	<maerwald>	I don't know what to do with XDG dirs
19:43:40	×	fizbin quits (~fizbin@73.112.85.251) (Ping timeout: 245 seconds)
19:43:44	<maerwald>	ah, here was the converstion https://gitlab.freedesktop.org/xdg/xdg-specs/-/issues/63
19:43:51	<safinaskar>	janus: i think yes
19:44:14	<safinaskar>	janus: i think this global list is ignored when i do "cabal v2-build"
19:44:16	<qrpnxz>	i mean it should probably be using $XDG_DATA_HOME/ghcup/bin not bin home
19:44:22	<qrpnxz>	that's what i'm gonna do
19:44:26	<maerwald>	qrpnxz: yeah, that's one way
19:44:35	<safinaskar>	janus: but i think cache itself is used, of course, i. e. cabal doesn't download them twice
19:44:43	<janus>	safinaskar: aaah ok so that dockerfile is explicitly for development, not for CI or something like that
19:45:33	<maerwald>	qrpnxz: it would be a breaking change though
19:45:40	<janus>	i wonder if there is a way to convert a haskell projects dependency list into something that can be used to prepare a docker image
19:45:55	<janus>	because CI builds should really be using prebaked dependencies, no?
19:46:03	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
19:46:11	<safinaskar>	janus: "is explicitly for development" - yes, it allows me to run ghci and have all this packages available in ghci
19:46:58	<maerwald>	qrpnxz: at any rate, I'll provide a fix for the bug
19:47:01	<qrpnxz>	maerwald, well the cabal ppl don't really have to change anything. I'm able to do so by just by making that script
19:47:06	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
19:47:19	<qrpnxz>	though ofc making the script is kind of annoying
19:47:46	<qrpnxz>	maybe have an ENV variable to ignore BIN_HOME and use the data dir?
19:48:04	<safinaskar>	janus: you may see ci script i use here: https://git.sr.ht/~safinaskar/check-cfg-ambiguity/tree/master/item/.build.yml
19:48:06	<qrpnxz>	that might be the best backward compatible change
19:48:20	<safinaskar>	janus: it uses sourcehut's ci (but it is similar to other CIs around)
19:48:38	<safinaskar>	janus: and the script is a bit advanced, because it uses my own manual parsing of cabal file
19:49:00	<safinaskar>	janus: you may see prev. versions of this script in git history, they are simpler
19:49:02	<janus>	oh, that was my fear :P manual parsing
19:49:15	<safinaskar>	janus: i mean shell/sed/grep parsing
19:49:36	<janus>	so not parsing, more like SATANISM :O
19:51:33	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:51:54	<safinaskar>	janus: this version https://git.sr.ht/~safinaskar/check-cfg-ambiguity/tree/c6909efcbc1139c8c09fb407144e523743e7fec3/item/.build.yml is pretty simple
19:53:12	×	Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Ping timeout: 252 seconds)
19:54:06	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:54:50	×	waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
19:55:38	×	Guest9 quits (~Guest9@43.250.157.5) (Quit: Connection closed)
19:55:54	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
19:56:26	<safinaskar>	janus: formulate concretely your question on docker images and ci. it seems i will be able to answer it. i spend a lot of time trying to create "perfect" ci script. here is my haskell-cafe question (answers/thread follow) on ci and cabal: https://mail.haskell.org/pipermail/haskell-cafe/2021-May/134014.html . here is end of thread:
19:56:27	<safinaskar>	https://mail.haskell.org/pipermail/haskell-cafe/2021-May/134030.html , i. e. solution i arrived
19:56:54	→	mastarija joins (~mastarija@31.217.22.43)
19:58:04	→	Crypt9a2e-2 joins (~Crypt9a2e@157.51.13.43)
19:58:07	<janus>	wow, great links! :D i'll dig in, thanks
19:58:49	<safinaskar>	qrpnxz: i always struggle when i see "ppl" on this channel. it seems i will need some script for autoreplacement
19:59:12	<qrpnxz>	perhaps :)
19:59:46	<safinaskar>	janus: ask your exact question here first
19:59:49	→	slack1256 joins (~slack1256@181.203.57.171)
20:00:41	<janus>	i don't really have the exact question, i am mostly just pondering how i would prepare a docker image for building if i had to. just curious
20:00:44	<safinaskar>	janus: also, sourcehut ci costs 2 usd/month, as opposed to various free CIs. still i love sourcehut
20:01:10	×	beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds)
20:01:19	→	Crypt9a2e joins (~Crypt9a2e@157.51.116.113)
20:01:20	×	Crypt9a2e-1 quits (~Crypt9a2e@157.51.116.113) (Read error: Connection reset by peer)
20:01:23	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
20:01:42	<janus>	sourcehut is great, i just started recently also. happy to pay and support it
20:01:50	<safinaskar>	janus: just put dockerfile in your source tree. and write to this dockerfile commands which will install cabal and then write command "cabal v2-build". this command will build the project with all dependencies
20:02:55	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
20:03:39	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
20:03:40	×	Crypt9a2e-2 quits (~Crypt9a2e@157.51.13.43) (Ping timeout: 245 seconds)
20:04:26	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
20:05:06	×	juhp quits (~juhp@128.106.188.66) (Ping timeout: 264 seconds)
20:05:52	→	peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
20:06:26	<aerkenemesis>	I'm getting linking errors when I use template haskell, what do I do?
20:07:30	→	Crypt9a2e-1 joins (~Crypt9a2e@157.51.13.43)
20:07:30	<aerkenemesis>	https://pastebin.com/HwekP8SD
20:07:52	×	Crypt9a2e quits (~Crypt9a2e@157.51.116.113) (Read error: Connection reset by peer)
20:07:52	→	juhp joins (~juhp@128.106.188.66)
20:08:55	×	Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
20:09:25	×	peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Client Quit)
20:09:43	→	boxscape joins (~boxscape@user/boxscape)
20:10:22	→	Techcable joins (~Techcable@168.235.93.147)
20:10:34	→	peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
20:11:43	→	fizbin joins (~fizbin@73.112.85.251)
20:11:47	<geekosaur>	looks to me like it's looking for a profiled version of the recursion-schemes dependency during TH compilation, and not finding it?
20:11:54	×	Crypt9a2e-1 quits (~Crypt9a2e@157.51.13.43) (Ping timeout: 252 seconds)
20:13:15	→	fizbin_ joins (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
20:14:06	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
20:14:18	<geekosaur>	given that nix is involved, I'd expect this to be a nix-related issue where it's only exposing the dynamic version of recursion-schemes, but a profiling one is also needed because THis being used while doing a profiling build
20:14:29	<geekosaur>	*TH is
20:14:54	×	raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
20:15:22	<aerkenemesis>	geekosaur I was trying to figure out why profiling is enabled but I can't find any traces of it
20:15:44	<aerkenemesis>	would you mind looking at the cabal file?
20:16:14	→	waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
20:16:21	×	fizbin quits (~fizbin@73.112.85.251) (Ping timeout: 272 seconds)
20:17:07	<geekosaur>	I could look but suspect it has more to do with the nix derivation, and I can't help there
20:18:02	<aerkenemesis>	https://gitlab.com/leash-lang/leash/-/blob/master/leash.cabal
20:18:36	<geekosaur>	--enable-library-profiling in the configure parameters
20:18:45	<aerkenemesis>	mm it's using `callCabal2Nix`, imma dive into that then maybe. But according to the ghc flags reported in the log I pasted I can't see any profiling
20:19:05	<aerkenemesis>	really? how did I miss that
20:19:13	→	hexfive joins (~eric@50.35.83.177)
20:19:15	<safinaskar>	aerkenemesis: your link gives "You need to sign in or sign up before continuing."
20:19:17	×	hexfive quits (~eric@50.35.83.177) (Client Quit)
20:19:37	<aerkenemesis>	weird, I put it public
20:19:49	<safinaskar>	aerkenemesis: https://gitlab.com/leash-lang/leash/ gives same message
20:19:56	<aerkenemesis>	try again
20:19:58	→	thyriaen joins (~thyriaen@45.178.75.13)
20:20:01	<geekosaur>	worse than that, I went ahead with my google accoiunt and now have a 404 page
20:20:06	<aerkenemesis>	it had to be configured in 2 places :P
20:20:14	<safinaskar>	aerkenemesis: both links work
20:20:19	×	mastarija quits (~mastarija@31.217.22.43) (Quit: Leaving)
20:20:22	<geekosaur>	ok, shift-reload worked this time
20:20:39	<aerkenemesis>	yeah there's a bug with gitlab when you have a dash in the project name, weird that they haven't fixed that - it's been like that for years
20:21:00	←	safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) ()
20:21:11	<geekosaur>	ok, no profiling in the cabal file so it must come from the nix derivation
20:21:15	<aerkenemesis>	it`ll rewrite the url to `leash/-lang` when you hit back
20:21:45	<aerkenemesis>	right, I'll dive into how that works then. thanks a lot :)
20:22:00	×	_ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
20:24:39	→	safinaskar joins (~safinaska@109.252.90.89)
20:25:09	<DigitalKiwi>	that's horrible
20:25:14	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:25:51	<safinaskar>	aerkenemesis: is leash-lang pure functional?
20:25:53	<DigitalKiwi>	almost as bad as the time they said they'd take money from literally anyone
20:27:58	<aerkenemesis>	safinaskar yes it is
20:28:34	<safinaskar>	aerkenemesis: nobody will use it
20:28:40	<DigitalKiwi>	but that rewrite rule... awful. pure trash
20:28:48	<aerkenemesis>	safinaskar okay, thanks
20:28:59	<aerkenemesis>	encouraging
20:30:03	<maerwald>	qrpnxz: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/54e8e3efb051a2f9de805c8a6ea6ead6439a0c38
20:30:14	<safinaskar>	aerkenemesis: is leash embedded in haskell?
20:30:49	<aerkenemesis>	safinaskar what do you mean?
20:30:53	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
20:31:15	<safinaskar>	aerkenemesis: is leash simply lib for haskell or it is language on its own?
20:31:27	<aerkenemesis>	safinaskar it's a language of its own
20:31:39	<aerkenemesis>	more judgements?
20:31:41	blades_	is now known as blades
20:32:08	<safinaskar>	i see " You need to sign in or sign up before continuing." again
20:32:21	<aerkenemesis>	yeah because you were being an ass so I shut down access
20:33:05	×	kuribas quits (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
20:33:37	<safinaskar>	well, i am attempting to give advice. if you would embed language in haskell (i. e. simply create haskell lib), you will attract more user. nobody want to learn compeletely new language. there already a lot of shells
20:34:15	<aerkenemesis>	okay whatever you say man, maybe the point isn't to please you but for me to learn something
20:35:28	<safinaskar>	aerkenemesis: look at https://shakebuild.com/ . this can see an successful example of "shell" embedded in haskell
20:35:37	<safinaskar>	s/can see/can be seen/
20:35:45	×	alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 264 seconds)
20:35:56	×	chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -)
20:36:29	×	phma quits (~phma@host-67-44-208-20.hnremote.net) (Read error: Connection reset by peer)
20:36:55	<dminuoso>	aerkenemesis: This error looks suspiciously familiar.
20:37:13	<drdo>	xb
20:37:14	<drdo>	oops
20:37:17	→	phma joins (~phma@host-67-44-209-1.hnremote.net)
20:37:38	<DigitalKiwi>	safinaskar: man not every project needs to be useful to everyone
20:37:46	<aerkenemesis>	dminuoso https://github.com/input-output-hk/cardano-sl/blob/develop/docs/profiling.md
20:37:47	<DigitalKiwi>	or even anyone
20:38:04	<aerkenemesis>	that's very similar and it also mentions profiling
20:38:09	→	chexum joins (~chexum@gateway/tor-sasl/chexum)
20:38:36	<dminuoso>	aerkenemesis: Is your project available on gitlab any time soon?
20:38:45	<dminuoso>	Im tempted to reproduce this locally
20:39:03	<janus>	aerkenemesis: it is a bug in the cabal library: https://stackoverflow.com/a/67882095/309483
20:39:03	<aerkenemesis>	if you want to look at it I can open it up, I just shut it down because I got some discouraging comments about its usefulness
20:39:15	<janus>	aerkenemesis: just had that problem last week, can't believe people are not talking more about it...
20:39:34	<safinaskar>	aerkenemesis: i will not open this link anymore, feel free to open project
20:39:38	<aerkenemesis>	it's open again
20:39:47	→	alex3 joins (~alex3@BSN-77-82-41.static.siol.net)
20:39:47	<janus>	i also asked in here, and monochrom suggested that it was an old problem... then i asked that SO question
20:39:50	<aerkenemesis>	https://gitlab.com/leash-lang/leash
20:40:04	<janus>	dminuoso: my SO question has a minimal project that you can use to reproduce it
20:40:28	←	safinaskar parts (~safinaska@109.252.90.89) ()
20:40:53	<aerkenemesis>	my CI minutes were up on gitlab for a few weeks so I don't know what change I did to introduce this
20:41:26	<aerkenemesis>	I could possibly backtrack but the builds are slow and there are hundreds of commits :S
20:41:37	<exarkun>	log2 hundreds = few
20:41:59	<dminuoso>	aerkenemesis: Curious, in that shell command, what's the meaning of `.#leash`?
20:42:03	<aerkenemesis>	true, but gitlab CI minutes are pricy :D
20:42:32	<aerkenemesis>	dminuoso it means "build the flake here (.) and the package inside of it called leash"
20:42:39	<dminuoso>	Ah, flakes
20:42:44	<aerkenemesis>	<path>#<pkg>
20:42:53	<dminuoso>	Mmm, which nix version is that on?
20:43:09	<aerkenemesis>	I can give you a derivation to reproduce without flakes if you want
20:43:19	<dminuoso>	That'd be helpful
20:43:25	<aerkenemesis>	give me 5 minutes
20:43:52	<aerkenemesis>	dminuoso you on nixos-unstable?
20:43:57	<dminuoso>	I can be on anything you want
20:44:13	<aerkenemesis>	ok I'll pin to the same nixpkgs version I'm using then
20:45:27	→	wonko joins (~wjc@62.115.229.50)
20:48:52	<aerkenemesis>	dminuoso https://pastebin.com/Tv9PRDWz
20:50:03	×	notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds)
20:51:26	<dminuoso>	Okay could reproduce
20:51:41	→	dhil joins (~dhil@195.213.192.47)
20:51:58	→	raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
20:52:44	<aerkenemesis>	I tried bumping to ghc9.0 but that didn't help either
20:58:04	<dminuoso>	Let's see if this is nix related. Im going to try building it with cabal v2-
20:58:32	<dminuoso>	Yeah, builds fine outside nix
20:59:01	<dminuoso>	With ghc 8.8.4, anyhow
20:59:57	<dminuoso>	aerkenemesis: Maybe there's something awfully broken with the interaction between nix, alex and the linker.
20:59:58	<aerkenemesis>	it will also build if you nix-shell and run cabal from there
21:01:18	<aerkenemesis>	dminuoso what makes you think alex is involved in the error?L
21:02:17	→	beka joins (~beka@104-244-27-23.static.monkeybrains.net)
21:02:22	<dminuoso>	aerkenemesis: well this triggers on Leash.hs, no?
21:02:54	<dminuoso>	Ohh
21:02:58	<aerkenemesis>	I'm not seeing that
21:02:59	<dminuoso>	Im being silly, dont mind my comment
21:03:00	×	mikoto-c1 quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds)
21:03:03	<dminuoso>	It's all compiled, linker.
21:03:45	×	fizbin_ quits (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Remote host closed the connection)
21:04:02	→	fizbin joins (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
21:04:20	<aerkenemesis>	I'm having a hard time parsing out any useful info from these error messages
21:04:46	<aerkenemesis>	except it seems to have something to do with the TH usage in recursion schemes
21:04:55	<janus>	am i on you guys ignore lists or what?
21:05:36	<aerkenemesis>	janus haha nope, but I haven't seen you type anything since you mentioned SO
21:05:53	×	fizbin quits (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Remote host closed the connection)
21:06:06	<janus>	aerkenemesis: but have you considered trying out the proposal in the SO answer? to determine if it is that problem?
21:06:35	<aerkenemesis>	janus I couldn't find it and then I forgot about it, could you paste the link please?
21:06:50	<janus>	aerkenemesis: https://stackoverflow.com/a/67882095/309483
21:06:55	<aerkenemesis>	never mind, found it
21:07:02	<aerkenemesis>	ah thx
21:07:10	→	fizbin joins (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
21:08:12	<dminuoso>	janus: Mmm, the error message appears wildly different, and they already have TemplateHaskell in default-extensions
21:08:40	×	chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
21:08:54	→	chexum joins (~chexum@gateway/tor-sasl/chexum)
21:10:10	×	wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:10:15	<dminuoso>	but indeed, I could reproduce locally with cabal and --enable-library-profiling
21:10:30	<aerkenemesis>	I'm not getting `other-extensions: TemplateHaskell` to work
21:10:44	<dminuoso>	So geekosaur was completely spot on
21:10:46	→	wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
21:11:22	<dminuoso>	However, since I can reproduce this with `cabal`, this does not appear to be a nix bug
21:11:38	×	fizbin quits (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Ping timeout: 268 seconds)
21:12:15	×	waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
21:12:23	<aerkenemesis>	I don't even care about profiling at this point so for the sake of my CI I'd be happy to just turn it off for the nix build
21:12:24	×	teaSlurper quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
21:12:25	<dminuoso>	aerkenemesis: https://github.com/llvm-hs/llvm-hs/issues/86
21:12:53	×	wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Client Quit)
21:13:22	<janus>	dminuoso: i dunno if the error is really wildly different, one difference is that the leash error is using ghci. i don't know how different the errors from ghci and non-gchi are. i cut off a lot of it in my SO question
21:13:42	×	gehmehgeh_ quits (~user@user/gehmehgeh) (Quit: Leaving)
21:14:15	→	waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
21:14:58	<janus>	aerkenemesis: ok, thanks for trying. sorry for wasting your time then
21:15:26	<aerkenemesis>	janus no man, A for effort. thanks for that :)
21:15:30	<dminuoso>	aerkenemesis: and your link to cardano seems to match exactly too
21:15:54	<aerkenemesis>	yep, it's the same
21:18:34	<aerkenemesis>	is is possibly related to the `-RTS` flag ghc seems to get with the nix build?=
21:18:43	→	teaSlurper joins (~chris@81.96.113.213)
21:19:17	<aerkenemesis>	I'm guessing here, I'm pretty ignorant about the technicalities of GHC
21:19:33	×	pdxleif quits (~leif@75.164.44.108) (Ping timeout: 252 seconds)
21:20:31	→	pdxleif joins (~leif@75.164.44.108)
21:20:44	<aerkenemesis>	it spits out the flags passed to ghc when you run the nix build `setupCompileFlags: -package-db=/build/setup-package.conf.d -j12 +RTS -A64M -RTS -threaded -rtsopts`
21:21:08	<dminuoso>	aerkenemesis: Like I said, when you build with `cabal build --enable-library-profiling` it breaks too
21:21:20	<aerkenemesis>	yes, I did verify that too
21:22:51	×	waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
21:23:18	<dminuoso>	aerkenemesis: Mmm, with cabal the bug triggers direclty on building lib/Language/Leash/Ast.hs,
21:23:32	<dminuoso>	Judging from the symbol name, its the call to makeBaseFunctor
21:23:37	<dminuoso>	(or splice, rather)
21:24:41	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
21:24:44	dmwit_	is now known as dmwit
21:26:18	<dminuoso>	aerkenemesis: and it seems to triggers right around adding -prof to ghc
21:26:40	<DigitalKiwi>	a lot of the linked issues say w/e was supposedly fixed in 8.4.x ... regression?
21:27:00	<aerkenemesis>	I can't see any evidence of profiling being enabled in the nix build though
21:27:15	<dminuoso>	aerkenemesis: I got a workaround.
21:27:22	<dminuoso>	aerkenemesis: Add {-# OPTIONS_GHC -fno-prof-auto #-} on Ast.hs
21:27:24	<aerkenemesis>	DigitalKiwi I could try to back off to 8.3
21:27:26	<dminuoso>	Oh wait.
21:27:28	<aerkenemesis>	8.4*
21:27:31	<dminuoso>	No. mmm
21:27:53	<DigitalKiwi>	https://gitlab.haskell.org/ghc/ghc/-/issues/14931
21:28:00	<dminuoso>	aerkenemesis: https://gitlab.haskell.org/ghc/ghc/-/issues/18320
21:28:05	<dminuoso>	This is the correct bug report
21:28:08	→	allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com)
21:28:35	<DigitalKiwi>	8.4.2 to be safe i guess lol
21:28:52	<DigitalKiwi>	https://gitlab.haskell.org/ghc/ghc/-/issues/14705
21:30:57	<aerkenemesis>	I tried the `-fno-prof-auto` trick, even put it globally in the cabal file, didn't work
21:31:03	×	slack1256 quits (~slack1256@181.203.57.171) (Remote host closed the connection)
21:31:18	<aerkenemesis>	I'mma try and find a nixpkgs release that has ghc 8.4.2 and try that
21:31:21	<dminuoso>	aerkenemesis: Go file a bug report. This myriad of related bug reports suggests there's a deeper issue here.
21:31:35	<dminuoso>	I can reproduce on 8.8.1 at least
21:31:39	<aerkenemesis>	dminuoso I will
21:31:43	×	geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
21:31:51	allbery_b	is now known as geekosaur
21:32:03	<dminuoso>	aerkenemesis: Like it has been pointed out by Ryan in one issue, its not even about -fprof-auto, mere -prof triggers it
21:32:09	<dminuoso>	you can verify by
21:32:17	<dminuoso>	run `cabal -v build --enable-library-profiling`
21:32:30	<dminuoso>	copy the command, and just strip the two profiling flags, it will build. add -prof back in, it breaks
21:34:52	×	amahl quits (~amahl@87-95-128-122.bb.dnainternet.fi) (Remote host closed the connection)
21:35:00	→	waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
21:35:09	<geekosaur>	yes, I assumed this bug because it's somewhat hard to fix at present; TH doesn't sufficiently differentiate between build time and run time
21:35:14	<dminuoso>	aerkenemesis: as a hotfix, you can patch up the callCabal2nix generated derivation to remove that configure flag
21:35:16	<geekosaur>	(this also affects cross compilation)
21:35:37	→	Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
21:36:04	<dminuoso>	overrideCabal drv (drv: { enableLibraryProfiling = false; });
21:36:07	<dminuoso>	ought to do the trick
21:36:09	<geekosaur>	so it tries to find a symbol from a profiling library instead of the normal one it's passed, iirc
21:36:32	<geekosaur>	or possibly the other way around since the TH env supposedly shouldn't need profiling
21:37:15	<aerkenemesis>	I added to that already existing bug report
21:37:18	<janus>	hmm i would like a notification when those linked open issues are fixed, but the "notifications" slider is somehow disabled ...
21:37:22	<aerkenemesis>	https://gitlab.haskell.org/ghc/ghc/-/issues/18320
21:37:47	<dminuoso>	aerkenemesis: Let me know if overriding the derivation like that works.
21:38:04	<DigitalKiwi>	nix-env -f channel:nixos-20.03 -qaP -A haskell.compiler has 8.4.4
21:39:36	<dminuoso>	geekosaur: Wouldn't that suggest that TH splices never work if spliced into a library built with profiling enabled?
21:39:51	<DigitalKiwi>	just like in case it helps no idea if it does or not >.>
21:39:52	→	haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt)
21:40:11	<geekosaur>	and there's no profiling version of a dependency from which a spliced symbol comes
21:40:28	<aerkenemesis>	dminuoso that did indeed work
21:40:52	<geekosaur>	which is probably rare these days since both cabal and stack normally build profiling versions of dependencies too
21:41:23	<dminuoso>	aerkenemesis: Cute project idea by the way. Do you have a more comprehensive description of the language somewhere?
21:42:08	<aerkenemesis>	dminuoso the readme is horribly out of date, but I suggest you look at the test/*.bats files
21:42:40	<geekosaur>	that said, the bug report aerkenemesis linked suggested a slightly different etiology (then again, not that different, instead of wrong library it's missing direct function witout profiling wrapper or something similar)
21:43:12	<dminuoso>	geekosaur: Heh, I can see fingers being pointed at cabal already.
21:43:14	<aerkenemesis>	I've kept it hidden away from the public because it's not usable yet, I only opened it up for this ghc bug :D
21:43:41	<dminuoso>	geekosaur: In the sense that it's cabals job to provide all the needed library flavors to the linker.
21:44:22	<geekosaur>	that wpould apply if it were exactly what the error message claimed (missing dependency library)
21:44:26	<dminuoso>	I recall some other similar issues where in certain situations quasiquoter splices with external FFI used in the quasiquoter source module lead to linker errors
21:44:41	<geekosaur>	but instead it's a wrong symbol so that points at ghc instead of cabal because symbols aren't up to cabal
21:44:54	<dminuoso>	mmm
21:44:54	<geekosaur>	(well, hashes are but this isn't part of a hash)
21:45:03	<DigitalKiwi>	as someone who mostly writes bash because i'm not good enough at haskell to do what i want as quickly i'm a fan ;p
21:45:18	→	chisui joins (~chisui@200116b8666c8300b41cb8c96969b3fb.dip.versatel-1u1.de)
21:45:40	<geekosaur>	it also rules out nix except as a source of the profiling flag that triggers the bug
21:46:36	<dminuoso>	geekosaur: We ruled out nix by fact of triggering this bug outside of nix. :)
21:46:55	<geekosaur>	you had to specify the profiling flag yourself though, didn't you?
21:46:59	<dminuoso>	Yeah.
21:47:08	<geekosaur>	so where's it coming from in the nix case?
21:47:25	<sshine>	I want to model a language that has uint8, uint16, uint24, ..., uint256, and int8, ..., int256. on the one hand, I want to focus on ergonomics, so having UInt8 as a data constructor. on the other hand, that leads to some annoying repetition. I thought of creating an Enum type and have 'UInt Bits8_256 \| Int Bits8_256' and create pattern aliases for convenience... does the amount of constructors impair
21:47:28	<dminuoso>	nix automatically builds profiling libraries by default unless you specify otherwise
21:47:31	<sshine>	performance (an Enum with 32 values) vs. simply using integers?
21:47:34	<DigitalKiwi>	haskell4nix
21:48:05	<aerkenemesis>	geekosaur dminuoso figured out that library profiling have to be explicitly disabled with callCabal2Nix
21:49:42	<dminuoso>	aerkenemesis: oh you can also use `disableLibraryProfiling` directly, no need to manually fiddle around with overrideCabal :)
21:49:56	<aerkenemesis>	If you're interested the diff for the fix is here https://pastebin.com/A5Hq2Nub
21:50:13	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
21:50:31	<dminuoso>	(i.e. pkgs.haskell.lib.disableLibraryProfiling)
21:50:33	<dminuoso>	Looks a bit nicer :0
21:51:11	<aerkenemesis>	right, I'll have to look at what the options are. Thanks a ton for the help though, the project moves on again :)
21:51:27	<aerkenemesis>	and hopefully some pressure on the GHC team to fix this issue
21:51:38	<DigitalKiwi>	plz don't make me go to pastebin dot com ;(
21:51:51	<aerkenemesis>	haha, what's what the cool kids use these days?
21:52:03	<dminuoso>	@where paste
21:52:03	<lambdabot>	Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
21:52:03	geekosaur	has an extension that forces the raw link for pastebin
21:52:04	<aerkenemesis>	I realize I could just have linked my gitlab commit
21:52:22	→	pkkm joins (~pkkm@dgs4.neoplus.adsl.tpnet.pl)
21:52:25	<dminuoso>	aerkenemesis: Of course that will not work if you disable access to your gitlab project again.
21:52:27	<dminuoso>	;)
21:52:35	<DigitalKiwi>	https://mostlyabsurd.com/files/2021-06-12-215207_904x1430_scrot.png
21:52:40	<aerkenemesis>	I'll keep it open for the sake of the bug report :D
21:53:41	×	boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed)
21:53:59	×	ozataman quits (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
21:54:08	→	boxscape joins (~boxscape@user/boxscape)
21:54:19	→	machinedgod joins (~machinedg@24.105.81.50)
21:54:45	<geekosaur>	https://github.com/jperkin/pastebin-raw-text
21:55:02	<geekosaur>	for chrome, no idea about firefox equivalent
21:55:19	<DigitalKiwi>	.glirclogs/phrik/2021-01-12.log:[00:27:08] <phrik> Pastebin.com is swamped with advertisements and random captchas. Malware found on pastebin.com has resulted in it being blocked for some users. It injects CRLF line-endings. Please, use something else. Use something sane like https://gist.github.com https://bpaste.net http://ix.io https://paste.rs
21:56:10	<DigitalKiwi>	lol ix.io ;(
21:56:50	→	sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
21:56:50	×	sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Client Quit)
21:56:55	→	fizbin joins (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
21:57:00	<DigitalKiwi>	https://mostlyabsurd.com/files/2021-06-12-215632_1961x1033_scrot.png
21:57:02	→	sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
21:57:50	×	wonko quits (~wjc@62.115.229.50) (Ping timeout: 245 seconds)
21:58:14	→	xsperry joins (~as@user/xsperry)
21:58:50	×	boxscape quits (~boxscape@user/boxscape) (Client Quit)
21:58:58	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
21:59:03	<qrpnxz>	lenses are pretty cool
21:59:37	<DigitalKiwi>	are you dibblego
21:59:55	<qrpnxz>	no i'm qrpnxz
22:00:01	<Hecate>	lenses are pretty cool indeed
22:00:48	<DigitalKiwi>	if dibblego ever gets bit by a sneke and i cannot ask him questions anymore i think i can replace him with a bot that says 'use lens'
22:00:50	<qrpnxz>	they are kind of like arrows but for records
22:01:05	<qrpnxz>	DigitalKiwi, hahaha
22:01:30	×	fizbin quits (~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Ping timeout: 264 seconds)
22:01:40	<DigitalKiwi>	dibblego: <3
22:01:56	<aerkenemesis>	the dependency list is a bit discouraging though :S
22:02:09	<geekosaur>	there's always microlens
22:02:50	<Rembane_>	Or use other dependencies directly that lens depends on.
22:03:10	<DigitalKiwi>	you mean "code that someone else wrote so i don't have to"
22:03:54	<maerwald>	optics > lens
22:04:10	<c_wraith>	optics doesn't have any of the cool stuff
22:04:56	<Rembane_>	DigitalKiwi: That's the best code!
22:05:02	<Rembane_>	c_wraith: What cool stuff is optics lacking?
22:06:01	<aerkenemesis>	DigitalKiwi yes indeed, but haskell binaries tend to blow up astronomically in size so I usually pick libraries very carefully. "Many a mickle makes a little"
22:06:15	<c_wraith>	holesOf, everything in Control.Lens.Plated
22:06:31	<maerwald>	never heard of any of that
22:06:39	<maerwald>	so my guess is I don't need it
22:06:49	<c_wraith>	Or you just don't realize that you missed it
22:07:00	<DigitalKiwi>	https://mostlyabsurd.com/files/stackage-shell.nix gee i wonder why i never got this to work ;_;
22:07:09	<maerwald>	most of the time, I avoid both lens and optics... but when I can't, I use optics
22:07:23	<Rembane_>	c_wraith: Cool, I've got some reading to do. :)
22:08:00	<c_wraith>	like... https://hackage.haskell.org/package/lens-5.0.1/docs/Control-Lens-Plated.html#v:cosmosOf cosmosOf is amazing for any sort of "apply this everywhere" transformation
22:09:17	<c_wraith>	err. it's good for extraction, not transformation. But still.
22:10:10	<c_wraith>	like, the Plated class is actually the least useful thing in Control.Lens.Plated :)
22:12:58	→	jneira joins (~jneira@166.red-81-39-172.dynamicip.rima-tde.net)
22:13:27	×	nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
22:13:27	→	jakalx joins (~jakalx@base.jakalx.net)
22:14:51	×	chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 272 seconds)
22:14:53	<DigitalKiwi>	Rembane_: yes
22:16:55	→	dunkeln joins (~dunkeln@94.129.65.28)
22:18:18	→	johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
22:20:24	→	nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
22:21:09	×	dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
22:23:19	×	thyriaen quits (~thyriaen@45.178.75.13) (Remote host closed the connection)
22:24:03	→	benin036 joins (~benin@183.82.205.218)
22:24:16	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
22:25:01	×	__monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:29:12	×	jaevanko quits (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (Quit: Leaving)
22:31:10	→	bpalmer joins (~user@user/bpalmer)
22:33:25	×	tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
22:34:04	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Remote host closed the connection)
22:34:40	×	pdxleif quits (~leif@75.164.44.108) (Quit: leaving)
22:35:42	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:38:25	→	MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
22:44:28	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
22:54:54	×	MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
22:56:34	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:00:36	×	shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Remote host closed the connection)
23:02:20	→	lavaman joins (~lavaman@98.38.249.169)
23:05:02	→	dudebbn_ joins (~dudebbn_@31.134.191.84)
23:05:02	<dudebbn_>	／﹗\ ΤHІЅ CⲎᎪΝΝΕⅬ HAЅ ᎷOᏙΕᎠ ΤO ΙᏒC．LⅠBᎬRA．CΗAT ＃HᎪMRADⅠO /！\
23:05:03	<dudebbn_>	／ǃ\ THΕ JEᎳS ⲎАᏙᎬ TᎪKЕΝ ΟᏙER ᖴᎡEEⲚODEᛧ CHᎪTЅ HAᏙЕ MOᏙED ΤO IRC.ᏞⅠBΕRA.ⲤHΑТ /!\
23:05:03	×	dudebbn_ quits (~dudebbn_@31.134.191.84) (Killed (ozone (No Spam)))
23:06:48	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
23:13:57	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
23:16:46	<DigitalKiwi>	wh- what
23:17:00	×	raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
23:17:12	<geekosaur>	"enjoy" some spam
23:17:26	<geekosaur>	they're still hitting libera, sadly
23:17:39	<geekosaur>	more of it shows up in -beginners than here for some reason
23:18:24	<DigitalKiwi>	couldn't they do something better like fixing PIA ;(
23:20:18	<geekosaur>	?
23:21:57	<janus>	Private Internet Access (PIA) is the company that owns Freenode
23:22:13	<DigitalKiwi>	In 2010, he founded Private Internet Access (PIA),[2] a virtual private network service for anonymizing Internet traffic.
23:22:40	<janus>	but these spammers aren't promoting Freenode, so it makes little sense to assert that they have the power to "fix PIA"?
23:22:54	<geekosaur>	so you assime Andrew is behind the spam? when they're hitting freenode even harder --- and also other networks?
23:24:09	<janus>	i don't really understand what they stand to gain from it. but it is interesting that apparently the cost of spamming is so low that you don't need to make money doing it?
23:24:34	<janus>	or maybe it is just meant as a "proof of spamming" and could potentially be monetized ?
23:24:57	<DigitalKiwi>	i don't know that andrew is or is not responsible for the spam; but he very clearly destroyed freenode
23:25:19	<geekosaur>	oh, it's trivial these days. botnets are nearly free and these days all they're doing is keeping them warm
23:26:38	<janus>	but it just seems like they're targeting IRC specifically... does matrix have the same problem?
23:27:26	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
23:28:01	<janus>	i guess matrix requires an account , but it just seems odd if that is the only thing stopping them
23:28:54	×	chisui quits (~chisui@200116b8666c8300b41cb8c96969b3fb.dip.versatel-1u1.de) (Quit: Client closed)
23:29:08	→	chisui joins (~chisui@200116b8666c8300147e1d1a4c512cff.dip.versatel-1u1.de)
23:29:11	<DigitalKiwi>	janus: ah this must be the proof of work i hear so much about ;D
23:29:45	<DigitalKiwi>	"see? (the botnet) it works!"
23:29:56	<janus>	right, i got coloured by that pattern of terminology, sorry for triggering you ;)
23:30:46	→	shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
23:31:16	→	theproffesor joins (~theproffe@2601:282:847f:8010::3a29)
23:31:52	×	shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Remote host closed the connection)
23:31:56	×	Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
23:33:43	<janus>	it does suggest a difficult hobby project: OCR-based spam filter :P
23:34:59	→	Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
23:36:05	<Cale>	If I were a young script kiddie with a botnet right now, I'd be using it to attempt routing table attacks on the p2p layer of cryptocurrency networks. Seems way more fun than messing with IRC, haha.
23:38:05	<DigitalKiwi>	ohi cale haven't seen you in while. so tell us cale what have you been working on lately? ;p
23:38:16	→	shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
23:38:22	<Cale>	In my spare time, mostly music
23:38:35	<Cale>	I've got a Lumatone (lumatone.io)
23:38:50	<janus>	but most of them do not have overlay networks, so why would they need a routing table? bitcoin can use torv3, but then if you're attacking tor, that is not really specific to cryptocurrency
23:39:04	<DigitalKiwi>	is music the codename for your botnet that attacks p2p networks
23:40:04	<Cale>	janus: I mean like the Kademlia stuff that nodes use to connect themselves to other nodes
23:40:15	×	Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
23:40:52	<DigitalKiwi>	"no of course not you idiot bird (whispers "lumatone is the codename")"
23:40:55	<janus>	but is Kademlia/DHT used in cryptocurrency? i thought it only really made sense for long-time immutable data that isn't replicated across the network
23:41:27	<janus>	in bitcoin, everybody syncs the whole thing, so you don't need a DHT to find where the pieces are, because they will be with almost all your peers
23:42:19	<Cale>	janus: For many networks, yeah. Bitcoin is mostly ad-hoc configurations that can't be gamed, but a lot of networks use a DHT to make it easy to find peers to get connected to.
23:42:46	<Cale>	I believe Ethereum still does, unless something has changed.
23:43:28	<janus>	ok, so sounds like you'll be helping to establish Bitcoin-hegemony. A crypto-bitcoin-maximalist, i see ;)
23:43:48	<Cale>	Bitcoin, we'll have to find some other solution to
23:44:28	<Cale>	I want it all gone ;D
23:45:16	<janus>	the bitcoin blockchain contains links to child porn. so you just need a few million to establish court precedence for that constituting child porn possetion
23:45:59	<janus>	sadly, i can't tell you where they are, that would be criminal ;)
23:46:26	<janus>	hmm , but then again, i already did... damn
23:47:39	<DigitalKiwi>	very sus
23:48:17	<Cale>	amogus
23:50:02	→	machinedgod joins (~machinedg@24.105.81.50)
23:52:35	×	yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 268 seconds)
23:52:43	→	kluk joins (~kluk@2603-7000-9b3f-6934-65d8-64d7-b633-c7a9.res6.spectrum.com)
23:54:31	×	kluk quits (~kluk@2603-7000-9b3f-6934-65d8-64d7-b633-c7a9.res6.spectrum.com) (Read error: Connection reset by peer)
23:55:18	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
23:56:24	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)

All times are in UTC on 2021-06-12.