Logs: liberachat/#haskell
| 2025-11-15 20:51:27 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 20:54:37 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-15 20:55:45 | → | Googulator91 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 20:55:46 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 20:59:01 | × | saurcron quits (uid575716@user/saurcron) (Quit: Connection closed for inactivity) |
| 2025-11-15 21:07:16 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-15 21:11:28 | trickard_ | is now known as trickard |
| 2025-11-15 21:13:14 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 21:20:36 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-11-15 21:20:46 | × | Googulator91 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:20:53 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:25:01 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-11-15 21:25:35 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 2025-11-15 21:28:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-15 21:30:40 | → | Googulator48 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:30:40 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:35:51 | → | Googulator66 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:35:51 | × | Googulator48 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:45:30 | → | Zemy_ joins (~Zemy@2600:100c:b034:777:e4d1:38ff:fefd:a965) |
| 2025-11-15 21:47:26 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-11-15 21:47:36 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-15 21:47:58 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2025-11-15 21:48:44 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-15 21:50:04 | × | Zemy_ quits (~Zemy@2600:100c:b034:777:e4d1:38ff:fefd:a965) (Ping timeout: 256 seconds) |
| 2025-11-15 21:50:39 | → | Googulator94 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:50:39 | × | Googulator66 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:50:44 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2025-11-15 21:53:32 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 21:55:21 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-15 21:55:41 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-15 22:02:35 | <tcard_> | @sm Hi! It is indeed an unfortunate name collision. |
| 2025-11-15 22:02:40 | <tcard_> | https://github.com/yvan-sraka/hs-bindgen is a project that creates bindings for Rust. |
| 2025-11-15 22:02:45 | <tcard_> | https://github.com/well-typed/hs-bindgen is a project that creates bindings for C. |
| 2025-11-15 22:04:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 22:05:38 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 22:05:44 | × | Googulator94 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 22:06:21 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-15 22:06:37 | × | Everything quits (~Everythin@46.96.11.48) (Quit: leaving) |
| 2025-11-15 22:07:18 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-15 22:10:43 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 22:10:48 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 22:15:51 | → | EvanR_ joins (~EvanR@user/evanr) |
| 2025-11-15 22:17:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-15 22:17:16 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-11-15 22:17:40 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-15 22:21:19 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2025-11-15 22:24:29 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2025-11-15 22:24:48 | → | robertm1 joins (robertm@lattice.rojoma.com) |
| 2025-11-15 22:25:12 | × | EvanR_ quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-11-15 22:25:40 | × | Googulator15 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 22:25:44 | → | Googulator66 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 22:28:05 | <haskellbridge> | <magic_rb> tcard_ oh hey! you're one of the hs-bindgen folk. Thanks for your work. I want to try to use hs-bindgen to bind to SDL, hoping itll be a better experience for cross than c2hs or hsc2hs. (yes, im asking how's cross with hs-bindgen :) very subtle ik) |
| 2025-11-15 22:29:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 22:31:12 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-11-15 22:35:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-15 22:37:44 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-11-15 22:38:35 | → | glguy joins (glguy@libera/staff/glguy) |
| 2025-11-15 22:38:40 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-15 22:39:07 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-15 22:46:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 22:50:36 | × | Googulator66 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 22:50:47 | → | Googulator66 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 22:50:56 | <tcard_> | @magic_rb Hi! Clang is targetable, so hs-bindgen can easily create bindings for a different target. Getting a cross-platform build pipeline working is of course not so easy, especially if there is any Template Haskell involved. Cross compilation support is planned, though! (I have already done some initial work on this, but working on some core functionality currently has priority.) |
| 2025-11-15 22:50:56 | <lambdabot> | Unknown command, try @list |
| 2025-11-15 22:51:12 | <tcard_> | magic_rb Hi! Clang is targetable, so hs-bindgen can easily create bindings for a different target. Getting a cross-platform build pipeline working is of course not so easy, especially if there is any Template Haskell involved. Cross compilation support is planned, though! (I have already done some initial work on this, but working on some core functionality currently has priority.) |
| 2025-11-15 22:51:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-15 22:52:25 | <haskellbridge> | <magic_rb> The way im thinking about this, is that ive already managed to point hs-bindgen at a C header (i think it was sys/stat.h) and it spat out fine looking haskell bindings |
| 2025-11-15 22:53:03 | <haskellbridge> | <magic_rb> I havent tested actually compiling them. But if im able to tell hs bindgen "please target X triplet" thats enough for. Ill just run that in a nix build as a preBuild command and all good :) |
| 2025-11-15 22:54:12 | <haskellbridge> | <magic_rb> The ghc side is a mess, but ive managed to get cross to windows even with TH involved. Along with the works ners has done for a nice Nix flake for cross to JS and WASM, the GHC side is covered. Current blocker for me is the FFI :) |
| 2025-11-15 22:56:23 | <haskellbridge> | <magic_rb> but yeah, my long term goal is to establish CI for my little game engine project for wasm, js, x86_64-linux and x86_64-windows-gnu |
| 2025-11-15 22:56:30 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-11-15 22:56:38 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 22:57:50 | × | jangerma1 quits (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2025-11-15 22:59:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 23:00:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 23:00:19 | → | jangerma1 joins (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) |
| 2025-11-15 23:00:21 | → | califax joins (~califax@user/califx) |
| 2025-11-15 23:02:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 23:05:36 | → | Googulator80 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 23:05:38 | × | Googulator66 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 23:07:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-15 23:08:16 | × | jangerma1 quits (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2025-11-15 23:18:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 23:23:32 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-11-15 23:24:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-15 23:29:30 | × | annamalai quits (~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) (Ping timeout: 245 seconds) |
| 2025-11-15 23:36:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 23:37:42 | → | karenw joins (~karenw@user/karenw) |
| 2025-11-15 23:40:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-15 23:42:21 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-15 23:43:24 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-11-15 23:44:30 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-11-15 23:45:40 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-15 23:48:20 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 244 seconds) |
| 2025-11-15 23:50:50 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 23:51:04 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 23:51:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 23:55:19 | → | Square3 joins (~Square@user/square) |
| 2025-11-15 23:57:47 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-15 23:59:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
All times are in UTC.