Logs: liberachat/#haskell
| 2021-08-22 11:47:05 | <Arsen> | I already found libraries implementing that for Text and ByteString |
| 2021-08-22 11:49:24 | <hpc> | in pseudo-haskell, base64encode :: binary data -> text data, so i don't think it would really make sense |
| 2021-08-22 11:50:02 | <hpc> | the existing ones don't really make sense either though, i guess Text -> Text assumes a specific encoding on the input and ByteString -> ByteString assumes ascii-encoded output? |
| 2021-08-22 11:51:23 | <Arsen> | that'd make sense to me |
| 2021-08-22 11:51:27 | × | keutoi quits (~keutoi@223.238.95.231) (Quit: leaving) |
| 2021-08-22 11:51:57 | <Arsen> | and, AFAIK, Data.Text specifies the encoding as UTF16 |
| 2021-08-22 11:52:03 | × | alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :() |
| 2021-08-22 11:52:50 | <hpc> | then maybe for String it can specify UTF8 to make a nightmare for future programmers :D |
| 2021-08-22 11:53:16 | <hpc> | anyhoo, i would just explicitly encode the string |
| 2021-08-22 11:54:00 | <Arsen> | heh, I'm trying to replace a show with a base64 string, and I just realized show might be all I need here, one moment |
| 2021-08-22 11:54:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-08-22 11:54:36 | Hecate | had to blink twice because seeing a Haskell programme coverage tool speak on IRC was probably the last straw that broke my sanity |
| 2021-08-22 11:54:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-22 11:54:49 | <Hecate> | hpc: should I expect hls to chat here as well? :p |
| 2021-08-22 11:56:09 | <Arsen> | b64wrap :: Text -> [Char] |
| 2021-08-22 11:56:09 | <Arsen> | b64wrap = ("atob("++) . (++")") . show . encodeBase64 |
| 2021-08-22 11:56:09 | <Arsen> | it's disgusting, I love it :D |
| 2021-08-22 11:56:27 | <Arsen> | (encodeBase64 is from Data.Text.Encoding.Base64) |
| 2021-08-22 11:57:03 | <hpc> | Hecate: ski is here, if you count mathematical concepts :D |
| 2021-08-22 11:58:37 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-1cf8-2891-43b9-94ea.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-22 11:59:45 | <Hecate> | hpc: nah I'm used to mathematical concepts speaking to me in my sleep |
| 2021-08-22 12:00:05 | <Hecate> | I've let that part of my sanity go its own way for some time now :p |
| 2021-08-22 12:01:42 | × | dsrt^ quits (~dsrt@209.65.131.194) (Remote host closed the connection) |
| 2021-08-22 12:02:02 | → | dsrt^ joins (~dsrt@209.65.131.194) |
| 2021-08-22 12:02:28 | × | dsrt^ quits (~dsrt@209.65.131.194) (Remote host closed the connection) |
| 2021-08-22 12:02:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-22 12:04:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-22 12:04:58 | → | cheater joins (~Username@user/cheater) |
| 2021-08-22 12:09:16 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-22 12:10:11 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-22 12:14:49 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-22 12:24:22 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-22 12:27:28 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2021-08-22 12:31:01 | × | markpythonicbtc quits (~textual@2601:647:5a00:35:ed7b:d29e:3bfe:71d0) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-22 12:52:57 | × | loonycyborg quits (~loonycybo@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-08-22 12:55:08 | → | loonycyborg joins (~loonycybo@wesnoth/developer/loonycyborg) |
| 2021-08-22 12:56:42 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-22 12:58:59 | → | nrl^ joins (~nrl@209.65.131.194) |
| 2021-08-22 12:59:51 | → | s-h-i-n-o-b-i joins (~quassel@104.244.75.124) |
| 2021-08-22 13:00:55 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-22 13:01:01 | → | markpythonicbtc joins (~textual@2600:380:4559:3d84:9546:7b48:3a47:abd9) |
| 2021-08-22 13:01:03 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-22 13:01:05 | → | keutoi joins (~keutoi@106.208.52.196) |
| 2021-08-22 13:07:39 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-22 13:08:12 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-08-22 13:08:19 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-22 13:13:00 | × | loonycyborg quits (~loonycybo@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-08-22 13:13:35 | → | loonycyborg joins (~loonycybo@wesnoth/developer/loonycyborg) |
| 2021-08-22 13:16:24 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-22 13:17:45 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-22 13:23:07 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-08-22 13:23:30 | × | markpythonicbtc quits (~textual@2600:380:4559:3d84:9546:7b48:3a47:abd9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-22 13:27:23 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-22 13:29:19 | → | pbrisbin joins (~patrick@174-081-116-011.res.spectrum.com) |
| 2021-08-22 13:30:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-22 13:34:17 | → | markpythonicbtc joins (~textual@50.228.44.6) |
| 2021-08-22 13:35:19 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-22 13:40:41 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-22 13:41:11 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-22 13:45:32 | → | img joins (~img@user/img) |
| 2021-08-22 13:46:12 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-22 13:49:42 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-22 13:51:36 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-22 13:52:07 | <mastarija> | [exa], you were right it is MyName.MyName thx |
| 2021-08-22 13:53:04 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-22 13:53:16 | × | keutoi quits (~keutoi@106.208.52.196) (Ping timeout: 250 seconds) |
| 2021-08-22 13:53:32 | → | keutoi joins (~keutoi@106.208.52.196) |
| 2021-08-22 14:01:23 | <[exa]> | mastarija: plain luck guess tho. :D |
| 2021-08-22 14:01:29 | <mastarija> | :D |
| 2021-08-22 14:03:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-22 14:06:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-22 14:10:16 | × | jess quits (~jess@libera/staff/jess) (Quit: brb real quick) |
| 2021-08-22 14:10:46 | → | jess joins (~jess@libera/staff/jess) |
| 2021-08-22 14:11:15 | → | fendor joins (~fendor@178.115.66.241.wireless.dyn.drei.com) |
| 2021-08-22 14:11:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-08-22 14:26:59 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-22 14:27:57 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-22 14:31:24 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-22 14:33:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-22 14:33:58 | × | pbrisbin quits (~patrick@174-081-116-011.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-08-22 14:41:42 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-22 14:42:38 | → | Guest|24 joins (~Guest|24@185.238.122.126) |
| 2021-08-22 14:43:00 | × | Guest|24 quits (~Guest|24@185.238.122.126) (Client Quit) |
| 2021-08-22 14:43:54 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-08-22 14:47:32 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-22 14:49:48 | <kuribas> | The Monoid for Map looks wrong. It should have been (Ord k, Monoid v) => Monoid (Map k v) |
| 2021-08-22 14:50:16 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Ping timeout: 258 seconds) |
| 2021-08-22 14:57:00 | × | keutoi quits (~keutoi@106.208.52.196) (Ping timeout: 268 seconds) |
| 2021-08-22 14:58:08 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-22 14:59:39 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-22 15:02:45 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-22 15:02:54 | × | machinedgod quits (~machinedg@24.105.81.50) (Read error: Connection reset by peer) |
| 2021-08-22 15:03:47 | → | keutoi joins (~keutoi@157.47.25.147) |
| 2021-08-22 15:04:13 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-08-22 15:06:04 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-22 15:06:49 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-22 15:09:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-22 15:10:24 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-22 15:13:34 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-22 15:14:52 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
All times are in UTC.