Logs: liberachat/#haskell
| 2025-11-15 18:07:55 | × | robertm quits (robertm@lattice.rojoma.com) (Ping timeout: 250 seconds) |
| 2025-11-15 18:09:08 | codolio | is now known as dolio |
| 2025-11-15 18:09:21 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-11-15 18:10:04 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 18:10:46 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 2025-11-15 18:14:14 | × | krei-se quits (~krei-se@p200300f1cf2e0c01000000000000c8c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-11-15 18:14:53 | → | krei-se joins (~krei-se@p50829bd3.dip0.t-ipconnect.de) |
| 2025-11-15 18:15:28 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:15:40 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:17:34 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 18:20:50 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:20:50 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:26:56 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 18:27:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 18:30:52 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 18:33:48 | × | krei-se quits (~krei-se@p50829bd3.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-11-15 18:34:28 | × | ChanServ quits (ChanServ@services.libera.chat) (*.net *.split) |
| 2025-11-15 18:35:23 | → | Nachtgespenst joins (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) |
| 2025-11-15 18:35:28 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:35:38 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:38:51 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-11-15 18:41:00 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:41:24 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:45:41 | → | Googulator70 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:45:41 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 2025-11-15 18:48:23 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 2025-11-15 18:48:23 | iridium.libera.chat | sets mode +o ChanServ |
| 2025-11-15 18:49:39 | × | Nachtgespenst quits (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) (Changing host) |
| 2025-11-15 18:49:39 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-15 18:53:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-15 18:53:56 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-15 18:55:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-15 18:55:31 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2025-11-15 18:59:00 | × | trickard quits (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-15 18:59:10 | → | trickard__ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 19:03:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 19:05:22 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-15 19:05:42 | → | Everything joins (~Everythin@46.96.11.48) |
| 2025-11-15 19:07:17 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 19:07:43 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 19:08:21 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-15 19:08:34 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 19:08:51 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-15 19:10:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-15 19:11:57 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-15 19:12:26 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-15 19:16:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 19:18:14 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-11-15 19:21:03 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-11-15 19:23:24 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 19:24:46 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 2025-11-15 19:26:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-15 19:28:20 | <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 19:28:33 | <haskellbridge> | <sm> or is it a name collision ? |
| 2025-11-15 19:29:44 | <c_wraith> | pretty sure that's the same tool. |
| 2025-11-15 19:30:18 | × | trickard__ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 19:30:31 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 19:32:04 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 19:32:09 | <int-e> | https://github.com/well-typed/hs-bindgen looks quite different from https://github.com/yvan-sraka/hs-bindgen |
| 2025-11-15 19:32:31 | <int-e> | (voting for name collision) |
| 2025-11-15 19:34:01 | <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 19:34:21 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2025-11-15 19:35:46 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 19:37:13 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-11-15 19:37:41 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 19:39:19 | <haskellbridge> | <sm> great links, thank you |
| 2025-11-15 19:40:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-15 19:41:35 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 19:42:50 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-15 19:44:43 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-15 19:44:55 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-15 19:45:29 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-15 19:47:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 19:47:07 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-15 19:47:15 | → | sindu joins (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-15 19:48:37 | → | Digit joins (~user@user/digit) |
| 2025-11-15 19:51:51 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-15 19:52:39 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 2025-11-15 19:53:17 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-15 20:08:53 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 20:10:43 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 20:10:47 | × | Googulator70 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 20:20:02 | → | spew joins (~spew@user/spew) |
| 2025-11-15 20:20:35 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 20:20:39 | → | Googulator89 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 20:21:22 | ChanServ | sets mode +o geekosaur |
| 2025-11-15 20:24:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-15 20:25:50 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 20:25:50 | × | Googulator89 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 20:27:32 | <geekosaur> | I opped up because they're working on services. But I'm a little busy so ping me if needed |
| 2025-11-15 20:35:27 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 20:35:39 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 20:36:05 | <jreicher> | dolio: I take your point (two points, really), but I don't think it's like fixing evaluation order any more than the normal lambda calculus is. I think it's a confusion in the story we are telling about types and arguments. Take, for example, in a Church-numeral arithmetic, that we would probably have (* 0 (K 5)) -> 0, but (* (K 5) 0) -> 5 (or maybe (K (K 5)), etc. depending on implementation of *). What's going on here is (K 5) is not |
| 2025-11-15 20:36:05 | <jreicher> | the sort of object that should be given to the usual story of *, but if we ignore that story what happened is perfectly fine, because abstractions are not commutative. |
| 2025-11-15 20:42:38 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-15 20:43:18 | geekosaur | sets mode -o geekosaur |
| 2025-11-15 20:45:46 | → | califax_ joins (~califax@user/califx) |
| 2025-11-15 20:46:10 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-15 20:46:57 | × | Square3 quits (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-11-15 20:47:03 | califax_ | is now known as califax |
All times are in UTC.