2025/01/06

2025-01-06 00:02:46 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-06 00:06:16 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 272 seconds)
2025-01-06 00:08:24 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds)
2025-01-06 00:09:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 00:11:12 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-06 00:13:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-06 00:15:56 +0100weary-traveler(~user@user/user363627) user363627
2025-01-06 00:24:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 00:25:05 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-01-06 00:26:46 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-06 00:27:10 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-06 00:27:49 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 248 seconds)
2025-01-06 00:29:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-06 00:31:12 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-01-06 00:31:47 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-01-06 00:36:15 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-06 00:36:49 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-01-06 00:38:32 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-06 00:40:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 00:41:22 +0100Core2677(~rosco@171.5.26.74) rosco
2025-01-06 00:44:04 +0100rosco(~rosco@171.5.0.29) (Ping timeout: 260 seconds)
2025-01-06 00:44:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-06 00:47:28 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-06 00:49:18 +0100elnegro(elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) elnegro
2025-01-06 00:53:16 +0100elnegro(elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) ()
2025-01-06 00:55:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 01:00:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-06 01:02:29 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 248 seconds)
2025-01-06 01:06:42 +0100chiselfu1e(~chiselfus@user/chiselfuse) chiselfuse
2025-01-06 01:08:05 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-06 01:08:10 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-06 01:08:36 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-01-06 01:10:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 01:12:01 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-01-06 01:17:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 01:19:33 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-06 01:21:46 +0100xff0x(~xff0x@2405:6580:b080:900:9eea:e9b7:c052:2e2b) (Ping timeout: 265 seconds)
2025-01-06 01:22:21 +0100 <Leary> kaol: I imagine the issue arises due `i1` being existential: <https://github.com/kaol/snaplet-customauth/blob/master/Snap/Snaplet/CustomAuth/AuthManager.hs#L45>. You shouldn't expect to treat existentials like ordinary datatypes and have everything "just work". The first thing I'd try would be to pattern match on the constructor: `modify \mgr@AuthManager{} -> mgr{ ... }`.
2025-01-06 01:23:10 +0100 <Leary> due to*
2025-01-06 01:23:59 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-06 01:28:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 01:30:24 +0100sprotte24(~sprotte24@p200300d16f49e900bc53369c93ac6b88.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-06 01:32:05 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-01-06 01:33:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-06 01:36:10 +0100 <Leary> The other piece of advice I'd give is to shrink your existentials as much as possible, such that you more rarely hit these issues (and when you do, you know better why). That can mean either: exposing types that don't actually need to be hidden; splitting out constructors and fields not related to the existential type; writing all your big data types non-existenially and giving them trivial existential wrappers; etc.
2025-01-06 01:37:18 +0100tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving)
2025-01-06 01:37:37 +0100 <Leary> s/big/non-trivial/
2025-01-06 01:40:31 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-06 01:44:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 01:45:48 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 246 seconds)
2025-01-06 01:47:00 +0100sshine(~simon@142.132.168.56) ()
2025-01-06 01:48:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-06 01:49:34 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-06 01:49:50 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-06 01:51:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 01:56:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-06 02:04:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-06 02:07:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 02:12:44 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2025-01-06 02:14:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 02:15:07 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-06 02:19:22 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-01-06 02:20:07 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Client Quit)
2025-01-06 02:25:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 02:30:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-06 02:31:30 +0100acidjnk_new(~acidjnk@p200300d6e7283f7061700689b604dec0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-06 02:34:41 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-06 02:41:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 02:42:46 +0100otto_s(~user@p5b044693.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-06 02:44:21 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-01-06 02:44:27 +0100otto_s(~user@p5de2f29b.dip0.t-ipconnect.de)
2025-01-06 02:44:58 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2025-01-06 02:47:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-06 02:50:05 +0100ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-06 02:50:41 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-06 02:52:21 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds)
2025-01-06 02:55:12 +0100athan(~athan@syn-173-042-095-241.biz.spectrum.com) athan
2025-01-06 02:57:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 03:04:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 03:04:40 +0100user363627(~user@user/user363627) user363627
2025-01-06 03:07:07 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-06 03:07:50 +0100emergence(emergence@vm0.max-p.me) (Quit: emergence)
2025-01-06 03:08:07 +0100emergence(emergence@vm0.max-p.me) emergence
2025-01-06 03:08:45 +0100weary-traveler(~user@user/user363627) (Ping timeout: 246 seconds)
2025-01-06 03:09:07 +0100cyphase(~cyphase@user/cyphase) cyphase
2025-01-06 03:12:22 +0100emergence(emergence@vm0.max-p.me) (Read error: Connection reset by peer)
2025-01-06 03:12:31 +0100Core2677(~rosco@171.5.26.74) (Read error: Connection reset by peer)
2025-01-06 03:12:37 +0100emergence(emergence@vm0.max-p.me) emergence
2025-01-06 03:12:37 +0100emergence(emergence@vm0.max-p.me) (Client Quit)
2025-01-06 03:12:48 +0100rosco(~rosco@171.5.26.74) rosco
2025-01-06 03:12:59 +0100ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-01-06 03:13:14 +0100emergence(emergence@vm0.max-p.me) emergence
2025-01-06 03:13:15 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-06 03:14:21 +0100Core1174(~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) rosco
2025-01-06 03:15:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 03:17:17 +0100rosco(~rosco@171.5.26.74) (Ping timeout: 265 seconds)
2025-01-06 03:19:10 +0100dtman34(~dtman34@2601:447:d080:1a3c:effe:71d9:1c5c:6a1a) dtman34
2025-01-06 03:19:29 +0100eluo(~eluo@2600:1700:3190:b2f0:2c76:d8ec:d3b4:e88b)
2025-01-06 03:19:50 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-06 03:19:55 +0100eluo(~eluo@2600:1700:3190:b2f0:2c76:d8ec:d3b4:e88b) (Client Quit)
2025-01-06 03:20:09 +0100tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-01-06 03:21:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 03:31:51 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-06 03:32:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 03:36:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 03:39:23 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-06 03:39:53 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-06 03:40:54 +0100anpad(~pandeyan@user/anpad) (Client Quit)
2025-01-06 03:47:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 03:47:51 +0100rosco(~rosco@171.5.26.74) rosco
2025-01-06 03:49:40 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-01-06 03:50:17 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-06 03:50:29 +0100Core1174(~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) (Ping timeout: 248 seconds)
2025-01-06 03:50:33 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-06 03:57:20 +0100rosco(~rosco@171.5.26.74) (Ping timeout: 260 seconds)
2025-01-06 03:57:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-06 04:00:33 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-01-06 04:01:53 +0100rosco(~rosco@171.5.26.74) rosco
2025-01-06 04:06:17 +0100rosco(~rosco@171.5.26.74) (Ping timeout: 244 seconds)
2025-01-06 04:07:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 04:12:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-06 04:23:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 04:27:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 04:28:21 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-01-06 04:31:41 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-06 04:34:11 +0100rosco(~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) rosco
2025-01-06 04:36:19 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-06 04:38:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 04:39:52 +0100 <Square> I have memory that you could shorten proxy creation as "Proxy :: Proxy MyType" in some way.
2025-01-06 04:40:55 +0100 <glguy> Proxy @MyType
2025-01-06 04:42:12 +0100 <glguy> Or with a different extension: Proxy :: _ MyType
2025-01-06 04:43:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 04:43:58 +0100xdminsy(~xdminsy@117.147.71.240) (Read error: Connection reset by peer)
2025-01-06 04:44:03 +0100 <Square> glguy, That was probably it. Thanks!
2025-01-06 04:44:26 +0100xdminsy(~xdminsy@117.147.71.240) xdminsy
2025-01-06 04:54:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 05:00:30 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-01-06 05:00:48 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-06 05:01:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-06 05:03:39 +0100nkatte(~nkatte@user/nkatte) nkatte
2025-01-06 05:06:22 +0100 <Leary> Has anyone gotten anti-aliasing working in OpenGL/GLFW-b recently? I was using gloss/brillo for a toy holiday project, but it was impressively ugly. I dug into the underlying libraries somewhat, and it seemed that running `multisample $= Enabled; windowHint (WindowHint'Samples (Just 4))` prior to window cration should suffice to enable basic 4x MSAA, but it didn't make a difference.
2025-01-06 05:07:43 +0100rosco(~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) (Ping timeout: 252 seconds)
2025-01-06 05:12:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 05:16:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 05:23:58 +0100weary-traveler(~user@user/user363627) user363627
2025-01-06 05:27:13 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-06 05:27:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 05:27:55 +0100user363627(~user@user/user363627) (Ping timeout: 244 seconds)
2025-01-06 05:32:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-06 05:37:27 +0100 <Leary> Alternatively, any recommendations for writing simple graphical applications in Haskell with pretty output? I'm basically just rendering a bunch of solid circles for some variants on Conway's Game of Life.
2025-01-06 05:39:25 +0100 <glguy> Generate an image file? JuicyPixels
2025-01-06 05:40:27 +0100 <Leary> I'd like it to run and display in realtime, possibly at high frame rates. Can JuicyPixels actually accomodate that?
2025-01-06 05:41:55 +0100 <glguy> I don't think so
2025-01-06 05:43:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 05:43:36 +0100 <glguy> Can GTK do what you want? I've found gi-gtk to be OK. Another option could be to maybe a web app served from Haskell and do the visualization in the browser. This isn't my specialty so I'm just throwing out what comes to mind.
2025-01-06 05:48:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-06 05:50:39 +0100 <Leary> I'm not fond of webapps, but I'll have a look at gi-gtk. There do seem to be various options that can presumably do what I want (sdl2, vulkan, etc.), it's just that they all look pretty low-level.
2025-01-06 05:51:03 +0100 <Leary> Since what I'm trying to do isn't complicated, I'm hoping for a simpler option (like gloss) that actually achieves "pretty".
2025-01-06 05:55:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 05:58:50 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-01-06 05:59:17 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-06 06:00:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-06 06:02:58 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-06 06:05:27 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-06 06:08:15 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-01-06 06:10:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 06:14:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-06 06:25:01 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-06 06:26:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 06:30:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 06:41:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 06:43:10 +0100Guest78(~Guest78@37.228.251.150) (Ping timeout: 240 seconds)
2025-01-06 06:48:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-06 06:52:06 +0100 <EvanR> Leary, write the graphics code in C and call it from haskell xD
2025-01-06 06:53:34 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2025-01-06 06:58:29 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-06 06:59:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-06 07:04:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-06 07:04:39 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 246 seconds)