Logs: freenode/#haskell

←Prev Next→

Page 1 .. 980 981 982 983 984 985 986 987 988 989 990 .. 5022

— 502,152 events total

2020-10-31 22:39:42	→	jedws joins (~jedws@101.184.150.81)
2020-10-31 22:43:03	×	hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-31 22:45:41	×	Tario quits (~Tario@201.204.63.11) (Ping timeout: 268 seconds)
2020-10-31 22:46:07	→	Tario joins (~Tario@200.119.187.37)
2020-10-31 22:46:33	→	split joins (~split@81-197-163-75.elisa-laajakaista.fi)
2020-10-31 22:50:20	×	__monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-31 22:51:05	texasmyn_	is now known as texasmynsted
2020-10-31 22:51:41	×	kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-31 22:52:21	×	heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 22:53:03	→	heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 22:53:42	×	taurux quits (~taurux@net-130-25-101-160.cust.vodafonedsl.it) (Ping timeout: 268 seconds)
2020-10-31 22:54:38	→	taurux joins (~taurux@net-188-152-104-202.cust.dsl.teletu.it)
2020-10-31 23:00:00	→	hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 23:02:04	×	jhuizy quits (~jhuizy@static.241.188.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2020-10-31 23:02:24	→	jhuizy joins (~jhuizy@static.241.188.216.95.clients.your-server.de)
2020-10-31 23:02:30	×	Reiser quits (~0a2a0001@unaffiliated/reisen) (Quit: Ping timeout (120 seconds))
2020-10-31 23:02:51	×	daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Quit: Ping timeout (120 seconds))
2020-10-31 23:02:57	→	Reiser joins (~0a2a0001@static.210.242.216.95.clients.your-server.de)
2020-10-31 23:03:03	→	daGrevis joins (~daGrevis@unaffiliated/dagrevis)
2020-10-31 23:03:22	<sim590>	Why is using `is` with prisms prone to erreor as suggested by this answer here: https://stackoverflow.com/a/35253041 ?
2020-10-31 23:04:34	<ghoulguy>	sim590, you'd have to ask that user why they thought that.
2020-10-31 23:05:01	×	xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-10-31 23:05:45	→	akad_ joins (~akad@109107030050.radomsko.vectranet.pl)
2020-10-31 23:06:10	<sim590>	ghoulguy: so you don't either see any reason why he'd think that. Because I can't think of a reason.
2020-10-31 23:06:19	→	vicfred_ joins (~vicfred@unaffiliated/vicfred)
2020-10-31 23:06:20	×	taio quits (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de) (Quit: Konversation terminated!)
2020-10-31 23:06:51	<ghoulguy>	My guess is that some people read a blog post about "boolean blindness" and then just tried to apply it at every opportunity. That's just a guess though; I don't know what this author had in mind
2020-10-31 23:06:59	×	heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 23:07:15	<dolio>	It's not error prone if you just want a yes/no answer, and never the underlying data. It is error prone to structure code that way (predicate + cast later) instead of pattern matching.
2020-10-31 23:08:34	×	vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 246 seconds)
2020-10-31 23:10:03	→	gioyik joins (~gioyik@186.112.105.190)
2020-10-31 23:10:18	→	jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-10-31 23:12:09	×	conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 23:12:18	<sim590>	Alright. Maybe that's it. In any case, I'm interested in havnig the free constructor checkers, so I don't have to worry about that too much. Thanks for you point of view!
2020-10-31 23:12:53	×	PerseusPlease quits (~{mikey}@79.140.122.39) (Quit: Leaving)
2020-10-31 23:14:25	×	gioyik quits (~gioyik@186.112.105.190) (Ping timeout: 240 seconds)
2020-10-31 23:15:36	→	ech joins (~user@gateway/tor-sasl/ech)
2020-10-31 23:18:03	→	christo joins (~chris@81.96.113.213)
2020-10-31 23:18:07	×	elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-10-31 23:20:05	<dolio>	Also, I would not assume that ddarius is answering just because he read a blog post somewhere.
2020-10-31 23:23:30	×	p-core quits (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Ping timeout: 272 seconds)
2020-10-31 23:26:37	→	p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-31 23:27:22	×	ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Remote host closed the connection)
2020-10-31 23:28:23	<sim590>	dolio: Who's ddarius?
2020-10-31 23:29:03	<dolio>	The person who answered the question.
2020-10-31 23:29:16	<sim590>	Isn't he called Derek?
2020-10-31 23:29:20	→	ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-10-31 23:29:27	<dolio>	ddarius is his irc handle.
2020-10-31 23:29:39	<sim590>	oh. Didn't know you knew him ^^
2020-10-31 23:29:40	<dolio>	Although he hasn't been around in a while.
2020-10-31 23:34:28	→	taio joins (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de)
2020-10-31 23:34:34	×	taio quits (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de) (Client Quit)
2020-10-31 23:34:54	→	taio joins (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de)
2020-10-31 23:35:22	×	comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-31 23:36:30	×	texasmynsted quits (~texasmyns@212.102.45.109) ()
2020-10-31 23:36:46	×	ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-31 23:37:00	×	wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-31 23:37:45	→	mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-10-31 23:38:26	×	sam___ quits (~sam@19.247.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-10-31 23:39:14	×	taio quits (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de) (Client Quit)
2020-10-31 23:40:01	×	gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-31 23:41:17	×	darjeeling_ quits (~darjeelin@122.245.121.118) (Ping timeout: 260 seconds)
2020-10-31 23:41:43	→	darjeeling_ joins (~darjeelin@122.245.121.118)
2020-10-31 23:42:45	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 23:43:25	×	vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-31 23:44:59	×	jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 23:47:05	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-31 23:49:05	×	Tario quits (~Tario@200.119.187.37) (Ping timeout: 240 seconds)
2020-10-31 23:49:34	→	Tario joins (~Tario@201.204.63.11)
2020-10-31 23:49:46	→	wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 23:49:57	×	wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2020-10-31 23:52:17	×	danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 268 seconds)
2020-10-31 23:53:22	×	machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 246 seconds)
2020-10-31 23:53:32	×	mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-10-31 23:55:02	×	fendor quits (~fendor@77.119.131.204.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-31 23:57:02	×	darjeeling_ quits (~darjeelin@122.245.121.118) (Ping timeout: 264 seconds)
2020-10-31 23:57:29	→	darjeeling_ joins (~darjeelin@122.245.121.118)
2020-10-31 23:57:30	hackage	agda2lagda 0.2020.11.1 - Translate .agda files into .lagda.tex files. https://hackage.haskell.org/package/agda2lagda-0.2020.11.1 (AndreasAbel)
2020-11-01 00:00:01	×	zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops)
2020-11-01 00:00:38	→	texasmynsted joins (~texasmyns@172.93.177.204)
2020-11-01 00:00:47	→	cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-01 00:01:13	→	zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
2020-11-01 00:02:33	<Uniaika>	I read "lada" at first haha
2020-11-01 00:03:09	×	ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Remote host closed the connection)
2020-11-01 00:05:27	→	ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-11-01 00:07:28	→	heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-01 00:10:32	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-01 00:11:28	→	gioyik joins (~gioyik@186.112.105.190)
2020-11-01 00:12:02	×	refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-01 00:12:05	×	heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-01 00:12:10	×	Ariakenom quits (~Ariakenom@h-155-4-221-164.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-01 00:15:58	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-01 00:16:14	×	gioyik quits (~gioyik@186.112.105.190) (Ping timeout: 264 seconds)
2020-11-01 00:16:44	×	bjobjo quits (~bjobjo@2a01:79c:cebf:d688::9e6) (Ping timeout: 246 seconds)
2020-11-01 00:16:45	×	Reiser quits (~0a2a0001@static.210.242.216.95.clients.your-server.de) (Changing host)
2020-11-01 00:16:45	→	Reiser joins (~0a2a0001@unaffiliated/reisen)
2020-11-01 00:16:58	→	conal joins (~conal@107.181.166.214)
2020-11-01 00:17:15	→	gioyik joins (~gioyik@186.112.105.190)
2020-11-01 00:22:07	→	langseth joins (~langseth@185.204.1.185)
2020-11-01 00:22:23	×	gioyik quits (~gioyik@186.112.105.190) (Ping timeout: 260 seconds)

←Prev Next→

Page 1 .. 980 981 982 983 984 985 986 987 988 989 990 .. 5022

All times are in UTC.