2025/11/15

Newest at the top

2025-11-15 20:53:17 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-15 20:52:39 +0100DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-11-15 20:51:51 +0100DragonMaus(~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-11-15 20:48:37 +0100Digit(~user@user/digit) Digit
2025-11-15 20:47:15 +0100sindu(~sindu@77.19.134.151.tmi.telenormobil.no)
2025-11-15 20:47:07 +0100Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-11-15 20:47:05 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-11-15 20:45:29 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-15 20:44:55 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds)
2025-11-15 20:44:43 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-15 20:42:50 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-11-15 20:41:35 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-11-15 20:40:45 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-11-15 20:39:19 +0100 <haskellbridge> <sm> great links, thank you
2025-11-15 20:37:41 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2025-11-15 20:37:13 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2025-11-15 20:35:46 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-11-15 20:34:21 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2025-11-15 20:34:01 +0100 <haskellbridge> <sm> for context: the entertaining https://www.youtube.com/watch?v=BhaBzbzEbKg video struggled to bring C structs across the FFI boundary and I wondered what's current best practice, and magic_rb pointed me to hs-bindgen
2025-11-15 20:32:31 +0100 <int-e> (voting for name collision)
2025-11-15 20:32:09 +0100 <int-e> https://github.com/well-typed/hs-bindgen looks quite different from https://github.com/yvan-sraka/hs-bindgen
2025-11-15 20:32:04 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
2025-11-15 20:30:31 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-15 20:30:18 +0100trickard__(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-15 20:29:44 +0100 <c_wraith> pretty sure that's the same tool.
2025-11-15 20:28:33 +0100 <haskellbridge> <sm> or is it a name collision ?
2025-11-15 20:28:20 +0100 <haskellbridge> <sm> tcard_ hi.. is the rust-focussed https://engineering.iog.io/2023-01-26-hs-bindgen-introduction/ the same as that being discussed at https://dl.acm.org/doi/10.1145/3759164.3759350 ?
2025-11-15 20:26:11 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-15 20:24:46 +0100Beowulf(florian@2a01:4f9:3b:2d56::2)
2025-11-15 20:23:24 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2025-11-15 20:21:03 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-15 20:18:14 +0100Beowulf(florian@2a01:4f9:3b:2d56::2) (Quit: = "")
2025-11-15 20:16:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-15 20:12:26 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-11-15 20:11:57 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-15 20:10:18 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-15 20:08:51 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-15 20:08:34 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-15 20:08:21 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-15 20:07:43 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds)
2025-11-15 20:07:17 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds)
2025-11-15 20:05:42 +0100Everything(~Everythin@46.96.11.48) Everything
2025-11-15 20:05:22 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-11-15 20:03:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-15 19:59:10 +0100trickard__(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-15 19:59:00 +0100trickard(~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-11-15 19:55:31 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds)
2025-11-15 19:55:14 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-15 19:53:56 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-15 19:53:51 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah