| 2023-06-17 00:00:30 +0200 | markasoftware | (~quassel@107.161.26.124) (Server closed connection) |
| 2023-06-17 00:00:46 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2023-06-17 00:01:07 +0200 | <jade[m]1> | repeat '\\b' |
| 2023-06-17 00:01:07 +0200 | enthropy | (~enthropy@207.167.90.161) (Quit: Client closed) |
| 2023-06-17 00:01:24 +0200 | <jade[m]1> | s/\\\\/\\ |
| 2023-06-17 00:01:31 +0200 | <jade[m]1> | oh fuck off |
| 2023-06-17 00:01:42 +0200 | <jade[m]1> | s/.*// |
| 2023-06-17 00:01:59 +0200 | falafel | (~falafel@2607:fb91:86c:d890:704f:c69b:12cd:87f5) (Ping timeout: 240 seconds) |
| 2023-06-17 00:02:15 +0200 | <dolio> | Is something escaping your backslashes? |
| 2023-06-17 00:02:36 +0200 | mcglk | (~mcglk@131.191.19.145) (Ping timeout: 258 seconds) |
| 2023-06-17 00:03:10 +0200 | <jade[m]1> | I tried escaping them which it wanted me not to apparently, because it send with the escapes |
| 2023-06-17 00:03:16 +0200 | <jade[m]1> | but just uh, nvm |
| 2023-06-17 00:03:21 +0200 | <dolio> | Heh. |
| 2023-06-17 00:04:38 +0200 | <pie_> | i assum my problem is that its not actually redrawing the entire lines |
| 2023-06-17 00:05:32 +0200 | <sm> | yes, it optimises redrawing. ansi-terminal-game does too. |
| 2023-06-17 00:06:22 +0200 | <pie_> | can it...not? |
| 2023-06-17 00:06:36 +0200 | <sm> | so if you use them, you need to use their built in colour support. |
| 2023-06-17 00:08:02 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-17 00:11:12 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-17 00:11:40 +0200 | foul_owl | (~kerry@212.102.47.117) |
| 2023-06-17 00:11:44 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-17 00:14:13 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-17 00:15:01 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-17 00:15:41 +0200 | <k``> | Is there a way to signal overflowed literal warnings for custom types? |
| 2023-06-17 00:17:04 +0200 | <geekosaur> | @hackage validated-literals |
| 2023-06-17 00:17:04 +0200 | <lambdabot> | https://hackage.haskell.org/package/validated-literals |
| 2023-06-17 00:17:06 +0200 | <geekosaur> | ? |
| 2023-06-17 00:23:30 +0200 | <k``> | geekosaur: Thanks, that's close but too far away. It says it reports invalid values as errors that lead to compilation failure, but I want behavior like `-1 :: Word`. It (by default) warns that there was overflow but compiles and executes just fine. |
| 2023-06-17 00:27:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f393cd824ddc905386c.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-06-17 00:27:45 +0200 | <jade[m]1> | feels like it should be fairly easy to implement based on the package above |
| 2023-06-17 00:27:59 +0200 | <jade[m]1> | you have all the components and TH also has a reportWarning |
| 2023-06-17 00:28:32 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-17 00:28:47 +0200 | <Nosrep> | reading these slides and it says "let = allocation and ONLY place allocation occurs (not true in Core)" when comparing stg to core |
| 2023-06-17 00:28:52 +0200 | <Nosrep> | where else is allocation? function calls? |
| 2023-06-17 00:29:06 +0200 | <pie_> | hm actually even the first frame is drawn wrong so maybe its not a redrawing issue |
| 2023-06-17 00:29:14 +0200 | <k``> | jade[m]1: Thanks, I did not know that. I'm not very good with template haskell but seems worth a try. |
| 2023-06-17 00:29:51 +0200 | <jade[m]1> | k``: yeah, me neither, just looked at the package and did some hoogling ;) |
| 2023-06-17 00:30:40 +0200 | <jade[m]1> | I believe you can just copy valid but replace the call to error with one to warning |
| 2023-06-17 00:31:13 +0200 | <jade[m]1> | it actually might require some rework now that I think about it, as you want both a message and a value |
| 2023-06-17 00:31:22 +0200 | <pie_> | sm: the annoying thing is i wrote the basic mandelbrot in about 30 minutes maybe :p |
| 2023-06-17 00:31:38 +0200 | <pie_> | been fighting with the rest of this stuff all day |
| 2023-06-17 00:32:01 +0200 | <jade[m]1> | yeah brick can be hard to start off with |
| 2023-06-17 00:32:03 +0200 | <jade[m]1> | I relate |
| 2023-06-17 00:32:03 +0200 | <EvanR> | Nosrep, why would a function call allocate |
| 2023-06-17 00:32:09 +0200 | <sm> | it's reasonable.. brick is a sophisticated framework not well suited to this, and you're poking a stick in its eye :) |
| 2023-06-17 00:32:26 +0200 | <sm> | ansi-terminal-game is a good fit |
| 2023-06-17 00:32:32 +0200 | <Nosrep> | EvanR: specifically arguments to a function call, i vaguely remember seeing it in a spj talk somewhere |
| 2023-06-17 00:33:22 +0200 | <Nosrep> | oh no i think its gone from youtube |
| 2023-06-17 00:33:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-17 00:34:01 +0200 | <EvanR> | arguments go on a stack sometimes |
| 2023-06-17 00:34:44 +0200 | <EvanR> | look at Core and see what stuff expands to something with let in it |
| 2023-06-17 00:36:56 +0200 | ddrone[m] | (~ddronemat@2001:470:69fc:105::3:70d5) |
| 2023-06-17 00:38:03 +0200 | <Nosrep> | found it! https://youtube.com/watch?v=u9bY0Bc_lXw&t=2186 |
| 2023-06-17 00:38:24 +0200 | ddrone | (~ddrone@cpc160341-hari23-2-0-cust955.20-2.cable.virginm.net) () |
| 2023-06-17 00:42:47 +0200 | <pie_> | somehow everything i do is poking sticks in program eyes |
| 2023-06-17 00:42:47 +0200 | <dolio> | Yeah, that last line wouldn't be legal STG. |
| 2023-06-17 00:43:00 +0200 | <pie_> | oh noooo<Nosrep> oh no i think its gone from youtube |
| 2023-06-17 00:43:13 +0200 | <pie_> | oh ok <Nosrep> found it! https://youtube.com/watch?v=u9bY0Bc_lXw&t=2186 |
| 2023-06-17 00:43:33 +0200 | <dolio> | You'd have to do essentially `let c = '*' ; m = Just c in MKT m`, or something along those lines. |
| 2023-06-17 00:43:34 +0200 | <Nosrep> | yeah apparently youtube doesn't understand spj is simon peyton jones |
| 2023-06-17 00:43:42 +0200 | <EvanR> | smh |
| 2023-06-17 00:49:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 00:55:27 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-06-17 00:57:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-17 00:58:56 +0200 | <pie_> | heh |
| 2023-06-17 00:58:59 +0200 | <pie_> | " -- ↑↓→← do not work on Windows (are handled by the app,-- not passed to the program) both on cmd.exe and-- PowerShell." https://hackage.haskell.org/package/ansi-terminal-game-1.9.1.3/docs/src/Terminal.Game.Layer.Object… |
| 2023-06-17 00:59:26 +0200 | <pie_> | what im actually trying to figure out is how this is supposed to take arrow keys |
| 2023-06-17 00:59:26 +0200 | <cheater> | anyone got pictures of spj at a blackboard |
| 2023-06-17 01:00:39 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 01:01:44 +0200 | <pie_> | ok it apparently uses getchar |
| 2023-06-17 01:02:52 +0200 | <pie_> | bah do i need to internally start bufferinnnnng these geez https://stackoverflow.com/a/15306494 |
| 2023-06-17 01:03:24 +0200 | <pie_> | wasd it is... |
| 2023-06-17 01:03:25 +0200 | <pie_> | ffs |
| 2023-06-17 01:04:54 +0200 | <EvanR> | arrow keys are sent by the terminal as particular control codes |
| 2023-06-17 01:06:30 +0200 | <pie_> | if its just a matter of looping and blocking on getchar i could probably write my own event loop |
| 2023-06-17 01:06:37 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-06-17 01:07:31 +0200 | <EvanR> | bingo |
| 2023-06-17 01:09:05 +0200 | <sm> | One does not simply do cross platform full-window full-keyboard IO in terminals. |
| 2023-06-17 01:09:21 +0200 | <geekosaur> | s/in terminals// |
| 2023-06-17 01:09:51 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 01:09:57 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-17 01:10:14 +0200 | <EvanR> | make it work on a DOS box then bundle the program with DOS box |
| 2023-06-17 01:12:48 +0200 | sm | uploaded an image: (338KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/qGiyCdijeaCnDwPEWhFBRzUf/image.png > |
| 2023-06-17 01:17:21 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-06-17 01:19:12 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-17 01:22:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 01:23:24 +0200 | <sm> | "Its black gates are guarded by more than just orcs. There is evil there that does not sleep. The great eye is ever watchful. It is a barren wasteland, riddled with fire, ash, and dust. The very air you breathe is a poisonous fume. Not with ten thousand men could you do this. It is folly." |
| 2023-06-17 01:25:02 +0200 | gurkenglas | (~user@dynamic-046-114-182-215.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-17 01:26:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-17 01:27:35 +0200 | <pie_> | ok this is terrible and it...jitters? xd but it works |
| 2023-06-17 01:27:50 +0200 | <pie_> | i used unsafeperformio to hijack ansi-terminal-game's drawing function |
| 2023-06-17 01:27:58 +0200 | <pie_> | im really just going to have to write my own damn event loop |
| 2023-06-17 01:28:08 +0200 | <EvanR> | lol |
| 2023-06-17 01:28:15 +0200 | <EvanR> | you're right, that is terrible |
| 2023-06-17 01:28:45 +0200 | <pie_> | also ansi-terminal-game is slow |
| 2023-06-17 01:28:47 +0200 | <EvanR> | you probably could have performed IO normally |
| 2023-06-17 01:28:56 +0200 | <jade[m]1> | don't unsafePerformIO please |
| 2023-06-17 01:29:01 +0200 | <pie_> | well no, because the draw function isnnnnnnt in IO |
| 2023-06-17 01:29:17 +0200 | <EvanR> | it's probably in a MonadIO monad |
| 2023-06-17 01:30:11 +0200 | <pie_> | its not in io at all, it draws to some 2d array the framework uses |
| 2023-06-17 01:37:19 +0200 | <sm> | for inspiration, https://github.com/haskell-game/tiny-games-hs/tree/main/prelude/tiny-brot does it in 6 lines :) |
| 2023-06-17 01:38:16 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-17 01:39:12 +0200 | <sm> | is gloss (opengl-based gui) an option ? |
| 2023-06-17 01:39:31 +0200 | <sm> | or just OpenGLUT ? |
| 2023-06-17 01:41:03 +0200 | <sm> | https://mcfunley.com/haskell-mandelbrot-set does that (spoiler) |
| 2023-06-17 01:42:23 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Server closed connection) |
| 2023-06-17 01:42:53 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2023-06-17 01:44:19 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-17 01:44:26 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 01:46:47 +0200 | phma | (~phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99) (Read error: Connection reset by peer) |
| 2023-06-17 01:47:36 +0200 | phma | (phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99) |
| 2023-06-17 01:47:36 +0200 | <pie_> | sm: but does it have keyboard controls? :p |
| 2023-06-17 01:47:42 +0200 | <pie_> | seems to only do enter to zoom |
| 2023-06-17 01:47:44 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-06-17 01:47:49 +0200 | <pie_> | i thought i did kind of ok... :P |
| 2023-06-17 01:48:37 +0200 | <EvanR> | unsafePerformIO is safe as long as it has no side effects xD |
| 2023-06-17 01:48:49 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Server closed connection) |
| 2023-06-17 01:49:09 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2023-06-17 01:49:15 +0200 | <sm> | yes indeed, yours is more deluxe |
| 2023-06-17 01:49:29 +0200 | <sm> | looking forward to seeing it |
| 2023-06-17 01:53:54 +0200 | <pie_> | how does ncurses stuff make the screen feel more responsive as opposed to the slow line by line printing? |
| 2023-06-17 01:54:20 +0200 | <sm> | optimised drawing, calculating and drawing only the changed regions |
| 2023-06-17 01:54:24 +0200 | <EvanR> | performance of terminal shenanigans can also vary wildly due to the terminal emulator itself |
| 2023-06-17 01:54:50 +0200 | <pie_> | sm: dangit |
| 2023-06-17 01:55:10 +0200 | <pie_> | i was hoping they just used some special full screen redraw thing or something |
| 2023-06-17 01:55:22 +0200 | <sm> | you can force that, sure |
| 2023-06-17 01:55:42 +0200 | <sm> | uh.. how.. by changing global colour every tick I guess |
| 2023-06-17 01:55:58 +0200 | <geekosaur> | full screen redraw? see clearok() |
| 2023-06-17 01:56:16 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-17 01:56:20 +0200 | <sm> | but that is defeating the whole purpose of... one does not simply... this is not... |
| 2023-06-17 01:56:32 +0200 | <pie_> | i think we might have desynced somewhere |
| 2023-06-17 01:56:57 +0200 | pie_ | mumbles he should do thing with state monad probably.. |
| 2023-06-17 01:58:00 +0200 | <sm> | everything was fine until you brought raw ANSI codes into it I guess |
| 2023-06-17 01:58:00 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 2023-06-17 01:58:00 +0200 | mauke_ | mauke |
| 2023-06-17 01:58:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-17 01:59:31 +0200 | <sm> | what is wrong with good old rgb color. r is red, g is green, b is blue. |
| 2023-06-17 02:01:44 +0200 | <c_wraith> | you mean fancy new rgb color? |
| 2023-06-17 02:01:50 +0200 | micro | (~micro@user/micro) (Server closed connection) |
| 2023-06-17 02:01:56 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-06-17 02:01:57 +0200 | micro | (~micro@user/micro) |
| 2023-06-17 02:02:13 +0200 | sm | . o O ( red line: rrrrrrrrrrrrrrrrrr ) |
| 2023-06-17 02:03:01 +0200 | <pie_> | whoops, looks like increasing the iteration count totally goofs something... |
| 2023-06-17 02:03:14 +0200 | <EvanR> | aalib |
| 2023-06-17 02:03:25 +0200 | califax | (~califax@user/califx) |
| 2023-06-17 02:03:29 +0200 | <EvanR> | I recall a mandlebrot demo using that somewhere in bbdemo |
| 2023-06-17 02:03:45 +0200 | <pie_> | i wonder if its a coincidence that this worked at all |
| 2023-06-17 02:04:59 +0200 | <sm> | https://github.com/busyloop/lolcat it |
| 2023-06-17 02:12:16 +0200 | <pie_> | well, here we go, kinda works http://ix.io/4yrK |
| 2023-06-17 02:12:38 +0200 | <pie_> | heh <sm> https://github.com/busyloop/lolcat it |
| 2023-06-17 02:13:05 +0200 | <pie_> | doing things properly is too hard :p |
| 2023-06-17 02:15:14 +0200 | <sm> | pie_: cool. Nice to compare different implementations |
| 2023-06-17 02:15:40 +0200 | <EvanR> | doing terrible terminal tech "properly" xD |
| 2023-06-17 02:17:15 +0200 | <EvanR> | I guess graphics isn't in any better shape |
| 2023-06-17 02:17:57 +0200 | <EvanR> | you have people saying not to use (modernish) opengl |
| 2023-06-17 02:18:21 +0200 | <sm> | GLUT or gloss look pretty fine for this |
| 2023-06-17 02:19:09 +0200 | <EvanR> | gloss ftw |
| 2023-06-17 02:23:19 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2023-06-17 02:23:29 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-06-17 02:33:45 +0200 | <pie_> | i added lenses |
| 2023-06-17 02:33:56 +0200 | <pie_> | gotta love how haskell is always great and terrible at the same time |
| 2023-06-17 02:34:55 +0200 | sh1n | (~sh1n@181.229.226.220) |
| 2023-06-17 02:35:34 +0200 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-06-17 02:36:33 +0200 | <pie_> | wow that haskell-mandelbrot-set feels shorter than my entire mandelbrot function :/ |
| 2023-06-17 02:36:46 +0200 | <pie_> | (its not, but it _feels_ like it) |
| 2023-06-17 02:37:42 +0200 | <pie_> | i guess this is done for now http://ix.io/4yrS |
| 2023-06-17 02:44:25 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 02:44:59 +0200 | disconnect3d | (~disconnec@user/disconnect3d) (Server closed connection) |
| 2023-06-17 02:45:08 +0200 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-06-17 02:46:34 +0200 | <pie_> | ok i may have figured out how to make the zooming less obnoxious |
| 2023-06-17 02:46:57 +0200 | <pie_> | it would pan (sort of) towards the center because of the way i handled the coordinated |
| 2023-06-17 02:47:02 +0200 | <pie_> | coordinates |
| 2023-06-17 02:49:32 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) () |
| 2023-06-17 02:50:03 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-17 02:50:22 +0200 | <ijqq> | btw what does Channel mode: +Cnt mean in irc? |
| 2023-06-17 02:51:02 +0200 | kritty | (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 2023-06-17 02:52:25 +0200 | <EvanR> | pie_, how much of your program is dedicated to the terminal and how much is the actual mandlebrot set |
| 2023-06-17 02:55:38 +0200 | <yushyin> | ijqq: https://libera.chat/guides/channelmodes |
| 2023-06-17 02:55:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 2023-06-17 02:56:10 +0200 | <ijqq> | oh interesting, thank you |
| 2023-06-17 02:58:45 +0200 | <ijqq> | http://sprunge.us/suiJ4Y |
| 2023-06-17 02:58:45 +0200 | <ijqq> | how can I improve this? |
| 2023-06-17 02:59:15 +0200 | <pie_> | repo https://github.com/deliciouslytyped/haskell-mandelbrot-sandbox |
| 2023-06-17 02:59:18 +0200 | <pie_> | EvanR: half and half |
| 2023-06-17 02:59:28 +0200 | <pie_> | or maybe 1/4 3/4 |
| 2023-06-17 03:03:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 03:03:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-06-17 03:06:46 +0200 | <pie_> | added some screenshots to the repo |
| 2023-06-17 03:08:10 +0200 | <ijqq> | looks cool :) |
| 2023-06-17 03:08:37 +0200 | <ijqq> | i tried to run it but i don't have the dependencies it seems |
| 2023-06-17 03:09:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 03:09:24 +0200 | <pie_> | i think the only external dependency is micro lens |
| 2023-06-17 03:09:43 +0200 | <pie_> | despite what i added to the readme |
| 2023-06-17 03:10:20 +0200 | <pie_> | hm. |
| 2023-06-17 03:10:25 +0200 | <pie_> | it also only works properly in ghci |
| 2023-06-17 03:10:50 +0200 | <pie_> | i probably need to set some sort of terminal buffering mode... |
| 2023-06-17 03:11:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 03:11:49 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 03:12:55 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-17 03:12:55 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-17 03:12:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 03:13:13 +0200 | txaas | (~txaas@user/jarlg) (Quit: WeeChat 3.6) |
| 2023-06-17 03:16:29 +0200 | <pie_> | ok that fixed that but breaks the status line for some reason... |
| 2023-06-17 03:16:48 +0200 | <pie_> | ok got it |
| 2023-06-17 03:17:12 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 03:18:16 +0200 | <pie_> | Maybe I should get rid of the lenses dependency. Then it'd work standalone. |
| 2023-06-17 03:20:07 +0200 | <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 03:21:55 +0200 | <EvanR> | you should be scared to touch anything in haskell, it might be ⊥ |
| 2023-06-17 03:21:55 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 03:22:09 +0200 | <pie_> | x) |
| 2023-06-17 03:22:20 +0200 | <pie_> | EvanR: but I like bit bottoms and I cannot lie |
| 2023-06-17 03:22:47 +0200 | <pie_> | everyone failed to realize mc hammer solved the halting problem |
| 2023-06-17 03:23:17 +0200 | <ijqq> | hehe |
| 2023-06-17 03:28:51 +0200 | <EvanR> | did you just mistake sir mix-a-lot for hammer |
| 2023-06-17 03:29:21 +0200 | <pie_> | I mean, the name is mix-a-lot |
| 2023-06-17 03:29:26 +0200 | <pie_> | I'm gonna mix it up a lot |
| 2023-06-17 03:36:13 +0200 | <hpc> | i was going to say, mc hammer's known for chmod 000 /bin/touch |
| 2023-06-17 03:37:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-17 03:41:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 03:41:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-17 03:42:52 +0200 | k`` | (~user@136.56.140.2) (Ping timeout: 252 seconds) |
| 2023-06-17 03:45:52 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 03:50:27 +0200 | sympt | (~sympt@user/sympt) |
| 2023-06-17 03:52:11 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 03:54:19 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 03:54:50 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-06-17 03:58:31 +0200 | tubogram4474 | (~tubogram@user/tubogram) |
| 2023-06-17 03:59:54 +0200 | tubogram447 | (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 2023-06-17 03:59:54 +0200 | tubogram4474 | tubogram447 |
| 2023-06-17 04:01:23 +0200 | <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 04:01:46 +0200 | <pie_> | with the slow top down scan screen updates and blockiness |
| 2023-06-17 04:02:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-06-17 04:02:37 +0200 | <EvanR> | 80s PCs tended to have fancy color graphics, then DOS happened and it all went away |
| 2023-06-17 04:02:37 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 04:03:13 +0200 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 04:03:44 +0200 | <EvanR> | back to solitaire rendered with codepage heart and clubs |
| 2023-06-17 04:04:47 +0200 | rando25892 | (~andor2985@172.58.85.62) (Changing host) |
| 2023-06-17 04:04:47 +0200 | rando25892 | (~andor2985@user/rando25892) |
| 2023-06-17 04:05:05 +0200 | <pie_> | ha |
| 2023-06-17 04:05:27 +0200 | tubogram447 | (~tubogram@user/tubogram) (Ping timeout: 268 seconds) |
| 2023-06-17 04:05:27 +0200 | tubogram4471 | tubogram447 |
| 2023-06-17 04:05:49 +0200 | <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 04:07:31 +0200 | <pie_> | now if only terminal emulators had double buffering and a way to draw faster |
| 2023-06-17 04:07:32 +0200 | <pie_> | :p |
| 2023-06-17 04:07:46 +0200 | <pie_> | (yes i want text more graphics mode xp) |
| 2023-06-17 04:07:50 +0200 | <pie_> | *mode |
| 2023-06-17 04:08:26 +0200 | <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 04:09:30 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2023-06-17 04:09:36 +0200 | <pie_> | i forgot that im using ssh in the windows terminal |
| 2023-06-17 04:09:48 +0200 | <EvanR> | your chosen term might just be dirt slow |
| 2023-06-17 04:09:49 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-06-17 04:09:50 +0200 | <nyc> | There has to be a queue (FIFO) API that allows for smoother replicateM use. |
| 2023-06-17 04:09:54 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) |
| 2023-06-17 04:12:21 +0200 | <pie_> | EvanR: Im not so suer. |
| 2023-06-17 04:12:36 +0200 | <pie_> | or the network, or theyre both slow |
| 2023-06-17 04:12:42 +0200 | <pie_> | or tmux is slow |
| 2023-06-17 04:13:14 +0200 | <pie_> | multiple of these feel kind of unlikely given the latency i experience but thats a lot less redraws |
| 2023-06-17 04:13:22 +0200 | <pie_> | *the latency i usually experience |
| 2023-06-17 04:13:48 +0200 | <pie_> | I might be pushing a whopping several kilobytes per second |
| 2023-06-17 04:14:00 +0200 | <EvanR> | oh, you're streaming mass quantities of control codes, a screens worth, continually over the network |
| 2023-06-17 04:14:09 +0200 | <pie_> | though maybe its higher than that given the burst |
| 2023-06-17 04:14:36 +0200 | <EvanR> | putty or whatever might be throttling you |
| 2023-06-17 04:14:43 +0200 | bilegeek | (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) |
| 2023-06-17 04:15:01 +0200 | <EvanR> | aalib never worked great over the network |
| 2023-06-17 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 04:15:27 +0200 | <pie_> | oh bro |
| 2023-06-17 04:15:31 +0200 | <pie_> | its way faster outside tmux |
| 2023-06-17 04:15:35 +0200 | <pie_> | waaay |
| 2023-06-17 04:15:41 +0200 | <EvanR> | ok blame tmux |
| 2023-06-17 04:15:59 +0200 | <pie_> | like, its still not instant but its definitely faster |
| 2023-06-17 04:16:36 +0200 | <pie_> | this just got a lot more fun |
| 2023-06-17 04:16:44 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-17 04:16:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-17 04:16:44 +0200 | finn_elija | FinnElija |
| 2023-06-17 04:18:14 +0200 | <pie_> | i should add a feature to load and save coordinates but i should really stop |
| 2023-06-17 04:20:48 +0200 | <pie_> | turns out its more fun when your machine isnt constantly lagging |
| 2023-06-17 04:23:14 +0200 | <pie_> | gamers might be on to something |
| 2023-06-17 04:23:14 +0200 | arrowhead | (~arrowhead@2603-7000-9b3f-6934-f03e-aa04-3ee2-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-06-17 04:24:50 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Server closed connection) |
| 2023-06-17 04:24:57 +0200 | <pie_> | hm i should do like a telnet or something mandelbrot browser as a network service thing as a project |
| 2023-06-17 04:25:08 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) |
| 2023-06-17 04:27:27 +0200 | <EvanR> | go ahead and make it a bulletin board system |
| 2023-06-17 04:27:48 +0200 | <pie_> | heh |
| 2023-06-17 04:27:55 +0200 | <EvanR> | you could charge by the minute |
| 2023-06-17 04:29:17 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 04:30:54 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 04:31:03 +0200 | cheater_ | cheater |
| 2023-06-17 04:33:57 +0200 | <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 04:39:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-17 04:40:55 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 265 seconds) |
| 2023-06-17 04:42:31 +0200 | td_ | (~td@i5387091A.versanet.de) |
| 2023-06-17 04:45:44 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 04:45:54 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2023-06-17 04:49:06 +0200 | sh1n | (~sh1n@181.229.226.220) (Read error: Connection reset by peer) |
| 2023-06-17 04:56:29 +0200 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 2023-06-17 04:57:18 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 2023-06-17 04:57:29 +0200 | <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 04:58:32 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-17 05:00:42 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection) |
| 2023-06-17 05:03:45 +0200 | <nyc> | There should be a better interface. |
| 2023-06-17 05:06:53 +0200 | <EvanR> | -- lt barclay (TNG: The Nth Degree) |
| 2023-06-17 05:15:44 +0200 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 246 seconds) |
| 2023-06-17 05:16:41 +0200 | falafel | (~falafel@172.58.242.200) |
| 2023-06-17 05:18:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 05:26:35 +0200 | brettgilio | (~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-06-17 05:29:23 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-17 05:29:44 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 05:44:55 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2023-06-17 05:45:18 +0200 | xff0x_ | (~xff0x@178.255.149.135) |
| 2023-06-17 05:48:45 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 258 seconds) |
| 2023-06-17 05:58:10 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-06-17 06:01:03 +0200 | bilegeek | (~bilegeek@2600:1008:b066:5470:c7f5:9b6f:2362:f0d6) (Quit: Leaving) |
| 2023-06-17 06:02:56 +0200 | <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 06:03:32 +0200 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-06-17 06:03:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-17 06:05:44 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-17 06:10:41 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) |
| 2023-06-17 06:11:25 +0200 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-06-17 06:11:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-06-17 06:12:10 +0200 | <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 06:15:50 +0200 | mei | (~mei@user/mei) |
| 2023-06-17 06:34:46 +0200 | <[Leary]> | nyc: Pointlessly golfed, but how about `(!?) . unfoldr (fmap (\t@(q,_) -> (t,q)) . remove)`? |
| 2023-06-17 06:38:19 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) (Server closed connection) |
| 2023-06-17 06:38:29 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) |
| 2023-06-17 06:47:50 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-17 06:50:38 +0200 | dragestil | (~znc@user/dragestil) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2023-06-17 06:51:02 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 2023-06-17 06:51:21 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-06-17 06:52:57 +0200 | gry | (quasselcor@botters/gry) (Server closed connection) |
| 2023-06-17 06:53:17 +0200 | gry | (quasselcor@botters/gry) |
| 2023-06-17 06:56:14 +0200 | <nyc> | [Leary]: I think the behavior is different around insufficient queues. |
| 2023-06-17 06:56:52 +0200 | falafel | (~falafel@172.58.242.200) (Ping timeout: 240 seconds) |
| 2023-06-17 07:02:53 +0200 | <nyc> | [Leary]: It also needed to return the list of everything removed, not just the last one. |
| 2023-06-17 07:03:58 +0200 | <[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 07:04:30 +0200 | <[Leary]> | Err, where `remove` became `pop`. |
| 2023-06-17 07:05:00 +0200 | <[Leary]> | I feel like I'm doing something stupid with `unfoldr` and `dupe` though. |
| 2023-06-17 07:05:54 +0200 | <[Leary]> | Oh, I see what you mean about insufficent queues. Hah, it's still wrong then. |
| 2023-06-17 07:06:03 +0200 | <nyc> | What are pop & dupe? |
| 2023-06-17 07:06:34 +0200 | <[Leary]> | My `pop` is just your `remove`. `dupe` is `a -> (a, a)`. |
| 2023-06-17 07:10:27 +0200 | <nyc> | There's an off by one. |
| 2023-06-17 07:10:41 +0200 | <[Leary]> | I'm on fire today. |
| 2023-06-17 07:13:04 +0200 | <nyc> | I think more maintainability might be needed. |
| 2023-06-17 07:15:11 +0200 | <nyc> | I forget how to invoke lambdabot. |
| 2023-06-17 07:16:11 +0200 | <nyc> | > (flip (,)) 1 2 |
| 2023-06-17 07:16:13 +0200 | <lambdabot> | (2,1) |
| 2023-06-17 07:16:29 +0200 | <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 07:16:30 +0200 | <lambdabot> | error: Not in scope: data constructor ‘Fifo’ |
| 2023-06-17 07:18:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-06-17 07:26:09 +0200 | <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 07:26:39 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 07:26:48 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-06-17 07:29:01 +0200 | dragestil | (~znc@user/dragestil) |
| 2023-06-17 07:37:50 +0200 | trev | (~trev@user/trev) |
| 2023-06-17 07:40:25 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-17 07:48:19 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 07:48:34 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2023-06-17 07:55:31 +0200 | ringo__ | (~ringo@157.230.117.128) (Server closed connection) |
| 2023-06-17 07:55:51 +0200 | ringo__ | (~ringo@157.230.117.128) |
| 2023-06-17 07:57:59 +0200 | end\ | (~end^@user/end/x-0094621) (Remote host closed the connection) |
| 2023-06-17 07:58:13 +0200 | end\ | (~end^@user/end/x-0094621) |
| 2023-06-17 08:00:15 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 08:02:24 +0200 | rando25892 | (~andor2985@user/rando25892) (Quit: BitchX-1.2.1 -- just do it.) |
| 2023-06-17 08:03:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-17 08:07:10 +0200 | end\ | end^ |
| 2023-06-17 08:17:43 +0200 | yaroot_ | (~yaroot@p3136152-ipngn5601souka.saitama.ocn.ne.jp) |
| 2023-06-17 08:18:38 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 258 seconds) |
| 2023-06-17 08:18:38 +0200 | yaroot_ | yaroot |
| 2023-06-17 08:27:16 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-17 08:27:34 +0200 | integral | (sid296274@user/integral) (Server closed connection) |
| 2023-06-17 08:27:46 +0200 | integral | (sid296274@user/integral) |
| 2023-06-17 08:28:25 +0200 | tubogram447 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-06-17 08:30:29 +0200 | <[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 08:31:29 +0200 | <[Leary]> | Basically `stimes` on `EndoM`. |
| 2023-06-17 08:33:25 +0200 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 08:33:45 +0200 | acidjnk | (~acidjnk@p200300d6e7072f8821c033a15ffbac05.dip0.t-ipconnect.de) |
| 2023-06-17 08:34:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 08:34:29 +0200 | <jade[m]1> | what exactly is the task? |
| 2023-06-17 08:36:16 +0200 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:cc64:47a4:1f57:8f59) (Ping timeout: 248 seconds) |
| 2023-06-17 08:36:24 +0200 | tubogram4471 | (~tubogram@user/tubogram) (Client Quit) |
| 2023-06-17 08:37:17 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2023-06-17 08:37:43 +0200 | <[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 08:38:50 +0200 | tubogram4471 | (~tubogram@user/tubogram) |
| 2023-06-17 08:39:47 +0200 | <int-e> | :t unfoldr |
| 2023-06-17 08:39:48 +0200 | <lambdabot> | (b -> Maybe (a, b)) -> b -> [a] |
| 2023-06-17 08:42:20 +0200 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 08:46:13 +0200 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 08:50:47 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2023-06-17 08:51:43 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-06-17 09:00:49 +0200 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 09:03:51 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-17 09:15:14 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 09:15:23 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2023-06-17 09:19:49 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 09:24:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 09:27:38 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-17 09:27:44 +0200 | end\ | (~end^@user/end/x-0094621) |
| 2023-06-17 09:28:10 +0200 | davl_ | (~davl@207.154.228.18) (Server closed connection) |
| 2023-06-17 09:28:39 +0200 | davl | (~davl@207.154.228.18) |
| 2023-06-17 09:36:32 +0200 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 09:40:48 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-06-17 09:41:26 +0200 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 09:42:24 +0200 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 09:42:25 +0200 | hisa385 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-17 09:44:30 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-06-17 09:44:30 +0200 | hisa385 | hisa38 |
| 2023-06-17 09:59:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 10:05:44 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 10:08:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 10:09:38 +0200 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 10:09:59 +0200 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-17 10:16:42 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-17 10:20:32 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 10:21:34 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 10:22:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-17 10:24:12 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 10:26:19 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-17 10:29:05 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-17 10:30:24 +0200 | jargon | (~jargon@184.101.75.235) (Remote host closed the connection) |
| 2023-06-17 10:37:36 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-17 10:37:43 +0200 | kimiamania6 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 10:38:07 +0200 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 10:38:27 +0200 | ubert | (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) |
| 2023-06-17 10:39:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-17 10:40:58 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) |
| 2023-06-17 10:42:20 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 252 seconds) |
| 2023-06-17 10:50:34 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 2023-06-17 10:50:44 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2023-06-17 10:51:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 10:54:03 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-17 11:01:03 +0200 | sympt | (~sympt@user/sympt) |
| 2023-06-17 11:06:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 11:07:28 +0200 | tubogram44711 | (~tubogram@user/tubogram) |
| 2023-06-17 11:09:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 11:09:42 +0200 | tubogram4471 | (~tubogram@user/tubogram) (Ping timeout: 240 seconds) |
| 2023-06-17 11:09:42 +0200 | tubogram44711 | tubogram4471 |
| 2023-06-17 11:10:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 11:11:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-06-17 11:12:40 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 2023-06-17 11:13:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-17 11:14:26 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 11:15:29 +0200 | <carbolymer> | how can I find plan.json location using cabal? |
| 2023-06-17 11:15:42 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-17 11:15:58 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 2023-06-17 11:17:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 11:20:26 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 11:21:03 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Client Quit) |
| 2023-06-17 11:21:19 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 11:21:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-17 11:21:54 +0200 | <tomsmeding> | carbolymer: isn't that always at dist-newstyle/cache/plan.json |
| 2023-06-17 11:22:20 +0200 | jargon | (~jargon@184.101.75.235) |
| 2023-06-17 11:23:18 +0200 | <tomsmeding> | carbolymer: https://hackage.haskell.org/package/cabal-plan-0.7.3.0/docs/src/Cabal.Plan.html#findPlanJson |
| 2023-06-17 11:23:24 +0200 | <tomsmeding> | see fromBuildDir |
| 2023-06-17 11:25:41 +0200 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 2023-06-17 11:25:54 +0200 | <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 11:26:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-17 11:27:47 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-69ea-2b5d-2078-6a73.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-17 11:27:48 +0200 | <carbolymer> | tomsmeding: thanks |
| 2023-06-17 11:27:49 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 2023-06-17 11:28:00 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 11:29:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-17 11:35:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-17 11:38:35 +0200 | kuribas | (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) |
| 2023-06-17 11:38:43 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) (Quit: Client closed) |
| 2023-06-17 11:39:15 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) |
| 2023-06-17 11:41:22 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2023-06-17 11:44:37 +0200 | yhhhGuest17 | (~yhhhGuest@cpc119936-nrwh13-2-0-cust198.4-4.cable.virginm.net) () |
| 2023-06-17 11:47:03 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 11:51:38 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-06-17 11:52:52 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-06-17 11:53:25 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 11:57:24 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 11:59:56 +0200 | <tomsmeding> | carbolymer: stack doesn't put cabal stuff anywhere because it's stack, not cabal, right? |
| 2023-06-17 11:59:59 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-17 12:00:09 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-06-17 12:01:45 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 12:01:57 +0200 | <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 12:02:16 +0200 | <geekosaur> | I think dist-newstyle goes under .stack-work? |
| 2023-06-17 12:04:46 +0200 | <int-e> | @quote cabal |
| 2023-06-17 12:04:47 +0200 | <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 12:07:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 12:12:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 12:12:54 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Server closed connection) |
| 2023-06-17 12:13:02 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2023-06-17 12:14:45 +0200 | <geekosaur> | hm, that said I think caba.plan is from the cabal-install side of things |
| 2023-06-17 12:30:42 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-06-17 12:31:15 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 258 seconds) |
| 2023-06-17 12:35:10 +0200 | <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 12:44:10 +0200 | m1dnight_ | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-17 13:07:36 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 13:07:52 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-17 13:08:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 13:17:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-17 13:21:59 +0200 | ell | (~ellie@user/ellie) (Server closed connection) |
| 2023-06-17 13:22:17 +0200 | ell | (~ellie@user/ellie) |
| 2023-06-17 13:22:33 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 13:47:55 +0200 | ell0 | (~ellie@user/ellie) |
| 2023-06-17 13:48:20 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:48:29 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:48:36 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 2023-06-17 13:48:36 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) |
| 2023-06-17 13:48:39 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-06-17 13:48:53 +0200 | jinsl | (~jinsl@123.120.169.188) |
| 2023-06-17 13:48:59 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:49:00 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:49:16 +0200 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2023-06-17 13:49:16 +0200 | ell0 | ell |
| 2023-06-17 13:49:30 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2023-06-17 13:49:42 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2023-06-17 13:50:00 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:50:00 +0200 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-17 13:50:32 +0200 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) |
| 2023-06-17 13:50:45 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2023-06-17 13:50:48 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2023-06-17 13:50:51 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-06-17 13:55:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 13:59:00 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2023-06-17 13:59:10 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2023-06-17 14:03:32 +0200 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-06-17 14:05:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-17 14:07:01 +0200 | kuribas | (~user@ptr-17d51en393j3jb8rdfv.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-06-17 14:09:10 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-17 14:10:46 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 14:13:32 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-06-17 14:14:14 +0200 | quintasan | (~quassel@quintasan.pl) (Server closed connection) |
| 2023-06-17 14:14:25 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2023-06-17 14:15:22 +0200 | ddellacosta | (~ddellacos@146.70.185.10) (Ping timeout: 252 seconds) |
| 2023-06-17 14:15:44 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-06-17 14:17:21 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-17 14:19:13 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 14:19:40 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2023-06-17 14:19:56 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 14:22:01 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-17 14:22:03 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2023-06-17 14:22:20 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-06-17 14:32:05 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 14:33:41 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-17 14:39:57 +0200 | ripspin | (~chatzilla@1.145.230.77) |
| 2023-06-17 14:40:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-17 14:46:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-17 14:46:31 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 14:48:52 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 14:54:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-06-17 14:54:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-17 14:56:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-17 14:59:23 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 15:00:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-17 15:00:09 +0200 | ripspin | (~chatzilla@1.145.230.77) (Remote host closed the connection) |
| 2023-06-17 15:02:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 15:03:23 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 2023-06-17 15:05:00 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 15:18:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 15:19:49 +0200 | sajith_ | sajith |
| 2023-06-17 15:21:04 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-17 15:22:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 15:31:52 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 15:35:41 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-17 15:38:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 2023-06-17 15:50:12 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2023-06-17 16:00:08 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 16:00:40 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 16:01:12 +0200 | zxrom | (~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 16:02:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-17 16:02:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 16:05:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-17 16:10:54 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-17 16:12:55 +0200 | zxrom | (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 16:14:17 +0200 | ripspin | (~chatzilla@1.145.195.81) |
| 2023-06-17 16:21:19 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-17 16:22:14 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-06-17 16:22:24 +0200 | <nyc> | [Leary]: Interesting. |
| 2023-06-17 16:22:39 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-06-17 16:23:59 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Server closed connection) |
| 2023-06-17 16:24:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-06-17 16:30:18 +0200 | pat67 | (~pat67@145.14.135.137) (Read error: Connection reset by peer) |
| 2023-06-17 16:30:43 +0200 | pat67 | (~pat67@145.14.135.137) |
| 2023-06-17 16:31:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-17 16:31:28 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Remote host closed the connection) |
| 2023-06-17 16:31:41 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a680) |
| 2023-06-17 16:31:46 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-17 16:32:45 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-17 16:32:45 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-17 16:33:16 +0200 | telser | (~quassel@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2023-06-17 16:33:17 +0200 | <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 16:33:45 +0200 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds) |
| 2023-06-17 16:34:41 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-06-17 16:37:35 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 2023-06-17 16:42:34 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-17 16:44:20 +0200 | ubert | (~Thunderbi@p200300ecdf0da92b147888a7886ac562.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-17 16:44:39 +0200 | ubert | (~Thunderbi@p200300ecdf0da912f884ed912556b966.dip0.t-ipconnect.de) |
| 2023-06-17 16:45:01 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 2023-06-17 16:46:06 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 16:46:34 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Quit: Client closed) |
| 2023-06-17 16:59:10 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 17:19:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 17:19:30 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-17 17:19:53 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) |
| 2023-06-17 17:23:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-17 17:24:43 +0200 | smoge | (~smoge@cpe-69-203-107-19.nyc.res.rr.com) (Client Quit) |
| 2023-06-17 17:28:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 17:29:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 240 seconds) |
| 2023-06-17 17:33:01 +0200 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-06-17 17:36:18 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 17:45:26 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 17:51:01 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-17 17:54:01 +0200 | raym | (~ray@user/raym) (Ping timeout: 258 seconds) |
| 2023-06-17 17:54:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-17 17:57:46 +0200 | trev | (~trev@user/trev) |
| 2023-06-17 17:58:11 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 17:59:57 +0200 | raym | (~ray@user/raym) |
| 2023-06-17 18:02:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 18:03:14 +0200 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) |
| 2023-06-17 18:04:45 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 258 seconds) |
| 2023-06-17 18:06:41 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2023-06-17 18:06:50 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-06-17 18:09:54 +0200 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2023-06-17 18:10:04 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2023-06-17 18:11:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-06-17 18:11:40 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-06-17 18:12:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 18:13:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 18:16:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds) |
| 2023-06-17 18:20:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-06-17 18:21:16 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 18:23:09 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 18:24:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-17 18:27:10 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
| 2023-06-17 18:27:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 18:29:31 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 18:30:04 +0200 | <jonathan_> | Is there any tooling for generating a swgger api from an openAPI specification? |
| 2023-06-17 18:30:30 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 240 seconds) |
| 2023-06-17 18:30:40 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-17 18:31:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-06-17 18:32:19 +0200 | <Rembane> | jonathan_: Would this be helpful to you? https://hackage.haskell.org/package/openapi3 |
| 2023-06-17 18:32:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-17 18:34:01 +0200 | <jonathan_> | Rembane: if I were to embark on creating such a tool, yes. |
| 2023-06-17 18:34:10 +0200 | koz_ | (~koz@121.99.240.58) (Server closed connection) |
| 2023-06-17 18:34:19 +0200 | <jonathan_> | But not exactly what I'm looking for |
| 2023-06-17 18:35:06 +0200 | <jonathan_> | Ideally, I'd like to go from an openapi spec to a servant api :) |
| 2023-06-17 18:35:57 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:8153:dfbb:aa33:a760) (Remote host closed the connection) |
| 2023-06-17 18:36:13 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:59b4:50:6695:cd56) |
| 2023-06-17 18:36:27 +0200 | koz | (~koz@121.99.240.58) |
| 2023-06-17 18:36:57 +0200 | zxrom | (~zxrom@mm-20-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 2023-06-17 18:37:17 +0200 | <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 18:40:24 +0200 | gurkenglas | (~user@dynamic-046-114-176-022.46.114.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 2023-06-17 18:42:18 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2023-06-17 18:46:14 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-17 18:47:26 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 18:48:28 +0200 | <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 18:51:30 +0200 | Cheery_ | (~cheery@server-239-7.tentacle.cloud) (Server closed connection) |
| 2023-06-17 18:51:37 +0200 | Cheery | (~cheery@server-239-7.tentacle.cloud) |
| 2023-06-17 18:55:19 +0200 | <davean> | jonathan_: This seems more the place for code generation. |
| 2023-06-17 18:56:01 +0200 | zxrom | (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 18:57:06 +0200 | ripspin | (~chatzilla@1.145.195.81) (Remote host closed the connection) |
| 2023-06-17 18:57:38 +0200 | Guest63 | (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) |
| 2023-06-17 18:58:33 +0200 | Guest63 | (~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) (Client Quit) |
| 2023-06-17 18:59:54 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 252 seconds) |
| 2023-06-17 19:01:59 +0200 | <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 19:08:48 +0200 | <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 19:09:10 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-17 19:09:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 19:12:50 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-17 19:14:06 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-17 19:14:44 +0200 | zxrom | (~zxrom@mm-251-1-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds) |
| 2023-06-17 19:16:05 +0200 | <int-e> | . o O ( oh that's a great idea, I'll steal it... hey, stop writing over *my* data! ) |
| 2023-06-17 19:17:29 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 19:17:48 +0200 | <davean> | jonathan_: what weight is your term level DSL doing? |
| 2023-06-17 19:18:20 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 2023-06-17 19:18:21 +0200 | <davean> | Why not just write out the types from the openapi3 data? |
| 2023-06-17 19:19:22 +0200 | <jonathan_> | Because I'm less familiar with how to do that :) How would that work? Template haskell? |
| 2023-06-17 19:19:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 19:34:33 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 19:38:52 +0200 | nehsou^ | (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-17 19:40:22 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-17 19:45:17 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Ping timeout: 246 seconds) |
| 2023-06-17 19:45:53 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) |
| 2023-06-17 19:47:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 19:48:42 +0200 | kimiamania6 | (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-17 19:49:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 19:49:11 +0200 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 19:54:20 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-06-17 19:54:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-17 19:55:14 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 19:55:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 19:57:22 +0200 | <davean> | jonathan_: Thats one way |
| 2023-06-17 19:57:28 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-06-17 19:57:29 +0200 | cheater_ | cheater |
| 2023-06-17 19:58:44 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2023-06-17 20:01:21 +0200 | <jonathan_> | davean: I also found https://hackage.haskell.org/package/haskell-generate. Did you have something specific in mind? ;) |
| 2023-06-17 20:03:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-06-17 20:03:39 +0200 | <davean> | jonathan_: or you just emit code directly, as text, like https://github.com/expipiplus1/vulkan/tree/main/generate-new |
| 2023-06-17 20:03:57 +0200 | <davean> | lots of options. Not much reason to generate it every compile like with TH generally. |
| 2023-06-17 20:04:00 +0200 | <jonathan_> | davean: Ah, fair |
| 2023-06-17 20:04:21 +0200 | <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 20:04:30 +0200 | <davean> | you can also make running that command part of the cabal build BTW |
| 2023-06-17 20:04:58 +0200 | <davean> | thats kinda how a lot of parser and FFI tools tie in |
| 2023-06-17 20:05:01 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 20:06:56 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-17 20:09:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2023-06-17 20:09:51 +0200 | cheater_ | cheater |
| 2023-06-17 20:10:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 20:13:11 +0200 | tubogram4471 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-06-17 20:13:47 +0200 | <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 20:22:09 +0200 | tubogram44711 | (~tubogram@user/tubogram) |
| 2023-06-17 20:23:37 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 20:28:16 +0200 | zxrom | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 20:28:39 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-17 20:31:10 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Server closed connection) |
| 2023-06-17 20:31:23 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2023-06-17 20:32:47 +0200 | zxrom_ | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-17 20:34:15 +0200 | zxrom | (~zxrom@mm-196-2-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds) |
| 2023-06-17 20:38:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-17 20:38:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-17 20:38:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 20:43:30 +0200 | [_] | [itchyjunk] |
| 2023-06-17 20:46:10 +0200 | zxrom_ | zxrom |
| 2023-06-17 20:46:48 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-17 20:47:01 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-17 20:48:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-17 20:55:43 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-06-17 20:56:52 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 240 seconds) |
| 2023-06-17 20:57:52 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 21:00:45 +0200 | laxmik | (~laxmik@2a01:c22:90f3:7500:a91c:a712:cc97:6eca) (Quit: laxmik) |
| 2023-06-17 21:05:50 +0200 | int-e | (~noone@int-e.eu) (Server closed connection) |
| 2023-06-17 21:05:58 +0200 | int-e | (~noone@int-e.eu) |
| 2023-06-17 21:08:26 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 246 seconds) |
| 2023-06-17 21:12:12 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 2023-06-17 21:13:18 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-17 21:14:00 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-17 21:14:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-06-17 21:14:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection) |
| 2023-06-17 21:14:34 +0200 | mzg | (mzg@lazy.unconscious.biz) (Server closed connection) |
| 2023-06-17 21:14:41 +0200 | mzg | (mzg@lazy.unconscious.biz) |
| 2023-06-17 21:20:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-17 21:24:21 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 21:25:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-17 21:30:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) |
| 2023-06-17 21:34:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-17 21:40:08 +0200 | kimiamania6 | (~6790af62@user/kimiamania) (Ping timeout: 252 seconds) |
| 2023-06-17 21:45:32 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-17 21:46:52 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-06-17 21:47:01 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-17 21:51:03 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-06-17 21:51:03 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2023-06-17 21:51:03 +0200 | Feuermagier_ | Feuermagier |
| 2023-06-17 21:51:11 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-17 21:51:22 +0200 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-17 21:53:28 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-17 21:54:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 21:56:29 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Ping timeout: 240 seconds) |
| 2023-06-17 21:57:35 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-17 21:58:17 +0200 | Logio | (em@kapsi.fi) (Server closed connection) |
| 2023-06-17 21:58:26 +0200 | Logio | (em@kapsi.fi) |
| 2023-06-17 21:59:33 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-06-17 22:02:52 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-06-17 22:05:04 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-17 22:05:27 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 22:08:02 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-06-17 22:08:13 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 22:09:52 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-06-17 22:13:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-17 22:14:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 22:15:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-06-17 22:15:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 22:17:21 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-06-17 22:21:08 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 22:21:32 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds) |
| 2023-06-17 22:23:54 +0200 | shane | (~shane@ana.rch.ist) (Server closed connection) |
| 2023-06-17 22:24:02 +0200 | shane | (~shane@ana.rch.ist) |
| 2023-06-17 22:29:18 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-17 22:30:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 22:31:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-17 22:33:45 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-17 22:36:54 +0200 | _________ | (~nobody@user/noodly) (Server closed connection) |
| 2023-06-17 22:37:01 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-17 22:37:17 +0200 | _________ | (~nobody@user/noodly) |
| 2023-06-17 22:37:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 22:39:30 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 22:44:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-17 22:45:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-17 22:48:52 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-17 22:49:25 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-17 22:49:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 22:51:25 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-06-17 22:51:38 +0200 | jonathan_ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2023-06-17 22:52:44 +0200 | rubin55_ | (sid175221@id-175221.hampstead.irccloud.com) () |
| 2023-06-17 22:53:09 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2023-06-17 23:02:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-17 23:05:52 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-17 23:11:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds) |
| 2023-06-17 23:11:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-17 23:17:42 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-17 23:18:59 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-06-17 23:19:27 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-17 23:19:28 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-17 23:19:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 23:20:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2023-06-17 23:23:01 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-06-17 23:24:30 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Server closed connection) |
| 2023-06-17 23:24:37 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-06-17 23:26:29 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-17 23:28:03 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
| 2023-06-17 23:29:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2023-06-17 23:32:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-06-17 23:33:34 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-17 23:36:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-17 23:41:15 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-17 23:41:15 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-17 23:41:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-17 23:43:08 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:8fd6:d01:f078:b1e1) (Ping timeout: 240 seconds) |
| 2023-06-17 23:44:48 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-17 23:56:13 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-06-17 23:57:18 +0200 | byorgey | (~byorgey@155.138.238.211) (Server closed connection) |
| 2023-06-17 23:57:26 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2023-06-17 23:59:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
