2024/11/08

2024-11-08 00:00:45 +0100notzmv(~daniel@user/notzmv) notzmv
2024-11-08 00:04:34 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-08 00:04:38 +0100pnotequalnp(~pnotequal@user/pnotequalnp) pnotequalnp
2024-11-08 00:06:47 +0100 <yin> this is fun!: i have a bidirectional pattern synonym and try to use record update syntax like `MyPattern { x = ... }` i can get the error `constructor MyPattern does not have field 'x'`
2024-11-08 00:07:10 +0100 <yin> the solution: `(MyPattern) { x = ... }`
2024-11-08 00:07:46 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-11-08 00:07:47 +0100ljdarj1ljdarj
2024-11-08 00:08:19 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 260 seconds)
2024-11-08 00:08:24 +0100 <yin> this feels kind of lispy
2024-11-08 00:09:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:10:51 +0100 <yin> also feels like PatternSynonyms could be patched to allow the former
2024-11-08 00:11:07 +0100pnotequalnp44(~pnotequal@user/pnotequalnp) pnotequalnp
2024-11-08 00:11:57 +0100pnotequalnp(~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds)
2024-11-08 00:13:02 +0100pavonia(~user@user/siracusa) siracusa
2024-11-08 00:13:49 +0100pnotequalnp44(~pnotequal@user/pnotequalnp) (Client Quit)
2024-11-08 00:15:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-08 00:21:07 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a)
2024-11-08 00:21:18 +0100supercode(~supercode@user/supercode) supercode
2024-11-08 00:23:29 +0100CoolMa7(~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-11-08 00:23:46 +0100supercode(~supercode@user/supercode) (Client Quit)
2024-11-08 00:25:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:30:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 00:31:59 +0100son0p(~ff@186.121.30.70) son0p
2024-11-08 00:32:34 +0100 <c_wraith> that definitely sounds like a feature it should have.
2024-11-08 00:32:54 +0100 <c_wraith> If it allows you to create a record pattern, it should use the same syntax as a record pattern...
2024-11-08 00:33:05 +0100 <monochrom> To me it feels like kind of CPP. "#define add(x,y) ((x)+(y))" :)
2024-11-08 00:33:49 +0100 <monochrom> PPP = pattern pre-processor >:)
2024-11-08 00:36:51 +0100 <geekosaur> record update syntax is a bit weird
2024-11-08 00:37:38 +0100 <c_wraith> like at the parser level?
2024-11-08 00:37:41 +0100 <monochrom> It's probably a simple oversight in the parser.
2024-11-08 00:38:00 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2024-11-08 00:39:37 +0100 <geekosaur> yeh, it's probably missing a case for patsyns so it makes you fall into the parenthesized expression case
2024-11-08 00:42:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:44:33 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-08 00:44:34 +0100 <geekosaur> they left
2024-11-08 00:44:38 +0100 <geekosaur> whoops
2024-11-08 00:47:13 +0100 <geekosaur> anyway it sounds like someone should file a bug on gitlab
2024-11-08 00:50:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 00:57:10 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-08 01:00:29 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-11-08 01:00:49 +0100jero98772(~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection)
2024-11-08 01:00:54 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-11-08 01:01:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:02:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
2024-11-08 01:07:06 +0100troojg(~troojg@user/troojg) troojg
2024-11-08 01:11:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-11-08 01:14:18 +0100sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 244 seconds)
2024-11-08 01:19:32 +0100FeuermagierGuest603
2024-11-08 01:19:32 +0100Guest603(~Feuermagi@user/feuermagier) (Killed (platinum.libera.chat (Nickname regained by services)))
2024-11-08 01:21:25 +0100acidjnk(~acidjnk@p200300d6e7283f9509f155732eb456c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-11-08 01:22:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-08 01:23:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:26:25 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 248 seconds)
2024-11-08 01:26:42 +0100comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-11-08 01:28:34 +0100comonad(~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de)
2024-11-08 01:28:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 01:37:02 +0100user363627(~user@user/user363627) user363627
2024-11-08 01:39:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:40:45 +0100weary-traveler(~user@user/user363627) (Ping timeout: 252 seconds)
2024-11-08 01:41:46 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-11-08 01:44:03 +0100jero98772(~jero98772@2800:484:1d7c:cc00::1)
2024-11-08 01:44:38 +0100jero98772(~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection)
2024-11-08 01:44:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-08 01:44:56 +0100 <yin> point me to the right place to file it and i will
2024-11-08 01:46:01 +0100 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/issues you will need a GitLab account
2024-11-08 01:46:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:51:03 +0100 <yin> why am i being asked for gitlab login credentials on haskell.org?
2024-11-08 01:51:10 +0100 <yin> this can't be right
2024-11-08 01:51:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-08 01:52:42 +0100 <geekosaur> because browsers are dumb? I get that all the time, chrome asks me whether I want to use wiki or gitlab creds
2024-11-08 01:53:00 +0100 <geekosaur> because "obviously" a subdomain is the same auth domain
2024-11-08 01:53:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-11-08 01:56:14 +0100 <yin> no this is not the right way to do auth
2024-11-08 01:56:49 +0100 <yin> either someone made a mistake or i'm misunderstanding something
2024-11-08 01:56:49 +0100sprotte24(~sprotte24@p200300d16f05e000c862cdd7b290d75c.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-11-08 01:59:19 +0100 <geekosaur> that might be a question for #haskell-infrastructure then
2024-11-08 01:59:42 +0100 <yin> ah, this is not OAuth for gitlab.com. it's just for haskell.org's gitlab instance
2024-11-08 01:59:45 +0100 <user363627> yin: the gitlab login credentials being asked would be for the instance being served at gitlab.haskell.org as opposed to gitlab.com
2024-11-08 01:59:54 +0100 <user363627> yes
2024-11-08 02:00:16 +0100 <yin> so i was misunderstanding something after all :)
2024-11-08 02:00:25 +0100 <user363627> :)
2024-11-08 02:01:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-11-08 02:01:53 +0100 <monochrom> Tangentailly, a few days ago some of us learned that DNS is not suffix-closed, i.e., subscriptions.techstreet.com resolves fine, but techstreet.com does not exist at all.
2024-11-08 02:02:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 02:02:23 +0100 <geekosaur> …approved
2024-11-08 02:02:52 +0100 <yin> yeah you can mess with DNS records in a myriad of ways
2024-11-08 02:04:01 +0100 <yin> i personaly thing the whole of DNS is broken in more ways than one, but yeah...
2024-11-08 02:04:08 +0100 <monochrom> Haha I need to make a website such that www.monochrom.org says "Haskell is great!" and yet monochrom.org says "Haskell sucks!"
2024-11-08 02:07:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 02:09:51 +0100troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-11-08 02:17:34 +0100 <yin> better yet, make http:// suck and https:// great
2024-11-08 02:17:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 02:18:14 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-08 02:19:02 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-11-08 02:22:32 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2024-11-08 02:23:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 02:27:49 +0100 <probie> monochrom: you don't need to mess with DNS records for that, you just need to speak HTTP >= 1.1
2024-11-08 02:28:59 +0100 <monochrom> That's true.
2024-11-08 02:33:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 02:34:06 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds)
2024-11-08 02:36:00 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-11-08 02:37:10 +0100califax(~califax@user/califx) califx
2024-11-08 02:38:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-08 02:40:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 02:44:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-08 02:55:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 02:58:28 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-11-08 03:00:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 03:03:09 +0100 <yin> it depends on how much you want it to suck >:)
2024-11-08 03:11:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 03:12:49 +0100Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-11-08 03:16:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-11-08 03:17:29 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 260 seconds)
2024-11-08 03:18:25 +0100sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101
2024-11-08 03:18:52 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-11-08 03:25:01 +0100Pixi(~Pixi@user/pixi) Pixi
2024-11-08 03:25:32 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-11-08 03:26:24 +0100euleritian(~euleritia@77.22.252.56)
2024-11-08 03:27:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 03:28:09 +0100euleritian(~euleritia@77.22.252.56) (Remote host closed the connection)
2024-11-08 03:29:00 +0100euleritian(~euleritia@77.22.252.56)
2024-11-08 03:32:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 03:33:37 +0100euleritian(~euleritia@77.22.252.56) (Remote host closed the connection)
2024-11-08 03:33:56 +0100euleritian(~euleritia@77.22.252.56)
2024-11-08 03:34:43 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-11-08 03:37:30 +0100lol_(~lol@2603:3016:1e01:b9c0:ecfb:26af:1f31:67a5)
2024-11-08 03:41:42 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:c43d:6fb:2607:cd8b) (Ping timeout: 276 seconds)
2024-11-08 03:43:00 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 276 seconds)
2024-11-08 03:43:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 03:50:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-08 04:01:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 04:05:10 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-08 04:09:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 04:20:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 04:25:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-08 04:33:54 +0100Tisoxin(~Ikosit@user/ikosit) (Ping timeout: 252 seconds)
2024-11-08 04:36:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 04:40:37 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 620 seconds)
2024-11-08 04:41:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 04:46:46 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak
2024-11-08 04:47:02 +0100Tisoxin(~Ikosit@user/ikosit) Ikosit
2024-11-08 04:50:52 +0100td_(~td@i5387092D.versanet.de) (Ping timeout: 272 seconds)
2024-11-08 04:52:00 +0100xdminsy(~xdminsy@117.147.71.147) xdminsy
2024-11-08 04:52:08 +0100td_(~td@i53870904.versanet.de) td_
2024-11-08 04:52:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 04:57:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-08 05:00:21 +0100cjay(cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds)
2024-11-08 05:01:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-08 05:05:03 +0100user363627weary-traveler
2024-11-08 05:08:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 05:11:55 +0100cjay(cjay@nerdbox.nerd2nerd.org) cjay
2024-11-08 05:13:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 05:24:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 05:24:06 +0100ih1d_(~ih1d@24.139.109.18)
2024-11-08 05:24:22 +0100 <ih1d_> hello!
2024-11-08 05:25:05 +0100 <ih1d_> anybody have good resources for ffi and linking c libraries to projects (using pkg-config etc.)
2024-11-08 05:31:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-08 05:42:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 05:45:07 +0100aforemny(~aforemny@2001:9e8:6cda:5700:b93:b66b:84fb:f5e8) aforemny
2024-11-08 05:46:20 +0100aforemny_(~aforemny@i59F4C67C.versanet.de) (Ping timeout: 255 seconds)
2024-11-08 05:47:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-11-08 05:47:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 05:49:34 +0100 <jackdk> ih1d_: if you don't mind GPL, you could crib https://git.sr.ht/~jack/libtelnet-haskell - it's a simple lib with a pkg-config dependency
2024-11-08 05:50:07 +0100 <jackdk> https://www.youtube.com/watch?v=y95WtkWCmKg I think this FFI talk was the one I saw years ago and thought was valuable
2024-11-08 05:52:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 05:54:57 +0100 <int-e> There are many FFI bindings on Hackage that you could base this on. There's a question of scale... if there are many functions to bind, looking into c2hs may be worthwhile. Or, if it's humongous, adapting c2hs (gtk does that with gtk2hs-buildtools ...)
2024-11-08 05:58:25 +0100poscat(~poscat@user/poscat) (Ping timeout: 248 seconds)
2024-11-08 06:03:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 06:05:20 +0100poscat(~poscat@user/poscat) poscat
2024-11-08 06:10:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-08 06:21:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 06:27:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 06:37:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 06:40:08 +0100michalz(~michalz@185.246.207.217)
2024-11-08 06:42:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-11-08 06:45:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-08 06:53:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 06:54:29 +0100Square(~Square4@user/square) (Ping timeout: 260 seconds)
2024-11-08 06:58:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-08 07:02:32 +0100poscat0x04(~poscat@user/poscat) poscat
2024-11-08 07:03:29 +0100poscat(~poscat@user/poscat) (Ping timeout: 248 seconds)
2024-11-08 07:07:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn