Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-02 03:03:59 × darjeeling_ quits (~darjeelin@122.245.121.118) (Ping timeout: 268 seconds)
2020-11-02 03:04:50 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 264 seconds)
2020-11-02 03:06:38 × meowphius quits (~meowphius@pool-96-237-166-172.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2020-11-02 03:06:54 machinedgod joins (~machinedg@207.253.244.210)
2020-11-02 03:07:08 <dsal> gobbleguy: You can reduce the redundancy of the `fromMaybe "" <$> optSection'` there
2020-11-02 03:07:54 × Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds)
2020-11-02 03:07:55 <dsal> Actually, more than that.
2020-11-02 03:08:51 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (barjavel.freenode.net (Nickname regained by services)))
2020-11-02 03:09:00 lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-02 03:10:20 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-02 03:12:03 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds)
2020-11-02 03:15:54 darjeeling_ joins (~darjeelin@115.215.40.228)
2020-11-02 03:20:10 × dmwit quits (~dmwit@pool-108-28-166-212.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-02 03:21:54 dmwit joins (~dmwit@pool-108-28-166-212.washdc.fios.verizon.net)
2020-11-02 03:22:04 guest112 joins (~user@49.5.6.87)
2020-11-02 03:23:50 elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-02 03:24:56 mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-02 03:25:12 × nerdypepper quits (nerdypeppe@152.67.160.69) (Quit: bye)
2020-11-02 03:26:30 nerdypepper joins (nerdypeppe@152.67.160.69)
2020-11-02 03:26:45 SqueakyBeaver joins (4a823731@cpe-74-130-55-49.kya.res.rr.com)
2020-11-02 03:28:25 × theDon quits (~td@94.134.91.196) (Ping timeout: 240 seconds)
2020-11-02 03:29:16 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds)
2020-11-02 03:30:37 theDon joins (~td@muedsl-82-207-238-028.citykom.de)
2020-11-02 03:32:29 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-11-02 03:33:12 Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-02 03:33:13 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 264 seconds)
2020-11-02 03:34:00 mimi_vx joins (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c)
2020-11-02 03:36:30 hackage macrm 1.0.0.5 - Alternative rm command for macOS that remove files/dirs to the system trash https://hackage.haskell.org/package/macrm-1.0.0.5 (satosystems)
2020-11-02 03:44:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-02 03:44:58 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 03:45:19 christo joins (~chris@81.96.113.213)
2020-11-02 03:47:58 <dsal> Woah, that's a lot of code.
2020-11-02 03:49:31 <MarcelineVQ> system $ printf "mv %s %s" file dest
2020-11-02 03:49:57 <dsal> https://github.com/dustin/trash/blob/master/trash.m <-- I wrote this in objc using the native support for trashing.
2020-11-02 03:50:16 <MarcelineVQ> kernel support for trashring?
2020-11-02 03:51:47 <dsal> The ~/.Trash thing is kind of special and the behavior of dragging files in is a little magic. The second time you drop a file in with the same name, e.g., you get some anti-collision stuff and such.
2020-11-02 04:03:52 × akad_ quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 256 seconds)
2020-11-02 04:04:46 falafel joins (~falafel@24-223-105-148.static.cablene.com)
2020-11-02 04:04:54 petersen joins (~petersen@redhat/juhp)
2020-11-02 04:05:10 × jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 04:08:26 × mimi_vx quits (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c) (Ping timeout: 264 seconds)
2020-11-02 04:10:05 × rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2020-11-02 04:17:00 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-02 04:23:24 × SqueakyBeaver quits (4a823731@cpe-74-130-55-49.kya.res.rr.com) (Ping timeout: 245 seconds)
2020-11-02 04:27:04 jedws joins (~jedws@101.184.150.81)
2020-11-02 04:41:36 johnw joins (~johnw@haskell/developer/johnw)
2020-11-02 04:42:35 dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-02 04:43:37 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-11-02 04:43:46 Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-02 04:44:06 Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-02 04:52:22 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-02 04:54:03 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-02 04:54:58 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-02 04:55:17 Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-02 04:55:25 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-02 04:56:04 × Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection)
2020-11-02 05:04:26 × Tario quits (~Tario@201.191.91.236) (Ping timeout: 272 seconds)
2020-11-02 05:05:44 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: sh9)
2020-11-02 05:08:26 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 264 seconds)
2020-11-02 05:08:37 justsomeguy joins (~justsomeg@216.186.218.241)
2020-11-02 05:08:37 × justsomeguy quits (~justsomeg@216.186.218.241) (Changing host)
2020-11-02 05:08:37 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-02 05:10:32 Tario joins (~Tario@200.119.185.133)
2020-11-02 05:13:26 × yinfeng quits (~yinfeng@2001:250:5002:8100::1:851e) (Quit: WeeChat 2.9)
2020-11-02 05:14:05 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 05:17:44 × conal quits (~conal@198.8.81.68) (Ping timeout: 272 seconds)
2020-11-02 05:19:02 <jackdk> Where do the names `Star` and `Costar` come from? (The ones that appear in `profunctors`)
2020-11-02 05:21:30 × xff0x quits (~fox@2001:1a81:537c:3e00:a716:2819:5bdd:ec6f) (Ping timeout: 268 seconds)
2020-11-02 05:21:57 xff0x joins (~fox@2001:1a81:537c:3e00:c8f2:34d9:3609:f336)
2020-11-02 05:24:27 conal joins (~conal@198.8.81.68)
2020-11-02 05:24:30 christo joins (~chris@81.96.113.213)
2020-11-02 05:25:09 mimi_vx joins (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c)
2020-11-02 05:26:18 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 05:26:53 thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 05:31:04 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-02 05:31:14 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-02 05:31:34 yinfeng joins (~yinfeng@2001:250:5002:8100::1:851e)
2020-11-02 05:31:39 <int-e> jackdk: I guess a combination of notation, namely F^*, and an affinity for movie references.
2020-11-02 05:32:59 reset joins (~reset@84.39.116.180)
2020-11-02 05:33:29 <int-e> http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html called them UpStar for F^* and DownStar for F_*
2020-11-02 05:38:05 × LambdaScientist quits (~Android@24.42.199.176) (Quit: -a- Connection Timed Out)
2020-11-02 05:38:40 × mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-11-02 05:39:24 × yinfeng quits (~yinfeng@2001:250:5002:8100::1:851e) (Quit: WeeChat 2.9)
2020-11-02 05:40:49 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 246 seconds)
2020-11-02 05:40:56 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-02 05:41:15 yinfeng joins (~yinfeng@2001:250:5002:8100::1:851e)
2020-11-02 05:41:38 LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 05:41:42 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 05:42:06 LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 05:42:10 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 05:42:23 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-11-02 05:42:38 LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 05:42:42 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 05:43:08 LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 05:43:13 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 05:43:23 × argent0 quits (~argent0@168.227.96.4) (Remote host closed the connection)
2020-11-02 05:43:25 day_ joins (~Unknown@unaffiliated/day)
2020-11-02 05:43:39 LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 05:43:44 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 05:44:08 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)

All times are in UTC.