Logs: liberachat/#haskell
| 2021-06-11 11:00:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-11 11:01:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-11 11:01:34 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 244 seconds) |
| 2021-06-11 11:02:24 | × | MoC quits (~moc@dslb-092-075-202-200.092.075.pools.vodafone-ip.de) (Quit: Konversation terminated!) |
| 2021-06-11 11:02:33 | × | pe200012 quits (~pe200012@120.236.161.38) (Ping timeout: 252 seconds) |
| 2021-06-11 11:02:37 | → | pe200012_ joins (~pe200012@120.236.161.38) |
| 2021-06-11 11:02:38 | → | MoC joins (~moc@dslb-092-075-202-200.092.075.pools.vodafone-ip.de) |
| 2021-06-11 11:06:52 | × | fendor quits (~fendor@77.119.128.240.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-06-11 11:06:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-11 11:07:07 | × | fendor_ quits (~fendor@77.119.128.240.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-06-11 11:07:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-11 11:07:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) |
| 2021-06-11 11:08:30 | <bwe> | optics: how can I make over with mapM work? https://paste.tomsmeding.com/UeAr0jmw |
| 2021-06-11 11:08:46 | → | fendor joins (~fendor@91.141.3.58.wireless.dyn.drei.com) |
| 2021-06-11 11:08:53 | → | fendor_ joins (~fendor@91.141.3.58.wireless.dyn.drei.com) |
| 2021-06-11 11:12:37 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) (Ping timeout: 272 seconds) |
| 2021-06-11 11:13:01 | × | MoC quits (~moc@dslb-092-075-202-200.092.075.pools.vodafone-ip.de) (Changing host) |
| 2021-06-11 11:13:01 | → | MoC joins (~moc@user/moc) |
| 2021-06-11 11:14:18 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-11 11:14:50 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2021-06-11 11:15:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-11 11:17:01 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-11 11:17:07 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 265 seconds) |
| 2021-06-11 11:18:27 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-11 11:22:09 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-11 11:24:49 | <dibblego> | well mapM is an optic i.e. a Traversal, but it's hard to tell without types |
| 2021-06-11 11:26:10 | × | sekun quits (~sekun@180.190.159.117) (Ping timeout: 244 seconds) |
| 2021-06-11 11:27:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-11 11:28:05 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) |
| 2021-06-11 11:28:08 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-11 11:28:49 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-11 11:29:19 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-11 11:30:39 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-11 11:30:41 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-06-11 11:30:56 | → | MoC joins (~moc@user/moc) |
| 2021-06-11 11:31:03 | <xerox> | tomsmeding: in firefox the raw link for this last paste shows the wrong encoding, maybe that's the server saying something wrong about it? |
| 2021-06-11 11:31:25 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-11 11:31:45 | → | koishi_ joins (~koishi_@185.209.85.134) |
| 2021-06-11 11:32:04 | × | MoC quits (~moc@user/moc) (Client Quit) |
| 2021-06-11 11:32:20 | → | MoC joins (~moc@user/moc) |
| 2021-06-11 11:32:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) (Ping timeout: 244 seconds) |
| 2021-06-11 11:32:26 | <boxscape> | do servers say anything about the encoding? I thought it just sends a text file when you click on raw |
| 2021-06-11 11:32:36 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2021-06-11 11:32:57 | <tomsmeding> | xerox: the server isn't saying anything about it at all :p |
| 2021-06-11 11:33:13 | <tomsmeding> | the reason it works on the normal paste page is that the html inclues a <meta charset="utf-8"> directive |
| 2021-06-11 11:33:17 | <merijn> | tomsmeding: Servers do say something |
| 2021-06-11 11:33:19 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-11 11:33:27 | <merijn> | Well, properly configured servers do, anyway :p |
| 2021-06-11 11:33:31 | <tomsmeding> | I could send content-type: text/plain; charset=utf-8 |
| 2021-06-11 11:33:50 | <tomsmeding> | question is, that assumes that the input that people paste is, in fact, utf-8 |
| 2021-06-11 11:33:56 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-11 11:34:02 | <tomsmeding> | though I guess I could check that upon pasting |
| 2021-06-11 11:34:11 | × | MoC quits (~moc@user/moc) (Client Quit) |
| 2021-06-11 11:34:18 | <boxscape> | you can? |
| 2021-06-11 11:34:18 | <merijn> | tomsmeding: You can try and detect the encoding on input and then convert to utf-8 before storing |
| 2021-06-11 11:34:26 | → | MoC joins (~moc@user/moc) |
| 2021-06-11 11:34:34 | <tomsmeding> | merijn: I'm fearful of trying to detect the encoding |
| 2021-06-11 11:34:35 | <merijn> | I wonder if you can tell the browser what encoding to use for text fields |
| 2021-06-11 11:35:03 | <tomsmeding> | maybe if the page itself is utf-8, "proper" browsers will also use that encoding for submitted text? |
| 2021-06-11 11:35:05 | <tomsmeding> | maybe? |
| 2021-06-11 11:35:18 | <merijn> | tomsmeding: You can set an Accept-Encoding header, apparently |
| 2021-06-11 11:35:41 | <boxscape> | do clipboards have an encoding? |
| 2021-06-11 11:35:47 | <tomsmeding> | boxscape: yes |
| 2021-06-11 11:35:49 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-11 11:35:58 | <boxscape> | and can that differ? |
| 2021-06-11 11:36:01 | <merijn> | boxscape: Yes, no, maybe |
| 2021-06-11 11:36:05 | <merijn> | tomsmeding: Oh, duh |
| 2021-06-11 11:36:15 | <boxscape> | okay |
| 2021-06-11 11:36:18 | <merijn> | tomsmeding: The browser should be specifying the encoding in the GET/PUT request |
| 2021-06-11 11:36:20 | <tomsmeding> | right, on the page in JS I have a JS String |
| 2021-06-11 11:36:29 | <tomsmeding> | which is encoding-independent |
| 2021-06-11 11:36:39 | <tomsmeding> | ... assuming people have JS enabled |
| 2021-06-11 11:36:40 | <merijn> | hah |
| 2021-06-11 11:36:44 | <merijn> | That's cute |
| 2021-06-11 11:36:57 | <merijn> | You expect JS to have a sane "encoding-independent" semantics for strings |
| 2021-06-11 11:37:18 | <tomsmeding> | or is that that WTF-16 thing? |
| 2021-06-11 11:37:20 | <merijn> | Personally I'd expect "insane madness that only works through sheer luck" is more accurate :p |
| 2021-06-11 11:37:51 | <tomsmeding> | https://developer.mozilla.org/en-US/docs/Web/HTML/Element/form#attr-accept-charset |
| 2021-06-11 11:37:58 | <tomsmeding> | "The default value means the same encoding as the page." |
| 2021-06-11 11:38:03 | × | trent1 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds) |
| 2021-06-11 11:38:11 | <tomsmeding> | looks like I'm in the clear if the html itself is utf-8 |
| 2021-06-11 11:39:53 | <bwe> | dibblego: thanks, I solved it with `traverseOf`. |
| 2021-06-11 11:39:54 | <tomsmeding> | so mayve the right fix is to set a charset=UTF-8 content-type on everything, and check for utf-8-correctness upon submission |
| 2021-06-11 11:39:57 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-11 11:40:15 | <merijn> | tomsmeding: That sounds like the most sane way |
| 2021-06-11 11:40:26 | <merijn> | tomsmeding: For extra paranoia set Accept-Encoding on the HTTP server too |
| 2021-06-11 11:40:48 | <tomsmeding> | for clients/browsers that do wacky stuff? |
| 2021-06-11 11:40:51 | <tomsmeding> | I guess |
| 2021-06-11 11:40:55 | <tomsmeding> | can't hurt |
| 2021-06-11 11:40:57 | <dibblego> | bwe: ok FYI traverseOf = id |
| 2021-06-11 11:40:58 | <merijn> | tomsmeding: Just to be extra bullet-proof :p |
| 2021-06-11 11:41:08 | <merijn> | tomsmeding: It's strictly more correct to set it than not |
| 2021-06-11 11:41:55 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-11 11:42:43 | <tomsmeding> | wait Accept-Encoding is a client header |
| 2021-06-11 11:44:30 | <merijn> | both, no? |
| 2021-06-11 11:45:28 | <tomsmeding> | merijn: https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Accept-Encoding |
| 2021-06-11 11:46:26 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-11 11:48:15 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) |
| 2021-06-11 11:48:21 | tomjagua1paw | is now known as tomjaguarpaw |
| 2021-06-11 11:50:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
All times are in UTC.