Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 850 851 852 853 854 855 856 857 858 859 860 .. 18026
1,802,516 events total
2021-07-08 09:59:32 <Guest29> oh ok. thx
2021-07-08 10:00:23 × Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2021-07-08 10:02:02 × myShoggoth quits (~myShoggot@75.164.51.64) (Read error: Connection reset by peer)
2021-07-08 10:02:02 Obo joins (~roberto@94.191.137.180.mobile.tre.se)
2021-07-08 10:04:48 × azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-08 10:04:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-08 10:05:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:07:06 warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 10:10:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-08 10:11:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:11:50 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 252 seconds)
2021-07-08 10:13:46 × darklambda quits (~whateverg@111.65.56.40) (Quit: leaving)
2021-07-08 10:15:09 solaire joins (~solaire@pool-108-31-85-19.washdc.fios.verizon.net)
2021-07-08 10:16:20 × solaire quits (~solaire@pool-108-31-85-19.washdc.fios.verizon.net) (Client Quit)
2021-07-08 10:16:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-08 10:16:48 darklambda joins (~whateverg@111.65.56.40)
2021-07-08 10:17:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:18:22 lavaman joins (~lavaman@98.38.249.169)
2021-07-08 10:19:28 × Guest29 quits (~Guest29@2a02:a03f:8dbe:300:c46e:da5f:3e3c:1d44) (Quit: Client closed)
2021-07-08 10:20:43 azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-08 10:22:09 drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-08 10:22:17 Atum_ joins (~IRC@user/atum/x-2392232)
2021-07-08 10:22:34 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-07-08 10:23:43 AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-07-08 10:24:17 <boxscape> > "b+𝐛+𝑏+𝒃+𝒷+𝓫+𝔟+𝕓+𝖇+𝘣+𝙗+𝚋"
2021-07-08 10:24:19 <lambdabot> "b+\119835+\119887+\119939+\119991+\120043+\120095+\120147+\120199+\120355+\...
2021-07-08 10:25:51 zcombinator joins (~zcombinat@5.180.62.223)
2021-07-08 10:26:33 <kuribas> wouldn't it be nice if you could write TH like mustache templates?
2021-07-08 10:27:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-08 10:27:44 ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 10:27:50 <kuribas> or something else textual
2021-07-08 10:28:07 Pickchea joins (~private@user/pickchea)
2021-07-08 10:29:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:29:55 <Rembane> Sounds intriguing, can it be done as a hack using the preprocessor?
2021-07-08 10:30:31 <Rembane> ...just to get a feel for it
2021-07-08 10:32:36 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds)
2021-07-08 10:33:39 <boxscape> if <*> is "ap", how do you pronounce <**>?
2021-07-08 10:34:23 <boxscape> I was thinking maybe "flap", portmanteau of flip and ap
2021-07-08 10:34:34 <boxscape> but I don't know if there's a semi-established name
2021-07-08 10:34:47 <Atum_> stack compilation on windows is super slow, wow
2021-07-08 10:35:09 <Atum_> installed wsl, and now it is like, 10x faster
2021-07-08 10:35:13 <boxscape> compiling stack or compiling a program with stack?
2021-07-08 10:35:23 <Atum_> compiling a program with stack
2021-07-08 10:35:25 <Atum_> using the default template
2021-07-08 10:35:28 <boxscape> I see, weird
2021-07-08 10:37:15 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-07-08 10:37:30 mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-08 10:39:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-08 10:40:49 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:42:33 × zcombinator quits (~zcombinat@5.180.62.223) (Quit: WeeChat 3.2)
2021-07-08 10:46:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-08 10:46:46 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:47:19 zcombinator joins (~zcombinat@host-87-7-58-35.retail.telecomitalia.it)
2021-07-08 10:48:28 chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr)
2021-07-08 10:49:54 × kayprish quits (~kayprish@46.240.143.86) (Ping timeout: 252 seconds)
2021-07-08 10:51:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-08 10:52:42 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:58:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-08 10:58:56 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 10:59:55 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-08 11:00:25 Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-08 11:03:49 × kenran quits (~kenran@200116b82bdcfa0070f86b22d449a64a.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-07-08 11:04:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-07-08 11:04:36 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 11:05:18 <dminuoso> kuribas: Nothing keeps you from using mustache on haskell files! :D
2021-07-08 11:08:03 Feuermagier joins (~Feuermagi@user/feuermagier)
2021-07-08 11:09:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-07-08 11:10:33 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 11:10:54 × zcombinator quits (~zcombinat@host-87-7-58-35.retail.telecomitalia.it) (Quit: WeeChat 3.2)
2021-07-08 11:11:02 machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-08 11:11:55 Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-08 11:13:36 Kirat joins (~Gill@157.39.157.217)
2021-07-08 11:13:49 × Kirat quits (~Gill@157.39.157.217) (Client Quit)
2021-07-08 11:15:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-07-08 11:16:48 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 11:19:07 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-07-08 11:25:08 × chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 265 seconds)
2021-07-08 11:26:34 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 240 seconds)
2021-07-08 11:28:06 chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-08 11:35:21 × Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds)
2021-07-08 11:40:25 <viluon> dminuoso: sorry to ping you again, would you happen to know about places I could learn generics-sop by example?
2021-07-08 11:40:28 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-07-08 11:41:29 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-08 11:42:00 chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-08 11:43:33 chris-th_ joins (~chris@81.96.113.213)
2021-07-08 11:43:33 × chris-the-slurpa quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-07-08 11:44:00 × sander quits (~sander@user/sander) (Quit: So long! :))
2021-07-08 11:44:12 sander joins (~sander@user/sander)
2021-07-08 11:44:36 × Obo quits (~roberto@94.191.137.180.mobile.tre.se) (Read error: Connection reset by peer)
2021-07-08 11:47:39 × dunkeln_ quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds)
2021-07-08 11:50:06 favonia joins (~favonia@user/favonia)
2021-07-08 11:50:21 Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net)
2021-07-08 11:57:59 × Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2021-07-08 12:00:24 chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr)
2021-07-08 12:00:26 yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 12:03:00 jippiedoe joins (~david@2a02-a44c-e14e-1-bdc4-1e8f-afa7-3bad.fixed6.kpn.net)
2021-07-08 12:03:04 zcombinator joins (~zcombinat@host-87-7-58-35.retail.telecomitalia.it)
2021-07-08 12:03:38 × MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 258 seconds)
2021-07-08 12:05:53 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-08 12:06:26 yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)

All times are in UTC.