| 2024-10-16 00:01:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 00:01:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 00:05:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-481b-3ce7-38de-67bb.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-16 00:08:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-16 00:12:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 00:17:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-16 00:21:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-16 00:23:04 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-10-16 00:28:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 00:33:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-16 00:43:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-16 00:43:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 00:46:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-16 00:49:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-16 00:59:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 01:00:34 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-10-16 01:00:50 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-10-16 01:02:32 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5475cfd1c549ef8808.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-16 01:04:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-16 01:09:41 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2024-10-16 01:10:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 01:14:00 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-16 01:14:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-16 01:14:46 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-10-16 01:15:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 01:22:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 01:29:42 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-16 01:33:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 01:34:52 +0200 | hgolden_ | (~hgolden@23.162.40.110) hgolden |
| 2024-10-16 01:37:30 +0200 | hgolden | (~hgolden@169.150.203.23) (Ping timeout: 252 seconds) |
| 2024-10-16 01:37:41 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-16 01:38:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 01:40:54 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-16 01:49:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 01:54:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 01:58:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-16 02:04:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-16 02:05:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 02:10:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 02:11:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-16 02:13:35 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-16 02:20:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-16 02:20:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 02:23:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d191:a1f6:84eb:b17f) (Ping timeout: 252 seconds) |
| 2024-10-16 02:24:53 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 248 seconds) |
| 2024-10-16 02:25:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-16 02:26:57 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-16 02:28:30 +0200 | hsw_ | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) hsw |
| 2024-10-16 02:31:17 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds) |
| 2024-10-16 02:33:00 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-10-16 02:33:32 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-16 02:34:20 +0200 | hsw_ | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) (Ping timeout: 252 seconds) |
| 2024-10-16 02:36:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 02:39:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-10-16 02:41:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 02:52:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 02:52:28 +0200 | hsw | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) hsw |
| 2024-10-16 02:52:39 +0200 | hsw | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2024-10-16 02:57:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-16 03:03:47 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-10-16 03:07:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 03:09:19 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-10-16 03:12:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-16 03:16:07 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-16 03:19:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-16 03:22:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 03:23:01 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 248 seconds) |
| 2024-10-16 03:27:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 03:31:03 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
| 2024-10-16 03:31:26 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-10-16 03:33:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-16 03:38:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 03:41:40 +0200 | spew | (~spew@185.153.177.163) (Quit: spew) |
| 2024-10-16 03:43:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 03:50:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-16 03:54:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 04:01:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 04:12:58 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-10-16 04:14:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 04:15:06 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-16 04:24:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-10-16 04:25:27 +0200 | Feuermagier | Guest736 |
| 2024-10-16 04:25:27 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-10-16 04:25:27 +0200 | Guest736 | (~Feuermagi@user/feuermagier) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-10-16 04:25:27 +0200 | Feuermagier_ | Feuermagier |
| 2024-10-16 04:27:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-16 04:28:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-16 04:33:51 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2024-10-16 04:35:49 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-10-16 04:38:23 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-10-16 04:38:23 +0200 | Feuermagier | Guest9360 |
| 2024-10-16 04:38:23 +0200 | Feuermagier_ | Feuermagier |
| 2024-10-16 04:39:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 04:41:12 +0200 | Guest9360 | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2024-10-16 04:44:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 04:47:06 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-10-16 04:47:23 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-10-16 04:55:15 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-16 04:55:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 05:00:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 05:02:41 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 248 seconds) |
| 2024-10-16 05:04:25 +0200 | td_ | (~td@i53870934.versanet.de) td_ |
| 2024-10-16 05:11:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 05:11:07 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-16 05:12:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-16 05:15:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 05:17:50 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 244 seconds) |
| 2024-10-16 05:19:55 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
| 2024-10-16 05:20:02 +0200 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-16 05:26:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 05:31:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-16 05:35:52 +0200 | hgolden__ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-16 05:38:24 +0200 | hgolden_ | (~hgolden@23.162.40.110) (Ping timeout: 252 seconds) |
| 2024-10-16 05:44:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 05:44:58 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-10-16 05:48:01 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-16 05:51:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-16 06:01:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 06:05:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 06:16:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 06:21:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 06:31:00 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-16 06:32:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 06:36:43 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-16 06:37:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 06:48:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 06:53:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 07:04:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 07:06:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-16 07:08:10 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-10-16 07:08:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-16 07:16:26 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-16 07:17:16 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-10-16 07:20:26 +0200 | rvalue- | rvalue |
| 2024-10-16 07:20:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 07:28:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-16 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-16 07:38:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 07:43:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 07:43:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-16 07:44:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-16 07:45:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-16 07:50:19 +0200 | gvg_ | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-10-16 07:53:34 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:f9e:2c92:2bc3:5a6b) (Ping timeout: 272 seconds) |
| 2024-10-16 07:54:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 07:57:41 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-16 07:58:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 08:00:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 08:07:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 08:07:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 08:17:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 08:22:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-16 08:25:44 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-16 08:26:39 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-16 08:27:06 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-16 08:28:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-16 08:30:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 08:31:05 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-10-16 08:33:22 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-16 08:33:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 08:36:11 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:ea6a:37b1:100f:1ca1) |
| 2024-10-16 08:38:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-16 08:44:07 +0200 | CiaoSen | (~Jura@2a05:5800:2e2:7900:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-16 08:48:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 08:53:43 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb52c012f628d3821a0d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-16 08:53:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 08:56:24 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2024-10-16 08:56:32 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-10-16 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-16 09:00:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-16 09:03:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 09:05:24 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-10-16 09:07:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 09:08:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-16 09:14:29 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-10-16 09:17:01 +0200 | gvg | (~dcd@user/gvg) gvg |
| 2024-10-16 09:20:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 09:21:30 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-16 09:33:10 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-16 09:34:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 09:37:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-16 09:39:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-16 09:39:53 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-16 09:45:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 09:51:14 +0200 | chaitlatte0 | (ea29c0bb16@2a03:6000:1812:100::1124) (Ping timeout: 245 seconds) |
| 2024-10-16 09:51:14 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds) |
| 2024-10-16 09:51:14 +0200 | samhh_ | samhh |
| 2024-10-16 09:51:31 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2024-10-16 09:51:32 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Read error: Connection reset by peer) |
| 2024-10-16 09:51:39 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2024-10-16 09:51:42 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-16 09:57:41 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-16 10:08:33 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-16 10:25:12 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-16 10:37:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-16 10:40:27 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 252 seconds) |
| 2024-10-16 10:41:11 +0200 | euleritian | (~euleritia@dynamic-176-000-013-113.176.0.pool.telefonica.de) |
| 2024-10-16 10:44:40 +0200 | euleritian | (~euleritia@dynamic-176-000-013-113.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-16 10:44:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-16 10:44:57 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-16 10:49:20 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 255 seconds) |
| 2024-10-16 10:50:05 +0200 | euleritian | (~euleritia@dynamic-176-000-013-113.176.0.pool.telefonica.de) |
| 2024-10-16 10:57:31 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-16 11:10:18 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-16 11:11:27 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-16 11:18:45 +0200 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 248 seconds) |
| 2024-10-16 11:18:57 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-10-16 11:19:37 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-16 11:20:45 +0200 | td_ | (~td@i53870917.versanet.de) td_ |
| 2024-10-16 11:27:15 +0200 | CiaoSen | (~Jura@2a05:5800:2e2:7900:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds) |
| 2024-10-16 11:27:18 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-10-16 11:59:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2024-10-16 12:03:41 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-16 12:14:30 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb52c012f628d3821a0d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-16 12:16:55 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb52c012f628d3821a0d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-16 12:17:48 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-16 12:22:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-16 12:32:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 12:48:18 +0200 | akegalj | (~akegalj@254-33.dsl.iskon.hr) akegalj |
| 2024-10-16 12:49:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-a991-2659-c7b3-e93f.rev.sfr.net) alexherbo2 |
| 2024-10-16 12:49:54 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-10-16 12:50:05 +0200 | ubert1 | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-16 12:52:23 +0200 | ubert1 | ubert |
| 2024-10-16 12:53:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-10-16 12:59:03 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-16 13:00:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7493:5a1e:80a9:6822) |
| 2024-10-16 13:10:09 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-10-16 13:12:33 +0200 | <Leonard26> | Hello, I have these few lines of code |
| 2024-10-16 13:12:34 +0200 | <Leonard26> | Â clock <- Gst.systemClockObtain |
| 2024-10-16 13:12:34 +0200 | <Leonard26> | Â setObjectPropertyParamSpec clock "clock-type" (Just Gst.ClockTypeMonotonic) |
| 2024-10-16 13:12:35 +0200 | <Leonard26> | which are throwing this error |
| 2024-10-16 13:12:35 +0200 | <Leonard26> |   * Required ancestor ‘Gst.SystemClock’ not found for type ‘Gst.Clock’. |
| 2024-10-16 13:12:36 +0200 | <Leonard26> | Â Â * In a stmt of a 'do' block: |
| 2024-10-16 13:12:36 +0200 | <Leonard26> | Â Â Â Â Gst.setSystemClockClockType clock Gst.ClockTypeMonotonic |
| 2024-10-16 13:12:37 +0200 | <Leonard26> | Â Â Â In the expression: |
| 2024-10-16 13:12:37 +0200 | <Leonard26> | Â Â Â Â do progName <- getProgName |
| 2024-10-16 13:12:38 +0200 | <Leonard26> | Â Â Â Â Â Â args <- getArgs |
| 2024-10-16 13:12:38 +0200 | <Leonard26> | Â Â Â Â Â Â void $ Gst.init Nothing |
| 2024-10-16 13:12:39 +0200 | <Leonard26> | Â Â Â Â Â Â loop <- GLib.mainLoopNew Nothing False |
| 2024-10-16 13:12:39 +0200 | <Leonard26> | Â Â Â Â Â Â .... |
| 2024-10-16 13:12:40 +0200 | <Leonard26> | Â Â Â In an equation for `main': |
| 2024-10-16 13:12:40 +0200 | <Leonard26> | Â Â Â Â Â main |
| 2024-10-16 13:12:41 +0200 | <Leonard26> | Â Â Â Â Â Â = do progName <- getProgName |
| 2024-10-16 13:12:41 +0200 | <Leonard26> | Â Â Â Â Â Â Â Â Â args <- getArgs |
| 2024-10-16 13:12:42 +0200 | <Leonard26> | Â Â Â Â Â Â Â Â Â void $ Gst.init Nothing |
| 2024-10-16 13:13:00 +0200 | CiaoSen | (~Jura@2a05:5800:2e2:7900:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-16 13:14:36 +0200 | <Leonard26> | Sorry, the code is actually this |
| 2024-10-16 13:14:37 +0200 | <Leonard26> | Â clock <- Gst.systemClockObtain |
| 2024-10-16 13:14:37 +0200 | <Leonard26> | Â Gst.setSystemClockClockType clock Gst.ClockTypeMonotonic |
| 2024-10-16 13:15:58 +0200 | <Leonard26> | These are the language binding pages |
| 2024-10-16 13:15:59 +0200 | <Leonard26> | https://hackage.haskell.org/package/gi-gst-1.0.29/docs/GI-Gst-Objects-SystemClock.html#v:systemClo… |
| 2024-10-16 13:15:59 +0200 | <Leonard26> | https://hackage.haskell.org/package/gi-gst-1.0.29/docs/GI-Gst-Objects-SystemClock.html#v:setSystem… |
| 2024-10-16 13:18:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-10-16 13:27:20 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 13:28:43 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) |
| 2024-10-16 13:34:03 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-16 13:34:32 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-16 13:37:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-16 13:41:08 +0200 | <yin> | Leonard26: pasting multiple lines of code like that is generally frowned upon on IRC. you can refer to /topic for a suggestion of pastebin |
| 2024-10-16 13:41:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-10-16 13:42:03 +0200 | <Leonard26> | I'm sorry |
| 2024-10-16 13:42:15 +0200 | <yin> | no probl |
| 2024-10-16 13:42:43 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 13:43:42 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-16 13:43:57 +0200 | mari-estel | (~mari-este@dynamic-176-000-012-114.176.0.pool.telefonica.de) |
| 2024-10-16 13:44:20 +0200 | <Leonard26> | where can I find topic? |
| 2024-10-16 13:45:55 +0200 | <Leonard26> | never mind |
| 2024-10-16 13:45:55 +0200 | <Leonard26> | https://paste.tomsmeding.com/4r4fOQw1 |
| 2024-10-16 13:45:56 +0200 | <Leonard26> | is this good? |
| 2024-10-16 13:47:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-16 13:48:09 +0200 | <_________> | my guess you're missing a cast toSystemClock, `Gst.setSystemClockClockType (Gst.toSystemClock clock) Gst.ClockTypeMonotonic` |
| 2024-10-16 13:48:37 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb52c012f628d3821a0d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-16 13:51:50 +0200 | <Leonard26> | If I do that I get this error https://paste.tomsmeding.com/Johk5y9I |
| 2024-10-16 13:52:28 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-10-16 13:56:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-16 13:58:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-10-16 13:59:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 14:00:16 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-16 14:00:27 +0200 | mari-estel | (~mari-este@dynamic-176-000-012-114.176.0.pool.telefonica.de) (Remote host closed the connection) |
| 2024-10-16 14:00:41 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) |
| 2024-10-16 14:01:09 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-10-16 14:02:41 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-10-16 14:05:32 +0200 | <mauke> | wrong variable |
| 2024-10-16 14:05:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-10-16 14:06:08 +0200 | <mauke> | I don't know this library at all, but based on vibes that expression should be using systemClock, not clock |
| 2024-10-16 14:07:02 +0200 | <Leonard26> | which expression? |
| 2024-10-16 14:08:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-a991-2659-c7b3-e93f.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-16 14:09:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-c5ea-f53b-76f7-b012.rev.sfr.net) alexherbo2 |
| 2024-10-16 14:10:09 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-16 14:10:45 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) |
| 2024-10-16 14:11:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 14:12:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-c5ea-f53b-76f7-b012.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-16 14:15:09 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-16 14:15:36 +0200 | mari-estel | (~mari-este@2a02:3032:a:b950:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-16 14:18:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-bcd0-f096-7e13-6351.rev.sfr.net) alexherbo2 |
| 2024-10-16 14:24:35 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-10-16 14:25:46 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2024-10-16 14:33:46 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-10-16 14:40:06 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 14:44:28 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-16 14:44:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 14:46:01 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-16 14:48:35 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Quit: ;-) |
| 2024-10-16 14:49:27 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) (Quit: Leaving) |
| 2024-10-16 14:52:34 +0200 | CiaoSen | (~Jura@2a05:5800:2e2:7900:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-10-16 14:54:35 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-16 15:01:12 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-10-16 15:09:04 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-16 15:14:09 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-10-16 15:17:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 15:26:44 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-16 15:27:31 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-16 15:28:14 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-10-16 15:30:05 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-16 15:34:31 +0200 | <tomsmeding> | It is possible to `foreign import` a C function into haskell, and it's possible to `foreign export` a Haskell function to C. Is it also possible to export a `foreign import`ed function directly? |
| 2024-10-16 15:35:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 15:35:07 +0200 | <tomsmeding> | the use case is: I have a Haskell library with some C files, and I want those C functions to be available to C code in a Haskell package that uses my library |
| 2024-10-16 15:35:16 +0200 | <tomsmeding> | but they don't seem to be |
| 2024-10-16 15:38:02 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5235ae61ad8eb9114d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-16 15:51:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 15:52:47 +0200 | <tomsmeding> | (when during a typical week are the RTS hackers around? :p) |
| 2024-10-16 15:53:23 +0200 | synchromesh | (~john@2406:5a00:2497:300:3d3b:a134:d9b5:8c99) (Read error: Connection reset by peer) |
| 2024-10-16 15:54:52 +0200 | synchromesh | (~john@2406:5a00:2497:300:3d3b:a134:d9b5:8c99) synchromesh |
| 2024-10-16 15:55:08 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-16 15:56:42 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-16 15:58:22 +0200 | <__monty__> | That sounds cursed, I love it! No useful information for you though. Unless, are you still initializing the RTS? Or are you expecting things to pass straight from C to C? |
| 2024-10-16 15:58:55 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-16 15:59:05 +0200 | <tomsmeding> | this is in the context of a haskell program, the RTS is running and everything |
| 2024-10-16 15:59:11 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-16 15:59:26 +0200 | <tomsmeding> | essentially my library has a Haskell API and a C API and I expect the user to use both |
| 2024-10-16 15:59:34 +0200 | <tomsmeding> | (from haskell) |
| 2024-10-16 15:59:44 +0200 | <tomsmeding> | (and from cbits) |
| 2024-10-16 16:00:30 +0200 | <mari-estel> | sounds a bit convoluted. One can expect c users to be more, so releasing the c part independently could make more sense |
| 2024-10-16 16:00:47 +0200 | <tomsmeding> | the C part only makes sense in the context of the haskell part |
| 2024-10-16 16:00:49 +0200 | <tomsmeding> | they are not independent |
| 2024-10-16 16:00:54 +0200 | <tomsmeding> | (unfortunately) |
| 2024-10-16 16:01:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 16:01:11 +0200 | <tomsmeding> | the library defines an embedded language, and the runtime of that language has a C part for performance |
| 2024-10-16 16:01:29 +0200 | <tomsmeding> | the "users" of this language include the implementation of various additional backends for the language, and they need to hook into the C parts |
| 2024-10-16 16:02:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-16 16:06:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 16:07:56 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-16 16:07:56 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-16 16:08:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-16 16:10:11 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-16 16:14:46 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-16 16:19:41 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5235ae61ad8eb9114d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-16 16:33:14 +0200 | <int-e> | tomsmeding: isn't this a matter of writing a .h file and installing it with the packahe using install-includes? |
| 2024-10-16 16:34:06 +0200 | <int-e> | (which is largely outside of ghc territory) |
| 2024-10-16 16:34:42 +0200 | spew | (~spew@155.133.15.218) spew |
| 2024-10-16 16:41:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 16:42:23 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb524535a5916ecc490b.dip0.t-ipconnect.de) acidjnk |
| 2024-10-16 16:46:00 +0200 | Everything | (~Everythin@46.211.68.82) Everything |
| 2024-10-16 16:46:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-16 17:03:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-16 17:06:44 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:ea6a:37b1:100f:1ca1) (Remote host closed the connection) |
| 2024-10-16 17:09:30 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-16 17:10:12 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:ea6a:37b1:100f:1ca1) |
| 2024-10-16 17:15:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2024-10-16 17:23:03 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-10-16 17:23:19 +0200 | tv | (~tv@user/tv) tv |
| 2024-10-16 17:24:45 +0200 | Everything | (~Everythin@46.211.68.82) (Quit: leaving) |
| 2024-10-16 17:27:15 +0200 | alp_ | alp |
| 2024-10-16 17:27:21 +0200 | alp | (~alp@2001:861:e3d6:8f80:ea6a:37b1:100f:1ca1) (Changing host) |
| 2024-10-16 17:27:21 +0200 | alp | (~alp@user/alp) alp |
| 2024-10-16 17:27:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 17:34:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-16 17:38:08 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-16 17:40:17 +0200 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2024-10-16 17:42:24 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-16 17:44:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-10-16 17:45:57 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-16 17:46:58 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-16 17:52:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-16 17:55:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 17:59:47 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-16 18:07:10 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-16 18:08:50 +0200 | crazazy | (~crazazy@tilde.town) crazazy |
| 2024-10-16 18:09:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-16 18:21:44 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-16 18:24:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-16 18:27:01 +0200 | Everything | (~Everythin@46.211.68.82) Everything |
| 2024-10-16 18:28:55 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-16 18:30:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330c-261d-bcd0-f096-7e13-6351.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-16 18:32:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-16 18:35:35 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-10-16 18:35:45 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Client Quit) |
| 2024-10-16 18:39:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 18:40:16 +0200 | <tomsmeding> | int-e: it isn't a matter of the names not being available, in this case it would be easy to write said .h file or just define the names locally with a forward declaration. The _linker_ cannot find the names |
| 2024-10-16 18:40:56 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-16 18:41:43 +0200 | <int-e> | That's odd; in my quick experiment the symbols from stuff added with c-sources were both in the .a files (no surprise there; the .o file is included) and the shared libraries. |
| 2024-10-16 18:42:57 +0200 | <int-e> | (But it *is* tricky for executables that want to use dynamic linking later, because in that context, linkers discard unused symbols by default.) |
| 2024-10-16 18:44:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-16 18:50:18 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Remote host closed the connection) |
| 2024-10-16 18:50:40 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-16 18:53:52 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Remote host closed the connection) |
| 2024-10-16 18:55:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 18:57:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-16 18:59:10 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-10-16 18:59:32 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-16 19:00:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-16 19:08:17 +0200 | <sam113101> | does haskell have multiline lambdas? |
| 2024-10-16 19:10:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 19:10:55 +0200 | Everything | (~Everythin@46.211.68.82) (Quit: leaving) |
| 2024-10-16 19:11:21 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-10-16 19:12:36 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-16 19:13:22 +0200 | akegalj | (~akegalj@254-33.dsl.iskon.hr) (Quit: leaving) |
| 2024-10-16 19:17:00 +0200 | <tomsmeding> | int-e: notable is that everything works if the end-user (that links the executable) passes -dynamic to ghc |
| 2024-10-16 19:17:06 +0200 | <tomsmeding> | but I don't want to enforce that on my users |
| 2024-10-16 19:17:25 +0200 | <tomsmeding> | (because it's not the default, and it ought to not be necessary) |
| 2024-10-16 19:17:37 +0200 | <int-e> | tomsmeding: so you *are* using dynamic linking? |
| 2024-10-16 19:17:50 +0200 | <tomsmeding> | ok lemme try to make a reproducer lol |
| 2024-10-16 19:17:52 +0200 | Square2 | (~Square@user/square) Square |
| 2024-10-16 19:17:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 19:18:56 +0200 | <geekosaur> | sam113101, do you mean lambdas with multiple defining equations? no. but in ghc 9.8+ you may be able to use `\cases` |
| 2024-10-16 19:20:53 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-16 19:21:04 +0200 | <int-e> | tomsmeding: The scenario where I understand how it would fail is if an executable tries to load code with dlopen() or similar, while not using dynamic libraries. If that's not what you're doing then I don't understand why it fails atm. |
| 2024-10-16 19:21:42 +0200 | <tomsmeding> | int-e: ... you're right |
| 2024-10-16 19:21:49 +0200 | <tomsmeding> | I forgot that important point |
| 2024-10-16 19:22:19 +0200 | <tomsmeding> | I have library B that depends on library A, and in B I want to dlopen() code that should see the symbols defined by C code in library A |
| 2024-10-16 19:22:59 +0200 | <tomsmeding> | but the awkward thing is that B is a _library_, so B would have to have a big fat warning in its documentation that any end-user that compiles an executable E must pass -dynamic |
| 2024-10-16 19:23:19 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-16 19:23:46 +0200 | <int-e> | So whoever links the executable has to make sure that those symbols are actually linked into the program. That means messing with --export-dynamic or related linker flags. |
| 2024-10-16 19:24:02 +0200 | <tomsmeding> | presumably |
| 2024-10-16 19:24:16 +0200 | <tomsmeding> | we tried something similar to that and it didn't work |
| 2024-10-16 19:24:33 +0200 | <tomsmeding> | well -- we tried that on the library (B), that that didn't work |
| 2024-10-16 19:24:35 +0200 | <tomsmeding> | *and that |
| 2024-10-16 19:24:50 +0200 | <tomsmeding> | I'd like to avoid having to make the end-user pass additional flags to anything |
| 2024-10-16 19:25:03 +0200 | <int-e> | no it has to be the executable (that should be linked against both A and B anyway?) |
| 2024-10-16 19:25:13 +0200 | <tomsmeding> | right |
| 2024-10-16 19:25:57 +0200 | <tomsmeding> | okay so I can reproduce this even without dlopen() |
| 2024-10-16 19:26:06 +0200 | <tomsmeding> | I'm probably doing _something_ wrong, please tell me what |
| 2024-10-16 19:27:04 +0200 | <geekosaur> | wait, are you trying to work with a transitive dependency? what platform? |
| 2024-10-16 19:27:08 +0200 | <tomsmeding> | int-e: https://git.tomsmeding.com/hs-c-hs-c-repro |
| 2024-10-16 19:27:40 +0200 | <tomsmeding> | I'd like all of this to work on linux, mac _and_ windows (substituting LoadLibrary() on windows) |
| 2024-10-16 19:27:53 +0200 | <geekosaur> | ELF can do them, but might be used in a way that can't (but I haven't seen that since Solaris) and Linux and FreeBSD are fine with it. ECOFF (Windows, MacOS) can't. |
| 2024-10-16 19:28:15 +0200 | <tomsmeding> | int-e: if I compile this with just 'cabal build' then I get ..../bar.o:bar.c:function bar:(.text+0x9): error: undefined reference to 'foo' |
| 2024-10-16 19:28:55 +0200 | <tomsmeding> | sure, my actual usecase has dlopen() involved as well, but if even this doesn't work, then surely seeing foo() from a dlopen()ed library is also not going to work |
| 2024-10-16 19:28:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 19:29:30 +0200 | <geekosaur> | oh, if you can reproduce without dlopen then it's not that |
| 2024-10-16 19:29:32 +0200 | euleritian | (~euleritia@dynamic-176-000-013-113.176.0.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-16 19:29:55 +0200 | <tomsmeding> | it may well be that if we get this example to work, the full dlopen() situation still fails! |
| 2024-10-16 19:32:29 +0200 | <tomsmeding> | (sorry for the excessively nested directory structure) |
| 2024-10-16 19:33:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-16 19:34:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 19:34:36 +0200 | <int-e> | "However having both a library and executables in a package does not work very well; if the executables depend on the library, they must explicitly list all the modules they directly or indirectly import from that library." |
| 2024-10-16 19:35:05 +0200 | <tomsmeding> | grr must I really create two separate packages for this |
| 2024-10-16 19:36:08 +0200 | <tomsmeding> | int-e: where is that quote from? |
| 2024-10-16 19:36:19 +0200 | <tomsmeding> | if that is the status quo, then what is the point of allowing multiple components? |
| 2024-10-16 19:36:36 +0200 | <int-e> | https://cabal.readthedocs.io/en/3.4/cabal-package.html |
| 2024-10-16 19:36:39 +0200 | <tomsmeding> | surely the most obvious and common use-case is to have a library, possibly an executable that depends on it, and a testsuite and/or a benchmark? |
| 2024-10-16 19:37:11 +0200 | <int-e> | it's not applicable though |
| 2024-10-16 19:37:19 +0200 | <tomsmeding> | int-e: can't find it here any more https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html |
| 2024-10-16 19:37:22 +0200 | <int-e> | - build-depends: base >=4.17 |
| 2024-10-16 19:37:23 +0200 | <int-e> | + build-depends: base >=4.17, testlib |
| 2024-10-16 19:37:25 +0200 | <tomsmeding> | perhaps that was the case in 3.4 but it's been improved? |
| 2024-10-16 19:37:31 +0200 | <tomsmeding> | omg |
| 2024-10-16 19:37:36 +0200 | <int-e> | do that for the executable and it'll link |
| 2024-10-16 19:37:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-16 19:38:07 +0200 | <tomsmeding> | okay I'm stupid |
| 2024-10-16 19:38:08 +0200 | <int-e> | I just didn't realize that it was called 'testlib' locally |
| 2024-10-16 19:38:29 +0200 | <tomsmeding> | thanks for busting my broken reproducer |
| 2024-10-16 19:38:46 +0200 | <tomsmeding> | okay so it's probably dlopen(), then |
| 2024-10-16 19:38:52 +0200 | <int-e> | (otherwise I'd have found that a bit quicker) |
| 2024-10-16 19:39:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-16 19:39:28 +0200 | <tomsmeding> | so should I not expect a dlopen()ed shared library to find any symbols at all from the haskell side? |
| 2024-10-16 19:39:41 +0200 | <tomsmeding> | (assuming that the executable is linked _without_ -dynamic) |
| 2024-10-16 19:39:53 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Remote host closed the connection) |
| 2024-10-16 19:40:08 +0200 | <tomsmeding> | s/haskell/host (i.e. executable that performs the dlopen())/ |
| 2024-10-16 19:40:10 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-16 19:40:20 +0200 | <raehik> | There's no way I can write inductive type class instances on a `data A (n :: Natural)`, right? Like `instance C (A 0)`, `instance C (A n)` |
| 2024-10-16 19:40:25 +0200 | <int-e> | yes, you have to instruct the linker specially if you want the executable to export dynamic linkers (which is required for the dynamic linker to find them) |
| 2024-10-16 19:40:32 +0200 | <int-e> | specifically |
| 2024-10-16 19:40:47 +0200 | <tomsmeding> | export dynamic *symbols? |
| 2024-10-16 19:40:59 +0200 | <tomsmeding> | I see |
| 2024-10-16 19:41:01 +0200 | <int-e> | yes |
| 2024-10-16 19:41:38 +0200 | <tomsmeding> | raehik: I don't think so, no; in terms you can use the plugins (ghc-typelits-natnormalise and ghc-typelits-knownnat) but those don't get the chance to work there |
| 2024-10-16 19:41:59 +0200 | <tomsmeding> | (well, those plus changes in upcoming ghc 9.12) |
| 2024-10-16 19:42:28 +0200 | <geekosaur> | don't you usually want type families in that case instead? |
| 2024-10-16 19:42:39 +0200 | <tomsmeding> | int-e: thanks! This means we'll have to "manually link", i.e. pass the addresses of the required functions from haskell to the dlopen()ed library manually as function pointers |
| 2024-10-16 19:42:59 +0200 | <tomsmeding> | (we do have control over the code in the dlopen()ed library) |
| 2024-10-16 19:43:05 +0200 | <raehik> | tomsmeding: thx just checking :) |
| 2024-10-16 19:43:14 +0200 | <tomsmeding> | raehik: what geekosaur wrote |
| 2024-10-16 19:43:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 19:44:39 +0200 | <raehik> | geekosaur: hmm, I'll give it a try. not sure why I was avoiding them |
| 2024-10-16 19:46:47 +0200 | <int-e> | tomsmeding: Unless I'm grossly misinformed (haven't tested), this isn't Haskell specific either; C programs have the same issue. |
| 2024-10-16 19:47:08 +0200 | <tomsmeding> | I wouldn't be surprised |
| 2024-10-16 19:47:47 +0200 | <tomsmeding> | (context: this is about improved backend work for Accelerate) |
| 2024-10-16 19:48:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-16 19:49:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-16 19:52:44 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-16 19:54:24 +0200 | euleritian | (~euleritia@dynamic-176-000-161-134.176.0.pool.telefonica.de) |
| 2024-10-16 19:59:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 20:01:25 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 248 seconds) |
| 2024-10-16 20:02:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-16 20:02:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-16 20:03:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-16 20:04:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 20:04:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-16 20:06:51 +0200 | <raehik> | I might have solved my problem via an intermediate type class and a rather scary unsafeCoerce! |
| 2024-10-16 20:07:36 +0200 | <raehik> | *and an OVERLAPPING pragma. lol |
| 2024-10-16 20:09:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-16 20:13:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-16 20:13:41 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2024-10-16 20:15:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 20:16:19 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2024-10-16 20:25:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 20:25:36 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-10-16 20:26:56 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-10-16 20:29:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-16 20:32:44 +0200 | <tomsmeding> | int-e geekosaur: from the person who's actually working on the library in question: hs_try_putmvar() is a function exposed by the RTS, and that function _is_ available from the dlopen()ed library |
| 2024-10-16 20:33:07 +0200 | <tomsmeding> | is that function explicitly exported somehow by GHC? Can we do that same thing too for our symbols? |
| 2024-10-16 20:33:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 20:34:17 +0200 | <tomsmeding> | `nm the_executable` gives "no symbols" |
| 2024-10-16 20:35:14 +0200 | <int-e> | There's magic around RTS symbols that I've never unraveled. https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/RtsSymbols.c?ref_type=heads#L599 is a part of that. |
| 2024-10-16 20:36:42 +0200 | identity | (~identity@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-10-16 20:36:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 20:37:31 +0200 | <geekosaur> | a lot of RTS symbols get explicitly linked in via `-Wl,-u` options to the linker |
| 2024-10-16 20:37:56 +0200 | euleritian | (~euleritia@dynamic-176-000-161-134.176.0.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-16 20:38:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-16 20:38:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-16 20:40:17 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/rts.cabal?ref_type=heads#L594-623 |
| 2024-10-16 20:40:22 +0200 | <int-e> | hmm. interestingly, hs_try_putmvar is not one of them. |
| 2024-10-16 20:41:00 +0200 | <geekosaur> | tomsmeding, via cabal? probably still gets stripped by default. try `nm -A`? |
| 2024-10-16 20:41:04 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-16 20:41:31 +0200 | <tomsmeding> | geekosaur: via cabal yes, nm -A gives nothing |
| 2024-10-16 20:41:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-16 20:42:02 +0200 | <tomsmeding> | but then, "getting stripped by default" is also something one might be able to change, but not us |
| 2024-10-16 20:44:11 +0200 | <geekosaur> | --disable-executable-stripping but it's broken in older cabals |
| 2024-10-16 20:44:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 20:44:47 +0200 | <tomsmeding> | geekosaur: suppose I pass that to cabal now, what will that tell me? I don't want to require the user to do that |
| 2024-10-16 20:45:23 +0200 | <geekosaur> | dunno, tbh |
| 2024-10-16 20:45:26 +0200 | <tomsmeding> | int-e: I recall analysing the CPP in that file and concluding that there's nothing much happening, at least not for hs_try_putmvar |
| 2024-10-16 20:45:28 +0200 | <tomsmeding> | perhaps I'm wrong |
| 2024-10-16 20:46:15 +0200 | <tomsmeding> | in the first occurrence at :1039, SymI_HasProto is defined as nothing |
| 2024-10-16 20:46:38 +0200 | <tomsmeding> | the second occurrence (:1083) is inside an array, which the rts might do whatever with but surely not the linker |
| 2024-10-16 20:46:44 +0200 | <tomsmeding> | and that's it |
| 2024-10-16 20:50:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-16 20:51:45 +0200 | <int-e> | tomsmeding: I see the hs_try_putmvar symbol is exported as a debug symbol, but not as a dynamic symbol... so I don't think dlopen *should* find it. |
| 2024-10-16 20:54:55 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-16 20:56:14 +0200 | <int-e> | tomsmeding: playing around: https://paste.tomsmeding.com/4I3XWDis |
| 2024-10-16 20:56:34 +0200 | <int-e> | (T.hs is just main = pure ()) |
| 2024-10-16 20:57:23 +0200 | <int-e> | somehow, adding an -optl flag does *not* trigger the relink check |
| 2024-10-16 20:57:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-16 20:57:29 +0200 | ljdarj1 | ljdarj |
| 2024-10-16 20:59:45 +0200 | <int-e> | (oh and there's no point in the -O2... just a silly habit) |
| 2024-10-16 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-16 21:00:06 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-10-16 21:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-16 21:00:46 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-16 21:01:07 +0200 | <tomsmeding> | int-e: hm, I can't reproduce being able to see hs_try_putmvar in a test |
| 2024-10-16 21:01:39 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-16 21:02:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 21:03:49 +0200 | <tomsmeding> | ( https://paste.tomsmeding.com/EVmAn3Ee ) |
| 2024-10-16 21:04:16 +0200 | <tomsmeding> | so I dunno :) |
| 2024-10-16 21:04:27 +0200 | <tomsmeding> | perhaps I'll return later with more precise questions about hs_try_putmvar :p |
| 2024-10-16 21:05:31 +0200 | <int-e> | tomsmeding: well that's in line with my expectations |
| 2024-10-16 21:05:36 +0200 | <tomsmeding> | yeah |
| 2024-10-16 21:07:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-16 21:08:36 +0200 | <int-e> | tomsmeding: can confirm that linking the Haskell program with -optl-Wl,--export-dynamic-symbol=hs_try_putmvar allows the shared object to be loaded |
| 2024-10-16 21:08:46 +0200 | <tomsmeding> | right |
| 2024-10-16 21:08:49 +0200 | <tomsmeding> | that makes sense |
| 2024-10-16 21:09:07 +0200 | <int-e> | so I think that confirms most of what I've said (nice for me) |
| 2024-10-16 21:09:44 +0200 | <tomsmeding> | yes it does |
| 2024-10-16 21:10:03 +0200 | <tomsmeding> | I'm fairly sure we observed some behaviour contradictory with this, but absent proof that doesn't say much :p |
| 2024-10-16 21:10:10 +0200 | <tomsmeding> | given that this world makes sense |
| 2024-10-16 21:10:48 +0200 | <int-e> | Well, all this is for Linux; other platforms may be different. Heck other tool chains might be different too. |
| 2024-10-16 21:10:55 +0200 | <tomsmeding> | all testing was on linux |
| 2024-10-16 21:12:10 +0200 | <int-e> | I think the hammer for this is -optl-Wl,-E but it also makes the executable much larger |
| 2024-10-16 21:12:46 +0200 | <int-e> | (that exports *all* symbols dynamically, as if you were building a shared library) |
| 2024-10-16 21:13:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-16 21:15:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-16 21:18:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 21:21:09 +0200 | <tomsmeding> | int-e: thanks for the help tonight, by the way! |
| 2024-10-16 21:23:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-16 21:33:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 21:34:43 +0200 | euleritian | (~euleritia@176.0.161.134) |
| 2024-10-16 21:34:55 +0200 | alp | (~alp@user/alp) (Ping timeout: 264 seconds) |
| 2024-10-16 21:38:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 21:39:30 +0200 | <haskellbridge> | <Paul Brinkmeier> Hi everyone, is there a nice way to compile Haskell in the browser? Not _for_, but _in_, i.e. I want users to be able to supply programs. I only know tryhaskell.org does this server-side 🤷 I guess GHC is quite the beast so it wouldn't be simple. |
| 2024-10-16 21:42:21 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-16 21:44:26 +0200 | <monochrom> | play.haskell.org |
| 2024-10-16 21:44:28 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-16 21:45:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 21:48:53 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-16 21:49:50 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 2024-10-16 21:50:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-16 21:52:24 +0200 | alp | (~alp@2001:861:e3d6:8f80:cfc1:c60c:c177:1e26) |
| 2024-10-16 21:53:23 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-16 21:57:18 +0200 | euleritian | (~euleritia@176.0.161.134) (Read error: Connection reset by peer) |
| 2024-10-16 21:57:35 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-16 22:01:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 22:02:59 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 255 seconds) |
| 2024-10-16 22:07:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 22:09:02 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-16 22:11:01 +0200 | <geekosaur> | sounded to me like they want the js or wasm backend to be farther along than it currently is, such that it can successfully self-host? |
| 2024-10-16 22:11:34 +0200 | <geekosaur> | (and I suspect that's a fool's errand unless the intended users have 64GB or more) |
| 2024-10-16 22:13:44 +0200 | <EvanR> | if you can't rebuild the entire tower of webtechnology inside the js developer console what's the point |
| 2024-10-16 22:18:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-16 22:18:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 22:18:58 +0200 | <int-e> | . o O ( start with https://bellard.org/jslinux/ ? :-P ) |
| 2024-10-16 22:24:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 22:25:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 22:28:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-16 22:31:09 +0200 | <tomsmeding> | Paul: yeah play.haskell.org if that suits your needs, but it's still on the server. Compiling haskell in the browser with GHC will straight-up not work because a native installation of GHC is already >2GB, so compiled to JS/wasm it'll be even larger and be utterly impractical |
| 2024-10-16 22:31:17 +0200 | <tomsmeding> | (imagine a webpage being >2GB) |
| 2024-10-16 22:32:17 +0200 | <tomsmeding> | compiling on the server to JS/wasm and running the result in the browser is less draconically impossible, but still the bundle will be multiple MBs large even for small programs ( https://github.com/haskell/play-haskell/issues/31#issuecomment-1469563970 ) |
| 2024-10-16 22:33:05 +0200 | <tomsmeding> | if you're okay with essentially Haskell98 and living in that same era, you could try compiling Hugs (a Haskell interpreter written in C) to wasm and running that in the browser |
| 2024-10-16 22:36:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 22:37:36 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-16 22:38:30 +0200 | <haskellbridge> | <sm> Paul Brinkmeier: you can compile hell (a haskell-like scripting dialect) in the browser |
| 2024-10-16 22:39:30 +0200 | <haskellbridge> | <sm> +link (https://mastodon.social/@chrisdone/113296422310916016) |
| 2024-10-16 22:40:46 +0200 | <haskellbridge> | <sm> https://code.world/haskell also lets you enter haskell programs |
| 2024-10-16 22:41:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 22:41:48 +0200 | <haskellbridge> | <sm> microhs has some kind of support for compiling things to wasm, but I don't think it runs in the browser itself |
| 2024-10-16 22:41:56 +0200 | <EvanR> | is there a link to "hell" |
| 2024-10-16 22:42:03 +0200 | <EvanR> | uh |
| 2024-10-16 22:45:09 +0200 | <EvanR> | https://chrisdone.com/posts/hell/ |
| 2024-10-16 22:45:34 +0200 | <monochrom> | "The road to hell is paved with URLs" >:) |
| 2024-10-16 22:47:32 +0200 | <EvanR> | Au... rls |
| 2024-10-16 22:49:38 +0200 | <haskellbridge> | <sm> https://chrisdone.github.io/hell, EvanR |
| 2024-10-16 22:50:28 +0200 | <haskellbridge> | <sm> ... |
| 2024-10-16 22:50:28 +0200 | <haskellbridge> | @where+ hell https://chrisdone.github.io/hell Haskell-like scripting language (2024) |
| 2024-10-16 22:50:28 +0200 | <lambdabot> | I will never forget. |
| 2024-10-16 22:51:44 +0200 | <haskellbridge> | <sm> ... |
| 2024-10-16 22:51:44 +0200 | <haskellbridge> | @where+ microhs https://github.com/augustss/MicroHs a small portable Haskell compiler (2024) |
| 2024-10-16 22:51:44 +0200 | <lambdabot> | Okay. |
| 2024-10-16 22:52:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 22:54:54 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-16 22:56:13 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-10-16 22:56:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-16 22:58:21 +0200 | zai | (~zai@ip-095-223-106-034.um35.pools.vodafone-ip.de) |
| 2024-10-16 23:03:22 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-10-16 23:04:27 +0200 | zai | (~zai@ip-095-223-106-034.um35.pools.vodafone-ip.de) (Quit: Leaving) |
| 2024-10-16 23:07:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 23:08:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-16 23:12:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-16 23:12:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-16 23:14:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-16 23:22:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-16 23:22:54 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-16 23:23:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 23:28:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 23:30:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-16 23:31:33 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 248 seconds) |
| 2024-10-16 23:39:00 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-10-16 23:39:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 23:39:24 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-16 23:39:39 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-16 23:44:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-16 23:45:24 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-16 23:48:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-16 23:48:06 +0200 | ljdarj1 | ljdarj |
| 2024-10-16 23:53:37 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-16 23:55:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-16 23:58:46 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-16 23:59:25 +0200 | ash3en | (~Thunderbi@31.16.203.214) ash3en |