2025/05/13

2025-05-13 00:02:29 +0200acidjnk(~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-13 00:04:06 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 244 seconds)
2025-05-13 00:04:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 00:06:54 +0200foul_owl(~kerry@94.156.149.92) (Ping timeout: 260 seconds)
2025-05-13 00:09:15 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-13 00:10:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-13 00:12:26 +0200sprotte24(~sprotte24@p200300d16f0e680010976ce20a20e5ec.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-13 00:13:23 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 00:13:37 +0200acidjnk(~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) acidjnk
2025-05-13 00:15:19 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-13 00:17:50 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
2025-05-13 00:21:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 00:23:58 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-13 00:27:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 00:31:37 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-13 00:35:46 +0200 <EvanR> do unix signals have anything to do with async exceptions (by default)
2025-05-13 00:39:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 00:41:32 +0200foul_owl(~kerry@94.156.149.92) foul_owl
2025-05-13 00:41:53 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-13 00:42:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-05-13 00:43:14 +0200Lord_of_Life_Lord_of_Life
2025-05-13 00:44:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 00:48:17 +0200foul_owl(~kerry@94.156.149.92) (Ping timeout: 265 seconds)
2025-05-13 00:55:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 00:58:10 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-05-13 01:00:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-13 01:00:41 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
2025-05-13 01:02:07 +0200foul_owl(~kerry@94.156.149.92) foul_owl
2025-05-13 01:03:09 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 01:07:34 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
2025-05-13 01:10:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-13 01:10:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 01:11:58 +0200acidjnk(~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-05-13 01:12:29 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-13 01:13:30 +0200weary-traveler(~user@user/user363627) user363627
2025-05-13 01:16:10 +0200jespada(~jespada@r179-25-209-21.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-13 01:20:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 01:31:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 01:32:38 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-13 01:33:13 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 01:36:02 +0200 <monochrom> By default, only SIGINT is translated by GHC RTS to UserInterrupt :: AsyncException.
2025-05-13 01:36:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 01:38:40 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-13 01:41:00 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-13 01:42:49 +0200 <EvanR> cool
2025-05-13 01:46:31 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-13 01:46:42 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-13 01:47:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 01:48:16 +0200notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2025-05-13 01:52:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-13 01:52:43 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 01:53:00 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-13 01:54:02 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-13 01:55:11 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-13 01:57:17 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-05-13 01:57:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-13 01:57:53 +0200ljdarj1ljdarj
2025-05-13 02:02:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 02:07:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 02:09:31 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-13 02:09:53 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 02:15:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-13 02:15:42 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 02:17:06 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2025-05-13 02:18:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 02:18:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 02:20:17 +0200fantom(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-05-13 02:20:26 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 272 seconds)
2025-05-13 02:23:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 02:30:47 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-05-13 02:34:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 02:34:20 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 02:38:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 02:42:09 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 02:43:32 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-13 02:49:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 02:52:54 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-05-13 02:54:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 02:59:20 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-13 03:05:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 03:06:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-13 03:08:19 +0200xff0x(~xff0x@ai099192.d.east.v6connect.net) (Ping timeout: 276 seconds)
2025-05-13 03:12:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 03:23:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 03:25:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-13 03:28:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 03:33:37 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-05-13 03:39:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 03:40:54 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 03:44:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 03:50:59 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-13 03:51:53 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 03:55:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 03:55:32 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-13 03:56:47 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-13 04:00:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 04:00:21 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-13 04:05:51 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-13 04:08:09 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 04:10:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 04:15:28 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-13 04:16:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-13 04:18:28 +0200td_(~td@i53870921.versanet.de) (Ping timeout: 252 seconds)
2025-05-13 04:20:22 +0200td_(~td@i53870919.versanet.de)
2025-05-13 04:24:07 +0200jathan(~jathan@69.61.93.38) jathan
2025-05-13 04:26:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 04:30:30 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-05-13 04:31:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 04:32:56 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2025-05-13 04:36:43 +0200jathan(~jathan@69.61.93.38) jathan
2025-05-13 04:42:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 04:49:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 04:58:13 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-13 05:00:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 05:02:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-13 05:05:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-13 05:16:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 05:18:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-13 05:19:03 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-13 05:19:36 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-13 05:21:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-13 05:32:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 05:36:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 05:40:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-13 05:46:33 +0200michalz(~michalz@185.246.207.201)
2025-05-13 05:47:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 05:52:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-13 06:03:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 06:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 06:10:14 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 268 seconds)
2025-05-13 06:11:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 06:16:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 06:19:47 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 06:20:20 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-13 06:23:43 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-13 06:24:25 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-13 06:27:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 06:30:18 +0200JuanDaughertyColinRobinson
2025-05-13 06:34:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-13 06:45:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 06:51:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-13 06:54:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-13 06:55:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-05-13 06:56:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 06:56:51 +0200tavare(~tavare@150.129.88.189) tavare
2025-05-13 06:56:51 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-13 06:56:51 +0200tavare(~tavare@user/tavare) tavare
2025-05-13 07:01:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 07:03:50 +0200dmoerner(~dmoerner@fedora/dmoerner) (Ping timeout: 265 seconds)
2025-05-13 07:04:22 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-05-13 07:06:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 07:08:37 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-13 07:09:42 +0200dmoerner(~dmoerner@fedora/dmoerner) dmoerner
2025-05-13 07:12:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 07:14:18 +0200dmoerner-(~dmoerner@fedora/dmoerner) dmoerner
2025-05-13 07:14:42 +0200ell4(~ellie@user/ellie) ellie
2025-05-13 07:15:49 +0200dmoerner(~dmoerner@fedora/dmoerner) (Ping timeout: 245 seconds)
2025-05-13 07:15:49 +0200dmoerner-dmoerner
2025-05-13 07:17:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 07:18:00 +0200ell(~ellie@user/ellie) (Ping timeout: 276 seconds)
2025-05-13 07:18:00 +0200ell4ell
2025-05-13 07:19:43 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-13 07:28:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 07:31:18 +0200notzmv(~daniel@user/notzmv) (Read error: Connection reset by peer)
2025-05-13 07:33:05 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-05-13 07:33:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 07:34:01 +0200euleritian(~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de)
2025-05-13 07:39:43 +0200euleritian(~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-13 07:40:00 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 07:41:39 +0200fantom(~fantom@33be818f.skybroadband.com)
2025-05-13 07:44:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 07:49:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-13 07:52:25 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-13 07:55:48 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 07:59:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 08:05:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-13 08:07:16 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-05-13 08:08:49 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-05-13 08:09:21 +0200euleritian(~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de)
2025-05-13 08:13:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 08:14:31 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-05-13 08:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-13 08:27:24 +0200acidjnk(~acidjnk@p54ad5829.dip0.t-ipconnect.de) acidjnk
2025-05-13 08:31:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 08:32:43 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-13 08:32:49 +0200euleritian(~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-13 08:33:17 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 08:35:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-13 08:38:05 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-13 08:38:24 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 08:38:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo)
2025-05-13 08:39:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 08:40:01 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-05-13 08:46:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 08:47:54 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-13 08:51:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-13 08:51:40 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-05-13 08:52:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-13 08:57:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo)
2025-05-13 08:58:19 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-05-13 09:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-13 09:00:21 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 09:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-05-13 09:01:40 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 09:02:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 09:02:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 09:03:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-13 09:03:46 +0200prdak(~Thunderbi@user/prdak) (Client Quit)
2025-05-13 09:04:06 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-13 09:05:08 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-13 09:05:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 09:05:24 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-13 09:07:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-13 09:08:35 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-05-13 09:10:24 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-05-13 09:11:47 +0200chele(~chele@user/chele) chele
2025-05-13 09:12:48 +0200prdak1(~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
2025-05-13 09:14:18 +0200Square(~Square4@user/square) Square
2025-05-13 09:20:56 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 09:21:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo)
2025-05-13 09:26:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 09:34:15 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-13 09:37:06 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-13 09:38:30 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 265 seconds)
2025-05-13 09:39:37 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-05-13 09:48:20 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 09:50:18 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-13 10:01:10 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-13 10:01:58 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-13 10:03:21 +0200__monty__(~toonn@user/toonn) toonn
2025-05-13 10:08:05 +0200e-snail(~pete@user/e-snail) (Ping timeout: 244 seconds)
2025-05-13 10:08:18 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 10:12:33 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 248 seconds)
2025-05-13 10:13:46 +0200end(~end@user/end/x-0094621) (Ping timeout: 244 seconds)
2025-05-13 10:15:03 +0200sus0(zero@user/zeromomentum) (Ping timeout: 268 seconds)
2025-05-13 10:29:22 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-13 10:34:19 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-05-13 10:41:22 +0200end(~end@user/end/x-0094621) end^
2025-05-13 10:42:06 +0200cstml(~Thunderbi@user/cstml) cstml
2025-05-13 10:50:12 +0200 <[exa]> EvanR, c_wraith: just for the imgui+gloss integration yesterday.. turns out it works. Apparently gloss has a separate "render this picture here" function, and you can just plug it in the imgui demo. Even passing the events kinda works.
2025-05-13 10:56:12 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 10:57:12 +0200cstml(~Thunderbi@user/cstml) (Quit: cstml)
2025-05-13 11:02:10 +0200sus0(zero@user/zeromomentum) zeromomentum
2025-05-13 11:02:16 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-13 11:06:33 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Read error: Connection reset by peer)
2025-05-13 11:06:39 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-13 11:10:10 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-05-13 11:13:52 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds)
2025-05-13 11:15:19 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) ubert
2025-05-13 11:25:02 +0200cyphase(~cyphase@user/cyphase) (Quit: cyphase.com)
2025-05-13 11:28:39 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp
2025-05-13 11:32:40 +0200cyphase(~cyphase@user/cyphase) cyphase
2025-05-13 11:37:27 +0200Guest22(~Guest22@c-24-218-7-58.hsd1.ct.comcast.net)
2025-05-13 11:42:35 +0200Guest22(~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) (Quit: Client closed)
2025-05-13 11:45:10 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-13 11:46:38 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-13 11:51:24 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-13 11:53:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-13 12:18:29 +0200 <yin> https://paste.jrvieira.com/1747131475164 why is liftA2 qualified like this?
2025-05-13 12:18:47 +0200 <yin> oops wrong paste
2025-05-13 12:19:12 +0200 <yin> https://paste.jrvieira.com/1747131542069
2025-05-13 12:21:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-13 12:22:42 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Remote host closed the connection)
2025-05-13 12:23:25 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-05-13 12:23:53 +0200 <Leary> yin: Because it isn't in scope.
2025-05-13 12:28:30 +0200talisman`(~user@2601:644:937c:ed10::ae5)
2025-05-13 12:29:44 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 12:30:59 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Ping timeout: 272 seconds)
2025-05-13 12:42:53 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection)
2025-05-13 12:46:28 +0200 <tomsmeding> yin: import Control.Applicative, and it won't be qualified any more
2025-05-13 12:47:25 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 12:47:44 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-05-13 12:51:58 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection)
2025-05-13 13:00:05 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-13 13:02:02 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 13:02:20 +0200caconym7(~caconym@user/caconym) caconym
2025-05-13 13:10:11 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds)
2025-05-13 13:12:01 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 13:19:13 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-13 13:22:19 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 13:23:57 +0200xff0x(~xff0x@2405:6580:b080:900:fab1:2ba7:ff3c:d0fc)
2025-05-13 13:25:54 +0200 <yin> this is so confusing
2025-05-13 13:26:23 +0200 <yin> why is it GHC.Base.liftA2 and not Control.Applicative.liftA2 then?
2025-05-13 13:27:56 +0200 <tomsmeding> yin: because the Applicative class, including its liftA2 member, is defined in GHC.Base and only re-exported from Control.Applicative
2025-05-13 13:28:05 +0200 <tomsmeding> the class and its members _except_ liftA2 are additionally re-exported from Prelude
2025-05-13 13:28:50 +0200 <tomsmeding> the fact that Applicative is not defined in Control.Applicative but in GHC.Base, however, is an implementation detail that you should generally not need to rely on
2025-05-13 13:29:13 +0200 <tomsmeding> but ghci cares not, it just shows the facts as they are
2025-05-13 13:29:45 +0200 <yin> is liftA2 defined at the top level in GHC.Base?
2025-05-13 13:30:09 +0200 <tomsmeding> no, as part of the Applicative class
2025-05-13 13:30:44 +0200 <yin> why is it not re-exported then?
2025-05-13 13:31:02 +0200 <yin> <*> is defined in terms of it, isn't it?
2025-05-13 13:32:28 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-13 13:41:33 +0200 <tomsmeding> yin: why as in socially why, or as in technically how is it possible?
2025-05-13 13:43:15 +0200 <tomsmeding> because the former is most likely "backwards compatibility, liftA2 was not in the class originally"
2025-05-13 13:46:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 13:47:15 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-13 13:48:00 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 13:48:03 +0200 <yin> i see
2025-05-13 13:48:23 +0200 <yin> shame. liftA2 is one of my favourite combinators
2025-05-13 13:55:05 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 13:57:44 +0200 <tomsmeding> `import Control.Applicative` :p
2025-05-13 13:58:23 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-13 14:00:14 +0200 <Leary> That or replace your crusty old GHC with something >=9.6.
2025-05-13 14:03:57 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-13 14:07:47 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-13 14:09:30 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-13 14:10:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-13 14:10:49 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-05-13 14:13:24 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-05-13 14:14:39 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-05-13 14:16:16 +0200 <tomsmeding> heh
2025-05-13 14:18:48 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 14:45:50 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 244 seconds)
2025-05-13 14:48:04 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-05-13 14:57:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-13 15:16:57 +0200weary-traveler(~user@user/user363627) user363627
2025-05-13 15:18:34 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-13 15:29:34 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-05-13 15:32:38 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 15:35:47 +0200fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-13 15:36:49 +0200cb74(~cb74@185.107.56.164)
2025-05-13 15:37:48 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-05-13 15:37:49 +0200fp1fp
2025-05-13 15:42:47 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-05-13 15:44:56 +0200Digit(~user@user/digit) Digit
2025-05-13 15:45:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-13 15:46:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-13 15:46:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 15:50:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 15:51:13 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-13 15:57:09 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-13 15:57:27 +0200cb74(~cb74@185.107.56.164) (Remote host closed the connection)
2025-05-13 15:59:52 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 16:06:37 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2025-05-13 16:10:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-05-13 16:10:30 +0200euleritian(~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de)
2025-05-13 16:14:54 +0200gehmehgehgmg
2025-05-13 16:25:22 +0200euleritian(~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-13 16:25:40 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 16:32:20 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-13 16:43:41 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 16:54:41 +0200acidjnk(~acidjnk@p54ad5829.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-13 16:55:40 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-05-13 17:00:24 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 17:02:40 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2025-05-13 17:09:28 +0200euleritian(~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de)
2025-05-13 17:14:38 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 17:18:38 +0200 <yin> not wrong
2025-05-13 17:21:40 +0200 <[exa]> speaking of new ghc versions
2025-05-13 17:23:02 +0200 <[exa]> is that annoying warning on `head` and `tail` that's making the poor newbie students shudder in terror going away soon?
2025-05-13 17:31:41 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds)
2025-05-13 17:32:33 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-05-13 17:33:03 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-13 17:33:15 +0200 <merijn> [exa]: Which one?
2025-05-13 17:34:28 +0200 <[exa]> anytime we use `head` in courses it screams like "hey head is partial this is gonna crash" etc. Which is ofc useful but for people who are already struggling enough to even parse the output it's a little unconstructive
2025-05-13 17:34:53 +0200 <merijn> [exa]: Are you sure that's on by default and not in some warning flag you enabled?
2025-05-13 17:35:52 +0200 <merijn> [exa]: Considering the docs say it's only in since 9.8, probably not :p
2025-05-13 17:35:56 +0200 <[exa]> it looks like default in 9.8 or 9.10 (can't see which one we're using)
2025-05-13 17:36:18 +0200 <[exa]> but well nevermind I'm nerdraging over this here
2025-05-13 17:36:35 +0200 <[exa]> ghhrrr, so correct!! but!!! so annoying!!111 aghgggg!
2025-05-13 17:36:43 +0200 <merijn> [exa]: The docs link to the proposal which explains how to disable it, so...
2025-05-13 17:37:20 +0200 <[exa]> maybe I'll just tell the students to go with the recommended version from ghcup, looks like it's 9.6
2025-05-13 17:37:40 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada
2025-05-13 17:39:11 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-13 17:39:21 +0200 <monochrom> I don't teach head or tail, so I don't have that problem. >:)
2025-05-13 17:39:56 +0200 <monochrom> But OK one day some other do-gooder warning is going to bite me.
2025-05-13 17:42:00 +0200 <monochrom> The school lab here is still at 9.4.8 and I am too lazy to ask the sysadmin to upgrade. >:)
2025-05-13 17:42:51 +0200 <[exa]> what annoys me is that I see no such warning on `read` et al
2025-05-13 17:43:09 +0200 <[exa]> well nvm, </nerdrage>
2025-05-13 17:45:53 +0200 <[exa]> hm, is there any tooling to manage structured StateVar's ? (from here: https://hackage.haskell.org/package/StateVar-1.2.2/docs/Data-StateVar.html )
2025-05-13 17:46:35 +0200 <monochrom> Oh yeah the really annoying thing about those do-gooder warnings is that they are so bloody inconsistent.
2025-05-13 17:47:09 +0200 <monochrom> Suppose you have "data U = U". So it's isomorphic to (), right?
2025-05-13 17:47:59 +0200 <monochrom> Suppose you have foo :: IO () and bar :: IO U. -Wall warns about "do bar; ..." but not "do foo; ...".
2025-05-13 17:51:10 +0200 <monochrom> I think the standard answer is lens? :)
2025-05-13 17:52:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-13 17:53:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 17:55:26 +0200 <[exa]> monochrom: for StateVar? yeah looks like that
2025-05-13 17:56:31 +0200 <[exa]> let's make a bit of glue that connects this together
2025-05-13 17:57:36 +0200 <[exa]> btw it's for this thing: https://hackage.haskell.org/package/dear-imgui-2.3.1/docs/DearImGui.html#v:sliderInt
2025-05-13 17:58:05 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-13 17:58:05 +0200 <[exa]> you do `sliderInt "value" someRefToInt 0 100` and it updates the ref
2025-05-13 17:59:07 +0200 <[exa]> I'd love to have State-ish lenses for that, as in `sliderInt "position" x 0 100` where x points into some `Position{_x::Int, ...}` or so
2025-05-13 18:00:25 +0200 <[exa]> unfortunately the setters&getters can't be "any" monad, they only get MonadIO
2025-05-13 18:00:52 +0200[exa]dives into the glue
2025-05-13 18:07:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-05-13 18:08:35 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-05-13 18:16:13 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 18:18:34 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-05-13 18:21:28 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-05-13 18:26:09 +0200euleritian(~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-05-13 18:29:02 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 244 seconds)
2025-05-13 18:32:13 +0200euleritian(~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de)
2025-05-13 18:33:39 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert)
2025-05-13 18:36:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-13 18:40:13 +0200 <EvanR> head and tail are advanced pro tools only for the leet
2025-05-13 18:40:33 +0200 <EvanR> is what the warning should say
2025-05-13 18:44:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-13 18:54:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-13 18:54:22 +0200euleritian(~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-05-13 18:55:08 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 18:56:28 +0200 <yin> shouldn't students learn `listToMaybe` and `drop 1` instead?
2025-05-13 18:57:23 +0200 <EvanR> those may both be incorrect in some cases
2025-05-13 18:57:49 +0200 <yin> no. head and tail are incorrect in some cases
2025-05-13 18:57:57 +0200 <EvanR> oh obviously
2025-05-13 18:58:03 +0200 <EvanR> but I disagree with "no"
2025-05-13 18:58:26 +0200 <EvanR> being partial doesn't make the always incorrect though
2025-05-13 18:59:00 +0200Square2(~Square@user/square) Square
2025-05-13 18:59:05 +0200 <yin> yeah i see what you mean. but i'm a big treating students as intelligent beings
2025-05-13 19:02:03 +0200 <EvanR> listToMaybe drop 1 head tail and since there are other "usual suspects" mentioned in this context, there ought to be a blog post collecting them all and sending them on a big budget battle against thanos or something
2025-05-13 19:03:04 +0200 <EvanR> more or less powerful and uniquely flawed in their own way, leading to quirky dialog
2025-05-13 19:03:11 +0200Square(~Square4@user/square) (Ping timeout: 276 seconds)
2025-05-13 19:06:07 +0200 <yin> i'm playing with `ghci -XNoImplicitPrelude -ignore-dot-ghci` for "clean slate haskell". is there anyway to shave some more off it or is this it?
2025-05-13 19:08:09 +0200 <yin> can i get rid of GHC.Base?
2025-05-13 19:08:33 +0200 <yin> :P
2025-05-13 19:08:44 +0200 <monochrom> Everything is incorrect in some cases.
2025-05-13 19:09:19 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-13 19:11:01 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-13 19:13:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 19:13:47 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds)
2025-05-13 19:14:52 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 19:15:55 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada
2025-05-13 19:18:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-13 19:23:02 +0200 <EvanR> is that one of your tautologies?
2025-05-13 19:26:02 +0200 <monochrom> Heh. I came up with it just now. I'm too lazy to add it to my page.
2025-05-13 19:28:23 +0200 <monochrom> More seriously, I don't scaremonger against partial functions. The reason I deemphasize head-tail is that I scaremonger against XY problems instead. "if null xs then ... else ... head ... tail ..." is an XY problem, should just use pattern matching.
2025-05-13 19:29:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 19:29:15 +0200 <tomsmeding> yin: how do you get GHC.Base in that?
2025-05-13 19:34:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-13 19:44:30 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-13 19:44:55 +0200xeno11(~xeno11@c-69-140-170-168.hsd1.de.comcast.net)
2025-05-13 19:44:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-13 19:46:55 +0200 <yin> I'm assuming i'm getting things like Num from GHC.Base
2025-05-13 19:49:00 +0200acidjnk(~acidjnk@p200300d6e71c4f1918462650bcfe20e4.dip0.t-ipconnect.de) acidjnk
2025-05-13 19:51:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-13 19:54:36 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-05-13 19:56:35 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada
2025-05-13 19:56:41 +0200 <EvanR> it seems that the SECD machine supports recursion with an instruction which destructively updates an environment record, so a letrec could be compiled into a thing that closes over an environment containing a placeholder, then when thing is located somewhere the location is burned into the placeholder place with setcar! or something
2025-05-13 19:57:50 +0200 <EvanR> I guess that's why the theoretical stuff on SECD machine I've seen ignores that instruction entirely