Logs on 2022-08-30 (liberachat/#haskell)

00:00:04	→	oxide joins (~lambda@user/oxide)
00:00:19	<qrpnxz>	apache2: that sounds like the opposite of church encoding.
00:00:26	→	nate4 joins (~nate@98.45.169.16)
00:02:41	<apache2>	qrpnxz: indeed, it should have been operations -> products and sums -> church encoding
00:04:59	→	merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
00:08:31	×	[itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
00:12:57	×	talismanick quits (~talismani@campus-017-130.ucdavis.edu) (Ping timeout: 268 seconds)
00:15:06	×	pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
00:15:30	→	Polo joins (~Gambino@user/polo)
00:20:23	→	pavonia joins (~user@user/siracusa)
00:20:28	shapr`	is now known as shapr
00:23:41	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
00:25:27	×	machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
00:29:14	→	nattiestnate joins (~nate@202.138.250.6)
00:36:57	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
00:37:14	→	ddellacosta joins (~ddellacos@86.106.143.183)
00:37:38	→	matthewmosior joins (~matthewmo@173.170.253.91)
00:39:29	×	merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
00:41:55	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
00:42:20	Polo	is now known as Guest5011
00:43:32	×	nattiestnate quits (~nate@202.138.250.6) (Quit: WeeChat 3.6)
00:46:51	×	ph88 quits (~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408) (Quit: Leaving)
00:48:18	→	td_ joins (~td@94.134.91.100)
00:48:22	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
00:50:01	×	segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
00:50:02	→	talismanick joins (~talismani@2601:200:c100:3850::dd64)
01:00:02	×	Guest5011 quits (~Gambino@user/polo) (Quit: out)
01:03:19	→	segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
01:03:56	×	gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:04:09	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
01:04:09	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
01:04:26	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
01:06:03	→	slack1963 joins (~slack1256@191.126.227.80)
01:07:37	×	xff0x quits (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 252 seconds)
01:08:27	×	slack1256 quits (~slack1256@186.11.99.53) (Ping timeout: 268 seconds)
01:11:10	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
01:12:35	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
01:17:06	×	oxide quits (~lambda@user/oxide) (Quit: oxide)
01:18:59	→	Guest\|88 joins (~Guest\|88@75-164-219-66.ptld.qwest.net)
01:19:34	×	Guest\|88 quits (~Guest\|88@75-164-219-66.ptld.qwest.net) (Client Quit)
01:20:38	→	dcoutts_ joins (~duncan@host86-184-242-102.range86-184.btcentralplus.com)
01:23:11	×	dcoutts quits (~duncan@host86-175-248-103.range86-175.btcentralplus.com) (Ping timeout: 260 seconds)
01:26:21	→	[itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
01:26:30	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
01:28:39	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
01:33:53	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
01:34:21	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
01:36:16	→	razetime joins (~quassel@117.254.34.228)
01:37:23	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 255 seconds)
01:37:23	×	foul_owl quits (~kerry@23.82.194.108) (Ping timeout: 255 seconds)
01:41:44	→	nate4 joins (~nate@98.45.169.16)
01:42:21	×	slack1963 quits (~slack1256@191.126.227.80) (Ping timeout: 268 seconds)
01:43:06	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
01:44:21	→	rockymarine joins (~rocky@user/rockymarine)
01:45:40	→	xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
01:49:10	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
01:52:15	→	foul_owl joins (~kerry@23.82.194.107)
01:52:30	→	matthewmosior joins (~matthewmo@173.170.253.91)
01:54:17	→	rockymarine joins (~rocky@user/rockymarine)
01:58:30	×	johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
02:01:52	×	xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Quit: xff0x)
02:02:37	→	Guest9264 joins (~Gambino@user/polo)
02:03:28	→	xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:04:08	→	razetime_ joins (~quassel@117.254.34.228)
02:04:08	×	razetime_ quits (~quassel@117.254.34.228) (Client Quit)
02:04:27	×	Guest9264 quits (~Gambino@user/polo) (Read error: Connection reset by peer)
02:10:07	→	frost joins (~frost@user/frost)
02:14:25	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
02:20:49	→	nilradical joins (~nilradica@user/naso)
02:24:17	×	bontaq` quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds)
02:25:41	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
02:35:34	→	merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
02:36:39	×	mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
02:38:37	→	Guest66 joins (~Guest66@49.140.190.80)
02:40:12	×	Guest66 quits (~Guest66@49.140.190.80) (Client Quit)
02:43:17	×	[itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:43:29	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
02:47:43	×	td_ quits (~td@94.134.91.100) (Ping timeout: 252 seconds)
02:49:03	→	king_gs joins (~Thunderbi@2806:103e:29:2e9e:24b:435a:141c:132f)
02:49:09	×	king_gs quits (~Thunderbi@2806:103e:29:2e9e:24b:435a:141c:132f) (Client Quit)
02:49:25	→	td_ joins (~td@94.134.91.35)
02:52:59	×	frost quits (~frost@user/frost) (Quit: Ping timeout (120 seconds))
02:56:20	→	finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:56:20	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:56:20	finn_elija	is now known as FinnElija
02:58:12	→	Chai-T-Rex joins (~ChaiTRex@user/chaitrex)
02:58:53	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
03:00:51	→	frost joins (~frost@user/frost)
03:05:32	×	jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
03:09:55	×	merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
03:10:53	×	vglfr quits (~vglfr@145.224.94.75) (Remote host closed the connection)
03:11:40	→	vglfr joins (~vglfr@145.224.94.75)
03:12:08	×	vglfr quits (~vglfr@145.224.94.75) (Remote host closed the connection)
03:14:25	→	vglfr joins (~vglfr@145.224.94.75)
03:16:21	×	segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
03:21:26	<nilradical>	what's the best option to display simplicial complexes / directed hypergraphs in the browser with mouseover popup information and click-to-drag nodes to rearrange the graph functionality
03:26:34	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
03:26:35	×	Vajb quits (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer)
03:26:50	→	Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
03:34:47	→	segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
03:34:59	×	ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
03:35:12	×	ddellacosta quits (~ddellacos@86.106.143.183) (Ping timeout: 268 seconds)
03:36:52	→	ec joins (~ec@gateway/tor-sasl/ec)
03:39:46	×	chronon quits (~chronon@user/chronon) (Quit: leaving)
03:40:36	→	chronon joins (~chronon@user/chronon)
03:41:29	×	chronon quits (~chronon@user/chronon) (Client Quit)
03:41:52	→	chronon joins (~chronon@user/chronon)
03:48:31	×	phma quits (~phma@host-67-44-208-66.hnremote.net) (Read error: Connection reset by peer)
03:49:19	×	Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
03:49:56	→	phma joins (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c)
03:50:03	→	nate4 joins (~nate@98.45.169.16)
03:56:53	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
03:57:19	×	segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
04:00:41	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds)
04:05:14	×	ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
04:06:19	→	ec joins (~ec@gateway/tor-sasl/ec)
04:10:40	→	matthewmosior joins (~matthewmo@173.170.253.91)
04:13:36	×	eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer)
04:16:15	→	eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
04:18:06	×	Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
04:19:06	→	Vajb joins (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8)
04:23:47	×	nilradical quits (~nilradica@user/naso) ()
04:25:41	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
04:31:39	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
04:37:29	×	mrmr quits (~mrmr@user/mrmr) (Ping timeout: 268 seconds)
04:39:56	×	stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
04:40:24	→	stiell joins (~stiell@gateway/tor-sasl/stiell)
04:46:00	→	Kaiepi joins (~Kaiepi@142.68.249.28)
05:00:20	×	euandreh quits (~euandreh@179.214.113.107) (Ping timeout: 268 seconds)
05:01:22	→	mbuf joins (~Shakthi@122.165.55.71)
05:02:56	→	euandreh joins (~euandreh@179.214.113.107)
05:06:07	→	merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
05:07:07	×	razetime quits (~quassel@117.254.34.228) (Ping timeout: 268 seconds)
05:10:19	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
05:16:03	→	mrmr joins (~mrmr@user/mrmr)
05:23:22	→	coot joins (~coot@213.134.176.158)
05:28:54	→	zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
05:29:28	→	razetime joins (~quassel@117.254.34.228)
05:37:29	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
05:40:23	×	merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
05:44:15	→	L29Ah joins (~L29Ah@wikipedia/L29Ah)
05:45:37	→	rockymarine joins (~rocky@user/rockymarine)
05:49:15	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
05:49:57	×	Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
05:50:23	→	lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
05:50:41	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
05:51:50	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
05:56:57	→	nate4 joins (~nate@98.45.169.16)
05:57:14	→	rockymarine joins (~rocky@user/rockymarine)
06:01:19	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
06:01:59	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
06:02:50	→	merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
06:03:13	→	kimjetwav joins (~user@2607:fea8:235e:b600:7f98:c4a:d2f0:b9bf)
06:05:57	×	jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
06:06:15	→	jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
06:07:16	×	mbuf quits (~Shakthi@122.165.55.71) (Quit: Leaving)
06:07:23	×	merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
06:09:42	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
06:10:38	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
06:17:10	→	michalz joins (~michalz@185.246.204.72)
06:19:42	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:20:57	×	[exa] quits (exa@srv3.blesmrt.net) (Changing host)
06:20:57	→	[exa] joins (exa@user/exa/x-3587197)
06:22:23	→	trillp joins (~trillp@69.233.98.238)
06:27:17	×	luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds)
06:27:33	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:fb22:f951:6798:386)
06:28:16	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
06:28:38	→	acidjnk joins (~acidjnk@p200300d6e7137a5221adc74ea987981a.dip0.t-ipconnect.de)
06:35:05	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:fb22:f951:6798:386) (Remote host closed the connection)
06:35:15	→	alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
06:35:16	×	Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
06:35:52	→	Chai-T-Rex joins (~ChaiTRex@user/chaitrex)
06:40:10	<Clinton[m]>	Lets say if I have two cabal packages `A` and `B`. Both have a flag `myflag`. `B` depends on `A`. If I do `cabal build all -f myflag`, does `B:myflag` depend on `A:myflag` or `A` by default? I thought it would depend on `A:myflag` but I'm starting to suspect it actually depends on `A`, because I'm getting weird conflicts.
06:44:39	→	ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net)
06:44:43	<[exa]>	Clinton[m]: you may specify flags for dependencies using cabal.project, and use the conditionals from cabal.project to "carry" the flag to the dependency only if it is present
06:45:18	<[exa]>	roughly, this https://stackoverflow.com/a/70244631/1043097 + this https://cabal.readthedocs.io/en/latest/cabal-package.html#conditions
06:46:04	<[exa]>	(there might be an easier way but I'm not aware of it)
06:46:18	→	merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
06:47:00	→	Kaiepi joins (~Kaiepi@142.68.249.28)
06:47:10	→	radhika joins (uid560836@id-560836.helmsley.irccloud.com)
06:47:11	<[exa]>	(also https://cabal.readthedocs.io/en/latest/cabal-project.html#conditionals-and-imports )
06:47:25	<sclv>	conditions in projects can’t depend on flags. depending on cabal install version top level flags apply to deps or not — lots of fixes to that happened in the latest release
06:47:40	<radhika>	Need some clarification on higher order function explained in lyah chap 6
06:47:43	<Clinton[m]>	Can I trigger the flags only when a command line argument is passed? Or do I need to separate project files?
06:48:39	<radhika>	applyTwice :: (a -> a) -> a ->. a
06:49:03	<[exa]>	sclv: oh noes :(
06:49:12	<radhika>	applyTwice f x = f (f x)
06:49:23	<sclv>	you might want two project files — one that sets the flag true for both and one false for both. includes can simplify that. that said, having one project depend on a flag setting of another is Highly Discouraged
06:49:44	<sclv>	flags should twiddle deps or implementation details not api surface
06:50:13	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:b050:c993:addd:ae40)
06:50:28	<radhika>	applyTwice takes a function and an element of any type and gives an output of the same type
06:50:29	→	nate4 joins (~nate@98.45.169.16)
06:51:25	<radhika>	If f refers to (a->a) and x is a then why is the output f (f x)?
06:51:58	<radhika>	Is there a simple example?
06:52:08	<sclv>	radhika: consider the type of (f x).
06:52:14	<sclv>	what is it?
06:52:29	<radhika>	Function applied on an element?
06:52:40	<sclv>	what is the type
06:52:53	<sclv>	x is type a. what type is f x
06:53:40	<radhika>	Any type?
06:53:50	<sclv>	no
06:54:05	<sclv>	f is a function that takes a and returns a
06:54:15	<radhika>	Yes
06:54:19	<sclv>	so what is the type of applying it to x of type a
06:54:47	<radhika>	It will take x and return x?
06:55:02	<sclv>	x is the name of a value, not a type
06:55:13	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
06:55:26	<sclv>	i think you need to review earlier parts of the book if you’re stuck on this.
06:55:31	<radhika>	Ok it will take type a and return the same
06:55:45	<sclv>	good. so “f x” is type a.
06:55:50	<radhika>	Ya
06:56:02	<sclv>	so what type is “f (f x)”
06:56:16	×	jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds)
06:56:16	×	merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
06:56:19	<radhika>	Same type a
06:56:25	→	gmg joins (~user@user/gehmehgeh)
06:56:33	<sclv>	so does that answer your question?
06:56:46	<radhika>	No
06:57:01	×	Inoperable quits (~PLAYER_1@fancydata.science) (Excess Flood)
06:57:04	<radhika>	I know that return type will be of type a
06:57:31	<sclv>	ok, say you pass to applyTwice \x -> x + 1
06:57:35	<sclv>	what happens
06:57:40	<radhika>	My question is f refers to a -> a function
06:57:45	<sclv>	yes
06:57:55	<radhika>	Return type is a
06:57:58	<sclv>	yes
06:58:09	×	vglfr quits (~vglfr@145.224.94.75) (Ping timeout: 252 seconds)
06:58:16	×	kimjetwav quits (~user@2607:fea8:235e:b600:7f98:c4a:d2f0:b9bf) (Ping timeout: 244 seconds)
06:58:17	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:b050:c993:addd:ae40) (Remote host closed the connection)
06:58:23	→	mima joins (~mmh@aftr-62-216-207-250.dynamic.mnet-online.de)
06:58:25	<radhika>	So they have used f (f x) because it’s defined in an abstractly?
06:58:35	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:ce15:f415:1eec:de15)
06:58:41	<sclv>	no
06:58:49	<radhika>	If I put values it should solve and return output of type a?
06:58:50	<[exa]>	radhika: what would you use instead? (the code is literally the easiest way to apply `f` twice)
06:58:53	<sclv>	f x is the application of f to x
06:59:03	<radhika>	ya
06:59:11	<sclv>	f (f x) is the application of f to the value (f x)
06:59:36	→	lortabac joins (~lortabac@2a01:e0a:541:b8f0:2601:5a48:41a4:5314)
06:59:38	<sclv>	so that applies f twice. first to the initial value, then to the result of applying f once.
06:59:49	<radhika>	Got it
06:59:52	<radhika>	Thanks
07:00:12	<sclv>	there are many functions with that type. you could also apply once or apply three times.
07:00:41	<radhika>	I had an issue with the way I understood what f stands for
07:00:43	<radhika>	Thanks
07:01:30	→	sagax joins (~sagax_nb@user/sagax)
07:01:54	→	Inoperable joins (~PLAYER_1@fancydata.science)
07:09:27	→	jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
07:12:22	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:13:56	<zzz>	if i want some Num with only let's say 9 possible values, can I do anything better than Word performance wise?
07:14:44	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
07:15:20	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:ce15:f415:1eec:de15) (Remote host closed the connection)
07:15:39	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:226f:a33e:f3d:96b3)
07:17:08	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
07:21:15	<Axman6>	radhika: you could write it as applyTwice f x = let once = f x; twice = f once in twice - you shouldn't but if that helps understand, go nuts
07:21:36	<Axman6>	an alternative way to write it would applyTwice f = f . f
07:22:01	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
07:24:16	→	rockymarine joins (~rocky@user/rockymarine)
07:25:51	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:226f:a33e:f3d:96b3) (Remote host closed the connection)
07:25:54	<Axman6>	zzz: yeah I'd be surprised if using a data declaration would be any faster
07:26:09	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:43c6:b67a:6fd8:b468)
07:26:10	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
07:26:43	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:43c6:b67a:6fd8:b468) (Remote host closed the connection)
07:29:15	→	benin0 joins (~benin@183.82.205.66)
07:29:37	→	matthewmosior joins (~matthewmo@173.170.253.91)
07:32:44	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
07:37:16	→	vglfr joins (~vglfr@145.224.94.221)
07:42:23	×	Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:45:02	×	jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
07:45:02	→	titibandit joins (~titibandi@xdsl-87-78-66-58.nc.de)
07:46:53	→	kilolympus joins (~kilolympu@90.203.82.22)
07:49:16	×	vglfr quits (~vglfr@145.224.94.221) (Ping timeout: 268 seconds)
07:50:35	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
07:51:06	×	Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 260 seconds)
07:52:26	→	rockymarine joins (~rocky@user/rockymarine)
07:52:56	×	Inoperable quits (~PLAYER_1@fancydata.science) (Excess Flood)
07:56:06	→	jinsun__ joins (~jinsun@user/jinsun)
07:56:06	×	jinsun quits (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
07:56:06	jinsun__	is now known as jinsun
07:57:14	→	Inoperable joins (~PLAYER_1@fancydata.science)
07:57:33	→	Ailrk joins (~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504)
07:57:58	→	chele joins (~chele@user/chele)
08:01:14	→	jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
08:01:45	×	titibandit quits (~titibandi@xdsl-87-78-66-58.nc.de) (Remote host closed the connection)
08:06:43	×	kilolympus quits (~kilolympu@90.203.82.22) (Ping timeout: 252 seconds)
08:06:53	→	kilolympus joins (~kilolympu@90.203.82.22)
08:07:31	<jackdk>	Axman6: unboxed sum of nine units?
08:08:57	→	vglfr joins (~vglfr@145.224.94.248)
08:09:18	×	tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:20:24	×	gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
08:23:13	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
08:23:43	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:23:50	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
08:26:53	→	CiaoSen joins (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
08:27:39	×	talismanick quits (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds)
08:27:47	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
08:29:36	×	shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit)
08:31:18	×	hrberg_ quits (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
08:31:43	→	hrberg joins (~quassel@171.79-160-161.customer.lyse.net)
08:32:49	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
08:41:41	×	werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
08:42:54	→	werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
08:45:27	→	matthewmosior joins (~matthewmo@173.170.253.91)
08:45:56	→	machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
08:47:32	→	toeffel joins (~toeffel@user/toeffel)
08:48:00	→	Kaiepi joins (~Kaiepi@142.68.249.28)
08:52:09	B-J	is now known as Benzi-Junior
08:56:35	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
09:02:39	→	rockymarine joins (~rocky@user/rockymarine)
09:04:04	→	eikke joins (~NicolasT@user/NicolasT)
09:05:23	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
09:05:29	×	jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection)
09:05:46	→	jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
09:07:57	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
09:08:28	→	mikoto-chan joins (~mikoto-ch@164.5.249.78)
09:09:55	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
09:13:56	→	luffy joins (~chenqisu1@183.217.201.192)
09:14:04	→	wonko_ joins (~wjc@2a0e:1c80:2::130)
09:14:49	×	frost quits (~frost@user/frost) (Quit: Client closed)
09:14:57	→	rockymarine joins (~rocky@user/rockymarine)
09:16:13	→	gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
09:24:49	×	luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
09:26:44	×	gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
09:28:51	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
09:29:07	×	lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
09:33:50	→	rockymarine joins (~rocky@user/rockymarine)
09:33:57	→	luffy joins (~chenqisu1@183.217.201.192)
09:34:35	×	Ailrk quits (~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504) (Quit: Client closed)
09:39:36	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 260 seconds)
09:43:36	×	vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 244 seconds)
09:47:53	→	rockymarine joins (~rocky@user/rockymarine)
09:58:33	→	frost joins (~frost@user/frost)
10:07:49	→	beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
10:11:25	→	__monty__ joins (~toonn@user/toonn)
10:11:30	→	kuribas joins (~user@silversquare.silversquare.eu)
10:12:46	×	beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze)
10:13:00	→	beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
10:15:30	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
10:16:53	×	radhika quits (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
10:17:15	×	beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 252 seconds)
10:17:55	×	xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
10:23:58	×	frost quits (~frost@user/frost) (Quit: Client closed)
10:25:46	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
10:28:42	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
10:28:49	→	img joins (~img@user/img)
10:29:00	×	img quits (~img@user/img) (Remote host closed the connection)
10:30:59	×	eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 248 seconds)
10:31:53	→	img joins (~img@user/img)
10:34:49	→	vglfr joins (~vglfr@145.224.94.248)
10:42:11	×	toeffel quits (~toeffel@user/toeffel) (Ping timeout: 248 seconds)
10:43:37	×	benin0 quits (~benin@183.82.205.66) (Quit: Ping timeout (120 seconds))
10:43:57	→	benin0 joins (~benin@183.82.205.66)
10:46:01	×	coot quits (~coot@213.134.176.158) (Quit: coot)
10:47:32	×	econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
10:47:35	→	fserucas joins (~fserucas@89.214.116.132)
10:49:22	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:52:00	→	nate4 joins (~nate@98.45.169.16)
10:54:16	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
10:54:40	→	z0k joins (~z0k@206.84.142.45)
10:54:51	<brprice>	Is there a good way to mark a MonadState action (say, a utility function for logging execution of a state machine) as only needing read-only access to the state?
10:55:23	×	Alex_test quits (~al_test@178.34.163.186) (Ping timeout: 252 seconds)
10:56:03	→	frost joins (~frost@user/frost)
10:56:51	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
10:57:23	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
10:59:30	×	z0k quits (~z0k@206.84.142.45) (Client Quit)
11:00:15	→	Alex_test joins (~al_test@178.34.163.186)
11:04:55	→	xff0x joins (~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07)
11:08:56	<opqdonut>	brprice: if you're using mtl, drop down to the MonadReader class
11:09:16	<opqdonut>	no wait that's not quite how it works
11:09:51	→	rockymarine joins (~rocky@user/rockymarine)
11:09:52	<opqdonut>	you'd need to write your own wrapper type that implements MonadReader by accessing the state
11:09:56	→	radhika joins (uid560836@id-560836.helmsley.irccloud.com)
11:10:35	<[exa]>	brprice: you can transform it to Reader
11:11:05	<opqdonut>	here's one example: https://stackoverflow.com/questions/7292766/monads-tf-monadreader-instance-for-monadstate
11:12:04	<brprice>	opqdonut: thanks, but would that not have fundeps issues if I have something like MonadReader
11:12:25	<brprice>	opqdonut: *thanks, but would that not have fundeps issues if I have something like (MonadReader env m, MonadReadOnlyState s m) => ...
11:12:55	<brprice>	I should play around with that idea though -- maybe I'm missing something
11:14:21	→	eikke joins (~NicolasT@user/NicolasT)
11:17:55	×	alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
11:19:53	→	alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
11:20:37	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
11:22:25	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
11:23:31	→	img joins (~img@user/img)
11:24:46	→	merijn joins (~merijn@eduroam.wifi.infracom.nl)
11:25:27	×	jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
11:26:03	→	bontaq` joins (~user@ool-45779fe5.dyn.optonline.net)
11:26:56	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
11:30:22	<opqdonut>	brprice: see the accepted solution, which uses a wrapper newtype
11:30:58	<opqdonut>	brprice: but yeah, if you're using MonadReader for some other purpose already, then you can't really do this that easily
11:36:16	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 260 seconds)
11:36:53	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
11:38:19	→	rockymarine joins (~rocky@user/rockymarine)
11:41:19	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
11:42:56	×	causal quits (~user@50.35.83.177) (Quit: WeeChat 3.6)
11:44:10	→	toeffel joins (~toeffel@user/toeffel)
11:47:29	×	Luj quits (~Luj@2a01:e0a:5f9:9681:193b:902c:4a27:b473) (Quit: The Lounge - https://thelounge.chat)
11:50:34	→	coot joins (~coot@213.134.176.158)
11:51:04	→	Luj joins (~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d)
11:51:50	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
11:52:28	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:54:00	→	kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
11:54:15	→	Guest\|59 joins (~Guest\|59@sb1-0111-08.studat.chalmers.se)
11:54:21	<Guest\|59>	hey
11:54:44	<Guest\|59>	im trying to install hasekll on my uni pc but i get an error
11:55:57	×	Guest\|59 quits (~Guest\|59@sb1-0111-08.studat.chalmers.se) (Client Quit)
11:56:41	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
11:57:02	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
11:59:49	<geekosaur>	be nice if they stuck around a bit
12:01:46	<hpc>	you mean you don't know about... the error? :P
12:02:06	×	frost quits (~frost@user/frost) (Quit: Client closed)
12:02:06	<int-e>	Elsewhere somebody suggested the proper reply would be "Next time try to install it without any error."
12:02:33	→	frost joins (~frost@user/frost)
12:07:39	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:09:07	→	matthewmosior joins (~matthewmo@173.170.253.91)
12:11:15	×	_________ quits (~nobody@user/noodly) (Ping timeout: 248 seconds)
12:11:35	→	_________ joins (~nobody@user/noodly)
12:11:47	×	Cale quits (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds)
12:12:34	→	king_gs joins (~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955)
12:13:26	×	tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
12:14:31	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
12:15:58	<tdammers>	they weren't looking for solutions or any of that, they just came to accuse
12:17:02	<kuribas>	vent their frustration on having to use this weird hasekll language.
12:17:09	<geekosaur>	J'accuse!
12:21:48	<int-e>	But do they realize that programmers deal with errors all day long?
12:22:31	<int-e>	It's really not much of a complaint. Just needs more information :P
12:24:35	→	Cale joins (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
12:24:53	<tdammers>	"I'm trying to install hasekll on my uni pc, but i get an error. This is unacceptable! Unacceptableeeeeeeee!!!"
12:25:40	<int-e>	It could be worse... imagine they had succeeded and actually tried the language.
12:25:59	×	sagax quits (~sagax_nb@user/sagax) (Quit: Konversation terminated!)
12:26:24	<int-e>	> how does this work
12:26:25	<lambdabot>	error:
12:26:26	<lambdabot>	• Variable not in scope: how :: t0 -> t1 -> t2 -> t
12:26:26	<lambdabot>	• Perhaps you meant ‘show’ (imported from Prelude)error: Variable not in...
12:26:37	<int-e>	inscrutable! unacceptable!
12:27:02	×	frost quits (~frost@user/frost) (Quit: Client closed)
12:29:51	×	flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
12:30:14	→	nilradical joins (~nilradica@user/naso)
12:30:35	→	tomboy64 joins (~tomboy64@user/tomboy64)
12:32:37	→	jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
12:33:03	→	frost joins (~frost@user/frost)
12:33:37	×	king_gs quits (~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955) (Remote host closed the connection)
12:33:56	→	king_gs joins (~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955)
12:37:26	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
12:37:43	×	Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
12:39:27	→	Guest68 joins (~Guest68@host-193-58-37-158.ip.spadhausen.it)
12:39:51	×	CiaoSen quits (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
12:40:53	×	Guest68 quits (~Guest68@host-193-58-37-158.ip.spadhausen.it) (Client Quit)
12:41:35	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 255 seconds)
12:44:03	×	foul_owl quits (~kerry@23.82.194.107) (Read error: Connection reset by peer)
12:49:41	→	rockymarine joins (~rocky@user/rockymarine)
12:54:13	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
12:54:24	×	toeffel quits (~toeffel@user/toeffel) (Quit: quit)
12:55:36	×	luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 260 seconds)
12:57:51	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
12:58:26	×	matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
12:58:33	→	matthewmosior joins (~matthewmo@173.170.253.91)
12:58:50	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
12:59:29	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
12:59:50	→	raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
13:00:40	→	rockymarine joins (~rocky@user/rockymarine)
13:04:16	→	foul_owl joins (~kerry@23.82.194.109)
13:05:33	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
13:08:28	→	rockymarine joins (~rocky@user/rockymarine)
13:08:29	×	king_gs quits (~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955) (Quit: king_gs)
13:13:37	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
13:15:26	×	matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
13:16:53	×	radhika quits (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
13:19:55	→	matthewmosior joins (~matthewmo@173.170.253.91)
13:22:44	×	L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
13:23:55	→	L29Ah joins (~L29Ah@wikipedia/L29Ah)
13:27:23	→	rockymarine joins (~rocky@user/rockymarine)
13:30:20	→	toeffel joins (~toeffel@user/toeffel)
13:32:19	×	jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
13:34:31	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
13:34:34	×	frost quits (~frost@user/frost) (Ping timeout: 252 seconds)
13:35:38	×	matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
13:41:23	×	acidjnk quits (~acidjnk@p200300d6e7137a5221adc74ea987981a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
13:44:24	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
13:46:46	→	flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
13:52:26	→	slack1256 joins (~slack1256@191.125.227.209)
13:53:46	→	matthewmosior joins (~matthewmo@173.170.253.91)
13:54:13	→	CiaoSen joins (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
13:55:57	×	coot quits (~coot@213.134.176.158) (Quit: coot)
13:56:40	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
14:00:05	×	lortabac quits (~lortabac@2a01:e0a:541:b8f0:2601:5a48:41a4:5314) (Quit: WeeChat 2.8)
14:01:46	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
14:04:39	→	oxide joins (~lambda@user/oxide)
14:09:47	×	oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds)
14:12:47	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
14:13:11	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
14:14:22	→	shriekingnoise joins (~shrieking@186.137.167.202)
14:21:34	×	ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds)
14:23:26	→	ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
14:27:45	→	kuribas` joins (~user@silversquare.silversquare.eu)
14:28:43	→	swamp_ joins (~zmt00@user/zmt00)
14:29:31	×	kuribas quits (~user@silversquare.silversquare.eu) (Ping timeout: 268 seconds)
14:29:46	→	oxide joins (~lambda@user/oxide)
14:30:05	→	coot joins (~coot@213.134.176.158)
14:32:44	×	zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 255 seconds)
14:34:31	→	jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
14:35:09	×	Luj quits (~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d) (Quit: The Lounge - https://thelounge.chat)
14:35:09	→	gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
14:36:03	→	Luj joins (~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d)
14:37:17	×	merijn quits (~merijn@eduroam.wifi.infracom.nl) (Read error: Connection reset by peer)
14:38:42	×	Luj quits (~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d) (Client Quit)
14:39:47	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
14:41:40	×	jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection)
14:41:50	→	Luj joins (~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1)
14:42:34	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
14:45:31	→	f-a joins (f2a@f2a.jujube.ircnow.org)
14:46:09	<f-a>	is there a binary tree type in base or containers? Apparently I can only find Data.Tree, which is a /rose/ one.
14:47:00	<Franciman>	hello f-a , do you want a balanced binary tree?
14:47:20	<f-a>	a simple one would do
14:47:24	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
14:47:25	→	jinsun__ joins (~jinsun@user/jinsun)
14:47:25	jinsun	is now known as Guest4940
14:47:25	×	Guest4940 quits (~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services)))
14:47:25	jinsun__	is now known as jinsun
14:47:59	×	oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds)
14:48:25	<Franciman>	a Data.Map could do?
14:48:57	<f-a>	how is that similar to a tree with two branches?
14:49:31	<Franciman>	internally it is a binary tree
14:50:06	<f-a>	oh, did not know
14:50:10	<f-a>	thanks
14:50:15	→	oxide joins (~lambda@user/oxide)
14:50:16	→	jinsun__ joins (~jinsun@user/jinsun)
14:50:16	×	jinsun quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services)))
14:50:16	jinsun__	is now known as jinsun
14:50:36	<Franciman>	unfortunately it seems it is not a binary tree in the base / containers library
14:50:50	<f-a>	yup, hence my question
14:52:05	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
14:53:33	→	nate4 joins (~nate@98.45.169.16)
14:54:19	<Franciman>	probably the haskell foundation thinks you don't need it, be smarter!
14:54:38	<Franciman>	maybe you don't need it
14:54:57	<f-a>	:P it is easy enough to write by hand, in all fairness
14:55:37	<Franciman>	and you can also have the Traversable Foldable etc instances directly automagically
14:57:54	→	rockymarine joins (~rocky@user/rockymarine)
14:58:15	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 244 seconds)
15:02:53	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
15:04:19	×	oxide quits (~lambda@user/oxide) (Quit: oxide)
15:04:58	→	rockymarine joins (~rocky@user/rockymarine)
15:06:22	→	acidjnk joins (~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de)
15:11:31	×	wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 248 seconds)
15:13:46	×	nilradical quits (~nilradica@user/naso) (Remote host closed the connection)
15:14:29	→	epolanski joins (uid312403@id-312403.helmsley.irccloud.com)
15:14:58	→	nilradical joins (~nilradica@user/naso)
15:15:38	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:16:51	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
15:17:34	<zzz>	it't not only easy, it's beautiful
15:18:08	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
15:19:40	→	jakalx joins (~jakalx@base.jakalx.net)
15:19:41	×	nilradical quits (~nilradica@user/naso) (Ping timeout: 260 seconds)
15:20:03	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
15:20:44	→	MoC joins (~moc@user/moc)
15:21:30	<zzz>	https://paste.jrvieira.com/1661872870789
15:21:58	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
15:22:18	×	ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
15:23:00	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
15:25:23	×	toeffel quits (~toeffel@user/toeffel) (Ping timeout: 248 seconds)
15:25:38	→	mhq joins (~mhq@host-a59myvj.static.zeelandnet.nl)
15:25:43	×	mhq quits (~mhq@host-a59myvj.static.zeelandnet.nl) (Client Quit)
15:25:57	→	mehrad joins (~mehrad@host-a59myvj.static.zeelandnet.nl)
15:26:30	×	alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
15:26:47	→	gambpang joins (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
15:27:11	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
15:28:04	→	nilradical joins (~nilradica@user/naso)
15:28:10	×	mehrad quits (~mehrad@host-a59myvj.static.zeelandnet.nl) (Client Quit)
15:30:58	→	kenran joins (~kenran@200116b82b799800e67f3795b3ef39ef.dip.versatel-1u1.de)
15:32:45	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
15:36:44	×	mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
15:38:53	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
15:44:30	→	toeffel joins (~toeffel@user/toeffel)
15:45:50	<[exa]>	f-a: normal pure functional binary trees suffer from frequent rewriting of spines, but there are some alternative tree designs that help with that (e.g. the finger tree for Data.Seq which is basically an "inverted" 2-3 tree, and I kinda guess someting similar is used for Data.Map)
15:46:34	→	matthewmosior joins (~matthewmo@173.170.253.91)
15:46:52	→	titibandit joins (~titibandi@xdsl-87-78-66-58.nc.de)
15:47:04	<f-a>	thanks
15:48:57	<[exa]>	(or are these weight-balanced?)
15:49:42	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
15:49:46	<[exa]>	btw the first answer here is pretty good https://stackoverflow.com/questions/4166027/what-self-balancing-tree-is-simplest-in-functional-programming
15:52:35	×	CiaoSen quits (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
15:57:34	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:58:48	→	justsomeguy joins (~justsomeg@user/justsomeguy)
16:02:17	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
16:03:15	×	kenran quits (~kenran@200116b82b799800e67f3795b3ef39ef.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
16:03:33	→	rockymarine joins (~rocky@user/rockymarine)
16:04:40	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:05:35	→	tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
16:05:41	×	coot quits (~coot@213.134.176.158) (Quit: coot)
16:05:46	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
16:05:47	<nilradical>	when i try to run `cabal test`, i get an error: "symbol not found in flat namespace (_sheafzm0zi3zi0zi0zminplace_ToposziFamily_Family_con_info) " I've tried `cabal clean` but it did not help. what is this about?
16:05:58	←	f-a parts (f2a@f2a.jujube.ircnow.org) ()
16:06:07	<nilradical>	i can do `cabal build` with no errors or warnings
16:08:43	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
16:11:38	→	img joins (~img@user/img)
16:11:53	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
16:12:12	×	raym quits (~raym@user/raym) (Remote host closed the connection)
16:13:30	→	jinsun__ joins (~jinsun@user/jinsun)
16:13:30	jinsun	is now known as Guest5681
16:13:30	jinsun__	is now known as jinsun
16:15:34	×	jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer)
16:15:50	→	jinsun joins (~jinsun@user/jinsun)
16:16:16	×	Guest5681 quits (~jinsun@user/jinsun) (Ping timeout: 244 seconds)
16:18:44	→	coldtom joins (~coldtom@coldrick.cc)
16:20:23	<nilradical>	ok, it seems the problem is coming from the line `checkParallel $$(discover)` that detects all my tests from hedgeHog that uses template haskell. if i get rid of that and write the names of tests manually it's ok
16:25:02	→	ak-coram joins (~user@catv-80-98-11-153.catv.fixed.vodafone.hu)
16:26:26	×	kuribas` quits (~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3))
16:26:31	<ak-coram>	Hi, I'm experiencing this issue: https://stackoverflow.com/questions/69969060/haskell-hdbc-odbc-connection-gets-disposed-of-immediately-for-remote-mysql-ins
16:27:30	<ak-coram>	and the suggestion is to block RTS signals (SIGALRM & SIGVTALRM) so they don't interrupt the ODBC driver code
16:28:18	<ak-coram>	which all makes sense except that I'm on Windows, which to my knowledge doesn't use signals like this
16:28:32	→	Tuplanolla joins (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
16:29:03	<geekosaur>	it still has timers, though, which may interrupt DB operations. have you tried +RTS -V0
16:29:04	<geekosaur>	?
16:29:42	<ak-coram>	yeah, I've tried +RTS -V0 and it makes my program run longer, but it happens all the same (just later)
16:30:05	<ak-coram>	is there anything else I'd need to block?
16:30:18	→	econo joins (uid147250@user/econo)
16:30:47	<geekosaur>	not to my knowledge
16:31:00	<geekosaur>	not that that proves much since I don't know the Windows RTS
16:31:27	<ak-coram>	I'm also in unfamiliar territory :)
16:32:17	<ak-coram>	I've also tried switching to the single-threaded RTS, but that doesn't seem to make a difference
16:34:03	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
16:34:09	<ak-coram>	Maybe this has to do something with green threads?
16:34:18	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
16:34:25	<geekosaur>	if the single threaded RTS didn't change it then no
16:34:43	<geekosaur>	(single threaded RTS is green threads, -threaded is OS threads)
16:36:33	<ak-coram>	ok, but isn't there a scheduler for them which could interrupt FFI calls?
16:36:34	→	raym joins (~raym@user/raym)
16:37:50	<geekosaur>	there is, but +RTS -V0 switches that off and they yield at every allocation instead of when timer-scheduled
16:37:58	<geekosaur>	(which is why it slows things down)
16:39:40	<ak-coram>	That is good to know!
16:39:43	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:41:19	→	Midjak joins (~Midjak@82.66.147.146)
16:41:45	<ak-coram>	Any ideas how the scheduler takes control of an OS thread on Windows?
16:44:12	<geekosaur>	nope
16:44:32	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
16:44:59	<ak-coram>	I was thinking of logging the system calls, maybe I'll find something close to the crash
16:45:26	<ak-coram>	but it would be nice to know what to look for :)
16:46:23	×	justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds)
16:49:49	→	ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net)
16:50:23	<tdammers>	isn't -threaded green threads too, only dispatched over multiple OS threads (a.k.a. "capabilities")?
16:50:40	<geekosaur>	I think so, yes
16:50:55	<ak-coram>	yes, it should be
16:51:35	<geekosaur>	hm. what version of ghc are you using?
16:52:02	×	jludwig quits (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
16:52:11	<ak-coram>	9.2.4
16:52:24	<ak-coram>	but this happens in older versions too
16:52:30	<geekosaur>	okay, so it won't be the FFI+GC issue in 9.2.0-9.2.3
16:53:04	→	jludwig joins (~justin@li657-110.members.linode.com)
16:54:02	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
17:02:27	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 248 seconds)
17:05:51	×	eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 260 seconds)
17:05:53	×	nilradical quits (~nilradica@user/naso) ()
17:05:57	→	kimjetwav joins (~user@2607:fea8:235e:b600:e07a:6ed5:9434:8fc4)
17:07:15	→	matthewmosior joins (~matthewmo@173.170.253.91)
17:12:38	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:21:34	×	kimjetwav quits (~user@2607:fea8:235e:b600:e07a:6ed5:9434:8fc4) (Remote host closed the connection)
17:21:56	→	kimjetwav joins (~user@2607:fea8:235e:b600:69c4:d208:cb71:54a6)
17:22:59	×	chele quits (~chele@user/chele) (Remote host closed the connection)
17:31:29	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
17:31:54	→	Guest\|93 joins (~Guest\|93@h31-192-199-23.cust.a3fiber.se)
17:32:01	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:32:13	×	Guest\|93 quits (~Guest\|93@h31-192-199-23.cust.a3fiber.se) (Client Quit)
17:35:34	×	pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:38:16	→	slac49339 joins (~slack1256@186.11.99.53)
17:38:21	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
17:38:58	×	slack1256 quits (~slack1256@191.125.227.209) (Read error: Connection reset by peer)
17:39:10	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
17:39:57	→	gmg joins (~user@user/gehmehgeh)
17:41:08	<ak-coram>	ok, I can reproduce the issue on Linux too with the signals blocked
17:41:51	<ak-coram>	I think it might be a bug in the HDBC-odbc bindings, if I turn on tracing (enable a print function) the issue goes away
17:42:23	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
17:42:45	→	flinner joins (~flinner__@2001:16a2:786c:3700:508e:cc20:ba1f:1cee)
17:42:45	×	flinner quits (~flinner__@2001:16a2:786c:3700:508e:cc20:ba1f:1cee) (Changing host)
17:42:45	→	flinner joins (~flinner__@user/flinner)
17:44:12	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:45:23	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
17:45:46	×	flinner quits (~flinner__@user/flinner) (Client Quit)
17:46:32	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:49:13	×	razetime quits (~quassel@117.254.34.228) (Remote host closed the connection)
17:50:59	×	toeffel quits (~toeffel@user/toeffel) (Ping timeout: 248 seconds)
17:51:35	<mrianbloom>	If you have a monad transformer stack that includes two StateT transformers each with a unique state type is there a way to automatically lift to the right layer just by annotating the type of a 'get' statement (in the MonadState typeclass)?
17:53:05	<dolio>	No.
17:53:21	<Rembane>	mrianbloom: You can write that function yourself though by lifting the right number of times.
17:53:31	<Rembane>	mrianbloom: ...and name it something else than `get`
17:53:36	→	david_ joins (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d)
17:53:41	<david_>	Hi
17:53:53	×	vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 255 seconds)
17:53:58	<david_>	I wanted to create a type alias
17:53:58	david_	is now known as Guest4971
17:54:02	<Guest4971>	Hello
17:54:15	<Guest4971>	I wanted to create a type alias (can you read me?)
17:54:32	<Guest4971>	something like: newtype Matrix = Ord e => A.Array (Int, Int) e
17:54:48	<Guest4971>	but pretty sure this is wrong; any idea on how to do this?
17:55:51	→	coot joins (~coot@213.134.176.158)
17:56:00	<monochrom>	type Matrix e = A.Array (Int,Int) e
17:56:01	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
17:56:10	<geekosaur>	that's viable if you expose the e and probably move the constraint outside the newtyoe
17:56:14	<geekosaur>	*newtype
17:56:25	→	vglfr joins (~vglfr@145.224.94.248)
17:56:27	<geekosaur>	listen to monochrom
17:56:35	<monochrom>	:)
17:56:59	<geekosaur>	I missed that it was a newtype
17:57:08	<geekosaur>	the names for these things are a bit confusing
17:57:30	<geekosaur>	"type" creates a type alias; "data" creates a new type; "newtype" wraps an existing type so it becomes distinct
17:57:32	×	vglfr quits (~vglfr@145.224.94.248) (Remote host closed the connection)
17:57:37	<monochrom>	Skip the "Ord e". Move it to those functions that actually need it.
17:57:41	<geekosaur>	(like a new type, without actually being one)
17:57:42	<Guest4971>	ho yes, what I really want is a type alias
17:57:44	<mrianbloom>	I'm hoping to write something that is polymorphic over different stacks. Hoping to just say that one state type is in stack with a constraint.
17:57:58	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:770a:5d50:c269:721e)
17:58:13	<geekosaur>	mrianbloom, I think mtl does not support that well. effect systems might work better but have their own issues
17:58:48	<mrianbloom>	I see. What if I wrap StateT in a newtype and derive instances?
17:59:16	<monochrom>	That doesn't change your issue.
17:59:21	<geekosaur>	you're still in trouble if one of the derived instances is StateT
17:59:27	<geekosaur>	er, MonadState
17:59:43	<geekosaur>	"there can be only one™"
17:59:46	<monochrom>	Your issue is that being polymorphic in MonadState it resolves to just one of the StateT, probably the outermost one.
18:00:20	×	ak-coram quits (~user@catv-80-98-11-153.catv.fixed.vodafone.hu) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
18:00:43	<monochrom>	It can only be solved by either giving up polymorphism or doubling down on polymorphism. The latter means you create MonadState2 for the inner StateT.
18:00:50	<geekosaur>	you could have a second one by lifting past the first one. but there's nothing that will help you do that, or hide which one's outer and which inner
18:01:14	<monochrom>	Oh and then of course the inner StateT needs renaming too.
18:02:43	<monochrom>	There is a reason a lot of us conclude that mtl teaches you a great idea but you don't use mtl itself per se, you create your own types and classes custom-made to your problem domain.
18:02:44	<mrianbloom>	I see, it seems like I can wrap all of this in newtypes just wondering if I have to wrap MonadState itself? As in write type specific 'get'.
18:03:15	<monochrom>	It's like saying "don't use (,) and Either, make your own custom-named equivalents" on steroid.
18:04:56	<Rembane>	monochrom: I've been drinking abstraction tea the whole day, so I wonder if there is a MonadStateN?
18:05:06	<monochrom>	Haha
18:06:36	<monochrom>	OK so technically, I think but I haven't checked, you can have "(MonadState m X, MonadState m Y) =>", and "StateT X ... StateT Y", and if X and Y are distinct, then "get :: m X" and "get :: m Y" will resolve to what you want.
18:06:55	<Rembane>	I sense a big but here. :)
18:07:14	<monochrom>	No no no, I'm going to crank that up to eleven!
18:07:23	<Rembane>	Sweet!
18:09:33	<dolio>	MTL isn't the problem. The problem is trying to implement a compound state by two state effects that are 'automatically' resolved by type.
18:09:38	<monochrom>	So perhaps you can define "newtype NthStateT (n :: Nat) s m a = ..." and the corresponding class, so you can have "(NthMonadState 3 m X, NthMonadState 10 m Y) =>"...
18:10:11	→	gustik joins (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f)
18:11:08	<monochrom>	Oh hey maybe I can also apply that to "liftAn :: (n :: Nat) -> ..."
18:11:12	→	vglfr joins (~vglfr@145.224.94.248)
18:11:40	<dolio>	When you want to have multiple pieces of state, you used names/references.
18:12:23	<monochrom>	err I guess it's "liftAn :: Proxy (n :: Nat) -> ...".
18:13:28	→	wootehfoot joins (~wootehfoo@user/wootehfoot)
18:14:42	<monochrom>	I'm going to name my idea "indexed state monads" just so as to confuse everyone who already knows "indexed monads". >:)
18:15:51	×	vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 260 seconds)
18:18:04	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:770a:5d50:c269:721e) (Remote host closed the connection)
18:18:22	→	yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:379c:2082:939f:f0c9)
18:19:41	→	toeffel joins (~toeffel@user/toeffel)
18:20:36	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
18:21:33	<mrianbloom>	It just seems like if the state type itself is unique, you should be able to lift to the appropriate one.
18:22:00	×	Alex_test quits (~al_test@178.34.163.186) (Ping timeout: 268 seconds)
18:22:09	→	Pickchea joins (~private@user/pickchea)
18:22:10	<mrianbloom>	I guess that requires incoherent instances...
18:22:43	×	AlexZenon quits (~alzenon@178.34.163.186) (Ping timeout: 252 seconds)
18:23:49	×	AlexNoo quits (~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds)
18:24:01	×	epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
18:24:22	×	benin0 quits (~benin@183.82.205.66) (Quit: The Lounge - https://thelounge.chat)
18:25:34	→	sammelweis joins (~quassel@mobile-166-176-249-17.mycingular.net)
18:26:08	→	jmdaemon joins (~jmdaemon@user/jmdaemon)
18:26:13	→	vglfr joins (~vglfr@145.224.94.248)
18:29:00	×	yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:379c:2082:939f:f0c9) (Ping timeout: 252 seconds)
18:30:36	→	Wenji joins (~Wenji@mainpc.lha.sgsnet.se)
18:32:46	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 260 seconds)
18:33:02	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
18:33:39	×	swamp_ quits (~zmt00@user/zmt00) (Quit: Leaving)
18:34:49	<qrpnxz>	monochrom: i think ya meant MonadState X m and so on
18:36:11	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
18:36:46	→	Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:37:22	→	merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
18:37:45	×	Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
18:38:00	<qrpnxz>	as for picking a state. You can use type applications or sigs to disambiguate, or unify the state into one object and then use `zoom` from lens to pick what you want. Some eff systems also come with plugins that will help GHC figure out the state you want without having to annotate.
18:38:02	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
18:39:02	→	zmt00 joins (~zmt00@user/zmt00)
18:39:14	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
18:39:34	Lord_of_Life_	is now known as Lord_of_Life
18:39:44	<mrianbloom>	qrpnxz: I see. If I want to stick with monad transformers how would I specify a constraint that says that the stack contains a specific state: MonadState state m?
18:40:01	<qrpnxz>	just like that: MonadState state m
18:41:21	<qrpnxz>	you can also make the states explicit as arguments to a lambda, do your business, and then when you are done wrap the lambdas back into StateT again and hoist them into your stack.
18:42:15	<qrpnxz>	it depends how much you are going to touch state and the nature of the function which of these techniques will come more natural
18:42:28	←	jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
18:42:31	×	merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
18:42:37	<mrianbloom>	So I believe that's what I'm doing right now (specifying a MonadState constraint) but I get a type error saying that its trying to match the state to the top of the stack.
18:43:02	<qrpnxz>	even when you annotate the state type at the use site?
18:43:18	<qrpnxz>	it should skip the non-matching state and try the other one if you annotate
18:43:35	<qrpnxz>	post some code maybe?
18:45:19	<mrianbloom>	Its before I get to the use site unfortunately. I'm basically saying that in order to use this function over a monad, the monad must have this constraint and then when I try to use the function the constraint causes the type error. Sorry if this is convoluted but I don't have example code lined up yet, its for a project at work.
18:45:58	<qrpnxz>	what does the error look like
18:46:26	<mrianbloom>	https://www.irccloud.com/pastebin/Q2Ix5qkL/
18:46:56	→	slack1256 joins (~slack1256@191.125.227.209)
18:46:59	×	fserucas quits (~fserucas@89.214.116.132) (Ping timeout: 255 seconds)
18:47:02	<mrianbloom>	So I believe the DMap is the upper layer, the CollectorEnvironment is the next layer down.
18:47:31	<qrpnxz>	can you paste your transformer stack?
18:47:56	<mrianbloom>	https://www.irccloud.com/pastebin/AEDuy3mF/
18:48:50	<mrianbloom>	Sorry lots of type aliases here, CollectorT is an alias for StateT and so is EnvT.
18:48:52	→	jakalx joins (~jakalx@base.jakalx.net)
18:49:07	×	slac49339 quits (~slack1256@186.11.99.53) (Ping timeout: 252 seconds)
18:49:36	<mrianbloom>	https://www.irccloud.com/pastebin/mllPBRuO/
18:49:48	<mrianbloom>	I'm in deeep.
18:50:23	<monochrom>	Is there anything that stops you from merging the two StateT's into one?
18:51:01	×	bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
18:52:14	<mrianbloom>	It's just a seperation of concerns thing really. I construct algebras that evaluate a term structure and the SubstEnv type is just a general type for dealing with call-by-value variables while the collector is really specific to this function.
18:53:34	<mrianbloom>	Like I said, I wish I had better example code that I can share. I'm hoping to find out the most common way of handling this issue without writing a ton of boilerplate.
18:53:36	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving)
18:55:10	→	nate4 joins (~nate@98.45.169.16)
18:57:08	<qrpnxz>	i have no idea why it's trying to match "Data.Dependent.Map.Internal.DMap" is you told it to match "CollectorEnvironment HyDeed"
18:57:10	→	lyle joins (~lyle@104.246.145.85)
18:57:15	<qrpnxz>	*if
18:58:17	<qrpnxz>	like, that's not even the other State, just a random third type that it has no business being. Somewhere you are doing a get or put or modify that's implying a non-sense type
18:58:38	×	trillp quits (~trillp@69.233.98.238) (Quit: nyaa~)
18:59:00	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
18:59:12	<lyle>	It seems impossible to open a file for reading and writing at the same time (I get resource busy file is locked.) Is there a way around this? Hard links don't help.
18:59:15	<mrianbloom>	qrpnxz: I'm actually using a type family to describe the constraint so that might be the source of the problem...
18:59:20	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
19:00:11	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds)
19:00:26	<monochrom>	Separation of concerns to me means both what you said and also replace the generic MonadState by two distinct custom-made domain-specific classes MonadSubStEnv and MonadTheOtherOne so now there is no room for confusion.
19:00:47	<monochrom>	Seriously, the very word "MonadState" is the anti-thesis to separation of concerns.
19:01:15	<qrpnxz>	lyle: maybe this: https://stackoverflow.com/questions/5053135/resource-busy-file-is-locked-error-in-haskell
19:01:36	<monochrom>	Two "states" for two entirely orthogonal purposes get lumped into the same "MonadState". That is called melting pot of concerns.
19:01:56	<qrpnxz>	excellent point mono
19:02:12	<qrpnxz>	That's actually the proper way to go i forgot
19:02:15	<mrianbloom>	I see. I started doing that and just felt like I was writing a bunch of boilerplate just to get the type system to select the right instance.
19:02:41	<qrpnxz>	i mean, it's is boiler plate, but i think you can write a universal pass-through instance for those
19:02:46	<qrpnxz>	*it is
19:03:24	<monochrom>	I don't see boilerplate. I see structural scaffolding.
19:03:25	<qrpnxz>	unless you have ContT in your stack i guess
19:03:51	<monochrom>	Scaffolding that defines structures and roles.
19:04:33	×	dsrt^ quits (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
19:04:36	<monochrom>	And you can cut out 50% of that if you don't go polymorphic so you don't even have those two classes.
19:04:54	<mrianbloom>	Ok, so let's say I change those type aliases to newtypes or data. Which classes would I need to instantiate to make them play well with the rest of mtl?
19:05:13	×	szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
19:05:58	<monochrom>	I'll tell you what I did to toy interpreters in my course.
19:06:26	×	chimp_ quits (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Read error: Connection reset by peer)
19:06:47	→	chimp_ joins (~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
19:07:00	→	AlexNoo joins (~AlexNoo@178.34.163.186)
19:07:21	→	Alex_test joins (~al_test@178.34.163.186)
19:07:25	<monochrom>	On an assignment, I have the equiv of Writer. I rename it to TracyModel so it is ungooglable, and also it's a good name for the semantica model of a language that has a "trace" command.
19:08:15	<monochrom>	I create the corresponding TracyMonad class to generalize TracyModel. But there is only one reason:
19:09:29	<monochrom>	I declare the interpreter type to be "TracyMonad m => Expr -> m Value" to forbid students from using the TracyModel data constructor directly.
19:09:36	<monochrom>	That's really the only reason.
19:09:59	→	AlexZenon joins (~alzenon@178.34.163.186)
19:10:01	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
19:10:06	×	gustik quits (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) (Quit: Leaving)
19:10:07	<mrianbloom>	I see.
19:10:22	<darkling>	I feel that there's an unexplored Thunderbirds reference to shoe-horn into that assignment. :)
19:11:04	×	hays quits (rootvegeta@fsf/member/hays) (Remote host closed the connection)
19:11:16	<mrianbloom>	So do you remember which other classes TracyModel needs to instantiate?
19:11:19	→	rockymarine joins (~rocky@user/rockymarine)
19:11:21	<monochrom>	I want them to see there is a low level of using TracyModel itself to build up pure, >>=, and the TracyMonad method "msg". And then there is a high level of building upon those for the interpreter itself.
19:12:01	<monochrom>	Now, on the exam.
19:13:06	<monochrom>	On the exam, I have the equiv of StateT Writer, except I define the merged type, I haven't taught them StateT, but they know State and Tracy.
19:13:19	→	eikke joins (~NicolasT@user/NicolasT)
19:13:28	<monochrom>	This time I don't bother creating a class.
19:13:37	→	neceve joins (~quassel@2.26.93.14)
19:13:52	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:13:54	<monochrom>	I just have part (a) "implement pure >>= get put msg for this combined type".
19:14:16	<monochrom>	And part (b) "using only those functions, not the type itself, complete the interpreter".
19:14:27	<qrpnxz>	mrianbloom: instances are for: 1) you have an different implementation. 2) you want automatic lifting to transformers above that effect
19:14:47	<monochrom>	The exam is marked by humans. I can give instructions and see whether the students comply.
19:16:01	<monochrom>	The assignment is automarked. I use statically-checked parametricity to force the desired solution.
19:17:10	<monochrom>	You do not need polymorphism until you need it.
19:17:41	<Rembane>	But it's quite cool
19:17:42	<qrpnxz>	amen
19:17:54	<qrpnxz>	i should get that on a plaque for my wall
19:18:06	<qrpnxz>	"You do not need polymoriphism until you need it."
19:18:07	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
19:18:27	<monochrom>	You may also like: https://www.vex.net/~trebla/humour/tautologies.html :)
19:18:39	<mrianbloom>	qprnxz: I think automatic lifting is really all I want.
19:18:57	<qrpnxz>	"0. “X is like Y” can always be argued to be true." i already disagree :(
19:19:31	<monochrom>	Seriously, if you have a substitution environment for your interpreter, I very much doubt that "get" and "put" are the right level in the first place.
19:19:57	<qrpnxz>	"Every inexplicable problem is caused by something you don't think is the cause." another good one
19:20:24	<monochrom>	The real operations of a substutition environment are "add" and "apply". "get" and "put" are implementation details that shouldn't be visible.
19:21:11	×	neceve quits (~quassel@2.26.93.14) (Ping timeout: 260 seconds)
19:21:14	→	eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:21:33	<monochrom>	My TracyMonad can have an addition excuse for its existence because at least I do have another instance in mind, namely IO.
19:21:53	<monochrom>	What is the right of existence for MonadState in an interpreter?
19:24:05	<dolio>	Certainly, MonadState constraints are not an adequate substitute for named references.
19:24:08	<qrpnxz>	if all your state lives there, it makes sense. Or local state of that function that you run there as well
19:24:09	×	Wenji quits (~Wenji@mainpc.lha.sgsnet.se) (Quit: Client closed)
19:24:20	<dolio>	It is like having a single global variable for each type.
19:24:33	<dolio>	And expecting the variable to be resolved by the type.
19:25:14	<qrpnxz>	that's why i like the zoom approach, then you have only one state to worry about, and the substates have names
19:25:27	<dolio>	And in the presence of polymorphism, you may not know that two different abstract variable references are actually references to the same variable.
19:25:29	<qrpnxz>	and you can even have multiple of the same type
19:25:47	×	eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
19:25:47	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
19:26:26	×	cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds)
19:26:53	→	cheater joins (~Username@user/cheater)
19:27:29	×	toeffel quits (~toeffel@user/toeffel) (Quit: quit)
19:29:33	→	rockymarine joins (~rocky@user/rockymarine)
19:29:59	<monochrom>	That reminds me of what procedure calls were compiled to, before Peter Naur said "just use a stack".
19:30:48	<monochrom>	Every procedure was given a global word-size variable for storing the return address when called.
19:31:24	<monochrom>	This was why no one was ready to believe that Naur could do recursion.
19:32:09	<dolio>	Yeah.
19:32:11	<monochrom>	Also am I the only one who suspect that you should s/State/Reader/ for substitution environments?
19:34:20	<Franciman>	and then haskellers said: just use a thunk
19:34:22	<Franciman>	:)
19:34:53	<Franciman>	well maybe to be quite frank it was LazyML the language haskell is inspired from?
19:34:56	<Franciman>	or miranda
19:36:13	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:36:13	<monochrom>	Certainly Miranda had a great influence.
19:36:16	<mrianbloom>	monochrom: There are functions around those for retrieving and adding to the environment but I'm not sure if Reader will work. The collector is just an append only monad that gives you back a unique id for each item.
19:36:50	<monochrom>	To a large extent Miranda : Haskell :: Bell Unix : BSD Unix :: PGP : GPG :: ...
19:37:29	→	geekosaur joins (~geekosaur@xmonad/geekosaur)
19:39:17	<monochrom>	LazyML doesn't go lazy by default, right? It says instead you specify "suspend" and "force".
19:39:21	<qrpnxz>	if they had a transparent stack, they could hoist a readerT into stateT, which would be nice because then you could see the state is not been mutated, but i doubt it's worth it
19:39:48	<qrpnxz>	if the monad is totally opaque and you just have constraints, then you also get that feature
19:40:00	<qrpnxz>	but being poly on the monad can be terrible for performance
19:40:29	→	hgolden joins (~Howard@cpe-172-251-233-141.socal.res.rr.com)
19:40:32	<qrpnxz>	actually even in that case you don't get that feature, because StateT doesn't have a Reader instance
19:40:36	<qrpnxz>	for some reason
19:40:46	<qrpnxz>	so you'd need another transformer that did have it
19:41:20	<monochrom>	Probably the "local" method doesn't make a lot of sense for StateT.
19:42:05	<monochrom>	But now I have to mark my StateT Writer question haha.
19:44:29	<monochrom>	OK I have a student who implemented >>= perfectly but goofed up on get, could not do put.
19:45:14	<qrpnxz>	you got two options for local: local f ma = get >>= \s -> put (f s) >> ma >> (put s <\|> pure ())
19:45:16	→	hays joins (rootvegeta@fsf/member/hays)
19:47:41	<qrpnxz>	monochrom: so any student curious enough to look at `transformers` should have no problem with your exam?
19:48:00	<Rembane>	transformers! More than meets the eye!
19:48:18	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
19:54:57	×	wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
19:55:16	×	ChanServ quits (ChanServ@services.libera.chat) (.net .split)
19:55:16	×	litharge quits (litharge@libera/bot/litharge) (.net .split)
19:55:16	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (.net .split)
19:55:16	×	gmg quits (~user@user/gehmehgeh) (.net .split)
19:55:16	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (.net .split)
19:55:16	×	stiell quits (~stiell@gateway/tor-sasl/stiell) (.net .split)
19:55:16	×	ec quits (~ec@gateway/tor-sasl/ec) (.net .split)
19:55:16	×	FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (.net .split)
19:55:16	×	chexum quits (~quassel@gateway/tor-sasl/chexum) (.net .split)
19:55:16	×	califax quits (~califax@user/califx) (.net .split)
19:55:16	×	adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (.net .split)
19:55:16	×	jpds quits (~jpds@gateway/tor-sasl/jpds) (.net .split)
19:55:16	×	AlexZenon quits (~alzenon@178.34.163.186) (.net .split)
19:55:16	×	Guest4971 quits (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (.net .split)
19:55:16	×	jludwig quits (~justin@li657-110.members.linode.com) (.net .split)
19:55:16	×	img quits (~img@user/img) (.net .split)
19:55:16	×	gambpang quits (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net) (.net .split)
19:55:16	×	Luj quits (~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1) (.net .split)
19:55:16	×	__monty__ quits (~toonn@user/toonn) (.net .split)
19:55:16	×	mima quits (~mmh@aftr-62-216-207-250.dynamic.mnet-online.de) (.net .split)
19:55:16	×	zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (.net .split)
19:55:16	×	phma quits (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (.net .split)
19:55:16	×	nerdypepper quits (~nerdypepp@user/nerdypepper) (.net .split)
19:55:16	×	gentauro quits (~gentauro@user/gentauro) (.net .split)
19:55:16	×	takuan quits (~takuan@178-116-218-225.access.telenet.be) (.net .split)
19:55:16	×	noteness quits (~noteness@user/noteness) (.net .split)
19:55:16	×	notzmv quits (~zmv@user/notzmv) (.net .split)
19:55:16	×	terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (.net .split)
19:55:16	×	lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (.net .split)
19:55:17	×	rburkholder quits (~blurb@96.45.2.121) (.net .split)
19:55:17	×	bah quits (~bah@l1.tel) (.net .split)
19:55:17	×	cjay quits (cjay@nerdbox.nerd2nerd.org) (.net .split)
19:55:17	×	Henkru quits (henkru@kapsi.fi) (.net .split)
19:55:17	×	xsarnik quits (xsarnik@lounge.fi.muni.cz) (.net .split)
19:55:17	×	hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (.net .split)
19:55:17	×	Philonous_ quits (~Philonous@user/philonous) (.net .split)
19:55:17	×	ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (.net .split)
19:55:17	×	goldstein quits (~goldstein@goldstein.rs) (.net .split)
19:55:17	×	rembo10_ quits (~rembo10@main.remulis.com) (.net .split)
19:55:17	×	einfair_ quits (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (.net .split)
19:55:17	×	opqdonut quits (opqdonut@pseudo.fixme.fi) (.net .split)
19:55:17	×	gff_ quits (~gff@user/gff) (.net .split)
19:55:17	×	Jonno_FT1 quits (~come@api.carswap.me) (.net .split)
19:55:17	×	dysfigured quits (dfg@dfg.rocks) (.net .split)
19:55:17	×	aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (.net .split)
19:55:17	×	kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (.net .split)
19:55:17	×	glider quits (~glider@user/glider) (.net .split)
19:55:17	×	bollu quits (~bollu@159.65.151.13) (.net .split)
19:55:17	×	MironZ quits (~MironZ@nat-infra.ehlab.uk) (.net .split)
19:55:17	×	ell quits (~ellie@user/ellie) (.net .split)
19:55:17	×	tcard_ quits (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (.net .split)
19:55:17	×	qhong quits (~qhong@rescomp-21-400677.stanford.edu) (.net .split)
19:55:17	×	dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (.net .split)
19:55:17	×	inversed quits (~inversed@90.209.137.56) (.net .split)
19:55:17	×	Me-me quits (~me-me@user/me-me) (.net .split)
19:55:17	×	asivitz quits (uid178348@id-178348.tinside.irccloud.com) (.net .split)
19:55:17	×	crns quits (~netcrns@user/crns) (.net .split)
19:55:17	×	bjobjo quits (~bjobjo@user/bjobjo) (.net .split)
19:55:17	×	gnyeki quits (~gnyeki@user/gnyeki) (.net .split)
19:55:17	×	Patternmaster quits (~georg@user/Patternmaster) (.net .split)
19:55:17	×	hololeap quits (~quassel@user/hololeap) (.net .split)
19:55:17	×	shailangsa quits (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (.net .split)
19:55:17	×	raym quits (~raym@user/raym) (.net .split)
19:55:17	×	econo quits (uid147250@user/econo) (.net .split)
19:55:17	×	acidjnk quits (~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de) (.net .split)
19:55:17	×	xff0x quits (~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07) (.net .split)
19:55:17	×	Inoperable quits (~PLAYER_1@fancydata.science) (.net .split)
19:55:17	×	michalz quits (~michalz@185.246.204.72) (.net .split)
19:55:17	×	Linux quits (~kernel@user/OpenSource) (.net .split)
19:55:17	×	sibnull[m] quits (~sibnullma@2001:470:69fc:105::1:1291) (.net .split)
19:55:17	×	troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (.net .split)
19:55:17	×	mjacob quits (~mjacob@adrastea.uberspace.de) (.net .split)
19:55:17	×	gawen quits (~gawen@user/gawen) (.net .split)
19:55:17	×	Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (.net .split)
19:55:17	×	[Leary] quits (~Leary]@user/Leary/x-0910699) (.net .split)
19:55:17	×	immae quits (~immae@2a01:4f8:141:53e7::) (.net .split)
19:55:17	×	whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (.net .split)
19:55:17	×	Ranhir quits (~Ranhir@157.97.53.139) (.net .split)
19:55:18	×	ajb_ quits (~ajb@mimas.whatbox.ca) (.net .split)
19:55:18	×	megaTherion quits (~therion@unix.io) (.net .split)
19:55:18	×	darxun quits (sid504814@id-504814.tinside.irccloud.com) (.net .split)
19:55:18	×	Techcable quits (~Techcable@user/Techcable) (.net .split)
19:55:18	×	polykernel[m] quits (~polykerne@user/polykernel) (.net .split)
19:55:18	×	ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (.net .split)
19:55:18	×	lechner quits (lechner@debian/lechner) (.net .split)
19:55:18	×	siers quits (~ij@user/ij) (.net .split)
19:55:18	×	fryguybob quits (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (.net .split)
19:55:18	×	drlkf quits (~drlkf@chat.drlkf.net) (.net .split)
19:55:18	×	hugo quits (znc@verdigris.lysator.liu.se) (.net .split)
19:55:18	×	ilichu[m] quits (~ilichumat@2001:470:69fc:105::2:6afb) (.net .split)
19:55:18	×	arkeet quits (~arkeet@moriya.ca) (.net .split)
19:55:18	×	kitty4 quits (~kitty@096-039-147-043.res.spectrum.com) (.net .split)
19:55:18	×	pareto-optimal-d quits (~pareto-op@2001:470:69fc:105::1:b61f) (.net .split)
19:55:18	×	mimmy quits (~mimmy@2604:a880:cad:d0::3e:1001) (.net .split)
19:55:18	×	Moyst__ quits (~moyst@user/moyst) (.net .split)
19:55:18	×	marquis_andras quits (~marquis_a@27-33-131-201.tpgi.com.au) (.net .split)
19:55:18	×	bcoppens quits (~bartcopp@vpn2.bartcoppens.be) (.net .split)
19:55:18	×	vulpine quits (xfnw@tilde.team) (.net .split)
19:55:18	×	tinwood quits (~tinwood@canonical/tinwood) (.net .split)
19:55:18	×	Teacup quits (~teacup@user/teacup) (.net .split)
19:55:18	×	m1dnight quits (~christoph@78-22-0-121.access.telenet.be) (.net .split)
19:55:18	×	lagash quits (lagash@2605:6400:20:b4:9c76:1538:3398:ce71) (.net .split)
19:55:18	×	tubogram44 quits (~tubogram@user/tubogram) (.net .split)
19:55:18	×	Axman6 quits (~Axman6@user/axman6) (.net .split)
19:55:18	×	nckx quits (~nckx@tobias.gr) (.net .split)
19:55:18	×	mncheck quits (~mncheck@193.224.205.254) (.net .split)
19:55:18	×	JimL quits (~quassel@89-162-2-132.fiber.signal.no) (.net .split)
19:55:18	×	jamestmartin quits (~james@jtmar.me) (.net .split)
19:55:18	×	crazazy[m] quits (~crazazyma@2001:470:69fc:105::2:6bd9) (.net .split)
19:55:18	×	SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (.net .split)
19:55:18	×	idnar quits (sid12240@debian/mithrandi) (.net .split)
19:55:18	×	V quits (~v@ircpuzzles/2022/april/winner/V) (.net .split)
19:55:18	×	rune quits (sid21167@id-21167.ilkley.irccloud.com) (.net .split)
19:55:18	×	teehemkay quits (sid14792@id-14792.lymington.irccloud.com) (.net .split)
19:55:18	×	gdd1 quits (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) (.net .split)
19:55:18	×	Flow quits (~none@gentoo/developer/flow) (.net .split)
19:55:18	×	Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (.net .split)
19:55:18	×	krjst quits (~krjst@2604:a880:800:c1::16b:8001) (.net .split)
19:55:18	×	jean-paul[m] quits (~jean-paul@2001:470:69fc:105::d1ab) (.net .split)
19:55:18	×	asm quits (~alexander@user/asm) (.net .split)
19:55:18	×	Guest1698 quits (~Guest1698@20.83.116.49) (.net .split)
19:55:18	×	danso quits (danso@danso.ca) (.net .split)
19:55:18	×	andjjj23 quits (~irc@107.170.228.47) (.net .split)
19:55:18	×	dka_ quits (~code-is-a@ns3059207.ip-193-70-33.eu) (.net .split)
19:55:18	×	NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (.net .split)
19:55:18	×	tired quits (~tired@user/tired) (.net .split)
19:55:18	×	kawen quits (~quassel@static.208.191.216.95.clients.your-server.de) (.net .split)
19:55:18	×	sclv quits (sid39734@haskell/developer/sclv) (.net .split)
19:55:18	×	sunarch quits (sid526836@user/sunarch) (.net .split)
19:55:18	×	mxs quits (~mxs@user/mxs) (.net .split)
19:55:18	×	dequbed quits (~dequbed@banana-new.kilobyte22.de) (.net .split)
19:55:18	×	scav quits (sid309693@user/scav) (.net .split)
19:55:18	×	parseval quits (sid239098@id-239098.helmsley.irccloud.com) (.net .split)
19:55:18	×	gaze___ quits (sid387101@id-387101.helmsley.irccloud.com) (.net .split)
19:55:19	×	lambdabot quits (~lambdabot@haskell/bot/lambdabot) (.net .split)
19:55:19	×	Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (.net .split)
19:55:19	×	shinjipf quits (~shinjipf@2a02:c207:2082:6685::1) (.net .split)
19:55:19	×	arahael quits (~arahael@60-240-64-125.tpgi.com.au) (.net .split)
19:55:19	×	mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (.net .split)
19:55:19	×	raoul quits (~raoul@95.179.203.88) (.net .split)
19:55:19	×	jackhill quits (~jackhill@kalessin.dragonsnail.net) (.net .split)
19:55:19	×	APic quits (apic@apic.name) (.net .split)
19:55:19	×	adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (.net .split)
19:55:19	×	koolazer quits (~koo@user/koolazer) (.net .split)
19:55:19	×	haveo_ quits (~haveo@sl35.iuwt.fr) (.net .split)
19:55:19	×	eldritch quits (~eldritch@user/eldritch) (.net .split)
19:55:19	×	another-axel-bee quits (~axel-bee@alexbenishek.com) (.net .split)
19:55:19	×	dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (.net .split)
19:55:19	×	taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (.net .split)
19:55:19	×	alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (.net .split)
19:55:19	×	jakalx quits (~jakalx@base.jakalx.net) (.net .split)
19:55:19	×	hgolden quits (~Howard@cpe-172-251-233-141.socal.res.rr.com) (.net .split)
19:55:19	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (.net .split)
19:55:19	×	cheater quits (~Username@user/cheater) (.net .split)
19:55:19	×	eikke quits (~NicolasT@user/NicolasT) (.net .split)
19:55:19	×	Alex_test quits (~al_test@178.34.163.186) (.net .split)
19:55:19	×	chimp_ quits (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (.net .split)
19:55:19	×	coot quits (~coot@213.134.176.158) (.net .split)
19:55:19	×	Midjak quits (~Midjak@82.66.147.146) (.net .split)
19:55:19	×	Tuplanolla quits (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (.net .split)
19:55:19	×	titibandit quits (~titibandi@xdsl-87-78-66-58.nc.de) (.net .split)
19:55:19	×	coldtom quits (~coldtom@coldrick.cc) (.net .split)
19:55:19	×	foul_owl quits (~kerry@23.82.194.109) (.net .split)
19:55:19	×	Cale quits (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (.net .split)
19:55:19	×	_________ quits (~nobody@user/noodly) (.net .split)
19:55:19	×	Kaiepi quits (~Kaiepi@142.68.249.28) (.net .split)
19:55:19	×	werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (.net .split)
19:55:19	×	kilolympus quits (~kilolympu@90.203.82.22) (.net .split)
19:55:19	×	eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (.net .split)
19:55:19	×	td_ quits (~td@94.134.91.35) (.net .split)
19:55:19	×	dcoutts_ quits (~duncan@host86-184-242-102.range86-184.btcentralplus.com) (.net .split)
19:55:19	×	shapr quits (~user@68.54.166.125) (.net .split)
19:55:19	×	dwt_ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (.net .split)
19:55:19	×	madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (.net .split)
19:55:19	×	motherfsck quits (~motherfsc@user/motherfsck) (.net .split)
19:55:19	×	Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (.net .split)
19:55:19	×	zaquest quits (~notzaques@5.130.79.72) (.net .split)
19:55:19	×	mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (.net .split)
19:55:19	×	tv quits (~tv@user/tv) (.net .split)
19:55:19	×	koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (.net .split)
19:55:19	×	Hecate quits (~mariposa@user/hecate) (.net .split)
19:55:19	×	TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (.net .split)
19:55:19	×	acarrico quits (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (.net .split)
19:55:19	×	wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (.net .split)
19:55:19	×	leah_ quits (lp0@heathens.club) (.net .split)
19:55:19	×	thaumavorio quits (~thaumavor@thaumavor.io) (.net .split)
19:55:19	×	tessier quits (~treed@98.171.210.130) (.net .split)
19:55:19	×	Rembane quits (~Rembane@li346-36.members.linode.com) (.net .split)
19:55:19	×	dumptruckman quits (~dumptruck@23-239-13-163.ip.linodeusercontent.com) (.net .split)
19:55:19	×	robbert-vdh quits (~robbert@robbertvanderhelm.nl) (.net .split)
19:55:19	×	carbolymer quits (~carbolyme@dropacid.net) (.net .split)
19:55:19	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (.net .split)
19:55:19	×	rockymarine quits (~rocky@user/rockymarine) (.net .split)
19:55:19	×	AlexNoo quits (~AlexNoo@178.34.163.186) (.net .split)
19:55:19	×	lyle quits (~lyle@104.246.145.85) (.net .split)
19:55:19	×	sammelweis quits (~quassel@mobile-166-176-249-17.mycingular.net) (.net .split)
19:55:19	×	Pickchea quits (~private@user/pickchea) (.net .split)
19:55:19	×	ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (.net .split)
19:55:19	×	tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (.net .split)
19:55:19	×	MoC quits (~moc@user/moc) (.net .split)
19:55:19	×	gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (.net .split)
19:55:19	×	machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (.net .split)
19:55:19	×	mrmr quits (~mrmr@user/mrmr) (.net .split)
19:55:19	×	chronon quits (~chronon@user/chronon) (.net .split)
19:55:19	×	jargon quits (~jargon@184.101.185.66) (.net .split)
19:55:20	×	ystael quits (~ystael@user/ystael) (.net .split)
19:55:20	×	Colere quits (~colere@about/linux/staff/sauvin) (.net .split)
19:55:20	×	n8chan quits (~nate@98.45.169.16) (.net .split)
19:55:20	×	perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (.net .split)
19:55:20	×	adium quits (adium@user/adium) (.net .split)
19:55:20	×	cyphase quits (~cyphase@user/cyphase) (.net .split)
19:55:20	×	kmein quits (~weechat@user/kmein) (.net .split)
19:55:20	×	cods quits (~fred@82-65-232-44.subs.proxad.net) (.net .split)
19:55:20	×	RMSBach quits (~guygastin@137.184.131.156) (.net .split)
19:55:20	×	sloorush quits (~sloorush@52.187.184.81) (.net .split)
19:55:20	×	red-snail1 quits (~snail@static.151.210.203.116.clients.your-server.de) (.net .split)
19:55:20	×	loonycyborg_ quits (loonycybor@chantal.wesnoth.org) (.net .split)
19:55:20	×	ncf quits (~n@monade.li) (.net .split)
19:55:20	×	Igloo quits (~ian@matrix.chaos.earth.li) (.net .split)
19:55:20	×	mzan quits (~quassel@mail.asterisell.com) (.net .split)
19:55:20	×	Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (.net .split)
19:55:20	×	gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (.net .split)
19:55:20	×	zachel quits (~zachel@user/zachel) (.net .split)
19:55:20	×	erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (.net .split)
19:55:20	×	xstill_ quits (xstill@fimu/xstill) (.net .split)
19:55:20	×	mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (.net .split)
19:55:20	×	monochrom quits (trebla@216.138.220.146) (.net .split)
19:55:20	×	wrengr quits (~wrengr@201.59.83.34.bc.googleusercontent.com) (.net .split)
19:55:20	×	LambdaDuck quits (~anka@ksit.fixme.fi) (.net .split)
19:55:20	×	martin02 quits (~silas@141.84.69.76) (.net .split)
19:55:20	×	pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca) (.net .split)
19:55:20	×	tomgus1 quits (~tomgus1@176.254.19.153) (.net .split)
19:55:20	×	Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (.net .split)
19:55:20	×	madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (.net .split)
19:55:20	×	haskl quits (~haskl@user/haskl) (.net .split)
19:55:20	×	maerwald quits (~maerwald@user/maerwald) (.net .split)
19:55:20	×	srk quits (~sorki@user/srk) (.net .split)
19:55:20	×	fiddlerwoaroof quits (~fiddlerwo@user/fiddlerwoaroof) (.net .split)
19:55:20	×	cynomys quits (~cynomys@user/cynomys) (.net .split)
19:55:20	×	justache quits (~justache@user/justache) (.net .split)
19:55:20	×	ridcully quits (~ridcully@pd951fa32.dip0.t-ipconnect.de) (.net .split)
19:55:20	×	blades quits (~blades@204.48.29.163) (.net .split)
19:55:20	×	sweater1 quits (~sweater@206.81.18.26) (.net .split)
19:55:20	×	dfordivam1 quits (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (.net .split)
19:55:20	×	darkling quits (~darkling@savella.carfax.org.uk) (.net .split)
19:55:20	×	pie_ quits (~pie_bnc@user/pie/x-2818909) (.net .split)
19:55:20	×	avpx quits (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (.net .split)
19:55:20	×	c_wraith quits (~c_wraith@adjoint.us) (.net .split)
19:55:20	×	macabre quits (~m@161.35.15.236) (.net .split)
19:55:20	×	mcglk quits (~mcglk@131.191.49.120) (.net .split)
19:55:20	×	heath quits (~heath@user/heath) (.net .split)
19:55:20	×	barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (.net .split)
19:55:20	×	byorgey quits (~byorgey@155.138.238.211) (.net .split)
19:55:20	×	caubert quits (~caubert@user/caubert) (.net .split)
19:55:20	×	Ristovski quits (~Ristovski@hellomouse/perf/ristovski) (.net .split)
19:55:20	×	tolt quits (~weechat-h@li219-154.members.linode.com) (.net .split)
19:55:20	×	df quits (~ben@justworks.xyz) (.net .split)
19:55:20	×	tstat quits (~tstat@user/tstat) (.net .split)
19:55:20	×	tdammers quits (~tdammers@77.109.72.118.res.static.edpnet.net) (.net .split)
19:55:20	×	simpleauthority quits (~simpleaut@user/simpleauthority) (.net .split)
19:55:20	×	kritzefitz quits (~kritzefit@debian/kritzefitz) (.net .split)
19:55:20	×	energizer quits (~energizer@user/energizer) (.net .split)
19:55:20	×	kitzman quits (~kitzman@user/dekenevs) (.net .split)
19:55:20	×	andreas303 quits (andreas303@ip227.orange.bnc4free.com) (.net .split)
19:55:20	×	noctux1 quits (KOx7x4g3XX@karif.server-speed.net) (.net .split)
19:55:20	×	kosmikus quits (~kosmikus@nullzig.kosmikus.org) (.net .split)
19:55:20	×	Cheery quits (~cheery@7-239-179-185.static.tentacle.fi) (.net .split)
19:55:20	×	mcfrdy quits (~mcfrdy@user/mcfrdy) (.net .split)
19:55:20	×	Profpatsch quits (~Profpatsc@static.88-198-193-255.clients.your-server.de) (.net .split)
19:55:20	×	marienz quits (marienz@libera/staff/marienz) (.net .split)
19:55:20	×	tureba quits (~tureba@tureba.org) (.net .split)
19:55:20	×	hexology quits (~hexology@user/hexology) (.net .split)
19:55:20	×	ajf___[m] quits (~ajfmatrix@2001:470:69fc:105::2:5be3) (.net .split)
19:55:20	×	vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (.net .split)
19:55:21	×	alp quits (~alp@user/alp) (.net .split)
19:55:21	×	monadplus[m]1 quits (~arnauabel@2001:470:69fc:105::2:6085) (.net .split)
19:55:21	×	bonz060_ quits (~quassel@2001:bc8:47a4:a23::1) (.net .split)
19:55:21	×	jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (.net .split)
19:55:21	×	rubin55 quits (sid175221@id-175221.hampstead.irccloud.com) (.net .split)
19:55:21	×	iphy quits (sid67735@id-67735.lymington.irccloud.com) (.net .split)
19:55:21	×	Deide1 quits (~deide@user/deide) (.net .split)
19:55:21	×	Trattue quits (~Trattue@152.70.182.158) (.net .split)
19:55:21	×	Zemyla quits (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (.net .split)
19:55:21	×	dminuoso quits (~dminuoso@user/dminuoso) (.net .split)
19:55:21	×	markasoftware quits (~quassel@107.161.26.124) (.net .split)
19:55:21	×	Logio quits (em@kapsi.fi) (.net .split)
19:55:21	×	piele quits (~piele@tbonesteak.creativeserver.net) (.net .split)
19:55:21	×	akhesacaro quits (~caro@212-83-144-58.rev.poneytelecom.eu) (.net .split)
19:55:21	×	derelict quits (~derelict@user/derelict) (.net .split)
19:55:21	×	kronicmage quits (user92236@neotame.csclub.uwaterloo.ca) (.net .split)
19:55:21	×	T_S_ quits (sid501726@id-501726.uxbridge.irccloud.com) (.net .split)
19:55:21	×	S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (.net .split)
19:55:21	×	amir quits (sid22336@user/amir) (.net .split)
19:55:21	×	nurupo quits (~nurupo.ga@user/nurupo) (.net .split)
19:55:21	×	WaxCPU quits (Andrew@user/AndrewYu) (.net .split)
19:55:21	×	TravisAthougies[ quits (~tathougie@2001:470:69fc:105::2:6fbd) (.net .split)
19:55:21	×	aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (.net .split)
19:55:21	×	Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (.net .split)
19:55:21	×	heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (.net .split)
19:55:21	×	cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (.net .split)
19:55:21	×	cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (.net .split)
19:55:21	×	sektor[m] quits (~sektor@2001:470:69fc:105::2:3f60) (.net .split)
19:55:21	×	conjunctive quits (sid433686@id-433686.helmsley.irccloud.com) (.net .split)
19:55:21	×	meinside quits (uid24933@id-24933.helmsley.irccloud.com) (.net .split)
19:55:21	×	edwtjo quits (~edwtjo@fsf/member/edwtjo) (.net .split)
19:55:21	×	bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (.net .split)
19:55:21	×	swistak- quits (~swistak@185.21.216.141) (.net .split)
19:55:21	×	tnks quits (sid412124@id-412124.helmsley.irccloud.com) (.net .split)
19:55:21	×	alinab quits (sid468903@id-468903.helmsley.irccloud.com) (.net .split)
19:55:21	×	ByronJohnson quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (.net .split)
19:55:21	×	acro quits (~acro@user/acro) (.net .split)
19:55:21	×	Yumemi_ quits (~Yumemi@chamoin.net) (.net .split)
19:55:21	×	davl_ quits (~davl@207.154.228.18) (.net .split)
19:55:21	×	_\_ quits (~o@user/offon) (.net .split)
19:55:21	×	emanon42 quits (~emanon42@103.120.19.44) (.net .split)
19:55:21	×	noctux quits (~noctux@user/noctux) (.net .split)
19:55:21	×	leeb quits (~leeb@tk2-243-31079.vs.sakura.ne.jp) (.net .split)
19:55:21	×	lally quits (sid388228@id-388228.uxbridge.irccloud.com) (.net .split)
19:55:21	×	vito quits (sid1962@user/vito) (.net .split)
19:55:21	×	Adeon quits (sid418992@id-418992.lymington.irccloud.com) (.net .split)
19:55:21	×	spider_ quits (~spider@vps-951ce37a.vps.ovh.ca) (.net .split)
19:55:21	×	pepeiborra quits (sid443799@id-443799.ilkley.irccloud.com) (.net .split)
19:55:21	×	cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (.net .split)
19:55:21	×	supersven quits (sid501114@id-501114.ilkley.irccloud.com) (.net .split)
19:55:21	×	Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (.net .split)
19:55:21	×	phuegrvs[m] quits (~phuegrvsm@2001:470:69fc:105::1:65e4) (.net .split)
19:55:22	×	kadoban1 quits (~kadoban@user/kadoban) (.net .split)
19:55:22	×	aviladev[m] quits (~aviladevm@2001:470:69fc:105::1:cbc7) (.net .split)
19:55:22	×	earthy quits (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (.net .split)
19:55:22	×	poscat quits (~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7) (.net .split)
19:55:22	×	alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (.net .split)
19:55:22	×	haritz quits (~hrtz@user/haritz) (.net .split)
19:55:22	×	adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (.net .split)
19:55:22	×	dibblego quits (~dibblego@haskell/developer/dibblego) (.net .split)
19:55:22	×	monadplus[m] quits (~monadplus@2001:470:69fc:105::2:5fa2) (.net .split)
19:55:22	×	Boarders___ quits (sid425905@id-425905.lymington.irccloud.com) (.net .split)
19:55:22	×	systemfault quits (sid267009@id-267009.uxbridge.irccloud.com) (.net .split)
19:55:22	×	dunj3 quits (~dunj3@kingdread.de) (.net .split)
19:55:22	×	wallymathieu quits (sid533252@id-533252.uxbridge.irccloud.com) (.net .split)
19:55:22	×	gonz_______ quits (sid304396@id-304396.lymington.irccloud.com) (.net .split)
19:55:22	×	ente` quits (~daemon@inferno.barfooze.de) (.net .split)
19:55:22	×	dagit quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (.net .split)
19:55:22	×	Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (.net .split)
19:55:22	×	welterde quits (welterde@thinkbase.srv.welterde.de) (.net .split)
19:55:22	×	Player-205[m] quits (~sashaserp@2001:470:69fc:105::2:30b8) (.net .split)
19:55:22	×	ringo__ quits (~ringo@157.230.117.128) (.net .split)
19:55:22	×	dragestil quits (~znc@user/dragestil) (.net .split)
19:55:22	×	brprice quits (~brprice@user/brprice) (.net .split)
19:55:22	×	bw quits (sid2730@user/betawaffle) (.net .split)
19:55:22	×	nisstyre quits (wes@user/nisstyre) (.net .split)
19:55:22	×	chessai quits (sid225296@id-225296.lymington.irccloud.com) (.net .split)
19:55:22	×	nrr____ quits (sid20938@id-20938.lymington.irccloud.com) (.net .split)
19:55:22	×	burakcank quits (burakcank@has.arrived.and.is.ready-to.party) (.net .split)
19:55:22	×	tomsmeding quits (~tomsmedin@2a01:4f8:c0c:5e5e::2) (.net .split)
19:55:22	×	shachaf quits (~shachaf@user/shachaf) (.net .split)
19:55:22	×	jjhoo quits (jahakala@user/jjhoo) (.net .split)
19:55:22	×	hltk quits (~hltk@hltk.fi) (.net .split)
19:55:22	×	shane quits (~shane@ana.rch.ist) (.net .split)
19:55:22	×	djanatyn quits (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (.net .split)
19:55:22	×	hiredman quits (~hiredman@frontier1.downey.family) (.net .split)
19:55:22	×	stvc quits (~stvc@192.241.166.39) (.net .split)
19:55:22	×	SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (.net .split)
19:55:22	×	hook54321 quits (sid149355@user/hook54321) (.net .split)
19:55:22	×	Arsen quits (arsen@managarm/dev/Arsen) (.net .split)
19:55:22	×	grfn quits (sid449115@id-449115.helmsley.irccloud.com) (.net .split)
19:55:22	×	wafflepirate quits (sid467876@id-467876.ilkley.irccloud.com) (.net .split)
19:55:22	×	Dykam quits (Dykam@dykam.nl) (.net .split)
19:55:22	×	apache2 quits (apache2@anubis.0x90.dk) (.net .split)
19:55:22	×	even4void[m] quits (~even4void@2001:470:69fc:105::2:4b9c) (.net .split)
19:55:22	×	ormaaj quits (~ormaaj@user/ormaaj) (.net .split)
19:55:22	×	Killy quits (~killy@2001:470:69fc:105::2:6ec1) (.net .split)
19:55:22	×	TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (.net .split)
19:55:22	×	JSharp quits (sid4580@id-4580.lymington.irccloud.com) (.net .split)
19:55:22	×	elvishjerricco1 quits (~elvishjer@2001:470:69fc:105::6172) (.net .split)
19:55:22	×	surgeon quits (~surge9nma@2001:470:69fc:105::f585) (.net .split)
19:55:22	×	sabx quits (~sabbas@user/sabbas) (.net .split)
19:55:22	×	urdh quits (~urdh@user/urdh) (.net .split)
19:55:22	×	int-e quits (~noone@int-e.eu) (.net .split)
19:55:22	×	absence quits (torgeihe@hildring.pvv.ntnu.no) (.net .split)
19:55:22	×	SIben quits (~SIben@ns3106586.ip-5-135-191.eu) (.net .split)
19:55:22	×	AWizzArd quits (~code@gehrels.uberspace.de) (.net .split)
19:55:22	×	emergence quits (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (.net .split)
19:55:22	×	rawles quits (~x@user/rawles) (.net .split)
19:55:23	×	Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (.net .split)
19:55:23	×	pjlsergeant quits (sid143467@id-143467.hampstead.irccloud.com) (.net .split)
19:55:23	×	totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (.net .split)
19:55:23	×	edwardk quits (sid47016@haskell/developer/edwardk) (.net .split)
19:55:23	×	mrianbloom quits (sid350277@id-350277.ilkley.irccloud.com) (.net .split)
19:55:23	×	AndreasK quits (sid320732@id-320732.uxbridge.irccloud.com) (.net .split)
19:55:23	×	mustafa quits (sid502723@rockylinux/releng/mustafa) (.net .split)
19:55:23	×	astra quits (sid289983@user/amish) (.net .split)
19:55:23	×	dixie quits (~dixie@real.wilbury.sk) (.net .split)
19:55:23	×	xacktm quits (xacktm@user/xacktm) (.net .split)
19:55:23	×	acidsys quits (~crameleon@openSUSE/member/crameleon) (.net .split)
19:55:23	×	thonkpod_ quits (~thonkpod@user/thonkpod) (.net .split)
19:55:23	×	hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (.net .split)
19:55:23	×	simeon quits (~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de) (.net .split)
19:55:23	×	drewr quits (~drew@user/drewr) (.net .split)
19:55:23	×	yushyin quits (w8oD1vlcZ2@mail.karif.server-speed.net) (.net .split)
19:56:41	×	psydroid quits (~psydroid@user/psydroid) (Max SendQ exceeded)
19:57:00	→	azimut joins (~azimut@gateway/tor-sasl/azimut)
19:57:00	→	hgolden joins (~Howard@cpe-172-251-233-141.socal.res.rr.com)
19:57:00	→	geekosaur joins (~geekosaur@xmonad/geekosaur)
19:57:00	→	tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:57:00	→	rockymarine joins (~rocky@user/rockymarine)
19:57:00	→	cheater joins (~Username@user/cheater)
19:57:00	→	eikke joins (~NicolasT@user/NicolasT)
19:57:00	→	AlexZenon joins (~alzenon@178.34.163.186)
19:57:00	→	Alex_test joins (~al_test@178.34.163.186)
19:57:00	→	AlexNoo joins (~AlexNoo@178.34.163.186)
19:57:00	→	chimp_ joins (~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
19:57:00	→	lyle joins (~lyle@104.246.145.85)
19:57:00	→	jakalx joins (~jakalx@base.jakalx.net)
19:57:00	→	sammelweis joins (~quassel@mobile-166-176-249-17.mycingular.net)
19:57:00	→	Pickchea joins (~private@user/pickchea)
19:57:00	→	coot joins (~coot@213.134.176.158)
19:57:00	→	Guest4971 joins (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d)
19:57:00	→	gmg joins (~user@user/gehmehgeh)
19:57:00	→	jludwig joins (~justin@li657-110.members.linode.com)
19:57:00	→	ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net)
19:57:00	→	Midjak joins (~Midjak@82.66.147.146)
19:57:00	→	raym joins (~raym@user/raym)
19:57:00	→	econo joins (uid147250@user/econo)
19:57:00	→	Tuplanolla joins (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
19:57:00	→	coldtom joins (~coldtom@coldrick.cc)
19:57:00	→	img joins (~img@user/img)
19:57:00	→	tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
19:57:00	→	titibandit joins (~titibandi@xdsl-87-78-66-58.nc.de)
19:57:00	→	gambpang joins (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
19:57:00	→	MoC joins (~moc@user/moc)
19:57:00	→	acidjnk joins (~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de)
19:57:00	→	Luj joins (~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1)
19:57:00	→	gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
19:57:00	→	foul_owl joins (~kerry@23.82.194.109)
19:57:00	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
19:57:00	→	Cale joins (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
19:57:00	→	_________ joins (~nobody@user/noodly)
19:57:00	→	xff0x joins (~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07)
19:57:00	→	__monty__ joins (~toonn@user/toonn)
19:57:00	→	Kaiepi joins (~Kaiepi@142.68.249.28)
19:57:00	→	machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
19:57:00	→	werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
19:57:00	→	kilolympus joins (~kilolympu@90.203.82.22)
19:57:00	→	Inoperable joins (~PLAYER_1@fancydata.science)
19:57:00	→	mima joins (~mmh@aftr-62-216-207-250.dynamic.mnet-online.de)
19:57:00	→	michalz joins (~michalz@185.246.204.72)
19:57:00	→	zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
19:57:00	→	mrmr joins (~mrmr@user/mrmr)
19:57:00	→	stiell joins (~stiell@gateway/tor-sasl/stiell)
19:57:00	→	eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
19:57:00	→	ec joins (~ec@gateway/tor-sasl/ec)
19:57:00	→	phma joins (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c)
19:57:00	→	chronon joins (~chronon@user/chronon)
19:57:00	→	FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
19:57:00	→	td_ joins (~td@94.134.91.35)
19:57:00	→	dcoutts_ joins (~duncan@host86-184-242-102.range86-184.btcentralplus.com)
19:57:00	→	chexum joins (~quassel@gateway/tor-sasl/chexum)
19:57:00	→	califax joins (~califax@user/califx)
19:57:00	→	adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
19:57:00	→	shapr joins (~user@68.54.166.125)
19:57:00	→	jargon joins (~jargon@184.101.185.66)
19:57:00	→	dwt_ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net)
19:57:00	→	nerdypepper joins (~nerdypepp@user/nerdypepper)
19:57:00	→	madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net)
19:57:00	→	even4void[m] joins (~even4void@2001:470:69fc:105::2:4b9c)
19:57:00	→	gentauro joins (~gentauro@user/gentauro)
19:57:00	→	motherfsck joins (~motherfsc@user/motherfsck)
19:57:00	→	ystael joins (~ystael@user/ystael)
19:57:00	→	Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
19:57:00	→	zaquest joins (~notzaques@5.130.79.72)
19:57:00	→	takuan joins (~takuan@178-116-218-225.access.telenet.be)
19:57:00	→	jpds joins (~jpds@gateway/tor-sasl/jpds)
19:57:00	→	noteness joins (~noteness@user/noteness)
19:57:00	→	notzmv joins (~zmv@user/notzmv)
19:57:00	→	terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1)
19:57:00	→	lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
19:57:00	→	Colere joins (~colere@about/linux/staff/sauvin)
19:57:00	→	mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
19:57:00	→	tv joins (~tv@user/tv)
19:57:00	→	ormaaj joins (~ormaaj@user/ormaaj)
19:57:00	→	rburkholder joins (~blurb@96.45.2.121)
19:57:00	→	n8chan joins (~nate@98.45.169.16)
19:57:00	→	koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com)
19:57:00	→	perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
19:57:00	→	adium joins (adium@user/adium)
19:57:00	→	bah joins (~bah@l1.tel)
19:57:00	→	Hecate joins (~mariposa@user/hecate)
19:57:00	→	cjay joins (cjay@nerdbox.nerd2nerd.org)
19:57:00	→	TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
19:57:00	→	Henkru joins (henkru@kapsi.fi)
19:57:00	→	acarrico joins (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net)
19:57:00	→	wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
19:57:00	→	xsarnik joins (xsarnik@lounge.fi.muni.cz)
19:57:00	→	leah_ joins (lp0@heathens.club)
19:57:00	→	thaumavorio joins (~thaumavor@thaumavor.io)
19:57:00	→	hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
19:57:00	→	Philonous_ joins (~Philonous@user/philonous)
19:57:00	→	tessier joins (~treed@98.171.210.130)
19:57:00	→	Rembane joins (~Rembane@li346-36.members.linode.com)
19:57:00	→	dumptruckman joins (~dumptruck@23-239-13-163.ip.linodeusercontent.com)
19:57:00	→	ezzieygu1wuf joins (~Unknown@user/ezzieyguywuf)
19:57:00	→	goldstein joins (~goldstein@goldstein.rs)
19:57:00	→	rembo10_ joins (~rembo10@main.remulis.com)
19:57:00	→	einfair_ joins (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru)
19:57:00	→	opqdonut joins (opqdonut@pseudo.fixme.fi)
19:57:00	→	gff_ joins (~gff@user/gff)
19:57:00	→	Jonno_FT1 joins (~come@api.carswap.me)
19:57:00	→	dysfigured joins (dfg@dfg.rocks)
19:57:00	→	aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de)
19:57:00	→	kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host)
19:57:00	→	glider joins (~glider@user/glider)
19:57:00	→	bollu joins (~bollu@159.65.151.13)
19:57:00	→	ell joins (~ellie@user/ellie)
19:57:00	→	MironZ joins (~MironZ@nat-infra.ehlab.uk)
19:57:00	→	tcard_ joins (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp)
19:57:00	→	qhong joins (~qhong@rescomp-21-400677.stanford.edu)
19:57:00	→	dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
19:57:00	→	inversed joins (~inversed@90.209.137.56)
19:57:00	→	cyphase joins (~cyphase@user/cyphase)
19:57:00	→	Me-me joins (~me-me@user/me-me)
19:57:00	→	asivitz joins (uid178348@id-178348.tinside.irccloud.com)
19:57:00	→	crns joins (~netcrns@user/crns)
19:57:00	→	kmein joins (~weechat@user/kmein)
19:57:00	→	bjobjo joins (~bjobjo@user/bjobjo)
19:57:00	→	Linux joins (~kernel@user/OpenSource)
19:57:00	→	TravisAthougies[ joins (~tathougie@2001:470:69fc:105::2:6fbd)
19:57:00	→	gnyeki joins (~gnyeki@user/gnyeki)
19:57:00	→	Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
19:57:00	→	cods joins (~fred@82-65-232-44.subs.proxad.net)
19:57:00	→	Patternmaster joins (~georg@user/Patternmaster)
19:57:00	→	hololeap joins (~quassel@user/hololeap)
19:57:00	→	shailangsa joins (~shailangs@host86-185-98-81.range86-185.btcentralplus.com)
19:57:00	→	phuegrvs[m] joins (~phuegrvsm@2001:470:69fc:105::1:65e4)
19:57:00	→	aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9)
19:57:00	→	sibnull[m] joins (~sibnullma@2001:470:69fc:105::1:1291)
19:57:00	→	kadoban1 joins (~kadoban@user/kadoban)
19:57:00	→	troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
19:57:00	→	Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
19:57:00	→	heartburn joins (~gass@2a00:d880:3:1::b1e4:b241)
19:57:00	→	nckx joins (~nckx@tobias.gr)
19:57:00	→	RMSBach joins (~guygastin@137.184.131.156)
19:57:00	→	loonycyborg_ joins (loonycybor@chantal.wesnoth.org)
19:57:00	→	sloorush joins (~sloorush@52.187.184.81)
19:57:00	→	red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de)
19:57:00	→	mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
19:57:00	→	Killy joins (~killy@2001:470:69fc:105::2:6ec1)
19:57:00	→	mncheck joins (~mncheck@193.224.205.254)
19:57:00	→	ncf joins (~n@monade.li)
19:57:00	→	Igloo joins (~ian@matrix.chaos.earth.li)
19:57:00	→	mzan joins (~quassel@mail.asterisell.com)
19:57:00	→	JimL joins (~quassel@89-162-2-132.fiber.signal.no)
19:57:00	→	jamestmartin joins (~james@jtmar.me)
19:57:00	→	Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
19:57:00	→	mjacob joins (~mjacob@adrastea.uberspace.de)
19:57:00	→	gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
19:57:00	→	gawen joins (~gawen@user/gawen)
19:57:00	→	zachel joins (~zachel@user/zachel)
19:57:00	→	erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
19:57:00	→	xstill_ joins (xstill@fimu/xstill)
19:57:00	→	Ram-Z joins (~Ram-Z@li1814-254.members.linode.com)
19:57:00	→	[Leary] joins (~Leary]@user/Leary/x-0910699)
19:57:00	→	monochrom joins (trebla@216.138.220.146)
19:57:00	→	whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com)
19:57:00	→	immae joins (~immae@2a01:4f8:141:53e7::)
19:57:00	→	darxun joins (sid504814@id-504814.tinside.irccloud.com)
19:57:00	→	Ranhir joins (~Ranhir@157.97.53.139)
19:57:00	→	megaTherion joins (~therion@unix.io)
19:57:00	→	ajb_ joins (~ajb@mimas.whatbox.ca)
19:57:00	→	wrengr joins (~wrengr@201.59.83.34.bc.googleusercontent.com)
19:57:00	→	LambdaDuck joins (~anka@ksit.fixme.fi)
19:57:00	→	Techcable joins (~Techcable@user/Techcable)
19:57:00	→	martin02 joins (~silas@141.84.69.76)
19:57:00	→	polykernel[m] joins (~polykerne@user/polykernel)
19:57:00	→	pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca)
19:57:00	→	ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
19:57:00	→	tomgus1 joins (~tomgus1@176.254.19.153)
19:57:00	→	lechner joins (lechner@debian/lechner)
19:57:00	→	siers joins (~ij@user/ij)
19:57:00	→	crazazy[m] joins (~crazazyma@2001:470:69fc:105::2:6bd9)
19:57:00	→	Fangs joins (sid141280@id-141280.hampstead.irccloud.com)
19:57:00	→	fryguybob joins (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
19:57:00	→	drlkf joins (~drlkf@chat.drlkf.net)
19:57:00	→	hugo joins (znc@verdigris.lysator.liu.se)
19:57:00	→	ilichu[m] joins (~ilichumat@2001:470:69fc:105::2:6afb)
19:57:00	→	arkeet joins (~arkeet@moriya.ca)
19:57:00	→	kitty4 joins (~kitty@096-039-147-043.res.spectrum.com)
19:57:00	→	ajf___[m] joins (~ajfmatrix@2001:470:69fc:105::2:5be3)
19:57:00	→	pareto-optimal-d joins (~pareto-op@2001:470:69fc:105::1:b61f)
19:57:00	→	mimmy joins (~mimmy@2604:a880:cad:d0::3e:1001)
19:57:00	→	Moyst__ joins (~moyst@user/moyst)
19:57:00	→	marquis_andras joins (~marquis_a@27-33-131-201.tpgi.com.au)
19:57:00	→	madnight joins (~madnight@static.59.103.201.195.clients.your-server.de)
19:57:00	→	bcoppens joins (~bartcopp@vpn2.bartcoppens.be)
19:57:00	→	haskl joins (~haskl@user/haskl)
19:57:00	→	vulpine joins (xfnw@tilde.team)
19:57:00	→	cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
19:57:00	→	robbert-vdh joins (~robbert@robbertvanderhelm.nl)
19:57:00	→	tinwood joins (~tinwood@canonical/tinwood)
19:57:00	→	maerwald joins (~maerwald@user/maerwald)
19:57:00	→	alp joins (~alp@user/alp)
19:57:00	→	aviladev[m] joins (~aviladevm@2001:470:69fc:105::1:cbc7)
19:57:00	→	Teacup joins (~teacup@user/teacup)
19:57:00	→	srk joins (~sorki@user/srk)
19:57:00	→	fiddlerwoaroof joins (~fiddlerwo@user/fiddlerwoaroof)
19:57:00	→	cynomys joins (~cynomys@user/cynomys)
19:57:00	→	m1dnight joins (~christoph@78-22-0-121.access.telenet.be)
19:57:00	→	lagash joins (lagash@2605:6400:20:b4:9c76:1538:3398:ce71)
19:57:00	→	justache joins (~justache@user/justache)
19:57:00	→	ridcully joins (~ridcully@pd951fa32.dip0.t-ipconnect.de)
19:57:00	→	cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3)
19:57:00	→	blades joins (~blades@204.48.29.163)
19:57:00	→	sweater1 joins (~sweater@206.81.18.26)
19:57:00	→	dfordivam1 joins (~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
19:57:00	→	earthy joins (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net)
19:57:00	→	TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667)
19:57:00	→	SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com)
19:57:00	→	idnar joins (sid12240@debian/mithrandi)
19:57:00	→	V joins (~v@ircpuzzles/2022/april/winner/V)
19:57:00	→	rune joins (sid21167@id-21167.ilkley.irccloud.com)
19:57:00	→	darkling joins (~darkling@savella.carfax.org.uk)
19:57:00	→	teehemkay joins (sid14792@id-14792.lymington.irccloud.com)
19:57:00	→	poscat joins (~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7)
19:57:00	→	gdd1 joins (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5)
19:57:00	→	alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
19:57:00	→	Flow joins (~none@gentoo/developer/flow)
19:57:00	→	haritz joins (~hrtz@user/haritz)
19:57:00	→	adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
19:57:00	→	pie_ joins (~pie_bnc@user/pie/x-2818909)
19:57:00	→	dibblego joins (~dibblego@haskell/developer/dibblego)
19:57:01	→	avpx joins (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
19:57:01	→	c_wraith joins (~c_wraith@adjoint.us)
19:57:01	→	macabre joins (~m@161.35.15.236)
19:57:01	→	mcglk joins (~mcglk@131.191.49.120)
19:57:01	→	Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
19:57:01	→	krjst joins (~krjst@2604:a880:800:c1::16b:8001)
19:57:01	→	monadplus[m]1 joins (~arnauabel@2001:470:69fc:105::2:6085)
19:57:01	→	tubogram44 joins (~tubogram@user/tubogram)
19:57:01	→	monadplus[m] joins (~monadplus@2001:470:69fc:105::2:5fa2)
19:57:01	→	kritzefitz joins (~kritzefit@debian/kritzefitz)
19:57:01	→	jean-paul[m] joins (~jean-paul@2001:470:69fc:105::d1ab)
19:57:01	→	sektor[m] joins (~sektor@2001:470:69fc:105::2:3f60)
19:57:01	→	heath joins (~heath@user/heath)
19:57:01	→	barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk)
19:57:01	→	JSharp joins (sid4580@id-4580.lymington.irccloud.com)
19:57:01	→	Boarders___ joins (sid425905@id-425905.lymington.irccloud.com)
19:57:01	→	systemfault joins (sid267009@id-267009.uxbridge.irccloud.com)
19:57:01	→	dunj3 joins (~dunj3@kingdread.de)
19:57:01	→	elvishjerricco1 joins (~elvishjer@2001:470:69fc:105::6172)
19:57:01	→	wallymathieu joins (sid533252@id-533252.uxbridge.irccloud.com)
19:57:01	→	gonz_______ joins (sid304396@id-304396.lymington.irccloud.com)
19:57:01	→	carbolymer joins (~carbolyme@dropacid.net)
19:57:01	→	ente` joins (~daemon@inferno.barfooze.de)
19:57:01	→	byorgey joins (~byorgey@155.138.238.211)
19:57:01	→	bonz060_ joins (~quassel@2001:bc8:47a4:a23::1)
19:57:01	→	dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da)
19:57:01	→	jonrh joins (sid5185@id-5185.ilkley.irccloud.com)
19:57:01	→	Kamuela joins (sid111576@id-111576.tinside.irccloud.com)
19:57:01	→	rubin55 joins (sid175221@id-175221.hampstead.irccloud.com)
19:57:01	→	welterde joins (welterde@thinkbase.srv.welterde.de)
19:57:01	→	vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe)
19:57:01	→	Player-205[m] joins (~sashaserp@2001:470:69fc:105::2:30b8)
19:57:01	→	iphy joins (sid67735@id-67735.lymington.irccloud.com)
19:57:01	→	conjunctive joins (sid433686@id-433686.helmsley.irccloud.com)
19:57:01	→	meinside joins (uid24933@id-24933.helmsley.irccloud.com)
19:57:01	→	edwtjo joins (~edwtjo@fsf/member/edwtjo)
19:57:01	→	asm joins (~alexander@user/asm)
19:57:01	→	Guest1698 joins (~Guest1698@20.83.116.49)
19:57:01	→	bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
19:57:01	→	danso joins (danso@danso.ca)
19:57:01	→	andjjj23 joins (~irc@107.170.228.47)
19:57:01	→	dka_ joins (~code-is-a@ns3059207.ip-193-70-33.eu)
19:57:01	→	swistak- joins (~swistak@185.21.216.141)
19:57:01	→	NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
19:57:01	→	tnks joins (sid412124@id-412124.helmsley.irccloud.com)
19:57:01	→	alinab joins (sid468903@id-468903.helmsley.irccloud.com)
19:57:01	→	tired joins (~tired@user/tired)
19:57:01	→	ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
19:57:01	→	kawen joins (~quassel@static.208.191.216.95.clients.your-server.de)
19:57:01	→	sclv joins (sid39734@haskell/developer/sclv)
19:57:01	→	sunarch joins (sid526836@user/sunarch)
19:57:01	→	acro joins (~acro@user/acro)
19:57:01	→	Yumemi_ joins (~Yumemi@chamoin.net)
19:57:01	→	Deide1 joins (~deide@user/deide)
19:57:01	→	davl_ joins (~davl@207.154.228.18)
19:57:01	→	mxs joins (~mxs@user/mxs)
19:57:01	→	rawles joins (~x@user/rawles)
19:57:01	→	dequbed joins (~dequbed@banana-new.kilobyte22.de)
19:57:01	→	scav joins (sid309693@user/scav)
19:57:01	→	parseval joins (sid239098@id-239098.helmsley.irccloud.com)
19:57:01	→	gaze___ joins (sid387101@id-387101.helmsley.irccloud.com)
19:57:01	→	surgeon joins (~surge9nma@2001:470:69fc:105::f585)
19:57:01	→	caubert joins (~caubert@user/caubert)
19:57:01	→	lambdabot joins (~lambdabot@haskell/bot/lambdabot)
19:57:01	→	Hobbyboy joins (Hobbyboy@hobbyboy.co.uk)
19:57:01	→	shinjipf joins (~shinjipf@2a02:c207:2082:6685::1)
19:57:01	→	arahael joins (~arahael@60-240-64-125.tpgi.com.au)
19:57:01	→	Axman6 joins (~Axman6@user/axman6)
19:57:01	→	mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
19:57:01	→	raoul joins (~raoul@95.179.203.88)
19:57:01	→	jackhill joins (~jackhill@kalessin.dragonsnail.net)
19:57:01	→	APic joins (apic@apic.name)
19:57:01	→	adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
19:57:01	→	koolazer joins (~koo@user/koolazer)
19:57:01	→	haveo_ joins (~haveo@sl35.iuwt.fr)
19:57:01	→	eldritch joins (~eldritch@user/eldritch)
19:57:01	→	dmj` joins (sid72307@id-72307.hampstead.irccloud.com)
19:57:01	→	another-axel-bee joins (~axel-bee@alexbenishek.com)
19:57:01	→	taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
19:57:01	→	alanz joins (sid110616@id-110616.uxbridge.irccloud.com)
19:57:01	→	ringo__ joins (~ringo@157.230.117.128)
19:57:01	→	dragestil joins (~znc@user/dragestil)
19:57:01	→	Ristovski joins (~Ristovski@hellomouse/perf/ristovski)
19:57:01	→	brprice joins (~brprice@user/brprice)
19:57:01	→	bw joins (sid2730@user/betawaffle)
19:57:01	→	tolt joins (~weechat-h@li219-154.members.linode.com)
19:57:01	→	nisstyre joins (wes@user/nisstyre)
19:57:01	→	nrr____ joins (sid20938@id-20938.lymington.irccloud.com)
19:57:01	→	chessai joins (sid225296@id-225296.lymington.irccloud.com)
19:57:01	→	df joins (~ben@justworks.xyz)
19:57:01	→	_\_ joins (~o@user/offon)
19:57:01	→	tstat joins (~tstat@user/tstat)
19:57:01	→	tdammers joins (~tdammers@77.109.72.118.res.static.edpnet.net)
19:57:01	→	burakcank joins (burakcank@has.arrived.and.is.ready-to.party)
19:57:01	→	simpleauthority joins (~simpleaut@user/simpleauthority)
19:57:01	→	Trattue joins (~Trattue@152.70.182.158)
19:57:01	→	Zemyla joins (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
19:57:01	→	sabx joins (~sabbas@user/sabbas)
19:57:01	→	energizer joins (~energizer@user/energizer)
19:57:01	→	dminuoso joins (~dminuoso@user/dminuoso)
19:57:01	→	markasoftware joins (~quassel@107.161.26.124)
19:57:01	→	kitzman joins (~kitzman@user/dekenevs)
19:57:01	→	urdh joins (~urdh@user/urdh)
19:57:01	→	andreas303 joins (andreas303@ip227.orange.bnc4free.com)
19:57:01	→	noctux1 joins (KOx7x4g3XX@karif.server-speed.net)
19:57:01	→	Logio joins (em@kapsi.fi)
19:57:01	→	int-e joins (~noone@int-e.eu)
19:57:01	→	kosmikus joins (~kosmikus@nullzig.kosmikus.org)
19:57:01	→	piele joins (~piele@tbonesteak.creativeserver.net)
19:57:01	→	akhesacaro joins (~caro@212-83-144-58.rev.poneytelecom.eu)
19:57:01	→	SIben joins (~SIben@ns3106586.ip-5-135-191.eu)
19:57:01	→	absence joins (torgeihe@hildring.pvv.ntnu.no)
19:57:01	→	Cheery joins (~cheery@7-239-179-185.static.tentacle.fi)
19:57:01	→	mcfrdy joins (~mcfrdy@user/mcfrdy)
19:57:01	→	Profpatsch joins (~Profpatsc@static.88-198-193-255.clients.your-server.de)
19:57:01	→	marienz joins (marienz@libera/staff/marienz)
19:57:01	→	tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
19:57:01	→	shachaf joins (~shachaf@user/shachaf)
19:57:01	→	leeb joins (~leeb@tk2-243-31079.vs.sakura.ne.jp)
19:57:01	→	tureba joins (~tureba@tureba.org)
19:57:01	→	hexology joins (~hexology@user/hexology)
19:57:01	→	jjhoo joins (jahakala@user/jjhoo)
19:57:01	→	hltk joins (~hltk@hltk.fi)
19:57:01	→	shane joins (~shane@ana.rch.ist)
19:57:01	→	djanatyn joins (~djanatyn@vps-7f49a6b0.vps.ovh.ca)
19:57:01	→	hiredman joins (~hiredman@frontier1.downey.family)
19:57:01	→	derelict joins (~derelict@user/derelict)
19:57:01	→	AWizzArd joins (~code@gehrels.uberspace.de)
19:57:01	→	emanon42 joins (~emanon42@103.120.19.44)
19:57:01	→	noctux joins (~noctux@user/noctux)
19:57:01	→	emergence joins (emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
19:57:01	→	stvc joins (~stvc@192.241.166.39)
19:57:01	→	SethTisue joins (sid14912@id-14912.ilkley.irccloud.com)
19:57:01	→	kronicmage joins (user92236@neotame.csclub.uwaterloo.ca)
19:57:01	→	pjlsergeant joins (sid143467@id-143467.hampstead.irccloud.com)
19:57:01	→	totbwf joins (sid402332@id-402332.uxbridge.irccloud.com)
19:57:01	→	edwardk joins (sid47016@haskell/developer/edwardk)
19:57:01	→	AndreasK joins (sid320732@id-320732.uxbridge.irccloud.com)
19:57:01	→	mrianbloom joins (sid350277@id-350277.ilkley.irccloud.com)
19:57:01	→	lally joins (sid388228@id-388228.uxbridge.irccloud.com)
19:57:01	→	vito joins (sid1962@user/vito)
19:57:01	→	Adeon joins (sid418992@id-418992.lymington.irccloud.com)
19:57:01	→	spider_ joins (~spider@vps-951ce37a.vps.ovh.ca)
19:57:01	→	pepeiborra joins (sid443799@id-443799.ilkley.irccloud.com)
19:57:01	→	astra joins (sid289983@user/amish)
19:57:01	→	mustafa joins (sid502723@rockylinux/releng/mustafa)
19:57:01	→	T_S_ joins (sid501726@id-501726.uxbridge.irccloud.com)
19:57:01	→	S11001001 joins (sid42510@id-42510.ilkley.irccloud.com)
19:57:01	→	amir joins (sid22336@user/amir)
19:57:01	→	dixie joins (~dixie@real.wilbury.sk)
19:57:01	→	nurupo joins (~nurupo.ga@user/nurupo)
19:57:01	→	WaxCPU joins (Andrew@user/AndrewYu)
19:57:01	→	hook54321 joins (sid149355@user/hook54321)
19:57:01	→	Arsen joins (arsen@managarm/dev/Arsen)
19:57:01	→	xacktm joins (xacktm@user/xacktm)
19:57:01	→	acidsys joins (~crameleon@openSUSE/member/crameleon)
19:57:01	→	thonkpod_ joins (~thonkpod@user/thonkpod)
19:57:01	→	hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
19:57:01	→	simeon joins (~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de)
19:57:01	→	grfn joins (sid449115@id-449115.helmsley.irccloud.com)
19:57:01	→	cbarrett joins (sid192934@id-192934.helmsley.irccloud.com)
19:57:01	→	wafflepirate joins (sid467876@id-467876.ilkley.irccloud.com)
19:57:01	→	supersven joins (sid501114@id-501114.ilkley.irccloud.com)
19:57:01	→	Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com)
19:57:01	→	litharge joins (litharge@libera/bot/litharge)
19:57:01	→	drewr joins (~drew@user/drewr)
19:57:01	→	Dykam joins (Dykam@dykam.nl)
19:57:01	→	apache2 joins (apache2@anubis.0x90.dk)
19:57:01	→	yushyin joins (w8oD1vlcZ2@mail.karif.server-speed.net)
19:57:01	→	ChanServ joins (ChanServ@services.libera.chat)
19:57:01	silver.libera.chat	sets mode +o ChanServ
19:57:08	×	jmcantrell quits (~jmcantrel@user/jmcantrell) (Max SendQ exceeded)
19:57:10	×	shailangsa quits (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (Max SendQ exceeded)
19:57:15	×	Colere quits (~colere@about/linux/staff/sauvin) (Remote host closed the connection)
19:57:15	×	ormaaj quits (~ormaaj@user/ormaaj) (Max SendQ exceeded)
19:57:15	→	tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
19:57:15	×	tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
19:57:42	×	Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
19:57:43	×	andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Max SendQ exceeded)
19:57:43	×	pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca) (Max SendQ exceeded)
19:57:43	×	mcfrdy quits (~mcfrdy@user/mcfrdy) (Max SendQ exceeded)
19:57:43	×	justache quits (~justache@user/justache) (Max SendQ exceeded)
19:57:58	→	andreas303 joins (andreas303@ip227.orange.bnc4free.com)
19:58:00	→	justache joins (~justache@user/justache)
19:58:01	→	rockystone joins (~rocky@user/rockymarine)
19:58:04	→	mcfrdy joins (~mcfrdy@user/mcfrdy)
19:58:04	→	pieguy128 joins (~pieguy128@bas1-quebec14-67-70-103-208.dsl.bell.ca)
19:58:07	→	Colere joins (~colere@about/linux/staff/sauvin)
19:58:30	→	Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
19:58:50	×	ajf___[m] quits (~ajfmatrix@2001:470:69fc:105::2:5be3) (Ping timeout: 240 seconds)
19:58:50	×	vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds)
19:58:58	×	TravisAthougies[ quits (~tathougie@2001:470:69fc:105::2:6fbd) (Ping timeout: 240 seconds)
19:58:58	×	aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 240 seconds)
19:58:58	×	cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 240 seconds)
19:58:58	×	cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 240 seconds)
19:58:59	×	sibnull[m] quits (~sibnullma@2001:470:69fc:105::1:1291) (Ping timeout: 248 seconds)
19:59:18	×	sektor[m] quits (~sektor@2001:470:69fc:105::2:3f60) (Ping timeout: 240 seconds)
19:59:24	×	rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
19:59:26	×	hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Ping timeout: 255 seconds)
19:59:26	×	Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 255 seconds)
19:59:26	×	Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 255 seconds)
19:59:26	×	Bulby[m] quits (~bulbyvrma@2001:470:69fc:105::1:fe0a) (Ping timeout: 255 seconds)
19:59:26	×	Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 255 seconds)
19:59:26	×	jneira[m] quits (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 255 seconds)
19:59:26	×	duckie quits (~duckie@user/duckie) (Ping timeout: 255 seconds)
19:59:26	×	july541[m] quits (~july541ma@2001:470:69fc:105::1:e416) (Ping timeout: 255 seconds)
19:59:26	×	maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 255 seconds)
19:59:26	×	fr33domlover[m] quits (~fr33domlo@2001:470:69fc:105::1:3bb6) (Ping timeout: 255 seconds)
19:59:26	×	Matthew\|m quits (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 255 seconds)
19:59:26	×	peddie quits (~peddie@2001:470:69fc:105::25d) (Ping timeout: 255 seconds)
19:59:26	×	famubu[m] quits (~famubumat@2001:470:69fc:105::1081) (Ping timeout: 255 seconds)
19:59:26	×	VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 255 seconds)
19:59:26	×	zfnmxt quits (~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 255 seconds)
19:59:26	×	inversed quits (~inversed@90.209.137.56) (Ping timeout: 268 seconds)
19:59:28	×	Killy quits (~killy@2001:470:69fc:105::2:6ec1) (Ping timeout: 268 seconds)
19:59:28	×	surgeon quits (~surge9nma@2001:470:69fc:105::f585) (Ping timeout: 268 seconds)
19:59:30	×	monadplus[m]1 quits (~arnauabel@2001:470:69fc:105::2:6085) (Ping timeout: 255 seconds)
19:59:30	×	Deide1 quits (~deide@user/deide) (Ping timeout: 255 seconds)
19:59:30	×	alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 264 seconds)
19:59:30	×	adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 264 seconds)
19:59:30	×	monadplus[m] quits (~monadplus@2001:470:69fc:105::2:5fa2) (Ping timeout: 264 seconds)
19:59:30	×	Player-205[m] quits (~sashaserp@2001:470:69fc:105::2:30b8) (Ping timeout: 264 seconds)
19:59:31	×	polykernel[m] quits (~polykerne@user/polykernel) (Ping timeout: 248 seconds)
19:59:31	×	ilichu[m] quits (~ilichumat@2001:470:69fc:105::2:6afb) (Ping timeout: 248 seconds)
19:59:31	×	pareto-optimal-d quits (~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 248 seconds)
19:59:33	×	crazazy[m] quits (~crazazyma@2001:470:69fc:105::2:6bd9) (Ping timeout: 268 seconds)
19:59:53	×	jz99[m] quits (~jz99matri@2001:470:69fc:105::1:d5f1) (Ping timeout: 255 seconds)
19:59:53	×	baaash[m] quits (~baaashmat@2001:470:69fc:105::2:1e90) (Ping timeout: 255 seconds)
19:59:53	×	FurudeRika[m] quits (~chitandae@user/FurudeRika) (Ping timeout: 255 seconds)
19:59:53	×	Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 255 seconds)
19:59:53	×	romes[m] quits (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 255 seconds)
19:59:53	×	JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 255 seconds)
19:59:53	×	ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 255 seconds)
19:59:53	×	unclechu quits (~unclechu@2001:470:69fc:105::354) (Ping timeout: 255 seconds)
19:59:53	×	smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 255 seconds)
19:59:53	×	Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 255 seconds)
19:59:53	×	chreekat quits (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 255 seconds)
19:59:53	×	SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 255 seconds)
19:59:53	×	geekosaur[m] quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 255 seconds)
19:59:53	×	nomagno quits (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 255 seconds)
19:59:53	×	ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 255 seconds)
19:59:53	×	ongy[m] quits (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 255 seconds)
19:59:53	×	fendor[m] quits (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 255 seconds)
19:59:53	×	jinsun_ quits (~jinsun@user/jinsun) (Ping timeout: 255 seconds)
19:59:53	×	Tisoxin quits (~ikosit@user/ikosit) (Ping timeout: 255 seconds)
19:59:53	×	maralorn quits (~maralorn@2001:470:69fc:105::251) (Ping timeout: 255 seconds)
19:59:53	×	sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds)
19:59:53	×	fgaz quits (~fgaz@2001:470:69fc:105::842) (Ping timeout: 255 seconds)
19:59:53	×	mekeor[m] quits (~mekeormat@2001:470:69fc:105::17e4) (Ping timeout: 255 seconds)
19:59:53	×	siraben quits (~siraben@user/siraben) (Ping timeout: 255 seconds)
19:59:53	×	vladan[m] quits (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 255 seconds)
19:59:58	×	Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
20:00:03	×	raym quits (~raym@user/raym) (Ping timeout: 248 seconds)
20:00:05	×	even4void[m] quits (~even4void@2001:470:69fc:105::2:4b9c) (Ping timeout: 268 seconds)
20:00:05	×	elvishjerricco1 quits (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 268 seconds)
20:00:06	×	phuegrvs[m] quits (~phuegrvsm@2001:470:69fc:105::1:65e4) (Ping timeout: 264 seconds)
20:00:06	×	kadoban1 quits (~kadoban@user/kadoban) (Ping timeout: 264 seconds)
20:00:06	×	aviladev[m] quits (~aviladevm@2001:470:69fc:105::1:cbc7) (Ping timeout: 264 seconds)
20:00:10	→	hnOsmium0001 joins (uid453710@user/hnOsmium0001)
20:00:11	×	jean-paul[m] quits (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 268 seconds)
20:01:53	→	inversed joins (~inversed@90.209.137.56)
20:03:08	×	coot quits (~coot@213.134.176.158) (Quit: coot)
20:05:31	×	biberu quits (~biberu@user/biberu) (Ping timeout: 260 seconds)
20:06:01	→	biberu joins (~biberu@user/biberu)
20:08:39	→	szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
20:09:06	→	emad joins (~emad@156.214.126.109)
20:09:55	×	econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
20:10:43	→	zebrag joins (~chris@user/zebrag)
20:12:25	→	coot joins (~coot@213.134.176.158)
20:13:36	×	sammelweis quits (~quassel@mobile-166-176-249-17.mycingular.net) (Ping timeout: 268 seconds)
20:14:45	→	alexd joins (~nineonine@50.216.62.10)
20:15:18	→	vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe)
20:15:35	<alexd>	hi there, I am getting 'The record update is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC.'
20:15:43	<alexd>	this warning is a bit confusing
20:16:00	<alexd>	I am using overloaded record dot extension
20:16:25	<alexd>	how do I specialize it to make compiler happy?
20:17:02	<Rembane>	alexd: Do you have a minimum example that you can share?
20:17:10	→	aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9)
20:18:18	→	econo joins (uid147250@user/econo)
20:20:04	<alexd>	let foo = foo {
20:20:05	<alexd>	bar = foo.bar {
20:20:05	<alexd>	baz = foo.bar.baz + 1
20:20:06	<alexd>	}
20:20:08	<alexd>	}
20:20:22	<alexd>	ghc 9.2.4
20:21:09	<alexd>	I see the warning when -Wambiguous-fields is on
20:23:10	<alexd>	ok I think https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/disambiguate_record_fields.html should help me
20:26:17	→	Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
20:27:34	→	Guest35 joins (~Guest35@2606:54c0:840:b0::1a:cf)
20:30:02	×	Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
20:31:52	×	lyle quits (~lyle@104.246.145.85) (Quit: WeeChat 3.6)
20:31:53	→	Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
20:34:18	×	takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:34:23	<qrpnxz>	alexd: you might want to consider using a library like `lens`
20:35:26	×	Guest35 quits (~Guest35@2606:54c0:840:b0::1a:cf) (Quit: Client closed)
20:36:48	<qrpnxz>	it will make the above look like `foo . bar . baz %~ (+1) $ foo`
20:37:58	→	shailangsa_ joins (~shailangs@host86-185-98-81.range86-185.btcentralplus.com)
20:38:39	→	merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
20:39:38	<glguy>	if we're lens golfing: (bar . baz +~ 1) foo
20:40:15	<glguy>	or to get some extra operator points: foo & bar . baz +~ 1
20:41:33	<qrpnxz>	yes, i should not have put that first foo actually
20:41:43	<qrpnxz>	foo & bar . baz +~ 1 is best
20:42:04	<qrpnxz>	Record dot extension btfo
20:42:47	×	Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
20:44:30	×	merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
20:45:18	→	raym joins (~raym@user/raym)
20:46:10	→	Deide1 joins (~deide@user/deide)
20:46:12	→	monadplus[m]1 joins (~arnauabel@2001:470:69fc:105::2:6085)
20:48:26	→	surgeon joins (~surge9nma@2001:470:69fc:105::f585)
20:48:30	→	elvishjerricco1 joins (~elvishjer@2001:470:69fc:105::6172)
20:48:35	→	jean-paul[m] joins (~jean-paul@2001:470:69fc:105::d1ab)
20:50:03	→	aviladev[m] joins (~aviladevm@2001:470:69fc:105::1:cbc7)
20:50:06	→	monadplus[m] joins (~monadplus@2001:470:69fc:105::2:5fa2)
20:50:09	→	Player-205[m] joins (~sashaserp@2001:470:69fc:105::2:30b8)
20:51:03	→	crazazy[m] joins (~crazazyma@2001:470:69fc:105::2:6bd9)
20:56:10	×	raym quits (~raym@user/raym) (Remote host closed the connection)
20:56:15	→	ormaaj joins (~ormaaj@user/ormaaj)
20:58:07	→	Killy joins (~killy@2001:470:69fc:105::2:6ec1)
20:59:21	<Guest4971>	Hello, how is it guaranteed that [ x \| x <- [1..10]] == [1,2,3,4,5,6,7,8,9,10] ?
20:59:57	×	coot quits (~coot@213.134.176.158) (Quit: coot)
21:00:02	<Rembane>	Because that's how ranges work.
21:00:03	<qrpnxz>	Guest4971: what other result could it be?
21:00:21	<Guest4971>	resulting list order could be different
21:00:21	<qrpnxz>	it's a pure computation, so the output is always the same for the same input, and that's the output it should produce so
21:00:30	<qrpnxz>	how could it be different?
21:01:10	<Guest4971>	just wanted to verify that it's indeed the case
21:01:14	<qrpnxz>	👍
21:01:21	→	raym joins (~raym@user/raym)
21:01:24	×	tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:01:26	<Guest4971>	esp was thinking about the ordering
21:04:08	<monochrom>	What does "guarantee" mean to you?
21:05:36	×	vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 260 seconds)
21:05:44	→	vglfr joins (~vglfr@145.224.94.248)
21:06:44	→	jmcantrell joins (~jmcantrel@user/jmcantrell)
21:06:51	→	unclechu joins (~unclechu@2001:470:69fc:105::354)
21:11:32	→	Bulby[m] joins (~bulbyvrma@2001:470:69fc:105::1:fe0a)
21:11:35	→	Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56)
21:12:34	→	sektor[m] joins (~sektor@2001:470:69fc:105::2:3f60)
21:13:06	→	kadoban1 joins (~kadoban@user/kadoban)
21:15:05	×	__monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:16:23	→	pareto-optimal-d joins (~pareto-op@2001:470:69fc:105::1:b61f)
21:16:27	×	bontaq` quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds)
21:16:47	×	gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
21:17:02	→	mikoto-chan joins (~mikoto-ch@164.5.249.78)
21:18:21	×	rockystone quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
21:20:39	→	rockystone joins (~rocky@user/rockymarine)
21:22:17	→	Guillaum[m] joins (~guiboumat@2001:470:69fc:105::1:72ac)
21:22:58	→	alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
21:23:49	→	polykernel[m] joins (~polykerne@user/polykernel)
21:23:55	→	sibnull[m] joins (~sibnullma@2001:470:69fc:105::1:1291)
21:24:55	→	fserucas joins (~fserucas@89.214.116.132)
21:30:09	<jackdk>	Guest4971: [1..10] is desugared to `enumFromTo 1 10`
21:30:09	×	slack1256 quits (~slack1256@191.125.227.209) (Read error: Connection reset by peer)
21:30:47	→	slack1256 joins (~slack1256@186.11.99.53)
21:31:06	<geekosaur>	and Enum has a `succ`(essor) method
21:31:40	→	ajf___[m] joins (~ajfmatrix@2001:470:69fc:105::2:5be3)
21:33:59	×	machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
21:35:03	→	machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
21:35:38	×	rockystone quits (~rocky@user/rockymarine) (Ping timeout: 240 seconds)
21:38:43	×	Guest4971 quits (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 268 seconds)
21:39:19	→	cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
21:39:37	→	adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
21:41:08	×	machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
21:43:09	→	machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
21:44:59	→	wonko_ joins (~wjc@2a0e:1c80:2::130)
21:46:12	×	raym quits (~raym@user/raym) (Remote host closed the connection)
21:51:43	×	motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
21:52:00	×	Pickchea quits (~private@user/pickchea) (Quit: Leaving)
21:57:27	→	phuegrvs[m] joins (~phuegrvsm@2001:470:69fc:105::1:65e4)
21:57:41	×	emad quits (~emad@156.214.126.109) (Read error: Connection reset by peer)
21:59:16	→	emad joins (~emad@156.214.126.109)
21:59:59	→	raym joins (~raym@user/raym)
22:05:58	×	mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds)
22:06:16	×	ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
22:08:38	→	ilichu[m] joins (~ilichumat@2001:470:69fc:105::2:6afb)
22:08:57	×	michalz quits (~michalz@185.246.204.72) (Remote host closed the connection)
22:09:37	→	TravisAthougies[ joins (~tathougie@2001:470:69fc:105::2:6fbd)
22:10:18	×	wonko_ quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 264 seconds)
22:13:00	→	cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3)
22:13:52	×	gambpang quits (~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net) (Ping timeout: 268 seconds)
22:13:57	×	zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
22:17:25	→	zfnmxt joins (~zfnmxt@2001:470:69fc:105::2b32)
22:18:43	→	romes[m] joins (~romesmatr@2001:470:69fc:105::2:1660)
22:19:09	→	fgaz joins (~fgaz@2001:470:69fc:105::842)
22:19:35	→	nomagno joins (~nomagno@2001:470:69fc:105::c1f0)
22:20:21	→	Tisoxin joins (~ikosit@user/ikosit)
22:20:52	→	jneira[m] joins (~jneiramat@2001:470:69fc:105::d729)
22:20:56	→	peddie joins (~peddie@2001:470:69fc:105::25d)
22:21:05	→	Clinton[m] joins (~clintonme@2001:470:69fc:105::2:31d4)
22:21:24	→	Inst_ joins (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e)
22:21:42	→	fendor[m] joins (~fendormat@2001:470:69fc:105::fcbd)
22:21:45	→	Matthew\|m joins (~arathorn@2001:470:69fc:105::1f)
22:21:55	→	rockystone joins (~rocky@user/rockymarine)
22:22:16	→	geekosaur[m] joins (~geekosaur@xmonad/geekosaur)
22:22:38	→	even4void[m] joins (~even4void@2001:470:69fc:105::2:4b9c)
22:22:44	→	maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
22:22:55	→	ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be)
22:22:56	→	vladan[m] joins (~vladanmat@2001:470:69fc:105::2:24df)
22:23:07	→	maralorn joins (~maralorn@2001:470:69fc:105::251)
22:23:12	→	Christoph[m] joins (~hpotsirhc@2001:470:69fc:105::2ff8)
22:23:13	→	JensPetersen[m] joins (~juhp@2001:470:69fc:105::6e9)
22:23:50	→	FurudeRika[m] joins (~chitandae@2001:470:69fc:105::1:6039)
22:23:57	→	baaash[m] joins (~baaashmat@2001:470:69fc:105::2:1e90)
22:24:23	→	jinsun_ joins (~jinsun@user/jinsun)
22:24:23	→	SeanKing[m] joins (~seankingm@2001:470:69fc:105::cf9c)
22:24:25	→	ongy[m] joins (~ongymatri@2001:470:69fc:105::5018)
22:24:44	→	chreekat joins (~chreekat@2001:470:69fc:105::16b5)
22:24:47	×	Inst quits (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 255 seconds)
22:25:30	→	Artem[m]12 joins (~artemtype@2001:470:69fc:105::75b)
22:25:57	→	duckie joins (~duckie@user/duckie)
22:26:13	→	ericson2314 joins (~ericson23@2001:470:69fc:105::70c)
22:26:27	→	sm joins (~sm@plaintextaccounting/sm)
22:26:35	→	pavonia joins (~user@user/siracusa)
22:27:28	→	jz99[m] joins (~jz99matri@2001:470:69fc:105::1:d5f1)
22:27:45	→	july541[m] joins (~july541ma@2001:470:69fc:105::1:e416)
22:27:53	→	VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d)
22:28:25	→	fr33domlover[m] joins (~fr33domlo@2001:470:69fc:105::1:3bb6)
22:29:28	→	famubu[m] joins (~famubumat@2001:470:69fc:105::1081)
22:29:40	→	mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4)
22:29:50	→	azimut_ joins (~azimut@gateway/tor-sasl/azimut)
22:29:53	→	smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32)
22:30:44	→	siraben joins (~siraben@user/siraben)
22:32:04	→	psydroid joins (~psydroid@user/psydroid)
22:32:39	×	azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
22:33:07	×	acidjnk quits (~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
22:40:09	→	kannon joins (~NK@135-180-47-54.fiber.dynamic.sonic.net)
22:40:41	→	merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
22:44:05	×	titibandit quits (~titibandi@xdsl-87-78-66-58.nc.de) (Remote host closed the connection)
22:45:29	×	merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
22:46:01	→	Sgeo joins (~Sgeo@user/sgeo)
22:56:40	→	nate4 joins (~nate@98.45.169.16)
23:01:03	×	ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
23:01:28	→	oxide joins (~lambda@user/oxide)
23:01:41	×	nate4 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds)
23:03:26	×	Tuplanolla quits (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.)
23:04:33	×	MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
23:07:52	→	talismanick joins (~talismani@2601:200:c100:3850::dd64)
23:16:19	×	matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
23:19:06	×	fserucas quits (~fserucas@89.214.116.132) (Remote host closed the connection)
23:26:03	×	machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
23:27:56	×	kannon quits (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
23:29:41	×	jargon quits (~jargon@184.101.185.66) (Ping timeout: 268 seconds)
23:30:32	→	luffy joins (~chenqisu1@183.217.201.192)
23:30:47	×	phma quits (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (Remote host closed the connection)
23:31:12	→	phma joins (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c)
23:31:34	→	matthewmosior joins (~matthewmo@173.170.253.91)
23:37:21	→	dsrt^ joins (~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
23:37:56	→	machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
23:37:59	→	segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
23:38:55	<segfaultfizzbuzz>	how does a real programmer (read: not yours truly) compare CPUs?
23:44:04	<Axman6>	> compare "CPU A" "CPU B"
23:44:06	<lambdabot>	LT
23:45:00	<monochrom>	I thought only PC gamers compare CPUs. :)
23:46:08	<hpc>	there's some truth in that
23:46:31	<hpc>	i mostly only think about memory use, disk IO patterns, and network bandwidth
23:46:39	<segfaultfizzbuzz>	like i look at powerPC and they say the CPU has something special about cache sharing
23:46:58	<qrpnxz>	i thought powerpc was dead lol
23:47:01	<segfaultfizzbuzz>	and then i look at some other CPU and it has DHAIJ-4i890889q
23:47:02	<hpc>	leave that sort of thing to kernel developers
23:47:15	<qrpnxz>	tf is DHAndyq2302
23:47:25	→	jmorris joins (uid537181@id-537181.uxbridge.irccloud.com)
23:47:38	<hpc>	by the time it matters how good your cpu is, you have enough millions to just by one of each and benchmark
23:47:53	<Axman6>	if you own a car you probably own half a dozen PowerPC chips
23:48:00	<segfaultfizzbuzz>	and like do i need ITJHo0-509039 or EIJHAEIJKqqq or does not having it get in the way of turing completeness or something
23:48:18	<qrpnxz>	i have a 5950x and i wish it was faster. 😩 New gen ryzen coming out tho :)
23:48:59	<waleee>	having someting that's x86_64_v3 compatible is nice as the very minimum
23:49:28	<segfaultfizzbuzz>	hpc: so it's an OS-level thing? at the application level this stuff just doesn't show up?
23:49:42	<qrpnxz>	i've wanted high-tier ARM for a while. Apple did it which blew my mind, but i don't compute on fruits
23:50:18	<hpc>	i mean, you'll notice the performance
23:50:22	<Axman6>	keep paying that x86_64 power bill then
23:50:36	<qrpnxz>	xd, i don't even know any consumer desktop arm cpu
23:50:37	<hpc>	but there's probably not a lot you can do in your own code to exploit it
23:50:46	<qrpnxz>	never mind high-end ones
23:51:02	<hpc>	without writing super weird cpu-specific code that probably needs special privileges anyway
23:51:09	<qrpnxz>	RISC-V would be even better, but if ARM is not happening, then RISC-V even less
23:51:13	<Axman6>	the performace per watt for M1, M2 is just nuts. having 400GB/s of memory bandwidth is pretty insane too - imagine being able to garbage collect your whole system's memory several times a second
23:51:45	<qrpnxz>	the perfect python machine 😭
23:51:45	<segfaultfizzbuzz>	i think (?) i understand that bigger cache is better but then i saw somewhere that 1 Gb (or GB?) cache will be shipping very soon so
23:52:03	<qrpnxz>	1GB?!
23:52:09	<segfaultfizzbuzz>	yeah i understand memory bandwidth
23:52:11	<waleee>	Axman6: M1 et al isn't exactly cheap to buy up front
23:52:31	<Axman6>	not yet, no
23:52:50	<Axman6>	I reckon the M1 airs will come down in price over time
23:52:51	<qrpnxz>	what is having 1GB cache i dont' believe it
23:52:57	<waleee>	also not for the macos-allergic person
23:53:07	<qrpnxz>	a crazy server chip?
23:53:23	<Axman6>	it's just Unix
23:53:34	<qrpnxz>	my mom getting a brand spanking new M1 pro soon.
23:53:49	<segfaultfizzbuzz>	yeah i can understand memory bandwidth as something a chip does
23:53:51	<waleee>	I prefer my unix looking more like dwm than og windows 11
23:53:51	<qrpnxz>	after over a decade having her other mac
23:54:39	<geekosaur>	actually I like the UI. the whole SIP/codesign/make-it-so-only-apple-approved-developers-can-write-software thing can go away though
23:55:01	<Axman6>	that's not really a thing
23:55:08	<qrpnxz>	my work laptop is mac, i vastly prefer gnome personally
23:55:17	×	luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
23:55:29	<qrpnxz>	more practical
23:56:29	<segfaultfizzbuzz>	https://www.servethehome.com/server-cpus-transitioning-to-the-gb-onboard-era/ ... EPYC 72F3 has 256MB of L3 cache right now
23:56:57	<Axman6>	RIP your power bill if you run a server CPU for you every day machine
23:57:29	→	kannon joins (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net)
23:57:46	→	nilradical joins (~nilradica@user/naso)
23:57:58	<segfaultfizzbuzz>	https://www.club386.com/amd-unleashes-epyc-7003-series-with-3d-v-cache/ 768MB L3 in EPYC 7003
23:59:25	→	braf joins (~braf@58.84.143.92)
23:59:39	<segfaultfizzbuzz>	chiplets/stacking means cache size will go to infinity very soon i guess
23:59:41	→	luffy joins (~chenqisu1@183.217.201.192)

All times are in UTC on 2022-08-30.