| 2025-07-09 00:04:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 00:04:45 +0000 | jespada | (~jespada@r179-25-42-81.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-07-09 00:07:37 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-07-09 00:15:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 00:19:21 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 00:20:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 00:22:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-09 00:30:08 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-09 00:30:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 00:35:12 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 268 seconds) |
| 2025-07-09 00:37:44 +0000 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-09 00:37:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 00:38:31 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 00:42:59 +0000 | trickard_ | trickard |
| 2025-07-09 00:45:00 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 00:48:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 00:53:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 00:54:41 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2025-07-09 00:55:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c28b:dc6e:ea0:b5fe) (Ping timeout: 260 seconds) |
| 2025-07-09 00:56:19 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-09 00:58:42 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-09 01:00:20 +0000 | Square | (~Square@user/square) Square |
| 2025-07-09 01:02:55 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-09 01:04:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 01:06:40 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 272 seconds) |
| 2025-07-09 01:08:53 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-07-09 01:09:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 01:09:46 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 01:20:07 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-09 01:20:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 01:25:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 01:26:34 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-09 01:27:44 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 01:28:13 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 01:28:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 01:34:37 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-09 01:35:04 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-09 01:36:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 01:38:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-09 01:41:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 01:48:10 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 01:52:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 01:56:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 01:57:12 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-09 01:58:30 +0000 | <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 02:00:05 +0000 | <glguy> | is this what AI is for? poorly done FFI? |
| 2025-07-09 02:00:53 +0000 | <glguy> | I hadn't heard of an interesting advances in C bindings |
| 2025-07-09 02:01:01 +0000 | <glguy> | any* |
| 2025-07-09 02:03:47 +0000 | <geekosaur> | c2hs works that way. the problem is that C function definitions are ambiguous when it comes to pointers |
| 2025-07-09 02:04:26 +0000 | <geekosaur> | are they arrays? "out" parameters? is a double indirection a mutable array, an array of arrays, or an "out" array? |
| 2025-07-09 02:04:44 +0000 | <glguy> | the couple times I tried c2hs it took me longer to get it to do what I wanted that to do it manually |
| 2025-07-09 02:05:13 +0000 | <geekosaur> | ghc2hs and successors use a modified c2hs, but the headers they read are generated from an API spec and are commented with the missing information |
| 2025-07-09 02:07:20 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 02:07:38 +0000 | <geekosaur> | basically, C types are so primitive that you really need to study the API of the function you're binding and write the correct marshaling code yourself |
| 2025-07-09 02:07:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 02:08:35 +0000 | <geekosaur> | unless you can pull the gtk2hsc2hs trick and work (directly or indirectly) from an API spec that has all the information you need to write it properly |
| 2025-07-09 02:14:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 02:15:18 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-09 02:16:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 02:16:27 +0000 | <Axman6> | geekosaur: just wrapping all the structs/non-function types would be enough for me |
| 2025-07-09 02:17:10 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 02:17:28 +0000 | <Axman6> | The other big problem that I've run into is wanting to wrapp macOS libraries, which often use Apple's blocks syntax, which none of the tools seem to know about |
| 2025-07-09 02:17:41 +0000 | <Axman6> | s/pp/p |
| 2025-07-09 02:17:48 +0000 | <geekosaur> | c2hs should mostly be able to do that unless they do things like making variable length structs (which I think is either technically illegal or barely legal) with the last element extending past the end of the declared part |
| 2025-07-09 02:18:33 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-09 02:19:35 +0000 | <geekosaur> | C's just evil |
| 2025-07-09 02:20:27 +0000 | <geekosaur> | (I wrote a lot of C code between 1985 and 2016) |
| 2025-07-09 02:21:40 +0000 | <geekosaur> | and yeh, nobody supports blocks. I thiiiink Apple tried to get them standardized but they chose a different extension instead? |
| 2025-07-09 02:22:20 +0000 | <glguy> | were blocks meant to be used outside of ObjC? |
| 2025-07-09 02:22:35 +0000 | <geekosaur> | Apple added them to clang |
| 2025-07-09 02:22:36 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 02:23:09 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 02:23:35 +0000 | <geekosaur> | last I heard the C standard committee was considering importing C++'s lambda syntax |
| 2025-07-09 02:23:48 +0000 | <geekosaur> | but hadn't made a decision yet |
| 2025-07-09 02:24:06 +0000 | <glguy> | with captures? |
| 2025-07-09 02:24:14 +0000 | <geekosaur> | don't recall |
| 2025-07-09 02:24:23 +0000 | <geekosaur> | probably not since C can't do them right |
| 2025-07-09 02:24:37 +0000 | <geekosaur> | hence "syntax" |
| 2025-07-09 02:24:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 02:25:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 02:26:14 +0000 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 245 seconds) |
| 2025-07-09 02:27:30 +0000 | <Axman6> | Hmm, looks like I made more progress on getting this stuff work than I thought I did, looking at my old code. I at least got enums... |
| 2025-07-09 02:27:59 +0000 | td_ | (~td@i5387091B.versanet.de) |
| 2025-07-09 02:29:04 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-09 02:30:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-09 02:31:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-09 02:31:14 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 02:31:54 +0000 | <Axman6> | urgh, ok, it's not even blocks that cause problems, Apple use types like `const es_message_t *_Nonnull message` and that confuses c2hs, "The symbol `*' does not fit here." |
| 2025-07-09 02:32:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 02:32:32 +0000 | <Axman6> | (and even more confusingly, the location it points to is not where the * even is, it points to half way through the es_message_t) |
| 2025-07-09 02:33:55 +0000 | <geekosaur> | sounds like a macro expanding to some Apple-specific attribute? |
| 2025-07-09 02:34:26 +0000 | <geekosaur> | (the visible `*` is fine assuming `es_message_t` expands to a valid type) |
| 2025-07-09 02:35:19 +0000 | <Axman6> | yeah, that's what I thought too. I tried #define _Nonnull but that didn't help |
| 2025-07-09 02:35:34 +0000 | <geekosaur> | no, you want to look at how es_message_t is defined |
| 2025-07-09 02:36:39 +0000 | <geekosaur> | try using clang -E on the source file |
| 2025-07-09 02:37:11 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 02:38:33 +0000 | <geekosaur> | I suspect it will turn out to be a macro which involves watever Apple has chosen to use instead of gcc's __attribute__() |
| 2025-07-09 02:38:35 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 02:38:43 +0000 | <geekosaur> | *whatever |
| 2025-07-09 02:40:04 +0000 | <Axman6> | It expands to es_respond_result_t es_respond_auth_result(es_client_t *_Nonnull client, const es_message_t *_Nonnull message, es_auth_result_t result, bool cache);, which is preceeded with a bunch of attributes |
| 2025-07-09 02:40:20 +0000 | <geekosaur> | if you're really lucky it will turn out to share with __attribute__() that you can #define it away for use by tools |
| 2025-07-09 02:41:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 02:41:50 +0000 | <geekosaur> | that sounds like either you didn't do what I asked or there is a typedef for es_message_t including tomfoolery |
| 2025-07-09 02:43:19 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-09 02:44:29 +0000 | senoraraton | (~senorarat@4.sub-75-238-52.myvzw.com) (Quit: Lost terminal) |
| 2025-07-09 02:46:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 02:47:05 +0000 | <Axman6> | https://paste.tomsmeding.com/N2G4Z9iq |
| 2025-07-09 02:48:49 +0000 | <Axman6> | is typedef enum : uint32_t { ... } as C++ ism? |
| 2025-07-09 02:54:46 +0000 | <Axman6> | Asking because one of the headers that get included is <sys/mount.h>, which include the following definition: https://gist.github.com/axman6/64c207ab31310d26e175024594fc46fa, c2hs says "The symbol `:' does not fit here." |
| 2025-07-09 02:57:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 02:59:00 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-09 02:59:51 +0000 | <geekosaur> | C++ and I think maybe the very latest C standard? |
| 2025-07-09 03:00:02 +0000 | <geekosaur> | otherwise C always treats an enum as int |
| 2025-07-09 03:02:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 03:03:30 +0000 | <geekosaur> | okay, apparently just C++ |
| 2025-07-09 03:04:11 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 03:05:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 03:07:56 +0000 | <geekosaur> | also I note that strict in your first paste does that extensible struct thing I mentioned (note the `uint64_t opaque[]` at the end) |
| 2025-07-09 03:08:10 +0000 | <geekosaur> | *struct |
| 2025-07-09 03:09:08 +0000 | <geekosaur> | that's going to make life fairly difficult if you need to save the whole thing and cough it up on a future FFI call |
| 2025-07-09 03:12:12 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 03:13:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 03:14:43 +0000 | <geekosaur> | although in fact C is no better, they would need to provide a function to capture it as an opaque blob on the heap to which you get a pointer that can be freed by another function |
| 2025-07-09 03:15:36 +0000 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) (Remote host closed the connection) |
| 2025-07-09 03:16:48 +0000 | <probie> | I think the assumption is probably that values of es_message_t are never created by hand, only ever passed by reference |
| 2025-07-09 03:17:15 +0000 | <geekosaur> | would pretty much have to be |
| 2025-07-09 03:17:21 +0000 | <geekosaur> | I just worry about lifetimes |
| 2025-07-09 03:17:35 +0000 | <geekosaur> | (where's rust when you need it? 😈 ) |
| 2025-07-09 03:17:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 03:18:19 +0000 | <probie> | Not quite related; why can't GHC's FFI support passing structs |
| 2025-07-09 03:19:14 +0000 | <geekosaur> | because the ABI varies by compiler and platform and sometimes by how the function is called (e.g. varargs/stdarg, but also what other parameters use what registers) |
| 2025-07-09 03:19:45 +0000 | <geekosaur> | the raku folks fought with this, came up with something that worked on amd64, then found aarch64 was completely different |
| 2025-07-09 03:20:07 +0000 | <geekosaur> | and then found even amd64 didn't quite work when returning them |
| 2025-07-09 03:20:59 +0000 | <geekosaur> | you are very much better off handing that problem off to a C compiler and sticking to pointers otherwise |
| 2025-07-09 03:22:37 +0000 | <probie> | Which I'm pretty sure GHC can already do, with the capi calling convention stuff |
| 2025-07-09 03:23:28 +0000 | <geekosaur> | you still have to get stuff across the boundary |
| 2025-07-09 03:23:36 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
| 2025-07-09 03:24:31 +0000 | <geekosaur> | as is, capi and ccall can mostly share code. I think capi would need to be thoroughly reworked to even attempt it, and then I think you run into Windows questions iirc? |
| 2025-07-09 03:25:24 +0000 | <geekosaur> | (I may be wrong there, may only have been ccall vs. the now defunct stdcall, not capi at all) |
| 2025-07-09 03:26:10 +0000 | <probie> | I'm not really complaining and know it's not trivial to solve, I just find it frustrating that I can't naively wrap certain C APIs and have to introduce "new" versions of any function that takes a struct by value or returns a struct |
| 2025-07-09 03:26:45 +0000 | <geekosaur> | but in any case you'd still at some level be writing or reading a struct pointer, all capi could do would be to turn it nto a direct parameter/return |
| 2025-07-09 03:27:39 +0000 | <geekosaur> | +in its generated stub |
| 2025-07-09 03:28:17 +0000 | <geekosaur> | personally I consider this just another example of C being a mess of bad hacks |
| 2025-07-09 03:29:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 03:31:46 +0000 | <probie> | With the library I'm currently working with, I end up with a lot of places where I'd like to be able to write `f =<< (g foo bar)` instead of `alloca $ \someStruct -> g' someStruct foo bar >> f someStruct` |
| 2025-07-09 03:32:03 +0000 | <probie> | Because it deals with graphics, and colours are structs passed by value |
| 2025-07-09 03:34:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 03:43:07 +0000 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-07-09 03:43:13 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-09 03:44:12 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-09 03:44:48 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-07-09 03:44:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 03:44:53 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-09 03:47:17 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 03:52:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 03:53:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 03:56:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 03:56:46 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-09 03:58:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 04:01:21 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 2025-07-09 04:08:41 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-09 04:09:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 04:14:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 04:23:36 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-07-09 04:25:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 04:26:37 +0000 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2025-07-09 04:26:57 +0000 | jinsun | (jinsun@user/jinsun) (Quit: fBNC - https://bnc4free.com) |
| 2025-07-09 04:30:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 04:35:07 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-09 04:37:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-07-09 04:37:05 +0000 | xacktm | (xacktm@user/xacktm) xacktm |
| 2025-07-09 04:40:45 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-09 04:40:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 04:41:20 +0000 | jinsun | (jinsun@here.and.ready-to.party) |
| 2025-07-09 04:41:44 +0000 | jinsun | Guest3064 |
| 2025-07-09 04:45:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-09 04:52:21 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 04:54:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 04:55:56 +0000 | patri_ | (~patri@user/patri) (Ping timeout: 252 seconds) |
| 2025-07-09 04:58:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-09 05:03:24 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-09 05:03:33 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 05:04:40 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 05:09:53 +0000 | <jreicher> | ski: why I think of the meaning of typeclasses (and the checking of them) non-constructively. |
| 2025-07-09 05:09:53 +0000 | mange | (~mange@user/mange) mange |
| 2025-07-09 05:09:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 05:11:45 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-09 05:12:43 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 05:13:25 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
| 2025-07-09 05:14:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 05:19:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 05:25:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 05:26:59 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-09 05:30:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 05:41:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 05:46:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 05:55:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 06:00:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 06:08:27 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 06:11:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 06:16:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 06:16:41 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 06:22:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 06:23:44 +0000 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 245 seconds) |
| 2025-07-09 06:27:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-09 06:27:37 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-09 06:31:13 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2025-07-09 06:31:37 +0000 | Digitteknohippie | Digit |
| 2025-07-09 06:32:47 +0000 | jreicher | (~user@user/jreicher) (Quit: Back in a bit) |
| 2025-07-09 06:36:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) |
| 2025-07-09 06:38:01 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-09 06:38:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 06:45:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-09 06:54:22 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 06:54:51 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-09 06:55:46 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2025-07-09 06:56:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 07:00:00 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-09 07:00:41 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-09 07:01:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 07:01:46 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 07:05:33 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 07:05:47 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 07:08:50 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-09 07:11:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 07:12:23 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-07-09 07:12:42 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-09 07:16:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 07:16:43 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-09 07:17:07 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-09 07:22:13 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-09 07:22:46 +0000 | acidjnk | (~acidjnk@p200300d6e70b66210d7c80ef442d406e.dip0.t-ipconnect.de) acidjnk |
| 2025-07-09 07:25:24 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-09 07:26:24 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-07-09 07:27:33 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-09 07:28:37 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-07-09 07:29:04 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-09 07:29:18 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2025-07-09 07:29:51 +0000 | chele | (~chele@user/chele) chele |
| 2025-07-09 07:33:35 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-07-09 07:37:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-07-09 07:37:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 07:38:25 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-09 07:42:20 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 07:44:22 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-09 07:47:53 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-09 07:49:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 07:50:12 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 07:53:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-07-09 07:55:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-09 07:59:59 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-07-09 08:00:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-07-09 08:01:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 08:04:34 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 08:05:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 08:05:22 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-07-09 08:09:18 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-09 08:19:32 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 08:20:16 +0000 | tv | (~tv@user/tv) tv |
| 2025-07-09 08:34:24 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-09 08:34:50 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-09 08:39:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 08:39:53 +0000 | Digitteknohippie | Digit |
| 2025-07-09 08:42:14 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-09 08:49:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-09 08:51:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 09:06:36 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-09 09:07:06 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-09 09:26:40 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 09:37:31 +0000 | crazazy1 | crazazy[town] |
| 2025-07-09 09:50:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-09 09:54:57 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-07-09 10:00:07 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-07-09 10:00:10 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-09 10:01:28 +0000 | img | (~img@user/img) img |
| 2025-07-09 10:04:59 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
| 2025-07-09 10:09:27 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-09 10:09:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 10:10:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-07-09 10:10:47 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 10:11:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-07-09 10:14:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-09 10:15:49 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-09 10:16:56 +0000 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) euandreh |
| 2025-07-09 10:19:35 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 10:22:10 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 10:23:07 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-09 10:27:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-09 10:35:36 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-09 10:35:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-09 10:36:58 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-09 10:39:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-09 10:39:18 +0000 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-09 10:39:20 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 10:45:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 10:52:54 +0000 | immibis | goerj |
| 2025-07-09 10:57:42 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-07-09 10:58:52 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-09 11:01:30 +0000 | jespada | (~jespada@r167-61-121-70.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-09 11:02:18 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-07-09 11:03:56 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-09 11:07:04 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-09 11:08:06 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 11:08:44 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2025-07-09 11:09:20 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 11:10:36 +0000 | <ski> | lambdas (with and without capturing, iirc) were considered in C23 (multiple proposals by Jens Gustedt (of INRIA)), but weren't adopted |
| 2025-07-09 11:11:36 +0000 | <ski> | jreicher : in which non-constructive way, more specifically ? |
| 2025-07-09 11:11:54 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 11:13:13 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-09 11:13:21 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 11:13:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3f62:37ac:1098:7185) |
| 2025-07-09 11:16:53 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-07-09 11:17:43 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 11:17:54 +0000 | Everything | (~Everythin@5.248.182.59) Everything |
| 2025-07-09 11:18:51 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 11:24:20 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-09 11:25:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 11:29:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 11:29:19 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 11:29:32 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 11:30:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 11:33:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-09 11:49:16 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 11:52:11 +0000 | <jreicher> | ski: Understanding typeclass declarations without imagining the kinds of types that might be instances of it. |
| 2025-07-09 11:52:53 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-07-09 11:54:20 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-09 11:57:32 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-09 12:02:09 +0000 | <sprout> | > 2+2 |
| 2025-07-09 12:02:10 +0000 | <lambdabot> | 4 |
| 2025-07-09 12:02:23 +0000 | <sprout> | > let 5 = 2+2 in 2+2 |
| 2025-07-09 12:02:24 +0000 | <lambdabot> | 4 |
| 2025-07-09 12:02:30 +0000 | <sprout> | boo |
| 2025-07-09 12:02:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 12:03:08 +0000 | <sprout> | > let 5 = 2+2 in 5 |
| 2025-07-09 12:03:10 +0000 | <lambdabot> | 5 |
| 2025-07-09 12:03:15 +0000 | <sprout> | worse |
| 2025-07-09 12:03:20 +0000 | <ski> | jreicher : understanding the interface it provides, in a more abstract fashion ? |
| 2025-07-09 12:03:44 +0000 | <ski> | > let 2 + 2 = 5 in 2 + 2 |
| 2025-07-09 12:03:46 +0000 | <lambdabot> | 5 |
| 2025-07-09 12:03:56 +0000 | <sprout> | cool! |
| 2025-07-09 12:04:05 +0000 | <ski> | > let 2 + 2 = 5 in 1 + 3 |
| 2025-07-09 12:04:06 +0000 | <lambdabot> | *Exception: <interactive>:3:5-13: Non-exhaustive patterns in function + |
| 2025-07-09 12:05:03 +0000 | Everything | (~Everythin@5.248.182.59) (Quit: leaving) |
| 2025-07-09 12:07:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 12:09:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-07-09 12:09:37 +0000 | jespada | (~jespada@r167-61-121-70.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-09 12:15:24 +0000 | <jreicher> | ski: to my mind a typeclass does not really "provide" anything. It states properties/constraints that any instance of that class must have. The instances do the true "providing". |
| 2025-07-09 12:15:46 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-09 12:16:39 +0000 | <jreicher> | It's a bit like the axioms of a mathematical theory. With every axiom you add, you're not saying what the theory is; rather you are ruling out things it can't be. |
| 2025-07-09 12:16:53 +0000 | ph88 | (~ph88@2a02:8109:9e21:b800:9687:d19d:fbd0:f1f1) |
| 2025-07-09 12:17:07 +0000 | <merijn> | That sounds a bit like typeclassopedia, no? |
| 2025-07-09 12:17:21 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-09 12:18:08 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 12:18:22 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 12:18:38 +0000 | <jreicher> | Don't know! Haven't really read it. |
| 2025-07-09 12:21:41 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 12:22:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 12:23:42 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Error from remote client) |
| 2025-07-09 12:25:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 12:27:16 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 12:27:40 +0000 | jespada | (~jespada@r167-61-121-70.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-09 12:28:45 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-09 12:29:43 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 12:32:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-09 12:33:52 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 12:36:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-09 12:41:38 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 12:41:53 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 12:42:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-09 12:44:31 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 12:46:40 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-09 12:47:23 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-07-09 12:48:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 12:51:37 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-09 12:52:49 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 13:04:47 +0000 | <ski> | jreicher : right. "provide" as in what instances of it must provide, and as in what you're provided, if you add such a type constraint constraint on a type variable in (the signature of) an operation you're defining |
| 2025-07-09 13:06:42 +0000 | YaShhhh | (~YaShhhh@150.107.26.15) |
| 2025-07-09 13:10:31 +0000 | YaShhhh | (~YaShhhh@150.107.26.15) (Client Quit) |
| 2025-07-09 13:20:59 +0000 | trickard_ | trickard |
| 2025-07-09 13:26:09 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 13:30:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-09 13:36:18 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 13:36:32 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-09 13:36:44 +0000 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2025-07-09 13:38:21 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 13:41:59 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-07-09 13:43:09 +0000 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-07-09 13:43:41 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 13:48:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 13:48:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 13:49:44 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 13:51:32 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-09 13:58:30 +0000 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-07-09 13:58:36 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-09 14:00:33 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:fcdc:c4ca:c2a1:790b) youngfrog |
| 2025-07-09 14:04:46 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 14:11:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 14:12:21 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-09 14:12:30 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 14:12:54 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) yabobay |
| 2025-07-09 14:13:00 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 2025-07-09 14:15:31 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) () |
| 2025-07-09 14:18:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-09 14:20:24 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 14:22:46 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-07-09 14:23:08 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 14:26:45 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-07-09 14:33:43 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-07-09 14:41:05 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-09 14:42:59 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-07-09 14:43:41 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 14:44:08 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 14:45:55 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 265 seconds) |
| 2025-07-09 14:50:11 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 14:53:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 14:59:18 +0000 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-09 15:02:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 15:11:34 +0000 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 252 seconds) |
| 2025-07-09 15:16:50 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-09 15:19:02 +0000 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-09 15:20:36 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-09 15:26:12 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-09 15:30:41 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 15:31:49 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 15:34:10 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 15:36:47 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-07-09 15:37:41 +0000 | Frostillicus | (~Frostilli@71.174.119.69) |
| 2025-07-09 15:43:34 +0000 | Frostillicus | (~Frostilli@71.174.119.69) (Read error: Connection reset by peer) |
| 2025-07-09 15:44:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-09 15:45:28 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-09 15:46:30 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-09 15:48:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 15:50:04 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-09 15:51:03 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 15:53:23 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 15:57:59 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 16:02:49 +0000 | AlexNoo | (~AlexNoo@178.34.151.27) (Ping timeout: 260 seconds) |
| 2025-07-09 16:03:26 +0000 | AlexZenon | (~alzenon@178.34.151.27) (Ping timeout: 276 seconds) |
| 2025-07-09 16:05:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 16:08:28 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-09 16:10:00 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-09 16:10:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 16:10:51 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 16:10:57 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 16:11:10 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 16:11:13 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 16:14:10 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-09 16:14:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 16:17:21 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 16:20:50 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 16:20:54 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2025-07-09 16:21:13 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 16:23:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 16:35:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 16:40:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-09 16:44:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 16:47:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 16:49:25 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-09 16:50:17 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 16:51:40 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-09 16:52:49 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 17:08:32 +0000 | AlexNoo | (~AlexNoo@178.34.150.30) |
| 2025-07-09 17:08:43 +0000 | AlexZenon | (~alzenon@178.34.150.30) |
| 2025-07-09 17:09:10 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-07-09 17:10:11 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2025-07-09 17:10:13 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2025-07-09 17:10:36 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-07-09 17:10:37 +0000 | ChanServ | +v yahb2 |
| 2025-07-09 17:14:17 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-09 17:14:42 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 17:14:56 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 17:16:09 +0000 | <monochrom> | One needs a balance between constructing and specifying. |
| 2025-07-09 17:16:14 +0000 | patri_ | (~patri@user/patri) patri |
| 2025-07-09 17:16:47 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-09 17:17:19 +0000 | <monochrom> | The logical conclusion of being all constructing and never specifying is that only machine code, nay, logic gates, nay, transistors, nay, quantum mechanics, is purely constructing. |
| 2025-07-09 17:20:26 +0000 | <monochrom> | Another way to say it---one way to see it---is that if you never specify then you never have abstraction and you never build upon someone else's work. You would be speaking like "I want to construct a hamburger, starting with the big bang". |
| 2025-07-09 17:20:41 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-09 17:23:05 +0000 | <EvanR> | https://archive.org/details/4-byte-burger |
| 2025-07-09 17:23:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-09 17:24:15 +0000 | <monochrom> | Neat. |
| 2025-07-09 17:24:43 +0000 | <EvanR> | there's a whole story behind this image, which is itself a carefully researched forgery |
| 2025-07-09 17:29:09 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-09 17:29:11 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 17:29:37 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 17:33:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-09 17:34:30 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 17:35:13 +0000 | dhil | (~dhil@5.151.29.137) (Ping timeout: 248 seconds) |
| 2025-07-09 17:38:11 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-09 17:41:10 +0000 | trickard_ | trickard |
| 2025-07-09 17:46:21 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2025-07-09 17:46:22 +0000 | Server | +Cnt |
| 2025-07-09 17:53:10 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 17:53:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 17:55:23 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2025-07-09 17:58:23 +0000 | crazazy[town] | (~crazazy@2602:f72c:0:400::be50:77ed) (Quit: WeeChat 4.6.3) |
| 2025-07-09 17:58:46 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-07-09 17:59:36 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 18:00:20 +0000 | crazazy | (~crazazy@tilde.town) crazazy |
| 2025-07-09 18:02:22 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) yabobay |
| 2025-07-09 18:03:00 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) () |
| 2025-07-09 18:04:16 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-09 18:07:10 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 18:07:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 18:11:16 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 18:11:32 +0000 | crazazy | (~crazazy@tilde.town) (Quit: WeeChat 4.6.3) |
| 2025-07-09 18:12:07 +0000 | crazazy | (~crazazy@tilde.town) crazazy |
| 2025-07-09 18:14:12 +0000 | crazazy | (~crazazy@tilde.town) (Client Quit) |
| 2025-07-09 18:17:56 +0000 | phma | (~phma@host-67-44-208-10.hnremote.net) |
| 2025-07-09 18:18:08 +0000 | crazazy | (~crazazy@tilde.town) crazazy |
| 2025-07-09 18:21:01 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-09 18:23:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 18:25:12 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-07-09 18:29:02 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-07-09 18:29:27 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 18:32:52 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-07-09 18:33:48 +0000 | sprotte24 | (~sprotte24@p200300d16f1294001cef72f177208735.dip0.t-ipconnect.de) |
| 2025-07-09 18:35:36 +0000 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-07-09 18:36:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-09 18:39:30 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 18:39:55 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-09 18:42:05 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 18:46:10 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-09 18:49:47 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 18:50:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 18:50:58 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-09 18:51:30 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 18:58:35 +0000 | trickard_ | trickard |
| 2025-07-09 19:00:02 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-09 19:00:44 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-09 19:02:12 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-09 19:05:43 +0000 | <drlkf> | hey, would anyone be willing to give me a hackage endorsement? i can provide my github profile and a package i'd like to upload |
| 2025-07-09 19:07:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-09 19:08:10 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 19:08:21 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-09 19:08:31 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 19:09:14 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 19:09:45 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-09 19:09:53 +0000 | Digit | (~user@user/digit) Digit |
| 2025-07-09 19:11:48 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2025-07-09 19:20:36 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-09 19:22:53 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-09 19:37:18 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-09 19:40:54 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-09 19:43:11 +0000 | <Nosrep> | is there a way to make stack use wasm ghc? works fine in cabal with the --with-compiler and --with-hc-pkg flags but can't find something comparable with stack |
| 2025-07-09 19:43:28 +0000 | <Nosrep> | there's a --compiler flag and stack.yaml option but it doesn't like the wasm ghc names i give it |
| 2025-07-09 19:44:00 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-09 19:45:20 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-09 19:45:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-09 19:49:34 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-09 19:49:43 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 19:49:54 +0000 | <tomsmeding> | Nosrep: do you have a specific reason for wanting to use stack? |
| 2025-07-09 19:50:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-09 19:50:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-09 19:52:53 +0000 | <Nosrep> | i just like it more |
| 2025-07-09 19:53:01 +0000 | <Nosrep> | and it has the extra-deps which i'm using |
| 2025-07-09 19:55:03 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-07-09 19:59:27 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 19:59:41 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 20:02:54 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 20:05:31 +0000 | <tomsmeding> | (extra-deps are just normal dependencies in cabal if they come from hackage, and are source-repository-package stanzas in a cabal.project if they don't) |
| 2025-07-09 20:06:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-09 20:06:28 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-07-09 20:07:10 +0000 | acidjnk | (~acidjnk@p200300d6e70b66210d7c80ef442d406e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-09 20:09:37 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 20:10:14 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 20:10:25 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 20:13:06 +0000 | <Nosrep> | yeah figured that out |
| 2025-07-09 20:13:11 +0000 | <Nosrep> | i'll probably just jump to cabal for this then |
| 2025-07-09 20:14:07 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2025-07-09 20:20:36 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 20:38:20 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 2025-07-09 20:40:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 20:40:17 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 20:40:28 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-07-09 20:40:44 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-09 20:44:05 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-07-09 20:44:08 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-09 20:44:22 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 20:45:28 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 20:46:19 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-09 20:46:48 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2025-07-09 20:47:08 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 20:48:47 +0000 | jespada | (~jespada@r167-61-121-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 268 seconds) |
| 2025-07-09 20:51:36 +0000 | jespada | (~jespada@r190-133-11-154.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-09 20:53:18 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-09 20:53:33 +0000 | bionade24_ | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-07-09 20:54:00 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-07-09 20:54:28 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-09 21:02:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-09 21:03:13 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-09 21:04:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 21:06:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 21:07:38 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-07-09 21:11:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 21:11:26 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-09 21:11:41 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 21:15:13 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-09 21:20:09 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-09 21:22:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 21:27:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-09 21:31:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-09 21:31:16 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 21:32:07 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 21:37:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-09 21:37:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 21:39:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-09 21:40:32 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-09 21:41:31 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 21:42:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-09 21:44:15 +0000 | JayKobe6k | (~jbarber@user/JayKobe6k) JayKobe6k |
| 2025-07-09 21:46:41 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 21:46:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-09 21:47:09 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 21:50:32 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-09 21:53:25 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 21:53:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 21:56:27 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-09 21:59:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 22:00:59 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-09 22:03:49 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-09 22:06:19 +0000 | trickard_ | trickard |
| 2025-07-09 22:06:58 +0000 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-07-09 22:09:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 22:11:33 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-07-09 22:14:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 22:16:11 +0000 | sprotte24 | (~sprotte24@p200300d16f1294001cef72f177208735.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-09 22:21:47 +0000 | Rain_ | (Rain@user/Rain-:22721) Rain_ |
| 2025-07-09 22:23:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-09 22:24:53 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-09 22:25:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 22:25:42 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 22:30:25 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 22:31:30 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-09 22:31:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-09 22:31:59 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-09 22:33:07 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-09 22:35:23 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 22:35:29 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-09 22:36:21 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 22:36:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 22:41:29 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 22:42:23 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-09 22:43:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 22:44:04 +0000 | <jreicher> | merijn: I had a look at typeclassopedia. I think I understand why you said that and I agree. |
| 2025-07-09 22:44:22 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-09 22:45:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 22:46:00 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-09 22:48:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-09 22:50:28 +0000 | Catty | catties |
| 2025-07-09 22:52:46 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-09 22:53:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 22:54:12 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 22:54:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-09 22:55:36 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
| 2025-07-09 22:56:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 22:58:06 +0000 | <geekosaur> | monochrom: “If you wish to make an apple pie from scratch, you must first invent the universe.” |
| 2025-07-09 22:59:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 22:59:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 22:59:33 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-09 23:00:16 +0000 | catties | catttttttties |
| 2025-07-09 23:04:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-09 23:05:18 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-09 23:08:23 +0000 | catttttttties | catties |
| 2025-07-09 23:09:17 +0000 | mikess | (~sam@user/mikess) mikess |
| 2025-07-09 23:10:24 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-09 23:14:12 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-09 23:14:15 +0000 | <jreicher> | Only if you don't have naive set comprehension |
| 2025-07-09 23:14:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 23:19:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-09 23:24:10 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-09 23:26:32 +0000 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-09 23:27:34 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-09 23:27:57 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-09 23:27:58 +0000 | trickard__ | trickard |
| 2025-07-09 23:30:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 23:31:38 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-07-09 23:32:44 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-09 23:32:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-09 23:35:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-09 23:38:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-09 23:41:06 +0000 | Rain_ | (Rain@user/Rain-:22721) (Quit: ZNC 1.10.0-rc1 - https://znc.in) |
| 2025-07-09 23:44:29 +0000 | mange | (~mange@user/mange) mange |
| 2025-07-09 23:44:36 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-07-09 23:45:29 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-09 23:45:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-09 23:46:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 23:47:30 +0000 | <Axman6> | geekosaur: probie: sorry for running away yesterday on all the C-FFI talk, it was very helpful. I have a feeling wrapping this library will be pretty difficult, because it does appear to call into C++ (and does need access to all these structs from various parts of the OS - this is the macOS endpoint security framework, so it does things like provide the stat struct of opened files, or structs that represent filesystem mounts) |
| 2025-07-09 23:48:33 +0000 | <geekosaur> | if it has C wrappers then those should deal with that for you. if it doesn't, well, C++ calling conventions are like the struct calling conventions I mentioned yesterday, only more so. |
| 2025-07-09 23:48:53 +0000 | <geekosaur> | the Raku folks died on that hill too 🙂 |
| 2025-07-09 23:49:38 +0000 | <Axman6> | yeah - well the current thing that's stopping c2hs is the enum : uint32_t stuff (I had a quick look to see if that's something that was added to a C standard but then went home) |
| 2025-07-09 23:49:58 +0000 | <geekosaur> | cppreference says it's not in a C standard |
| 2025-07-09 23:50:13 +0000 | <geekosaur> | (they do generally note when C has something, sometimes in a different form) |
| 2025-07-09 23:51:19 +0000 | <geekosaur> | I think SWIG has some ability to deal with both of those things, but that would add a layer of indirection because I don't think it supports generating Haskell bindings so you would need to generate something that Haskell can bind to |
| 2025-07-09 23:51:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-09 23:51:59 +0000 | <geekosaur> | (not necessarily C: IIRC SSWIG can generate Python bindings, then there's https://flora.pm/packages/@hackage/inline-python) |
| 2025-07-09 23:53:23 +0000 | <geekosaur> | *SWIG |
| 2025-07-09 23:53:38 +0000 | <humasect> | why does haskell need building on mac(homebrew)? are there no binaries |
| 2025-07-09 23:53:46 +0000 | <humasect> | taking some hours |
| 2025-07-09 23:53:54 +0000 | <Axman6> | my interest in this was spurred by this announcement https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframe… which made the possibility of doing things by making a C wrapper that calls Haskell a possibility, but at some point I will probably still need to interact with the C structs |
| 2025-07-09 23:54:03 +0000 | <Axman6> | humasect: use ghcup, not homebrew |
| 2025-07-09 23:54:59 +0000 | <Axman6> | I would have thought homebrew also had the pre-compiled binaries the GHC team make, but nonetheless, homebrew is the wrong tool for the job, ghcup lets you manage multiple compilers, and all the tools like cabal, HLS |
| 2025-07-09 23:55:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-09 23:55:29 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
| 2025-07-09 23:57:21 +0000 | <geekosaur> | homebrew is weird, I don't know why their binaries stuff doesn't have ghc on it and in any case you'd be stuck with whatever version they bottle I think. |
| 2025-07-09 23:58:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-09 23:59:44 +0000 | <Axman6> | geekosaur: have you done anything with inline-c? Wondering if that could avoid some of these issues by offloading more to the C compiler |
| 2025-07-09 23:59:58 +0000 | <geekosaur> | I know it exists but haven't used it |