| 2023-06-17 00:01:44 +0000 | <c_wraith> | you mean fancy new rgb color? |
| 2023-06-17 00:01:50 +0000 | micro | (~micro@user/micro) (Server closed connection) |
| 2023-06-17 00:01:56 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-06-17 00:01:57 +0000 | micro | (~micro@user/micro) |
| 2023-06-17 00:02:13 +0000 | sm | . o O ( red line: rrrrrrrrrrrrrrrrrr ) |
| 2023-06-17 00:03:01 +0000 | <pie_> | whoops, looks like increasing the iteration count totally goofs something... |
| 2023-06-17 00:03:14 +0000 | <EvanR> | aalib |
| 2023-06-17 00:03:25 +0000 | califax | (~califax@user/califx) |
| 2023-06-17 00:03:29 +0000 | <EvanR> | I recall a mandlebrot demo using that somewhere in bbdemo |
| 2023-06-17 00:03:45 +0000 | <pie_> | i wonder if its a coincidence that this worked at all |
| 2023-06-17 00:04:59 +0000 | <sm> | https://github.com/busyloop/lolcat it |
| 2023-06-17 00:12:16 +0000 | <pie_> | well, here we go, kinda works http://ix.io/4yrK |
| 2023-06-17 00:12:38 +0000 | <pie_> | heh <sm> https://github.com/busyloop/lolcat it |
| 2023-06-17 00:13:05 +0000 | <pie_> | doing things properly is too hard :p |
| 2023-06-17 00:15:14 +0000 | <sm> | pie_: cool. Nice to compare different implementations |
| 2023-06-17 00:15:40 +0000 | <EvanR> | doing terrible terminal tech "properly" xD |
| 2023-06-17 00:17:15 +0000 | <EvanR> | I guess graphics isn't in any better shape |
| 2023-06-17 00:17:57 +0000 | <EvanR> | you have people saying not to use (modernish) opengl |
| 2023-06-17 00:18:21 +0000 | <sm> | GLUT or gloss look pretty fine for this |
| 2023-06-17 00:19:09 +0000 | <EvanR> | gloss ftw |
| 2023-06-17 00:23:19 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2023-06-17 00:23:29 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-06-17 00:33:45 +0000 | <pie_> | i added lenses |
| 2023-06-17 00:33:56 +0000 | <pie_> | gotta love how haskell is always great and terrible at the same time |
| 2023-06-17 00:34:55 +0000 | sh1n | (~sh1n@181.229.226.220) |
| 2023-06-17 00:35:34 +0000 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-06-17 00:36:33 +0000 | <pie_> | wow that haskell-mandelbrot-set feels shorter than my entire mandelbrot function :/ |
| 2023-06-17 00:36:46 +0000 | <pie_> | (its not, but it _feels_ like it) |
| 2023-06-17 00:37:42 +0000 | <pie_> | i guess this is done for now http://ix.io/4yrS |
| 2023-06-17 00:44:25 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 00:44:59 +0000 | disconnect3d | (~disconnec@user/disconnect3d) (Server closed connection) |
| 2023-06-17 00:45:08 +0000 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-06-17 00:46:34 +0000 | <pie_> | ok i may have figured out how to make the zooming less obnoxious |
| 2023-06-17 00:46:57 +0000 | <pie_> | it would pan (sort of) towards the center because of the way i handled the coordinated |
| 2023-06-17 00:47:02 +0000 | <pie_> | coordinates |
| 2023-06-17 00:49:32 +0000 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) () |
| 2023-06-17 00:50:03 +0000 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-17 00:50:22 +0000 | <ijqq> | btw what does Channel mode: +Cnt mean in irc? |
| 2023-06-17 00:51:02 +0000 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 2023-06-17 00:52:25 +0000 | <EvanR> | pie_, how much of your program is dedicated to the terminal and how much is the actual mandlebrot set |
| 2023-06-17 00:55:38 +0000 | <yushyin> | ijqq: https://libera.chat/guides/channelmodes |
| 2023-06-17 00:55:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 2023-06-17 00:56:10 +0000 | <ijqq> | oh interesting, thank you |
| 2023-06-17 00:58:45 +0000 | <ijqq> | http://sprunge.us/suiJ4Y |
| 2023-06-17 00:58:45 +0000 | <ijqq> | how can I improve this? |
| 2023-06-17 00:59:15 +0000 | <pie_> | repo https://github.com/deliciouslytyped/haskell-mandelbrot-sandbox |
| 2023-06-17 00:59:18 +0000 | <pie_> | EvanR: half and half |
| 2023-06-17 00:59:28 +0000 | <pie_> | or maybe 1/4 3/4 |
| 2023-06-17 01:03:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 01:03:09 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-06-17 01:06:46 +0000 | <pie_> | added some screenshots to the repo |
| 2023-06-17 01:08:10 +0000 | <ijqq> | looks cool :) |
| 2023-06-17 01:08:37 +0000 | <ijqq> | i tried to run it but i don't have the dependencies it seems |
| 2023-06-17 01:09:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 01:09:24 +0000 | <pie_> | i think the only external dependency is micro lens |
| 2023-06-17 01:09:43 +0000 | <pie_> | despite what i added to the readme |
| 2023-06-17 01:10:20 +0000 | <pie_> | hm. |
| 2023-06-17 01:10:25 +0000 | <pie_> | it also only works properly in ghci |
| 2023-06-17 01:10:50 +0000 | <pie_> | i probably need to set some sort of terminal buffering mode... |
| 2023-06-17 01:11:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 01:11:49 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 01:12:55 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-17 01:12:55 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-17 01:12:55 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 01:13:13 +0000 | txaas | (~txaas@user/jarlg) (Quit: WeeChat 3.6) |
| 2023-06-17 01:16:29 +0000 | <pie_> | ok that fixed that but breaks the status line for some reason... |
| 2023-06-17 01:16:48 +0000 | <pie_> | ok got it |
| 2023-06-17 01:17:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 01:18:16 +0000 | <pie_> | Maybe I should get rid of the lenses dependency. Then it'd work standalone. |
| 2023-06-17 01:20:07 +0000 | <ijqq> | that would be cool. i would try to get lens but i've just had a day of errors from ghc and hls and other versions not matching, so i'm scared to touch anything now |
| 2023-06-17 01:21:55 +0000 | <EvanR> | you should be scared to touch anything in haskell, it might be ⊥ |
| 2023-06-17 01:21:55 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 01:22:09 +0000 | <pie_> | x) |
| 2023-06-17 01:22:20 +0000 | <pie_> | EvanR: but I like bit bottoms and I cannot lie |
| 2023-06-17 01:22:47 +0000 | <pie_> | everyone failed to realize mc hammer solved the halting problem |
| 2023-06-17 01:23:17 +0000 | <ijqq> | hehe |
| 2023-06-17 01:28:51 +0000 | <EvanR> | did you just mistake sir mix-a-lot for hammer |
| 2023-06-17 01:29:21 +0000 | <pie_> | I mean, the name is mix-a-lot |
| 2023-06-17 01:29:26 +0000 | <pie_> | I'm gonna mix it up a lot |
| 2023-06-17 01:36:13 +0000 | <hpc> | i was going to say, mc hammer's known for chmod 000 /bin/touch |
| 2023-06-17 01:37:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-17 01:41:07 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 01:41:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-17 01:42:52 +0000 | k`` | (~user@136.56.140.2) (Ping timeout: 252 seconds) |
| 2023-06-17 01:45:52 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 01:50:27 +0000 | sympt | (~sympt@user/sympt) |
| 2023-06-17 01:52:11 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 01:54:19 +0000 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 01:54:50 +0000 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-06-17 01:58:31 +0000 | tubogram4474 | (~tubogram@user/tubogram) |
| 2023-06-17 01:59:54 +0000 | tubogram447 | (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 2023-06-17 01:59:54 +0000 | tubogram4474 | tubogram447 |
| 2023-06-17 02:01:23 +0000 | <pie_> | I wasnt alive in the 80s or whichever decade this is exactly but playing with this, im really getting a vibe |
| 2023-06-17 02:01:46 +0000 | <pie_> | with the slow top down scan screen updates and blockiness |
| 2023-06-17 02:02:11 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-06-17 02:02:37 +0000 | <EvanR> | 80s PCs tended to have fancy color graphics, then DOS happened and it all went away |
| 2023-06-17 02:02:37 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 02:03:13 +0000 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 02:03:44 +0000 | <EvanR> | back to solitaire rendered with codepage heart and clubs |
| 2023-06-17 02:04:47 +0000 | rando25892 | (~andor2985@172.58.85.62) (Changing host) |
| 2023-06-17 02:04:47 +0000 | rando25892 | (~andor2985@user/rando25892) |
| 2023-06-17 02:05:05 +0000 | <pie_> | ha |
| 2023-06-17 02:05:27 +0000 | tubogram447 | (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 2023-06-17 02:05:27 +0000 | tubogram4471 | tubogram447 |
| 2023-06-17 02:05:49 +0000 | <pie_> | i was just thinking earlier that i get hints sometimes that core windows is actually a very sophisticated kernel, but with all the crap they make us put up with on top of it... |
| 2023-06-17 02:07:31 +0000 | <pie_> | now if only terminal emulators had double buffering and a way to draw faster |
| 2023-06-17 02:07:32 +0000 | <pie_> | :p |
| 2023-06-17 02:07:46 +0000 | <pie_> | (yes i want text more graphics mode xp) |
| 2023-06-17 02:07:50 +0000 | <pie_> | *mode |
| 2023-06-17 02:08:26 +0000 | <EvanR> | that's what I was saying earlier you have term-emus that are blazing fast, others dirt slow for whatever reason. Sometimes because of extra features sometimes no excuse |
| 2023-06-17 02:09:30 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2023-06-17 02:09:36 +0000 | <pie_> | i forgot that im using ssh in the windows terminal |
| 2023-06-17 02:09:48 +0000 | <EvanR> | your chosen term might just be dirt slow |
| 2023-06-17 02:09:49 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-06-17 02:09:50 +0000 | <nyc> | There has to be a queue (FIFO) API that allows for smoother replicateM use. |
| 2023-06-17 02:09:54 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 02:12:21 +0000 | <pie_> | EvanR: Im not so suer. |
| 2023-06-17 02:12:36 +0000 | <pie_> | or the network, or theyre both slow |
| 2023-06-17 02:12:42 +0000 | <pie_> | or tmux is slow |
| 2023-06-17 02:13:14 +0000 | <pie_> | multiple of these feel kind of unlikely given the latency i experience but thats a lot less redraws |
| 2023-06-17 02:13:22 +0000 | <pie_> | *the latency i usually experience |
| 2023-06-17 02:13:48 +0000 | <pie_> | I might be pushing a whopping several kilobytes per second |
| 2023-06-17 02:14:00 +0000 | <EvanR> | oh, you're streaming mass quantities of control codes, a screens worth, continually over the network |
| 2023-06-17 02:14:09 +0000 | <pie_> | though maybe its higher than that given the burst |
| 2023-06-17 02:14:36 +0000 | <EvanR> | putty or whatever might be throttling you |
| 2023-06-17 02:14:43 +0000 | bilegeek | (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) |
| 2023-06-17 02:15:01 +0000 | <EvanR> | aalib never worked great over the network |
| 2023-06-17 02:15:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 02:15:27 +0000 | <pie_> | oh bro |
| 2023-06-17 02:15:31 +0000 | <pie_> | its way faster outside tmux |
| 2023-06-17 02:15:35 +0000 | <pie_> | waaay |
| 2023-06-17 02:15:41 +0000 | <EvanR> | ok blame tmux |
| 2023-06-17 02:15:59 +0000 | <pie_> | like, its still not instant but its definitely faster |
| 2023-06-17 02:16:36 +0000 | <pie_> | this just got a lot more fun |
| 2023-06-17 02:16:44 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-17 02:16:44 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-17 02:16:44 +0000 | finn_elija | FinnElija |
| 2023-06-17 02:18:14 +0000 | <pie_> | i should add a feature to load and save coordinates but i should really stop |
| 2023-06-17 02:20:48 +0000 | <pie_> | turns out its more fun when your machine isnt constantly lagging |
| 2023-06-17 02:23:14 +0000 | <pie_> | gamers might be on to something |
| 2023-06-17 02:23:14 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 02:24:50 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Server closed connection) |
| 2023-06-17 02:24:57 +0000 | <pie_> | hm i should do like a telnet or something mandelbrot browser as a network service thing as a project |
| 2023-06-17 02:25:08 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) |
| 2023-06-17 02:27:27 +0000 | <EvanR> | go ahead and make it a bulletin board system |
| 2023-06-17 02:27:48 +0000 | <pie_> | heh |
| 2023-06-17 02:27:55 +0000 | <EvanR> | you could charge by the minute |
| 2023-06-17 02:29:17 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 02:30:54 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 02:31:03 +0000 | cheater_ | cheater |
| 2023-06-17 02:33:57 +0000 | <pie_> | Ok I guess I should stop patting myself on the back now and get back to doing something I'm supposed to be doing |
| 2023-06-17 02:39:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-17 02:40:55 +0000 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 265 seconds) |
| 2023-06-17 02:42:31 +0000 | td_ | (~td@i5387091A.versanet.de) |
| 2023-06-17 02:45:44 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 02:45:54 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2023-06-17 02:49:06 +0000 | sh1n | (~sh1n@181.229.226.220) (Read error: Connection reset by peer) |
| 2023-06-17 02:56:29 +0000 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 2023-06-17 02:57:18 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 2023-06-17 02:57:29 +0000 | <nyc> | {- Okasaki-style -} data Fifo t = Fifo ![t] ![t] deriving (Eq, Ord, Read, Show) ; remove = \case { Fifo [] [] -> Nothing ; Fifo (h:t) y -> Just (Fifo t y, h) ; Fifo[] y -> let ~(h:t) = reverse y in Just (Fifo t [], h) } |
| 2023-06-17 02:58:32 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-17 03:00:42 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection) |
| 2023-06-17 03:03:45 +0000 | <nyc> | There should be a better interface. |
| 2023-06-17 03:06:53 +0000 | <EvanR> | -- lt barclay (TNG: The Nth Degree) |
| 2023-06-17 03:15:44 +0000 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 246 seconds) |
| 2023-06-17 03:16:41 +0000 | falafel | (~falafel@172.58.242.200) |
| 2023-06-17 03:18:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 03:26:35 +0000 | brettgilio | (~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-06-17 03:29:23 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-17 03:29:44 +0000 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 03:44:55 +0000 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2023-06-17 03:45:18 +0000 | xff0x_ | (~xff0x@178.255.149.135) |
| 2023-06-17 03:48:45 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 258 seconds) |
| 2023-06-17 03:58:10 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2023-06-17 04:01:03 +0000 | bilegeek | (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) (Quit: Leaving) |
| 2023-06-17 04:02:56 +0000 | <sm> | pie_: network will certainly slow things a bit. But give dtach a try also, I wonder how it compares to tux. And mosh vs ssh. |
| 2023-06-17 04:03:32 +0000 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-06-17 04:03:52 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-17 04:05:44 +0000 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-17 04:10:41 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) |
| 2023-06-17 04:11:25 +0000 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-06-17 04:11:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-06-17 04:12:10 +0000 | <nyc> | Removing n with replicateM and a state monad and doing it with splitAt are both slightly longer than recursion in a Maybe monad. |
| 2023-06-17 04:15:50 +0000 | mei | (~mei@user/mei) |
| 2023-06-17 04:34:46 +0000 | <[Leary]> | nyc: Pointlessly golfed, but how about `(!?) . unfoldr (fmap (\t@(q,_) -> (t,q)) . remove)`? |
| 2023-06-17 04:38:19 +0000 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) (Server closed connection) |
| 2023-06-17 04:38:29 +0000 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) |
| 2023-06-17 04:47:50 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-17 04:50:38 +0000 | dragestil | (~znc@user/dragestil) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2023-06-17 04:51:02 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 2023-06-17 04:51:21 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-06-17 04:52:57 +0000 | gry | (quasselcor@botters/gry) (Server closed connection) |
| 2023-06-17 04:53:17 +0000 | gry | (quasselcor@botters/gry) |
| 2023-06-17 04:56:14 +0000 | <nyc> | [Leary]: I think the behavior is different around insufficient queues. |
| 2023-06-17 04:56:52 +0000 | falafel | (~falafel@172.58.242.200) (Ping timeout: 240 seconds) |
| 2023-06-17 05:02:53 +0000 | <nyc> | [Leary]: It also needed to return the list of everything removed, not just the last one. |
| 2023-06-17 05:03:58 +0000 | <[Leary]> | nyc: Yeah, I neglected to test it; it's just straight-up the wrong type, oops. I fixed it up, but it got ugly: `list n q = fmap ($ []) <$> unfoldr (\(q,dl) -> pop q <&> (\(q,x) -> dupe (q,dl . (x:)))) (q,id) !? n` |
| 2023-06-17 05:04:30 +0000 | <[Leary]> | Err, where `remove` became `pop`. |
| 2023-06-17 05:05:00 +0000 | <[Leary]> | I feel like I'm doing something stupid with `unfoldr` and `dupe` though. |
| 2023-06-17 05:05:54 +0000 | <[Leary]> | Oh, I see what you mean about insufficent queues. Hah, it's still wrong then. |
| 2023-06-17 05:06:03 +0000 | <nyc> | What are pop & dupe? |
| 2023-06-17 05:06:34 +0000 | <[Leary]> | My `pop` is just your `remove`. `dupe` is `a -> (a, a)`. |
| 2023-06-17 05:10:27 +0000 | <nyc> | There's an off by one. |
| 2023-06-17 05:10:41 +0000 | <[Leary]> | I'm on fire today. |
| 2023-06-17 05:13:04 +0000 | <nyc> | I think more maintainability might be needed. |
| 2023-06-17 05:15:11 +0000 | <nyc> | I forget how to invoke lambdabot. |
| 2023-06-17 05:16:11 +0000 | <nyc> | > (flip (,)) 1 2 |
| 2023-06-17 05:16:13 +0000 | <lambdabot> | (2,1) |
| 2023-06-17 05:16:29 +0000 | <nyc> | > (\n (Fifo fs rs) -> let { (xs, fs') = splitAt n fs ; k = length xs ; (ys, rs') | k == n = ([], rs) | otherwise = splitAt (n - k) $ reverse rs } in if k + length ys < n then Nothing else if k == n then Just (Fifo fs' rs, xs) else Just (Fifo rs' [], xs ++ ys)) 5 (Fifo [1..3] [4..5]) |
| 2023-06-17 05:16:30 +0000 | <lambdabot> | error: Not in scope: data constructor ‘Fifo’ |
| 2023-06-17 05:18:04 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-06-17 05:26:09 +0000 | <nyc> | I also came up with (\n queue -> (\(m, y) -> fmap ((,) y) m) . runIdentity . flip runStateT queue . runMaybeT $ replicateM n $ do { (q', x) <- MaybeT . pure . remove =<< lift get ; lift $ put q' ; pure x }) 5 (Fifo [] [1..10]) |
| 2023-06-17 05:26:39 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 05:26:48 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-06-17 05:29:01 +0000 | dragestil | (~znc@user/dragestil) |
| 2023-06-17 05:37:50 +0000 | trev | (~trev@user/trev) |
| 2023-06-17 05:40:25 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-17 05:48:19 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 05:48:34 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2023-06-17 05:55:31 +0000 | ringo__ | (~ringo@157.230.117.128) (Server closed connection) |
| 2023-06-17 05:55:51 +0000 | ringo__ | (~ringo@157.230.117.128) |
| 2023-06-17 05:57:59 +0000 | end\ | (~end^@user/end/x-0094621) (Remote host closed the connection) |
| 2023-06-17 05:58:13 +0000 | end\ | (~end^@user/end/x-0094621) |
| 2023-06-17 06:00:15 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 06:02:24 +0000 | rando25892 | (~andor2985@user/rando25892) (Quit: BitchX-1.2.1 -- just do it.) |
| 2023-06-17 06:03:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-17 06:07:10 +0000 | end\ | end^ |
| 2023-06-17 06:17:43 +0000 | yaroot_ | (~yaroot@p3136152-ipngn5601souka.saitama.ocn.ne.jp) |
| 2023-06-17 06:18:38 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 258 seconds) |
| 2023-06-17 06:18:38 +0000 | yaroot_ | yaroot |
| 2023-06-17 06:27:16 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-17 06:27:34 +0000 | integral | (sid296274@user/integral) (Server closed connection) |
| 2023-06-17 06:27:46 +0000 | integral | (sid296274@user/integral) |
| 2023-06-17 06:28:25 +0000 | tubogram447 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-06-17 06:30:29 +0000 | <[Leary]> | nyc: Had another go. Fixed it for real this time (actually tested): `list n q0 = fmap ($ []) <$> foldr (<=<) pure (replicate n go) (q0,id) where go (q,dl) = remove q <&> second \x -> dl . (x:)`. |
| 2023-06-17 06:31:29 +0000 | <[Leary]> | Basically `stimes` on `EndoM`. |
| 2023-06-17 06:33:25 +0000 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 06:33:45 +0000 | acidjnk | (~acidjnk@p200300d6e7072f8821c033a15ffbac05.dip0.t-ipconnect.de) |
| 2023-06-17 06:34:00 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 06:34:29 +0000 | <jade[m]1> | what exactly is the task? |
| 2023-06-17 06:36:16 +0000 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:cc64:47a4:1f57:8f59) (Ping timeout: 248 seconds) |
| 2023-06-17 06:36:24 +0000 | tubogram4471 | (~tubogram@user/tubogram) (Client Quit) |
| 2023-06-17 06:37:17 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2023-06-17 06:37:43 +0000 | <[Leary]> | jade[m]1: Write `Int -> Fifo t -> Maybe (Fifo t, [t])`, pulling n elements off the front of an Okasaki-style queue when possible, preferably via `remove :: Fifo t -> Maybe (Fifo t, t)` rather than the internal interface. |
| 2023-06-17 06:38:50 +0000 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 06:39:47 +0000 | <int-e> | :t unfoldr |
| 2023-06-17 06:39:48 +0000 | <lambdabot> | (b -> Maybe (a, b)) -> b -> [a] |
| 2023-06-17 06:42:20 +0000 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 06:46:13 +0000 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 06:50:47 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2023-06-17 06:51:43 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2023-06-17 07:00:49 +0000 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 07:03:51 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-17 07:15:14 +0000 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 07:15:23 +0000 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2023-06-17 07:19:49 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 07:24:12 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 07:27:38 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-17 07:27:44 +0000 | end\ | (~end^@user/end/x-0094621) |
| 2023-06-17 07:28:10 +0000 | davl_ | (~davl@207.154.228.18) (Server closed connection) |
| 2023-06-17 07:28:39 +0000 | davl | (~davl@207.154.228.18) |
| 2023-06-17 07:36:32 +0000 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 07:40:48 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-06-17 07:41:26 +0000 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 07:42:24 +0000 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 07:42:25 +0000 | hisa385 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-17 07:44:30 +0000 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-06-17 07:44:30 +0000 | hisa385 | hisa38 |
| 2023-06-17 07:59:59 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 08:05:44 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 08:08:11 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 08:09:38 +0000 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 08:09:59 +0000 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 08:16:42 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-17 08:20:32 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 08:21:34 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 08:22:14 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-17 08:24:12 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 08:26:19 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-17 08:29:05 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-17 08:30:24 +0000 | jargon | (~jargon@184.101.75.235) (Remote host closed the connection) |
| 2023-06-17 08:37:36 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-17 08:37:43 +0000 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 08:38:07 +0000 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 08:38:27 +0000 | ubert | (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) |
| 2023-06-17 08:39:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-17 08:40:58 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) |
| 2023-06-17 08:42:20 +0000 | sympt | (~sympt@user/sympt) (Ping timeout: 252 seconds) |
| 2023-06-17 08:50:34 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 2023-06-17 08:50:44 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2023-06-17 08:51:02 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 08:54:03 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-17 09:01:03 +0000 | sympt | (~sympt@user/sympt) |
| 2023-06-17 09:06:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 09:07:28 +0000 | tubogram44711 | (~tubogram@user/tubogram) |
| 2023-06-17 09:09:25 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 09:09:42 +0000 | tubogram4471 | (~tubogram@user/tubogram) (Ping timeout: 240 seconds) |
| 2023-06-17 09:09:42 +0000 | tubogram44711 | tubogram4471 |
| 2023-06-17 09:10:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 09:11:25 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-06-17 09:12:40 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 2023-06-17 09:13:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-17 09:14:26 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 09:15:29 +0000 | <carbolymer> | how can I find plan.json location using cabal? |
| 2023-06-17 09:15:42 +0000 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-17 09:15:58 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 2023-06-17 09:17:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 09:20:26 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 09:21:03 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 2023-06-17 09:21:19 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 09:21:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-17 09:21:54 +0000 | <tomsmeding> | carbolymer: isn't that always at dist-newstyle/cache/plan.json |
| 2023-06-17 09:22:20 +0000 | jargon | (~jargon@184.101.75.235) |
| 2023-06-17 09:23:18 +0000 | <tomsmeding> | carbolymer: https://hackage.haskell.org/package/cabal-plan-0.7.3.0/docs/src/Cabal.Plan.html#findPlanJson |
| 2023-06-17 09:23:24 +0000 | <tomsmeding> | see fromBuildDir |
| 2023-06-17 09:25:41 +0000 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 2023-06-17 09:25:54 +0000 | <carbolymer> | tomsmeding: usually, I think stack put it's in .stack or something, so I wanted to have reliable way for that |
| 2023-06-17 09:26:12 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-17 09:27:47 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-17 09:27:48 +0000 | <carbolymer> | tomsmeding: thanks |
| 2023-06-17 09:27:49 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 2023-06-17 09:28:00 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 09:29:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-17 09:35:14 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-17 09:38:35 +0000 | kuribas | (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) |
| 2023-06-17 09:38:43 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 2023-06-17 09:39:15 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 09:41:22 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2023-06-17 09:44:37 +0000 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) () |
| 2023-06-17 09:47:03 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 09:51:38 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-06-17 09:52:52 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-06-17 09:53:25 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 09:57:24 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 09:59:56 +0000 | <tomsmeding> | carbolymer: stack doesn't put cabal stuff anywhere because it's stack, not cabal, right? |
| 2023-06-17 09:59:59 +0000 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 10:00:09 +0000 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-06-17 10:01:45 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 10:01:57 +0000 | <geekosaur> | don't confuse cabal-install with Cabal, and remember that builds used to be done via Setup.hs which uses Cabal |
| 2023-06-17 10:02:16 +0000 | <geekosaur> | I think dist-newstyle goes under .stack-work? |
| 2023-06-17 10:04:46 +0000 | <int-e> | @quote cabal |
| 2023-06-17 10:04:47 +0000 | <lambdabot> | ivanm says: yeah, blame dcoutts... with his gtk2hs hat, he blames his c2hs hat for not playing nicely with his cabal hat |
| 2023-06-17 10:07:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 10:12:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 10:12:54 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Server closed connection) |
| 2023-06-17 10:13:02 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2023-06-17 10:14:45 +0000 | <geekosaur> | hm, that said I think caba.plan is from the cabal-install side of things |
| 2023-06-17 10:30:42 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-06-17 10:31:15 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 258 seconds) |
| 2023-06-17 10:35:10 +0000 | <carbolymer> | tomsmeding: probably just puts iwhole dist-newstyle into .stack-work, I don't remember now, probably I'll drop this stack angle |
| 2023-06-17 10:44:10 +0000 | m1dnight_ | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-17 11:07:36 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 11:07:52 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-06-17 11:08:13 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 11:17:46 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-17 11:21:59 +0000 | ell | (~ellie@user/ellie) (Server closed connection) |
| 2023-06-17 11:22:17 +0000 | ell | (~ellie@user/ellie) |
| 2023-06-17 11:22:33 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 11:47:55 +0000 | ell0 | (~ellie@user/ellie) |
| 2023-06-17 11:48:20 +0000 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:48:29 +0000 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:48:36 +0000 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 2023-06-17 11:48:36 +0000 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) |
| 2023-06-17 11:48:39 +0000 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-06-17 11:48:53 +0000 | jinsl | (~jinsl@123.120.169.188) |
| 2023-06-17 11:48:59 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:49:00 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:49:16 +0000 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2023-06-17 11:49:16 +0000 | ell0 | ell |
| 2023-06-17 11:49:30 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2023-06-17 11:49:42 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2023-06-17 11:50:00 +0000 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:50:00 +0000 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 11:50:32 +0000 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) |
| 2023-06-17 11:50:45 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2023-06-17 11:50:48 +0000 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2023-06-17 11:50:51 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2023-06-17 11:55:59 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 11:59:00 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2023-06-17 11:59:10 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2023-06-17 12:03:32 +0000 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-06-17 12:05:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-17 12:07:01 +0000 | kuribas | (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-06-17 12:09:10 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-17 12:10:46 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 12:13:32 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-06-17 12:14:14 +0000 | quintasan | (~quassel@quintasan.pl) (Server closed connection) |
| 2023-06-17 12:14:25 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2023-06-17 12:15:22 +0000 | ddellacosta | (~ddellacos@146.70.185.10) (Ping timeout: 252 seconds) |
| 2023-06-17 12:15:44 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 12:17:21 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-17 12:19:13 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 12:19:40 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2023-06-17 12:19:56 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 12:22:01 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-17 12:22:03 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2023-06-17 12:22:20 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 12:32:05 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 12:33:41 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-17 12:39:57 +0000 | ripspin | (~chatzilla@1.145.230.77) |
| 2023-06-17 12:40:06 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 12:46:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 12:46:31 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 12:48:52 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 12:54:07 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-06-17 12:54:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-17 12:56:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-17 12:59:23 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 13:00:07 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-17 13:00:09 +0000 | ripspin | (~chatzilla@1.145.230.77) (Remote host closed the connection) |
| 2023-06-17 13:02:57 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 13:03:23 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 2023-06-17 13:05:00 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 13:18:25 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 13:19:49 +0000 | sajith_ | sajith |
| 2023-06-17 13:21:04 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-17 13:22:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 13:31:52 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 13:35:41 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-17 13:38:19 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 2023-06-17 13:50:12 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2023-06-17 14:00:08 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 14:00:40 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 14:01:12 +0000 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 14:02:13 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-17 14:02:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 14:05:09 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-17 14:10:54 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-17 14:12:55 +0000 | zxrom | (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 14:14:17 +0000 | ripspin | (~chatzilla@1.145.195.81) |
| 2023-06-17 14:21:19 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-17 14:22:14 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-06-17 14:22:24 +0000 | <nyc> | [Leary]: Interesting. |
| 2023-06-17 14:22:39 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-06-17 14:23:59 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Server closed connection) |
| 2023-06-17 14:24:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-06-17 14:30:18 +0000 | pat67 | (~pat67@145.14.135.137) (Read error: Connection reset by peer) |
| 2023-06-17 14:30:43 +0000 | pat67 | (~pat67@145.14.135.137) |
| 2023-06-17 14:31:27 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-17 14:31:28 +0000 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Remote host closed the connection) |
| 2023-06-17 14:31:41 +0000 | talismanick | (~user@2601:204:ef01:8ca0::a680) |
| 2023-06-17 14:31:46 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 14:32:45 +0000 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-17 14:32:45 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-17 14:33:16 +0000 | telser | (~quassel@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2023-06-17 14:33:17 +0000 | <nyc> | [Leary]: I think there's an aspect of this that involves communication with other programmers, and that seems like it might be a bit tough for other programmers to interpret. |
| 2023-06-17 14:33:45 +0000 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds) |
| 2023-06-17 14:34:41 +0000 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-06-17 14:37:35 +0000 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 2023-06-17 14:42:34 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-17 14:44:20 +0000 | ubert | (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-17 14:44:39 +0000 | ubert | (~Thunderbi@p200300ecdf0da912f884ed912556b966.dip0.t-ipconnect.de) |
| 2023-06-17 14:45:01 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 2023-06-17 14:46:06 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 14:46:34 +0000 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Quit: Client closed) |
| 2023-06-17 14:59:10 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 15:19:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 15:19:30 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 15:19:53 +0000 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 2023-06-17 15:23:50 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-17 15:24:43 +0000 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Client Quit) |
| 2023-06-17 15:28:47 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 15:29:12 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 240 seconds) |
| 2023-06-17 15:33:01 +0000 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-17 15:36:18 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 15:45:26 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 15:51:01 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-17 15:54:01 +0000 | raym | (~ray@user/raym) (Ping timeout: 258 seconds) |
| 2023-06-17 15:54:15 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-17 15:57:46 +0000 | trev | (~trev@user/trev) |
| 2023-06-17 15:58:11 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 15:59:57 +0000 | raym | (~ray@user/raym) |
| 2023-06-17 16:02:12 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 16:03:14 +0000 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 2023-06-17 16:04:45 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 2023-06-17 16:06:41 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 16:06:50 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-06-17 16:09:54 +0000 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2023-06-17 16:10:04 +0000 | idnar | (sid12240@debian/mithrandi) |
| 2023-06-17 16:11:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-06-17 16:11:40 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 16:12:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 16:13:04 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 16:16:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 16:20:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-06-17 16:21:16 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 16:23:09 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 16:24:40 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-17 16:27:10 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
| 2023-06-17 16:27:29 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 16:29:31 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 16:30:04 +0000 | <jonathan_> | Is there any tooling for generating a swgger api from an openAPI specification? |
| 2023-06-17 16:30:30 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 240 seconds) |
| 2023-06-17 16:30:40 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-17 16:31:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-06-17 16:32:19 +0000 | <Rembane> | jonathan_: Would this be helpful to you? https://hackage.haskell.org/package/openapi3 |
| 2023-06-17 16:32:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-17 16:34:01 +0000 | <jonathan_> | Rembane: if I were to embark on creating such a tool, yes. |
| 2023-06-17 16:34:10 +0000 | koz_ | (~koz@121.99.240.58) (Server closed connection) |
| 2023-06-17 16:34:19 +0000 | <jonathan_> | But not exactly what I'm looking for |
| 2023-06-17 16:35:06 +0000 | <jonathan_> | Ideally, I'd like to go from an openapi spec to a servant api :) |
| 2023-06-17 16:35:57 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:8153:dfbb:aa33:a760) (Remote host closed the connection) |
| 2023-06-17 16:36:13 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:59b4:50:6695:cd56) |
| 2023-06-17 16:36:27 +0000 | koz | (~koz@121.99.240.58) |
| 2023-06-17 16:36:57 +0000 | zxrom | (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 2023-06-17 16:37:17 +0000 | <Rembane> | jonathan_: Got it. That doesn't seem to exist on Hackage, but maybe someone else here has used that kind of package. |
| 2023-06-17 16:40:24 +0000 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 2023-06-17 16:42:18 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2023-06-17 16:46:14 +0000 | cheater | (~Username@user/cheater) |
| 2023-06-17 16:47:26 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 16:48:28 +0000 | <jonathan_> | Hmm, I'm thinking about how I'd implement it.. Is there any package that has a term level dsl that can be compiled into type level servant? |
| 2023-06-17 16:51:30 +0000 | Cheery_ | (~cheery@server-239-7.tentacle.cloud) (Server closed connection) |
| 2023-06-17 16:51:37 +0000 | Cheery | (~cheery@server-239-7.tentacle.cloud) |
| 2023-06-17 16:55:19 +0000 | <davean> | jonathan_: This seems more the place for code generation. |
| 2023-06-17 16:56:01 +0000 | zxrom | (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 16:57:06 +0000 | ripspin | (~chatzilla@1.145.195.81) (Remote host closed the connection) |
| 2023-06-17 16:57:38 +0000 | Guest63 | (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) |
| 2023-06-17 16:58:33 +0000 | Guest63 | (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) (Client Quit) |
| 2023-06-17 16:59:54 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 2023-06-17 17:01:59 +0000 | <jonathan_> | davean: I don't follow, haven't done a lot autogenerating. Would you mind elaborating? I imagined a pipeline using "openapi3" to go from openapi3 spec to haskell types, then some translation between the openapi3 haskell types to a term level servant dsl, then compile/reflect the term level servant dsl to type level. Do you see a simpler route? Mine assumes that the last step is available as a package somewhere. |
| 2023-06-17 17:08:48 +0000 | <Guillaum[m]> | Would it be a stupid idea to use threadLabel and labelThread as a simple form of thread local storage by storing a value encoded (e.g. as JSON)? Would the size of the payload or the frequent read/write have dramatic impact on the performance? |
| 2023-06-17 17:09:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-17 17:09:41 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 17:12:50 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 17:14:06 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-17 17:14:44 +0000 | zxrom | (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 17:16:05 +0000 | <int-e> | . o O ( oh that's a great idea, I'll steal it... hey, stop writing over *my* data! ) |
| 2023-06-17 17:17:29 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 17:17:48 +0000 | <davean> | jonathan_: what weight is your term level DSL doing? |
| 2023-06-17 17:18:20 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 2023-06-17 17:18:21 +0000 | <davean> | Why not just write out the types from the openapi3 data? |
| 2023-06-17 17:19:22 +0000 | <jonathan_> | Because I'm less familiar with how to do that :) How would that work? Template haskell? |
| 2023-06-17 17:19:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 17:34:33 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 17:38:52 +0000 | nehsou^ | (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-17 17:40:22 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-17 17:45:17 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 2023-06-17 17:45:53 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 17:47:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 17:48:42 +0000 | kimiamania6 | (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 17:49:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 17:49:11 +0000 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 17:54:20 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-06-17 17:54:28 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-06-17 17:55:14 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 17:55:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 17:57:22 +0000 | <davean> | jonathan_: Thats one way |
| 2023-06-17 17:57:28 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 17:57:29 +0000 | cheater_ | cheater |
| 2023-06-17 17:58:44 +0000 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2023-06-17 18:01:21 +0000 | <jonathan_> | davean: I also found https://hackage.haskell.org/package/haskell-generate. Did you have something specific in mind? ;) |
| 2023-06-17 18:03:36 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-06-17 18:03:39 +0000 | <davean> | jonathan_: or you just emit code directly, as text, like https://github.com/expipiplus1/vulkan/tree/main/generate-new |
| 2023-06-17 18:03:57 +0000 | <davean> | lots of options. Not much reason to generate it every compile like with TH generally. |
| 2023-06-17 18:04:00 +0000 | <jonathan_> | davean: Ah, fair |
| 2023-06-17 18:04:21 +0000 | <davean> | So with like servant you'd have a command to generate an API Types module all your human code would use. |
| 2023-06-17 18:04:30 +0000 | <davean> | you can also make running that command part of the cabal build BTW |
| 2023-06-17 18:04:58 +0000 | <davean> | thats kinda how a lot of parser and FFI tools tie in |
| 2023-06-17 18:05:01 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 18:06:56 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 18:09:43 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2023-06-17 18:09:51 +0000 | cheater_ | cheater |
| 2023-06-17 18:10:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 18:13:11 +0000 | tubogram4471 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-06-17 18:13:47 +0000 | <Guillaum[m]> | int-e: good point. I'm not considering doing that in a library but in an application, so as long as nobody is using this trick in a lib I should be fine. But you raised an interesting point, thank you. |
| 2023-06-17 18:22:09 +0000 | tubogram44711 | (~tubogram@user/tubogram) |
| 2023-06-17 18:23:37 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 18:28:16 +0000 | zxrom | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 18:28:39 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-17 18:31:10 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Server closed connection) |
| 2023-06-17 18:31:23 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2023-06-17 18:32:47 +0000 | zxrom_ | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 18:34:15 +0000 | zxrom | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 2023-06-17 18:38:56 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-17 18:38:56 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-17 18:38:56 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 18:43:30 +0000 | [_] | [itchyjunk] |
| 2023-06-17 18:46:10 +0000 | zxrom_ | zxrom |
| 2023-06-17 18:46:48 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-17 18:47:01 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-17 18:48:58 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-17 18:55:43 +0000 | michalz | (~michalz@185.246.207.217) |
| 2023-06-17 18:56:52 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 240 seconds) |
| 2023-06-17 18:57:52 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 19:00:45 +0000 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 2023-06-17 19:05:50 +0000 | int-e | (~noone@int-e.eu) (Server closed connection) |
| 2023-06-17 19:05:58 +0000 | int-e | (~noone@int-e.eu) |
| 2023-06-17 19:08:26 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 246 seconds) |
| 2023-06-17 19:12:12 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 2023-06-17 19:13:18 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-17 19:14:00 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 19:14:06 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-06-17 19:14:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 19:14:34 +0000 | mzg | (mzg@lazy.unconscious.biz) (Server closed connection) |
| 2023-06-17 19:14:41 +0000 | mzg | (mzg@lazy.unconscious.biz) |
| 2023-06-17 19:20:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 19:24:21 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 19:25:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 19:30:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 19:34:00 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-17 19:40:08 +0000 | kimiamania6 | (~6790af62@user/kimiamania) (Ping timeout: 252 seconds) |
| 2023-06-17 19:45:32 +0000 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-17 19:46:52 +0000 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-06-17 19:47:01 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-17 19:51:03 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-06-17 19:51:03 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2023-06-17 19:51:03 +0000 | Feuermagier_ | Feuermagier |
| 2023-06-17 19:51:11 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-17 19:51:22 +0000 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 19:53:28 +0000 | biberu | (~biberu@user/biberu) |
| 2023-06-17 19:54:52 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 19:56:29 +0000 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Ping timeout: 240 seconds) |
| 2023-06-17 19:57:35 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-17 19:58:17 +0000 | Logio | (em@kapsi.fi) (Server closed connection) |
| 2023-06-17 19:58:26 +0000 | Logio | (em@kapsi.fi) |
| 2023-06-17 19:59:33 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 20:02:52 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-06-17 20:05:04 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-17 20:05:27 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 20:08:02 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-06-17 20:08:13 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 20:09:52 +0000 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-06-17 20:13:34 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-17 20:14:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 20:15:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-06-17 20:15:46 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 20:17:21 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-06-17 20:21:08 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 20:21:32 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 2023-06-17 20:23:54 +0000 | shane | (~shane@ana.rch.ist) (Server closed connection) |
| 2023-06-17 20:24:02 +0000 | shane | (~shane@ana.rch.ist) |
| 2023-06-17 20:29:18 +0000 | pavonia | (~user@user/siracusa) |
| 2023-06-17 20:30:12 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 20:31:28 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-17 20:33:45 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 20:36:54 +0000 | _________ | (~nobody@user/noodly) (Server closed connection) |
| 2023-06-17 20:37:01 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-17 20:37:17 +0000 | _________ | (~nobody@user/noodly) |
| 2023-06-17 20:37:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 20:39:30 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 20:44:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 20:45:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 20:48:52 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 20:49:25 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 20:49:45 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 20:51:25 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-06-17 20:51:38 +0000 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2023-06-17 20:52:44 +0000 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) () |
| 2023-06-17 20:53:09 +0000 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2023-06-17 21:02:32 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 21:05:52 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 21:11:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 21:11:56 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 21:17:42 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-17 21:18:59 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-06-17 21:19:27 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-17 21:19:28 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-17 21:19:28 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 21:20:02 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2023-06-17 21:23:01 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-06-17 21:24:30 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (Server closed connection) |
| 2023-06-17 21:24:37 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-06-17 21:26:29 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-17 21:28:03 +0000 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
| 2023-06-17 21:29:00 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 21:32:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-06-17 21:33:34 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 21:36:28 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-17 21:41:15 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-17 21:41:15 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-17 21:41:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 21:43:08 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) (Ping timeout: 240 seconds) |
| 2023-06-17 21:44:48 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-17 21:56:13 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-06-17 21:57:18 +0000 | byorgey | (~byorgey@155.138.238.211) (Server closed connection) |
| 2023-06-17 21:57:26 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2023-06-17 21:59:20 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-17 22:02:36 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-06-17 22:03:37 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-17 22:16:20 +0000 | acidjnk | (~acidjnk@p200300d6e7072f8821c033a15ffbac05.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-17 22:16:52 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-06-17 22:18:14 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 22:18:50 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 22:23:18 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 22:27:32 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-17 22:32:41 +0000 | dunj3 | (~dunj3@kingdread.de) (Server closed connection) |
| 2023-06-17 22:34:53 +0000 | dunj3 | (~dunj3@kingdread.de) |
| 2023-06-17 22:47:04 +0000 | <nyc> | I've got a cabal.project file in the top-level directory and some foo.cabal files in a directory below. How do I run a test suite target defined in the cabal file below? |
| 2023-06-17 22:50:48 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-06-17 22:55:02 +0000 | <sclv> | nyc: add those cabal files to the packages: section of the cabal file |
| 2023-06-17 22:55:08 +0000 | <sclv> | of the project file |
| 2023-06-17 22:55:48 +0000 | <sclv> | and then run like “cabal test foo:test-suites” or “cabal test foo” |
| 2023-06-17 23:01:17 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-17 23:01:17 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-17 23:01:17 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 23:03:59 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-17 23:04:06 +0000 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-17 23:04:46 +0000 | <arrowhead> | I have this problem but I don't have a packaga.yaml : https://stackoverflow.com/questions/69956129/what-to-do-so-i-can-import-data-list-split-module-in-… |
| 2023-06-17 23:05:08 +0000 | <arrowhead> | How do I solve it? Even addind a package.yaml with dependencies: - split == 0.2.3.3 it still doesn't work |
| 2023-06-17 23:05:23 +0000 | <arrowhead> | I have already added ", split" to my Project.cabal file and '- split-0.2.3.3" to my stack.yaml's extra-deps. Both cabal and stack will build and run fine. Also did cabal install split --lib. |
| 2023-06-17 23:05:33 +0000 | <arrowhead> | How do I fix VS Code complaining about my import Data.List.Split saying "Could not find module ‘Data.List.Split’"? |
| 2023-06-17 23:06:49 +0000 | <sclv> | the issue is you need to configure vs code to run via the project at all. |
| 2023-06-17 23:07:29 +0000 | <arrowhead> | I have the plugin settings checked to use ghcup, is that what you mean? |
| 2023-06-17 23:07:34 +0000 | <sclv> | #haskell-language-server has the experts, but is low traffic |
| 2023-06-17 23:07:41 +0000 | <arrowhead> | ok will try that |
| 2023-06-17 23:07:52 +0000 | <sclv> | not just ghcup. the cradle to use the cabal.project or stack.project |
| 2023-06-17 23:08:11 +0000 | <arrowhead> | what is the cradle? |
| 2023-06-17 23:08:54 +0000 | <arrowhead> | "How to manage/find HLS installations." > GHCup |
| 2023-06-17 23:09:16 +0000 | <sclv> | https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-proje… |
| 2023-06-17 23:09:29 +0000 | <geekosaur> | isn't it considered a bug if you need an explicit cradle these days? |
| 2023-06-17 23:09:33 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-17 23:09:51 +0000 | <sclv> | idk im just pointing to the docs |
| 2023-06-17 23:10:10 +0000 | <arrowhead> | Ah. I'm not getting any cradle issues... at least that I an see |
| 2023-06-17 23:10:12 +0000 | <arrowhead> | can* |
| 2023-06-17 23:12:00 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-06-17 23:14:59 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-06-17 23:16:32 +0000 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) |
| 2023-06-17 23:17:17 +0000 | deglazewithcheet | shef |
| 2023-06-17 23:17:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 23:20:56 +0000 | bcmiller | (~bm3719@66.42.95.185) (Server closed connection) |
| 2023-06-17 23:21:12 +0000 | bcmiller | (~bm3719@66.42.95.185) |
| 2023-06-17 23:21:50 +0000 | <arrowhead> | sclv: thank you for the help anyways |
| 2023-06-17 23:22:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 23:22:20 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 240 seconds) |
| 2023-06-17 23:22:20 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 23:23:48 +0000 | shef | (~deglazewi@209-188-121-236.taosnet.com) (Ping timeout: 252 seconds) |
| 2023-06-17 23:25:11 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 2023-06-17 23:27:07 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-17 23:27:31 +0000 | bilegeek | (~bilegeek@2600:1008:b085:8180:1da1:2103:9ba6:bd4d) |
| 2023-06-17 23:27:47 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-17 23:31:12 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-17 23:32:27 +0000 | <Nosrep> | what would prevent ghc from doing the worker-wrapper transformation on this demand signature? |
| 2023-06-17 23:32:32 +0000 | <Nosrep> | Str=<1P(1P(1L,SL,SL,SL,SL,1L),1P(1L,SL,SL,SL,SL,1L),A,A,SL)> |
| 2023-06-17 23:32:37 +0000 | <arrowhead> | I fixed it by accident! The solution was to add my project folder to VS Code's Workspace. That made the IDE stop underlining red the "import Data.List.Split" file and now I have a fully-functional IDE+LSP from GHCup. Amazing work. Thank you all. |
| 2023-06-17 23:33:06 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 23:35:32 +0000 | <[Leary]> | Nosrep: Just a guess, but everything in there is either lazy or absent, so there's nothing for a wrapper to unbox. |
| 2023-06-17 23:37:12 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-17 23:37:33 +0000 | <Nosrep> | i thought it only looked at the outer layer for unboxing? which is 1P which should be strict |
| 2023-06-17 23:38:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2847:13c1:54f7:ebbc) |
| 2023-06-17 23:39:21 +0000 | <Nosrep> | https://www.youtube.com/watch?v=XiTO1EGKrhE over here (around 19:33) there's a signature of 1P(A,1L,MP(L)) which does get the worker |
| 2023-06-17 23:41:56 +0000 | mxs | (~mxs@user/mxs) (Ping timeout: 265 seconds) |
| 2023-06-17 23:41:59 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-06-17 23:42:05 +0000 | mxs | (~mxs@user/mxs) |
| 2023-06-17 23:42:44 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds) |
| 2023-06-17 23:42:44 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 23:43:36 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-06-17 23:44:04 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 2023-06-17 23:47:19 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-17 23:49:45 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 23:49:45 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 23:50:31 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 2023-06-17 23:50:36 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-17 23:54:05 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 23:55:06 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-06-17 23:56:32 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-06-17 23:56:32 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 23:56:32 +0000 | mauke_ | mauke |
| 2023-06-17 23:57:05 +0000 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-a88a-36a7-e0af-5d4c.res6.spectrum.com) |
| 2023-06-17 23:58:08 +0000 | notzmv | (~zmv@user/notzmv) |