Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 .. 18042
— 1,804,146 events total
2021-08-20 03:33:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-20 03:37:25 → vicfred joins (~vicfred@user/vicfred)
2021-08-20 03:45:00 → drstripedsocks joins (~aaashutos@113.199.180.28)
2021-08-20 03:45:29 × drstripedsocks quits (~aaashutos@113.199.180.28) (Client Quit)
2021-08-20 03:53:31 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2021-08-20 03:55:27 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2021-08-20 03:56:03 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-20 03:57:31 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2021-08-20 03:58:00 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2021-08-20 04:01:00 → PinealGlandOptic joins (~PinealGla@37.115.210.35)
2021-08-20 04:03:38 <lechner> dsal: bummer, i had hoped to win you as a debian contributor. so much talent!
2021-08-20 04:07:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-20 04:09:22 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-08-20 04:17:04 × sleblanc quits (~sleblanc@user/sleblanc) (Ping timeout: 252 seconds)
2021-08-20 04:41:10 × t0zy quits (~t0zy@49.207.220.61) (Ping timeout: 240 seconds)
2021-08-20 04:41:55 → t0zy joins (~t0zy@2402:3a80:d00:f3c6::3fd7:9319)
2021-08-20 04:51:51 → o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt)
2021-08-20 04:56:10 × o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 240 seconds)
2021-08-20 04:56:15 → shailangsa joins (~shailangs@host86-186-136-25.range86-186.btcentralplus.com)
2021-08-20 04:57:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-08-20 05:02:03 × slack1256 quits (~slack1256@191.125.37.143) (Remote host closed the connection)
2021-08-20 05:08:14 → fef joins (~thedawn@user/thedawn)
2021-08-20 05:09:42 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-08-20 05:14:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-20 05:19:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-08-20 05:24:10 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-08-20 05:27:40 × cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds)
2021-08-20 05:30:35 → kstuart joins (~user@185.92.25.246)
2021-08-20 05:30:40 × xff0x quits (~xff0x@2001:1a81:5207:3100:ba2d:6a43:7e07:c407) (Ping timeout: 240 seconds)
2021-08-20 05:31:11 → cheater joins (~Username@user/cheater)
2021-08-20 05:31:39 → xff0x joins (~xff0x@2001:1a81:5207:3100:686a:e8fd:47a9:633d)
2021-08-20 05:32:49 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 248 seconds)
2021-08-20 05:35:52 × polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Ping timeout: 245 seconds)
2021-08-20 05:41:07 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-20 05:41:40 × Danishman quits (~Allan@2-104-144-110-cable.dk.customer.tdc.net) (Quit: Leaving)
2021-08-20 05:42:13 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Client Quit)
2021-08-20 05:51:04 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-08-20 05:52:12 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-20 05:57:35 → img joins (~img@user/img)
2021-08-20 05:58:40 × t0zy quits (~t0zy@2402:3a80:d00:f3c6::3fd7:9319) (Ping timeout: 240 seconds)
2021-08-20 06:04:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-20 06:06:55 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-20 06:08:26 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-08-20 06:11:32 → jakalx joins (~jakalx@base.jakalx.net)
2021-08-20 06:11:45 × Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds)
2021-08-20 06:11:50 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds)
2021-08-20 06:12:08 → Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-08-20 06:15:04 × Megant quits (megant@user/megant) (Ping timeout: 268 seconds)
2021-08-20 06:16:23 → Megant joins (megant@user/megant)
2021-08-20 06:28:28 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-20 06:30:21 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-08-20 06:34:24 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-20 06:34:48 × keutoi quits (~keutoi@157.48.195.127) (Ping timeout: 250 seconds)
2021-08-20 06:36:51 → keutoi joins (~keutoi@157.48.195.127)
2021-08-20 06:38:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-20 06:40:04 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds)
2021-08-20 06:40:12 → o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt)
2021-08-20 06:40:16 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-08-20 06:44:20 × o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 250 seconds)
2021-08-20 06:56:54 × azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 250 seconds)
2021-08-20 06:58:38 → azeem joins (~azeem@176.200.243.66)
2021-08-20 07:00:43 × azeem quits (~azeem@176.200.243.66) (Read error: Connection reset by peer)
2021-08-20 07:01:22 → d0ku joins (~d0ku@178.43.198.70.ipv4.supernova.orange.pl)
2021-08-20 07:02:10 → azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-20 07:03:52 → lortabac joins (~lortabac@62.98.47.131)
2021-08-20 07:04:04 → amk joins (~amk@109.255.169.126)
2021-08-20 07:07:36 → fendor joins (~fendor@213162073025.public.t-mobile.at)
2021-08-20 07:09:42 → burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-20 07:14:14 × burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds)
2021-08-20 07:22:59 × Guest372 quits (~xxx@47.245.54.240) (Remote host closed the connection)
2021-08-20 07:24:07 → Guest372 joins (~xxx@47.245.54.240)
2021-08-20 07:29:00 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-20 07:31:23 → acidjnk_new3 joins (~acidjnk@p200300d0c72b950070172e7c3c578523.dip0.t-ipconnect.de)
2021-08-20 07:33:18 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-08-20 07:35:31 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-20 07:37:56 → kuribas joins (~user@ptr-25vy0i7hpbjw2llku95.18120a2.ip6.access.telenet.be)
2021-08-20 07:37:57 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-20 07:39:01 → MQ-17J joins (~MQ-17J@8.6.144.209)
2021-08-20 07:40:28 → ubert joins (~Thunderbi@178.115.64.138.wireless.dyn.drei.com)
2021-08-20 07:40:49 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-20 07:42:39 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-20 07:48:32 <kuribas> Why does this work: (set #specific_fields () . set #annotations ()) dm
2021-08-20 07:48:42 → burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-20 07:48:56 <kuribas> But not this? set (#specific_fields `adjoin` #annotations) ()
2021-08-20 07:49:14 → jgeerds joins (~jgeerds@55d4b311.access.ecotel.net)
2021-08-20 07:49:19 <kuribas> both #specific_fields and #annotations are (polymorphic) fields.
2021-08-20 07:49:37 <kuribas> So the label should be lenses, which can be joined as traversals, right?
2021-08-20 07:52:48 × mousey quits (~skymouse@gateway/tor-sasl/mousey) (Remote host closed the connection)
2021-08-20 07:52:59 → mousey joins (~skymouse@gateway/tor-sasl/mousey)
2021-08-20 07:54:19 × burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-08-20 07:56:18 → burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-20 08:00:39 → ubert1 joins (~Thunderbi@178.115.64.138.wireless.dyn.drei.com)
2021-08-20 08:01:19 <c_wraith> kuribas: the type of adjoin prevents polymorphic optics
2021-08-20 08:01:29 <c_wraith> @let import Control.Lens.Unsound
2021-08-20 08:01:30 <lambdabot> Defined.
2021-08-20 08:01:33 <c_wraith> :t adjoin
2021-08-20 08:01:34 <lambdabot> Applicative f => Traversal' s a -> Traversal' s a -> (a -> f a) -> s -> f s
2021-08-20 08:01:46 <c_wraith> those are monomorphic
2021-08-20 08:03:07 → bebenon joins (~bebenon@5.44.169.233)
2021-08-20 08:03:40 × ubert quits (~Thunderbi@178.115.64.138.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
←Prev  Next→
Page 1 .. 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 .. 18042

All times are in UTC.