| 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 |