| 2024-06-23 00:02:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-23 00:03:49 +0200 | onliner16 | (~onliner10@83.25.32.202.ipv4.supernova.orange.pl) |
| 2024-06-23 00:04:10 +0200 | onliner16 | (~onliner10@83.25.32.202.ipv4.supernova.orange.pl) (Client Quit) |
| 2024-06-23 00:11:59 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) |
| 2024-06-23 00:13:31 +0200 | AlexZenon | (~alzenon@5.139.233.94) |
| 2024-06-23 00:13:51 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-06-23 00:14:03 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-06-23 00:14:43 +0200 | cheater | (~Username@user/cheater) |
| 2024-06-23 00:23:05 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
| 2024-06-23 00:28:02 +0200 | onliner10 | (~textual@83.25.32.202.ipv4.supernova.orange.pl) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2024-06-23 00:29:17 +0200 | onliner10 | (~textual@83.25.32.202.ipv4.supernova.orange.pl) |
| 2024-06-23 00:32:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-23 00:34:31 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:b439:4365:dde4:38e1) |
| 2024-06-23 00:36:20 +0200 | iza4k5 | (~iza4k5@2806:2f0:5321:fd27:b439:4365:dde4:38e1) (Remote host closed the connection) |
| 2024-06-23 00:37:46 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-23 00:49:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-23 00:51:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-23 00:54:20 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 256 seconds) |
| 2024-06-23 00:55:26 +0200 | Psybur | (~Psybur@2600:1003:b109:c48e:499d:7969:2b87:c826) |
| 2024-06-23 00:55:42 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-23 00:56:47 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:3abb:dd3d:bbe2:6688) (Ping timeout: 268 seconds) |
| 2024-06-23 00:57:20 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
| 2024-06-23 00:58:30 +0200 | onliner10 | (~textual@83.25.32.202.ipv4.supernova.orange.pl) (Textual IRC Client: www.textualapp.com) |
| 2024-06-23 00:58:55 +0200 | edmeme | (~emm@user/edmeme) |
| 2024-06-23 01:01:43 +0200 | Psybur | (~Psybur@2600:1003:b109:c48e:499d:7969:2b87:c826) (Ping timeout: 268 seconds) |
| 2024-06-23 01:05:19 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 01:07:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-23 01:11:35 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2024-06-23 01:14:50 +0200 | onliner10 | (~textual@83.25.32.202.ipv4.supernova.orange.pl) |
| 2024-06-23 01:14:52 +0200 | onliner10 | (~textual@83.25.32.202.ipv4.supernova.orange.pl) (Textual IRC Client: www.textualapp.com) |
| 2024-06-23 01:15:41 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
| 2024-06-23 01:19:46 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-06-23 01:21:11 +0200 | onliner1- | (onliner10@2605:6400:c847:1809::9081) |
| 2024-06-23 01:23:41 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-06-23 01:26:20 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-23 01:27:12 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc8680d285e9fe77a56f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-06-23 01:30:05 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 268 seconds) |
| 2024-06-23 01:31:57 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-23 01:32:04 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-06-23 01:34:29 +0200 | edmeme | (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 2024-06-23 01:35:15 +0200 | wlhn_ | (~wlhn@dl46fx8bgm9q8wl8cy4qy-3.rev.dnainternet.fi) |
| 2024-06-23 01:36:09 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 255 seconds) |
| 2024-06-23 01:36:50 +0200 | joeyadams3 | (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) |
| 2024-06-23 01:38:14 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-06-23 01:38:29 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2024-06-23 01:44:04 +0200 | onliner1- | onliner10 |
| 2024-06-23 01:48:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-23 01:51:22 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 268 seconds) |
| 2024-06-23 01:52:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-23 01:53:16 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-23 01:59:25 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-23 02:07:36 +0200 | mud | (~mud@user/kadoban) |
| 2024-06-23 02:12:02 +0200 | joeyadams3 | (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) (Quit: Leaving) |
| 2024-06-23 02:14:33 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-06-23 02:16:07 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-06-23 02:21:26 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-06-23 02:32:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-23 02:35:52 +0200 | califax | (~califax@user/califx) |
| 2024-06-23 02:38:49 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) (Quit: Leaving) |
| 2024-06-23 02:49:48 +0200 | wlhn_ | (~wlhn@dl46fx8bgm9q8wl8cy4qy-3.rev.dnainternet.fi) (Quit: Leaving) |
| 2024-06-23 02:51:27 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-06-23 02:56:40 +0200 | solaire | (~solaire@182.140.5.103.wi-fi.wi2.ne.jp) |
| 2024-06-23 03:00:23 +0200 | onliner10 | (onliner10@2605:6400:c847:1809::9081) (Changing host) |
| 2024-06-23 03:00:23 +0200 | onliner10 | (onliner10@user/onliner10) |
| 2024-06-23 03:01:24 +0200 | onliner10_ | (uid656258@user/onliner10) |
| 2024-06-23 03:01:39 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2024-06-23 03:07:31 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-23 03:07:38 +0200 | solaire | (~solaire@182.140.5.103.wi-fi.wi2.ne.jp) (Ping timeout: 252 seconds) |
| 2024-06-23 03:10:15 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-06-23 03:10:28 +0200 | boxscape_ | (~boxscape_@236.80-202-53.nextgentel.com) (Quit: Connection closed) |
| 2024-06-23 03:24:51 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
| 2024-06-23 03:25:35 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 03:29:31 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2024-06-23 03:34:57 +0200 | solaire | (~solaire@144.140.5.103.wi-fi.wi2.ne.jp) |
| 2024-06-23 03:36:16 +0200 | yin | (~yin@user/zero) |
| 2024-06-23 03:37:44 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-23 03:38:03 +0200 | ubert | (~Thunderbi@p548c9c74.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-23 03:38:28 +0200 | ubert | (~Thunderbi@p548c973d.dip0.t-ipconnect.de) |
| 2024-06-23 03:39:54 +0200 | euleritian | (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-06-23 03:40:47 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-06-23 03:41:09 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-06-23 03:42:11 +0200 | euleritian | (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) |
| 2024-06-23 03:57:36 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-23 03:57:56 +0200 | califax | (~califax@user/califx) |
| 2024-06-23 04:00:51 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-23 04:02:40 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:da7f:1cc1:3e2d:ef5d) |
| 2024-06-23 04:04:52 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-23 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-06-23 04:05:32 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-06-23 04:06:06 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-06-23 04:08:59 +0200 | rvalue- | rvalue |
| 2024-06-23 04:09:51 +0200 | solaire | (~solaire@144.140.5.103.wi-fi.wi2.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-23 04:10:20 +0200 | euleritian | (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-23 04:11:29 +0200 | euleritian | (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) |
| 2024-06-23 04:12:17 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 04:19:06 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2024-06-23 04:19:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-06-23 04:30:46 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-23 04:37:09 +0200 | yin | (~yin@user/zero) |
| 2024-06-23 04:43:20 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:eb19:86e1:fc3f:bfad) (Remote host closed the connection) |
| 2024-06-23 04:52:32 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-06-23 04:53:14 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-06-23 04:53:39 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 264 seconds) |
| 2024-06-23 04:54:31 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2024-06-23 04:54:55 +0200 | td_ | (~td@i53870927.versanet.de) |
| 2024-06-23 04:55:14 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-06-23 04:55:33 +0200 | andrewboltachev | (~andrey@178.141.121.180) (Quit: Leaving.) |
| 2024-06-23 05:00:45 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1033:7dc7:8000::) |
| 2024-06-23 05:02:34 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1033:7dc7:8000::) (Client Quit) |
| 2024-06-23 05:15:00 +0200 | mud | (~mud@user/kadoban) |
| 2024-06-23 05:18:24 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1033:7dc7:8000::) |
| 2024-06-23 05:19:40 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1033:7dc7:8000::) (Client Quit) |
| 2024-06-23 05:23:15 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2024-06-23 05:25:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-06-23 05:29:30 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 05:31:49 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
| 2024-06-23 05:41:08 +0200 | aforemny | (~aforemny@i59F516C6.versanet.de) |
| 2024-06-23 05:42:35 +0200 | aforemny_ | (~aforemny@i59F516E5.versanet.de) (Ping timeout: 264 seconds) |
| 2024-06-23 05:46:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-23 05:52:20 +0200 | phma | (phma@2001:5b0:210b:aea8:538c:529b:c69b:8275) (Read error: Connection reset by peer) |
| 2024-06-23 05:53:02 +0200 | phma | (~phma@host-67-44-208-90.hnremote.net) |
| 2024-06-23 05:59:57 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2024-06-23 06:04:32 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2024-06-23 06:04:53 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
| 2024-06-23 06:04:55 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 06:05:27 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.0+deb2 - https://znc.in) |
| 2024-06-23 06:13:00 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-06-23 06:13:07 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-06-23 06:15:25 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-06-23 06:21:26 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-23 06:27:19 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-23 06:40:47 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:da7f:1cc1:3e2d:ef5d) (Quit: Leaving) |
| 2024-06-23 06:43:53 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-23 06:55:17 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2024-06-23 07:03:20 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 07:28:12 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:c8a1:76:d03d:bf70) |
| 2024-06-23 07:35:15 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-06-23 07:49:47 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-06-23 07:54:00 +0200 | delillo | (~delillo@2401:4900:1c37:b449:8ad:ed3e:1c45:adc7) |
| 2024-06-23 07:54:47 +0200 | <delillo> | hello |
| 2024-06-23 07:55:58 +0200 | delillo | (~delillo@2401:4900:1c37:b449:8ad:ed3e:1c45:adc7) (Client Quit) |
| 2024-06-23 08:00:54 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-23 08:00:54 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-23 08:00:54 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 08:02:23 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-23 08:12:14 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-06-23 08:29:42 +0200 | erty | (~user@user/aeroplane) |
| 2024-06-23 08:31:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-23 08:37:13 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-06-23 08:37:23 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:b808:4e0a:75bc:2137) |
| 2024-06-23 08:39:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-23 08:52:16 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 246 seconds) |
| 2024-06-23 08:53:02 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-23 09:00:08 +0200 | tt12310978 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-23 09:03:05 +0200 | tt12310978 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-06-23 09:05:01 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-23 09:06:51 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-06-23 09:07:02 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-23 09:20:18 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 09:21:40 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-06-23 09:44:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-23 09:52:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-23 09:54:00 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 09:55:40 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-06-23 09:55:45 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-06-23 10:00:53 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 2024-06-23 10:10:25 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc7721c0cda5f0392c78.dip0.t-ipconnect.de) |
| 2024-06-23 10:12:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-23 10:18:50 +0200 | euleritian | (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-23 10:19:17 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 10:28:26 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-23 10:40:55 +0200 | <andrea_r> | I'm writing the bindings to the Arcan display server text user interface, a C API to create text based applications. The main component of this library is a structure populated with callback function pointers and a void* pointer for some user data to be passed to each called function. |
| 2024-06-23 10:41:28 +0200 | <andrea_r> | I'm using the "wrapper" ffi ccall to generate FunPtr to the haskell functions and a StablePtr to pass them a haskell object, after calling castStablePtrToPtr to cast it to void* and castPtrToStablePtr to retrieve it and de-reference it with deRefStablePtr. |
| 2024-06-23 10:41:41 +0200 | <andrea_r> | Everything works as expected except for one single function, called for dealing with mouse button events. I check if the Ptr () is not null, I can peek it to retrieve the void, I can cast it to a StablePtr and cast it back to Ptr () and it still is not null, but whenever I call deRefStablePtr on it I get a SIGSEG. I checked the C side and I cannot spot any obvious bug. I'm not able to reproduce the issue in a sample |
| 2024-06-23 10:41:41 +0200 | <andrea_r> | code since everything works just fine. Any idea on how to debug this problem? |
| 2024-06-23 10:44:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-23 10:48:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-23 10:49:54 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-23 10:50:19 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-23 11:03:17 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-23 11:09:07 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-23 11:11:54 +0200 | adminb | (~admin@srv27.mikr.us) |
| 2024-06-23 11:12:43 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-23 11:16:24 +0200 | adminb | (~admin@srv27.mikr.us) (Client Quit) |
| 2024-06-23 11:16:44 +0200 | onliner1- | (~onliner10@srv27.mikr.us) |
| 2024-06-23 11:18:49 +0200 | onliner1- | (~onliner10@srv27.mikr.us) (Client Quit) |
| 2024-06-23 11:20:30 +0200 | onliner1- | (~onliner10@srv27.mikr.us) |
| 2024-06-23 11:20:35 +0200 | onliner1- | (~onliner10@srv27.mikr.us) (Client Quit) |
| 2024-06-23 11:22:34 +0200 | onliner1- | (~onliner10@srv27.mikr.us) |
| 2024-06-23 11:26:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-23 11:27:02 +0200 | onliner1- | (~onliner10@srv27.mikr.us) (Changing host) |
| 2024-06-23 11:27:02 +0200 | onliner1- | (~onliner10@user/onliner10) |
| 2024-06-23 11:28:22 +0200 | onliner1- | (~onliner10@user/onliner10) (Textual IRC Client: www.textualapp.com) |
| 2024-06-23 11:28:32 +0200 | onliner1- | (~onliner10@user/onliner10) |
| 2024-06-23 11:28:38 +0200 | onliner1- | (~onliner10@user/onliner10) (Textual IRC Client: www.textualapp.com) |
| 2024-06-23 11:39:21 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 268 seconds) |
| 2024-06-23 11:47:11 +0200 | onliner1- | (~onliner10@srv27.mikr.us) |
| 2024-06-23 11:49:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-23 11:53:35 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 2024-06-23 11:53:59 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2024-06-23 11:58:30 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 2024-06-23 11:58:53 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2024-06-23 11:59:50 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 2024-06-23 12:00:41 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2024-06-23 12:02:15 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:b808:4e0a:75bc:2137) (Ping timeout: 261 seconds) |
| 2024-06-23 12:02:25 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-06-23 12:05:09 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-23 12:05:40 +0200 | onliner1- | (~onliner10@srv27.mikr.us) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-23 12:05:52 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-23 12:08:10 +0200 | onliner1- | (~onliner10@srv27.mikr.us) |
| 2024-06-23 12:10:13 +0200 | onliner1- | (~onliner10@srv27.mikr.us) (Client Quit) |
| 2024-06-23 12:13:54 +0200 | onliner1- | (~onliner10@user/onliner10) |
| 2024-06-23 12:14:32 +0200 | onliner1- | (~onliner10@user/onliner10) (Client Quit) |
| 2024-06-23 12:16:27 +0200 | onliner1- | (~onliner10@user/onliner10) |
| 2024-06-23 12:18:08 +0200 | onliner10 | (onliner10@user/onliner10) (Quit: ZNC - https://znc.in) |
| 2024-06-23 12:29:27 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-23 12:29:27 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-23 12:29:27 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 12:31:46 +0200 | onliner1- | (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-23 12:32:41 +0200 | onliner10 | (~onliner10@user/onliner10) |
| 2024-06-23 12:33:08 +0200 | onliner10 | (~onliner10@user/onliner10) (Client Quit) |
| 2024-06-23 12:34:35 +0200 | onliner10 | (~onliner10@user/onliner10) |
| 2024-06-23 12:36:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-23 12:42:14 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-23 12:42:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-23 12:42:48 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 2024-06-23 12:43:11 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2024-06-23 12:43:56 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-23 12:49:36 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-23 12:54:06 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection) |
| 2024-06-23 12:54:24 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-23 13:01:23 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-23 13:01:47 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-06-23 13:02:35 +0200 | mrmr15533434 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-06-23 13:05:28 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2024-06-23 13:23:06 +0200 | mrmr15533434 | (~mrmr@user/mrmr) |
| 2024-06-23 13:25:21 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-23 13:25:22 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:5ad6:6249:8d15:f48) |
| 2024-06-23 13:31:06 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-23 13:33:14 +0200 | CiaoSen | (~Jura@2a05:5800:292:6000:e6b9:7aff:fe80:3d03) |
| 2024-06-23 13:44:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-23 13:44:55 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-23 13:45:24 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-23 13:47:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-23 13:52:13 +0200 | emm | (~emm@user/edmeme) |
| 2024-06-23 13:52:15 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-23 13:52:51 +0200 | emm | edmeme |
| 2024-06-23 13:58:33 +0200 | CiaoSen | (~Jura@2a05:5800:292:6000:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-06-23 14:03:23 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) |
| 2024-06-23 14:06:26 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-23 14:12:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-23 14:12:42 +0200 | edmeme | (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 2024-06-23 14:12:47 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 14:14:38 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-23 14:19:05 +0200 | emm | (~emm@user/edmeme) |
| 2024-06-23 14:19:52 +0200 | emm | (~emm@user/edmeme) (Client Quit) |
| 2024-06-23 14:20:01 +0200 | edmeme | (~AdminUser@2001:9b1:412b:e700:d6ab:7898:fed5:9283) |
| 2024-06-23 14:21:10 +0200 | edmeme | (~AdminUser@2001:9b1:412b:e700:d6ab:7898:fed5:9283) (Remote host closed the connection) |
| 2024-06-23 14:21:46 +0200 | edmeme | (~quassel@user/edmeme) |
| 2024-06-23 14:28:32 +0200 | edmeme | (~quassel@user/edmeme) (Remote host closed the connection) |
| 2024-06-23 14:29:42 +0200 | andrewboltachev | (~andrey@178.141.121.180) |
| 2024-06-23 14:56:03 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-06-23 15:38:18 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) (Read error: Connection reset by peer) |
| 2024-06-23 15:38:37 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) |
| 2024-06-23 15:48:15 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-06-23 15:52:35 +0200 | <glguy> | andrea_r: I would expect you you to use a StablePtr, or an FFI wrapper, but not both at the same time |
| 2024-06-23 15:54:15 +0200 | <glguy> | Do you mean you're using a function wrapper and it's closure argument is the stable pointer? |
| 2024-06-23 15:57:30 +0200 | andrewboltachev | (~andrey@178.141.121.180) (Remote host closed the connection) |
| 2024-06-23 16:06:12 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-23 16:06:50 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-06-23 16:07:07 +0200 | danse-nr3 | (~danse-nr3@151.19.228.234) |
| 2024-06-23 16:11:51 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-23 16:13:16 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
| 2024-06-23 16:13:51 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Client Quit) |
| 2024-06-23 16:14:31 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-23 16:26:55 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) (Ping timeout: 246 seconds) |
| 2024-06-23 16:27:03 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2024-06-23 16:27:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-06-23 16:32:56 +0200 | <andrea_r> | glguy: yes |
| 2024-06-23 16:34:29 +0200 | <andrea_r> | well, actually the wrapper create the FunPtr. The StablePtr is passed to the haskell function called by the C side |
| 2024-06-23 16:35:35 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 252 seconds) |
| 2024-06-23 16:36:03 +0200 | <glguy> | Can you show me the code you mean? For most C apis would wouldn't need to use a dynamic wrapper. |
| 2024-06-23 16:36:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-23 16:36:34 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:252d:1261:5198:642e) |
| 2024-06-23 16:37:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2024-06-23 16:42:48 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-06-23 16:44:00 +0200 | <andrea_r> | I'll prepare a small example, since I did not commit the offending code yet (I hope to find a solution first) |
| 2024-06-23 16:45:36 +0200 | <andrea_r> | this is the haskell side of the ffi imports (tui_cbcfg is the structure holding the function pointers): https://codeberg.org/andrea_rossato/hs-arcan-shmif/src/branch/main/src/Graphics/Arcan/Tui/Internal… |
| 2024-06-23 16:48:12 +0200 | <andrea_r> | and this is the C side: https://github.com/letoram/arcan/blob/master/src/shmif/arcan_tui.h#L263 |
| 2024-06-23 16:48:37 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:252d:1261:5198:642e) (Ping timeout: 246 seconds) |
| 2024-06-23 16:49:02 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:e850:8eb:949:b4cb) |
| 2024-06-23 16:55:31 +0200 | <glguy> | Neither of these mention StablePtr? |
| 2024-06-23 17:02:01 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-06-23 17:02:19 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 17:09:48 +0200 | rosco | (~rosco@175.136.155.137) (Remote host closed the connection) |
| 2024-06-23 17:11:09 +0200 | erty | (~user@user/aeroplane) |
| 2024-06-23 17:14:31 +0200 | Psybur | (~Psybur@2600:1003:b12f:1bb3:e850:8eb:949:b4cb) (Ping timeout: 268 seconds) |
| 2024-06-23 17:22:47 +0200 | danse-nr3 | (~danse-nr3@151.19.228.234) (Ping timeout: 264 seconds) |
| 2024-06-23 17:37:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-23 17:38:27 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-23 17:39:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-23 17:45:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-23 17:50:59 +0200 | phma | (~phma@host-67-44-208-90.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-23 17:51:54 +0200 | phma | (phma@2001:5b0:211f:5fd8:d0b2:ccd9:b64:4a70) |
| 2024-06-23 17:52:03 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-06-23 17:53:17 +0200 | turlando | (~turlando@user/turlando) |
| 2024-06-23 17:57:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-23 18:01:51 +0200 | danse-nr3 | (~danse-nr3@151.19.228.234) |
| 2024-06-23 18:06:58 +0200 | danse-nr3 | (~danse-nr3@151.19.228.234) (Read error: Connection reset by peer) |
| 2024-06-23 18:07:14 +0200 | yin | (~yin@user/zero) |
| 2024-06-23 18:07:54 +0200 | danse-nr3 | (~danse-nr3@151.57.231.54) |
| 2024-06-23 18:08:45 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-23 18:11:35 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 18:11:46 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:985f:9f1a:d8c8:ebb3) |
| 2024-06-23 18:13:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-23 18:16:25 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
| 2024-06-23 18:16:44 +0200 | yin | (~yin@user/zero) |
| 2024-06-23 18:18:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-06-23 18:21:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-23 18:21:21 +0200 | <haskellbridge> | <Jade> ghc fails with |
| 2024-06-23 18:21:21 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/YuLNuoRsLIuNtkQsdyJNxgIL (5 lines) |
| 2024-06-23 18:23:15 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-23 18:23:33 +0200 | <geekosaur> | does `ld --version` work? |
| 2024-06-23 18:25:01 +0200 | <haskellbridge> | <Jade> ld --version |
| 2024-06-23 18:25:01 +0200 | <haskellbridge> | GNU ld (GNU Binutils) 2.42.0 |
| 2024-06-23 18:26:51 +0200 | <geekosaur> | interesting. if nobody else here has suggestions, I suggest #GHC:matrix.org |
| 2024-06-23 18:30:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-06-23 18:49:53 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-23 18:50:53 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2024-06-23 18:56:29 +0200 | AlexNoo_ | AlexNoo |
| 2024-06-23 19:03:15 +0200 | danse-nr3 | (~danse-nr3@151.57.231.54) (Remote host closed the connection) |
| 2024-06-23 19:30:51 +0200 | dcoutts | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-06-23 19:34:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-23 19:34:39 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 2024-06-23 19:41:58 +0200 | MrFox | (~MrFox___@89-201-255-150.dsl.optinet.hr) |
| 2024-06-23 19:45:24 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 19:45:35 +0200 | wlhn_ | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
| 2024-06-23 19:49:34 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2024-06-23 19:57:16 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-06-23 19:58:09 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-23 20:01:13 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-23 20:10:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-23 20:11:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-06-23 20:12:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-06-23 20:12:15 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
| 2024-06-23 20:14:07 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2024-06-23 20:16:19 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-c1b1-94c2-fafe-f5cb.inf6.spectrum.com) |
| 2024-06-23 20:29:10 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 20:29:41 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 256 seconds) |
| 2024-06-23 20:34:06 +0200 | tomek1 | (~tomek@109-206-217-73.host.skynet.net.pl) |
| 2024-06-23 20:35:52 +0200 | tomek1 | (~tomek@109-206-217-73.host.skynet.net.pl) (Quit: WeeChat 3.8) |
| 2024-06-23 20:36:43 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-c1b1-94c2-fafe-f5cb.inf6.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-06-23 20:37:47 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-06-23 20:39:07 +0200 | emm | (~emm@user/edmeme) |
| 2024-06-23 20:39:11 +0200 | deveng | fernando-basso |
| 2024-06-23 20:40:15 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-06-23 20:45:46 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-23 20:46:46 +0200 | p3n | (~p3n@217.198.124.246) |
| 2024-06-23 20:51:01 +0200 | dcoutts | (~duncan@185.201.60.218) |
| 2024-06-23 20:53:26 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-23 21:01:50 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:5ad6:6249:8d15:f48) (Remote host closed the connection) |
| 2024-06-23 21:02:00 +0200 | DreamDeckUp | (~DreamDeck@184.145.181.233) |
| 2024-06-23 21:02:42 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:dadb:a586:6c1f:5f08) |
| 2024-06-23 21:06:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-23 21:06:56 +0200 | <yin> | hypothetically, hot reloading (changing the code and seeing its effects while the program is running, without reloading it) should be simpler to achieve in a purely functional language, shouldn't it? |
| 2024-06-23 21:08:39 +0200 | DreamDeckUp | (~DreamDeck@184.145.181.233) (Remote host closed the connection) |
| 2024-06-23 21:10:12 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 2024-06-23 21:12:21 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-23 21:12:22 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-23 21:12:22 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 21:13:27 +0200 | dcoutts | (~duncan@185.201.60.218) (Ping timeout: 264 seconds) |
| 2024-06-23 21:15:01 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-23 21:16:38 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-23 21:28:17 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 21:31:09 +0200 | <EvanR> | it's easy in an interpreted language, functional or not |
| 2024-06-23 21:31:57 +0200 | <EvanR> | I'm curious how hot code reloading should work with static types |
| 2024-06-23 21:32:05 +0200 | <EvanR> | can the types change or not during a hot reload |
| 2024-06-23 21:33:35 +0200 | <c_wraith> | I've done hot code reloading in GHC. |
| 2024-06-23 21:33:53 +0200 | <c_wraith> | There are a few limitations you need to worry about. |
| 2024-06-23 21:34:31 +0200 | <c_wraith> | the GHC api doesn't support concurrent use. Not a *huge* deal, but you need to ensure that it's only used serially |
| 2024-06-23 21:35:23 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-23 21:35:28 +0200 | <c_wraith> | You can't reload code coming from a package. Also note a huge deal, but worth making note of |
| 2024-06-23 21:36:32 +0200 | <c_wraith> | even at -O0, GHC can be slow enough that hot reloading is a notable performance hit. This one is a real practical issue, putting upper bounds on the size of the code you can work with |
| 2024-06-23 21:38:20 +0200 | <c_wraith> | In some sense "reloading" is a misnomer. It's loading new modules, not replacing existing ones. And yes, the relevant minimum scope is modules. |
| 2024-06-23 21:39:18 +0200 | <c_wraith> | You need to architect your API around module boundaries that support loading new code and replacing the old code with the new code. |
| 2024-06-23 21:40:51 +0200 | <c_wraith> | And that includes types - any module getting loaded at run time is a brand new module. data types inside it are not the same as data types from a module that may share the same name. |
| 2024-06-23 21:41:21 +0200 | <c_wraith> | Even if the definition is identical. Nominal typing includes the identity of the defining module. |
| 2024-06-23 21:42:40 +0200 | <c_wraith> | You can work inside all those constraints and come up with pretty effective systems. But it's something you need to design around, to some extent. You can't just drop in support. |
| 2024-06-23 21:52:16 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-23 21:56:26 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Client Quit) |
| 2024-06-23 21:58:00 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) (Remote host closed the connection) |
| 2024-06-23 21:58:17 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 2024-06-23 21:58:55 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) (Remote host closed the connection) |
| 2024-06-23 21:59:10 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 2024-06-23 22:02:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-23 22:03:16 +0200 | onliner10 | (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-23 22:03:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-23 22:05:12 +0200 | <andrea_r> | glguy: sorry I'm late but I had some family duties to attend to...;-) Here's a minimal example of what I'm doing with FFI, FunPtr callbacks and StablePtr. Unfortunately (or fortunately, you choose) this code works as expected while in the real word (and in just a single case, as I said before) calling deRefStablePtr generates a SIGSEG (see Foo.castUserData): http://www.istitutocolli.org/repos/ffi-callback-example/ |
| 2024-06-23 22:05:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-23 22:07:19 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-23 22:07:43 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-23 22:08:44 +0200 | onliner10 | (~onliner10@user/onliner10) |
| 2024-06-23 22:11:33 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 256 seconds) |
| 2024-06-23 22:14:20 +0200 | dcoutts | (~duncan@ip-185-104-136-49.ptr.icomera.net) |
| 2024-06-23 22:15:52 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-06-23 22:20:43 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 22:24:50 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 252 seconds) |
| 2024-06-23 22:25:37 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-23 22:26:54 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-23 22:31:02 +0200 | <monochrom> | EvanR: The Haskell hot-loading thesis chose to have some check/certification that the type stays the same before hot-loading. |
| 2024-06-23 22:32:08 +0200 | dnzl__ | (~daniele@host-80-116-62-156.pool80116.interbusiness.it) |
| 2024-06-23 22:34:08 +0200 | <adamCS> | I'm trying to add zeroes at a specific set of positions in a vector. I was doing it naively, that operation turned out to be a bottleneck (discovered via profiling) so I made an attempt to make a faster version: https://gist.github.com/adamConnerSax/f9e263a1d81ff00951313223aa5ad7dc. This is faster than my original, but still a bottleneck. And it seems...awkward. Is there a better way? |
| 2024-06-23 22:41:58 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-23 22:43:27 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-23 22:43:31 +0200 | dnzl__ | (~daniele@host-80-116-62-156.pool80116.interbusiness.it) () |
| 2024-06-23 22:46:50 +0200 | visilii_ | (~visilii@46.61.242.35) (Ping timeout: 252 seconds) |
| 2024-06-23 22:49:01 +0200 | yin | (~yin@user/zero) |
| 2024-06-23 22:50:34 +0200 | <yin> | c_wraith: ty |
| 2024-06-23 22:51:14 +0200 | MrFox | (~MrFox___@89-201-255-150.dsl.optinet.hr) (Quit: Leaving) |
| 2024-06-23 22:53:19 +0200 | solaire | (~solaire@p829137-ipoe.ipoe.ocn.ne.jp) |
| 2024-06-23 22:54:29 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-23 22:54:30 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-23 22:54:30 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-23 22:55:38 +0200 | <joeyadams> | adamCS: I'm guessing you have a list of zero-based indices and want to return a Vector with those indices set to zero? How about: imap (idx a -> if IS.member idx is then 0 else a) |
| 2024-06-23 22:56:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-23 22:56:56 +0200 | <adamCS> | joeyadams: Not quite. I need to insert the zeroes. So the new vector will be longer than the old. |
| 2024-06-23 22:57:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-06-23 22:57:56 +0200 | <onliner10> | Not sure if i got it right, but what about some kind of fold with index where you fold into list of lists and then concat in the end? You can check how many zeroes should be inserted in the fold function |
| 2024-06-23 22:58:09 +0200 | <onliner10> | vectors, not lists* |
| 2024-06-23 22:58:48 +0200 | <joeyadams> | adamCS: Will the original vector's items stay in their original positions, or by "insert" do you mean push existing values out of the way? |
| 2024-06-23 22:58:56 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-23 22:59:05 +0200 | <adamCS> | onliner10: so that's what I did, I think, in the gist. I'm just wondering if there's a better way,,, |
| 2024-06-23 23:00:35 +0200 | <adamCS> | joeyadams: addZeroes [3, 5, 6] (fromList [1, 2, 3, 4, 5, 6, 7, 8]) = fromList [1, 2, 3, 0, 4, 0, 0, 5, 6, 7, 8] |
| 2024-06-23 23:01:45 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-23 23:02:00 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-06-23 23:02:09 +0200 | <joeyadams> | So in the final result, vec ! idx == 0 for every index in the IntSet. |
| 2024-06-23 23:02:21 +0200 | <onliner10> | adamCS: yeah, but you have quite a bit of slicing and list creation going on, so maybe lots of object get allocated on the way? Maybe fold would allocate less? |
| 2024-06-23 23:02:58 +0200 | <adamCS> | So what I do know is fold over the indices to insert, build up a list of slices and singleton 0s and then concat all that |
| 2024-06-23 23:02:59 +0200 | solaire | (~solaire@p829137-ipoe.ipoe.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-23 23:03:02 +0200 | <adamCS> | joeyadams: yes |
| 2024-06-23 23:03:40 +0200 | <adamCS> | onliner10: I'm not sure what you mean. How would you avoid the slicing and list creation? |
| 2024-06-23 23:04:00 +0200 | <int-e> | > intersperse 0 [[1,2,3],[4],[],[5,6,7,8]] |
| 2024-06-23 23:04:02 +0200 | <lambdabot> | error: |
| 2024-06-23 23:04:02 +0200 | <lambdabot> | • No instance for (Num [Integer]) |
| 2024-06-23 23:04:02 +0200 | <lambdabot> | arising from a use of ‘e_1012345678’ |
| 2024-06-23 23:04:21 +0200 | <int-e> | > concat $ intersperse [0] [[1,2,3],[4],[],[5,6,7,8]] |
| 2024-06-23 23:04:22 +0200 | <lambdabot> | [1,2,3,0,4,0,0,5,6,7,8] |
| 2024-06-23 23:05:10 +0200 | <int-e> | > intercalate [0] [[1,2,3],[4],[],[5,6,7,8]] |
| 2024-06-23 23:05:11 +0200 | <lambdabot> | [1,2,3,0,4,0,0,5,6,7,8] |
| 2024-06-23 23:05:26 +0200 | <joeyadams> | One approach is to calculate the final size of the vector, and write a function to generate the ith item and build the vector from that. The challenge is that the bigger i is, the more digging through the intset is has to do unless you preprocess it. |
| 2024-06-23 23:05:29 +0200 | <adamCS> | int-e: Right. But I still need to build the sublists |
| 2024-06-23 23:05:52 +0200 | <joeyadams> | I think oneliner's approach is to turn this into a list problem, and pray to the gods of list/vector fusion that it generates an efficient algorithm. |
| 2024-06-23 23:06:24 +0200 | <adamCS> | Right. I tried that, though probably badly, and it was not so efficient. |
| 2024-06-23 23:07:49 +0200 | <joeyadams> | But my gut says this will be faster if you allocate the vector once, and follow the same approach as the imperative algorithm. |
| 2024-06-23 23:08:49 +0200 | <joeyadams> | You could use unfoldrN to "loop" and generate the values of the vector. That will hopefully be efficient due to fusion. |
| 2024-06-23 23:09:54 +0200 | <joeyadams> | unfoldrExactN would probably be faster, so it can build the Vector once instead of resizing at the end. |
| 2024-06-23 23:10:33 +0200 | <adamCS> | I'm going to try a better list version (following onliner10 and int-e) and then a single allocation version and see what happens... |
| 2024-06-23 23:11:00 +0200 | <int-e> | yeah using unfoldrExactN looks like a good target if you care about performance |
| 2024-06-23 23:12:38 +0200 | <joeyadams> | unfoldrExactN (IS.size indicesToZero) (\(srcIdx, destIdx) -> if IS.member destIdx indicesToZero then (0, (srcIdx, destIdx+1)) else (src ! srcIdx, srcIdx+1, destIdx+1))) |
| 2024-06-23 23:12:50 +0200 | <joeyadams> | I didn't test it, just a quick first pass to give you the idea. |
| 2024-06-23 23:13:30 +0200 | <int-e> | The length is wrong, you forgot to add the length of the source vector. |
| 2024-06-23 23:13:47 +0200 | <joeyadams> | Good catch |
| 2024-06-23 23:14:10 +0200 | <onliner10> | adamCS: I was thinking something like this https://play.haskell.org/saved/Zrx1ncIn |
| 2024-06-23 23:14:12 +0200 | <joeyadams> | You have to track both source and dest index because of your rule that the zeros are based on positions in the result rather than on positions in the input. |
| 2024-06-23 23:14:17 +0200 | <onliner10> | not sure if that'd be any better tho |
| 2024-06-23 23:14:21 +0200 | <int-e> | And there's an assumption about the indices being in bounds in there; if they aren't, the ! will fail at some point. |
| 2024-06-23 23:14:51 +0200 | <haskellbridge> | <aaron> adamCS: Don't know if it'll make a difference, but with your current approach you could use foldr instead of foldl' maybe. Avoids having to reverse at the end |
| 2024-06-23 23:14:53 +0200 | <int-e> | While we're making assumptions, if the indices are given in increasing order then that can be exploited too. |
| 2024-06-23 23:15:12 +0200 | <joeyadams> | The indices are coming from an IntSet. |
| 2024-06-23 23:16:10 +0200 | <onliner10> | I suspect foldMap might be quite optimized, but some benchmarks are necessary to confirm this |
| 2024-06-23 23:16:35 +0200 | <int-e> | What should the result of addZeros {- indices -} [0,2,4] {- source vector -} [2] be? |
| 2024-06-23 23:17:22 +0200 | <int-e> | a) not defined. b) [0,2,0]; c) [0,2] ...all seem reasonable |
| 2024-06-23 23:17:50 +0200 | <int-e> | or maybe [0,2,0,undefined,0] |
| 2024-06-23 23:18:06 +0200 | <adamCS> | int-e: In my case any of those since it shouldn't ever happen. I guess I would prefer not defined. |
| 2024-06-23 23:18:43 +0200 | <mjrosenb> | has anyone used the new non-ghcjs javascript compiler? |
| 2024-06-23 23:18:51 +0200 | <int-e> | adamCS: Okay. Then joeyadams' suggestion should work, I think. Or something very close. |
| 2024-06-23 23:19:47 +0200 | visilii | (~visilii@46.61.242.103) |
| 2024-06-23 23:21:15 +0200 | <adamCS> | Thanks joeyadams, onliner10, int-e, and aaron. I will try a few things and report back! |
| 2024-06-23 23:30:48 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-06-23 23:31:36 +0200 | visilii | (~visilii@46.61.242.103) (Ping timeout: 268 seconds) |
| 2024-06-23 23:32:55 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-06-23 23:36:07 +0200 | ocra8_ | (~ocra8@user/ocra8) |
| 2024-06-23 23:36:19 +0200 | ocra8_ | (~ocra8@user/ocra8) (Max SendQ exceeded) |
| 2024-06-23 23:38:16 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-23 23:38:23 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 264 seconds) |
| 2024-06-23 23:38:36 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-23 23:39:30 +0200 | <adamCS> | The unfoldrExactN version is a bit faster than mine. The foldMap version isn't quite right because of the indexing so I will have to fix later and try that as well... |
| 2024-06-23 23:41:13 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-23 23:42:23 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-23 23:42:35 +0200 | ocra8 | (~ocra8@user/ocra8) (Max SendQ exceeded) |
| 2024-06-23 23:43:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-23 23:46:47 +0200 | <onliner10> | Yeaaah I think it’s of by one since indexed starts from zero |
| 2024-06-23 23:46:54 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-23 23:47:18 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-23 23:54:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 2024-06-23 23:55:11 +0200 | dcoutts | (~duncan@ip-185-104-136-49.ptr.icomera.net) (Ping timeout: 264 seconds) |
| 2024-06-23 23:56:15 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:985f:9f1a:d8c8:ebb3) (Quit: Leaving) |