Logs: freenode/#haskell

←Prev Next→

Page 1 .. 3 4 5 6 7 8 9 10 11 12 13 .. 5022

— 502,152 events total

2020-09-16 21:00:35	<monochrom>	Please always apply Occam's razor to human motivation. You'll be more realistic and cynical.
2020-09-16 21:00:37	<sm[m]>	Graypup_: great, this should be perfect for you then
2020-09-16 21:00:37	<Graypup_>	so I can /absolutely/ stomach nix hahahaha
2020-09-16 21:01:14	×	mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-09-16 21:01:29	<monochrom>	hyperisco: Good point, yeah.
2020-09-16 21:02:00	<maerwald>	glguy: and I was gonna debate Thomas Aquinas god proofs
2020-09-16 21:02:07	<maerwald>	but they didn't stay long enough
2020-09-16 21:02:55	<monochrom>	"beware of mathematicians, category theorists, and Haskellers" >:)
2020-09-16 21:04:12	×	board_control quits (~board_con@50-46-195-209.evrt.wa.frontiernet.net) (Remote host closed the connection)
2020-09-16 21:04:38	→	__Joker joins (~Joker@180.151.106.108)
2020-09-16 21:06:02	×	cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-16 21:06:33	→	cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-16 21:07:25	×	whiteline quits (~whiteline@unaffiliated/whiteline) (Ping timeout: 246 seconds)
2020-09-16 21:07:43	×	hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 272 seconds)
2020-09-16 21:08:01	×	darjeeling_ quits (~darjeelin@115.215.41.222) (Ping timeout: 264 seconds)
2020-09-16 21:09:05	×	dhouthoo_ quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-16 21:09:09	×	__Joker quits (~Joker@180.151.106.108) (Ping timeout: 260 seconds)
2020-09-16 21:10:38	→	darjeeling_ joins (~darjeelin@115.215.41.222)
2020-09-16 21:10:51	×	gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-16 21:12:24	×	heatsink quits (~heatsink@2600:1700:bef1:5e10:bd17:aa8d:6e1d:595d) (Remote host closed the connection)
2020-09-16 21:14:54	→	gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-16 21:16:11	→	gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-16 21:19:02	×	takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-09-16 21:19:19	<aldum>	I thought the complaint was that (most) haskellers are in the intersection of the former two
2020-09-16 21:19:57	<MarcelineVQ>	most haskellers just want to be Free
2020-09-16 21:20:05	<dolio>	That's not true at all, really.
2020-09-16 21:21:01	×	gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-16 21:21:05	→	Tops2 joins (~Tobias@dyndsl-095-033-025-182.ewe-ip-backbone.de)
2020-09-16 21:21:58	<monochrom>	It's an understandable complaint if you add weights by how vocal each Haskeller is.
2020-09-16 21:22:05	→	Suntop1 joins (~Suntop@217.146.82.202)
2020-09-16 21:24:18	<dolio>	I don't know if it's even true then, unless your standards for being a 'category theorist' are pretty low.
2020-09-16 21:24:25	<dolio>	Or 'mathematician'.
2020-09-16 21:24:45	<monochrom>	I believe that's exactly what happens in many people's minds.
2020-09-16 21:24:56	×	knupfer quits (~Thunderbi@i5E86B4D3.versanet.de) (Ping timeout: 272 seconds)
2020-09-16 21:25:22	<monochrom>	Right? Yesterday's smbc (https://www.smbc-comics.com/comic/number-hunt) is very revealing.
2020-09-16 21:26:15	<monochrom>	People fear what they haven't heard of, and that fear leads to hyperboles and exaggerations.
2020-09-16 21:28:11	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-16 21:28:47	×	irc_user quits (uid423822@gateway/web/irccloud.com/x-tyuxnghfcjihygmo) (Quit: Connection closed for inactivity)
2020-09-16 21:30:01	<monochrom>	Or it's a psychological defense mechanism. To feel better that you have a rationalization for why the other person knows something you don't know.
2020-09-16 21:32:54	→	g-belmonte joins (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d)
2020-09-16 21:33:08	<int-e>	monochrom: you're 1 million percent wrong
2020-09-16 21:33:22	<dolio>	Wow, that's pretty wrong.
2020-09-16 21:33:44	<monochrom>	OK, what's right then?
2020-09-16 21:33:55	<int-e>	Sorry, I got stuck on the hyperbole stage.
2020-09-16 21:34:05	<monochrom>	haha OK
2020-09-16 21:34:38	<MarcelineVQ>	trancendentally wrong
2020-09-16 21:35:14	→	lembot joins (~lembot@179.8.176.163)
2020-09-16 21:35:37	<monochrom>	A cunning fox, more cunning than the previous one, came across a lot of grapes hung pretty high. The fox really wanted the grapes, but couldn't reach them.
2020-09-16 21:35:43	<MarcelineVQ>	you're extremely wrong, but luckily figuring out how wrong you are is only log_w you
2020-09-16 21:35:54	→	mdunnio joins (~mdunnio@208.59.170.5)
2020-09-16 21:35:59	<monochrom>	This fox is more cunning than the previous one, so it wouldn't lie to itself "I don't want these grapes anyway".
2020-09-16 21:36:15	×	revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2020-09-16 21:36:24	→	heatsink joins (~heatsink@2600:1700:bef1:5e10:99ca:18ad:4e5f:ffdf)
2020-09-16 21:36:30	<ski>	oh, fable time :)
2020-09-16 21:36:34	<monochrom>	Its more cunning excuse is "these grapes are for animals with wings. But I'm proudly down-to-earth".
2020-09-16 21:37:00	→	gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-16 21:37:06	→	revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-16 21:37:32	→	falafel__ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-16 21:39:03	→	bennofs joins (~quassel@dslb-188-103-036-188.188.103.pools.vodafone-ip.de)
2020-09-16 21:41:08	×	mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 258 seconds)
2020-09-16 21:41:23	×	gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-16 21:42:11	×	bennofs_ quits (~quassel@dslb-094-222-082-201.094.222.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2020-09-16 21:44:13	×	__monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-16 21:44:55	×	ph88 quits (~ph88@ip1f11e5d4.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-09-16 21:45:22	→	ph88 joins (~ph88@31.17.229.212)
2020-09-16 21:49:32	×	darjeeling_ quits (~darjeelin@115.215.41.222) (Ping timeout: 256 seconds)
2020-09-16 21:51:25	×	xff0x_ quits (~fox@2001:1a81:52d0:6b00:59b8:5104:189c:a88e) (Ping timeout: 272 seconds)
2020-09-16 21:51:46	→	xff0x_ joins (~fox@2001:1a81:52d0:6b00:7599:d48:f5dc:5fef)
2020-09-16 21:51:54	→	inkbottle joins (~inkbottle@aaubervilliers-654-1-114-91.w86-198.abo.wanadoo.fr)
2020-09-16 21:52:01	→	darjeeling_ joins (~darjeelin@115.215.41.222)
2020-09-16 21:52:03	×	ph88 quits (~ph88@31.17.229.212) (Ping timeout: 272 seconds)
2020-09-16 21:52:25	×	zebrag quits (~inkbottle@aaubervilliers-654-1-78-61.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-09-16 21:52:52	×	aveltras quits (uid364989@gateway/web/irccloud.com/x-ttqvxrriizsavlbb) (Quit: Connection closed for inactivity)
2020-09-16 21:56:50	falafel__	is now known as falafel
2020-09-16 21:57:49	→	merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-16 21:57:51	→	gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-16 22:00:11	→	banner joins (~banner@116-255-17-98.ip4.superloop.com)
2020-09-16 22:00:49	→	Rudd0 joins (~Rudd0@185.189.115.98)
2020-09-16 22:02:11	×	danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-16 22:02:17	×	hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-09-16 22:02:17	×	tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-09-16 22:02:45	→	hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-16 22:02:59	→	tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-09-16 22:02:59	×	merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-16 22:03:13	→	frdg joins (~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-16 22:03:54	<frdg>	what is a nice way to visit every element in a list and perform an IO () on every visit?
2020-09-16 22:04:07	<monochrom>	mapM_
2020-09-16 22:04:18	<frdg>	ok
2020-09-16 22:04:36	→	WeaponX joins (~WeaponX@178.239.173.252)
2020-09-16 22:04:46	<monochrom>	Example: mapM_ putStrLn ["1st line", "2nd line"]
2020-09-16 22:04:48	×	kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-16 22:06:20	×	WeaponX quits (~WeaponX@178.239.173.252) (Quit: Leaving)
2020-09-16 22:06:26	×	MorrowM quits (~max@147.161.8.74) (Ping timeout: 258 seconds)
2020-09-16 22:06:32	<hpc>	it may also be more comfortable to do forM_ ["1st line", "2nd line"] $ do {...}
2020-09-16 22:06:50	→	HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-09-16 22:07:53	<monochrom>	you missed a lambda. forM_ ["1st line", "2nd line"] $ \x -> do {...}
2020-09-16 22:08:04	×	rihards quits (~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards)
2020-09-16 22:09:02	→	irc_user joins (uid423822@gateway/web/irccloud.com/x-cbxmaikgpxapbiip)
2020-09-16 22:09:20	→	rihards joins (~rihards@balticom-142-78-50.balticom.lv)
2020-09-16 22:09:56	<hpc>	oh yeah, i did

←Prev Next→

Page 1 .. 3 4 5 6 7 8 9 10 11 12 13 .. 5022

All times are in UTC.