2024/06/07

2024-06-07 00:07:30 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-07 00:23:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 00:24:02 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 00:24:12 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Read error: Connection reset by peer)
2024-06-07 00:24:46 +0200y04nn(~username@45.129.56.202)
2024-06-07 00:26:34 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-07 00:29:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 00:31:36 +0200CiaoSen(~Jura@2a05:5800:222:5600:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-06-07 00:34:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-06-07 00:36:49 +0200troojg(~troojg@99.36.5.199)
2024-06-07 00:37:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 00:37:51 +0200yin(~yin@user/zero)
2024-06-07 00:40:11 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2024-06-07 00:46:22 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-06-07 00:52:16 +0200finsternis(~X@23.226.237.192) (Ping timeout: 268 seconds)
2024-06-07 00:54:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-06-07 00:55:13 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 255 seconds)
2024-06-07 00:55:57 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de)
2024-06-07 00:59:05 +0200yin(~yin@user/zero) (Remote host closed the connection)
2024-06-07 00:59:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 01:00:48 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 01:00:55 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-06-07 01:01:09 +0200finsternis(~X@23.226.237.192)
2024-06-07 01:01:13 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de)
2024-06-07 01:01:45 +0200igemnace(~igemnace@user/igemnace)
2024-06-07 01:01:53 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 01:01:57 +0200y04nn(~username@45.129.56.202) (Remote host closed the connection)
2024-06-07 01:02:13 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 01:10:53 +0200acidjnk(~acidjnk@p200300d6e714dc12b175fd0aabb0962d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-06-07 01:13:11 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-07 01:16:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-06-07 01:16:54 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de)
2024-06-07 01:18:12 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 01:18:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 01:18:56 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2024-06-07 01:23:50 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com)
2024-06-07 01:30:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-06-07 01:31:29 +0200troojg(~troojg@99.36.5.199) (Quit: leaving)
2024-06-07 01:32:12 +0200yin(~yin@user/zero)
2024-06-07 01:33:27 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2024-06-07 01:37:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-06-07 01:38:48 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 01:39:39 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de)
2024-06-07 01:41:06 +0200gorignak(~gorignak@user/gorignak)
2024-06-07 01:41:23 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-06-07 02:06:13 +0200sabino(~sabino@user/sabino)
2024-06-07 02:08:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2024-06-07 02:09:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-06-07 02:13:18 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-06-07 02:14:08 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-07 02:26:34 +0200sabino(~sabino@user/sabino) (Read error: Connection reset by peer)
2024-06-07 02:27:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 02:29:39 +0200sabino(~sabino@user/sabino)
2024-06-07 02:32:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-06-07 02:35:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 02:44:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-06-07 02:51:25 +0200yin(~yin@user/zero) (Ping timeout: 272 seconds)
2024-06-07 02:53:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 02:57:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-06-07 02:59:22 +0200vadparaszt(~Rodney@176.254.244.83)
2024-06-07 03:02:49 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 272 seconds)
2024-06-07 03:03:01 +0200yin(~yin@user/zero)
2024-06-07 03:16:57 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-06-07 03:18:43 +0200CrunchyFlakes(~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 +0200dostoyevsky2(~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 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 03:41:41 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de)
2024-06-07 03:42:03 +0200euleritian(~euleritia@dynamic-176-001-225-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 03:42:24 +0200euleritian(~euleritia@77.22.252.56)
2024-06-07 03:49:47 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-07 03:50:03 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-06-07 03:50:24 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-06-07 03:50:46 +0200xff0x(~xff0x@2405:6580:b080:900:6354:9783:4ed:b1bf) (Ping timeout: 246 seconds)
2024-06-07 03:58:44 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2024-06-07 04:01:32 +0200emmanuelux(~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 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-07 04:25:07 +0200haetsal(~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-06-07 04:26:17 +0200haetsal(~quassel@221.138.168.192)
2024-06-07 04:27:36 +0200haetsal(~quassel@221.138.168.192) (Client Quit)
2024-06-07 04:28:58 +0200 <davean> Freenode exists?
2024-06-07 04:29:00 +0200phma(phma@2001:5b0:2172:c168:223e:807a:618e:7153) (Read error: Connection reset by peer)
2024-06-07 04:29:27 +0200phma(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 +0200xff0x(~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 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-06-07 04:38:30 +0200cyphase(~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 +0200joeyadams(~joeyadams@38.48.105.67)
2024-06-07 04:49:20 +0200haetsal(~quassel@221.138.168.192)
2024-06-07 04:53:41 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2024-06-07 04:56:02 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-07 05:02:01 +0200td_(~td@i53870907.versanet.de) (Ping timeout: 268 seconds)
2024-06-07 05:03:25 +0200td_(~td@i53870928.versanet.de)
2024-06-07 05:05:19 +0200haetsal(~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-06-07 05:12:07 +0200haetsal(~quassel@221.138.168.192)
2024-06-07 05:14:39 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 268 seconds)
2024-06-07 05:17:36 +0200CrunchyFlakes(~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 +0200haetsal(~quassel@221.138.168.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-06-07 05:19:11 +0200haetsal(~quassel@221.138.168.192)
2024-06-07 05:19:50 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-07 05:21:40 +0200TMA(tma@twin.jikos.cz)
2024-06-07 05:22:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 05:27:01 +0200yin(~yin@user/zero) (Ping timeout: 246 seconds)
2024-06-07 05:28:40 +0200yin(~yin@user/zero)
2024-06-07 05:29:14 +0200xal(~xal@mx1.xal.systems) ()
2024-06-07 05:29:43 +0200xal(~xal@mx1.xal.systems)
2024-06-07 05:35:00 +0200xff0x(~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 +0200aforemny_(~aforemny@2001:9e8:6cfe:9000:f190:2088:3129:672b)
2024-06-07 05:52:35 +0200aforemny(~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 +0200philopsos1(~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 +0200michalz(~michalz@185.246.207.221)
2024-06-07 06:25:26 +0200michalz(~michalz@185.246.207.221) (Client Quit)
2024-06-07 06:26:11 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-06-07 06:28:09 +0200michalz(~michalz@185.246.207.201)
2024-06-07 06:29:33 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-06-07 06:30:26 +0200chexum(~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 +0200glguyhas 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 +0200joeyadams(~joeyadams@38.48.105.67) (Remote host closed the connection)
2024-06-07 06:42:02 +0200joeyadams(~joeyadams@38.48.105.67)
2024-06-07 06:47:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-06-07 06:50:03 +0200biberu\(~biberu@user/biberu)
2024-06-07 06:50:59 +0200biberu-(~biberu@user/biberu)
2024-06-07 06:53:27 +0200biberu(~biberu@user/biberu) (Ping timeout: 256 seconds)
2024-06-07 06:53:28 +0200biberu-biberu
2024-06-07 06:54:31 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 246 seconds)
2024-06-07 06:54:52 +0200biberu\(~biberu@user/biberu) (Ping timeout: 268 seconds)
2024-06-07 06:55:27 +0200joeyadams(~joeyadams@38.48.105.67) (Quit: Leaving)
2024-06-07 06:55:50 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-06-07 06:56:28 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-07 06:56:29 +0200xam(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 07:03:48 +0200zmt01(~zmt00@user/zmt00)
2024-06-07 07:06:39 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 272 seconds)
2024-06-07 07:06:58 +0200euphores(~SASL_euph@user/euphores)
2024-06-07 07:07:59 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2024-06-07 07:14:54 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 268 seconds)
2024-06-07 07:15:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-06-07 07:19:13 +0200euphores(~SASL_euph@user/euphores)
2024-06-07 07:30:03 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com)
2024-06-07 07:30:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-06-07 07:33:35 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
2024-06-07 07:34:13 +0200euleritian(~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 +0200acidjnk(~acidjnk@p200300d6e714dc79edaa57aef410daf5.dip0.t-ipconnect.de)
2024-06-07 07:46:38 +0200gmg(~user@user/gehmehgeh)
2024-06-07 07:47:20 +0200sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2024-06-07 07:50:45 +0200euleritian(~euleritia@dynamic-176-001-221-044.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 07:51:05 +0200euleritian(~euleritia@77.22.252.56)
2024-06-07 07:56:40 +0200causal(~eric@50.35.88.207)
2024-06-07 07:59:38 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-06-07 08:01:46 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de)
2024-06-07 08:04:55 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-06-07 08:06:16 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-07 08:16:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-06-07 08:16:29 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2024-06-07 08:16:30 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-06-07 08:17:12 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-06-07 08:17:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-07 08:17:39 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-06-07 08:21:51 +0200qhong(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 256 seconds)
2024-06-07 08:24:36 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving)
2024-06-07 08:36:09 +0200Square(~Square@user/square)
2024-06-07 08:48:03 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-06-07 08:58:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 09:14:52 +0200philopsos1(~caecilius@user/philopsos)
2024-06-07 09:17:53 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-07 09:25:36 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-07 09:38:56 +0200cfricke(~cfricke@user/cfricke)
2024-06-07 09:42:13 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-06-07 09:45:43 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-07 09:48:08 +0200johnw(~johnw@69.62.242.138)
2024-06-07 09:53:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 240 seconds)
2024-06-07 09:59:38 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-07 10:01:05 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-06-07 10:10:05 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-06-07 10:13:01 +0200gmg(~user@user/gehmehgeh)
2024-06-07 10:21:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2024-06-07 10:22:16 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-06-07 10:32:32 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-06-07 10:33:09 +0200ubert(~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 +0200xam(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1)
2024-06-07 10:43:25 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 10:47:54 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit)
2024-06-07 10:48:29 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 10:48:31 +0200dev2xam
2024-06-07 10:49:15 +0200img(~img@user/img)
2024-06-07 10:52:14 +0200ec(~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer)
2024-06-07 10:52:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer)
2024-06-07 10:52:14 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Write error: Connection reset by peer)
2024-06-07 10:52:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer)
2024-06-07 10:52:14 +0200califax(~califax@user/califx) (Write error: Connection reset by peer)
2024-06-07 10:52:14 +0200gmg(~user@user/gehmehgeh) (Write error: Connection reset by peer)
2024-06-07 10:52:14 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Write error: Broken pipe)
2024-06-07 10:52:35 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-06-07 10:52:50 +0200ec(~ec@gateway/tor-sasl/ec)
2024-06-07 10:52:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-06-07 10:52:59 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-07 10:53:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-07 10:53:09 +0200gmg(~user@user/gehmehgeh)
2024-06-07 10:53:13 +0200califax(~califax@user/califx)
2024-06-07 10:53:41 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-07 10:54:26 +0200berberman(~berberman@user/berberman) (Read error: Connection reset by peer)
2024-06-07 10:54:32 +0200berberman_(~berberman@user/berberman)
2024-06-07 10:59:54 +0200euphores(~SASL_euph@user/euphores)
2024-06-07 11:01:21 +0200CiaoSen(~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 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-06-07 11:08:46 +0200chele(~chele@user/chele)
2024-06-07 11:09:20 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 11:09:53 +0200euleritian(~euleritia@77.22.252.56)
2024-06-07 11:12:20 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-06-07 11:13:02 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 11:18:52 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-06-07 11:24:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 11:26:39 +0200xam(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1)
2024-06-07 11:26:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 11:27:32 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 11:27:52 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit)
2024-06-07 11:28:25 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
2024-06-07 11:28:25 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 11:28:58 +0200CiaoSen(~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-06-07 11:29:03 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-06-07 11:29:05 +0200dev2xam
2024-06-07 11:31:26 +0200destituion(~destituio@2a02:2121:28c:be84:bcd6:b428:e58d:1c11) (Ping timeout: 268 seconds)
2024-06-07 11:31:27 +0200yin(~yin@user/zero) (Read error: Connection reset by peer)
2024-06-07 11:32:06 +0200destituion(~destituio@85.221.111.174)
2024-06-07 11:33:19 +0200xam(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Quit: WeeChat 4.3.1)
2024-06-07 11:33:45 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2024-06-07 11:35:23 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 11:35:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 11:36:18 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de)
2024-06-07 11:36:30 +0200yin(~yin@user/zero)
2024-06-07 11:37:41 +0200dev2xam
2024-06-07 11:39:23 +0200xam(~dev@2405:201:c062:801d:8728:7618:dd19:eaef) (Client Quit)
2024-06-07 11:39:41 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 240 seconds)
2024-06-07 11:39:46 +0200dev2(~dev@2405:201:c062:801d:8728:7618:dd19:eaef)
2024-06-07 11:40:41 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 11:40:50 +0200dev2xam
2024-06-07 11:40:58 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 11:41:32 +0200xamxam_
2024-06-07 11:45:17 +0200driib3(~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 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-06-07 11:46:25 +0200Flow(~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 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 255 seconds)
2024-06-07 11:50:26 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-06-07 11:50:26 +0200destituion(~destituio@2a02:2121:28c:be84:c5ea:45ab:4ef8:3424)
2024-06-07 11:51:44 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-06-07 11:51:52 +0200gmg(~user@user/gehmehgeh)
2024-06-07 11:51:55 +0200 <kuribas> Int is efficient.
2024-06-07 11:52:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 11:52:16 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de)
2024-06-07 11:52:37 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 11:52:54 +0200euleritian(~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 +0200david_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 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-06-07 11:58:33 +0200ridcully(~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 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 12:00:05 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de)
2024-06-07 12:00:27 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200xff0x(~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 +0200euphores(~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 +0200bitdex(~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 +0200bitdex(~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 +0200todi(~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 +0200euleritian(~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 +0200euleritian(~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 +0200mud(~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 +0200mud(~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 +0200canta(~canta@user/canta) (Ping timeout: 246 seconds)
2024-06-07 12:36:17 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds)
2024-06-07 12:36:28 +0200mira(~aranea@wireguard/contributorcat/mira) (Ping timeout: 246 seconds)
2024-06-07 12:36:48 +0200defanor_(~defanor@tart.uberspace.net) (Ping timeout: 268 seconds)
2024-06-07 12:36:48 +0200dminuoso(~weechat@user/dminuoso) (Ping timeout: 268 seconds)
2024-06-07 12:37:23 +0200nullie(~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 +0200teqwve(teqwve@static.141.38.201.195.clients.your-server.de)
2024-06-07 12:37:57 +0200defanor(~defanor@tart.uberspace.net)
2024-06-07 12:38:01 +0200red-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 +0200teqwve-(teqwve@static.141.38.201.195.clients.your-server.de) (Ping timeout: 268 seconds)
2024-06-07 12:38:30 +0200weechat(~weechat@user/dminuoso)
2024-06-07 12:39:23 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-06-07 12:39:34 +0200mira(~aranea@wireguard/contributorcat/mira)
2024-06-07 12:39:40 +0200dostoyevsky2(~sck@user/dostoyevsky2) (Remote host closed the connection)
2024-06-07 12:40:30 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-06-07 12:40:55 +0200xdminsy(~xdminsy@117.147.70.212)
2024-06-07 12:42:05 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.1)
2024-06-07 12:43:29 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-06-07 12:48:53 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2024-06-07 12:49:10 +0200canta(~canta@user/canta)
2024-06-07 12:49:34 +0200nullie(~nullie@2a01:4f8:c2c:6177::1)
2024-06-07 12:52:19 +0200david_tvh(~david_tvh@212-114-26-122.box.freepro.com) (Quit: Connection closed)
2024-06-07 12:52:30 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds)
2024-06-07 12:53:00 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-07 12:55:13 +0200euphores(~SASL_euph@user/euphores)
2024-06-07 12:57:00 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-06-07 12:57:16 +0200gorignak(~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 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 13:02:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 13:18:40 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-06-07 13:22:28 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-06-07 13:22:53 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2024-06-07 13:24:41 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 252 seconds)
2024-06-07 13:32:50 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in)
2024-06-07 13:33:13 +0200forell(~forell@user/forell)
2024-06-07 13:36:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 13:37:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 13:37:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 13:39:54 +0200meritamen(~user@user/meritamen)
2024-06-07 13:40:14 +0200meritamen(~user@user/meritamen) ()
2024-06-07 13:49:37 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-06-07 13:50:54 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de)
2024-06-07 13:52:20 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 13:54:32 +0200CrunchyFlakes(~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 +0200CiaoSen(~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03)
2024-06-07 14:15:22 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de)
2024-06-07 14:29:38 +0200xff0x(~xff0x@2405:6580:b080:900:2f45:7d7a:ed1:7b2)
2024-06-07 14:36:08 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 268 seconds)
2024-06-07 14:38:59 +0200tabemann(~tabemann@2600:1700:7990:24e0:bb80:7a48:c3e4:b1fe) (Remote host closed the connection)
2024-06-07 14:39:19 +0200tabemann(~tabemann@2600:1700:7990:24e0:ccf:38dd:bb01:b6bf)
2024-06-07 14:39:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-06-07 14:41:18 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-07 14:41:53 +0200Flow(~none@gentoo/developer/flow)
2024-06-07 14:52:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 14:55:10 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 256 seconds)
2024-06-07 14:58:07 +0200Flow(~none@gentoo/developer/flow)
2024-06-07 15:24:27 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-06-07 15:39:26 +0200ystael(~ystael@user/ystael)
2024-06-07 15:45:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 15:46:47 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-07 15:47:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2024-06-07 15:49:48 +0200cfricke(~cfricke@user/cfricke)
2024-06-07 15:57:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 16:02:23 +0200someone235(uid419897@id-419897.ilkley.irccloud.com)
2024-06-07 16:09:19 +0200stef204(~stef204@user/stef204)
2024-06-07 16:16:25 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-07 16:21:47 +0200yin(~yin@user/zero) (Read error: Connection reset by peer)
2024-06-07 16:26:30 +0200yin(~yin@user/zero)
2024-06-07 16:37:49 +0200joeyadams(~joeyadams@38.48.105.67)
2024-06-07 16:50:25 +0200Lycurgus(~georg@user/Lycurgus)
2024-06-07 16:53:20 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2024-06-07 16:57:05 +0200Typedfern(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 17:05:13 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-06-07 17:17:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 17:25:57 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-06-07 17:34:10 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:8aea:b36d:9a65:98e3) (Quit: ubert)
2024-06-07 17:34:39 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 268 seconds)
2024-06-07 17:35:53 +0200CiaoSen(~Jura@2a05:5800:2b3:6b00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-06-07 17:36:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 17:45:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 17:50:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-06-07 17:51:28 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no)
2024-06-07 17:53:07 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-06-07 18:03:28 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-06-07 18:13:20 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-06-07 18:22:03 +0200someone235(uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-07 18:30:57 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-06-07 18:34:06 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-06-07 18:36:38 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-06-07 18:45:41 +0200califax(~califax@user/califx)
2024-06-07 18:48:57 +0200yin_(~yin@user/zero)
2024-06-07 19:13:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-07 19:21:15 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-07 19:21:40 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-06-07 19:29:39 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-06-07 19:37:27 +0200dcoutts(~duncan@77.109.149.106)
2024-06-07 19:37:34 +0200target_i(~target_i@user/target-i/x-6023099)
2024-06-07 19:40:11 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-06-07 19:44:55 +0200euleritian(~euleritia@dynamic-176-006-179-000.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-06-07 19:45:19 +0200euleritian(~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de)
2024-06-07 19:46:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-07 19:51:19 +0200euleritian(~euleritia@dynamic-176-006-024-083.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-07 19:51:37 +0200euleritian(~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 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 20:11:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-07 20:15:10 +0200 <haskellbridge> <maerwald> lxsameer: Example?
2024-06-07 20:15:57 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-07 20:16:29 +0200califax(~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 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-06-07 20:18:23 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2024-06-07 20:18:56 +0200euphores(~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 +0200euphores(~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 +0200waleee(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200euleritian(~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 +0200L29Ah(~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 +0200benjaminl(~benjaminl@user/benjaminl) (Remote host closed the connection)
2024-06-07 21:10:19 +0200benjaminl(~benjaminl@user/benjaminl)
2024-06-07 21:16:32 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-06-07 21:21:40 +0200Eoco(~ian@128.101.131.218)
2024-06-07 21:23:28 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-07 21:23:58 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-06-07 21:25:44 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-07 21:38:48 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-06-07 22:08:36 +0200philopsos1(~caecilius@user/philopsos)
2024-06-07 22:09:02 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-06-07 22:16:43 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
2024-06-07 22:19:51 +0200ph88(~ph88@2a02:8109:9e26:c800:f0e:db60:68cc:2c13)
2024-06-07 22:26:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 22:30:58 +0200pavonia(~user@user/siracusa)
2024-06-07 22:31:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-06-07 22:34:03 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-06-07 22:34:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 22:35:52 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2024-06-07 22:39:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-06-07 22:42:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-06-07 22:50:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-06-07 22:51:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-06-07 22:53:23 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds)
2024-06-07 23:01:55 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-06-07 23:02:18 +0200kimiamania(~65804703@user/kimiamania)
2024-06-07 23:03:25 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-07 23:09:23 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0)
2024-06-07 23:11:08 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-06-07 23:11:59 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Client Quit)
2024-06-07 23:12:13 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-06-07 23:12:36 +0200joeyadams(~joeyadams@38.48.105.67) (Quit: Leaving)
2024-06-07 23:12:49 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-06-07 23:14:13 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-06-07 23:21:41 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Ping timeout: 240 seconds)
2024-06-07 23:21:59 +0200Tisoxin(~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat)
2024-06-07 23:22:35 +0200Tisoxin(~Ikosit@user/ikosit)
2024-06-07 23:23:13 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-06-07 23:33:32 +0200yin(~yin@user/zero) (Quit: leaving)
2024-06-07 23:33:37 +0200yin_yin
2024-06-07 23:36:29 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds)
2024-06-07 23:41:44 +0200jmdaemon(~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