2025-05-13 00:02:29 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-05-13 00:04:06 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 244 seconds) |
2025-05-13 00:04:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 00:06:54 +0200 | foul_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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-13 00:12:26 +0200 | sprotte24 | (~sprotte24@p200300d16f0e680010976ce20a20e5ec.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-05-13 00:13:23 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 00:13:37 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) acidjnk |
2025-05-13 00:15:19 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-05-13 00:17:50 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-05-13 00:21:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 00:23:58 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-05-13 00:27:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 00:31:37 +0200 | machinedgod | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 00:41:32 +0200 | foul_owl | (~kerry@94.156.149.92) foul_owl |
2025-05-13 00:41:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-13 00:42:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-05-13 00:43:14 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-05-13 00:44:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 00:48:17 +0200 | foul_owl | (~kerry@94.156.149.92) (Ping timeout: 265 seconds) |
2025-05-13 00:55:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 00:58:10 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
2025-05-13 01:00:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-13 01:00:41 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-05-13 01:02:07 +0200 | foul_owl | (~kerry@94.156.149.92) foul_owl |
2025-05-13 01:03:09 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 01:07:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-05-13 01:10:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-13 01:10:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 01:11:58 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-05-13 01:12:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-05-13 01:13:30 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-13 01:16:10 +0200 | jespada | (~jespada@r179-25-209-21.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-05-13 01:20:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 01:31:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 01:32:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-05-13 01:33:13 +0200 | Frostillicus | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 01:38:40 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
2025-05-13 01:41:00 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-05-13 01:42:49 +0200 | <EvanR> | cool |
2025-05-13 01:46:31 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-13 01:46:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-13 01:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 01:48:16 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
2025-05-13 01:52:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-13 01:52:43 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 01:53:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-05-13 01:54:02 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-13 01:55:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-13 01:57:17 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-05-13 01:57:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-05-13 01:57:53 +0200 | ljdarj1 | ljdarj |
2025-05-13 02:02:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 02:07:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 02:09:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-13 02:09:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 02:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-13 02:15:42 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 02:17:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
2025-05-13 02:18:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 02:18:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 02:20:17 +0200 | fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
2025-05-13 02:20:26 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
2025-05-13 02:23:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 02:30:47 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-05-13 02:34:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 02:34:20 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 02:38:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 02:42:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 02:43:32 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
2025-05-13 02:49:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 02:52:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
2025-05-13 02:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 02:59:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-05-13 03:05:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 03:06:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-05-13 03:08:19 +0200 | xff0x | (~xff0x@ai099192.d.east.v6connect.net) (Ping timeout: 276 seconds) |
2025-05-13 03:12:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 03:23:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 03:25:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-05-13 03:28:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 03:33:37 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-05-13 03:39:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 03:40:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-13 03:44:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 03:50:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-05-13 03:51:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 03:55:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 03:55:32 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-13 03:56:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-05-13 04:00:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 04:00:21 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-13 04:05:51 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-05-13 04:08:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 04:10:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 04:15:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-05-13 04:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-13 04:18:28 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 252 seconds) |
2025-05-13 04:20:22 +0200 | td_ | (~td@i53870919.versanet.de) |
2025-05-13 04:24:07 +0200 | jathan | (~jathan@69.61.93.38) jathan |
2025-05-13 04:26:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 04:30:30 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-05-13 04:31:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 04:32:56 +0200 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
2025-05-13 04:36:43 +0200 | jathan | (~jathan@69.61.93.38) jathan |
2025-05-13 04:42:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 04:49:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 04:58:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-13 05:00:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 05:02:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-13 05:05:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-13 05:16:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 05:18:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-05-13 05:19:03 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-05-13 05:19:36 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-05-13 05:21:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-05-13 05:32:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 05:36:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 05:40:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-13 05:46:33 +0200 | michalz | (~michalz@185.246.207.201) |
2025-05-13 05:47:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 05:52:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-13 06:03:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 06:08:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 06:10:14 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 268 seconds) |
2025-05-13 06:11:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 06:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 06:19:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 06:20:20 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-05-13 06:23:43 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-05-13 06:24:25 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-05-13 06:27:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 06:30:18 +0200 | JuanDaugherty | ColinRobinson |
2025-05-13 06:34:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-13 06:45:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 06:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-13 06:54:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-13 06:55:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-05-13 06:56:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 06:56:51 +0200 | tavare | (~tavare@150.129.88.189) tavare |
2025-05-13 06:56:51 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-05-13 06:56:51 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-13 07:01:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 07:03:50 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) (Ping timeout: 265 seconds) |
2025-05-13 07:04:22 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-05-13 07:06:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 07:08:37 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-05-13 07:09:42 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) dmoerner |
2025-05-13 07:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 07:14:18 +0200 | dmoerner- | (~dmoerner@fedora/dmoerner) dmoerner |
2025-05-13 07:14:42 +0200 | ell4 | (~ellie@user/ellie) ellie |
2025-05-13 07:15:49 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) (Ping timeout: 245 seconds) |
2025-05-13 07:15:49 +0200 | dmoerner- | dmoerner |
2025-05-13 07:17:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 07:18:00 +0200 | ell | (~ellie@user/ellie) (Ping timeout: 276 seconds) |
2025-05-13 07:18:00 +0200 | ell4 | ell |
2025-05-13 07:19:43 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-13 07:28:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 07:31:18 +0200 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
2025-05-13 07:33:05 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-05-13 07:33:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 07:34:01 +0200 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) |
2025-05-13 07:39:43 +0200 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-13 07:40:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-13 07:41:39 +0200 | fantom | (~fantom@33be818f.skybroadband.com) |
2025-05-13 07:44:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 07:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-05-13 07:52:25 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-13 07:55:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 07:59:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 08:05:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-05-13 08:07:16 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-05-13 08:08:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-05-13 08:09:21 +0200 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) |
2025-05-13 08:13:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 08:14:31 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-05-13 08:18:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-13 08:27:24 +0200 | acidjnk | (~acidjnk@p54ad5829.dip0.t-ipconnect.de) acidjnk |
2025-05-13 08:31:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 08:32:43 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
2025-05-13 08:32:49 +0200 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-13 08:33:17 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-13 08:35:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-13 08:38:05 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-13 08:38:24 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-13 08:38:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
2025-05-13 08:39:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 08:40:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
2025-05-13 08:46:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 08:47:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-13 08:51:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-13 08:51:40 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-05-13 08:52:44 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-05-13 08:57:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
2025-05-13 08:58:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
2025-05-13 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-13 09:00:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-13 09:01:40 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 09:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 09:02:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 09:03:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-13 09:03:46 +0200 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
2025-05-13 09:04:06 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-13 09:05:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-05-13 09:05:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 09:05:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-13 09:07:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-13 09:08:35 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-05-13 09:10:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
2025-05-13 09:11:47 +0200 | chele | (~chele@user/chele) chele |
2025-05-13 09:12:48 +0200 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
2025-05-13 09:14:18 +0200 | Square | (~Square4@user/square) Square |
2025-05-13 09:20:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 09:21:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
2025-05-13 09:26:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 09:34:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-05-13 09:37:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-05-13 09:38:30 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 265 seconds) |
2025-05-13 09:39:37 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
2025-05-13 09:48:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 09:50:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-05-13 10:01:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-13 10:01:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-05-13 10:03:21 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-13 10:08:05 +0200 | e-snail | (~pete@user/e-snail) (Ping timeout: 244 seconds) |
2025-05-13 10:08:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-13 10:12:33 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 248 seconds) |
2025-05-13 10:13:46 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 244 seconds) |
2025-05-13 10:15:03 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 268 seconds) |
2025-05-13 10:29:22 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
2025-05-13 10:34:19 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
2025-05-13 10:41:22 +0200 | end | (~end@user/end/x-0094621) end^ |
2025-05-13 10:42:06 +0200 | cstml | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 10:57:12 +0200 | cstml | (~Thunderbi@user/cstml) (Quit: cstml) |
2025-05-13 11:02:10 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
2025-05-13 11:02:16 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-05-13 11:06:33 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Read error: Connection reset by peer) |
2025-05-13 11:06:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-13 11:10:10 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-05-13 11:13:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
2025-05-13 11:15:19 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) ubert |
2025-05-13 11:25:02 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
2025-05-13 11:28:39 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp |
2025-05-13 11:32:40 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-05-13 11:37:27 +0200 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) |
2025-05-13 11:42:35 +0200 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) (Quit: Client closed) |
2025-05-13 11:45:10 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-13 11:46:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-05-13 11:51:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-13 11:53:06 +0200 | econo_ | (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 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-13 12:22:42 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Remote host closed the connection) |
2025-05-13 12:23:25 +0200 | xff0x | (~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 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
2025-05-13 12:29:44 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-13 12:30:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 272 seconds) |
2025-05-13 12:42:53 +0200 | fp | (~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 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-13 12:47:44 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-05-13 12:51:58 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
2025-05-13 13:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-13 13:02:02 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-13 13:02:20 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-13 13:10:11 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
2025-05-13 13:12:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 13:19:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-05-13 13:22:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 13:23:57 +0200 | xff0x | (~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 +0200 | fp | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 13:47:15 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-05-13 13:48:00 +0200 | Frostillicus | (~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 +0200 | Frostillicus | (~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 +0200 | Tuplanolla | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-13 14:07:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-13 14:09:30 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-13 14:10:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-13 14:10:49 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
2025-05-13 14:13:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-05-13 14:14:39 +0200 | fp | (~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 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-13 14:45:50 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 244 seconds) |
2025-05-13 14:48:04 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2025-05-13 14:57:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-05-13 15:16:57 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-13 15:18:34 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-05-13 15:29:34 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
2025-05-13 15:32:38 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-13 15:35:47 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-05-13 15:36:49 +0200 | cb74 | (~cb74@185.107.56.164) |
2025-05-13 15:37:48 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
2025-05-13 15:37:49 +0200 | fp1 | fp |
2025-05-13 15:42:47 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
2025-05-13 15:44:56 +0200 | Digit | (~user@user/digit) Digit |
2025-05-13 15:45:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-05-13 15:46:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-13 15:46:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-13 15:50:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 15:51:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-13 15:57:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-05-13 15:57:27 +0200 | cb74 | (~cb74@185.107.56.164) (Remote host closed the connection) |
2025-05-13 15:59:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-13 16:06:37 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2025-05-13 16:10:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-05-13 16:10:30 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) |
2025-05-13 16:14:54 +0200 | gehmehgeh | gmg |
2025-05-13 16:25:22 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-13 16:25:40 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-13 16:32:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-13 16:43:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 16:54:41 +0200 | acidjnk | (~acidjnk@p54ad5829.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-05-13 16:55:40 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-05-13 17:00:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-13 17:02:40 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2025-05-13 17:09:28 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) |
2025-05-13 17:14:38 +0200 | Frostillicus | (~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 +0200 | ttybitnik | (~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 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
2025-05-13 17:39:11 +0200 | Unicorn_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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-13 17:53:17 +0200 | sabathan2 | (~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 +0200 | Frostillicus | (~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 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-05-13 18:08:35 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-05-13 18:16:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-13 18:18:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2025-05-13 18:21:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-05-13 18:26:09 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2025-05-13 18:29:02 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
2025-05-13 18:32:13 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) |
2025-05-13 18:33:39 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert) |
2025-05-13 18:36:49 +0200 | peterbecich | (~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 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-13 18:54:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-13 18:54:22 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2025-05-13 18:55:08 +0200 | euleritian | (~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 +0200 | Square2 | (~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 +0200 | Square | (~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 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-05-13 19:11:01 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-05-13 19:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 19:13:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
2025-05-13 19:14:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-05-13 19:15:55 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
2025-05-13 19:18:35 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-13 19:44:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-05-13 19:44:55 +0200 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
2025-05-13 19:44:59 +0200 | merijn | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1918462650bcfe20e4.dip0.t-ipconnect.de) acidjnk |
2025-05-13 19:51:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-13 19:54:36 +0200 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-05-13 19:56:35 +0200 | jespada | (~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 |
2025-05-13 19:58:57 +0200 | <xeno11> | I am getting an error of "failing to build" after cabal v2-run. Error code says "Missing dependency on a foregin library " and "Missing (or bad) libraries". pkg-config is not finding the libraries, or thinks they are bad, despite them being installed there. I recently changed distribution from debian "bookworm" to debian "testing" and at a similar |
2025-05-13 19:58:58 +0200 | <xeno11> | time, the compilation stopped working. Any ideas why I am getting this error? |
2025-05-13 20:00:00 +0200 | <EvanR> | someone on stack overflow reports a report where someone failed to implement this instruction in erlang which doesn't have a setcar! |
2025-05-13 20:00:08 +0200 | <EvanR> | haskellers feeling that pain |
2025-05-13 20:01:33 +0200 | <tomsmeding> | yin: if I open ghci with your flags than I have no Num? |
2025-05-13 20:01:37 +0200 | <tomsmeding> | s/than/then/ |
2025-05-13 20:01:50 +0200 | <tomsmeding> | you can't disable built-in syntax for numeric literals, if that's what you're after |
2025-05-13 20:02:18 +0200 | <tomsmeding> | % :m |
2025-05-13 20:02:18 +0200 | <yahb2> | <no output> |
2025-05-13 20:02:21 +0200 | <tomsmeding> | % import Prelude () |
2025-05-13 20:02:21 +0200 | <yahb2> | <no output> |
2025-05-13 20:02:23 +0200 | <tomsmeding> | % :t 5 |
2025-05-13 20:02:23 +0200 | <yahb2> | 5 :: forall {a}. GHC.Internal.Num.Num a => a |
2025-05-13 20:02:37 +0200 | <tomsmeding> | yin: Num is not in scope here, so the response qualifies it |
2025-05-13 20:02:49 +0200 | <tomsmeding> | % :m -- make prelude available again |
2025-05-13 20:02:49 +0200 | <yahb2> | syntax: :module [+/-] [*]M1 ... [*]Mn |
2025-05-13 20:02:51 +0200 | <tomsmeding> | % :m |
2025-05-13 20:02:51 +0200 | <yahb2> | <no output> |
2025-05-13 20:03:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 20:03:26 +0200 | <EvanR> | I guess if you use the simplified SECD machine, you'd have to resort to Y combinators again |
2025-05-13 20:03:53 +0200 | <tomsmeding> | xeno11: what library is it missing? What haskell package has this system dependency? |
2025-05-13 20:05:00 +0200 | <EvanR> | correction the recursive value itself is stored at the placeholder, since environment contains values |
2025-05-13 20:08:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-13 20:09:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-05-13 20:10:32 +0200 | <yin> | tomsmeding: kind of can with NoRebindableSyntax |
2025-05-13 20:10:43 +0200 | <tomsmeding> | without the No? |
2025-05-13 20:10:52 +0200 | <tomsmeding> | but I guess, yes |
2025-05-13 20:11:51 +0200 | <yin> | right |
2025-05-13 20:11:58 +0200 | <yin> | oh and it depends on ghc version |
2025-05-13 20:12:57 +0200 | <yin> | nvm i was wrote NoReb... |
2025-05-13 20:13:17 +0200 | <yin> | s/was// |
2025-05-13 20:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-13 20:16:36 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-05-13 20:18:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-05-13 20:20:53 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-05-13 20:21:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-13 20:24:31 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
2025-05-13 20:27:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |