| 2024-06-07 00:07:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-07 00:23:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 00:24:02 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 00:24:12 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Read error: Connection reset by peer) |
| 2024-06-07 00:24:46 +0200 | y04nn | (~username@45.129.56.202) |
| 2024-06-07 00:26:34 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-07 00:29:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 00:31:36 +0200 | CiaoSen | (~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-07 00:34:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-06-07 00:36:49 +0200 | troojg | (~troojg@99.36.5.199) |
| 2024-06-07 00:37:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 00:37:51 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 00:40:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2024-06-07 00:46:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-07 00:52:16 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 268 seconds) |
| 2024-06-07 00:54:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-07 00:55:13 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-06-07 00:55:57 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) |
| 2024-06-07 00:59:05 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |
| 2024-06-07 00:59:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 01:00:48 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 01:00:55 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-06-07 01:01:09 +0200 | finsternis | (~X@23.226.237.192) |
| 2024-06-07 01:01:13 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) |
| 2024-06-07 01:01:45 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-06-07 01:01:53 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 01:01:57 +0200 | y04nn | (~username@45.129.56.202) (Remote host closed the connection) |
| 2024-06-07 01:02:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 01:10:53 +0200 | acidjnk | (~acidjnk@p200300d6e714dc12b175fd0aabb0962d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-07 01:13:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-07 01:16:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-07 01:16:54 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) |
| 2024-06-07 01:18:12 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 01:18:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 01:18:56 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2024-06-07 01:23:50 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-07 01:30:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-06-07 01:31:29 +0200 | troojg | (~troojg@99.36.5.199) (Quit: leaving) |
| 2024-06-07 01:32:12 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 01:33:27 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2024-06-07 01:37:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-06-07 01:38:48 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 01:39:39 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) |
| 2024-06-07 01:41:06 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-06-07 01:41:23 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-07 02:06:13 +0200 | sabino | (~sabino@user/sabino) |
| 2024-06-07 02:08:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-07 02:09:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-07 02:13:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-06-07 02:14:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-07 02:26:34 +0200 | sabino | (~sabino@user/sabino) (Read error: Connection reset by peer) |
| 2024-06-07 02:27:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 02:29:39 +0200 | sabino | (~sabino@user/sabino) |
| 2024-06-07 02:32:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-07 02:35:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 02:44:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-06-07 02:51:25 +0200 | yin | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2024-06-07 02:53:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 02:57:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-06-07 02:59:22 +0200 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-07 03:02:49 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-07 03:03:01 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 03:16:57 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-07 03:18:43 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-07 03:27:26 +0200 | <dibblego> | does this parser exist in parsec? https://gist.github.com/tonymorris/80b1b11b31a90ccfdb6bbb4deaa5eea9 |
| 2024-06-07 03:31:12 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 2024-06-07 03:36:29 +0200 | <glguy> | I'd be quite surprised if it was |
| 2024-06-07 03:40:58 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 03:41:41 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) |
| 2024-06-07 03:42:03 +0200 | euleritian | (~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 03:42:24 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-07 03:49:47 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-06-07 03:50:03 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-07 03:50:24 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-06-07 03:50:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6354:9783:4ed:b1bf) (Ping timeout: 246 seconds) |
| 2024-06-07 03:58:44 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-06-07 04:01:32 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-06-07 04:06:14 +0200 | <haetsal> | The Haskell channel at Freenode seems dead |
| 2024-06-07 04:07:03 +0200 | <geekosaur> | …it exists? |
| 2024-06-07 04:09:52 +0200 | <monochrom> | Whenever there is an observer, it exists. This is known as the Uncertainty Principle. >:) |
| 2024-06-07 04:13:11 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-07 04:25:07 +0200 | haetsal | (~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-07 04:26:17 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-06-07 04:27:36 +0200 | haetsal | (~quassel@221.138.168.192) (Client Quit) |
| 2024-06-07 04:28:58 +0200 | <davean> | Freenode exists? |
| 2024-06-07 04:29:00 +0200 | phma | (phma@2001:5b0:2172:c168:223e:807a:618e:7153) (Read error: Connection reset by peer) |
| 2024-06-07 04:29:27 +0200 | phma | (phma@2001:5b0:2172:c168:223e:807a:618e:7153) |
| 2024-06-07 04:32:44 +0200 | <probie> | I think they probably went there because monochrom linked his page on Haskell learning resources which still mentions it |
| 2024-06-07 04:33:17 +0200 | <monochrom> | Oh! Hrm. |
| 2024-06-07 04:33:42 +0200 | <monochrom> | OK I'll change it. |
| 2024-06-07 04:35:15 +0200 | <monochrom> | Updated! |
| 2024-06-07 04:35:29 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-07 04:35:35 +0200 | <davean> | monochrom: You're why freenode still exists? |
| 2024-06-07 04:36:00 +0200 | <monochrom> | Hahaha "I have the power!" |
| 2024-06-07 04:37:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-07 04:38:30 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-06-07 04:46:42 +0200 | <glguy> | Is there a package that gives a higher level to these primitives that isn't a full-on effects package? https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/GHC-Prim.html#g:24 |
| 2024-06-07 04:48:06 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-06-07 04:49:20 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-06-07 04:53:41 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-06-07 04:56:02 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-07 05:02:01 +0200 | td_ | (~td@i53870907.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-07 05:03:25 +0200 | td_ | (~td@i53870928.versanet.de) |
| 2024-06-07 05:05:19 +0200 | haetsal | (~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-07 05:12:07 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-06-07 05:14:39 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 268 seconds) |
| 2024-06-07 05:17:36 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 05:18:36 +0200 | <glguy> | Turns out you can make UnboxedTuple code harder to read with TupleSections. For some reason I hadn't guessed that those work together |
| 2024-06-07 05:18:50 +0200 | haetsal | (~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-07 05:19:11 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-06-07 05:19:50 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-07 05:21:40 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-06-07 05:22:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 05:27:01 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-06-07 05:28:40 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 05:29:14 +0200 | xal | (~xal@mx1.xal.systems) () |
| 2024-06-07 05:29:43 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-06-07 05:35:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-07 05:39:12 +0200 | <davean> | glguy: oooh. I mean I do love my some TupleSections. I'm also preferential to UnboxedTuples ... normally not in abstract enough stuff I need TupleSections but I can change that ... |
| 2024-06-07 05:49:20 +0200 | <haetsal> | Could I get the link to monochrom's Haskell learning resource? |
| 2024-06-07 05:49:55 +0200 | <probie> | http://www.vex.net/~trebla/haskell/learn-sources.html |
| 2024-06-07 05:51:10 +0200 | <glguy> | Playing with the delimited continuations stuff I made something like Lua's coroutine module https://github.com/glguy/cc-demo/blob/main/app/Main.hs |
| 2024-06-07 05:52:03 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfe:9000:f190:2088:3129:672b) |
| 2024-06-07 05:52:35 +0200 | aforemny | (~aforemny@2001:9e8:6cda:3f00:3468:7a02:917d:2f6b) (Ping timeout: 268 seconds) |
| 2024-06-07 05:52:47 +0200 | <haetsal> | https://learnyouahaskell.com led me to the haskell@Freenode |
| 2024-06-07 05:53:40 +0200 | <geekosaur> | yeh, that hasn't been updated in a decade or so |
| 2024-06-07 05:54:10 +0200 | <geekosaur> | there was a project to update it but it died afaict |
| 2024-06-07 05:56:16 +0200 | <haetsal> | Is it that old? you don't recommend to learn from it? |
| 2024-06-07 05:58:44 +0200 | <geekosaur> | fairly old, yes. 2014ish, so yes, a decade |
| 2024-06-07 05:59:05 +0200 | <geekosaur> | haskell has changed a fair bit since then |
| 2024-06-07 05:59:30 +0200 | <geekosaur> | and of course it won't know about the freenodepocalypse 3 years ago |
| 2024-06-07 05:59:51 +0200 | <glguy> | geekosaur: for the basics do you think that much of the book is actual out of date? |
| 2024-06-07 05:59:56 +0200 | <glguy> | does it go into a bunch of libraries? |
| 2024-06-07 06:00:38 +0200 | <glguy> | Maybe it predates the Foldable prelude? |
| 2024-06-07 06:00:43 +0200 | <geekosaur> | Num losing Eq and Show, Functor/Applicative/Monad, Foldable/Traversable at least (wherein a bunch of Prelude functions' type signatures changed) |
| 2024-06-07 06:02:59 +0200 | <geekosaur> | Num losing Eq means that any function example with numeric literal patterns will need an explicit Eq constraint in its type signature, iirc |
| 2024-06-07 06:05:01 +0200 | <geekosaur> | not absolutely certain about LYAH but Graham Hutton and Richard Bird both needed to make quite a few changes to new editions of their books |
| 2024-06-07 06:16:20 +0200 | <geekosaur> | …huh, those happened earlier than I thought, I guess it's only missing FTP |
| 2024-06-07 06:16:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-07 06:16:38 +0200 | <geekosaur> | somehow the years get compressed together as I get older 😛 |
| 2024-06-07 06:23:14 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-06-07 06:25:26 +0200 | michalz | (~michalz@185.246.207.221) (Client Quit) |
| 2024-06-07 06:26:11 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-07 06:28:09 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-06-07 06:29:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-06-07 06:30:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-07 06:31:20 +0200 | <davean> | What are the modern learning materials? I've not paid attention |
| 2024-06-07 06:36:31 +0200 | glguy | has no idea |
| 2024-06-07 06:40:23 +0200 | <probie> | I wonder if there is actually a gap here that needs to be filled |
| 2024-06-07 06:41:29 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Remote host closed the connection) |
| 2024-06-07 06:42:02 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-06-07 06:47:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-06-07 06:50:03 +0200 | biberu\ | (~biberu@user/biberu) |
| 2024-06-07 06:50:59 +0200 | biberu- | (~biberu@user/biberu) |
| 2024-06-07 06:53:27 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 256 seconds) |
| 2024-06-07 06:53:28 +0200 | biberu- | biberu |
| 2024-06-07 06:54:31 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 246 seconds) |
| 2024-06-07 06:54:52 +0200 | biberu\ | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2024-06-07 06:55:27 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-06-07 06:55:50 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-06-07 06:56:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-07 06:56:29 +0200 | xam | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 07:03:48 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-07 07:06:39 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 272 seconds) |
| 2024-06-07 07:06:58 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-07 07:07:59 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-06-07 07:14:54 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-06-07 07:15:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-07 07:19:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-07 07:30:03 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-07 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-07 07:33:35 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-06-07 07:34:13 +0200 | euleritian | (~euleritia@dynamic-176-001-221-044.176.1.pool.telefonica.de) |
| 2024-06-07 07:38:43 +0200 | <geekosaur> | @where wikibook |
| 2024-06-07 07:38:44 +0200 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 2024-06-07 07:38:54 +0200 | <geekosaur> | comes well recommended and is kept up to date |
| 2024-06-07 07:46:30 +0200 | acidjnk | (~acidjnk@p200300d6e714dc79edaa57aef410daf5.dip0.t-ipconnect.de) |
| 2024-06-07 07:46:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-07 07:47:20 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2024-06-07 07:50:45 +0200 | euleritian | (~euleritia@dynamic-176-001-221-044.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 07:51:05 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-07 07:56:40 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-07 07:59:38 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-06-07 08:01:46 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) |
| 2024-06-07 08:04:55 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-06-07 08:06:16 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-07 08:16:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-06-07 08:16:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2024-06-07 08:16:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-06-07 08:17:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-07 08:17:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-07 08:17:39 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-06-07 08:21:51 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 256 seconds) |
| 2024-06-07 08:24:36 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-07 08:36:09 +0200 | Square | (~Square@user/square) |
| 2024-06-07 08:48:03 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-06-07 08:58:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 09:14:52 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-07 09:17:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-07 09:25:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-07 09:38:56 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-07 09:42:13 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-06-07 09:45:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-07 09:48:08 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-06-07 09:53:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-06-07 09:59:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-07 10:01:05 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-06-07 10:10:05 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-06-07 10:13:01 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-07 10:21:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2024-06-07 10:22:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-07 10:32:32 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-07 10:33:09 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8aea:b36d:9a65:98e3) |
| 2024-06-07 10:37:19 +0200 | <xam> | test |
| 2024-06-07 10:38:00 +0200 | <juri_> | fail |
| 2024-06-07 10:42:59 +0200 | xam | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1) |
| 2024-06-07 10:43:25 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 10:47:54 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit) |
| 2024-06-07 10:48:29 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 10:48:31 +0200 | dev2 | xam |
| 2024-06-07 10:49:15 +0200 | img | (~img@user/img) |
| 2024-06-07 10:52:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Write error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | gmg | (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
| 2024-06-07 10:52:14 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Broken pipe) |
| 2024-06-07 10:52:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-07 10:52:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-07 10:52:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-07 10:52:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-07 10:53:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-06-07 10:53:09 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-07 10:53:13 +0200 | califax | (~califax@user/califx) |
| 2024-06-07 10:53:41 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-07 10:54:26 +0200 | berberman | (~berberman@user/berberman) (Read error: Connection reset by peer) |
| 2024-06-07 10:54:32 +0200 | berberman_ | (~berberman@user/berberman) |
| 2024-06-07 10:59:54 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-07 11:01:21 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) |
| 2024-06-07 11:03:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-07 11:08:42 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-06-07 11:08:46 +0200 | chele | (~chele@user/chele) |
| 2024-06-07 11:09:20 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 11:09:53 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-07 11:12:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-06-07 11:13:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 11:18:52 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-07 11:24:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 11:26:39 +0200 | xam | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1) |
| 2024-06-07 11:26:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 11:27:32 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 11:27:52 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit) |
| 2024-06-07 11:28:25 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-06-07 11:28:25 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 11:28:58 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-07 11:29:03 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-07 11:29:05 +0200 | dev2 | xam |
| 2024-06-07 11:31:26 +0200 | destituion | (~destituio@2a02:2121:28c:be84:bcd6:b428:e58d:1c11) (Ping timeout: 268 seconds) |
| 2024-06-07 11:31:27 +0200 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-07 11:32:06 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-06-07 11:33:19 +0200 | xam | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1) |
| 2024-06-07 11:33:45 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-06-07 11:35:23 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 11:35:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 11:36:18 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) |
| 2024-06-07 11:36:30 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 11:37:41 +0200 | dev2 | xam |
| 2024-06-07 11:39:23 +0200 | xam | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit) |
| 2024-06-07 11:39:41 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 240 seconds) |
| 2024-06-07 11:39:46 +0200 | dev2 | (~dev@2405:201:c062:801d:8728:7618:dd19:eaef) |
| 2024-06-07 11:40:41 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 11:40:50 +0200 | dev2 | xam |
| 2024-06-07 11:40:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 11:41:32 +0200 | xam | xam_ |
| 2024-06-07 11:45:17 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-07 11:45:31 +0200 | <yin> | will we see Ring/Num ? |
| 2024-06-07 11:45:59 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-06-07 11:46:25 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-06-07 11:47:31 +0200 | <yin> | i hope to see the death of "Int for everything" |
| 2024-06-07 11:49:03 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 255 seconds) |
| 2024-06-07 11:50:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-07 11:50:26 +0200 | destituion | (~destituio@2a02:2121:28c:be84:c5ea:45ab:4ef8:3424) |
| 2024-06-07 11:51:44 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-06-07 11:51:52 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-07 11:51:55 +0200 | <kuribas> | Int is efficient. |
| 2024-06-07 11:52:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 11:52:16 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) |
| 2024-06-07 11:52:37 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 11:52:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 11:54:33 +0200 | <dminuoso> | yin: Yeah, we hopefully switch to Integer for everything. You can nicely pack UTF8 encoded Text into an Integer! |
| 2024-06-07 11:54:48 +0200 | david_tvh | (~david_tvh@212-114-26-122.box.freepro.com) |
| 2024-06-07 11:55:18 +0200 | <dminuoso> | But honestly, the death of Int for everything needs an answer for the poor casting reality of our number system. |
| 2024-06-07 11:55:54 +0200 | <dminuoso> | Int for everything is not really better than "Word16, Word32 and Int8 here and there", because those realistically force you to put `fromIntegral` everywhere. |
| 2024-06-07 11:55:56 +0200 | <dminuoso> | Which is honestly a downgrade. |
| 2024-06-07 11:56:38 +0200 | <yin> | i meant using Word where negative values don't make sense (like length for example) |
| 2024-06-07 11:57:11 +0200 | <dminuoso> | yin: Yes, and if you have a function that wants `Int`, that switch costs you an additional fromIntegral, at realistically no gain. |
| 2024-06-07 11:57:33 +0200 | <dminuoso> | length *cant* produce a negative number, the fact that its representable in Int is not a practical issue. |
| 2024-06-07 11:57:46 +0200 | <kuribas> | Int<n> usually doesn't give a performance benefit, unless you can pack them together |
| 2024-06-07 11:58:05 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-07 11:58:33 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-06-07 11:58:44 +0200 | <dminuoso> | yin: Besides, consider the mere amount of breakage of switching length like that. Willing to bet you will break a third of all of hackage minimum/ |
| 2024-06-07 11:59:20 +0200 | <yin> | genericLength exists |
| 2024-06-07 11:59:36 +0200 | <yin> | you know what i mean |
| 2024-06-07 11:59:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 12:00:05 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) |
| 2024-06-07 12:00:27 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 12:00:27 +0200 | <dminuoso> | Im just saying that I dont think turning it into Word32 or some equivalent will have any meaningful positive impact/ |
| 2024-06-07 12:00:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 12:01:05 +0200 | <kuribas> | Int<n> Word<n> can also be used when serializing. |
| 2024-06-07 12:01:06 +0200 | <dminuoso> | And making it polymorphic is a far more severe variant of doing fromIntegral yourself |
| 2024-06-07 12:01:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 12:01:44 +0200 | <dminuoso> | Because that `length foo` for your 300 element list would easily and silently fit into a Word8b |
| 2024-06-07 12:02:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 12:02:34 +0200 | <dminuoso> | If you do it polymorphic, it sucks. If you turn it into a non-negative type, you will have to fromIntegral manually - which has the polymorphism problem ontop of needing manual intervention on lots of call sites. |
| 2024-06-07 12:02:46 +0200 | <yin> | wait |
| 2024-06-07 12:03:13 +0200 | <yin> | why would we always need fromInteger? |
| 2024-06-07 12:03:39 +0200 | <dminuoso> | Because the chance is you will need to consume this Word somewhere. |
| 2024-06-07 12:03:45 +0200 | <dminuoso> | :t replicateM |
| 2024-06-07 12:03:46 +0200 | <lambdabot> | Applicative m => Int -> m a -> m [a] |
| 2024-06-07 12:04:13 +0200 | <dminuoso> | Any kind of fitting into existing library code, be it a package on hackage or just base - will likely require you to cast it somehow anyway. |
| 2024-06-07 12:04:42 +0200 | <yin> | dminuoso: yes, but in a world where Int is not used for everything, chances are if yiu're getting a Word, you'll want to consume it as a Word |
| 2024-06-07 12:04:44 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-07 12:05:45 +0200 | <yin> | `drop (length xs) ys` |
| 2024-06-07 12:05:47 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-07 12:06:46 +0200 | <dminuoso> | Interestingly, there is even arguments why keeping those signed could be beneficial |
| 2024-06-07 12:07:11 +0200 | <yin> | you got my attention |
| 2024-06-07 12:08:41 +0200 | <dminuoso> | I think golang folks have some arguments along the lines of underflows or overflows having less of a serious impact if your counter is signed. |
| 2024-06-07 12:08:59 +0200 | <dminuoso> | I dont necessarily share that position, just highlighting other perspectives. |
| 2024-06-07 12:09:23 +0200 | <yin> | i dont share it too |
| 2024-06-07 12:09:25 +0200 | <dminuoso> | Sorry, not the a counter but say some delimiting variable |
| 2024-06-07 12:11:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-06-07 12:14:15 +0200 | <yin> | anyways I think they're separate domains (signed and unsigned) and if you find yourself converting between one and the other you're doing something wrong |
| 2024-06-07 12:14:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-07 12:14:54 +0200 | <yin> | or the libraries you're using are (String vs Text i'm looking at you) |
| 2024-06-07 12:15:13 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-06-07 12:16:25 +0200 | <yin> | s/converting/having to convert all the time |
| 2024-06-07 12:16:55 +0200 | <dminuoso> | yin: The problem arises the moment you have *multiple* domains. |
| 2024-06-07 12:17:07 +0200 | <dminuoso> | The problem with String and Text is just that there is two/ |
| 2024-06-07 12:17:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 12:17:33 +0200 | <dminuoso> | With numeric types, having multiple types is pretty much part of the equation |
| 2024-06-07 12:18:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 12:20:05 +0200 | <yin> | meh... i wish Nat was performant |
| 2024-06-07 12:23:41 +0200 | <yin> | make everything an ADT |
| 2024-06-07 12:23:46 +0200 | <probie> | Numeric types are a headache. Take inspiration from JS and use `Double` everywhere |
| 2024-06-07 12:24:26 +0200 | <yin> | let the compiler sort it out |
| 2024-06-07 12:25:38 +0200 | <probie> | at the end of the day, what I really want for numerics are refinement types |
| 2024-06-07 12:27:34 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2024-06-07 12:27:51 +0200 | <yin> | but why refinement over Word? at least Word is performant |
| 2024-06-07 12:28:00 +0200 | mud | (~mud@user/kadoban) |
| 2024-06-07 12:29:43 +0200 | <yin> | you want negative numbers? sure, make `zero :: Word = div maxBound 2 |
| 2024-06-07 12:31:09 +0200 | <probie> | yin: and that's going to be more performant now that addition isn't just the relevant add instruction on my CPU? |
| 2024-06-07 12:31:17 +0200 | <yin> | this happens mostly in our heads anyway |
| 2024-06-07 12:32:35 +0200 | <yin> | probie: wdym? |
| 2024-06-07 12:32:56 +0200 | <probie> | > (2 :: Word) + (2 :: Word) |
| 2024-06-07 12:32:58 +0200 | <lambdabot> | 4 |
| 2024-06-07 12:33:20 +0200 | <probie> | > let zero = div maxBound 2 in (2 :: Word + zero) + (2 :: Word + zero) - zero |
| 2024-06-07 12:33:21 +0200 | <lambdabot> | error: |
| 2024-06-07 12:33:21 +0200 | <lambdabot> | Not in scope: type constructor or class ‘+’error: |
| 2024-06-07 12:33:21 +0200 | <lambdabot> | Not in scope: type constructor or class ‘+’ |
| 2024-06-07 12:33:43 +0200 | <probie> | > let zero = div maxBound 2 in ((2 :: Word) + zero) + ((2 :: Word) + zero) - zero |
| 2024-06-07 12:33:45 +0200 | <lambdabot> | 9223372036854775811 |
| 2024-06-07 12:35:37 +0200 | <yin> | let two = zero + 2 |
| 2024-06-07 12:35:46 +0200 | <yin> | :) |
| 2024-06-07 12:36:07 +0200 | canta | (~canta@user/canta) (Ping timeout: 246 seconds) |
| 2024-06-07 12:36:17 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-06-07 12:36:28 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (Ping timeout: 246 seconds) |
| 2024-06-07 12:36:48 +0200 | defanor_ | (~defanor@tart.uberspace.net) (Ping timeout: 268 seconds) |
| 2024-06-07 12:36:48 +0200 | dminuoso | (~weechat@user/dminuoso) (Ping timeout: 268 seconds) |
| 2024-06-07 12:37:23 +0200 | nullie | (~nullie@nuremberg.nullie.name) (Ping timeout: 252 seconds) |
| 2024-06-07 12:37:41 +0200 | <yin> | (i meant do it in your head of course. the computer has no notion of negative numbers |
| 2024-06-07 12:37:44 +0200 | <yin> | ) |
| 2024-06-07 12:37:55 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) |
| 2024-06-07 12:37:57 +0200 | defanor | (~defanor@tart.uberspace.net) |
| 2024-06-07 12:38:01 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-07 12:38:02 +0200 | teqwve- | (teqwve@static.141.38.201.195.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2024-06-07 12:38:30 +0200 | weechat | (~weechat@user/dminuoso) |
| 2024-06-07 12:39:23 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-06-07 12:39:34 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2024-06-07 12:39:40 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Remote host closed the connection) |
| 2024-06-07 12:40:30 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
| 2024-06-07 12:40:55 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-07 12:42:05 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.1) |
| 2024-06-07 12:43:29 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-06-07 12:48:53 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-06-07 12:49:10 +0200 | canta | (~canta@user/canta) |
| 2024-06-07 12:49:34 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) |
| 2024-06-07 12:52:19 +0200 | david_tvh | (~david_tvh@212-114-26-122.box.freepro.com) (Quit: Connection closed) |
| 2024-06-07 12:52:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-07 12:53:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-07 12:55:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-07 12:57:00 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-06-07 12:57:16 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-06-07 12:57:39 +0200 | <int-e> | yin: That's not correct at the ISA level; floating point values have sign bits. Integer arithmetic is sign aware for comparisons at least; also for conversion to floating point, and for multiplication for architectures that offer a word x word -> double word multiplication operation. |
| 2024-06-07 13:01:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 13:02:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 13:18:40 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-07 13:22:28 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-07 13:22:53 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-06-07 13:24:41 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-06-07 13:32:50 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2024-06-07 13:33:13 +0200 | forell | (~forell@user/forell) |
| 2024-06-07 13:36:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 13:37:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 13:37:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 13:39:54 +0200 | meritamen | (~user@user/meritamen) |
| 2024-06-07 13:40:14 +0200 | meritamen | (~user@user/meritamen) () |
| 2024-06-07 13:49:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-07 13:50:54 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) |
| 2024-06-07 13:52:20 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 13:54:32 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-07 13:58:11 +0200 | <yin> | that's true |
| 2024-06-07 14:00:19 +0200 | <yin> | but at that level it becomes another reason I dislike "Int for everything" |
| 2024-06-07 14:07:14 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) |
| 2024-06-07 14:15:22 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-06-07 14:29:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2f45:7d7a:ed1:7b2) |
| 2024-06-07 14:36:08 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 268 seconds) |
| 2024-06-07 14:38:59 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:bb80:7a48:c3e4:b1fe) (Remote host closed the connection) |
| 2024-06-07 14:39:19 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:ccf:38dd:bb01:b6bf) |
| 2024-06-07 14:39:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-07 14:41:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-07 14:41:53 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-06-07 14:52:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 14:55:10 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 256 seconds) |
| 2024-06-07 14:58:07 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-06-07 15:24:27 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-06-07 15:39:26 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-07 15:45:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 15:46:47 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-07 15:47:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-07 15:49:48 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-07 15:57:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 16:02:23 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-06-07 16:09:19 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-06-07 16:16:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-07 16:21:47 +0200 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-07 16:26:30 +0200 | yin | (~yin@user/zero) |
| 2024-06-07 16:37:49 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-06-07 16:50:25 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-06-07 16:53:20 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2024-06-07 16:57:05 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-06-07 17:02:05 +0200 | <EvanR> | the negative flag is set if the result is negative |
| 2024-06-07 17:04:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 17:05:13 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-06-07 17:17:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 17:25:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-07 17:34:10 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8aea:b36d:9a65:98e3) (Quit: ubert) |
| 2024-06-07 17:34:39 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 268 seconds) |
| 2024-06-07 17:35:53 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-07 17:36:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 17:45:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 17:50:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-07 17:51:28 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-06-07 17:53:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-06-07 18:03:28 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-07 18:13:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-07 18:22:03 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-07 18:30:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-07 18:34:06 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-07 18:36:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-07 18:45:41 +0200 | califax | (~califax@user/califx) |
| 2024-06-07 18:48:57 +0200 | yin_ | (~yin@user/zero) |
| 2024-06-07 19:13:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-07 19:21:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-07 19:21:40 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-06-07 19:29:39 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-07 19:37:27 +0200 | dcoutts | (~duncan@77.109.149.106) |
| 2024-06-07 19:37:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-07 19:40:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-07 19:44:55 +0200 | euleritian | (~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-06-07 19:45:19 +0200 | euleritian | (~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de) |
| 2024-06-07 19:46:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-07 19:51:19 +0200 | euleritian | (~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 19:51:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 19:54:54 +0200 | <lxsameer> | hey folks, I was looking at the System.OsPath. What is the proper way to convert a value of type OsPath to let's say, ByteString? |
| 2024-06-07 19:58:03 +0200 | <haskellbridge> | <maerwald> lxsameer: https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html |
| 2024-06-07 19:58:24 +0200 | <haskellbridge> | <maerwald> What is the ByteString supposed to be? Why convert? |
| 2024-06-07 19:58:48 +0200 | <haskellbridge> | <maerwald> OsPath is already byte string basically |
| 2024-06-07 19:59:18 +0200 | <haskellbridge> | <maerwald> And has all the API bytestring does |
| 2024-06-07 19:59:49 +0200 | <lxsameer> | cool thank you |
| 2024-06-07 20:07:21 +0200 | <haskellbridge> | <maerwald> lxsameer: https://hackage.haskell.org/package/os-string-2.0.3/docs/System-OsString.html |
| 2024-06-07 20:10:00 +0200 | <lxsameer> | I think my problem is that, I don't know how to convert these types to make the compiler happy, even though OsPath is ShortByteString under the hood |
| 2024-06-07 20:10:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 20:11:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 20:15:10 +0200 | <haskellbridge> | <maerwald> lxsameer: Example? |
| 2024-06-07 20:15:57 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-07 20:16:29 +0200 | califax | (~califax@user/califx) |
| 2024-06-07 20:17:14 +0200 | <lxsameer> | maerwald: https://dpaste.com/FY3G8T9AM#line-3 |
| 2024-06-07 20:17:34 +0200 | <lxsameer> | Utf8 is a newtype on Bytestring |
| 2024-06-07 20:17:53 +0200 | <lxsameer> | and OsPath is a shortbytestring under the hood |
| 2024-06-07 20:18:04 +0200 | <lxsameer> | but they are different types to the compiler |
| 2024-06-07 20:18:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-07 20:18:23 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-06-07 20:18:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-07 20:21:30 +0200 | <mauke> | can you assume posix? |
| 2024-06-07 20:21:48 +0200 | <EvanR> | we have OsString now too? |
| 2024-06-07 20:22:20 +0200 | <EvanR> | we already have string zoo now it's headed towards menagerie! |
| 2024-06-07 20:22:51 +0200 | <haskellbridge> | <maerwald> EvanR: ? |
| 2024-06-07 20:22:59 +0200 | <haskellbridge> | <maerwald> lxsameer: what type is Config? |
| 2024-06-07 20:23:29 +0200 | <haskellbridge> | <maerwald> EvanR: read https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html#too-many-strings :p |
| 2024-06-07 20:23:42 +0200 | <EvanR> | is this where the FilePath fiasco ended up |
| 2024-06-07 20:23:47 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-07 20:25:08 +0200 | <lxsameer> | mauke: yeah, it will be running on Linux all the time |
| 2024-06-07 20:27:09 +0200 | <lxsameer> | maerwald: config is just a record type that contains to OsPath fields, dbName and dbPath |
| 2024-06-07 20:27:18 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-07 20:27:42 +0200 | <mauke> | one approach: use https://hackage.haskell.org/package/os-string-2.0.2/docs/System-OsString-Internal-Types.html to break open the abstraction, then call fromShort to get a ByteString |
| 2024-06-07 20:28:27 +0200 | <lxsameer> | mauke: thanks, let me read it |
| 2024-06-07 20:31:47 +0200 | <lxsameer> | all these string types are pretty confusing :D |
| 2024-06-07 20:34:46 +0200 | <EvanR> | the one string which it seems you could get away with losing is String... but at this point it's not clear that would be enough of a benefit considering you still have like 8 others and it would break everything |
| 2024-06-07 20:35:37 +0200 | <EvanR> | I actually appreciate having string types makes sense, unlike e.g. see history of ruby |
| 2024-06-07 20:37:15 +0200 | <lxsameer> | EvanR: I'm new to haskell, but I think at least a standard mechanism to convert all these types to a common low level abstraction on a sequence of bytes is missing here |
| 2024-06-07 20:37:24 +0200 | <haskellbridge> | <maerwald> lxsameer: Why do you need ShortByteString? |
| 2024-06-07 20:37:50 +0200 | <lxsameer> | maerwald: I don't to be honest, it's what OsPath is using |
| 2024-06-07 20:38:37 +0200 | <haskellbridge> | <maerwald> You should not be reaching for Internals. |
| 2024-06-07 20:39:05 +0200 | <EvanR> | lxsameer, they represent different things. To convert a string (text) to a list of bytes, you have to choose an encoding |
| 2024-06-07 20:39:09 +0200 | <haskellbridge> | <maerwald> The encoding ou ByteString's are different across platforms. Windows is UCS-2, unix is Word8 |
| 2024-06-07 20:39:47 +0200 | <EvanR> | meanwhile low level OsPath is already encoded ^ |
| 2024-06-07 20:40:52 +0200 | <lxsameer> | EvanR: yeah, I'm aware of that. but i think a standard is missing. for example let's say every types has to implement a encode decode function. something like that |
| 2024-06-07 20:40:53 +0200 | <EvanR> | and there are issues reencoding it because platform |
| 2024-06-07 20:41:11 +0200 | <EvanR> | yeah specifically for FilePath-related strings, you can't encode decode it |
| 2024-06-07 20:41:27 +0200 | <EvanR> | it's been a mess |
| 2024-06-07 20:41:45 +0200 | <lxsameer> | it seems like it :P |
| 2024-06-07 20:42:55 +0200 | <EvanR> | stuff like amazon gets away with this by treating paths as ByteString, and historically everyone uses ByteString for everything and maintains facts about encoding and other important properties in the developers memory xD |
| 2024-06-07 20:43:34 +0200 | <lxsameer> | I don't blame them |
| 2024-06-07 20:44:28 +0200 | <lxsameer> | for example in my case, it's a small hobby project. I don't want to spend time on figuring this thing out. I'll be like, i just use strings and keep in mind that it has limitations :D |
| 2024-06-07 20:44:46 +0200 | <EvanR> | usually, it makes it hard to refactor code when you have 1000 proofs of correctness in your head only |
| 2024-06-07 20:45:19 +0200 | <EvanR> | but it adds cost to write the code in the first place, esp without experience |
| 2024-06-07 20:45:31 +0200 | <EvanR> | I mean, having a type system |
| 2024-06-07 20:46:03 +0200 | <mauke> | lxsameer: filenames are tricky because on some platforms they're text and on others they're bytes |
| 2024-06-07 20:46:14 +0200 | <mauke> | so you can't really have a common encode/decode interface |
| 2024-06-07 20:47:42 +0200 | <lxsameer> | Talking of proofs and correctness. what is the relationship of haskell and curry-howard correspondance? |
| 2024-06-07 20:47:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 20:47:45 +0200 | <haskellbridge> | <maerwald> A ByteString does not carry encoding information. So the question how to turn it into OsString cannot be answered. |
| 2024-06-07 20:47:51 +0200 | <lxsameer> | mauke: Ahhh I see |
| 2024-06-07 20:48:03 +0200 | <haskellbridge> | <maerwald> You can just shove it ie |
| 2024-06-07 20:48:08 +0200 | <haskellbridge> | <maerwald> *in |
| 2024-06-07 20:48:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 20:48:20 +0200 | <haskellbridge> | <maerwald> But the ByteString might come from a windows machine |
| 2024-06-07 20:48:30 +0200 | <haskellbridge> | <maerwald> And was sent to a unix machine |
| 2024-06-07 20:48:49 +0200 | <haskellbridge> | <maerwald> And now you're expecting UTF-16 to compare with UTF-8 or something similar |
| 2024-06-07 20:49:29 +0200 | <EvanR> | "just use string (bytes) and remember the limitations" stems from a previous era where everything is ascii text, and only valid when you have utf-8 everywhere |
| 2024-06-07 20:49:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 20:49:39 +0200 | <lxsameer> | yeah I get it. I never used windows, but I'm wondering how does other langs handle this situation |
| 2024-06-07 20:49:39 +0200 | euleritian | (~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de) |
| 2024-06-07 20:49:47 +0200 | <EvanR> | badly, for the most part xD |
| 2024-06-07 20:49:54 +0200 | <EvanR> | but rust does have something like OsPath apparently |
| 2024-06-07 20:50:03 +0200 | euleritian | (~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-07 20:50:17 +0200 | <lxsameer> | ok so it's a mess everywhere :)) |
| 2024-06-07 20:50:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 20:50:42 +0200 | <lxsameer> | EvanR: do you use Rust as well ? |
| 2024-06-07 20:50:52 +0200 | <EvanR> | what ruby calls a string is actually a bytestring and holds an encoding tag which often gets out of whack and screws things up |
| 2024-06-07 20:51:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 20:51:12 +0200 | <haskellbridge> | <Kyle Butt> Use Text for textual data and ByteString for bytes. Encode/Decode at the lowest level possible, and if the bytes represent something, prefer a newtype. |
| 2024-06-07 20:51:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-07 20:51:18 +0200 | <EvanR> | because people don't respect it and sometimes don't even know the difference between bytes and characters |
| 2024-06-07 20:51:21 +0200 | <haskellbridge> | <maerwald> EvanR: Yes, which is morally the same as Haskell OsString |
| 2024-06-07 20:51:51 +0200 | <lxsameer> | Kyle Butt: hey I use Text everywhere I can |
| 2024-06-07 20:52:15 +0200 | <mauke> | ah, got it. just never touch the file system :-) |
| 2024-06-07 20:52:36 +0200 | <EvanR> | use ipfs only |
| 2024-06-07 20:53:35 +0200 | <haskellbridge> | <maerwald> Although rust uses WTF-8 |
| 2024-06-07 20:54:15 +0200 | <EvanR> | is that a funny way to specify UTF-16 |
| 2024-06-07 20:54:57 +0200 | <mauke> | personally I think "WTF-8" should refer to doubly-encoded text |
| 2024-06-07 20:55:32 +0200 | <mauke> | encode_utf8 . encode_utf8 |
| 2024-06-07 20:55:52 +0200 | <EvanR> | use 3 for good measure |
| 2024-06-07 20:56:32 +0200 | <EvanR> | UUU-8 |
| 2024-06-07 20:57:10 +0200 | <lxsameer> | I thought WTF-8 is a joke, but it's legit :D |
| 2024-06-07 20:57:27 +0200 | <haskellbridge> | <Kyle Butt> Speaking of hackery, the ETAG specification allows for certain ranges of characters, but also allows for any character with the high bit set. |
| 2024-06-07 20:57:29 +0200 | <haskellbridge> | So I wrote some code to take binary hash tags and stuff them in 7 bits with the high bit set. |
| 2024-06-07 20:58:25 +0200 | <monochrom> | :( |
| 2024-06-07 20:58:35 +0200 | <EvanR> | what does a character with the high bit set mean |
| 2024-06-07 20:58:44 +0200 | <EvanR> | extended ascii? |
| 2024-06-07 20:59:10 +0200 | <haskellbridge> | <Kyle Butt> Sorry, I should have said: "byte with the high bit set". |
| 2024-06-07 20:59:39 +0200 | <mauke> | a byte >= 128 |
| 2024-06-07 20:59:56 +0200 | <haskellbridge> | <Kyle Butt> The ETAG header is specified in bytes, not in an encoding. |
| 2024-06-07 21:00:11 +0200 | <haskellbridge> | <Kyle Butt> Monochrom, why :( ? |
| 2024-06-07 21:00:44 +0200 | <monochrom> | because it's a hackery that makes baby jesus cry :) |
| 2024-06-07 21:01:27 +0200 | <haskellbridge> | <Kyle Butt> ETAG's are opaque, and the user never sees them. Why not save on bandwidth? |
| 2024-06-07 21:01:58 +0200 | <EvanR> | deflate the etag then? |
| 2024-06-07 21:02:07 +0200 | <EvanR> | xD |
| 2024-06-07 21:02:25 +0200 | <EvanR> | (your http is automagically compressed is it) |
| 2024-06-07 21:02:30 +0200 | <EvanR> | isn't* |
| 2024-06-07 21:03:10 +0200 | <haskellbridge> | <Kyle Butt> The http headers aren't compressed, even if the content-encoding is compressed. |
| 2024-06-07 21:03:59 +0200 | <monochrom> | Oh, user never sees them? OK nevermind. :) |
| 2024-06-07 21:04:06 +0200 | <mauke> | if you wrap the HTTP response in another HTTP response, you can compress the headers in the body |
| 2024-06-07 21:04:17 +0200 | <EvanR> | wrap it 3 times for good measure |
| 2024-06-07 21:04:39 +0200 | <monochrom> | Ugh is that a monad? |
| 2024-06-07 21:04:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-07 21:04:55 +0200 | <monochrom> | join :: HTTP (HTTP a) -> HTTP a |
| 2024-06-07 21:06:23 +0200 | <dmj`> | we put an HTTP in your HTTP so you can HTTP while you HTTP |
| 2024-06-07 21:06:51 +0200 | <monochrom> | :) |
| 2024-06-07 21:07:18 +0200 | <EvanR> | within the HTTP monad you can yield the answer by setting the content stream, making the return value redundant, and so it's actually a monoid |
| 2024-06-07 21:08:05 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-06-07 21:10:19 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-06-07 21:16:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-06-07 21:21:40 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-06-07 21:23:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-07 21:23:58 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-06-07 21:25:44 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-07 21:38:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-07 22:08:36 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-07 22:09:02 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-06-07 22:16:43 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-06-07 22:19:51 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:f0e:db60:68cc:2c13) |
| 2024-06-07 22:26:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 22:30:58 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-07 22:31:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-07 22:34:03 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-07 22:34:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 22:35:52 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-06-07 22:39:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-07 22:42:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-07 22:50:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-07 22:51:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-07 22:53:23 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 2024-06-07 23:01:55 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-06-07 23:02:18 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-07 23:03:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-07 23:09:23 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
| 2024-06-07 23:11:08 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-06-07 23:11:59 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Client Quit) |
| 2024-06-07 23:12:13 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-06-07 23:12:36 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-06-07 23:12:49 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-07 23:14:13 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-06-07 23:21:41 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Ping timeout: 240 seconds) |
| 2024-06-07 23:21:59 +0200 | Tisoxin | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-07 23:22:35 +0200 | Tisoxin | (~Ikosit@user/ikosit) |
| 2024-06-07 23:23:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-06-07 23:33:32 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-06-07 23:33:37 +0200 | yin_ | yin |
| 2024-06-07 23:36:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-07 23:41:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-07 23:46:39 +0200 | <haskellbridge> | <maerwald> @irc_libera.chat_lxsameer:kf8nh.com: It's an implementation detail. WTF-8 is not a "user exposed" encoding |