Logs: freenode/#haskell
| 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.