| 2025-05-13 00:02:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 00:07:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 00:09:31 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-13 00:09:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 00:15:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-13 00:15:42 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-13 00:17:06 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-05-13 00:18:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 00:18:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 00:20:17 +0000 | fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-13 00:20:26 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-05-13 00:23:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 00:30:47 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-13 00:34:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 00:34:20 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-13 00:38:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 00:42:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 00:43:32 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-13 00:49:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 00:52:54 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-05-13 00:54:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 00:59:20 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-13 01:05:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 01:06:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-13 01:08:19 +0000 | xff0x | (~xff0x@ai099192.d.east.v6connect.net) (Ping timeout: 276 seconds) |
| 2025-05-13 01:12:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 01:23:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 01:25:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-13 01:28:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 01:33:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-13 01:39:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 01:40:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 01:44:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 01:50:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-13 01:51:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 01:55:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 01:55:32 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 01:56:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-13 02:00:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 02:00:21 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-13 02:05:51 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-13 02:08:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 02:10:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 02:15:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-13 02:16:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-13 02:18:28 +0000 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 252 seconds) |
| 2025-05-13 02:20:22 +0000 | td_ | (~td@i53870919.versanet.de) |
| 2025-05-13 02:24:07 +0000 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-05-13 02:26:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 02:30:30 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-13 02:31:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 02:32:56 +0000 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2025-05-13 02:36:43 +0000 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-05-13 02:42:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 02:49:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 02:58:13 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-13 03:00:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 03:02:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 03:05:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 03:16:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 03:18:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-13 03:19:03 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-13 03:19:36 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-13 03:21:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-13 03:32:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 03:36:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 03:40:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 03:46:33 +0000 | michalz | (~michalz@185.246.207.201) |
| 2025-05-13 03:47:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 03:52:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 04:03:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 04:08:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 04:10:14 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 268 seconds) |
| 2025-05-13 04:11:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 04:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 04:19:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 04:20:20 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-13 04:23:43 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-13 04:24:25 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-13 04:27:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 04:30:18 +0000 | JuanDaugherty | ColinRobinson |
| 2025-05-13 04:34:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 04:45:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 04:51:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-13 04:54:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-13 04:55:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-13 04:56:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 04:56:51 +0000 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-05-13 04:56:51 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-13 04:56:51 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-13 05:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 05:03:50 +0000 | dmoerner | (~dmoerner@fedora/dmoerner) (Ping timeout: 265 seconds) |
| 2025-05-13 05:04:22 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-05-13 05:06:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 05:08:37 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-13 05:09:42 +0000 | dmoerner | (~dmoerner@fedora/dmoerner) dmoerner |
| 2025-05-13 05:12:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 05:14:18 +0000 | dmoerner- | (~dmoerner@fedora/dmoerner) dmoerner |
| 2025-05-13 05:14:42 +0000 | ell4 | (~ellie@user/ellie) ellie |
| 2025-05-13 05:15:49 +0000 | dmoerner | (~dmoerner@fedora/dmoerner) (Ping timeout: 245 seconds) |
| 2025-05-13 05:15:49 +0000 | dmoerner- | dmoerner |
| 2025-05-13 05:17:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 05:18:00 +0000 | ell | (~ellie@user/ellie) (Ping timeout: 276 seconds) |
| 2025-05-13 05:18:00 +0000 | ell4 | ell |
| 2025-05-13 05:19:43 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-13 05:28:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 05:31:18 +0000 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2025-05-13 05:33:05 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-13 05:33:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 05:34:01 +0000 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) |
| 2025-05-13 05:39:43 +0000 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-13 05:40:00 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 05:41:39 +0000 | fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-13 05:44:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 05:49:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-13 05:52:25 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-13 05:55:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 05:59:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 06:05:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-13 06:07:16 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-05-13 06:08:49 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-13 06:09:21 +0000 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) |
| 2025-05-13 06:13:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 06:14:31 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-05-13 06:18:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 06:27:24 +0000 | acidjnk | (~acidjnk@p54ad5829.dip0.t-ipconnect.de) acidjnk |
| 2025-05-13 06:31:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 06:32:43 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-13 06:32:49 +0000 | euleritian | (~euleritia@dynamic-176-006-139-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-13 06:33:17 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 06:35:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 06:38:05 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-13 06:38:24 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 06:38:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 2025-05-13 06:39:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 06:40:01 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-13 06:46:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 06:47:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-13 06:51:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 06:51:40 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-13 06:52:44 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-13 06:57:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 2025-05-13 06:58:19 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-13 07:00:02 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-13 07:00:21 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 07:00:41 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-13 07:01:40 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-13 07:02:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 07:02:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 07:03:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-13 07:03:46 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-05-13 07:04:06 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-13 07:05:08 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-13 07:05:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 07:05:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-13 07:07:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-13 07:08:35 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-05-13 07:10:24 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-05-13 07:11:47 +0000 | chele | (~chele@user/chele) chele |
| 2025-05-13 07:12:48 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-05-13 07:14:18 +0000 | Square | (~Square4@user/square) Square |
| 2025-05-13 07:20:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 07:21:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 2025-05-13 07:26:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 07:34:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-13 07:37:06 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-13 07:38:30 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 265 seconds) |
| 2025-05-13 07:39:37 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-05-13 07:48:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 07:50:18 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-13 08:01:10 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-13 08:01:58 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-13 08:03:21 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-13 08:08:05 +0000 | e-snail | (~pete@user/e-snail) (Ping timeout: 244 seconds) |
| 2025-05-13 08:08:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 08:12:33 +0000 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 248 seconds) |
| 2025-05-13 08:13:46 +0000 | end | (~end@user/end/x-0094621) (Ping timeout: 244 seconds) |
| 2025-05-13 08:15:03 +0000 | sus0 | (zero@user/zeromomentum) (Ping timeout: 268 seconds) |
| 2025-05-13 08:29:22 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-13 08:34:19 +0000 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-13 08:41:22 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-13 08:42:06 +0000 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-05-13 08:50:12 +0000 | <[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 08:56:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 08:57:12 +0000 | cstml | (~Thunderbi@user/cstml) (Quit: cstml) |
| 2025-05-13 09:02:10 +0000 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-05-13 09:02:16 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-05-13 09:06:33 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-05-13 09:06:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-13 09:10:10 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-13 09:13:52 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
| 2025-05-13 09:15:19 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) ubert |
| 2025-05-13 09:25:02 +0000 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-05-13 09:28:39 +0000 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp |
| 2025-05-13 09:32:40 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-05-13 09:37:27 +0000 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) |
| 2025-05-13 09:42:35 +0000 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) (Quit: Client closed) |
| 2025-05-13 09:45:10 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 09:46:38 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-13 09:51:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-13 09:53:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-13 10:18:29 +0000 | <yin> | https://paste.jrvieira.com/1747131475164 why is liftA2 qualified like this? |
| 2025-05-13 10:18:47 +0000 | <yin> | oops wrong paste |
| 2025-05-13 10:19:12 +0000 | <yin> | https://paste.jrvieira.com/1747131542069 |
| 2025-05-13 10:21:20 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-13 10:22:42 +0000 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Remote host closed the connection) |
| 2025-05-13 10:23:25 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-13 10:23:53 +0000 | <Leary> | yin: Because it isn't in scope. |
| 2025-05-13 10:28:30 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-05-13 10:29:44 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 10:30:59 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 272 seconds) |
| 2025-05-13 10:42:53 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 10:46:28 +0000 | <tomsmeding> | yin: import Control.Applicative, and it won't be qualified any more |
| 2025-05-13 10:47:25 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 10:47:44 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-05-13 10:51:58 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 11:00:05 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-13 11:02:02 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 11:02:20 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-13 11:10:11 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-05-13 11:12:01 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 11:19:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-13 11:22:19 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 11:23:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fab1:2ba7:ff3c:d0fc) |
| 2025-05-13 11:25:54 +0000 | <yin> | this is so confusing |
| 2025-05-13 11:26:23 +0000 | <yin> | why is it GHC.Base.liftA2 and not Control.Applicative.liftA2 then? |
| 2025-05-13 11:27:56 +0000 | <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 11:28:05 +0000 | <tomsmeding> | the class and its members _except_ liftA2 are additionally re-exported from Prelude |
| 2025-05-13 11:28:50 +0000 | <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 11:29:13 +0000 | <tomsmeding> | but ghci cares not, it just shows the facts as they are |
| 2025-05-13 11:29:45 +0000 | <yin> | is liftA2 defined at the top level in GHC.Base? |
| 2025-05-13 11:30:09 +0000 | <tomsmeding> | no, as part of the Applicative class |
| 2025-05-13 11:30:44 +0000 | <yin> | why is it not re-exported then? |
| 2025-05-13 11:31:02 +0000 | <yin> | <*> is defined in terms of it, isn't it? |
| 2025-05-13 11:32:28 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-05-13 11:41:33 +0000 | <tomsmeding> | yin: why as in socially why, or as in technically how is it possible? |
| 2025-05-13 11:43:15 +0000 | <tomsmeding> | because the former is most likely "backwards compatibility, liftA2 was not in the class originally" |
| 2025-05-13 11:46:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 11:47:15 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-13 11:48:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 11:48:03 +0000 | <yin> | i see |
| 2025-05-13 11:48:23 +0000 | <yin> | shame. liftA2 is one of my favourite combinators |
| 2025-05-13 11:55:05 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 11:57:44 +0000 | <tomsmeding> | `import Control.Applicative` :p |
| 2025-05-13 11:58:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-13 12:00:14 +0000 | <Leary> | That or replace your crusty old GHC with something >=9.6. |
| 2025-05-13 12:03:57 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-13 12:07:47 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-13 12:09:30 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 12:10:40 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-13 12:10:49 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-13 12:13:24 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-13 12:14:39 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-05-13 12:16:16 +0000 | <tomsmeding> | heh |
| 2025-05-13 12:18:48 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 12:45:50 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-05-13 12:48:04 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-05-13 12:57:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-13 13:16:57 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-13 13:18:34 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-13 13:29:34 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-05-13 13:32:38 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 13:35:47 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-05-13 13:36:49 +0000 | cb74 | (~cb74@185.107.56.164) |
| 2025-05-13 13:37:48 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-05-13 13:37:49 +0000 | fp1 | fp |
| 2025-05-13 13:42:47 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-05-13 13:44:56 +0000 | Digit | (~user@user/digit) Digit |
| 2025-05-13 13:45:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-13 13:46:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-13 13:46:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 13:50:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 13:51:13 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-13 13:57:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-13 13:57:27 +0000 | cb74 | (~cb74@185.107.56.164) (Remote host closed the connection) |
| 2025-05-13 13:59:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 14:06:37 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-13 14:10:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-13 14:10:30 +0000 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) |
| 2025-05-13 14:14:54 +0000 | gehmehgeh | gmg |
| 2025-05-13 14:25:22 +0000 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-13 14:25:40 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 14:32:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-13 14:43:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 14:54:41 +0000 | acidjnk | (~acidjnk@p54ad5829.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-13 14:55:40 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-05-13 15:00:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 15:02:40 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2025-05-13 15:09:28 +0000 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) |
| 2025-05-13 15:14:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 15:18:38 +0000 | <yin> | not wrong |
| 2025-05-13 15:21:40 +0000 | <[exa]> | speaking of new ghc versions |
| 2025-05-13 15:23:02 +0000 | <[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 15:31:41 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-05-13 15:32:33 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-13 15:33:03 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-13 15:33:15 +0000 | <merijn> | [exa]: Which one? |
| 2025-05-13 15:34:28 +0000 | <[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 15:34:53 +0000 | <merijn> | [exa]: Are you sure that's on by default and not in some warning flag you enabled? |
| 2025-05-13 15:35:52 +0000 | <merijn> | [exa]: Considering the docs say it's only in since 9.8, probably not :p |
| 2025-05-13 15:35:56 +0000 | <[exa]> | it looks like default in 9.8 or 9.10 (can't see which one we're using) |
| 2025-05-13 15:36:18 +0000 | <[exa]> | but well nevermind I'm nerdraging over this here |
| 2025-05-13 15:36:35 +0000 | <[exa]> | ghhrrr, so correct!! but!!! so annoying!!111 aghgggg! |
| 2025-05-13 15:36:43 +0000 | <merijn> | [exa]: The docs link to the proposal which explains how to disable it, so... |
| 2025-05-13 15:37:20 +0000 | <[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 15:37:40 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-13 15:39:11 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-13 15:39:21 +0000 | <monochrom> | I don't teach head or tail, so I don't have that problem. >:) |
| 2025-05-13 15:39:56 +0000 | <monochrom> | But OK one day some other do-gooder warning is going to bite me. |
| 2025-05-13 15:42:00 +0000 | <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 15:42:51 +0000 | <[exa]> | what annoys me is that I see no such warning on `read` et al |
| 2025-05-13 15:43:09 +0000 | <[exa]> | well nvm, </nerdrage> |
| 2025-05-13 15:45:53 +0000 | <[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 15:46:35 +0000 | <monochrom> | Oh yeah the really annoying thing about those do-gooder warnings is that they are so bloody inconsistent. |
| 2025-05-13 15:47:09 +0000 | <monochrom> | Suppose you have "data U = U". So it's isomorphic to (), right? |
| 2025-05-13 15:47:59 +0000 | <monochrom> | Suppose you have foo :: IO () and bar :: IO U. -Wall warns about "do bar; ..." but not "do foo; ...". |
| 2025-05-13 15:51:10 +0000 | <monochrom> | I think the standard answer is lens? :) |
| 2025-05-13 15:52:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-13 15:53:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 15:55:26 +0000 | <[exa]> | monochrom: for StateVar? yeah looks like that |
| 2025-05-13 15:56:31 +0000 | <[exa]> | let's make a bit of glue that connects this together |
| 2025-05-13 15:57:36 +0000 | <[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 15:58:05 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-13 15:58:05 +0000 | <[exa]> | you do `sliderInt "value" someRefToInt 0 100` and it updates the ref |
| 2025-05-13 15:59:07 +0000 | <[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 16:00:25 +0000 | <[exa]> | unfortunately the setters&getters can't be "any" monad, they only get MonadIO |
| 2025-05-13 16:00:52 +0000 | [exa] | dives into the glue |
| 2025-05-13 16:07:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-05-13 16:08:35 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-13 16:16:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 16:18:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-05-13 16:21:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-13 16:26:09 +0000 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-05-13 16:29:02 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-13 16:32:13 +0000 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) |
| 2025-05-13 16:33:39 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert) |
| 2025-05-13 16:36:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 16:40:13 +0000 | <EvanR> | head and tail are advanced pro tools only for the leet |
| 2025-05-13 16:40:33 +0000 | <EvanR> | is what the warning should say |
| 2025-05-13 16:44:42 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-13 16:54:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-13 16:54:22 +0000 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-13 16:55:08 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 16:56:28 +0000 | <yin> | shouldn't students learn `listToMaybe` and `drop 1` instead? |
| 2025-05-13 16:57:23 +0000 | <EvanR> | those may both be incorrect in some cases |
| 2025-05-13 16:57:49 +0000 | <yin> | no. head and tail are incorrect in some cases |
| 2025-05-13 16:57:57 +0000 | <EvanR> | oh obviously |
| 2025-05-13 16:58:03 +0000 | <EvanR> | but I disagree with "no" |
| 2025-05-13 16:58:26 +0000 | <EvanR> | being partial doesn't make the always incorrect though |
| 2025-05-13 16:59:00 +0000 | Square2 | (~Square@user/square) Square |
| 2025-05-13 16:59:05 +0000 | <yin> | yeah i see what you mean. but i'm a big treating students as intelligent beings |
| 2025-05-13 17:02:03 +0000 | <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 17:03:04 +0000 | <EvanR> | more or less powerful and uniquely flawed in their own way, leading to quirky dialog |
| 2025-05-13 17:03:11 +0000 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-05-13 17:06:07 +0000 | <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 17:08:09 +0000 | <yin> | can i get rid of GHC.Base? |
| 2025-05-13 17:08:33 +0000 | <yin> | :P |
| 2025-05-13 17:08:44 +0000 | <monochrom> | Everything is incorrect in some cases. |
| 2025-05-13 17:09:19 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-13 17:11:01 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-13 17:13:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 17:13:47 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
| 2025-05-13 17:14:52 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 17:15:55 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-13 17:18:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 17:23:02 +0000 | <EvanR> | is that one of your tautologies? |
| 2025-05-13 17:26:02 +0000 | <monochrom> | Heh. I came up with it just now. I'm too lazy to add it to my page. |
| 2025-05-13 17:28:23 +0000 | <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 17:29:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 17:29:15 +0000 | <tomsmeding> | yin: how do you get GHC.Base in that? |
| 2025-05-13 17:34:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-13 17:44:30 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-13 17:44:55 +0000 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-05-13 17:44:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 17:46:55 +0000 | <yin> | I'm assuming i'm getting things like Num from GHC.Base |
| 2025-05-13 17:49:00 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f1918462650bcfe20e4.dip0.t-ipconnect.de) acidjnk |
| 2025-05-13 17:51:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 17:54:36 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-05-13 17:56:35 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-13 17:56:41 +0000 | <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 17:57:50 +0000 | <EvanR> | I guess that's why the theoretical stuff on SECD machine I've seen ignores that instruction entirely |
| 2025-05-13 17:58:57 +0000 | <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 17:58:58 +0000 | <xeno11> | time, the compilation stopped working. Any ideas why I am getting this error? |
| 2025-05-13 18:00:00 +0000 | <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 18:00:08 +0000 | <EvanR> | haskellers feeling that pain |
| 2025-05-13 18:01:33 +0000 | <tomsmeding> | yin: if I open ghci with your flags than I have no Num? |
| 2025-05-13 18:01:37 +0000 | <tomsmeding> | s/than/then/ |
| 2025-05-13 18:01:50 +0000 | <tomsmeding> | you can't disable built-in syntax for numeric literals, if that's what you're after |
| 2025-05-13 18:02:18 +0000 | <tomsmeding> | % :m |
| 2025-05-13 18:02:18 +0000 | <yahb2> | <no output> |
| 2025-05-13 18:02:21 +0000 | <tomsmeding> | % import Prelude () |
| 2025-05-13 18:02:21 +0000 | <yahb2> | <no output> |
| 2025-05-13 18:02:23 +0000 | <tomsmeding> | % :t 5 |
| 2025-05-13 18:02:23 +0000 | <yahb2> | 5 :: forall {a}. GHC.Internal.Num.Num a => a |
| 2025-05-13 18:02:37 +0000 | <tomsmeding> | yin: Num is not in scope here, so the response qualifies it |
| 2025-05-13 18:02:49 +0000 | <tomsmeding> | % :m -- make prelude available again |
| 2025-05-13 18:02:49 +0000 | <yahb2> | syntax: :module [+/-] [*]M1 ... [*]Mn |
| 2025-05-13 18:02:51 +0000 | <tomsmeding> | % :m |
| 2025-05-13 18:02:51 +0000 | <yahb2> | <no output> |
| 2025-05-13 18:03:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 18:03:26 +0000 | <EvanR> | I guess if you use the simplified SECD machine, you'd have to resort to Y combinators again |
| 2025-05-13 18:03:53 +0000 | <tomsmeding> | xeno11: what library is it missing? What haskell package has this system dependency? |
| 2025-05-13 18:05:00 +0000 | <EvanR> | correction the recursive value itself is stored at the placeholder, since environment contains values |
| 2025-05-13 18:08:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-13 18:09:58 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-13 18:10:32 +0000 | <yin> | tomsmeding: kind of can with NoRebindableSyntax |
| 2025-05-13 18:10:43 +0000 | <tomsmeding> | without the No? |
| 2025-05-13 18:10:52 +0000 | <tomsmeding> | but I guess, yes |
| 2025-05-13 18:11:51 +0000 | <yin> | right |
| 2025-05-13 18:11:58 +0000 | <yin> | oh and it depends on ghc version |
| 2025-05-13 18:12:57 +0000 | <yin> | nvm i was wrote NoReb... |
| 2025-05-13 18:13:17 +0000 | <yin> | s/was// |
| 2025-05-13 18:15:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 18:16:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-13 18:18:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-13 18:20:53 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-13 18:21:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-13 18:24:31 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-13 18:27:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-13 18:31:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 18:32:27 +0000 | <xeno11> | tomsmeding: As far as I can see no library is missing. But it is telling me the "Missing (or bad)" libraries are opendht-c and SDL2 |
| 2025-05-13 18:33:17 +0000 | <tomsmeding> | xeno11: did you install the -dev packages for those libraries? |
| 2025-05-13 18:33:29 +0000 | <tomsmeding> | do you have a related .pc file on your system? |
| 2025-05-13 18:33:36 +0000 | <xeno11> | and then opendht-hs |
| 2025-05-13 18:33:46 +0000 | <xeno11> | i do have the related .pc files |
| 2025-05-13 18:33:54 +0000 | <tomsmeding> | are they in the pkg-config search path? |
| 2025-05-13 18:34:00 +0000 | <xeno11> | and yes for sdl, let me try for opendht |
| 2025-05-13 18:34:13 +0000 | <xeno11> | yes they are |
| 2025-05-13 18:34:22 +0000 | <tomsmeding> | can pkg-config find them? |
| 2025-05-13 18:36:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 18:39:03 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-05-13 18:39:20 +0000 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-13 18:39:51 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-13 18:40:04 +0000 | <xeno11> | yes, with pkg-config --path. for opendht-c it shows "/usr/local/lib/pkgconfig/opendht-c.pc" but for sdl2 it shows "/usr/lib/x86_64-linux-gnu/pkgconfig/sdl2.pc" because i created a symlink (i placed the opendht repo in a different place) |
| 2025-05-13 18:41:20 +0000 | <tomsmeding> | xeno11: in that case it's strange that cabal is complaining. Can you post the full error that cabal gives you? |
| 2025-05-13 18:41:45 +0000 | <tomsmeding> | to be noted is that pkg-config, at least on my system, is case-sensitive: `pkg-config --path sdl2` works on my system by `pkg-config --path SDL2` does not |
| 2025-05-13 18:43:50 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-13 18:44:40 +0000 | <xeno11> | yes, i tried `pkg-config --path SDL2` because of the error message but it doesn't work for the same reason. `pkg-config --path sdl2` is what yielded the path above^ |
| 2025-05-13 18:44:59 +0000 | <tomsmeding> | might it be that the cabal package specifies "SDL2" as the package name? |
| 2025-05-13 18:45:05 +0000 | <tomsmeding> | in `pkg-config-depends` |
| 2025-05-13 18:47:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 18:48:01 +0000 | <xeno11> | https://paste.debian.net/1374521/ |
| 2025-05-13 18:48:28 +0000 | <xeno11> | that's the error cabal gives just after cabal v2-run |
| 2025-05-13 18:50:20 +0000 | sprotte24 | (~sprotte24@p200300d16f210300c438dc587dfe80f8.dip0.t-ipconnect.de) |
| 2025-05-13 18:50:23 +0000 | <tomsmeding> | xeno11: odd. Do you have a libSDL2.so? I guess that question can be answered using `pkg-config --libs sdl2` |
| 2025-05-13 18:50:40 +0000 | <[exa]> | xeno11: I saw something similar recently, can you check if both of your libraries are in the pkg-config's full library listing? |
| 2025-05-13 18:50:54 +0000 | <[exa]> | ok "recently" as in "this decade" but see |
| 2025-05-13 18:51:09 +0000 | <tomsmeding> | (pkg-config --list-all) |
| 2025-05-13 18:51:18 +0000 | <[exa]> | yap ^ thx |
| 2025-05-13 18:51:44 +0000 | <tomsmeding> | also see if `cabal build --verbose` says anything useful (no need to use v2- since cabal 3.0) |
| 2025-05-13 18:52:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 18:52:43 +0000 | <[exa]> | also check that --modversion of the package is parseable by cabal, iirc that was what killed it in my case |
| 2025-05-13 18:54:50 +0000 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) (Quit: Client closed) |
| 2025-05-13 18:55:46 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 268 seconds) |
| 2025-05-13 18:56:17 +0000 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-13 18:57:16 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-13 19:00:01 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-13 19:00:17 +0000 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-05-13 19:00:39 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-13 19:03:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 19:03:24 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-13 19:04:26 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-13 19:08:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 19:09:38 +0000 | <EvanR> | https://paste.tomsmeding.com/nihJV4Ug |
| 2025-05-13 19:12:24 +0000 | visilii_ | (~visilii@213.24.132.63) (Ping timeout: 268 seconds) |
| 2025-05-13 19:15:45 +0000 | <xeno11> | tomsmeding: in `pkgconfig-depends`it specifies sdl2 as the package name |
| 2025-05-13 19:16:41 +0000 | <xeno11> | `pkg-config --libs sdl2` yields "-lSDL2" |
| 2025-05-13 19:16:53 +0000 | visilii | (~visilii@85.94.27.220) |
| 2025-05-13 19:17:53 +0000 | <xeno11> | opendht-c and sdl2 both show up when i do the `pkg-config --list-all` |
| 2025-05-13 19:18:21 +0000 | halloy5771 | (~halloy577@205.175.106.139) (Read error: Connection reset by peer) |
| 2025-05-13 19:19:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 19:22:38 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-13 19:24:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-13 19:25:25 +0000 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-13 19:25:37 +0000 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-13 19:27:42 +0000 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-13 19:34:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 19:38:35 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-05-13 19:40:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-13 19:43:30 +0000 | <tomsmeding> | xeno11: any interesting info in `cabal build --verbose`? |
| 2025-05-13 19:44:11 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-13 19:47:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 19:48:52 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-13 19:49:46 +0000 | <monochrom> | EvanR: Yeah, one way to support recursion, more generally tying knots, is a mutable cell that you write once to when you've finished the setup. |
| 2025-05-13 19:50:36 +0000 | Square | (~Square4@user/square) Square |
| 2025-05-13 19:50:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 19:51:23 +0000 | <monochrom> | Conversely! Robert Harper noted that memory comes from feedback loops. Mercury tubes, flip flops. |
| 2025-05-13 19:54:20 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-05-13 19:55:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-13 19:57:09 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f1918462650bcfe20e4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-13 19:57:10 +0000 | halloy5771 | (~halloy577@205.175.106.139) (Read error: Connection reset by peer) |
| 2025-05-13 19:57:21 +0000 | <EvanR> | that makes sense but then I still have trouble with the semantics of the transition table |
| 2025-05-13 19:57:48 +0000 | <EvanR> | it also doesn't help I have no idea how a letrec would get compiled to make use of these instructions |
| 2025-05-13 19:57:59 +0000 | <EvanR> | but I guess that's a puzzle for tomorrow |
| 2025-05-13 20:04:40 +0000 | catties | bunnies |
| 2025-05-13 20:05:32 +0000 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-13 20:05:32 +0000 | ChanServ | +v haskellbridge |
| 2025-05-13 20:06:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-13 20:06:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 20:06:42 +0000 | <haskellbridge> | <thirdofmay18081814goya> what does the runtime validation landscape look like in haskell? |
| 2025-05-13 20:06:43 +0000 | <haskellbridge> | <sm> there's https://hackage.haskell.org/package/base-4.21.0.0/docs/Control-Exception.html#v:assert ... |
| 2025-05-13 20:06:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 20:06:45 +0000 | <haskellbridge> | <sm> do you mean something else ? |
| 2025-05-13 20:06:46 +0000 | <haskellbridge> | <thirdofmay18081814goya> hm I was wondering if there was even a need to develop things like contracts libraries given haskell's sufficiently expressive type system |
| 2025-05-13 20:06:49 +0000 | <haskellbridge> | <sm> there's Liquid Haskell, which is like contracts. But it's compile time I believe |
| 2025-05-13 20:06:50 +0000 | <haskellbridge> | <thirdofmay18081814goya> sm: but this definitely is part of runtime validation ty, had not encountered it before |
| 2025-05-13 20:06:52 +0000 | <haskellbridge> | <thirdofmay18081814goya> hm would be nice to have the solutions to the liquid haskell tutorial |
| 2025-05-13 20:06:53 +0000 | <haskellbridge> | <thirdofmay18081814goya> sm: ah neat! I keep hearing about it. today is the day I try it out |
| 2025-05-13 20:06:55 +0000 | <haskellbridge> | <thirdofmay18081814goya> anyone know how to do the exercise Vector Head in chapter 4 |
| 2025-05-13 20:06:56 +0000 | <haskellbridge> | <thirdofmay18081814goya> ? |
| 2025-05-13 20:06:59 +0000 | <haskellbridge> | <ozkutuk> That form might be easier to work with |
| 2025-05-13 20:07:01 +0000 | <haskellbridge> | <ozkutuk> for example, "Data.Tree.pathsFromRoot" could be of use then |
| 2025-05-13 20:07:02 +0000 | <haskellbridge> | <ozkutuk> (I mean, not isomorphic per se, but should be a sufficient form to work with since you seem to be only interested in the strings) |
| 2025-05-13 20:07:04 +0000 | <haskellbridge> | <thirdofmay18081814goya> ozkutuk: hm I need the value and the end of the path in order to do validation, but that does make me think we can use the tree of strings to access the original datatype |
| 2025-05-13 20:07:07 +0000 | <haskellbridge> | <thirdofmay18081814goya> ty for the idea! |
| 2025-05-13 20:07:08 +0000 | <haskellbridge> | <thirdofmay18081814goya> the idea is to have predicates that take a path in order to do validation at that path |
| 2025-05-13 20:07:10 +0000 | <haskellbridge> | <thirdofmay18081814goya> data Record a = MkRecordV [(String, Either a (Record a))] deriving Show |
| 2025-05-13 20:07:11 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/iZbktTBScUYJbjkjdOGISIYE/YQOzohIwgLM (11 lines) |
| 2025-05-13 20:07:13 +0000 | <haskellbridge> | <thirdofmay18081814goya> whoops, the "Right" case here needs to "++" with "toPathVals MkRecordV xs" too |
| 2025-05-13 20:08:05 +0000 | <EvanR> | whoa was haskell bridge off this whole time |
| 2025-05-13 20:08:53 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-13 20:08:55 +0000 | <EvanR> | to quote thor: ragnarok, "who took the sword!" (that unlocks the bifrost) |
| 2025-05-13 20:09:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-13 20:11:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-13 20:13:23 +0000 | <tomsmeding> | seems like a bunch of messages got lost, too |
| 2025-05-13 20:22:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 20:27:29 +0000 | <xeno11> | tomsmeding: I was looking but not exactly sure what to report on... i have the --verbose output here: https://paste.debian.net/hidden/e5bcf24f/ |
| 2025-05-13 20:28:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-13 20:29:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-13 20:37:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 20:39:21 +0000 | <tomsmeding> | xeno11: where is pkg-config located on your system? |
| 2025-05-13 20:40:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 20:41:00 +0000 | <tomsmeding> | on my system, cabal-3.10.3.0 (same version as you) first checks pkg-config and only _then_ starts actually configuring the package |
| 2025-05-13 20:41:39 +0000 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) |
| 2025-05-13 20:42:23 +0000 | <tomsmeding> | on the other hand, cabal seems to find the version of the sdl2 pkg-config (2.32.4) just fine |
| 2025-05-13 20:43:06 +0000 | <tomsmeding> | xeno11: can you post the output of `cabal build -v3`, as suggested in the error message? |
| 2025-05-13 20:43:33 +0000 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) (Quit: Client closed) |
| 2025-05-13 20:44:55 +0000 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-13 20:45:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 20:47:18 +0000 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-13 20:52:55 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f19710480a6a0bd753e.dip0.t-ipconnect.de) acidjnk |
| 2025-05-13 20:56:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 20:58:03 +0000 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2025-05-13 21:01:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 21:03:16 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-13 21:11:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 21:12:06 +0000 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-05-13 21:15:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-13 21:16:29 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 21:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 21:17:16 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-13 21:22:30 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-05-13 21:26:38 +0000 | <haskellbridge> | <thirdofmay18081814goya> EvanR: huh I thought the room was sort of silent lol |
| 2025-05-13 21:27:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 21:32:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 21:43:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 21:45:26 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-13 21:45:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-13 21:45:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 21:46:16 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-13 21:48:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 21:52:51 +0000 | Square2 | (~Square@user/square) Square |
| 2025-05-13 21:56:14 +0000 | Square | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-05-13 21:58:10 +0000 | <xeno11> | tomsmeding: pkg-config is located at `/usr/bin/pkg-config` |
| 2025-05-13 21:58:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 21:59:51 +0000 | <xeno11> | here is the `cabal build -v3` output: https://dpaste.com/A78G4C9TQ |
| 2025-05-13 22:02:04 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 22:03:29 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-05-13 22:03:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-13 22:04:24 +0000 | <tomsmeding> | xeno11: "collect2: fatal error: cannot find ‘ld’" |
| 2025-05-13 22:04:49 +0000 | <tomsmeding> | xeno11: I suspect that this is the actual error, and that cabal just misinterprets failure of gcc as something completely unrelated (and wrong) |
| 2025-05-13 22:05:02 +0000 | <tomsmeding> | do you have a working gcc and ld? :p |
| 2025-05-13 22:05:16 +0000 | <int-e> | note that ghc passes '-fuse-ld=gold' there |
| 2025-05-13 22:05:25 +0000 | esnos | (~user@194.29.137.22) |
| 2025-05-13 22:05:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 22:05:47 +0000 | <tomsmeding> | despite the only earlier occurrence of the string "gold" in that log being "Cannot find ld.gold on the path" |
| 2025-05-13 22:06:59 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-13 22:06:59 +0000 | <int-e> | ghc --info | grep gold |
| 2025-05-13 22:07:05 +0000 | <int-e> | is likely to find gold ;-) |
| 2025-05-13 22:08:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-13 22:09:08 +0000 | <int-e> | it's funny (and annoying) though that cabal diagnoses this as a missing C library |
| 2025-05-13 22:09:52 +0000 | <tomsmeding> | I guess cabal assumes that gcc always succeeds unless there was a linker error, and a linker error "always" means that one of the C libraries wasn't available |
| 2025-05-13 22:10:28 +0000 | <tomsmeding> | to be fair I don't blame cabal for not trying to parse linker errors, but it would do well, perhaps, to pass on the error to the user instead of waiting until -v3 (not even -v, -v3!) to display it |
| 2025-05-13 22:11:14 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 245 seconds) |
| 2025-05-13 22:11:31 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-13 22:12:18 +0000 | tomsmeding | is afk |
| 2025-05-13 22:12:48 +0000 | esnos | (~user@194.29.137.22) (Remote host closed the connection) |
| 2025-05-13 22:13:14 +0000 | zarek | (~user@194.29.137.22) |
| 2025-05-13 22:14:31 +0000 | <zarek> | Hi, I already done beginner books about haskell and now I want to do something with Cardano, do you know how can I start? |
| 2025-05-13 22:15:24 +0000 | <zarek> | And do I need to learn about some more abstractions? I know everything up to state monads, but I don't know gadts or arrows |
| 2025-05-13 22:16:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:21:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 22:26:52 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-13 22:31:07 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-13 22:31:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-13 22:32:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:33:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 22:35:17 +0000 | <EvanR> | zarek, dunno about cardano but would you be interested in game programming |
| 2025-05-13 22:35:30 +0000 | <EvanR> | it is surely to make you collide with more abstractions |
| 2025-05-13 22:37:02 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-13 22:37:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-13 22:39:47 +0000 | <zarek> | EvanR: Yes, I'm also interested |
| 2025-05-13 22:40:11 +0000 | <sim590> | int-e, tomsmeding: seems like ld.gold is deprecated apprently. But cabal still uses it by default? Shouldn't it stop to use it at some point? |
| 2025-05-13 22:41:19 +0000 | <int-e> | sim590: my guess is that using ld.gold is baked into the ghc binary you're using. that's what the ghc --info comment was about |
| 2025-05-13 22:42:23 +0000 | <int-e> | Or, technically, not the binary but the `settings` files it ships with. So if you feel adventerous you can change that. |
| 2025-05-13 22:42:30 +0000 | <zarek> | EvanR: Would you recommend some library for it or blog post/book about programming game in haskell? I only today saw this video about programming game in haskell in haskell https://www.youtube.com/watch?v=1MNTerD8IuI&list=PLcGKfGEEONaCyiY7-IV6boavjCIG7q1vd& |
| 2025-05-13 22:42:54 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-13 22:43:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-13 22:43:26 +0000 | <sim590> | int-e: So, it's something that would be likely to change by itself if GHC was upgraded, right? |
| 2025-05-13 22:43:58 +0000 | <EvanR> | there is #haskell-game and HaskellGameDev discord, with its own links and references, though things have slowed down in the last few months |
| 2025-05-13 22:44:09 +0000 | <int-e> | sim590: maybe. afaics you're using ghc-up so you're relying on that upstream's build configuration |
| 2025-05-13 22:44:20 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-13 22:44:25 +0000 | <sim590> | int-e: yep. |
| 2025-05-13 22:44:32 +0000 | <zarek> | sim590: by any chance did you install ghc by pacman in arch linux? If yes, thank I suggest nuke everything and install everything from curl link |
| 2025-05-13 22:44:57 +0000 | <int-e> | sim590: you can override the linker in your cabal config, that's probably the easier route for making progress right now |
| 2025-05-13 22:45:28 +0000 | <int-e> | zarek: ironically that would likely use a linker that's actually installed |
| 2025-05-13 22:45:44 +0000 | <int-e> | (the trouble is elsewhere) |
| 2025-05-13 22:45:56 +0000 | <EvanR> | forwarding that link to the other channel looks interesting |
| 2025-05-13 22:46:15 +0000 | <sim590> | zarek: One of my machines I use have arch and the other has debian. |
| 2025-05-13 22:46:27 +0000 | <sim590> | But I actually didn't have any issue on Arch. |
| 2025-05-13 22:47:06 +0000 | <sim590> | I only got issues with debian when dist-upgrading (same as xeno11). I guess that the `binutils-gold` was removed when we did a `dist-upgrade` and that confused everything. |
| 2025-05-13 22:47:33 +0000 | <int-e> | zarek: it's irrelevant anyway: --with-ghc=/home/xkappel/.ghcup/bin/ghc |
| 2025-05-13 22:48:06 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-13 22:48:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 22:49:36 +0000 | <zarek> | I remember this is how I solved my problems with ghcup and rest of haskell, but if this isn't solution than I don't know |
| 2025-05-13 22:52:00 +0000 | <haskellbridge> | <sm> hi zarek, cardano has lots of getting started and learning haskell resources doesn't it; we don't know them all here |
| 2025-05-13 22:52:28 +0000 | <haskellbridge> | <sm> and, welcome |
| 2025-05-13 22:52:30 +0000 | <int-e> | sim590: Anyway. The path of least resistance is to install ld.gold (it may be deprecated but it works as a linker). The next easiest idea is to tweak, hmm, ld-location I suppose in ~/.cabal/config. After that it's editing the settings file inside the ghc distribution and after that it's finding a "better" ghc package. |
| 2025-05-13 22:52:55 +0000 | <int-e> | glhf |
| 2025-05-13 22:53:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-13 22:53:54 +0000 | <sim590> | int-e: isn't it possible to just pass an option to GHC to force not using ld.gold, but stick to plain ld ? |
| 2025-05-13 22:54:25 +0000 | <sim590> | So we could just protect ourselves with an option in a `cabal.project` file or literally inside the cabal file. |
| 2025-05-13 22:55:01 +0000 | <int-e> | sim590: which is what cabal would do if you instructed it accordingly, and doing it in the config file feels less painful than doing it on every invokation |
| 2025-05-13 22:55:44 +0000 | <sim590> | int-e: It would not be in the invocation, but in a config file in the project repo. |
| 2025-05-13 22:56:03 +0000 | <sim590> | I thought ourproject.cabal in the `ghc-options:` section. |
| 2025-05-13 22:56:06 +0000 | <int-e> | it's a local configuration so putting it into the project is wrong |
| 2025-05-13 22:57:11 +0000 | <int-e> | (and you'll run into this with *every* haskell project as long as you use this particular ghc, and probably other versions shipped with ghc-up too) |
| 2025-05-13 22:57:11 +0000 | <sim590> | At least, we can put it in `cabal.project`, so it's not shipped anywhere. |
| 2025-05-13 22:57:35 +0000 | halloy5771 | (~halloy577@205.175.106.139) (Read error: Connection reset by peer) |
| 2025-05-13 22:57:51 +0000 | <int-e> | it really is a thing that pretty much unambiguously belongs in ~/.cabal/config |
| 2025-05-13 22:58:03 +0000 | <int-e> | and not in some project-related file |
| 2025-05-13 22:59:55 +0000 | <geekosaur> | it should probably go in ghc's settings file fwiw |
| 2025-05-13 23:00:18 +0000 | <int-e> | sure but then you're bound to clash with ghc-up eventually |
| 2025-05-13 23:00:31 +0000 | <xeno11> | tomsmeding:,int-e: thanks for the help, much appreciated |
| 2025-05-13 23:00:58 +0000 | <xeno11> | tomsmeding: , int-e: * |
| 2025-05-13 23:03:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 23:05:11 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-13 23:07:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-13 23:07:50 +0000 | ljdarj1 | ljdarj |
| 2025-05-13 23:08:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-13 23:12:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-13 23:13:25 +0000 | jason_davidson | (~jason.dav@user/jason-davidson:57402) jason_davidson |
| 2025-05-13 23:17:56 +0000 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-05-13 23:19:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 23:20:34 +0000 | sprotte24 | (~sprotte24@p200300d16f210300c438dc587dfe80f8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-13 23:23:03 +0000 | Guest35 | (~Guest35@2800:bf0:177:7c0:3c92:6af8:5ab1:4e0a) |
| 2025-05-13 23:24:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-13 23:25:28 +0000 | Guest35 | (~Guest35@2800:bf0:177:7c0:3c92:6af8:5ab1:4e0a) (Client Quit) |
| 2025-05-13 23:29:38 +0000 | <monochrom> | Hrm, ld.gold is going away? That's a pity. If you reinstall GHC, the install script can pick up the fact that you don't have ld.gold, then initialize its settings file accordingly. |
| 2025-05-13 23:30:51 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-13 23:35:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 23:37:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-13 23:37:52 +0000 | jespada | (~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-13 23:38:19 +0000 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-13 23:38:36 +0000 | halloy5771 | (~halloy577@205.175.106.139) (Client Quit) |
| 2025-05-13 23:41:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-13 23:42:09 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f19710480a6a0bd753e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-13 23:45:58 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-13 23:46:45 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 23:47:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-13 23:53:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-13 23:58:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |