2025/07/09

2025-07-09 00:04:16 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 00:06:39 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 00:06:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 00:12:13 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 00:13:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 00:20:03 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-09 00:20:33 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
2025-07-09 00:25:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 00:26:42 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-09 00:26:53 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-09 00:29:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 00:30:14 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 00:31:32 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-09 00:35:40 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 00:40:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 00:43:40 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-09 00:44:21 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-09 00:45:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-09 00:48:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-09 00:49:49 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-07-09 00:54:28 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-09 00:56:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 00:57:52 +0200mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 244 seconds)
2025-07-09 01:01:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 01:11:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 01:16:11 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 01:17:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-09 01:20:49 +0200arahael(~arahael@user/arahael) (Ping timeout: 244 seconds)
2025-07-09 01:21:10 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 252 seconds)
2025-07-09 01:24:40 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-07-09 01:25:19 +0200acidjnk(~acidjnk@p200300d6e70b66211036d412d118a821.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-09 01:27:03 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-09 01:27:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-07-09 01:27:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 01:28:59 +0200sprotte24(~sprotte24@p200300d16f065b001972c1ed9b092c7b.dip0.t-ipconnect.de) (Quit: Leaving)
2025-07-09 01:29:08 +0200Nosrep_(~jimothy@user/nosrep) Nosrep
2025-07-09 01:30:21 +0200Nosrep_Nosrep
2025-07-09 01:30:27 +0200dmj`(uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-09 01:32:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-09 01:34:17 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 01:34:40 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 01:37:33 +0200falafel(~falafel@79.117.174.28) (Ping timeout: 272 seconds)
2025-07-09 01:40:29 +0200trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-09 01:41:18 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 01:43:04 +0200trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-07-09 01:43:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 01:46:04 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-07-09 01:48:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-09 01:52:41 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-09 01:53:53 +0200Digit(~user@user/digit) (Ping timeout: 268 seconds)
2025-07-09 01:59:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 02:04:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-09 02:04:45 +0200jespada(~jespada@r179-25-42-81.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-07-09 02:07:37 +0200nek0(~nek0@user/nek0) nek0
2025-07-09 02:15:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 02:19:21 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-09 02:20:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 02:22:16 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit)
2025-07-09 02:30:08 +0200ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde
2025-07-09 02:30:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 02:35:12 +0200ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 268 seconds)
2025-07-09 02:37:44 +0200califax(~califax@user/califx) (Ping timeout: 244 seconds)
2025-07-09 02:37:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-09 02:38:31 +0200califax(~califax@user/califx) califx
2025-07-09 02:42:59 +0200trickard_trickard
2025-07-09 02:45:00 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 02:48:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 02:53:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-09 02:54:41 +0200ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2025-07-09 02:55:55 +0200xff0x(~xff0x@2405:6580:b080:900:c28b:dc6e:ea0:b5fe) (Ping timeout: 260 seconds)
2025-07-09 02:56:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-09 02:58:42 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-09 03:00:20 +0200Square(~Square@user/square) Square
2025-07-09 03:02:55 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-09 03:04:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 03:06:40 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 272 seconds)
2025-07-09 03:08:53 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-07-09 03:09:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-09 03:09:46 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-09 03:20:07 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-09 03:20:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 03:25:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-09 03:26:34 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-07-09 03:27:44 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 03:28:13 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-09 03:28:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-09 03:34:37 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-07-09 03:35:04 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-09 03:36:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 03:38:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-07-09 03:41:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 03:48:10 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-09 03:52:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-09 03:56:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-09 03:57:12 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-09 03:58:30 +0200 <Axman6> What's the state of the art for wrapping C libraries these days? I'd love to be able to just chuck a C header at some tool and get corresponding definitions in Haskell, but afaiui that's not how any of the tools work, right?
2025-07-09 04:00:05 +0200 <glguy> is this what AI is for? poorly done FFI?
2025-07-09 04:00:53 +0200 <glguy> I hadn't heard of an interesting advances in C bindings
2025-07-09 04:01:01 +0200 <glguy> any*
2025-07-09 04:03:47 +0200 <geekosaur> c2hs works that way. the problem is that C function definitions are ambiguous when it comes to pointers