Newest at the top
| 2025-11-15 21:10:47 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:10:43 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:08:53 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 20:53:17 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-15 20:52:39 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-11-15 20:51:51 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-15 20:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2025-11-15 20:47:15 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-15 20:47:07 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-15 20:47:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 20:45:29 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:44:55 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-15 20:44:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-15 20:42:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 20:41:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 20:40:45 +0100 | jmcantrell | (~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 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:37:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-11-15 20:35:46 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 20:34:21 +0100 | paddymahoney | (~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 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 20:30:31 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 20:30:18 +0100 | trickard__ | (~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 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-15 20:24:46 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-11-15 20:23:24 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:21:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-15 20:18:14 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-11-15 20:16:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 20:12:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-15 20:11:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 20:10:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 20:08:51 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:08:34 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 20:08:21 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:07:43 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:07:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:05:42 +0100 | Everything | (~Everythin@46.96.11.48) Everything |
| 2025-11-15 20:05:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-15 20:03:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 19:59:10 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 19:59:00 +0100 | trickard | (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-15 19:55:31 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |