Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 752 753 754 755 756 757 758 759 760 761 762 .. 18020
— 1,801,952 events total
2021-07-02 10:40:16 × azeem quits (~azeem@176.201.21.236) (Ping timeout: 272 seconds)
2021-07-02 10:41:51 × ajar quits (~jr@1.38.44.128) (Quit: Client closed)
2021-07-02 10:43:11 × oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds)
2021-07-02 10:44:11 → oxide joins (~lambda@user/oxide)
2021-07-02 10:47:28 → dunkeln_ joins (~dunkeln@188.70.10.165)
2021-07-02 10:47:46 → azeem joins (~azeem@176.201.21.236)
2021-07-02 10:53:29 pie_bnc is now known as pie_
2021-07-02 10:54:48 → chris_ joins (~chris@81.96.113.213)
2021-07-02 10:54:52 × chris_ quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-07-02 10:55:04 → chris_ joins (~chris@81.96.113.213)
2021-07-02 10:56:07 → qbt joins (~edun@user/edun)
2021-07-02 11:00:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-02 11:01:52 × azeem quits (~azeem@176.201.21.236) (Ping timeout: 265 seconds)
2021-07-02 11:03:18 → azeem joins (~azeem@176.201.21.236)
2021-07-02 11:03:43 → spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel)
2021-07-02 11:06:18 × spirgel_ quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 240 seconds)
2021-07-02 11:06:35 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-02 11:08:53 → xsperry joins (~as@user/xsperry)
2021-07-02 11:11:28 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-07-02 11:13:06 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-02 11:15:44 × azeem quits (~azeem@176.201.21.236) (Ping timeout: 272 seconds)
2021-07-02 11:18:16 × dunkeln_ quits (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds)
2021-07-02 11:18:16 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-07-02 11:18:32 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-07-02 11:18:44 × mei quits (~mei@user/mei) (Quit: Client closed)
2021-07-02 11:18:58 → mei joins (~mei@user/mei)
2021-07-02 11:19:00 → azeem joins (~azeem@176.201.7.53)
2021-07-02 11:22:18 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-02 11:25:09 → lortabac joins (~lortabac@95.138.56.124)
2021-07-02 11:29:06 × qbt quits (~edun@user/edun) (Ping timeout: 240 seconds)
2021-07-02 11:29:58 → dunkeln joins (~dunkeln@188.70.10.165)
2021-07-02 11:30:10 × azeem quits (~azeem@176.201.7.53) (Ping timeout: 256 seconds)
2021-07-02 11:30:35 × Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds)
2021-07-02 11:34:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-02 11:35:37 → azeem joins (~azeem@176.201.7.53)
2021-07-02 11:35:42 → jippiedoe joins (~david@2a02-a44c-e14e-1-1f8d-f529-7b23-33b1.fixed6.kpn.net)
2021-07-02 11:39:06 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-02 11:39:34 × dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 265 seconds)
2021-07-02 11:43:31 → Torro joins (Torro@gateway/vpn/protonvpn/torro)
2021-07-02 11:46:24 × dunj3 quits (~dunj3@p200300f61714a6748e87ed091f47e421.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-07-02 11:48:31 → phma_ joins (phma@2001:5b0:211f:42c8:39c2:9ea1:f2e8:75b1)
2021-07-02 11:49:07 × phma quits (phma@2001:5b0:211f:fff8:cd25:f96a:65d:6896) (Read error: Connection reset by peer)
2021-07-02 11:53:15 → favonia joins (~favonia@user/favonia)
2021-07-02 11:53:40 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-02 11:53:52 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-02 11:57:54 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-02 11:58:41 → favonia joins (~favonia@user/favonia)
2021-07-02 12:01:14 → TheRAt joins (~TheRAt@user/therat)
2021-07-02 12:03:16 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-07-02 12:04:08 → yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-07-02 12:05:46 × pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 272 seconds)
2021-07-02 12:06:17 → pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca)
2021-07-02 12:07:02 × cross quits (~cross@spitfire.i.gajendra.net) (Ping timeout: 272 seconds)
2021-07-02 12:07:27 → tose joins (~tose@ip-85-160-2-70.eurotel.cz)
2021-07-02 12:07:40 × mjrosenb quits (~mrosenbe@104.225.243.2) (Ping timeout: 272 seconds)
2021-07-02 12:07:40 × davean quits (~davean@davean.sciesnet.net) (Ping timeout: 272 seconds)
2021-07-02 12:07:53 → waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-07-02 12:08:12 → dunkeln joins (~dunkeln@188.70.10.165)
2021-07-02 12:08:32 → cross joins (~cross@spitfire.i.gajendra.net)
2021-07-02 12:08:40 → mjrosenb joins (~mrosenbe@nyc.schrodinger.com)
2021-07-02 12:09:55 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf)
2021-07-02 12:10:03 → davean joins (~davean@davean.sciesnet.net)
2021-07-02 12:12:03 → hammock joins (~Hammock@2600:1700:19a1:3330::625)
2021-07-02 12:14:18 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 240 seconds)
2021-07-02 12:14:58 × spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) ()
2021-07-02 12:17:38 → cheater1__ joins (~Username@user/cheater)
2021-07-02 12:18:38 × cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds)
2021-07-02 12:18:40 cheater1__ is now known as cheater
2021-07-02 12:28:58 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-07-02 12:29:16 → Pickchea joins (~private@user/pickchea)
2021-07-02 12:29:47 <dminuoso> I can also see this breaking in subtle cases of MMR
2021-07-02 12:29:57 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-02 12:30:31 × azeem quits (~azeem@176.201.7.53) (Ping timeout: 258 seconds)
2021-07-02 12:31:05 <dminuoso> Though no, if I follow this thought it goes into the same ballpark that Taneb does.
2021-07-02 12:32:10 <Taneb> MMR?
2021-07-02 12:34:32 → azeem joins (~azeem@176.201.7.53)
2021-07-02 12:34:33 <dminuoso> % f = (g "foo", g (Identity "bar")) where g = fromString
2021-07-02 12:34:34 <yahb> dminuoso: ; <interactive>:124:18: error:; * Couldn't match type: Identity String; with: [Char]; Expected: String; Actual: Identity String; * In the first argument of `g', namely `(Identity "bar")'; In the expression: g (Identity "bar"); In the expression: (g "foo", g (Identity "bar"))
2021-07-02 12:34:57 <dminuoso> Im still trying to construct a backwards breaking chance here
2021-07-02 12:35:24 <dminuoso> Think Im going into a wrong direction
2021-07-02 12:39:54 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-02 12:45:40 → lavaman joins (~lavaman@98.38.249.169)
2021-07-02 12:51:57 → chisui joins (~chisui@200116b8667639009cc16d86abb76e8b.dip.versatel-1u1.de)
2021-07-02 12:53:27 × jneira quits (~jneira@212.8.115.226) (Quit: Client closed)
2021-07-02 12:57:19 → jolly joins (~jolly@208.180.97.158)
2021-07-02 12:57:49 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-02 13:01:10 → alx741 joins (~alx741@186.178.108.157)
2021-07-02 13:03:54 × jippiedoe quits (~david@2a02-a44c-e14e-1-1f8d-f529-7b23-33b1.fixed6.kpn.net) (Ping timeout: 240 seconds)
2021-07-02 13:06:08 × fabfianda quits (~fabfianda@mob-5-90-248-65.net.vodafone.it) (Ping timeout: 252 seconds)
2021-07-02 13:06:37 → fabfianda joins (~fabfianda@37.183.255.57)
2021-07-02 13:07:20 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-02 13:07:29 → jippiedoe joins (~david@2a02-a44c-e14e-1-956e-4fa9-1c2d-bd56.fixed6.kpn.net)
2021-07-02 13:09:08 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-02 13:13:09 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-02 13:13:54 × jippiedoe quits (~david@2a02-a44c-e14e-1-956e-4fa9-1c2d-bd56.fixed6.kpn.net) (Quit: Leaving)
2021-07-02 13:15:14 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-07-02 13:19:08 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-02 13:20:06 × azeem quits (~azeem@176.201.7.53) (Ping timeout: 265 seconds)
2021-07-02 13:21:16 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-02 13:21:27 → azeem joins (~azeem@176.201.7.53)
←Prev  Next→
Page 1 .. 752 753 754 755 756 757 758 759 760 761 762 .. 18020

All times are in UTC.