Logs on 2024-06-23 (liberachat/#haskell)
| 00:07:36 | → | mud joins (~mud@user/kadoban) |
| 00:12:02 | × | joeyadams3 quits (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) (Quit: Leaving) |
| 00:14:33 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 00:16:07 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 00:21:26 | × | solaire quits (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 00:32:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:35:52 | → | califax joins (~califax@user/califx) |
| 00:38:49 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:2582:71d3:e1b8:a3ee) (Quit: Leaving) |
| 00:49:48 | × | wlhn_ quits (~wlhn@dl46fx8bgm9q8wl8cy4qy-3.rev.dnainternet.fi) (Quit: Leaving) |
| 00:51:27 | × | xdminsy quits (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 00:56:40 | → | solaire joins (~solaire@182.140.5.103.wi-fi.wi2.ne.jp) |
| 01:00:23 | × | onliner10 quits (onliner10@2605:6400:c847:1809::9081) (Changing host) |
| 01:00:23 | → | onliner10 joins (onliner10@user/onliner10) |
| 01:01:24 | → | onliner10_ joins (uid656258@user/onliner10) |
| 01:01:39 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 01:07:31 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 01:07:38 | × | solaire quits (~solaire@182.140.5.103.wi-fi.wi2.ne.jp) (Ping timeout: 252 seconds) |
| 01:10:15 | × | dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
| 01:10:28 | × | boxscape_ quits (~boxscape_@236.80-202-53.nextgentel.com) (Quit: Connection closed) |
| 01:24:51 | × | falafel quits (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
| 01:25:35 | → | aaronv joins (~aaronv@user/aaronv) |
| 01:29:31 | × | pera quits (~pera@user/pera) (Quit: leaving) |
| 01:34:57 | → | solaire joins (~solaire@144.140.5.103.wi-fi.wi2.ne.jp) |
| 01:36:16 | → | yin joins (~yin@user/zero) |
| 01:37:44 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 01:38:03 | × | ubert quits (~Thunderbi@p548c9c74.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 01:38:28 | → | ubert joins (~Thunderbi@p548c973d.dip0.t-ipconnect.de) |
| 01:39:54 | × | euleritian quits (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 01:40:47 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 01:41:09 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 01:42:11 | → | euleritian joins (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) |
| 01:57:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:57:56 | → | califax joins (~califax@user/califx) |
| 02:00:51 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 02:02:40 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:da7f:1cc1:3e2d:ef5d) |
| 02:04:52 | → | rvalue- joins (~rvalue@user/rvalue) |
| 02:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:32 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:06:06 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 02:08:59 | rvalue- | is now known as rvalue |
| 02:09:51 | × | solaire quits (~solaire@144.140.5.103.wi-fi.wi2.ne.jp) (Ping timeout: 264 seconds) |
| 02:10:20 | × | euleritian quits (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 02:11:29 | → | euleritian joins (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) |
| 02:12:17 | → | aaronv joins (~aaronv@user/aaronv) |
| 02:19:06 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::46) |
| 02:19:59 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 02:30:46 | × | yin quits (~yin@user/zero) (Ping timeout: 268 seconds) |
| 02:37:09 | → | yin joins (~yin@user/zero) |
| 02:43:20 | × | wbooze quits (~wbooze@2a02:908:1244:9a20:eb19:86e1:fc3f:bfad) (Remote host closed the connection) |
| 02:52:32 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 02:53:14 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 02:53:39 | × | JamesMowery quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 264 seconds) |
| 02:54:31 | × | mud quits (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 02:54:55 | → | td_ joins (~td@i53870927.versanet.de) |
| 02:55:14 | → | JamesMowery joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 02:55:33 | × | andrewboltachev quits (~andrey@178.141.121.180) (Quit: Leaving.) |
| 03:00:45 | → | madhavanmiui joins (~madhavanm@2409:40f4:1033:7dc7:8000::) |
| 03:02:34 | × | madhavanmiui quits (~madhavanm@2409:40f4:1033:7dc7:8000::) (Client Quit) |
| 03:15:00 | → | mud joins (~mud@user/kadoban) |
| 03:18:24 | → | madhavanmiui joins (~madhavanm@2409:40f4:1033:7dc7:8000::) |
| 03:19:40 | × | madhavanmiui quits (~madhavanm@2409:40f4:1033:7dc7:8000::) (Client Quit) |
| 03:23:15 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 03:25:41 | × | yin quits (~yin@user/zero) (Ping timeout: 240 seconds) |
| 03:29:30 | → | aaronv joins (~aaronv@user/aaronv) |
| 03:31:49 | → | wlhn joins (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
| 03:41:08 | → | aforemny joins (~aforemny@i59F516C6.versanet.de) |
| 03:42:35 | × | aforemny_ quits (~aforemny@i59F516E5.versanet.de) (Ping timeout: 264 seconds) |
| 03:46:30 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 03:52:20 | × | phma quits (phma@2001:5b0:210b:aea8:538c:529b:c69b:8275) (Read error: Connection reset by peer) |
| 03:53:02 | → | phma joins (~phma@host-67-44-208-90.hnremote.net) |
| 03:59:57 | × | jcarpenter2 quits (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 04:04:32 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 04:04:53 | → | solaire joins (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
| 04:04:55 | → | aaronv joins (~aaronv@user/aaronv) |
| 04:05:27 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.0+deb2 - https://znc.in) |
| 04:13:00 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 04:13:07 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 04:15:25 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 04:21:26 | → | rosco joins (~rosco@175.136.155.137) |
| 04:27:19 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 04:40:47 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:da7f:1cc1:3e2d:ef5d) (Quit: Leaving) |
| 04:43:53 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 04:55:17 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 05:03:20 | → | aaronv joins (~aaronv@user/aaronv) |
| 05:28:12 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b940:c8a1:76:d03d:bf70) |
| 05:35:15 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 05:49:47 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 05:54:00 | → | delillo joins (~delillo@2401:4900:1c37:b449:8ad:ed3e:1c45:adc7) |
| 05:54:47 | <delillo> | hello |
| 05:55:58 | × | delillo quits (~delillo@2401:4900:1c37:b449:8ad:ed3e:1c45:adc7) (Client Quit) |
| 06:00:54 | → | soverysour joins (~soverysou@81.196.150.219) |
| 06:00:54 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 06:00:54 | → | soverysour joins (~soverysou@user/soverysour) |
| 06:02:23 | → | dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 06:12:14 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 06:29:42 | → | erty joins (~user@user/aeroplane) |
| 06:31:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:37:13 | × | solaire quits (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 06:37:23 | → | solaire joins (~solaire@2400:4050:aea2:2d00:b808:4e0a:75bc:2137) |
| 06:39:56 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:52:16 | × | erty quits (~user@user/aeroplane) (Ping timeout: 246 seconds) |
| 06:53:02 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 07:00:08 | × | tt12310978 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 07:03:05 | → | tt12310978 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:05:01 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 07:06:51 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 07:07:02 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 07:20:18 | → | aaronv joins (~aaronv@user/aaronv) |
| 07:21:40 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 07:44:18 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:52:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:54:00 | → | soverysour joins (~soverysou@user/soverysour) |
| 07:55:40 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 07:55:45 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 08:00:53 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 08:10:25 | → | acidjnk_new3 joins (~acidjnk@p200300d6e714dc7721c0cda5f0392c78.dip0.t-ipconnect.de) |
| 08:12:37 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:18:50 | × | euleritian quits (~euleritia@dynamic-176-005-141-033.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 08:19:17 | → | soverysour joins (~soverysou@user/soverysour) |
| 08:28:26 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 08:40:55 | <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. |
| 08:41:28 | <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. |
| 08:41:41 | <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 |
| 08:41:41 | <andrea_r> | code since everything works just fine. Any idea on how to debug this problem? |
| 08:44:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 08:48:49 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:49:54 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 08:50:19 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 09:03:17 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:09:07 | → | __monty__ joins (~toonn@user/toonn) |
| 09:11:54 | → | adminb joins (~admin@srv27.mikr.us) |
| 09:12:43 | → | gmg joins (~user@user/gehmehgeh) |
| 09:16:24 | × | adminb quits (~admin@srv27.mikr.us) (Client Quit) |
| 09:16:44 | → | onliner1- joins (~onliner10@srv27.mikr.us) |
| 09:18:49 | × | onliner1- quits (~onliner10@srv27.mikr.us) (Client Quit) |
| 09:20:30 | → | onliner1- joins (~onliner10@srv27.mikr.us) |
| 09:20:35 | × | onliner1- quits (~onliner10@srv27.mikr.us) (Client Quit) |
| 09:22:34 | → | onliner1- joins (~onliner10@srv27.mikr.us) |
| 09:26:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:27:02 | × | onliner1- quits (~onliner10@srv27.mikr.us) (Changing host) |
| 09:27:02 | → | onliner1- joins (~onliner10@user/onliner10) |
| 09:28:22 | ← | onliner1- parts (~onliner10@user/onliner10) (Textual IRC Client: www.textualapp.com) |
| 09:28:32 | → | onliner1- joins (~onliner10@user/onliner10) |
| 09:28:38 | ← | onliner1- parts (~onliner10@user/onliner10) (Textual IRC Client: www.textualapp.com) |
| 09:39:21 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 268 seconds) |
| 09:47:11 | → | onliner1- joins (~onliner10@srv27.mikr.us) |
| 09:49:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:53:35 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 09:53:59 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::46) |
| 09:58:30 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 09:58:53 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::46) |
| 09:59:50 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 10:00:41 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::46) |
| 10:02:15 | × | solaire quits (~solaire@2400:4050:aea2:2d00:b808:4e0a:75bc:2137) (Ping timeout: 261 seconds) |
| 10:02:25 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 10:05:09 | → | causal joins (~eric@50.35.88.207) |
| 10:05:40 | × | onliner1- quits (~onliner10@srv27.mikr.us) (Quit: ZNC 1.9.0 - https://znc.in) |
| 10:05:52 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 10:08:10 | → | onliner1- joins (~onliner10@srv27.mikr.us) |
| 10:10:13 | × | onliner1- quits (~onliner10@srv27.mikr.us) (Client Quit) |
| 10:13:54 | → | onliner1- joins (~onliner10@user/onliner10) |
| 10:14:32 | × | onliner1- quits (~onliner10@user/onliner10) (Client Quit) |
| 10:16:27 | → | onliner1- joins (~onliner10@user/onliner10) |
| 10:18:08 | × | onliner10 quits (onliner10@user/onliner10) (Quit: ZNC - https://znc.in) |
| 10:29:27 | → | soverysour joins (~soverysou@81.196.150.219) |
| 10:29:27 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 10:29:27 | → | soverysour joins (~soverysou@user/soverysour) |
| 10:31:46 | × | onliner1- quits (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 10:32:41 | → | onliner10 joins (~onliner10@user/onliner10) |
| 10:33:08 | × | onliner10 quits (~onliner10@user/onliner10) (Client Quit) |
| 10:34:35 | → | onliner10 joins (~onliner10@user/onliner10) |
| 10:36:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:42:14 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 10:42:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:42:48 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::46) (Read error: Connection reset by peer) |
| 10:43:11 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::46) |
| 10:43:56 | → | causal joins (~eric@50.35.88.207) |
| 10:49:36 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:54:06 | × | dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection) |
| 10:54:24 | → | dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 11:01:23 | → | dcoutts joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 11:01:47 | × | dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 11:02:35 | × | mrmr15533434 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 11:05:28 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Quit: Leaving) |
| 11:23:06 | → | mrmr15533434 joins (~mrmr@user/mrmr) |
| 11:25:21 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 11:25:22 | → | wbooze joins (~wbooze@2a02:908:1244:9a20:5ad6:6249:8d15:f48) |
| 11:31:06 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 11:33:14 | → | CiaoSen joins (~Jura@2a05:5800:292:6000:e6b9:7aff:fe80:3d03) |
| 11:44:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:44:55 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 11:45:24 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 11:47:20 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:52:13 | → | emm joins (~emm@user/edmeme) |
| 11:52:15 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 11:52:51 | emm | is now known as edmeme |
| 11:58:33 | × | CiaoSen quits (~Jura@2a05:5800:292:6000:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 12:03:23 | → | Psybur joins (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) |
| 12:06:26 | → | xdminsy joins (~xdminsy@117.147.70.231) |
| 12:12:10 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:12:42 | × | edmeme quits (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 12:12:47 | → | soverysour joins (~soverysou@user/soverysour) |
| 12:14:38 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 12:19:05 | → | emm joins (~emm@user/edmeme) |
| 12:19:52 | × | emm quits (~emm@user/edmeme) (Client Quit) |
| 12:20:01 | → | edmeme joins (~AdminUser@2001:9b1:412b:e700:d6ab:7898:fed5:9283) |
| 12:21:10 | × | edmeme quits (~AdminUser@2001:9b1:412b:e700:d6ab:7898:fed5:9283) (Remote host closed the connection) |
| 12:21:46 | → | edmeme joins (~quassel@user/edmeme) |
| 12:28:32 | × | edmeme quits (~quassel@user/edmeme) (Remote host closed the connection) |
| 12:29:42 | → | andrewboltachev joins (~andrey@178.141.121.180) |
| 12:56:03 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 13:38:18 | × | Psybur quits (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) (Read error: Connection reset by peer) |
| 13:38:37 | → | Psybur joins (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) |
| 13:48:15 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 13:52:35 | <glguy> | andrea_r: I would expect you you to use a StablePtr, or an FFI wrapper, but not both at the same time |
| 13:54:15 | <glguy> | Do you mean you're using a function wrapper and it's closure argument is the stable pointer? |
| 13:57:30 | × | andrewboltachev quits (~andrey@178.141.121.180) (Remote host closed the connection) |
| 14:06:12 | × | Luj quits (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 14:06:50 | → | Luj joins (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 14:07:07 | → | danse-nr3 joins (~danse-nr3@151.19.228.234) |
| 14:11:51 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 14:13:16 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 14:13:51 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Client Quit) |
| 14:14:31 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 14:26:55 | × | Psybur quits (~Psybur@2600:1003:b12f:1bb3:2185:def2:575d:e6a3) (Ping timeout: 246 seconds) |
| 14:27:03 | → | Psybur joins (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 14:27:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 14:32:56 | <andrea_r> | glguy: yes |
| 14:34:29 | <andrea_r> | well, actually the wrapper create the FunPtr. The StablePtr is passed to the haskell function called by the C side |
| 14:35:35 | × | Psybur quits (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 252 seconds) |
| 14:36:03 | <glguy> | Can you show me the code you mean? For most C apis would wouldn't need to use a dynamic wrapper. |
| 14:36:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:36:34 | → | Psybur joins (~Psybur@2601:5c9:4201:3220:252d:1261:5198:642e) |
| 14:37:41 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 14:42:48 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 14:44:00 | <andrea_r> | I'll prepare a small example, since I did not commit the offending code yet (I hope to find a solution first) |
| 14:45:36 | <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/Internals.hsc |
| 14:48:12 | <andrea_r> | and this is the C side: https://github.com/letoram/arcan/blob/master/src/shmif/arcan_tui.h#L263 |
| 14:48:37 | × | Psybur quits (~Psybur@2601:5c9:4201:3220:252d:1261:5198:642e) (Ping timeout: 246 seconds) |
| 14:49:02 | → | Psybur joins (~Psybur@2600:1003:b12f:1bb3:e850:8eb:949:b4cb) |
| 14:55:31 | <glguy> | Neither of these mention StablePtr? |
| 15:02:01 | × | soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection) |
| 15:02:19 | → | soverysour joins (~soverysou@user/soverysour) |
| 15:09:48 | × | rosco quits (~rosco@175.136.155.137) (Remote host closed the connection) |
| 15:11:09 | → | erty joins (~user@user/aeroplane) |
| 15:14:31 | × | Psybur quits (~Psybur@2600:1003:b12f:1bb3:e850:8eb:949:b4cb) (Ping timeout: 268 seconds) |
| 15:22:47 | × | danse-nr3 quits (~danse-nr3@151.19.228.234) (Ping timeout: 264 seconds) |
| 15:37:13 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 15:38:27 | → | falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 15:39:09 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 15:45:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:50:59 | × | phma quits (~phma@host-67-44-208-90.hnremote.net) (Read error: Connection reset by peer) |
| 15:51:54 | → | phma joins (phma@2001:5b0:211f:5fd8:d0b2:ccd9:b64:4a70) |
| 15:52:03 | × | turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 15:53:17 | → | turlando joins (~turlando@user/turlando) |
| 15:57:35 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 16:01:51 | → | danse-nr3 joins (~danse-nr3@151.19.228.234) |
| 16:06:58 | × | danse-nr3 quits (~danse-nr3@151.19.228.234) (Read error: Connection reset by peer) |
| 16:07:14 | → | yin joins (~yin@user/zero) |
| 16:07:54 | → | danse-nr3 joins (~danse-nr3@151.57.231.54) |
| 16:08:45 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:11:35 | → | soverysour joins (~soverysou@user/soverysour) |
| 16:11:46 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:985f:9f1a:d8c8:ebb3) |
| 16:13:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:16:25 | × | yin quits (~yin@user/zero) (Quit: Reconnecting) |
| 16:16:44 | → | yin joins (~yin@user/zero) |
| 16:18:59 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 16:21:11 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 16:21:21 | <haskellbridge> | <Jade> ghc fails with |
| 16:21:21 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/YuLNuoRsLIuNtkQsdyJNxgIL (5 lines) |
| 16:23:15 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 16:23:33 | <geekosaur> | does `ld --version` work? |
| 16:25:01 | <haskellbridge> | <Jade> ld --version |
| 16:25:01 | <haskellbridge> | GNU ld (GNU Binutils) 2.42.0 |
| 16:26:51 | <geekosaur> | interesting. if nobody else here has suggestions, I suggest #GHC:matrix.org |
| 16:30:47 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:49:53 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:50:53 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 16:56:29 | AlexNoo_ | is now known as AlexNoo |
| 17:03:15 | × | danse-nr3 quits (~danse-nr3@151.57.231.54) (Remote host closed the connection) |
| 17:30:51 | × | dcoutts quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 272 seconds) |
| 17:34:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:34:39 | → | y-koj joins (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 17:41:58 | → | MrFox joins (~MrFox___@89-201-255-150.dsl.optinet.hr) |
| 17:45:24 | → | aaronv joins (~aaronv@user/aaronv) |
| 17:45:35 | → | wlhn_ joins (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) |
| 17:49:34 | × | wlhn quits (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 17:57:16 | × | philopsos1 quits (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 17:58:09 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 18:01:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:10:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:11:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 18:12:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:12:15 | × | falafel quits (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
| 18:14:07 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 18:16:19 | → | RandomOverlord joins (~RandomOve@2603-9009-05f0-8210-c1b1-94c2-fafe-f5cb.inf6.spectrum.com) |
| 18:29:10 | → | aaronv joins (~aaronv@user/aaronv) |
| 18:29:41 | × | erty quits (~user@user/aeroplane) (Ping timeout: 256 seconds) |
| 18:34:06 | → | tomek1 joins (~tomek@109-206-217-73.host.skynet.net.pl) |
| 18:35:52 | × | tomek1 quits (~tomek@109-206-217-73.host.skynet.net.pl) (Quit: WeeChat 3.8) |
| 18:36:43 | × | RandomOverlord quits (~RandomOve@2603-9009-05f0-8210-c1b1-94c2-fafe-f5cb.inf6.spectrum.com) (Ping timeout: 272 seconds) |
| 18:37:47 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 18:39:07 | → | emm joins (~emm@user/edmeme) |
| 18:39:11 | deveng | is now known as fernando-basso |
| 18:40:15 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 18:45:46 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:46:46 | → | p3n joins (~p3n@217.198.124.246) |
| 18:51:01 | → | dcoutts joins (~duncan@185.201.60.218) |
| 18:53:26 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 19:01:50 | × | wbooze quits (~wbooze@2a02:908:1244:9a20:5ad6:6249:8d15:f48) (Remote host closed the connection) |
| 19:02:00 | → | DreamDeckUp joins (~DreamDeck@184.145.181.233) |
| 19:02:42 | → | wbooze joins (~wbooze@2a02:908:1244:9a20:dadb:a586:6c1f:5f08) |
| 19:06:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:06:56 | <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? |
| 19:08:39 | × | DreamDeckUp quits (~DreamDeck@184.145.181.233) (Remote host closed the connection) |
| 19:10:12 | → | DreamDeckup joins (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 19:12:21 | → | soverysour joins (~soverysou@81.196.150.219) |
| 19:12:22 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 19:12:22 | → | soverysour joins (~soverysou@user/soverysour) |
| 19:13:27 | × | dcoutts quits (~duncan@185.201.60.218) (Ping timeout: 264 seconds) |
| 19:15:01 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 19:16:38 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 19:28:17 | → | soverysour joins (~soverysou@user/soverysour) |
| 19:31:09 | <EvanR> | it's easy in an interpreted language, functional or not |
| 19:31:57 | <EvanR> | I'm curious how hot code reloading should work with static types |
| 19:32:05 | <EvanR> | can the types change or not during a hot reload |
| 19:33:35 | <c_wraith> | I've done hot code reloading in GHC. |
| 19:33:53 | <c_wraith> | There are a few limitations you need to worry about. |
| 19:34:31 | <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 |
| 19:35:23 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 19:35:28 | <c_wraith> | You can't reload code coming from a package. Also note a huge deal, but worth making note of |
| 19:36:32 | <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 |
| 19:38:20 | <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. |
| 19:39:18 | <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. |
| 19:40:51 | <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. |
| 19:41:21 | <c_wraith> | Even if the definition is identical. Nominal typing includes the identity of the defining module. |
| 19:42:40 | <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. |
| 19:52:16 | → | andrei_n joins (~andrei_n@user/andrei-n:62396) |
| 19:56:26 | × | andrei_n quits (~andrei_n@user/andrei-n:62396) (Client Quit) |
| 19:58:00 | × | DreamDeckup quits (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) (Remote host closed the connection) |
| 19:58:17 | → | DreamDeckup joins (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 19:58:55 | × | DreamDeckup quits (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) (Remote host closed the connection) |
| 19:59:10 | → | DreamDeckup joins (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) |
| 20:02:50 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 20:03:16 | × | onliner10 quits (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 20:03:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 20:05:12 | <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/ |
| 20:05:59 | × | yin quits (~yin@user/zero) (Ping timeout: 264 seconds) |
| 20:07:19 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 20:07:43 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 20:08:44 | → | onliner10 joins (~onliner10@user/onliner10) |
| 20:11:33 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 256 seconds) |
| 20:14:20 | → | dcoutts joins (~duncan@ip-185-104-136-49.ptr.icomera.net) |
| 20:15:52 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 20:20:43 | → | soverysour joins (~soverysou@user/soverysour) |
| 20:24:50 | × | ocra8 quits (~ocra8@user/ocra8) (Ping timeout: 252 seconds) |
| 20:25:37 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 20:26:54 | → | ocra8 joins (~ocra8@user/ocra8) |
| 20:31:02 | <monochrom> | EvanR: The Haskell hot-loading thesis chose to have some check/certification that the type stays the same before hot-loading. |
| 20:32:08 | → | dnzl__ joins (~daniele@host-80-116-62-156.pool80116.interbusiness.it) |
| 20:34:08 | <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? |
| 20:41:58 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 20:43:27 | → | aaronv joins (~aaronv@user/aaronv) |
| 20:43:31 | ← | dnzl__ parts (~daniele@host-80-116-62-156.pool80116.interbusiness.it) () |
| 20:46:50 | × | visilii_ quits (~visilii@46.61.242.35) (Ping timeout: 252 seconds) |
| 20:49:01 | → | yin joins (~yin@user/zero) |
| 20:50:34 | <yin> | c_wraith: ty |
| 20:51:14 | × | MrFox quits (~MrFox___@89-201-255-150.dsl.optinet.hr) (Quit: Leaving) |
| 20:53:19 | → | solaire joins (~solaire@p829137-ipoe.ipoe.ocn.ne.jp) |
| 20:54:29 | → | soverysour joins (~soverysou@81.196.150.219) |
| 20:54:30 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 20:54:30 | → | soverysour joins (~soverysou@user/soverysour) |
| 20:55:38 | <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) |
| 20:56:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:56:56 | <adamCS> | joeyadams: Not quite. I need to insert the zeroes. So the new vector will be longer than the old. |
| 20:57:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 20:57:56 | <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 |
| 20:58:09 | <onliner10> | vectors, not lists* |
| 20:58:48 | <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? |
| 20:58:56 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 20:59:05 | <adamCS> | onliner10: so that's what I did, I think, in the gist. I'm just wondering if there's a better way,,, |
| 21:00:35 | <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] |
| 21:01:45 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 21:02:00 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 21:02:09 | <joeyadams> | So in the final result, vec ! idx == 0 for every index in the IntSet. |
| 21:02:21 | <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? |
| 21:02:58 | <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 |
| 21:02:59 | × | solaire quits (~solaire@p829137-ipoe.ipoe.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 21:03:02 | <adamCS> | joeyadams: yes |
| 21:03:40 | <adamCS> | onliner10: I'm not sure what you mean. How would you avoid the slicing and list creation? |
| 21:04:00 | <int-e> | > intersperse 0 [[1,2,3],[4],[],[5,6,7,8]] |
| 21:04:02 | <lambdabot> | error: |
| 21:04:02 | <lambdabot> | • No instance for (Num [Integer]) |
| 21:04:02 | <lambdabot> | arising from a use of ‘e_1012345678’ |
| 21:04:21 | <int-e> | > concat $ intersperse [0] [[1,2,3],[4],[],[5,6,7,8]] |
| 21:04:22 | <lambdabot> | [1,2,3,0,4,0,0,5,6,7,8] |
| 21:05:10 | <int-e> | > intercalate [0] [[1,2,3],[4],[],[5,6,7,8]] |
| 21:05:11 | <lambdabot> | [1,2,3,0,4,0,0,5,6,7,8] |
| 21:05:26 | <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. |
| 21:05:29 | <adamCS> | int-e: Right. But I still need to build the sublists |
| 21:05:52 | <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. |
| 21:06:24 | <adamCS> | Right. I tried that, though probably badly, and it was not so efficient. |
| 21:07:49 | <joeyadams> | But my gut says this will be faster if you allocate the vector once, and follow the same approach as the imperative algorithm. |
| 21:08:49 | <joeyadams> | You could use unfoldrN to "loop" and generate the values of the vector. That will hopefully be efficient due to fusion. |
| 21:09:54 | <joeyadams> | unfoldrExactN would probably be faster, so it can build the Vector once instead of resizing at the end. |
| 21:10:33 | <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... |
| 21:11:00 | <int-e> | yeah using unfoldrExactN looks like a good target if you care about performance |
| 21:12:38 | <joeyadams> | unfoldrExactN (IS.size indicesToZero) (\(srcIdx, destIdx) -> if IS.member destIdx indicesToZero then (0, (srcIdx, destIdx+1)) else (src ! srcIdx, srcIdx+1, destIdx+1))) |
| 21:12:50 | <joeyadams> | I didn't test it, just a quick first pass to give you the idea. |
| 21:13:30 | <int-e> | The length is wrong, you forgot to add the length of the source vector. |
| 21:13:47 | <joeyadams> | Good catch |
| 21:14:10 | <onliner10> | adamCS: I was thinking something like this https://play.haskell.org/saved/Zrx1ncIn |
| 21:14:12 | <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. |
| 21:14:17 | <onliner10> | not sure if that'd be any better tho |
| 21:14:21 | <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. |
| 21:14:51 | <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 |
| 21:14:53 | <int-e> | While we're making assumptions, if the indices are given in increasing order then that can be exploited too. |
| 21:15:12 | <joeyadams> | The indices are coming from an IntSet. |
| 21:16:10 | <onliner10> | I suspect foldMap might be quite optimized, but some benchmarks are necessary to confirm this |
| 21:16:35 | <int-e> | What should the result of addZeros {- indices -} [0,2,4] {- source vector -} [2] be? |
| 21:17:22 | <int-e> | a) not defined. b) [0,2,0]; c) [0,2] ...all seem reasonable |
| 21:17:50 | <int-e> | or maybe [0,2,0,undefined,0] |
| 21:18:06 | <adamCS> | int-e: In my case any of those since it shouldn't ever happen. I guess I would prefer not defined. |
| 21:18:43 | <mjrosenb> | has anyone used the new non-ghcjs javascript compiler? |
| 21:18:51 | <int-e> | adamCS: Okay. Then joeyadams' suggestion should work, I think. Or something very close. |
| 21:19:47 | → | visilii joins (~visilii@46.61.242.103) |
| 21:21:15 | <adamCS> | Thanks joeyadams, onliner10, int-e, and aaron. I will try a few things and report back! |
| 21:30:48 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 21:31:36 | × | visilii quits (~visilii@46.61.242.103) (Ping timeout: 268 seconds) |
| 21:32:55 | → | infinity0 joins (~infinity0@pwned.gg) |
| 21:36:07 | → | ocra8_ joins (~ocra8@user/ocra8) |
| 21:36:19 | × | ocra8_ quits (~ocra8@user/ocra8) (Max SendQ exceeded) |
| 21:38:16 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:38:23 | × | ocra8 quits (~ocra8@user/ocra8) (Ping timeout: 264 seconds) |
| 21:38:36 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 21:39:30 | <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... |
| 21:41:13 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 21:42:23 | → | ocra8 joins (~ocra8@user/ocra8) |
| 21:42:35 | × | ocra8 quits (~ocra8@user/ocra8) (Max SendQ exceeded) |
| 21:43:31 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 21:46:47 | <onliner10> | Yeaaah I think it’s of by one since indexed starts from zero |
| 21:46:54 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 21:47:18 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 21:54:00 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 21:55:11 | × | dcoutts quits (~duncan@ip-185-104-136-49.ptr.icomera.net) (Ping timeout: 264 seconds) |
| 21:56:15 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:985f:9f1a:d8c8:ebb3) (Quit: Leaving) |
| 22:00:10 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 22:10:52 | → | falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 22:12:20 | → | solaire joins (~solaire@2400:4050:aea2:2d00:5665:2fd7:3543:9485) |
| 22:15:22 | <haskellbridge> | <aaron> adamCS: Checking membership in the IntSet probably isn't great. Maybe try both calculating the length of the result first and produce the result by iterating through the IntSet? |
| 22:17:51 | × | acidjnk_new3 quits (~acidjnk@p200300d6e714dc7721c0cda5f0392c78.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 22:21:17 | × | emm quits (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 22:27:06 | × | solaire quits (~solaire@2400:4050:aea2:2d00:5665:2fd7:3543:9485) (Ping timeout: 268 seconds) |
| 22:27:36 | → | solaire joins (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
| 22:28:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:35:32 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:38:55 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:3bd3:f968:ce64:ffee) |
| 22:56:55 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 22:57:47 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:00:24 | → | aaronv joins (~aaronv@user/aaronv) |
| 23:19:44 | → | pyooque joins (~puke@user/puke) |
| 23:19:44 | puke | is now known as Guest79 |
| 23:19:44 | × | Guest79 quits (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 23:19:44 | pyooque | is now known as puke |
| 23:21:04 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 23:21:33 | → | puke joins (~puke@user/puke) |
| 23:25:14 | × | igemnace quits (~igemnace@user/igemnace) (Ping timeout: 252 seconds) |
| 23:25:48 | × | natto quits (~natto@129.154.243.159) (Ping timeout: 252 seconds) |
| 23:26:22 | → | sajith_ joins (~sajith@user/sajith) |
| 23:26:25 | → | natto joins (~natto@129.154.243.159) |
| 23:26:54 | × | sajith quits (~sajith@user/sajith) (Ping timeout: 252 seconds) |
| 23:27:22 | → | igemnace joins (~igemnace@user/igemnace) |
| 23:28:26 | → | tmr joins (~tamer@5.2.74.82) |
| 23:29:05 | × | tamer quits (~tamer@user/tamer) (Ping timeout: 252 seconds) |
| 23:29:05 | × | andrea_r quits (~user@93-49-96-212.ip366.fastwebnet.it) (Ping timeout: 252 seconds) |
| 23:29:24 | → | andrea_r joins (~user@93-49-96-212.ip366.fastwebnet.it) |
| 23:35:20 | → | RandomOverlord joins (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) |
| 23:36:30 | <DreamDeckup> | do you guys know where I could find beginner exercises to learn the syntax and standard library functions? |
| 23:36:41 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 23:38:59 | <geekosaur> | https://en.wikibooks.org/wiki/Haskell has exercises |
| 23:39:06 | <geekosaur> | @where cis194 |
| 23:39:07 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 23:40:55 | <DreamDeckup> | much appreciated |
| 23:44:59 | × | RandomOverlord quits (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) (Ping timeout: 260 seconds) |
All times are in UTC on 2024-06-23.