Logs: liberachat/#haskell
| 2021-05-27 18:11:34 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-05-27 18:13:33 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 18:13:35 | × | hueso quits (~root@152.170.216.40) (Ping timeout: 265 seconds) |
| 2021-05-27 18:14:15 | → | gensyst joins (gensyst@user/gensyst) |
| 2021-05-27 18:14:27 | → | hueso joins (~root@152.170.216.40) |
| 2021-05-27 18:15:13 | <gensyst> | Is Double substantially faster/slower than Rational? |
| 2021-05-27 18:16:51 | <Zemyla> | Double is hardware accelerated. |
| 2021-05-27 18:16:59 | <geekosaur> | generally faster since Rational is based on Integer / bignums, whereas Double ius machine numbers |
| 2021-05-27 18:16:59 | <Zemyla> | Also, it's not arbitrary precision. |
| 2021-05-27 18:17:14 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 18:17:43 | <Zemyla> | The only operation for which Rational is faster than Double is toRational. |
| 2021-05-27 18:17:54 | <gensyst> | :D |
| 2021-05-27 18:17:59 | <gensyst> | thanks |
| 2021-05-27 18:18:20 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 2021-05-27 18:18:46 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 264 seconds) |
| 2021-05-27 18:19:22 | <cjay> | Hmm, I wonder if there is some corner cases where Rational is faster. Rational division is just two multiplications, maybe that's faster than one Double division? |
| 2021-05-27 18:20:14 | <cjay> | recip certainly is faster ^^ |
| 2021-05-27 18:20:49 | × | autophagy quits (~mika@user/autophagy) (Quit: WeeChat 3.1) |
| 2021-05-27 18:20:55 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 2021-05-27 18:21:10 | → | autophagy joins (~mika@2a02:8109:8540:36a0::fccc) |
| 2021-05-27 18:22:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 18:23:38 | × | autophagy quits (~mika@2a02:8109:8540:36a0::fccc) (Changing host) |
| 2021-05-27 18:23:38 | → | autophagy joins (~mika@user/autophagy) |
| 2021-05-27 18:23:42 | × | autophagy quits (~mika@user/autophagy) (Client Quit) |
| 2021-05-27 18:23:43 | <python476> | rahguzar: i've read that 50s CS researchers were deep into monoidal computation |
| 2021-05-27 18:24:00 | <python476> | also I remember some papers about group theory regarding grammars |
| 2021-05-27 18:24:03 | → | autophagy joins (~mika@user/autophagy) |
| 2021-05-27 18:24:45 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-27 18:24:46 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-05-27 18:25:08 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 18:25:24 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-27 18:26:59 | × | siraben quits (~siraben@user/siraben) (Client Quit) |
| 2021-05-27 18:26:59 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Client Quit) |
| 2021-05-27 18:27:14 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2021-05-27 18:27:20 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 18:27:36 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-27 18:27:46 | <Zemyla> | cjay: recip isn't necessarily faster, especially if it's unboxed or the Rational is negative. |
| 2021-05-27 18:28:02 | <bbhoss> | Anyone have any experience writing custom Servant serializers/deserializers? I am using GCP PubSub to post messages to my servant endpoint. It's posting JSON but that JSON is just a wrapper around the message data which is protobuf in this case. I'd like to maintain the way servant does content negotiation etc but also embed the sum type of the various PB messages in the API itself. Is this possible? |
| 2021-05-27 18:29:08 | <bbhoss> | It seems like this: https://hackage.haskell.org/package/servant-0.18.2/docs/Servant-API-ContentTypes.html could be useful but it also seems like the only way to negotiate is via the accept/content type header, which will be json still. Or could I implement a custom MimeUnrender instance that looks at the message itself? |
| 2021-05-27 18:31:56 | <xerox> | what is a possible approachable strategy to come up with an injective T -> Int for a substantially complex type T that doesn't contain stuff that is impossible to hash in such a manner? |
| 2021-05-27 18:32:42 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 264 seconds) |
| 2021-05-27 18:34:13 | → | bfrk joins (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) |
| 2021-05-27 18:34:56 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-27 18:36:46 | <Athas> | xerox: derive Show and hash the string. |
| 2021-05-27 18:37:15 | <Athas> | Oh, you want the inverse as well? |
| 2021-05-27 18:37:56 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-27 18:38:27 | → | slac36573 joins (~slack1256@181.203.105.152) |
| 2021-05-27 18:38:47 | <xerox> | no |
| 2021-05-27 18:38:59 | × | SteelZeal quits (~SteelZeal@user/steelzeal) (Quit: Leaving) |
| 2021-05-27 18:39:15 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 18:39:54 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-05-27 18:40:04 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-27 18:40:26 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-27 18:40:50 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 18:41:06 | × | slack1256 quits (~slack1256@181.203.32.1) (Ping timeout: 264 seconds) |
| 2021-05-27 18:41:15 | <altern> | anyone can help with the SO question? https://stackoverflow.com/questions/67728103/how-to-list-all-commits-with-gitlib |
| 2021-05-27 18:46:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-27 18:46:55 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 2021-05-27 18:47:42 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 2021-05-27 18:50:48 | × | lu quits (~lu@user/lu) (Ping timeout: 265 seconds) |
| 2021-05-27 18:51:18 | <sm> | maerwald: nice! So the trick was to eNABLE_VIRTUAL_TERMINAL_PROCESSING ? |
| 2021-05-27 18:54:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 18:56:25 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 244 seconds) |
| 2021-05-27 18:57:01 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Ping timeout: 272 seconds) |
| 2021-05-27 18:57:07 | → | Morrow joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-27 18:58:06 | × | tenniscp25 quits (~textual@134.196.209.118) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-27 18:58:24 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 2021-05-27 18:59:40 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-05-27 19:00:59 | × | tenniscp25 quits (~textual@134.196.209.118) (Client Quit) |
| 2021-05-27 19:01:20 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 2021-05-27 19:02:10 | × | ubert quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-27 19:02:10 | ub | is now known as ubert |
| 2021-05-27 19:02:29 | → | ubert1 joins (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-27 19:04:27 | × | tenniscp25 quits (~textual@134.196.209.118) (Client Quit) |
| 2021-05-27 19:05:06 | × | cnr quits (~cnr@user/cnr) (Ping timeout: 264 seconds) |
| 2021-05-27 19:05:09 | → | tenniscp25 joins (~tenniscp2@134.196.209.118) |
| 2021-05-27 19:05:15 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-27 19:05:40 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 19:06:07 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 19:06:52 | → | cnr joins (~cnr@user/cnr) |
| 2021-05-27 19:07:09 | → | thblt joins (~thblt@k9.thb.lt) |
| 2021-05-27 19:07:10 | ← | thblt parts (~thblt@k9.thb.lt) () |
| 2021-05-27 19:07:21 | × | yumaikas- quits (~yumaikas@c-73-14-132-194.hsd1.co.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-27 19:07:47 | → | dut joins (~dut@user/dut) |
| 2021-05-27 19:09:20 | × | ubert1 quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-05-27 19:10:14 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 2021-05-27 19:10:43 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 2021-05-27 19:11:08 | glguy | sets mode -o glguy |
| 2021-05-27 19:11:38 | → | ixlun joins (~user@217.75.9.51.dyn.plus.net) |
| 2021-05-27 19:11:52 | × | Guest11 quits (~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 19:11:57 | <boxscape> | % :instances forall a . Show a => [a] |
| 2021-05-27 19:11:57 | <yahb> | boxscape: |
| 2021-05-27 19:11:58 | <boxscape> | :( |
| 2021-05-27 19:12:21 | <maerwald> | sm: yeah |
| 2021-05-27 19:12:24 | <boxscape> | wonder how hard it'd be to implement that |
| 2021-05-27 19:13:24 | <ixlun> | Hi all, I've got a function 'x :: IO (Either String Obj)'. Is there a way I can mix the IO with Either so that if one of the intermediate steps in the computation yields a Left the whole thing aborts automatically? |
| 2021-05-27 19:13:42 | <boxscape> | ixlun have you ever heard of Monad Transformers |
| 2021-05-27 19:14:23 | × | ddellacosta quits (~ddellacos@86.106.121.27) (Remote host closed the connection) |
| 2021-05-27 19:14:31 | → | skius joins (~skius@user/skius) |
| 2021-05-27 19:14:32 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
All times are in UTC.