IRCBrowse

2026/02/23

2026-02-23 00:01:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 00:05:00 +0100jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 268 seconds)
2026-02-23 00:11:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 00:16:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 00:19:47 +0100jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-02-23 00:27:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 00:32:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 00:43:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 00:46:53 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 00:48:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 00:49:17 +0100anpad(~pandeyan@user/anpad) anpad
2026-02-23 00:52:17 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 00:52:34 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 00:56:41 +0100haskell-noob(~haskell-n@50.35.80.129)
2026-02-23 00:58:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 01:03:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-23 01:04:12 +0100jreicher(~joelr@user/jreicher) (Read error: Connection reset by peer)
2026-02-23 01:05:16 +0100jreicher(~joelr@user/jreicher) jreicher
2026-02-23 01:09:11 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 01:13:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 01:18:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-23 01:21:28 +0100jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 268 seconds)
2026-02-23 01:27:19 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds)
2026-02-23 01:28:26 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 01:29:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 01:33:51 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 01:33:59 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-02-23 01:34:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-23 01:35:01 +0100jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-02-23 01:38:18 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 01:41:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 01:41:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 01:42:00 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 01:44:35 +0100n0w0n(~john@user/n0w0n) n0w0n
2026-02-23 01:46:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-23 01:46:59 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 01:47:29 +0100w00ter(~w00ter@user/w00ter) w00ter
2026-02-23 01:47:51 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 01:51:54 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 01:56:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 02:00:37 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk) (Server closed connection)
2026-02-23 02:00:52 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk) Hobbyboy
2026-02-23 02:01:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-23 02:03:14 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 02:12:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 02:16:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 02:20:09 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 248 seconds)
2026-02-23 02:25:52 +0100jreicher(~joelr@user/jreicher) (Quit: brb)
2026-02-23 02:27:21 +0100jreicher(~joelr@user/jreicher) jreicher
2026-02-23 02:27:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 02:30:06 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Quit: Lost terminal)
2026-02-23 02:30:09 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2026-02-23 02:31:03 +0100karenw(~karenw@user/karenw) (Ping timeout: 265 seconds)
2026-02-23 02:31:22 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 02:32:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 02:34:00 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 02:34:27 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2026-02-23 02:41:39 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-23 02:42:53 +0100Square3(~Square@user/square) Square
2026-02-23 02:43:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 02:49:02 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Remote host closed the connection)
2026-02-23 02:49:16 +0100jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 268 seconds)
2026-02-23 02:50:00 +0100Guest0(~Guest0@179.90.251.126)
2026-02-23 02:50:06 +0100sclv(sid39734@haskell/developer/sclv) (Server closed connection)
2026-02-23 02:50:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 02:50:18 +0100sclv(sid39734@haskell/developer/sclv) sclv
2026-02-23 02:50:26 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-23 02:50:58 +0100Guest0(~Guest0@179.90.251.126) (Client Quit)
2026-02-23 02:51:49 +0100Guest0(~Guest0@179.90.251.126)
2026-02-23 02:53:28 +0100Guest0(~Guest0@179.90.251.126) (Client Quit)
2026-02-23 02:54:12 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 02:55:08 +0100emmanuelux_(~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2026-02-23 02:56:02 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 02:57:26 +0100Zowlyfon(sid346067@user/Zowlyfon) (Server closed connection)
2026-02-23 02:57:37 +0100Zowlyfon(sid346067@user/Zowlyfon) Zowlyfon
2026-02-23 03:01:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 03:05:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 03:11:30 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-23 03:14:03 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-02-23 03:14:20 +0100weary-traveler(~user@user/user363627) user363627
2026-02-23 03:14:22 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 03:16:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 03:17:45 +0100sp1ff(~user@2601:1c2:4701:7850::8cd) (Remote host closed the connection)
2026-02-23 03:18:33 +0100n0w0n(~john@user/n0w0n) (Quit: WeeChat 4.6.3)
2026-02-23 03:20:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 03:21:49 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 03:24:36 +0100emmanuelux(~em@user/emmanuelux) (Ping timeout: 256 seconds)
2026-02-23 03:28:48 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 03:31:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 03:35:11 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving)
2026-02-23 03:35:37 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 03:36:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 03:42:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 03:45:03 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-23 03:46:44 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 03:46:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 03:47:37 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 268 seconds)
2026-02-23 03:48:19 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 03:53:00 +0100user363627(~user@user/user363627) user363627
2026-02-23 03:55:03 +0100weary-traveler(~user@user/user363627) (Ping timeout: 255 seconds)
2026-02-23 03:57:06 +0100ski(~ski@remote11.chalmers.se) (Remote host closed the connection)
2026-02-23 03:57:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 04:01:57 +0100tired(~tired@user/tired) (Server closed connection)
2026-02-23 04:02:13 +0100tired(~tired@user/tired) tired
2026-02-23 04:02:32 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 04:03:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 04:03:29 +0100w00ter(~w00ter@user/w00ter) (Quit: Leaving...)
2026-02-23 04:06:57 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Remote host closed the connection)
2026-02-23 04:08:26 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-23 04:12:05 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2026-02-23 04:12:27 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-23 04:12:54 +0100ski(~ski@remote11.chalmers.se) ski
2026-02-23 04:13:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 04:15:39 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-23 04:17:57 +0100red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Server closed connection)
2026-02-23 04:18:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 04:18:14 +0100red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2026-02-23 04:18:55 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 04:23:57 +0100Catty(~catties@user/meow/catties) (Server closed connection)
2026-02-23 04:24:18 +0100catties(~catties@user/meow/catties) catties
2026-02-23 04:26:23 +0100cattiesCatty
2026-02-23 04:27:17 +0100Xe(~Xe@perl/impostor/xe) (Server closed connection)
2026-02-23 04:27:57 +0100stefan-_(~cri@42dots.de) (Server closed connection)
2026-02-23 04:28:13 +0100stefan-_(~cri@42dots.de) stefan-_
2026-02-23 04:28:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 04:29:32 +0100Xe(~Xe@perl/impostor/xe) Xe
2026-02-23 04:35:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 04:45:35 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds)
2026-02-23 04:46:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 04:46:46 +0100msa(msa@msa.planetofnix.com) (Server closed connection)
2026-02-23 04:51:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 04:52:01 +0100msa(msa@msa.planetofnix.com)
2026-02-23 05:02:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 05:06:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-23 05:08:14 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 05:10:46 +0100edmundnoble_(sid229620@id-229620.helmsley.irccloud.com) (Server closed connection)
2026-02-23 05:10:57 +0100edmundnoble_(sid229620@id-229620.helmsley.irccloud.com) edmundnoble_
2026-02-23 05:14:37 +0100nadja(~dequbed@banana-new.kilobyte22.de) (Server closed connection)
2026-02-23 05:14:47 +0100nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2026-02-23 05:17:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 05:21:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 05:22:27 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-23 05:26:32 +0100Vizious(~bes@user/Vizious) (Quit: WeeChat 4.8.1)
2026-02-23 05:28:37 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Server closed connection)
2026-02-23 05:28:53 +0100Fischmiep(~Fischmiep@user/Fischmiep) Fischmiep
2026-02-23 05:29:04 +0100hakutaku(~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com)
2026-02-23 05:32:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 05:34:28 +0100user363627(~user@user/user363627) (Quit: Konversation terminated!)
2026-02-23 05:34:47 +0100user363627(~user@user/user363627) user363627
2026-02-23 05:37:34 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 276 seconds)
2026-02-23 05:37:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-23 05:41:57 +0100Techcable(sid534393@user/Techcable) (Server closed connection)
2026-02-23 05:42:31 +0100Techcable(sid534393@user/Techcable) Techcable
2026-02-23 05:44:57 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds)
2026-02-23 05:46:31 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-23 05:48:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 05:52:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-23 06:01:57 +0100lucyy(228ee8f0ce@user/lucyy) (Server closed connection)
2026-02-23 06:02:05 +0100lucyy(228ee8f0ce@user/lucyy) lucyy
2026-02-23 06:03:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 06:04:06 +0100Aleksejs(~Aleksejs@107.170.21.106) (Server closed connection)
2026-02-23 06:04:17 +0100Aleksejs_Home(~Aleksejs@107.170.21.106) aleksejs
2026-02-23 06:06:41 +0100 <jle`> is it just me or is hackage a little slow recently
2026-02-23 06:07:30 +0100 <c_wraith> It's been having several issues recently
2026-02-23 06:10:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 06:10:43 +0100notzmv(~umar@user/notzmv) (Ping timeout: 276 seconds)
2026-02-23 06:19:17 +0100barthandelous01(barth@triton.blinkenshell.org) (Server closed connection)
2026-02-23 06:19:35 +0100barthandelous01(barth@triton.blinkenshell.org) barthandelous01
2026-02-23 06:19:46 +0100kadobanana(~mud@user/kadoban) (Quit: quit)
2026-02-23 06:21:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 06:23:34 +0100mud(~mud@user/kadoban) kadoban
2026-02-23 06:24:46 +0100Ging_Ging
2026-02-23 06:26:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 06:26:53 +0100Vizious(~bes@user/Vizious) Vizious
2026-02-23 06:27:44 +0100 <gentauro> c_wraith: let me guess, Jean-CLAUDE van Doom?
2026-02-23 06:32:41 +0100emaczen(~user@user/emaczen) (Ping timeout: 272 seconds)
2026-02-23 06:34:06 +0100 <c_wraith> I have no idea. I'm not an insider there. But it's plausible, I suppose.
2026-02-23 06:35:42 +0100michalz(~michalz@185.246.207.215)
2026-02-23 06:37:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 06:37:26 +0100Noinia(~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection)
2026-02-23 06:37:40 +0100Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2026-02-23 06:38:46 +0100opqdonut(~opqdonut@static.154.72.180.157.clients.your-server.de) (Server closed connection)
2026-02-23 06:38:53 +0100opqdonut(foobar@static.154.72.180.157.clients.your-server.de)
2026-02-23 06:41:49 +0100mange(~mange@user/mange) (Remote host closed the connection)
2026-02-23 06:42:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 06:49:17 +0100Typedfern(~Typedfern@249.red-83-37-36.dynamicip.rima-tde.net) (Server closed connection)
2026-02-23 06:49:40 +0100Typedfern(~Typedfern@249.red-83-37-36.dynamicip.rima-tde.net)
2026-02-23 06:52:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 06:57:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-23 07:02:06 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
2026-02-23 07:05:34 +0100polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2026-02-23 07:05:57 +0100leah2(~leah@vuxu.org) (Server closed connection)
2026-02-23 07:06:01 +0100peterbecich(~Thunderbi@71.84.33.135) (Quit: peterbecich)
2026-02-23 07:06:13 +0100polykernel(~polykerne@user/polykernel) polykernel
2026-02-23 07:06:18 +0100leah2(~leah@vuxu.org) leah2
2026-02-23 07:06:19 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 07:07:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 07:08:46 +0100ouroboros(~ouroboros@user/ouroboros) (Server closed connection)
2026-02-23 07:10:36 +0100ouroboros(~ouroboros@user/ouroboros) ouroboros
2026-02-23 07:12:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 07:16:44 +0100Square2(~Square4@user/square) Square
2026-02-23 07:19:10 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-02-23 07:19:29 +0100Square3(~Square@user/square) (Ping timeout: 245 seconds)
2026-02-23 07:21:31 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-23 07:23:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 07:27:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-23 07:31:17 +0100remmie(ianremsen@tilde.team) (Server closed connection)
2026-02-23 07:38:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 07:40:18 +0100remmie(ianremsen@tilde.team) remsense
2026-02-23 07:45:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-23 07:46:21 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds)
2026-02-23 07:56:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 08:01:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-23 08:11:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 08:12:46 +0100skylord5816(~skylord58@user/skylord5816) (Server closed connection)
2026-02-23 08:12:57 +0100skylord5816(~skylord58@user/skylord5816) skylord5816
2026-02-23 08:16:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 08:20:37 +0100exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) (Server closed connection)
2026-02-23 08:20:45 +0100exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet
2026-02-23 08:21:17 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Server closed connection)
2026-02-23 08:21:24 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2026-02-23 08:24:09 +0100 <gentauro> c_wraith: fair enough. Btw, good to see that Hackage only allows for names [A .. Z] and [a .. z]. Otherwise, we might begin to see naming like with emojis and stuff (just like you see all around in README.md) xd
2026-02-23 08:27:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 08:30:46 +0100carter(sid14827@id-14827.helmsley.irccloud.com) (Server closed connection)
2026-02-23 08:31:22 +0100carter(sid14827@id-14827.helmsley.irccloud.com) carter
2026-02-23 08:31:26 +0100mustafa(sid502723@rockylinux/releng/mustafa) (Server closed connection)
2026-02-23 08:31:37 +0100mustafa(sid502723@rockylinux/releng/mustafa) mustafa
2026-02-23 08:31:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-23 08:33:26 +0100iphy(sid67735@user/iphy) (Server closed connection)
2026-02-23 08:33:37 +0100iphy(sid67735@user/iphy) iphy
2026-02-23 08:33:57 +0100bgtdsword(b968c1779f@user/titibandit) (Server closed connection)
2026-02-23 08:34:06 +0100bgtdsword(b968c1779f@user/titibandit) titibandit
2026-02-23 08:36:21 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2026-02-23 08:37:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-23 08:42:37 +0100 <jackdk> Counter-example: `lucid2`
2026-02-23 08:42:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 08:43:03 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66)
2026-02-23 08:48:49 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-02-23 08:48:49 +0100apache2(apache2@anubis.0x90.dk) (Read error: Connection reset by peer)
2026-02-23 08:49:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-23 08:49:18 +0100apache(apache2@anubis.0x90.dk) apache2
2026-02-23 08:49:24 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-02-23 08:54:54 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 08:55:33 +0100chele(~chele@user/chele) chele
2026-02-23 08:56:47 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-23 08:58:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 08:59:13 +0100 <gentauro> jackdk: «A Cabal package name can use any alphabetic Unicode code-point, however Hackage rejects package names that use alphabetic code-points other than those from the Latin alphabet (that is, A to Z and a to z)». Source: https://hackage.haskell.org/upload
2026-02-23 08:59:52 +0100 <gentauro> jackdk: but you are right https://hackage.haskell.org/packages/search?terms=lucid2
2026-02-23 09:00:19 +0100gentaurofirst time ever that docs deviate from implementation
2026-02-23 09:00:56 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 09:02:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-23 09:07:40 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-23 09:09:02 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2026-02-23 09:10:06 +0100gaze__(sid387101@id-387101.helmsley.irccloud.com) (Server closed connection)
2026-02-23 09:10:17 +0100gaze__(sid387101@id-387101.helmsley.irccloud.com) gaze__
2026-02-23 09:12:44 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 09:13:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 09:15:20 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2026-02-23 09:17:45 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2026-02-23 09:20:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 09:20:35 +0100__monty__(~toonn@user/toonn) toonn
2026-02-23 09:21:14 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-23 09:21:32 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2026-02-23 09:26:11 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63
2026-02-23 09:26:46 +0100taktoa[c](sid282096@id-282096.tinside.irccloud.com) (Server closed connection)
2026-02-23 09:26:58 +0100taktoa[c](sid282096@id-282096.tinside.irccloud.com) taktoa[c]
2026-02-23 09:31:05 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-02-23 09:32:05 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-23 09:38:45 +0100bggd_(~bgg@2a01:e0a:fd5:f510:ab8d:eb71:9d8d:8bea)
2026-02-23 09:41:28 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-23 09:48:15 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-23 09:50:07 +0100mange(~mange@user/mange) mange
2026-02-23 09:50:59 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-23 09:52:35 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 09:58:12 +0100merijn(~merijn@77.242.116.146) merijn
2026-02-23 10:00:18 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 10:00:35 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 10:04:28 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-23 10:08:37 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection)
2026-02-23 10:08:46 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2026-02-23 10:09:17 +0100sherbert(d006a0b946@2a03:6000:1812:100::155) (Server closed connection)
2026-02-23 10:09:25 +0100sherbert(d006a0b946@2a03:6000:1812:100::155) sherbert
2026-02-23 10:12:34 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-23 10:13:14 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-23 10:14:06 +0100 <probie> Also, I'm pretty sure hyphens are allowed in cabal package names. They seem to turn up all over the place
2026-02-23 10:22:06 +0100tdammers(~tdammers@1-133-178-143.ftth.glasoperator.nl) (Server closed connection)
2026-02-23 10:22:30 +0100tdammers(~tdammers@1-133-178-143.ftth.glasoperator.nl) tdammers
2026-02-23 10:25:17 +0100thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Server closed connection)
2026-02-23 10:25:24 +0100thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2026-02-23 10:29:19 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-23 10:45:01 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2026-02-23 10:49:31 +0100comerijn(~merijn@77.242.116.146) merijn
2026-02-23 10:50:06 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-23 10:51:01 +0100 <mauke> gentauro: that just says that alphabetic characters outside of ASCII are rejected
2026-02-23 10:51:05 +0100 <mauke> 2 is not alphabetic
2026-02-23 10:51:33 +0100 <mauke> "A valid package name comprises an alphanumeric ‘word’; or two or more such words separated by a hyphen character (-). A word cannot be comprised only of the digits 0 to 9."
2026-02-23 10:51:53 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2026-02-23 10:55:32 +0100 <newmind> there goes my dream of naming a surveilance package "1984"
2026-02-23 10:56:46 +0100integral(sid296274@user/integral) (Server closed connection)
2026-02-23 10:57:00 +0100integral(sid296274@user/integral) integral
2026-02-23 11:00:06 +0100down200(~down200@shell.lug.mtu.edu) (Server closed connection)
2026-02-23 11:01:28 +0100down200(~down200@shell.lug.mtu.edu) down200
2026-02-23 11:10:28 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed)
2026-02-23 11:16:26 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-23 11:16:39 +0100fp(~Thunderbi@130.233.70.214) fp
2026-02-23 11:16:44 +0100housemate(~housemate@202.7.248.67) (Max SendQ exceeded)
2026-02-23 11:18:37 +0100uint64_t(ec7b9bb9f3@2a03:6000:1812:100::139b) (Server closed connection)
2026-02-23 11:18:46 +0100uint64_t(ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig
2026-02-23 11:20:37 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection)
2026-02-23 11:20:46 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2026-02-23 11:26:17 +0100erty(~user@user/aeroplane) aeroplane
2026-02-23 11:27:00 +0100divlamir_(~divlamir@user/divlamir) divlamir
2026-02-23 11:27:01 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-23 11:27:52 +0100divlamir_divlamir
2026-02-23 11:28:12 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
2026-02-23 11:28:37 +0100alethkit(23bd17ddc6@sourcehut/user/alethkit) (Server closed connection)
2026-02-23 11:28:46 +0100alethkit(23bd17ddc6@sourcehut/user/alethkit) alethkit
2026-02-23 11:32:25 +0100 <probie> newmind: nineteen-eightyfour is valid though
2026-02-23 11:32:26 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 11:33:27 +0100 <newmind> don't know... might get on the US blacklist-of-forbidden-words in the near future, better not risk it
2026-02-23 11:33:53 +0100 <comerijn> It's fine, I already lost my visa-less travel privilege anyway :p
2026-02-23 11:34:45 +0100haskell-noob(~haskell-n@50.35.80.129) (Quit: Client closed)
2026-02-23 11:34:50 +0100 <newmind> (also might already be on the chinese list of "topics we pretend don't exist")
2026-02-23 11:38:14 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-02-23 11:40:38 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-23 11:42:32 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-23 11:45:55 +0100mange(~mange@user/mange) (Quit: Zzz...)
2026-02-23 11:47:46 +0100erty(~user@user/aeroplane) (Read error: Connection reset by peer)
2026-02-23 11:49:22 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-23 11:50:09 +0100califax_(~califax@user/califx) califx
2026-02-23 11:50:22 +0100califax(~califax@user/califx) (Ping timeout: 252 seconds)
2026-02-23 11:51:06 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2026-02-23 11:51:07 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2026-02-23 11:51:25 +0100califax_califax
2026-02-23 11:53:10 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-23 11:53:24 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-23 11:58:03 +0100erty(~user@user/aeroplane) aeroplane
2026-02-23 11:59:00 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-02-23 11:59:12 +0100Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2026-02-23 11:59:26 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Server closed connection)
2026-02-23 11:59:46 +0100 <kuribas> What's an easy way to run a haskell script for devs that don't have a haskell environment?
2026-02-23 11:59:46 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2026-02-23 11:59:53 +0100 <kuribas> Create a docker application?
2026-02-23 12:01:39 +0100 <kuribas> Or a static binary?
2026-02-23 12:03:20 +0100 <haskellbridge> <ijouw> By script you mean a '#!/usr/bin/ghc' file or a simple cabal project?
2026-02-23 12:03:51 +0100 <kuribas> A cabal project, depending on other libraries.
2026-02-23 12:04:02 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 268 seconds)
2026-02-23 12:04:33 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 12:05:16 +0100 <haskellbridge> <ijouw> Never used docker with haskell before; it would need to install the compiler all the same.
2026-02-23 12:05:28 +0100 <__monty__> Depends what you mean by easy, Stack or Nix shebangs are an option. That would be easy for you mostly.
2026-02-23 12:05:53 +0100 <kuribas> Easy for the other devs. Maybe a dev container?
2026-02-23 12:06:02 +0100 <kuribas> Something that automatically installs all the dependencies.
2026-02-23 12:06:12 +0100 <haskellbridge> <ijouw> stack?
2026-02-23 12:07:26 +0100 <__monty__> A distro-specific package is the only thing I can come up with that ticks the easiest for them box but then it depends on how many distros you'd want to target.
2026-02-23 12:07:51 +0100 <__monty__> If you give me a docker for example, now I need to install and then figure out how to use podman.
2026-02-23 12:09:03 +0100 <kuribas> But docker is more common that ghc (cabal/stack/ghcup) installation.
2026-02-23 12:09:06 +0100 <tomsmeding> kuribas: you might look at https://cs-syd.eu/posts/2024-04-20-static-linking-haskell-nix or https://hasufell.github.io/posts/2024-04-21-static-linking.html
2026-02-23 12:09:29 +0100 <tomsmeding> I've tried the alpine approach once and it didn't work for me, but then perhaps I didn't try enough / failed somehow
2026-02-23 12:09:58 +0100 <tomsmeding> ah I may have tried something other than docker back then
2026-02-23 12:10:46 +0100SoF(~skius@user/skius) (Server closed connection)
2026-02-23 12:11:20 +0100SoF(~skius@user/skius) skius
2026-02-23 12:11:24 +0100 <__monty__> I'd personally prefer a flatpak to a docker container, especially for a tool rather than a service.
2026-02-23 12:11:27 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2026-02-23 12:11:52 +0100 <kuribas> Maybe I could try a dev container, where he can build and maybe develop on the app.
2026-02-23 12:11:52 +0100 <comerijn> kuribas: I'd say static binary
2026-02-23 12:12:14 +0100 <kuribas> comerijn: Doesn't that come with libc problems on linux?
2026-02-23 12:12:33 +0100 <comerijn> kuribas: Depends which libc you use
2026-02-23 12:12:59 +0100 <comerijn> The problem with libc is GNU libc intentionally breaking static linking
2026-02-23 12:13:07 +0100 <comerijn> There are other libc's that work just fine
2026-02-23 12:13:25 +0100 <__monty__> An archive with a dynamic executable and all the necessary libraries is another option.
2026-02-23 12:13:27 +0100 <comerijn> See musl, which is used by Alpine
2026-02-23 12:14:03 +0100 <comerijn> kuribas: Is this for other dev's in general or just for, for example, people within your organisation?
2026-02-23 12:14:26 +0100 <kuribas> No, just my organisation.
2026-02-23 12:14:49 +0100 <kuribas> If there is more interest, I'll probably need to port it to python or so...
2026-02-23 12:15:00 +0100fp(~Thunderbi@130.233.70.214) (Ping timeout: 256 seconds)
2026-02-23 12:16:11 +0100koz_(~koz@121.99.240.58)
2026-02-23 12:18:31 +0100koz(~koz@121.99.240.58) (Ping timeout: 255 seconds)
2026-02-23 12:18:40 +0100terrorjack(~terrorjac@2a01:4f8:271:2d98::2) terrorjack
2026-02-23 12:19:26 +0100[_________](~oos95GWG@user/oos95GWG) (Server closed connection)
2026-02-23 12:19:37 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2026-02-23 12:19:44 +0100[_________](~oos95GWG@user/oos95GWG) oos95GWG
2026-02-23 12:20:06 +0100edwtjo(~edwtjo@fsf/member/edwtjo) (Server closed connection)
2026-02-23 12:20:29 +0100edwtjo(~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se)
2026-02-23 12:20:29 +0100edwtjo(~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se) (Changing host)
2026-02-23 12:20:29 +0100edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2026-02-23 12:20:38 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 12:22:20 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) Milan_Vanca
2026-02-23 12:29:01 +0100fp(~Thunderbi@130.233.70.214) fp
2026-02-23 12:30:07 +0100 <Milan_Vanca> Hi guyz! How to solve "duplicate instance declarations"? Data.ByteString.Lazy.Char8 defines IsString ByteString instance. Which I don't like as it truncates. I want proper utf8 implementation so I implemented another instance like fromString = TextLazyEncoding.encodeUtf8 . TextLazy.pack My intent is to start using OverloadedStrings byt with my instance.
2026-02-23 12:33:23 +0100 <Leary> Milan_Vanca: Instances must be unique. Unless the other instance is an orphan you can avoid importing, all you can do is give your instance to a newtype over `ByteString`.
2026-02-23 12:33:41 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2026-02-23 12:41:57 +0100cawfee(root@2401:c080:3800:3460::babe) (Server closed connection)
2026-02-23 12:42:06 +0100energizer(~energizer@user/energizer) (Server closed connection)
2026-02-23 12:42:16 +0100cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2026-02-23 12:42:47 +0100energizer(~energizer@user/energizer) energizer
2026-02-23 12:43:34 +0100 <Milan_Vanca> 9u
2026-02-23 12:44:32 +0100 <Milan_Vanca> I will try to not import whole module but only needed parts, then as Instances are not imported it might work I guess?
2026-02-23 12:44:35 +0100 <Milan_Vanca> Ty Leary
2026-02-23 12:46:06 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) (Server closed connection)
2026-02-23 12:46:17 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2026-02-23 12:47:26 +0100xnyhps(~xnyhps@s.xnyhps.nl) (Server closed connection)
2026-02-23 12:47:40 +0100xnyhps(~xnyhps@s.xnyhps.nl)
2026-02-23 12:47:54 +0100 <Leary> No, instances have this funny property that they're automatically imported and re-exported by every module they touch. If the instance isn't an orphan you're cooked.
2026-02-23 12:49:35 +0100 <newmind> which kind of makes sense, the instances should be mostly canonical, with only one real implementation that's part of the type (or class), not something you get to choose
2026-02-23 12:49:55 +0100 <Milan_Vanca> Ok make sense.. I am going to check if that instance is an orphan.
2026-02-23 12:50:56 +0100 <Milan_Vanca> Well but I would argue that ByteString has incorrect implementation.
2026-02-23 12:52:46 +0100aku(aku@65.108.245.241) (Server closed connection)
2026-02-23 12:52:54 +0100aku(aku@65.108.245.241) eagleflo
2026-02-23 12:53:23 +0100 <int-e> Milan_Vanca: maybe you'd be happier with https://hackage.haskell.org/package/utf8-string-1.0.2/docs/Data-ByteString-UTF8.html then
2026-02-23 12:54:35 +0100 <int-e> Oh I guess not, since it's *not* a newtype wrapper.
2026-02-23 12:54:38 +0100 <int-e> Sorry.
2026-02-23 12:55:32 +0100 <int-e> The package does provide the right `fromString` at least. But the IsString instance doesn't use it. That is kind of sad.
2026-02-23 13:01:49 +0100fun-safe-math(~fun-safe-@97.115.234.213) ()
2026-02-23 13:03:52 +0100fun-safe-math(~fun-safe-@97.115.234.213) fun-safe-math
2026-02-23 13:06:03 +0100dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-02-23 13:07:50 +0100 <Milan_Vanca> Hmmm... looks like newtype is only option.
2026-02-23 13:08:04 +0100 <Square2> It can't be coincidence this course got number it got https://web.cs.dal.ca/~nzeh/Teaching/3137/haskell/
2026-02-23 13:08:19 +0100 <Square2> missing one 3, but good enough
2026-02-23 13:11:17 +0100lieven(~mal@ns2.wyrd.be) (Server closed connection)
2026-02-23 13:11:37 +0100mal1(~mal@ns2.wyrd.be) lieven
2026-02-23 13:12:06 +0100shawwwn(uid6132@id-6132.helmsley.irccloud.com) (Server closed connection)
2026-02-23 13:12:18 +0100shawwwn(uid6132@id-6132.helmsley.irccloud.com) shawwwn
2026-02-23 13:12:55 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2026-02-23 13:19:57 +0100oppili(~oppili@user/nerdypepper) (Server closed connection)
2026-02-23 13:20:13 +0100oppili(~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net)
2026-02-23 13:20:13 +0100oppili(~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) (Changing host)
2026-02-23 13:20:13 +0100oppili(~oppili@user/nerdypepper) nerdy
2026-02-23 13:20:18 +0100 <gentauro> How does `Stackage` get packages? Do they just replicate those from `Hackage`?
2026-02-23 13:24:57 +0100 <Milan_Vanca> gentauro: Isn't it just metadata? with some proxy to hackage?
2026-02-23 13:31:59 +0100 <gentauro> Milan_Vanca: could be :)
2026-02-23 13:32:16 +0100 <gentauro> or at least, that's what I'm hopping for :)
2026-02-23 13:32:30 +0100myxos(~myxos@174-18-58-141.tcso.qwest.net) (Remote host closed the connection)
2026-02-23 13:32:54 +0100myxos(~myxos@174-18-58-141.tcso.qwest.net) myxokephale
2026-02-23 13:36:25 +0100 <Milan_Vanca> gentauro: https://www.reddit.com/r/haskell/comments/5d27c2/whats_the_difference_between_stackage_and_hackage/
2026-02-23 13:37:35 +0100 <Milan_Vanca> One user comments that all packages are in hackage only. But who knows. You probably need to look at sources or intercept requests to see where they go.
2026-02-23 13:40:39 +0100 <kaol> It's funny to see that the next big thing in AI is apparently comonads.
2026-02-23 13:45:20 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-23 13:45:20 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-23 13:45:20 +0100haritz(~hrtz@user/haritz) haritz
2026-02-23 13:46:21 +0100 <int-e> or maybe it's just category theorists trying to attach themselves to an ongoing hype
2026-02-23 13:49:49 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-23 13:50:15 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-23 13:56:26 +0100erty(~user@user/aeroplane) (Ping timeout: 256 seconds)
2026-02-23 13:58:29 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-02-23 14:02:48 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-23 14:04:18 +0100 <kaol> I just asked Gemini to explain EBMs and after staring at some code I asked that isn't this a comonad and it spouted an instance for it then. I haven't tried any of it yet.
2026-02-23 14:05:31 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2026-02-23 14:05:38 +0100 <kaol> I hate it when the text generation box compliments me. "Absolutely brilliant leap to make" yeah right.
2026-02-23 14:06:57 +0100 <kuribas> I liked it much better when interactive with AI felt more like a conversation.
2026-02-23 14:07:52 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66)
2026-02-23 14:09:57 +0100dibblego(~dibblego@haskell/developer/dibblego) (Server closed connection)
2026-02-23 14:10:10 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2026-02-23 14:10:10 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2026-02-23 14:10:10 +0100dibblego(~dibblego@haskell/developer/dibblego) dibblego
2026-02-23 14:11:29 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-02-23 14:12:26 +0100 <int-e> . o O ( Not only is this a truly astonishing insight, it's also absolutely brilliant! )
2026-02-23 14:14:46 +0100mrvdb(~mrvdb@185.92.221.186) (Server closed connection)
2026-02-23 14:15:00 +0100mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb
2026-02-23 14:15:47 +0100merijn(~merijn@77.242.116.146) merijn
2026-02-23 14:19:42 +0100dyniec(~dyniec@dybiec.info)
2026-02-23 14:20:54 +0100califax_(~califax@user/califx) califx
2026-02-23 14:24:37 +0100GoldsteinQ(~goldstein@goldstein.lol) (Server closed connection)
2026-02-23 14:24:52 +0100GoldsteinQ(~goldstein@goldstein.lol)
2026-02-23 14:25:06 +0100califax(~califax@user/califx) (Ping timeout: 252 seconds)
2026-02-23 14:26:12 +0100califax_(~califax@user/califx) (Ping timeout: 252 seconds)
2026-02-23 14:26:58 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-23 14:27:02 +0100dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-02-23 14:28:21 +0100califax(~califax@user/califx) califx
2026-02-23 14:30:37 +0100dyniec(~dyniec@dybiec.info) dyniec
2026-02-23 14:38:37 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) (Server closed connection)
2026-02-23 14:38:52 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-02-23 14:42:20 +0100 <merijn> Milan_Vanca: What are you using the IsString for bytestring for anyway?
2026-02-23 14:49:55 +0100 <Milan_Vanca> merijn: If you look here https://www.stackage.org/package/wai it uses OverloadedStrings
2026-02-23 14:50:41 +0100 <merijn> I mean, that's just an example
2026-02-23 14:50:45 +0100 <merijn> You're not required to use that
2026-02-23 14:51:17 +0100DragonMaus(~DragonMau@user/dragonmaus) (Server closed connection)
2026-02-23 14:51:32 +0100DragonMaus(~DragonMau@user/dragonmaus) DragonMaus
2026-02-23 14:54:33 +0100 <Milan_Vanca> Yes I know, but isn't problem about Wai/Warp using ByteStrings? SO I have to provide ByteString. So Either I create my own function String -> ByteString, and use it everywhere. Or I use OverloadedStrings and use default implementation of IsString instance. (Which don't work for all UTF8 chars that could be specified in String)
2026-02-23 14:54:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-02-23 14:55:57 +0100 <Milan_Vanca> Question... even with using OverloadedStrings there are still String instances that are converted to ByteString in runtime right? Compiler is not smart enough to "bake" ByteStrings to executable right?
2026-02-23 14:56:45 +0100 <__monty__> Are there any that are converted at compile time?
2026-02-23 14:57:15 +0100raincomplex(~rain@user/raincomplex) (Read error: Connection reset by peer)
2026-02-23 14:58:36 +0100 <int-e> __monty__: kind of, because of https://github.com/haskell/bytestring/blob/master/Data/ByteString/Internal/Type.hs#L423-L426
2026-02-23 14:58:56 +0100 <int-e> (`unpackCstring#` is used by GHC to compile string literals)
2026-02-23 14:58:57 +0100 <Milan_Vanca> __monty__: It is something that could theoretically be done. But had I been developer of GHC I would not do it.
2026-02-23 14:59:10 +0100raincomplex(~rain@user/raincomplex) raincomplex
2026-02-23 14:59:35 +0100 <c_wraith> You can use Addr# literals with -XMagicHash, and then use them with unsafePackAddress
2026-02-23 14:59:50 +0100 <Milan_Vanca> If I were...
2026-02-23 14:59:57 +0100forell(~forell@user/forell) (Server closed connection)
2026-02-23 15:00:15 +0100forell(~forell@user/forell) forell
2026-02-23 15:00:19 +0100 <c_wraith> see https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Unsafe.html#v…
2026-02-23 15:01:03 +0100 <int-e> (And I believe `unpackCString` exists because the amount of code generated for large string literals would otherwise be quite substantial.)
2026-02-23 15:02:10 +0100 <c_wraith> I guess you could do some TH stuff to wrap unsafePackAddressLen at compile time, so it's O(1) at runtime
2026-02-23 15:04:04 +0100 <merijn> __monty__: Yes
2026-02-23 15:04:10 +0100 <merijn> Well, I guess not quite
2026-02-23 15:04:30 +0100 <merijn> There's an inline conversion from the dense binary String representation of GHC directly to ByteString
2026-02-23 15:04:46 +0100sm2n(ae95cb1267@user/sm2n) (Server closed connection)
2026-02-23 15:04:54 +0100sm2n(ae95cb1267@user/sm2n) sm2n
2026-02-23 15:04:58 +0100 <merijn> Also
2026-02-23 15:05:49 +0100 <merijn> I have a package that does the conversion at compile time for you
2026-02-23 15:06:19 +0100 <merijn> Although that still compiles a List[Word8] into your executable and I dunno how GHC bakes that :p
2026-02-23 15:06:49 +0100 <c_wraith> you could update your package to use BytesPrimL
2026-02-23 15:06:50 +0100tomsmedingsuspects a `[Word8]` is worse than a `String` literal because of GHC's UTF-8 packing
2026-02-23 15:07:10 +0100 <merijn> c_wraith: My code doesn't do anything directly
2026-02-23 15:07:24 +0100 <merijn> the ByteString thing is just an example usecase
2026-02-23 15:07:35 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66)
2026-02-23 15:07:39 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 15:07:45 +0100 <merijn> So using BytesPrimL is left as an exercise for the reader :p
2026-02-23 15:08:10 +0100 <tomsmeding> merijn: "that still compiles a List[Word8] into your executable" -- is that also the user and not your package, then?
2026-02-23 15:08:24 +0100 <tomsmeding> (I assume this is validated-literals?)
2026-02-23 15:08:25 +0100 <merijn> tomsmeding: That's just my ByteString example, yeah
2026-02-23 15:08:33 +0100 <merijn> tomsmeding: Yeah, I was thinking of this example: https://github.com/merijn/validated-literals/blob/master/examples/ByteString.hs
2026-02-23 15:09:24 +0100 <merijn> If you "simply" rewrite `liftResult` to use BytesPrimL, then it should "Just Work (TM)"
2026-02-23 15:10:19 +0100 <tomsmeding> merijn: suggestion: put that example (and perhaps others that you consider important) in the haddocks
2026-02-23 15:10:45 +0100 <tomsmeding> I do not typically go to the repository looking for an examples/ directory when looking at documentation
2026-02-23 15:10:57 +0100 <merijn> tomsmeding: It is :p
2026-02-23 15:11:03 +0100 <merijn> I thought?
2026-02-23 15:11:12 +0100 <tomsmeding> is it?
2026-02-23 15:11:25 +0100 <tomsmeding> there is "See the ByteString example module for an example." but it doesn't point to anything
2026-02-23 15:11:33 +0100 <merijn> ah, now, just the `Even` one
2026-02-23 15:12:09 +0100 <tomsmeding> also Even doesn't have the actual definition, does it?
2026-02-23 15:12:23 +0100 <tomsmeding> I'm not saying that you must or anything, but I think it would make the package more accessible if you wish
2026-02-23 15:12:39 +0100 <merijn> It's just been years since I actually looked at it :p
2026-02-23 15:12:50 +0100 <tomsmeding> (it's not like I practice what I preach all that well either)
2026-02-23 15:12:54 +0100 <merijn> tomsmeding: The problem is that I don't wanna maintain the example in two places (docs and examples) :p
2026-02-23 15:13:00 +0100 <tomsmeding> yes that's the downside
2026-02-23 15:13:14 +0100 <tomsmeding> have an extra build step that injects the example into haddocks!
2026-02-23 15:13:28 +0100 <merijn> That said, you should only really need `liftResult` if you have weird datatype like ByteString to begin with
2026-02-23 15:13:42 +0100 <merijn> Since everything with a native `Lift` instance will just work
2026-02-23 15:14:18 +0100 <merijn> oh, wait
2026-02-23 15:14:21 +0100 <merijn> Cool beans
2026-02-23 15:14:33 +0100 <merijn> ByteString now just has it's own Lift instance using BytesPrimL :p
2026-02-23 15:14:40 +0100 <tomsmeding> :D
2026-02-23 15:14:45 +0100 <merijn> So you can literally just not implement liftResult and it's instantly good
2026-02-23 15:15:23 +0100 <tomsmeding> at that point there's little to maintain in two places any more, right, and you can just put the simplified instance in the haddocks, right? :)
2026-02-23 15:15:31 +0100 <tomsmeding> (I'll stop now)
2026-02-23 15:15:38 +0100 <merijn> Milan_Vanca: Well, that you go. You can just use validated-literals and get whatever implementation you want, efficient embedding AND compile time validation
2026-02-23 15:15:53 +0100 <merijn> tomsmeding: Only if I bump the lower bound by a lot, though
2026-02-23 15:16:21 +0100 <tomsmeding> I don't think it's necessary for examples in the documentation prose to compile with old dependencies
2026-02-23 15:16:32 +0100 <tomsmeding> if you explicitly say that this example works well only for bytestring >= ...
2026-02-23 15:16:35 +0100 <merijn> Sure, but the examples are currently also my test :p
2026-02-23 15:17:12 +0100 <merijn> Bytestring shipping it's own Lift is a MAJOR buff to that library though
2026-02-23 15:18:24 +0100lortabac(~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer)
2026-02-23 15:18:31 +0100Franciman(~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer)
2026-02-23 15:20:03 +0100driib3180(~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
2026-02-23 15:20:49 +0100ec_(~ec@gateway/tor-sasl/ec) ec
2026-02-23 15:21:00 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-23 15:21:38 +0100Franciman(~Franciman@mx1.fracta.dev) Franciman
2026-02-23 15:25:58 +0100lortabac(~lortabac@mx1.fracta.dev) lortabac
2026-02-23 15:38:04 +0100 <Milan_Vanca> merijn: Interesting thanks :)
2026-02-23 15:40:26 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 15:40:48 +0100driib3180(~driib@vmi931078.contaboserver.net) driib
2026-02-23 15:40:54 +0100jle`(~jle`@2603:8001:3b00:11:e067:5c4c:c17c:7150) (Ping timeout: 260 seconds)
2026-02-23 15:41:37 +0100jle`(~jle`@2603:8001:3b00:11::1156) jle`
2026-02-23 15:43:45 +0100petrichor(~jez@user/petrichor) (Client Quit)
2026-02-23 15:46:05 +0100 <merijn> Milan_Vanca: So for recent enough ByteString (0.11.2.0) you don't have to implement liftResult (it has a default implementation using Lift), and you can just implement fromLiteralWithError or fromLiteral and it should just work
2026-02-23 15:47:26 +0100meinside(bnc4free@ip68.orange.bnc4free.com) (Server closed connection)
2026-02-23 15:47:37 +0100meinside(bnc4free@ip68.orange.bnc4free.com)
2026-02-23 15:52:06 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com) (Server closed connection)
2026-02-23 15:52:24 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com)
2026-02-23 15:53:26 +0100Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2026-02-23 15:55:15 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-23 15:57:23 +0100 <merijn> I'm not super actively maintaining that package. On the other hand it's so damn simple it hasn't needed any code changes since 2019, so you should be fine using it :p
2026-02-23 15:58:29 +0100 <merijn> And that was the first code change since, like, I first made it in 2015 :p
2026-02-23 16:01:00 +0100 <Milan_Vanca> Yeah interesting package.. Thank you again! :)
2026-02-23 16:03:15 +0100machined1od(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-23 16:04:22 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Read error: Connection reset by peer)
2026-02-23 16:06:19 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2026-02-23 16:07:17 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 16:08:06 +0100philopsos1(~caecilius@user/philopsos) (Ping timeout: 255 seconds)
2026-02-23 16:16:33 +0100mal1lieven
2026-02-23 16:16:37 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 16:18:19 +0100petrichor(~jez@user/petrichor) (Client Quit)
2026-02-23 16:19:17 +0100ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (Server closed connection)
2026-02-23 16:19:38 +0100ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2026-02-23 16:22:41 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-23 16:23:00 +0100califax(~califax@user/califx) califx
2026-02-23 16:24:32 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-23 16:24:57 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-23 16:27:06 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 16:31:45 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-23 16:31:56 +0100califax(~califax@user/califx) califx
2026-02-23 16:33:56 +0100cipherrot(~jez@user/petrichor) petrichor
2026-02-23 16:34:08 +0100petrichor(~jez@user/petrichor) (Ping timeout: 268 seconds)
2026-02-23 16:38:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2026-02-23 16:39:46 +0100qqq(~qqq@185.54.22.240) (Remote host closed the connection)
2026-02-23 16:49:57 +0100sondr3(sondr3@user/sondr3) (Server closed connection)
2026-02-23 16:50:07 +0100sondr3(sondr3@2a01:7e01::f03c:92ff:fe06:7664)
2026-02-23 16:54:29 +0100fp(~Thunderbi@130.233.70.214) (Ping timeout: 268 seconds)
2026-02-23 16:58:13 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63
2026-02-23 17:03:17 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection)
2026-02-23 17:04:05 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com) SrPx
2026-02-23 17:04:49 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2026-02-23 17:12:35 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66)
2026-02-23 17:12:46 +0100Ikosit(~Ikosit@user/ikosit) (Server closed connection)
2026-02-23 17:13:01 +0100Ikosit(~Ikosit@user/ikosit) Ikosit
2026-02-23 17:13:02 +0100haskell-noob(~haskell-n@50.35.80.129)
2026-02-23 17:15:27 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 268 seconds)
2026-02-23 17:21:14 +0100skum(~skum@user/skum) (Ping timeout: 268 seconds)
2026-02-23 17:21:43 +0100skum(~skum@user/skum) skum
2026-02-23 17:27:17 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-23 17:27:41 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-23 17:28:51 +0100tromp(~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-23 17:31:07 +0100skinkitten(~skinkitte@user/skinkitten) skinkitten
2026-02-23 17:38:43 +0100malte(~malte@mal.tc) (Ping timeout: 264 seconds)
2026-02-23 17:39:42 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-23 17:40:03 +0100malte(~malte@mal.tc) malte
2026-02-23 17:41:11 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 17:46:04 +0100werneta(~werneta@71.83.160.242) (Quit: Lost terminal)
2026-02-23 17:48:06 +0100earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection)
2026-02-23 17:48:24 +0100earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2026-02-23 17:48:36 +0100emaczen(~user@user/emaczen) emaczen
2026-02-23 17:48:46 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection)
2026-02-23 17:48:56 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla
2026-02-23 17:53:29 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 248 seconds)
2026-02-23 17:56:46 +0100Angelz(Angelz@user/angelz) (Server closed connection)
2026-02-23 17:57:03 +0100redshuffle(~quassel@45.43.70.75) (Remote host closed the connection)
2026-02-23 17:57:10 +0100redshuffle(~quassel@45.43.70.75)
2026-02-23 18:00:31 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2026-02-23 18:00:39 +0100cipherrot(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 18:01:16 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-23 18:02:15 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 18:05:20 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2026-02-23 18:08:51 +0100CalimeroTeknik(~calimero@ctkarch.org) (*.net *.split)
2026-02-23 18:08:51 +0100albet70(~xxx@172-233-90-118.ip.linodeusercontent.com) (*.net *.split)
2026-02-23 18:08:51 +0100op_4(~tslil@user/op-4/x-9116473) (*.net *.split)
2026-02-23 18:08:51 +0100nschoe(~nschoe@2a01:e0a:8e:a190:f950:5f48:5c60:fcdc) (*.net *.split)
2026-02-23 18:08:51 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (*.net *.split)
2026-02-23 18:08:51 +0100hadronized(~hadronize@2001:41d0:a:fe76::1) (*.net *.split)
2026-02-23 18:08:51 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (*.net *.split)
2026-02-23 18:08:51 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split)
2026-02-23 18:08:51 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split)
2026-02-23 18:08:51 +0100olivial(~benjaminl@user/benjaminl) (*.net *.split)
2026-02-23 18:08:51 +0100ouilemur(~jgmerritt@user/ouilemur) (*.net *.split)
2026-02-23 18:08:51 +0100ZLima12(~zlima12@user/meow/ZLima12) (*.net *.split)
2026-02-23 18:08:51 +0100inedia(~irc@2600:3c00:e000:287::1) (*.net *.split)
2026-02-23 18:08:51 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2026-02-23 18:08:51 +0100natechan(~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (*.net *.split)
2026-02-23 18:08:51 +0100tccq(~tccq@user/tccq) (*.net *.split)
2026-02-23 18:08:51 +0100rawles(sid630849@user/rawles) (*.net *.split)
2026-02-23 18:08:51 +0100alanz(sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
2026-02-23 18:08:51 +0100ggVGc(~ggVGc@a.lowtech.earth) (*.net *.split)
2026-02-23 18:08:51 +0100buhman(sid411355@user/buhman) (*.net *.split)
2026-02-23 18:08:51 +0100fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split)
2026-02-23 18:08:51 +0100xdej(~xdej@quatramaran.salle-s.org) (*.net *.split)
2026-02-23 18:08:51 +0100remedan(~remedan@78-80-95-79.customers.tmcz.cz) (*.net *.split)
2026-02-23 18:08:51 +0100rncwnd(~quassel@2a01:4f8:221:27c6::1) (*.net *.split)
2026-02-23 18:08:51 +0100danso(~danso@user/danso) (*.net *.split)
2026-02-23 18:08:51 +0100collide2954(~collide29@user/collide2954) (*.net *.split)
2026-02-23 18:08:51 +0100Digit(~user@user/digit) (*.net *.split)
2026-02-23 18:08:51 +0100ar3ph(~ar3ph@user/ar3ph) (*.net *.split)
2026-02-23 18:08:51 +0100lol_(~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) (*.net *.split)
2026-02-23 18:08:51 +0100janus(janus@user/janus) (*.net *.split)
2026-02-23 18:08:51 +0100degraafk(sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
2026-02-23 18:08:51 +0100m1dnight(~m1dnight@d8d861a17.access.telenet.be) (*.net *.split)
2026-02-23 18:08:52 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2026-02-23 18:08:52 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split)
2026-02-23 18:08:52 +0100mzg(mzg@abusers.hu) (*.net *.split)
2026-02-23 18:09:16 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 18:09:17 +0100raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2026-02-23 18:11:26 +0100cross(~cross@spitfire.i.gajendra.net) (Server closed connection)
2026-02-23 18:11:58 +0100cross(~cross@spitfire.i.gajendra.net) cross
2026-02-23 18:12:12 +0100b0o_(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2026-02-23 18:12:27 +0100m1dnight_(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2026-02-23 18:12:57 +0100CalimeroTeknik(~calimero@ctkarch.org)
2026-02-23 18:12:57 +0100albet70(~xxx@172-233-90-118.ip.linodeusercontent.com) albet70
2026-02-23 18:12:57 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2026-02-23 18:12:57 +0100nschoe(~nschoe@2a01:e0a:8e:a190:f950:5f48:5c60:fcdc) nschoe
2026-02-23 18:12:57 +0100hadronized(~hadronize@2001:41d0:a:fe76::1) phaazon
2026-02-23 18:12:57 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2026-02-23 18:12:57 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2026-02-23 18:12:57 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-02-23 18:12:57 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-02-23 18:12:57 +0100ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-02-23 18:12:57 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2026-02-23 18:12:57 +0100inedia(~irc@2600:3c00:e000:287::1) dove
2026-02-23 18:12:57 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2026-02-23 18:12:57 +0100natechan(~natechan@c-98-45-159-200.hsd1.ca.comcast.net)
2026-02-23 18:12:57 +0100tccq(~tccq@user/tccq) tccq
2026-02-23 18:12:57 +0100rawles(sid630849@user/rawles) rawles
2026-02-23 18:12:57 +0100alanz(sid110616@id-110616.uxbridge.irccloud.com) alanz
2026-02-23 18:12:57 +0100ggVGc(~ggVGc@a.lowtech.earth)
2026-02-23 18:12:57 +0100buhman(sid411355@user/buhman) buhman
2026-02-23 18:12:57 +0100fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) fernando-basso
2026-02-23 18:12:57 +0100xdej(~xdej@quatramaran.salle-s.org)
2026-02-23 18:12:57 +0100remedan(~remedan@78-80-95-79.customers.tmcz.cz) remedan
2026-02-23 18:12:57 +0100rncwnd(~quassel@2a01:4f8:221:27c6::1) rncwnd
2026-02-23 18:12:57 +0100danso(~danso@user/danso) danso
2026-02-23 18:12:57 +0100collide2954(~collide29@user/collide2954) collide2954
2026-02-23 18:12:57 +0100Digit(~user@user/digit) Digit
2026-02-23 18:12:57 +0100ar3ph(~ar3ph@user/ar3ph) ar3ph
2026-02-23 18:12:57 +0100lol_(~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076)
2026-02-23 18:12:57 +0100janus(janus@user/janus) janus
2026-02-23 18:12:57 +0100degraafk(sid71464@id-71464.lymington.irccloud.com) degraafk
2026-02-23 18:12:57 +0100m1dnight(~m1dnight@d8d861a17.access.telenet.be) m1dnight
2026-02-23 18:12:57 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2026-02-23 18:12:57 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply
2026-02-23 18:12:57 +0100mzg(mzg@abusers.hu)
2026-02-23 18:12:57 +0100zirconium.libera.chat+v lambdabot
2026-02-23 18:13:08 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 256 seconds)
2026-02-23 18:14:14 +0100m1dnight(~m1dnight@d8d861a17.access.telenet.be) (Max SendQ exceeded)
2026-02-23 18:14:14 +0100CalimeroTeknik(~calimero@ctkarch.org) (Max SendQ exceeded)
2026-02-23 18:14:14 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Max SendQ exceeded)
2026-02-23 18:14:15 +0100b0o_b0o
2026-02-23 18:14:16 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 256 seconds)
2026-02-23 18:15:04 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-02-23 18:15:20 +0100skinkitten(~skinkitte@user/skinkitten) (Quit: Client closed)
2026-02-23 18:16:01 +0100v0id_7(~v0id_7@user/v0id-7:62772) v0id_7
2026-02-23 18:16:29 +0100Angelz(Angelz@Angelz.oddprotocol.org)
2026-02-23 18:17:14 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed)
2026-02-23 18:17:43 +0100She(haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.)
2026-02-23 18:17:47 +0100She(haveident@libera/staff/she/her) She
2026-02-23 18:19:10 +0100ctk(~calimero@ctkarch.org)
2026-02-23 18:20:06 +0100eriedaberrie(eriedaberr@user/eriedaberrie) (Server closed connection)
2026-02-23 18:20:21 +0100eriedaberrie(~eriedaber@user/eriedaberrie) eriedaberrie
2026-02-23 18:20:37 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 18:24:19 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-02-23 18:24:41 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 18:28:45 +0100morj(~morj@user/morj) morj
2026-02-23 18:29:45 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-02-23 18:31:50 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-23 18:34:29 +0100oats(~oats@user/oats) (Ping timeout: 245 seconds)
2026-02-23 18:34:59 +0100infinity0(~infinity0@pwned.gg) infinity0
2026-02-23 18:35:14 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 256 seconds)
2026-02-23 18:35:26 +0100oats(~oats@user/oats) oats
2026-02-23 18:35:50 +0100nitrix_nitrix
2026-02-23 18:41:01 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-23 18:41:15 +0100califax(~califax@user/califx) califx
2026-02-23 18:50:04 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-02-23 18:51:40 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds)
2026-02-23 18:54:39 +0100jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-02-23 18:59:50 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2026-02-23 19:02:06 +0100xal(~xal@mx1.xal.systems) (Server closed connection)
2026-02-23 19:02:23 +0100xal(~xal@mx1.xal.systems) xal
2026-02-23 19:02:52 +0100Guest50(~Guest9@145-53-8-159.fixed.kpn.net)
2026-02-23 19:03:05 +0100Guest50(~Guest9@145-53-8-159.fixed.kpn.net) (Client Quit)
2026-02-23 19:05:23 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-23 19:08:06 +0100krjst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Server closed connection)
2026-02-23 19:08:31 +0100krjst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst
2026-02-23 19:09:57 +0100Ging(46fea76d80@2001:bc8:1210:2cd8::470) (Server closed connection)
2026-02-23 19:10:03 +0100Ging(46fea76d80@2001:bc8:1210:2cd8::470)
2026-02-23 19:11:00 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-23 19:11:44 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-23 19:12:46 +0100Vq(~vq@user/vq) (Server closed connection)
2026-02-23 19:13:01 +0100Vq(~vq@user/vq) Vq
2026-02-23 19:32:47 +0100tromp(~textual@2001:1c00:3487:1b00:6d50:4a35:bdc2:1144)
2026-02-23 19:33:24 +0100tromp(~textual@2001:1c00:3487:1b00:6d50:4a35:bdc2:1144) (Client Quit)
2026-02-23 19:35:49 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 19:36:06 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 19:40:12 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-02-23 19:48:03 +0100khuswant(~khuswant@115.244.141.202)
2026-02-23 19:48:46 +0100davl(~davl@207.154.228.18) (Server closed connection)
2026-02-23 19:49:06 +0100davl(~davl@207.154.228.18) davl
2026-02-23 19:50:16 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-23 19:57:09 +0100khuswant(~khuswant@115.244.141.202) (Quit: Client closed)
2026-02-23 19:57:49 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2026-02-23 19:58:05 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-23 20:02:33 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 20:06:26 +0100Arsen(arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.)
2026-02-23 20:10:04 +0100petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 20:11:57 +0100smiesner(b0cf5acf8c@user/smiesner) (Server closed connection)
2026-02-23 20:12:04 +0100smiesner(b0cf5acf8c@user/smiesner) smiesner
2026-02-23 20:21:46 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2026-02-23 20:24:19 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-23 20:24:36 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 20:26:08 +0100bggd_(~bgg@2a01:e0a:fd5:f510:ab8d:eb71:9d8d:8bea) (Remote host closed the connection)
2026-02-23 20:26:33 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-23 20:26:44 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-02-23 20:31:14 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-23 20:34:46 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Server closed connection)
2026-02-23 20:35:30 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) NiKaN
2026-02-23 20:35:51 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 20:46:16 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-23 20:47:26 +0100RMSBach(~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Server closed connection)
2026-02-23 20:47:35 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2026-02-23 20:47:36 +0100Lord_of_Life_Lord_of_Life
2026-02-23 20:47:45 +0100RMSBach(~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach
2026-02-23 20:48:46 +0100jinsun-(bnc4free@here.and.ready-to.party) (Server closed connection)
2026-02-23 20:48:56 +0100jinsun(bnc4free@here.and.ready-to.party)
2026-02-23 20:49:20 +0100jinsunGuest913
2026-02-23 20:49:57 +0100remexre(~remexre@user/remexre) (Server closed connection)
2026-02-23 20:50:05 +0100remexre(~remexre@user/remexre) remexre
2026-02-23 20:50:06 +0100andreas808(andreas303@is.drunk.and.ready-to.party) (Server closed connection)
2026-02-23 20:50:20 +0100andreas303(andreas303@is.drunk.and.ready-to.party) andreas303
2026-02-23 20:50:37 +0100attlin(~user@user/attlin) (Server closed connection)
2026-02-23 20:52:05 +0100GoldsteinQ(~goldstein@goldstein.lol) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 20:54:46 +0100attlin(~user@user/attlin) attlin
2026-02-23 20:55:05 +0100GoldsteinQ(~goldstein@goldstein.lol)
2026-02-23 20:58:41 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Ping timeout: 268 seconds)
2026-02-23 21:00:06 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-23 21:00:34 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-02-23 21:03:44 +0100Beowulf(florian@sleipnir.bandrate.org) (Quit: = "")
2026-02-23 21:04:39 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds)
2026-02-23 21:08:08 +0100 <EvanR> the extent to which as programmers we run into or invent situations where x==y implying f(x)==f(y) doesn't hold
2026-02-23 21:09:12 +0100 <haskellbridge> <loonycyborg> wouldn't that violate referential trasparency? :P
2026-02-23 21:09:18 +0100Beowulf(florian@sleipnir.bandrate.org)
2026-02-23 21:09:35 +0100 <EvanR> good question
2026-02-23 21:12:34 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-23 21:13:28 +0100 <EvanR> > let f x y = (x == y, isNegativeZero x == isNegativeZero y) in f 0.0 (-1e-400)
2026-02-23 21:13:29 +0100 <lambdabot> (True,False)
2026-02-23 21:14:28 +0100 <haskellbridge> <loonycyborg> ah yes == isn't the same as it being same object
2026-02-23 21:15:49 +0100 <haskellbridge> <loonycyborg> since we're free to implement == however we want, we can even violate basic properties of equality like reflexivity.
2026-02-23 21:15:49 +0100 <EvanR> while same object speaks to me as same StableName
2026-02-23 21:15:57 +0100poscat(~poscat@user/poscat) poscat
2026-02-23 21:15:57 +0100 <EvanR> which is something else again
2026-02-23 21:16:49 +0100tomsmeding. o O ( reallyUnsafePointerEquality )
2026-02-23 21:17:10 +0100poscat0x04(~poscat@user/poscat) (Ping timeout: 255 seconds)
2026-02-23 21:17:31 +0100 <EvanR> can we get a proper equal sign in here xD
2026-02-23 21:17:34 +0100stef204(~stef204@user/stef204) stef204
2026-02-23 21:17:46 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-23 21:17:50 +0100 <tomsmeding> choose your favourite https://tomsmeding.com/unicode#equal
2026-02-23 21:18:35 +0100 <EvanR> almost equal to is a perennial favorite
2026-02-23 21:18:41 +0100 <int-e> if you're undecided: ⪟
2026-02-23 21:18:48 +0100 <tomsmeding> lol
2026-02-23 21:19:10 +0100 <tomsmeding> ≊ ALMOST EQUAL OR EQUAL TO is also suspicious -- surely if it's equal, it's also almost equal?
2026-02-23 21:21:16 +0100 <EvanR> lol
2026-02-23 21:22:04 +0100 <EvanR> so there's an equivalent of equivalences
2026-02-23 21:22:39 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2026-02-23 21:23:44 +0100 <EvanR> loonycyborg, well the slightly deeper issue that satisfying basic properties of equality is in this case... that otherwise sensible definition of (testable in this case) equality isn't universally obeyed. I.e. someone somewhere can observe a distinction between equals
2026-02-23 21:23:49 +0100 <EvanR> than*
2026-02-23 21:24:38 +0100 <EvanR> so it's like conflating a quotient with a thing being quotiented
2026-02-23 21:25:16 +0100 <EvanR> anyway let us be ridiculed by math
2026-02-23 21:25:28 +0100mehbark(~mehbark@joey.luug.ece.vt.edu) (Changing host)
2026-02-23 21:25:28 +0100mehbark(~mehbark@user/mehbark) mehbark
2026-02-23 21:26:13 +0100 <tomsmeding> when I was studying maths, we continually had to prove stuff independent of the choice of representative, to make things work on equivalence classes
2026-02-23 21:26:55 +0100 <tomsmeding> an Eq instance defines / ought to define an equivalence relation, but functions are not necessarily representative-independent
2026-02-23 21:27:02 +0100 <tomsmeding> clearly isNegativeZero isn't
2026-02-23 21:28:02 +0100 <tomsmeding> I guess the conclusion is that we should prove more things
2026-02-23 21:28:03 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-02-23 21:28:22 +0100 <tomsmeding> I'll leave the proofs as an exercise to the reader though
2026-02-23 21:30:00 +0100 <haskellbridge> <loonycyborg> the number itself and its representation are distinct things
2026-02-23 21:30:46 +0100 <haskellbridge> <loonycyborg> positive and negative zero have different representations but represent same number
2026-02-23 21:31:08 +0100 <haskellbridge> <loonycyborg> at least as needed in practice
2026-02-23 21:31:26 +0100 <EvanR> in the case of float it's kind of murky, what's the number itself, what's the representation (relevant to this law, and are reals even supposed to be like standard reals). Which I guess is food for thought when thinking about any other situation we are implementing
2026-02-23 21:32:12 +0100 <haskellbridge> <loonycyborg> like if we add negative or positive zero to something then we'll get exactly the same number
2026-02-23 21:33:16 +0100 <EvanR> that behavior wouldn't be problematic for x==y => f(x)==f(y)
2026-02-23 21:33:37 +0100 <EvanR> it doesn't complain if everything ends up equal
2026-02-23 21:34:46 +0100 <EvanR> and weeds upon weeds, the inverse trig functions care about the negative zero I think
2026-02-23 21:35:28 +0100 <EvanR> > cot 0.0 (-1e-400) -- or even normal trig
2026-02-23 21:35:30 +0100 <lambdabot> Variable not in scope: cot :: t0 -> t1 -> t
2026-02-23 21:38:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 21:38:21 +0100 <EvanR> > (1 / tan 0.0, 1 / tan (-0.0))
2026-02-23 21:38:23 +0100 <lambdabot> (Infinity,-Infinity)
2026-02-23 21:39:44 +0100 <haskellbridge> <loonycyborg> ye but it's still infinity
2026-02-23 21:40:20 +0100 <haskellbridge> <ijouw> infinity == -infinity ?
2026-02-23 21:40:58 +0100 <haskellbridge> <loonycyborg> the answer is moo :P
2026-02-23 21:41:03 +0100 <humasect> ah well ... i would put infinity and zero in the same place. negative...
2026-02-23 21:41:17 +0100 <haskellbridge> <loonycyborg> in most cases infinity leads to exception
2026-02-23 21:41:31 +0100 <EvanR> infinite == -infinite ok but infinite == zero might require some more coffee
2026-02-23 21:41:35 +0100 <humasect> div by zero feels more like inifnity
2026-02-23 21:42:54 +0100machined1od(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds)
2026-02-23 21:43:31 +0100 <EvanR> also anybody get the feeling NaN comes up much more often than infinity for some reason
2026-02-23 21:43:41 +0100 <EvanR> so annoying
2026-02-23 21:44:46 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-23 21:44:52 +0100peutri(~peutri@bobo.desast.re) (Ping timeout: 246 seconds)
2026-02-23 21:45:08 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-23 21:45:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 21:45:53 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving)
2026-02-23 21:46:12 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 21:46:47 +0100peutri(~peutri@bobo.desast.re) peutri
2026-02-23 21:49:23 +0100 <haskellbridge> <ijouw> I don't remember where it comes up and a value is more reasonable
2026-02-23 21:49:23 +0100 <tomsmeding> infinity actually behaves kind of okay under certain floating point operations
2026-02-23 21:49:35 +0100 <haskellbridge> <ijouw> atan (1/0)
2026-02-23 21:49:43 +0100 <tomsmeding> > atan (1 / 0)
2026-02-23 21:49:44 +0100 <lambdabot> 1.5707963267948966
2026-02-23 21:50:07 +0100 <tomsmeding> > (1 / 0) * 2 > 3
2026-02-23 21:50:09 +0100 <lambdabot> True
2026-02-23 21:50:28 +0100 <EvanR> I approve
2026-02-23 21:50:32 +0100 <tomsmeding> NaN, however, breaks everything it touches; EvanR perhaps this influences what you observe
2026-02-23 21:51:02 +0100 <tomsmeding> > (1 / 0) + (-1 / 0)
2026-02-23 21:51:04 +0100 <lambdabot> NaN
2026-02-23 21:51:11 +0100 <EvanR> I have to preface everything I say about floats with "assuming no NaNs"
2026-02-23 21:51:31 +0100 <EvanR> another case of math beating us, by defining 1 to be not a prime
2026-02-23 21:51:32 +0100 <tomsmeding> "assuming these are all numbers"
2026-02-23 21:51:42 +0100 <humasect> > (1 / 0)
2026-02-23 21:51:44 +0100 <lambdabot> Infinity
2026-02-23 21:52:33 +0100 <EvanR> so you don't have to preface everything you say about primes with "assuming no 1s"
2026-02-23 21:52:49 +0100 <tomsmeding> there's plenty of math that assumes odd primes
2026-02-23 21:53:11 +0100 <EvanR> given an odd non-1 prime...
2026-02-23 21:53:18 +0100 <tomsmeding> which I always find a funny phrasing, almost certainly chosen because it's the shortest way to express the intended set
2026-02-23 21:53:23 +0100 <EvanR> oh wait
2026-02-23 21:53:35 +0100 <EvanR> I get you
2026-02-23 21:54:14 +0100 <tomsmeding> "an odd prime p" is not even really shorter than "a prime p ≥ 3"
2026-02-23 21:54:17 +0100 <[exa]> I once called these "degenerate" primes in front of both abstract&linear algebra folks at once
2026-02-23 21:54:26 +0100 <[exa]> man I got hated
2026-02-23 21:54:30 +0100 <tomsmeding> what, 1 and 2?
2026-02-23 21:54:41 +0100 <[exa]> yes
2026-02-23 21:54:44 +0100 <tomsmeding> nice!
2026-02-23 21:55:11 +0100 <tomsmeding> that's a good way to annoy mathematicians
2026-02-23 21:56:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 21:57:01 +0100 <EvanR> bottom, NaN, and prime 1 walk into a bar
2026-02-23 21:57:38 +0100 <tomsmeding> and the story yielded an infinite stream of indivisible batman?
2026-02-23 21:57:55 +0100 <newmind> EvanR: is the punchline segfault or illegal operation?
2026-02-23 21:57:58 +0100 <EvanR> ha
2026-02-23 21:58:56 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 21:59:12 +0100 <tomsmeding> (for the unenlightened: the "batman" is a reference to https://www.destroyallsoftware.com/talks/wat 3:24)
2026-02-23 21:59:28 +0100 <[exa]> I like how 3:24 looks like a bible reference
2026-02-23 21:59:43 +0100 <tomsmeding> the imagery in the video is appropriate
2026-02-23 22:00:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-23 22:02:38 +0100AlexZenon(~alzenon@178.34.151.130) (Ping timeout: 256 seconds)
2026-02-23 22:04:06 +0100constxd(~constxd@user/constxd) (Server closed connection)
2026-02-23 22:05:29 +0100 <EvanR> I was unenlightened but now I'm unenlightened minus that bit of enlightenment
2026-02-23 22:05:49 +0100 <EvanR> which might still be unenlightened dependent on precision
2026-02-23 22:05:57 +0100distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection)
2026-02-23 22:05:58 +0100constxd(~constxd@user/constxd) constxd
2026-02-23 22:06:12 +0100distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) distopico
2026-02-23 22:06:32 +0100AlexZenon(~alzenon@178.34.151.130)
2026-02-23 22:11:17 +0100petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 22:11:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:12:58 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-23 22:14:56 +0100sp1ff(~user@2601:1c2:4701:7850::8cd) sp1ff
2026-02-23 22:16:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-23 22:19:31 +0100target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds)
2026-02-23 22:21:10 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-23 22:21:57 +0100mmaruseacph2(~mihai@mihai.page) (Server closed connection)
2026-02-23 22:22:12 +0100mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2026-02-23 22:25:24 +0100 <tomsmeding> EvanR: how does it feel
2026-02-23 22:26:14 +0100tromp(~textual@2001:1c00:3487:1b00:1a7:fa86:12e2:7e3d)
2026-02-23 22:28:04 +0100 <EvanR> I was hoping he was going to show some haskell wats
2026-02-23 22:28:06 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2026-02-23 22:29:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:30:26 +0100morj(~morj@user/morj) (Quit: Konversation terminated!)
2026-02-23 22:31:44 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-23 22:32:23 +0100 <tomsmeding> nope, unfortunately
2026-02-23 22:34:03 +0100 <tomsmeding> % mempty
2026-02-23 22:34:03 +0100 <yahb2> ()
2026-02-23 22:34:08 +0100 <tomsmeding> does that count as one?
2026-02-23 22:34:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-23 22:36:13 +0100 <EvanR> > fold (Sum 1, Sum 2)
2026-02-23 22:36:15 +0100 <lambdabot> Sum {getSum = 2}
2026-02-23 22:36:20 +0100 <tomsmeding> better
2026-02-23 22:36:35 +0100 <EvanR> > sum (1,2)
2026-02-23 22:36:37 +0100 <lambdabot> 2
2026-02-23 22:37:42 +0100jmcantrell_jmcantrell
2026-02-23 22:38:25 +0100 <EvanR> or length of that is 1
2026-02-23 22:38:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2026-02-23 22:39:12 +0100 <tomsmeding> yeah Foldable (,) is good; I guess there is also the classic
2026-02-23 22:39:14 +0100 <tomsmeding> > fix error
2026-02-23 22:39:16 +0100 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex...
2026-02-23 22:41:31 +0100st_aldini(~Thunderbi@136.48.46.187) st_aldini
2026-02-23 22:43:01 +0100pavonia(~user@user/siracusa) siracusa
2026-02-23 22:43:33 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-23 22:44:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:45:34 +0100bggd_(~bgg@2a01:e0a:fd5:f510:ad7c:fa54:e40d:9544)
2026-02-23 22:47:57 +0100c_wraith(~c_wraith@adjoint.us) (Server closed connection)
2026-02-23 22:48:42 +0100c_wraith(~c_wraith@adjoint.us) c_wraith
2026-02-23 22:49:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 22:51:13 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-23 22:51:32 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-23 22:54:27 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds)
2026-02-23 22:54:56 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-02-23 22:56:10 +0100 <Leary> Suppose I have a package that fails to build with base 4.22 but succeeds with `--allow-newer=all:base`, i.e. only because its dependencies require revision to allow it. Should its bounds exclude 4.22?
2026-02-23 22:57:52 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-23 23:00:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 23:01:57 +0100 <Clint> what purpose would that serve?
2026-02-23 23:02:15 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
2026-02-23 23:05:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-23 23:05:34 +0100 <Leary> I don't know, accurately representing buildability? I'm leaning towards allowing 4.22, I'm just not sure I should.
2026-02-23 23:05:49 +0100 <int-e> Leary: It could build but still be broken. (Not very likely, but it would be a reason to exclude 4.22)
2026-02-23 23:06:36 +0100 <Clint> if the dependencies get fixed then you'd be excluding it for no reason
2026-02-23 23:06:59 +0100 <int-e> Oh I meant it could be broken specifically because of a change in base.
2026-02-23 23:07:44 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-23 23:12:21 +0100polykernel_(~polykerne@user/polykernel) polykernel
2026-02-23 23:15:05 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 248 seconds)
2026-02-23 23:15:06 +0100polykernel_polykernel
2026-02-23 23:15:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 23:16:11 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-23 23:16:48 +0100michalz(~michalz@185.246.207.215) (Remote host closed the connection)
2026-02-23 23:19:06 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-23 23:22:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 23:24:27 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 268 seconds)
2026-02-23 23:29:23 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 268 seconds)
2026-02-23 23:30:36 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2026-02-23 23:33:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 23:34:54 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2)
2026-02-23 23:35:26 +0100s4msung(koCZlVvn6A@user/s4msung) (Server closed connection)
2026-02-23 23:35:29 +0100 <tomsmeding> Leary: tentative opinion that you can include 4.22
2026-02-23 23:35:49 +0100s4msung(QGVxIqNFjX@user/s4msung) s4msung
2026-02-23 23:36:20 +0100 <tomsmeding> the only argument against that I can see is that it's potentially confusing for a user: the package supports 4.22 but can't actually be built with it
2026-02-23 23:36:35 +0100 <geekosaur> if you have tested it and it works with 4.22, I'd allow it; dependencies are their problem (but as a courtesy I generally file issues against them requesting bounds updates)
2026-02-23 23:38:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-23 23:39:36 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2026-02-23 23:40:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-23 23:43:57 +0100jtnuttall(~jeremy@user/jeremyn) (Ping timeout: 255 seconds)
2026-02-23 23:48:25 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2026-02-23 23:48:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 23:50:03 +0100jtnuttall(~jeremy@user/jeremyn) jeremyn
2026-02-23 23:53:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)