Logs: freenode/#haskell
| 2020-09-24 11:17:37 | × | kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer) |
| 2020-09-24 11:18:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-24 11:19:28 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 11:20:10 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:8541:dba8:723b:a7a4) |
| 2020-09-24 11:23:44 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:24:02 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 256 seconds) |
| 2020-09-24 11:24:40 | × | rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 256 seconds) |
| 2020-09-24 11:25:04 | → | jespada joins (~jespada@90.254.241.6) |
| 2020-09-24 11:25:17 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-24 11:28:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-24 11:28:18 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 2020-09-24 11:30:07 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-09-24 11:30:09 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-09-24 11:31:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-09-24 11:32:25 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-09-24 11:32:27 | hackage | Z-Data 0.1.3.1 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.3.1 (winterland) |
| 2020-09-24 11:32:30 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-09-24 11:33:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:36:00 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 2020-09-24 11:36:43 | × | z0_ quits (~z0@bl17-248-65.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2020-09-24 11:37:27 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2020-09-24 11:37:32 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 2020-09-24 11:38:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-24 11:39:02 | × | perdent quits (~k4fr@101.175.167.92) (Quit: Leaving.) |
| 2020-09-24 11:39:20 | → | perdent joins (~blah@101.175.167.92) |
| 2020-09-24 11:39:31 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 2020-09-24 11:39:32 | → | kori joins (~kori@arrowheads/kori) |
| 2020-09-24 11:39:47 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2020-09-24 11:44:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:44:55 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-09-24 11:45:47 | × | alx741 quits (~alx741@186.178.110.154) (Ping timeout: 240 seconds) |
| 2020-09-24 11:46:38 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 11:46:57 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 11:48:06 | <kuribas> | > 1 `quot` 0 |
| 2020-09-24 11:48:08 | <lambdabot> | *Exception: divide by zero |
| 2020-09-24 11:48:44 | × | kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer) |
| 2020-09-24 11:48:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-24 11:49:13 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 11:49:27 | → | utopic_int0x80 joins (~lucid_0x8@85.132.73.6) |
| 2020-09-24 11:53:52 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 2020-09-24 11:54:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:54:15 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2020-09-24 11:55:54 | × | utopic_int0x80 quits (~lucid_0x8@85.132.73.6) (Ping timeout: 272 seconds) |
| 2020-09-24 11:57:30 | × | mirrorbird quits (~psutcliff@m83-187-173-228.cust.tele2.se) (Quit: Leaving) |
| 2020-09-24 11:58:15 | → | z0 joins (~z0@bl17-248-65.dsl.telepac.pt) |
| 2020-09-24 11:58:39 | z0 | is now known as Guest74273 |
| 2020-09-24 11:58:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-24 11:59:19 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 11:59:34 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 12:00:02 | × | bshum1 quits (~bshum@195.206.169.184) () |
| 2020-09-24 12:00:13 | → | alx741 joins (~alx741@181.196.68.114) |
| 2020-09-24 12:06:39 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 2020-09-24 12:07:13 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2020-09-24 12:09:03 | → | chalkmonster joins (~chalkmons@unaffiliated/chalkmonster) |
| 2020-09-24 12:11:04 | → | kori joins (~kori@arrowheads/kori) |
| 2020-09-24 12:11:57 | hackage | sized 0.7.0.0 - Sized sequence data-types https://hackage.haskell.org/package/sized-0.7.0.0 (HiromiIshii) |
| 2020-09-24 12:14:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 12:16:15 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 2020-09-24 12:16:15 | × | kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer) |
| 2020-09-24 12:19:04 | × | darjeeling_ quits (~darjeelin@122.245.123.72) (Ping timeout: 256 seconds) |
| 2020-09-24 12:19:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-24 12:20:09 | <dminuoso> | `wjwh | [10:54:39] Ie `Functor` on ShortText should iterate over the utf8 codepoints, not over the bytes in the underlying ShortByteString` |
| 2020-09-24 12:20:16 | <dminuoso> | Ignoring merijn's point, why the codepoints? |
| 2020-09-24 12:20:46 | → | Saten-san joins (~Saten-san@ip-213-49-123-19.dsl.scarlet.be) |
| 2020-09-24 12:20:56 | <dminuoso> | Once you get into textual data, there's lots of different and conflicting notions of what the "unit of reference is" |
| 2020-09-24 12:22:16 | <phadej> | I feel that wjwh made a mistake to ask about text stuff on this channel |
| 2020-09-24 12:22:39 | <wjwh> | :) |
| 2020-09-24 12:23:01 | → | fweht joins (uid404746@gateway/web/irccloud.com/x-ehvjvkalrkehovwt) |
| 2020-09-24 12:23:08 | ← | fweht parts (uid404746@gateway/web/irccloud.com/x-ehvjvkalrkehovwt) () |
| 2020-09-24 12:24:09 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2020-09-24 12:24:23 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2020-09-24 12:24:41 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2020-09-24 12:24:59 | × | shad0w_ quits (~shad0w_@160.202.37.157) (Quit: shad0w_) |
| 2020-09-24 12:25:24 | <merijn> | Dealing with text is a mistake :p |
| 2020-09-24 12:26:35 | <pjb> | there's no such thing as utf8 codepoint. |
| 2020-09-24 12:26:43 | <pjb> | unicode codepoints are 21-bit. |
| 2020-09-24 12:26:54 | <pjb> | utf8 is a way to encode those 21-bit in a sequence of 8-bit bytes. |
| 2020-09-24 12:27:40 | <dminuoso> | Heh, I was debating whether to nitpick about that as well. |
| 2020-09-24 12:27:43 | <opqdonut> | surely there's an option to expand to at least 32 bits? |
| 2020-09-24 12:27:57 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Client Quit) |
| 2020-09-24 12:28:09 | <tdammers> | of course. trivially by padding with zeroes, or more involvedly using utf32 encoding |
| 2020-09-24 12:28:15 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2020-09-24 12:28:35 | <dminuoso> | opqdonut: Sure, but at the end a codepoint is the identifier of a character in the unicode tables. So there's no "utf8 codepoints" but "unicode codepoints" |
| 2020-09-24 12:28:36 | <opqdonut> | looks like utf-8 supports 31 bits, utf-16 doesn't |
| 2020-09-24 12:28:51 | <opqdonut> | dminuoso: yes, I just got surprised by the 21 bits |
| 2020-09-24 12:29:03 | <merijn> | opqdonut: Why? |
| 2020-09-24 12:29:15 | <merijn> | opqdonut: That's how many unicode codepoints there are |
| 2020-09-24 12:29:30 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-09-24 12:29:34 | <merijn> | More might be added in the future, sure, but we're not in the future :) |
| 2020-09-24 12:29:37 | <dminuoso> | 17 planes with 2^16 codepoints each. |
| 2020-09-24 12:29:44 | <opqdonut> | and not all planes are in use |
| 2020-09-24 12:29:51 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-24 12:30:03 | <opqdonut> | TIL |
| 2020-09-24 12:31:08 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 256 seconds) |
| 2020-09-24 12:32:30 | <dminuoso> | Question... I have a servant app that runs with monad-logger for a custom server monad. I extract the logger with `askLoggerIO`, and build a wai middleware logger with it, and at the end I just run with runStdoutLoggingT which just uses `Data.ByteString.Char8.hPutStr stdout` |
| 2020-09-24 12:33:00 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2020-09-24 12:33:04 | × | nyd quits (~nyd@unaffiliated/elysian) (Quit: nyd) |
| 2020-09-24 12:33:07 | <dminuoso> | This thing runs inside a docker container, and for reasons that beyond me, the log calls from inside the servant handlers do not produce visible output, while the wai middleware logger does |
| 2020-09-24 12:33:15 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 2020-09-24 12:33:25 | <dminuoso> | The moment I set buffering mode to NoBuffering, the logging from the monad handler re-appears |
All times are in UTC.