2025-07-14 00:01:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 00:02:46 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-14 00:05:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-07-14 00:05:51 +0200 | ljdarj1 | ljdarj |
2025-07-14 00:06:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 00:08:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 00:09:10 +0200 | poxel | (~poxel@user/poxel) poxel |
2025-07-14 00:09:45 +0200 | jespada | (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-07-14 00:10:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 00:10:31 +0200 | jespada | (~jespada@r179-25-152-178.dialup.adsl.anteldata.net.uy) jespada |
2025-07-14 00:11:49 +0200 | poxel | (~poxel@user/poxel) (Client Quit) |
2025-07-14 00:12:08 +0200 | poxel | (~poxel@user/poxel) poxel |
2025-07-14 00:12:33 +0200 | poxel | (~poxel@user/poxel) (Client Quit) |
2025-07-14 00:17:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-07-14 00:18:30 +0200 | <ii8> | Is there a way to download a tarball of a package from hackage.org that has a fixed hash? Maybe something like https://hackage.haskell.org/package/cborg-0.2.10.0/cborg-0.2.10.0.tar.gz?index-state=2025-02-02T20… |
2025-07-14 00:18:38 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 00:18:44 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 00:19:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 00:22:25 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-07-14 00:23:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-07-14 00:25:11 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 00:25:24 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-14 00:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 00:26:00 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-07-14 00:30:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-07-14 00:31:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 00:36:25 +0200 | trickard_ | trickard |
2025-07-14 00:38:19 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-14 00:41:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 00:42:10 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 00:42:45 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 00:43:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 00:46:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 00:47:04 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
2025-07-14 00:48:10 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 00:48:31 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 00:53:52 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 00:54:05 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-14 00:54:21 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 00:54:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-07-14 00:57:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 00:58:29 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-07-14 01:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-14 01:04:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 01:05:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-07-14 01:08:21 +0200 | <monochrom> | I only know how to split that into a set-index-state step and a download step. cabal update hackage.haskell.org,2025-02-02T20:29:37Z ; cabal get cborg-0.2.10.0 |
2025-07-14 01:09:14 +0200 | <monochrom> | Oh oops it could have been cabal get --index-state=2025-02-02T20:29:37Z cborg-0.2.10.0 |
2025-07-14 01:09:38 +0200 | <monochrom> | (`cabal get --help` was helpful) |
2025-07-14 01:11:26 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 01:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 01:14:21 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-07-14 01:14:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b6600c95b36139ef284f9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-07-14 01:14:57 +0200 | <ii8> | Ah but I don't have cabal. Cabal is what I'm trying to build and the bootstrap script is just downloading the tarballs and then checking the hashes |
2025-07-14 01:15:04 +0200 | <ii8> | But the hashes on hackage don't seem to be stable |
2025-07-14 01:15:40 +0200 | <ii8> | So I'd need something that I can just put on the download url |
2025-07-14 01:16:04 +0200 | <ii8> | I'm trying to read the cabal source code to see how it does it, but there's a lot of it.. |
2025-07-14 01:16:18 +0200 | randomstuff | (~randomstu@37.120.80.229) (Quit: Client closed) |
2025-07-14 01:17:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 01:18:09 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 01:18:17 +0200 | <ii8> | Oh, hackage actually claims that the tarball is never changed, so it must be the metadata then that is failing the hash |
2025-07-14 01:20:03 +0200 | arandombit | (~halloy786@user/arandombit) (Remote host closed the connection) |
2025-07-14 01:22:25 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-07-14 01:23:55 +0200 | <ii8> | Must have been a transient network error. ty monochrom |
2025-07-14 01:25:40 +0200 | <geekosaur> | I was wondering, I'm running the bootstrap for 3.14 with ghc-9.8.2 and not getting any hash mismatches |
2025-07-14 01:25:48 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
2025-07-14 01:26:07 +0200 | <geekosaur> | and master and 3.16-to-be are checked with every PR |
2025-07-14 01:26:57 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-07-14 01:28:35 +0200 | <geekosaur> | also what system/arch are you on that you need to bootstrap? |
2025-07-14 01:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 01:30:06 +0200 | <ii8> | Yea I wasn't getting mismatches either on x86_64 it was reported by someone on aarch64. But I think it was transient |
2025-07-14 01:30:40 +0200 | <ii8> | I am packaging for void-linux on i686, x86_64, x86_64 musl libc, aarch64 and aarch64 musl |
2025-07-14 01:30:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-07-14 01:31:46 +0200 | <ii8> | If you want to have a look: https://github.com/void-linux/void-packages/pull/56112 |
2025-07-14 01:32:47 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-07-14 01:33:02 +0200 | <geekosaur> | interesting. I don't think we have access to any linux aarch64 builders |
2025-07-14 01:33:23 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 01:33:23 +0200 | <jackdk> | Is anyone else having trouble acquiring gnulib? I'm trying the `live-bootstrap/rootfs.py` script and getting `requests.exceptions.RequestException: [Errno Unable to download _ from ] any mirror or original` when trying to fetch gnulib-8e128r.tar.gz |
2025-07-14 01:33:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-14 01:34:54 +0200 | <geekosaur> | are you asking in the right channel? |
2025-07-14 01:38:48 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 01:39:38 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-14 01:40:27 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 01:43:16 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-07-14 01:44:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 01:49:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 01:55:00 +0200 | falafel | (~falafel@90.160.16.54) falafel |
2025-07-14 01:56:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 01:57:25 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 01:59:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 02:00:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 02:00:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 02:00:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 02:01:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 02:01:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-07-14 02:02:53 +0200 | jespada | (~jespada@r179-25-152-178.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
2025-07-14 02:05:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 02:07:33 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-07-14 02:07:52 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 02:12:30 +0200 | falafel | (~falafel@90.160.16.54) (Remote host closed the connection) |
2025-07-14 02:16:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 02:19:03 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 02:20:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-07-14 02:20:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-14 02:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-07-14 02:28:05 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-07-14 02:28:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-07-14 02:30:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-07-14 02:31:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 02:36:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1462:3683:2508:a7f7) (Ping timeout: 276 seconds) |
2025-07-14 02:37:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-14 02:47:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 02:53:21 +0200 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
2025-07-14 02:54:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-14 02:56:42 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 03:01:07 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 03:01:51 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 03:02:05 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-14 03:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 03:10:31 +0200 | <jackdk> | Absolutely not. Sorry. I thought I was in #bootstrappable |
2025-07-14 03:10:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 03:21:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 03:26:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-07-14 03:26:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 03:27:43 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 03:28:25 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-14 03:30:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 03:31:20 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 03:35:42 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 03:37:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 03:41:05 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-14 03:41:18 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 03:42:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-14 03:45:57 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-07-14 03:47:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 03:50:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-14 03:50:28 +0200 | xstill_ | (xstill@fimu/xstill) (Remote host closed the connection) |
2025-07-14 03:52:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 03:53:11 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 03:59:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 04:04:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 04:07:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-07-14 04:14:00 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-14 04:14:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 04:17:04 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 04:19:14 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 04:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-14 04:21:52 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-07-14 04:24:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 04:25:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 04:30:29 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 04:30:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 04:31:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 04:32:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 04:37:00 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 04:37:53 +0200 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 245 seconds) |
2025-07-14 04:38:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 04:39:47 +0200 | td_ | (~td@i53870936.versanet.de) |
2025-07-14 04:41:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-07-14 04:46:23 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
2025-07-14 04:48:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 04:50:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 04:50:54 +0200 | trickard_ | trickard |
2025-07-14 04:53:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-07-14 04:53:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 04:55:26 +0200 | nek0 | (~nek0@user/nek0) nek0 |
2025-07-14 05:00:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-07-14 05:04:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 05:05:48 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-07-14 05:06:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-14 05:08:32 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-14 05:09:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-14 05:11:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 05:19:46 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 05:20:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 05:20:52 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 05:21:06 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-14 05:22:13 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 05:25:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 05:27:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 05:27:33 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 05:27:38 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-07-14 05:27:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 05:30:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
2025-07-14 05:35:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
2025-07-14 05:36:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 05:41:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 05:46:09 +0200 | aforemny_ | (~aforemny@i577B1340.versanet.de) aforemny |
2025-07-14 05:47:09 +0200 | aforemny | (~aforemny@2001:9e8:6ccb:3a00:3bd:430d:af9a:7d16) (Ping timeout: 252 seconds) |
2025-07-14 05:49:19 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 05:51:44 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 05:52:03 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-14 05:55:42 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 05:56:38 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
2025-07-14 05:56:39 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-07-14 05:59:58 +0200 | trickard___ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 06:01:10 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-07-14 06:07:46 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-14 06:11:45 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 06:13:14 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 272 seconds) |
2025-07-14 06:14:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-14 06:15:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 06:16:18 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 06:18:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 06:20:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 06:21:09 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
2025-07-14 06:21:41 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 06:22:12 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 06:22:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 06:22:53 +0200 | trickard___ | trickard |
2025-07-14 06:23:33 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-14 06:26:25 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-07-14 06:26:32 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 06:27:18 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 06:27:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-07-14 06:27:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-07-14 06:27:59 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 06:28:37 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
2025-07-14 06:28:50 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 06:29:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-07-14 06:29:57 +0200 | michalz | (~michalz@185.246.207.203) |
2025-07-14 06:33:04 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 06:38:41 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-14 06:39:39 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-14 06:41:44 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-14 06:41:44 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 06:42:08 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 06:42:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-07-14 06:44:00 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
2025-07-14 06:44:05 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-14 06:44:57 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 276 seconds) |
2025-07-14 06:46:55 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 06:47:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 06:50:21 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-14 06:51:02 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 06:51:40 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Client Quit) |
2025-07-14 06:55:05 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-14 06:55:11 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-07-14 06:55:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 06:57:45 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-07-14 06:58:49 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-07-14 07:00:14 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 260 seconds) |
2025-07-14 07:10:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 07:16:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 07:18:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 07:19:04 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 07:21:06 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
2025-07-14 07:22:30 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-07-14 07:23:17 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-07-14 07:27:24 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 265 seconds) |
2025-07-14 07:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 07:29:54 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-14 07:30:40 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-07-14 07:31:43 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-07-14 07:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-14 07:42:10 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 07:44:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 07:45:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 07:46:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 07:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-14 07:49:32 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 07:52:19 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 07:52:41 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 07:55:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 07:58:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 08:00:42 +0200 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
2025-07-14 08:03:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 08:08:12 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 08:08:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-14 08:08:26 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 08:13:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 08:14:41 +0200 | michalz | (~michalz@185.246.207.205) |
2025-07-14 08:16:29 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 08:18:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 08:23:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-14 08:29:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 08:32:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-07-14 08:34:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-14 08:38:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 08:42:59 +0200 | kuribas | (~user@ptr-17d51empckt26jpdxxl.18120a2.ip6.access.telenet.be) kuribas |
2025-07-14 08:43:42 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-07-14 08:45:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-14 08:45:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 08:45:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
2025-07-14 08:51:54 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
2025-07-14 08:52:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 08:53:13 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-07-14 08:58:07 +0200 | michalz | (~michalz@185.246.207.205) (Ping timeout: 276 seconds) |
2025-07-14 08:58:11 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 08:59:13 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-07-14 09:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
2025-07-14 09:00:43 +0200 | caconym74 | (~caconym@user/caconym) caconym |
2025-07-14 09:00:47 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 09:01:01 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 09:03:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-14 09:03:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 09:04:42 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-14 09:08:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-07-14 09:09:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 09:11:57 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-14 09:13:46 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-07-14 09:14:30 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-07-14 09:17:33 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 09:18:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-07-14 09:18:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-07-14 09:21:52 +0200 | Square | (~Square@user/square) Square |
2025-07-14 09:24:11 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
2025-07-14 09:26:08 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-07-14 09:28:24 +0200 | acidjnk | (~acidjnk@p200300d6e70b660084fd2c3d27bcf043.dip0.t-ipconnect.de) acidjnk |
2025-07-14 09:30:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-14 09:42:23 +0200 | michalz | (~michalz@185.246.207.197) |
2025-07-14 09:45:19 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-07-14 09:46:17 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
2025-07-14 09:46:52 +0200 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 276 seconds) |
2025-07-14 09:51:09 +0200 | trickard_ | trickard |
2025-07-14 09:51:33 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 09:51:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
2025-07-14 09:54:25 +0200 | rvalue- | rvalue |
2025-07-14 09:57:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-14 09:59:26 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-07-14 09:59:27 +0200 | adri28507 | (~ajanssen@2a01:cb14:197:2100:4cd5:a83a:c94f:57d3) |
2025-07-14 10:00:57 +0200 | adri28507 | (~ajanssen@2a01:cb14:197:2100:4cd5:a83a:c94f:57d3) () |
2025-07-14 10:05:37 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 10:06:05 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 10:06:51 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-07-14 10:12:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 10:12:52 +0200 | <[exa]> | is it just me or is withFile somewhat too invasive with exception masking? |
2025-07-14 10:13:32 +0200 | <[exa]> | if I do `withFile something WriteMode $ ...throws exception...`, the exception gets renamed to "withFile: does not exist (No such file or directory)" |
2025-07-14 10:14:08 +0200 | <[exa]> | otoh if I do `bracket (openFile something writeMode) hClose $ ...same exception...` I get the proper exception from the "inner" code |
2025-07-14 10:14:11 +0200 | <[exa]> | is that expected? |
2025-07-14 10:15:18 +0200 | <[exa]> | turns out that on windows it's properly bracketed: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.IO.StdHandles.html… |
2025-07-14 10:15:42 +0200 | <[exa]> | but on posixes the bracket is actually re-annotating all exceptions: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.IO.Handle.FD.html#… |
2025-07-14 10:16:57 +0200 | <[exa]> | oh well https://gitlab.haskell.org/ghc/ghc/-/issues/20886 |
2025-07-14 10:22:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-14 10:22:08 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
2025-07-14 10:22:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-07-14 10:33:23 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 10:33:36 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 10:34:14 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 10:36:56 +0200 | G0dsl0nelyman | (~user@user/G0dsl0nelyman) G0dsl0nelyman |
2025-07-14 10:42:28 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-07-14 10:44:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-14 10:44:15 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-07-14 10:45:11 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 10:46:29 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-07-14 10:50:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 10:52:01 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 11:02:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-14 11:06:07 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 11:07:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-07-14 11:11:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-07-14 11:11:30 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-07-14 11:11:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 11:12:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-07-14 11:13:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 11:14:45 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-07-14 11:15:33 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 11:15:51 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
2025-07-14 11:20:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-07-14 11:21:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 11:24:03 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 11:25:45 +0200 | G0dsl0nelyman | (~user@user/G0dsl0nelyman) (Ping timeout: 276 seconds) |
2025-07-14 11:27:37 +0200 | trickard_ | trickard |
2025-07-14 11:27:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 11:28:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-07-14 11:30:05 +0200 | G0dsl0nelyman | (~user@2401:4900:8fca:6e2d:216e:3317:53f0:a1c0) |
2025-07-14 11:31:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 11:34:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-14 11:36:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2025-07-14 11:37:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-14 11:47:05 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-14 11:48:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
2025-07-14 11:48:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 11:52:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-07-14 11:55:10 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
2025-07-14 11:55:40 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
2025-07-14 11:56:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 12:02:59 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
2025-07-14 12:04:33 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
2025-07-14 12:04:59 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 12:05:19 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 12:06:22 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 12:15:40 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 12:17:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 12:18:08 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 12:20:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-07-14 12:26:06 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 12:28:43 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-07-14 12:33:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 12:37:17 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 12:43:30 +0200 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2025-07-14 12:45:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-07-14 12:47:58 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 12:48:12 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 12:50:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 12:51:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-07-14 12:52:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 12:54:53 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-07-14 13:01:14 +0200 | jespada | (~jespada@r190-135-72-232.dialup.adsl.anteldata.net.uy) jespada |
2025-07-14 13:07:10 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 13:09:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-14 13:15:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 13:17:31 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 13:23:34 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-07-14 13:25:10 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 272 seconds) |
2025-07-14 13:32:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 13:36:50 +0200 | acidjnk | (~acidjnk@p200300d6e70b660084fd2c3d27bcf043.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-07-14 13:38:50 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 13:41:32 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-07-14 13:42:10 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-07-14 13:42:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-07-14 13:43:14 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
2025-07-14 13:45:13 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
2025-07-14 13:46:54 +0200 | user363627 | (~user@user/user363627) (Client Quit) |
2025-07-14 13:48:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 13:49:31 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-07-14 13:51:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-07-14 13:52:50 +0200 | inline | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
2025-07-14 13:53:35 +0200 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
2025-07-14 13:53:44 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 13:54:58 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 13:55:34 +0200 | user363627 | (~user@user/user363627) (Ping timeout: 268 seconds) |
2025-07-14 13:55:38 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 13:55:52 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 14:00:26 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 14:02:46 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-07-14 14:08:01 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
2025-07-14 14:08:11 +0200 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
2025-07-14 14:12:19 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-07-14 14:13:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-07-14 14:25:01 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-14 14:25:29 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-07-14 14:26:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-07-14 14:29:42 +0200 | G0dsl0nelyman | (~user@2401:4900:8fca:6e2d:216e:3317:53f0:a1c0) (Ping timeout: 276 seconds) |
2025-07-14 14:30:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-07-14 14:36:00 +0200 | dhil | (~dhil@5.151.29.141) dhil |
2025-07-14 14:36:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-14 14:36:43 +0200 | acidjnk | (~acidjnk@p200300d6e70b6600550565d8f561750a.dip0.t-ipconnect.de) acidjnk |
2025-07-14 14:37:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 14:42:44 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-14 14:43:35 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 14:48:05 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 14:59:46 +0200 | G0dsl0nelyman | (~user@2401:4900:8fca:6e2d:216e:3317:53f0:a1c0) |
2025-07-14 15:04:23 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 15:07:22 +0200 | trickard_ | trickard |
2025-07-14 15:09:26 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 15:17:31 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-07-14 15:17:34 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
2025-07-14 15:17:49 +0200 | myme | (~myme@2a01:799:d5e:5f00:757b:b311:fe85:f818) (Ping timeout: 260 seconds) |
2025-07-14 15:18:37 +0200 | myme | (~myme@2a01:799:d5e:5f00:e1d5:164a:ea:c48) myme |
2025-07-14 15:24:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-14 15:27:40 +0200 | jespada | (~jespada@r190-135-72-232.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-07-14 15:29:49 +0200 | jespada | (~jespada@r190-135-72-232.dialup.adsl.anteldata.net.uy) jespada |
2025-07-14 15:31:23 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-07-14 15:37:11 +0200 | qqe | (~qqq@185.54.21.199) (Quit: Lost terminal) |
2025-07-14 15:38:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
2025-07-14 15:41:48 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
2025-07-14 15:48:33 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 15:51:51 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2025-07-14 15:54:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-07-14 16:00:13 +0200 | Square | (~Square@user/square) Square |
2025-07-14 16:04:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 16:05:02 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 16:14:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 16:26:04 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-07-14 16:26:36 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 16:26:50 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 16:32:36 +0200 | <tomsmeding> | apparently few people care :p |
2025-07-14 16:33:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 16:35:12 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-07-14 16:37:38 +0200 | cawfee | (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.6.3) |
2025-07-14 16:38:22 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-14 16:38:41 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 16:39:16 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 16:40:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ad3f:b903:1407:7243) |
2025-07-14 16:45:44 +0200 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
2025-07-14 16:46:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 16:47:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 16:47:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 16:51:19 +0200 | user363627 | (~user@user/user363627) (Ping timeout: 268 seconds) |
2025-07-14 16:53:46 +0200 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-07-14 16:54:04 +0200 | AlexZenon | (~alzenon@178.34.150.30) (Ping timeout: 260 seconds) |
2025-07-14 16:54:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 16:54:33 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-07-14 16:54:34 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-07-14 16:55:09 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 16:55:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 16:58:33 +0200 | AlexZenon | (~alzenon@178.34.150.30) |
2025-07-14 17:00:21 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-07-14 17:00:22 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-14 17:02:03 +0200 | <juri_> | I don't suppose anyone *else* is doing AI with haskell? :) |
2025-07-14 17:02:44 +0200 | <juri_> | I got multi-head attention working yesterday. now drawing the rest of the owl. |
2025-07-14 17:03:35 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-14 17:04:54 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
2025-07-14 17:05:05 +0200 | <Clint> | juri_: what are you doing for hardware acceleration? |
2025-07-14 17:05:12 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-14 17:06:09 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 17:06:35 +0200 | <juri_> | I'm not, right now. I've got a crate of FPGA accelerators, for when i rewrite everything in clash. it looks like my code should be trivial to run with accelerate, thanks to repa-accelerate. |
2025-07-14 17:09:00 +0200 | <Clint> | cool |
2025-07-14 17:10:29 +0200 | trickard_ | trickard |
2025-07-14 17:17:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-07-14 17:18:35 +0200 | <tomsmeding> | juri_: where's this repa-accelerate? |
2025-07-14 17:19:54 +0200 | <juri_> | accelerate-io-repa is part of it. haven't done the "does it work" legwork. |
2025-07-14 17:20:43 +0200 | <tomsmeding> | I expect that the typing of repa is too haskelly to be able to make a proper "accelerate backend" for repa |
2025-07-14 17:21:47 +0200 | <juri_> | https://github.com/blambo/accelerate-repa looks like someone's attempt.. 14 years back. :) |
2025-07-14 17:21:48 +0200 | <tomsmeding> | yeah repa's typing is not suitable for a deeply embedded language |
2025-07-14 17:21:53 +0200 | <tomsmeding> | that's the other way round |
2025-07-14 17:22:11 +0200 | <tomsmeding> | you can certainly interpret accelerate into repa but that's... a bit pointless? |
2025-07-14 17:22:11 +0200 | <juri_> | oh. yeah. :) |
2025-07-14 17:22:35 +0200 | <juri_> | tl;dr: future problems. right now, i'm still implementing the transformer block. |
2025-07-14 17:22:36 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-07-14 17:23:07 +0200 | <tomsmeding> | if you're not tied to exactly the 'repa' library, tough, repa code and accelerate code should be fairly easily inter-convertible |
2025-07-14 17:23:18 +0200 | <tomsmeding> | programming models are very similar |
2025-07-14 17:23:38 +0200 | <juri_> | I'm not tied-tied yet. it's just the first tool grabbed. |
2025-07-14 17:23:42 +0200 | <tomsmeding> | sure |
2025-07-14 17:24:45 +0200 | <tomsmeding> | iirc repa does not have a forward permutation primitive, but perhaps for machine learning you don't need that very much |
2025-07-14 17:25:39 +0200 | acidjnk | (~acidjnk@p200300d6e70b6600550565d8f561750a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-07-14 17:27:14 +0200 | <juri_> | I'm finding out all of the things the hard way. :) |
2025-07-14 17:27:53 +0200 | <tomsmeding> | that's the fun way :) |
2025-07-14 17:28:13 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
2025-07-14 17:28:31 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-14 17:29:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 17:30:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-07-14 17:38:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-14 17:44:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 17:46:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 17:54:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-07-14 18:03:51 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 18:06:34 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 18:07:10 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 18:09:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
2025-07-14 18:10:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 18:11:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 18:13:01 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-14 18:15:46 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-14 18:23:42 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 18:23:53 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-07-14 18:23:58 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-07-14 18:24:34 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 18:25:11 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) Jerryeee |
2025-07-14 18:26:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-07-14 18:27:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
2025-07-14 18:28:21 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
2025-07-14 18:28:52 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-07-14 18:30:36 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-07-14 18:33:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-07-14 18:34:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
2025-07-14 18:41:42 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) (Quit: Jerryeee) |
2025-07-14 18:42:19 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-07-14 18:42:58 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 248 seconds) |
2025-07-14 18:44:42 +0200 | <gaze__> | Anyone have an example of a DSL with only first-order named functions that lifts type unification to the host language? |
2025-07-14 18:44:50 +0200 | <gaze__> | function type unification I mean |
2025-07-14 18:45:55 +0200 | <gaze__> | like -- I'm using the DSL to generate imperative code, but I also want to write imperative code in the DSL, and I was wondering how much I can avoid writing the function table out like defun "functionName" do blahblahblah in some gihugeous function |
2025-07-14 18:46:01 +0200 | acidjnk | (~acidjnk@p200300d6e70b6602dc09300ac5aeb77e.dip0.t-ipconnect.de) acidjnk |
2025-07-14 18:46:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 18:46:23 +0200 | perro | (~aaron@2600:100c:b211:ed4b:edc0:bd27:9bff:d562) |
2025-07-14 18:47:29 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
2025-07-14 18:49:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-14 18:52:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 18:52:43 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-07-14 18:56:10 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
2025-07-14 18:58:59 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-14 18:59:26 +0200 | trickard_ | trickard |
2025-07-14 18:59:30 +0200 | perr_ | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 19:00:04 +0200 | perro | (~aaron@2600:100c:b211:ed4b:edc0:bd27:9bff:d562) (Ping timeout: 260 seconds) |
2025-07-14 19:01:20 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) Jerryeee |
2025-07-14 19:02:50 +0200 | Jerryeee | (~Thunderbi@user/Jerryeee) (Client Quit) |
2025-07-14 19:08:28 +0200 | G0dsl0nelyman | (~user@2401:4900:8fca:6e2d:216e:3317:53f0:a1c0) (Ping timeout: 276 seconds) |
2025-07-14 19:10:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-14 19:12:21 +0200 | sprotte24 | (~sprotte24@p200300d16f1a300074d99646e8b83ce0.dip0.t-ipconnect.de) |
2025-07-14 19:14:11 +0200 | G0dsl0nelyman | (~user@106.215.177.125) |
2025-07-14 19:14:14 +0200 | perr_ | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
2025-07-14 19:14:53 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-07-14 19:14:56 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 19:16:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-07-14 19:18:45 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-07-14 19:19:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-14 19:23:00 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 19:29:18 +0200 | yin | (~zero@user/zero) (Ping timeout: 252 seconds) |
2025-07-14 19:29:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 19:33:25 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-14 19:33:39 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-07-14 19:34:43 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-07-14 19:38:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
2025-07-14 19:41:23 +0200 | Luvveous | (~Username@195.136.74.47) |
2025-07-14 19:42:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) |
2025-07-14 19:51:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 20:06:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-07-14 20:11:14 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
2025-07-14 20:11:51 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 20:20:44 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
2025-07-14 20:21:26 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 20:26:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-14 20:26:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-14 20:29:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-14 20:30:09 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
2025-07-14 20:30:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 20:31:42 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
2025-07-14 20:31:58 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-07-14 20:34:15 +0200 | vulpine | (~xfnw@user/meow/xfnw) xfnw |
2025-07-14 20:38:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 20:39:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 20:39:22 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 20:48:46 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 265 seconds) |
2025-07-14 20:49:45 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 20:51:29 +0200 | <[exa]> | tomsmeding: re "use it accordingly" depends; I was too lazy to copy the whole gpl notice :D |
2025-07-14 20:53:07 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
2025-07-14 20:53:10 +0200 | <tomsmeding> | [exa]: "free software" is quite a bit broader than GPL ;) |
2025-07-14 20:55:25 +0200 | <[exa]> | I'm going to fix that once I manage to fix the space&normal conflict mixing |
2025-07-14 20:55:25 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-14 20:55:27 +0200 | <[exa]> | :D |
2025-07-14 20:58:15 +0200 | <yushyin> | ls |
2025-07-14 20:58:17 +0200 | <yushyin> | ups |
2025-07-14 20:58:20 +0200 | <yushyin> | sorry :) |
2025-07-14 21:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
2025-07-14 21:00:23 +0200 | kuribas | (~user@ptr-17d51empckt26jpdxxl.18120a2.ip6.access.telenet.be) (Ping timeout: 245 seconds) |
2025-07-14 21:00:41 +0200 | caconym74 | (~caconym@user/caconym) caconym |
2025-07-14 21:01:06 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-07-14 21:01:37 +0200 | yin | (~zero@user/zero) zero |
2025-07-14 21:09:16 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-07-14 21:14:01 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 268 seconds) |
2025-07-14 21:14:29 +0200 | trickard__ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-07-14 21:14:47 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 21:14:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-14 21:15:18 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
2025-07-14 21:16:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 21:18:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 21:21:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 21:22:08 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-14 21:22:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 21:23:15 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-07-14 21:25:07 +0200 | eron | (~eron@143.0.15.19) lidenbrock |
2025-07-14 21:28:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-14 21:28:45 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 252 seconds) |
2025-07-14 21:30:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-14 21:31:33 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 21:33:09 +0200 | <[exa]> | yushyin: here have some files: home etc usr var |
2025-07-14 21:34:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 21:36:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-14 21:38:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-14 21:39:29 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 260 seconds) |
2025-07-14 21:40:07 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 21:41:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 21:42:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-14 21:46:19 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
2025-07-14 21:46:50 +0200 | G0dsl0nelyman | (~user@106.215.177.125) (Remote host closed the connection) |
2025-07-14 21:48:24 +0200 | <tomsmeding> | % System.Process.system "ls" |
2025-07-14 21:48:25 +0200 | <yahb2> | entry.sh ; initdefs.hs ; Yahb2Defs.hs ; ExitSuccess |
2025-07-14 21:49:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 21:52:13 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 21:53:21 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 248 seconds) |
2025-07-14 21:54:18 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 21:54:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-14 21:55:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 21:57:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
2025-07-14 21:58:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-07-14 22:00:57 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 22:03:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-14 22:05:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 22:07:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-14 22:08:09 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
2025-07-14 22:08:09 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
2025-07-14 22:08:17 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-07-14 22:09:19 +0200 | Digit | (~user@user/digit) Digit |
2025-07-14 22:10:29 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-07-14 22:10:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-14 22:12:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 22:15:41 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) (Ping timeout: 268 seconds) |
2025-07-14 22:16:06 +0200 | perro | (~aaron@2600:100c:b211:ed4b:7447:413b:f7c:f4f2) |
2025-07-14 22:20:06 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-14 22:20:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 22:20:33 +0200 | Guest26 | (~Guest26@154.57.218.109) |
2025-07-14 22:20:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-14 22:21:16 +0200 | Guest26 | (~Guest26@154.57.218.109) (Client Quit) |
2025-07-14 22:25:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-14 22:25:23 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
2025-07-14 22:25:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-07-14 22:27:22 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-14 22:27:39 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-07-14 22:27:58 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-07-14 22:27:58 +0200 | ChanServ | +v haskellbridge |
2025-07-14 22:29:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-14 22:30:07 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-14 22:30:16 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 265 seconds) |
2025-07-14 22:31:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-14 22:34:52 +0200 | Luvveous | (~Username@195.136.74.47) (Quit: Going offline, see ya! (www.adiirc.com)) |
2025-07-14 22:36:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |