| 2024-05-24 00:06:03 +0000 | <raehik> | glguy: Thanks for those. ReadP is more complex than I thought, 5 different result constructors |
| 2024-05-24 00:06:44 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2024-05-24 00:06:48 +0000 | <raehik> | yoctoparsec is a bit too abstract for me to consider how it would look type-level |
| 2024-05-24 00:07:11 +0000 | shoggouth | (uid607148@user/shoggouth) (Quit: Connection closed for inactivity) |
| 2024-05-24 00:09:14 +0000 | <glguy> | If you're ready to do type-level parser combinators at the type-level, you're ready to inline some type definitions to see what a simple case of yoctoparsec expands to |
| 2024-05-24 00:09:42 +0000 | <glguy> | (too many uses of type-level in that first fragment) |
| 2024-05-24 00:10:47 +0000 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-24 00:10:58 +0000 | <glguy> | You could rip out ReadP's biased choice operator, which would make the whole thing simpler to implement; kind of depends on what you're trying to do |
| 2024-05-24 00:11:52 +0000 | <glguy> | I did a version of ReadP a while back that had a nicer treatment of <++ that I think ReadP has https://github.com/glguy/breadth-first-parser-combinators/tree/master |
| 2024-05-24 00:12:26 +0000 | mailman | (~mailman@116.71.182.98) (Quit: Client closed) |
| 2024-05-24 00:12:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-24 00:13:09 +0000 | mailman | (~mailman@116.71.182.98) |
| 2024-05-24 00:17:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-24 00:18:14 +0000 | mailman83 | (~mailman@116.71.182.98) |
| 2024-05-24 00:19:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-24 00:19:09 +0000 | mailman83 | (~mailman@116.71.182.98) (Client Quit) |
| 2024-05-24 00:20:05 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2024-05-24 00:20:16 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-05-24 00:22:15 +0000 | <raehik> | glguy: true enough on yoctoparsec. I am lazy and was looking for concrete [Char] parsers |
| 2024-05-24 00:23:27 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 00:23:44 +0000 | <raehik> | I'm trying to design a nice simple type-level parser combinator lib. I think I want simple parsers to be very boring, and complex ones (like decision) I don't mind being slow |
| 2024-05-24 00:23:48 +0000 | mailman | (~mailman@116.71.182.98) (K-Lined) |
| 2024-05-24 00:28:49 +0000 | <raehik> | to be clear this already all exists I'm just reconsidering things https://github.com/raehik/symparsec |
| 2024-05-24 00:29:37 +0000 | <raehik> | set on this design with a small tweak to improve singling parser |
| 2024-05-24 00:29:46 +0000 | <raehik> | singling parsers* |
| 2024-05-24 00:32:47 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
| 2024-05-24 00:33:37 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) |
| 2024-05-24 00:53:23 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-24 01:01:54 +0000 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-05-24 01:27:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-24 01:31:26 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-24 01:41:41 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2024-05-24 01:43:38 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 252 seconds) |
| 2024-05-24 01:47:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 01:48:03 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) (Quit: Leaving) |
| 2024-05-24 01:55:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds) |
| 2024-05-24 01:56:41 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2024-05-24 01:58:44 +0000 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-24 02:00:02 +0000 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-24 02:00:09 +0000 | otto_s | (~user@p5de2f772.dip0.t-ipconnect.de) |
| 2024-05-24 02:00:53 +0000 | fliife | (~fliife@user/fliife) |
| 2024-05-24 02:02:08 +0000 | apache2 | (apache2@anubis.0x90.dk) |
| 2024-05-24 02:02:27 +0000 | quintasan_ | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-24 02:03:15 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-24 02:03:37 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2024-05-24 02:04:37 +0000 | apache | (apache2@anubis.0x90.dk) (Ping timeout: 272 seconds) |
| 2024-05-24 02:06:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 02:36:53 +0000 | nyc | (~nyc@user/nyc) |
| 2024-05-24 02:43:39 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-24 02:51:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 02:54:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 02:59:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 03:00:53 +0000 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 240 seconds) |
| 2024-05-24 03:01:37 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds) |
| 2024-05-24 03:03:01 +0000 | td_ | (~td@i53870918.versanet.de) |
| 2024-05-24 03:03:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 03:07:41 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-05-24 03:08:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 03:11:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 03:16:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-24 03:17:44 +0000 | aforemny_ | (~aforemny@i59F516E8.versanet.de) |
| 2024-05-24 03:19:11 +0000 | aforemny | (~aforemny@i59F516C7.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-24 03:19:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 03:22:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-24 03:23:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 03:29:58 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-24 03:30:32 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-24 03:59:17 +0000 | catties | Catty |
| 2024-05-24 04:01:08 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 2024-05-24 04:06:49 +0000 | addfb3 | (~dante@user/addfb3) |
| 2024-05-24 04:07:58 +0000 | Perl_Lang | (~chatzilla@syn-074-128-212-200.res.spectrum.com) |
| 2024-05-24 04:08:11 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-24 04:08:16 +0000 | <Perl_Lang> | why nobody use me? :( |
| 2024-05-24 04:08:22 +0000 | michalz | (~michalz@185.246.207.217) |
| 2024-05-24 04:09:31 +0000 | addfb3 | (~dante@user/addfb3) (Client Quit) |
| 2024-05-24 04:10:40 +0000 | <monochrom> | I think a lot of people use you, just not in this channel. |
| 2024-05-24 04:11:41 +0000 | <Perl_Lang> | but nobody likes perl :'( |
| 2024-05-24 04:11:59 +0000 | <monochrom> | Oh that's a tall order. |
| 2024-05-24 04:12:09 +0000 | <monochrom> | Most programmers hate their jobs. |
| 2024-05-24 04:13:40 +0000 | <Perl_Lang> | be an inde developer and retire if you hate it tham much |
| 2024-05-24 04:14:20 +0000 | <monochrom> | Oh people hate not making enough money before retirement, too. |
| 2024-05-24 04:14:31 +0000 | <monochrom> | Yes the human condition is completely broken. |
| 2024-05-24 04:17:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-24 04:17:50 +0000 | <Perl_Lang> | ever tried to use a block api like google blockly to simplify your development? |
| 2024-05-24 04:19:08 +0000 | <glguy> | simplify how? the first example on https://developers.google.com/blockly is how much more complicated it is than the text version |
| 2024-05-24 04:19:46 +0000 | <monochrom> | Perhaps s/simplify/glorify/ |
| 2024-05-24 04:19:49 +0000 | michalz | (~michalz@185.246.207.217) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-24 04:19:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 04:20:15 +0000 | <glguy> | if it's on JavaScript by default you can further improve the example by switching it to Lua |
| 2024-05-24 04:20:30 +0000 | <Perl_Lang> | the library where you can configure the blocks, not the test site |
| 2024-05-24 04:22:27 +0000 | <monochrom> | I'm OK with positioning blocky as an education medium. |
| 2024-05-24 04:22:32 +0000 | michalz | (~michalz@185.246.207.215) |
| 2024-05-24 04:23:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-24 04:23:43 +0000 | Perl_Lang | (~chatzilla@syn-074-128-212-200.res.spectrum.com) () |
| 2024-05-24 04:24:08 +0000 | <glguy> | My experience with a blocky programming language was the kids immediately asking me how to do stuff that the blocks made hard that would have been possible with a simpler language |
| 2024-05-24 04:25:00 +0000 | <monochrom> | Yeah I would be less skeptical if the blocks stood for, say, FP constructs not imperative constructs. We already know that imperative programming doesn't work. |
| 2024-05-24 04:26:42 +0000 | <monochrom> | But given that someone still has to learn imperative programming and then do it for jobs because the world is broken, an education medium for learning it is much appreciated. |
| 2024-05-24 04:28:56 +0000 | <probie> | At the end of the day, _someone_ is always going to have to learn imperative programming, if only for doing codegen in the compiler (at least until our CPUs look very different) |
| 2024-05-24 04:30:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-24 04:30:32 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 04:31:57 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-24 04:32:17 +0000 | mud | (~mud@user/kadoban) |
| 2024-05-24 04:36:12 +0000 | <monochrom> | For now I just have the dilemma of whether to inflict record sytnax on my students. :) |
| 2024-05-24 04:37:17 +0000 | <monochrom> | I am going to give them AVL tree insert and rebalancing as homework. It's much nicer with record syntax. But I don't want to teach them record syntax. :) |
| 2024-05-24 04:41:26 +0000 | <c_wraith> | just teach them lenses |
| 2024-05-24 04:41:49 +0000 | <monochrom> | :( >D |
| 2024-05-24 04:44:05 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-05-24 04:51:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-24 04:52:26 +0000 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) |
| 2024-05-24 04:52:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-24 04:53:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-05-24 04:54:29 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-24 04:57:22 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 04:57:50 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 05:02:48 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 05:05:05 +0000 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 05:05:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 05:14:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-24 05:18:01 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-24 05:20:47 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-24 05:27:17 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-24 05:27:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 05:30:12 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-24 05:33:37 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 05:34:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-24 05:34:23 +0000 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) |
| 2024-05-24 05:39:00 +0000 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-05-24 05:41:53 +0000 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-24 05:44:06 +0000 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 05:44:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 05:46:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-24 05:52:07 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-24 05:58:55 +0000 | acidjnk | (~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) |
| 2024-05-24 06:00:27 +0000 | nickiminjaj | (~nickiminj@user/laxhh) |
| 2024-05-24 06:03:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-24 06:05:17 +0000 | nickiminjaj | (~nickiminj@user/laxhh) (Ping timeout: 240 seconds) |
| 2024-05-24 06:26:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 06:32:32 +0000 | Vajb | (~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 06:32:46 +0000 | <Axman6> | I remember there being a really nice way to express AVL(I think) tree rotations with a single function which took four arguments, and depending on which invariant you were fixing would determine which four arguments it needed... I wonder if I can find that again |
| 2024-05-24 06:33:41 +0000 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
| 2024-05-24 06:35:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 06:38:26 +0000 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-05-24 06:40:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 06:43:38 +0000 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 06:43:50 +0000 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
| 2024-05-24 06:46:24 +0000 | <Axman6> | maybe it was red-black trees. Either way, I can't find it :'( |
| 2024-05-24 06:46:40 +0000 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-05-24 06:48:35 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2024-05-24 06:48:39 +0000 | <opqdonut> | this? https://www.cs.tufts.edu/comp/150FP/archive/chris-okasaki/redblack99.pdf |
| 2024-05-24 06:50:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-24 06:50:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 06:53:27 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 06:59:50 +0000 | <Axman6> | Hmm, looks close, but I don't remember there being any use of or-patterns. But maybe I am just remembering `balance` on page 4 |
| 2024-05-24 07:00:27 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-24 07:00:58 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-24 07:01:50 +0000 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-05-24 07:01:50 +0000 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-05-24 07:01:50 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-05-24 07:02:46 +0000 | <[exa]> | Axman6: left leaning red black trees? |
| 2024-05-24 07:04:11 +0000 | <[exa]> | Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21 |
| 2024-05-24 07:04:36 +0000 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-05-24 07:04:47 +0000 | <[exa]> | does anyone know if there are haskell libraries/examples of this kind of relative monads? |
| 2024-05-24 07:05:05 +0000 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
| 2024-05-24 07:08:57 +0000 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 07:11:31 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-24 07:22:11 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2024-05-24 07:25:10 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 07:34:34 +0000 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-05-24 07:34:34 +0000 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-05-24 07:34:34 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-05-24 07:34:49 +0000 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-05-24 07:36:26 +0000 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-24 07:36:55 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 07:39:19 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-24 07:40:39 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-24 07:42:27 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-24 07:44:39 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 07:47:02 +0000 | mei | (~mei@user/mei) |
| 2024-05-24 07:50:08 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-24 07:53:38 +0000 | <lortabac> | Is there a way to ask GHC how a particular instance is satisfied? Ideally I would like to have a -ddump-instance-resolution option, or -- even better -- a GHCI command that allows to query a specific instance. Since AFAIK GHC doesn't have these features, is there a trick/workaround to get at least some info? |
| 2024-05-24 07:59:59 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-05-24 08:05:52 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 08:06:50 +0000 | <danse-nr3> | sometimes i follow the #source links for instances in haddock, not sure whether that helps |
| 2024-05-24 08:08:07 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-24 08:09:55 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-24 08:12:04 +0000 | <danse-nr3> | (i have local hoogle and local haddock for the project i am working on. Can do without HLS but this is really helpful) |
| 2024-05-24 08:13:52 +0000 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-05-24 08:14:15 +0000 | chele | (~chele@user/chele) |
| 2024-05-24 08:15:10 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 08:20:48 +0000 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
| 2024-05-24 08:21:26 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-24 08:21:34 +0000 | misterfish | (~misterfis@178.229.59.89) |
| 2024-05-24 08:22:17 +0000 | <kuribas> | I have used "set manager (Left $ defaultManagerSettings {managerModifyRequest = \req -> pure $ req { shouldStripHeaderOnRedirect = const True}})" in wreq, but it's still sending the bearer token in the redirect. |
| 2024-05-24 08:24:10 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Client Quit) |
| 2024-05-24 08:24:47 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-24 08:26:01 +0000 | titibandit | (~user@user/titibandit) |
| 2024-05-24 08:30:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-24 08:37:24 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-24 08:37:47 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 08:39:17 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-05-24 08:48:37 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) (Remote host closed the connection) |
| 2024-05-24 08:49:01 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 08:52:31 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:f567:9fc4:eb72:a51c) (Ping timeout: 268 seconds) |
| 2024-05-24 08:53:21 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:7de1:bf61:a47e:b74f) |
| 2024-05-24 08:53:55 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-24 08:54:20 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 08:56:45 +0000 | mei | (~mei@user/mei) |
| 2024-05-24 08:58:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-24 08:59:19 +0000 | lortabac | (~lortabac@37.174.86.177) |
| 2024-05-24 08:59:32 +0000 | lortabac | (~lortabac@37.174.86.177) (Client Quit) |
| 2024-05-24 08:59:51 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 09:00:04 +0000 | <lortabac> | danse-nr3: in this case the resolution is a little complex, so some help from the compiler would appreciated |
| 2024-05-24 09:00:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-24 09:11:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-05-24 09:26:50 +0000 | R3c5 | (~R3c5@145.94.194.106) |
| 2024-05-24 09:27:12 +0000 | R3c5 | (~R3c5@145.94.194.106) () |
| 2024-05-24 09:28:05 +0000 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds) |
| 2024-05-24 09:29:37 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-24 09:30:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 09:35:06 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 09:35:29 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-05-24 09:36:34 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-05-24 09:37:10 +0000 | mechap | (~mechap@user/mechap) |
| 2024-05-24 09:38:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-05-24 09:40:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 09:45:01 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 09:45:40 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-24 09:52:08 +0000 | <chiselfuse> | i want to make a real time 3d physics simulator and i like haskell. is there anything library i can use to do this? |
| 2024-05-24 09:52:55 +0000 | misterfish | (~misterfis@178.229.59.89) (Ping timeout: 256 seconds) |
| 2024-05-24 09:53:00 +0000 | <chiselfuse> | the simulations would consist mostly of 3d objects and vector fields and lines and colors |
| 2024-05-24 09:55:04 +0000 | <kuribas> | chiselfuse: to do what? To render? |
| 2024-05-24 09:56:39 +0000 | <chiselfuse> | kuribas: i'm not sure what you mean but i want to do rougly what you can do with libglut (draw spheres, do matrix transformations and pan and zoom around with a mouse interactively) |
| 2024-05-24 09:58:52 +0000 | <kuribas> | chiselfuse: https://hackage.haskell.org/package/GLUT ? |
| 2024-05-24 09:59:44 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-24 10:00:32 +0000 | <chiselfuse> | i'm not sure how it works, i'll try this and see |
| 2024-05-24 10:01:27 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 10:06:44 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-24 10:08:24 +0000 | <kuribas> | chiselfuse: I think it's just low level bindings to glut? |
| 2024-05-24 10:08:40 +0000 | <kuribas> | idk, I never used it. |
| 2024-05-24 10:09:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-05-24 10:10:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-05-24 10:14:44 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-05-24 10:16:50 +0000 | <alethkit> | Does anyone happen to know who wrote the comment on https://wiki.haskell.org/Combinatory_logic#Illative_combinatory_logic? I wonder if they ever got anywhere with it. |
| 2024-05-24 10:22:24 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-24 10:24:39 +0000 | acidjnk | (~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-24 10:29:59 +0000 | Square | (~Square4@user/square) |
| 2024-05-24 10:32:47 +0000 | Square | (~Square4@user/square) (Client Quit) |
| 2024-05-24 10:33:18 +0000 | Square | (~Square4@user/square) |
| 2024-05-24 10:33:57 +0000 | Square2 | (~Square@user/square) |
| 2024-05-24 10:34:11 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) (Ping timeout: 260 seconds) |
| 2024-05-24 10:34:53 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 268 seconds) |
| 2024-05-24 10:38:23 +0000 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-24 10:39:42 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-05-24 10:43:33 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-24 10:49:24 +0000 | phma | (~phma@host-67-44-208-125.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 10:50:18 +0000 | phma | (phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8) |
| 2024-05-24 10:55:55 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2024-05-24 11:00:07 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) |
| 2024-05-24 11:01:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:18cf:170e:58a4:4739) |
| 2024-05-24 11:03:35 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-05-24 11:03:52 +0000 | puke | (~puke@user/puke) |
| 2024-05-24 11:04:12 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 11:05:19 +0000 | puke | (~puke@user/puke) |
| 2024-05-24 11:05:50 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-24 11:06:22 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 11:07:49 +0000 | puke | (~puke@user/puke) |
| 2024-05-24 11:08:52 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-24 11:09:08 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 11:10:19 +0000 | puke | (~puke@user/puke) |
| 2024-05-24 11:10:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-24 11:11:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 11:11:32 +0000 | mei | (~mei@user/mei) |
| 2024-05-24 11:16:31 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-24 11:17:26 +0000 | danse-nr3 | (~danse-nr3@151.37.240.28) (Ping timeout: 268 seconds) |
| 2024-05-24 11:17:42 +0000 | danse-nr3 | (~danse-nr3@151.57.248.171) |
| 2024-05-24 11:28:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 11:28:47 +0000 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-05-24 11:39:24 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 11:40:10 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-24 11:49:11 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-05-24 11:50:36 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:a989:eef5:428c) (Remote host closed the connection) |
| 2024-05-24 11:50:54 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:1adf:6622:dda2:d177) |
| 2024-05-24 11:53:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 11:53:39 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-24 11:55:36 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-24 11:59:18 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 11:59:42 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-24 11:59:54 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-24 11:59:59 +0000 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-05-24 12:00:35 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-05-24 12:04:44 +0000 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-24 12:05:46 +0000 | rvalue- | rvalue |
| 2024-05-24 12:06:07 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-05-24 12:06:29 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-24 12:07:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-24 12:11:00 +0000 | acidjnk | (~acidjnk@p200300d6e714dc3791789ad6b7790594.dip0.t-ipconnect.de) |
| 2024-05-24 12:11:54 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 12:14:17 +0000 | mei | (~mei@user/mei) |
| 2024-05-24 12:26:35 +0000 | Odys | (~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2) |
| 2024-05-24 12:27:21 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-24 12:27:31 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-05-24 12:29:03 +0000 | <Odys> | Hi ! I'm a new beginner in Haskell - and I often face that type of error message when compiling an hs file to test my code : nteract.hs:5:1: error: |
| 2024-05-24 12:29:04 +0000 | <Odys> | Could not load module `System.Directory' |
| 2024-05-24 12:29:04 +0000 | <Odys> | It is a member of the hidden package `directory-1.3.7.1'. |
| 2024-05-24 12:29:05 +0000 | <Odys> | You can run `:set -package directory' to expose it. |
| 2024-05-24 12:29:05 +0000 | <Odys> | (Note: this unloads all the modules in the current scope.) |
| 2024-05-24 12:29:06 +0000 | <Odys> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2024-05-24 12:29:11 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-24 12:30:03 +0000 | <Odys> | I tried various way to solve this with ghc-pkg command line but I still face that error |
| 2024-05-24 12:30:36 +0000 | <Odys> | Some advice to handle correctly that kind a issue? |
| 2024-05-24 12:30:59 +0000 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2024-05-24 12:43:43 +0000 | Odys | (~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2) (Quit: Client closed) |
| 2024-05-24 12:45:38 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 12:52:53 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-24 12:53:48 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-24 13:04:33 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.2) |
| 2024-05-24 13:06:41 +0000 | ystael | (~ystael@user/ystael) |
| 2024-05-24 13:10:02 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-05-24 13:12:32 +0000 | AlexNoo_ | AlexNoo |
| 2024-05-24 13:14:05 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2024-05-24 13:19:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-24 13:20:48 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 13:24:14 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 13:24:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 13:25:16 +0000 | son0p | (~ff@181.32.150.11) |
| 2024-05-24 13:38:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-24 13:39:34 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 13:41:48 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-24 13:45:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-24 13:51:59 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-24 14:02:17 +0000 | danse-nr3 | (~danse-nr3@151.57.248.171) (Ping timeout: 252 seconds) |
| 2024-05-24 14:14:04 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 14:14:12 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) |
| 2024-05-24 14:14:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 14:15:33 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit) |
| 2024-05-24 14:28:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-24 14:30:24 +0000 | jstolarek | (~jstolarek@staticline-31-183-165-14.toya.net.pl) (Quit: leaving) |
| 2024-05-24 14:32:57 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:33:01 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 14:33:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-24 14:33:48 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 14:34:06 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:34:29 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2024-05-24 14:35:36 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 14:36:04 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:37:35 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 14:37:49 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:39:41 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) |
| 2024-05-24 14:40:25 +0000 | danse-nr3 | (~danse-nr3@151.57.248.171) |
| 2024-05-24 14:40:31 +0000 | mvk | (~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit) |
| 2024-05-24 14:42:35 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 14:42:49 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:43:23 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit) |
| 2024-05-24 14:43:47 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) |
| 2024-05-24 14:44:06 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-05-24 14:55:15 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-24 14:59:21 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-24 15:03:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2024-05-24 15:07:09 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-24 15:11:13 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-05-24 15:14:22 +0000 | danse-nr3 | (~danse-nr3@151.57.248.171) (Read error: Connection reset by peer) |
| 2024-05-24 15:14:47 +0000 | danse-nr3 | (~danse-nr3@151.57.154.235) |
| 2024-05-24 15:16:42 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 15:18:25 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 15:21:59 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 272 seconds) |
| 2024-05-24 15:25:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-24 15:25:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-24 15:26:53 +0000 | danse-nr3 | (~danse-nr3@151.57.154.235) (Remote host closed the connection) |
| 2024-05-24 15:29:59 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-24 15:30:45 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 15:31:54 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-24 15:38:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 15:38:32 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 15:38:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 15:39:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 15:41:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-24 15:55:31 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-05-24 15:55:59 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 16:00:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-24 16:00:54 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 16:01:14 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-24 16:01:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 16:05:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-24 16:07:16 +0000 | killy | (~killy@staticline-31-183-165-14.toya.net.pl) (Quit: leaving) |
| 2024-05-24 16:09:02 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) |
| 2024-05-24 16:12:44 +0000 | AlexNoo | (~AlexNoo@5.139.233.209) (Read error: Connection reset by peer) |
| 2024-05-24 16:13:08 +0000 | AlexNoo | (~AlexNoo@5.139.233.209) |
| 2024-05-24 16:19:27 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-24 16:23:12 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-05-24 16:35:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-05-24 16:39:17 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 16:40:57 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-24 16:53:41 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 16:53:59 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-24 16:59:40 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-24 17:00:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 17:03:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 17:08:31 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 2024-05-24 17:09:52 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 17:09:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 17:10:23 +0000 | euleritian | (~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-05-24 17:12:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 17:22:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 17:24:14 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-24 17:25:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 17:29:30 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-24 17:30:16 +0000 | aforemny_ | (~aforemny@i59F516E8.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-24 17:33:24 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-05-24 17:38:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 17:46:18 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-24 17:50:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-24 17:55:04 +0000 | Square2 | (~Square@user/square) |
| 2024-05-24 17:57:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-24 17:58:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-24 18:18:35 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2024-05-24 18:19:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 18:29:15 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-24 18:33:50 +0000 | phma | (phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8) (Read error: Connection reset by peer) |
| 2024-05-24 18:34:47 +0000 | phma | (~phma@host-67-44-208-130.hnremote.net) |
| 2024-05-24 18:40:16 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-24 18:40:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 18:41:26 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-05-24 18:41:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-05-24 18:44:08 +0000 | rvalue- | rvalue |
| 2024-05-24 18:47:56 +0000 | zer0bitz_ | zer0bitz |
| 2024-05-24 18:51:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2024-05-24 18:59:28 +0000 | troydm | (~troydm@user/troydm) |
| 2024-05-24 19:00:16 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-05-24 19:01:41 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-24 19:04:12 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-05-24 19:07:31 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2024-05-24 19:07:38 +0000 | cheater_ | cheater |
| 2024-05-24 19:08:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 19:17:42 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-05-24 19:24:26 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-24 19:25:01 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 19:25:40 +0000 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b) |
| 2024-05-24 19:30:38 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-24 19:31:27 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-05-24 19:31:27 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-05-24 19:31:27 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-05-24 19:44:54 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f) |
| 2024-05-24 19:47:48 +0000 | <ph88> | can anyone shed some light on this type error i'm getting? https://play.haskell.org/saved/PXbKLQAK |
| 2024-05-24 19:55:01 +0000 | <Leary> | ph88: The signature of `getDataID` does not mention `c` anywhere, so how is GHC supposed to infer what instance you want when you use it? GHC is warning you in advance that it can't. |
| 2024-05-24 19:56:47 +0000 | <Leary> | Options, from best to worst: move it into a superclass; take a `proxy c` argument; enable AllowAmbiguousTypes and use TypeApplications. |
| 2024-05-24 19:58:15 +0000 | <ph88> | what's a superclass ? |
| 2024-05-24 19:58:53 +0000 | <ph88> | i will search for it |
| 2024-05-24 19:59:34 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-24 20:01:18 +0000 | <ph88> | hmm not sure about superclass https://play.haskell.org/saved/cogMGbIx how can i pass in c ? |
| 2024-05-24 20:04:29 +0000 | <Leary> | If `c` doesn't need to be part of the instance head, you may want to place the constraint `c a` on `getDependencies`. |
| 2024-05-24 20:05:39 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-05-24 20:20:18 +0000 | <ph88> | Leary, how can i fill in in the c in that case? https://play.haskell.org/saved/bVH6p5Og |
| 2024-05-24 20:22:43 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-05-24 20:24:29 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 20:28:37 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-05-24 20:29:45 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-24 20:30:53 +0000 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b) (Quit: Leaving) |
| 2024-05-24 20:32:58 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-24 20:37:08 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-05-24 20:37:31 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-05-24 20:38:51 +0000 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) |
| 2024-05-24 20:39:29 +0000 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-05-24 20:39:52 +0000 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) |
| 2024-05-24 20:40:10 +0000 | <lxsameer> | what haskell code formatter do the cool kids use? |
| 2024-05-24 20:40:18 +0000 | <Leary> | ph88: Honestly I think we're too deep into XY land for that question to have a good answer, but I suppose you might want something like this: https://play.haskell.org/saved/6CcKSbsJ |
| 2024-05-24 20:40:20 +0000 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-05-24 20:41:24 +0000 | <Leary> | lxsameer: We use our own aesthetics. |
| 2024-05-24 20:44:46 +0000 | <monochrom> | When in emacs haskell-mode I already format my code with its help at writing time. |
| 2024-05-24 20:45:14 +0000 | <monochrom> | "well-formatted by construction" |
| 2024-05-24 20:46:05 +0000 | <sm> | lxsameer: this kid just uses VS Code's tab/shift tab |
| 2024-05-24 20:46:06 +0000 | <lxsameer> | monochrom: so stylish-haskell then? |
| 2024-05-24 20:46:15 +0000 | <lxsameer> | thanks folks |
| 2024-05-24 20:46:22 +0000 | <monochrom> | Never heard of that. |
| 2024-05-24 20:47:41 +0000 | <lxsameer> | monochrom: that's what haskell-mode uses, you need to enable it though |
| 2024-05-24 20:48:00 +0000 | <EvanR> | lxsameer, there's https://ormolu-live.tweag.io/ |
| 2024-05-24 20:48:00 +0000 | <monochrom> | Like, someone is going to ask "hey which service do you cool kids use to build websites? wordpress? square space?" and I will be like "I write html and css myself". |
| 2024-05-24 20:48:08 +0000 | <monochrom> | I didn't enable it. |
| 2024-05-24 20:48:25 +0000 | <monochrom> | I just press tab to cycle through candidate indentation points. |
| 2024-05-24 20:48:53 +0000 | <EvanR> | all auto formatters are guaranteed to offend your sensibilities, or your money back |
| 2024-05-24 20:49:10 +0000 | <monochrom> | OK these days I write markdown then run pandoc. But I still don't even believe in wordpress or square space or whatever. |
| 2024-05-24 20:49:32 +0000 | phma | (~phma@host-67-44-208-130.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 20:49:58 +0000 | <lxsameer> | I like to have code formatters, it's one less thing to be worried about |
| 2024-05-24 20:50:20 +0000 | <lxsameer> | and it a team, it reduces unnecessary friction on PRs :D |
| 2024-05-24 20:50:37 +0000 | phma | (~phma@host-67-44-208-48.hnremote.net) |
| 2024-05-24 20:50:54 +0000 | <EvanR> | creates unnecessary friction when the autoformatter does something objectively wrong?! |
| 2024-05-24 20:52:12 +0000 | <monochrom> | There is somewhere a theorem that says that for Haskell if you don't have correct indentation in the first place then no formatter can correct it. |
| 2024-05-24 20:52:25 +0000 | <lxsameer> | EvanR: if it does something objectively wrong, then its a tooling problem |
| 2024-05-24 20:52:31 +0000 | <monochrom> | So unlike C and PHP, code formatter for Haskell has less value. |
| 2024-05-24 20:52:38 +0000 | <ski> | and people have differing opinions on style, and it's not obvious that there's always one best/preferred option |
| 2024-05-24 20:52:53 +0000 | <lxsameer> | monochrom: interesting. that makes sense |
| 2024-05-24 20:53:03 +0000 | <ski> | (sometimes my opinion in one situation differs from my opinion in another circumstance) |
| 2024-05-24 20:53:33 +0000 | <monochrom> | You can still keep your "so the whole team stays consistent". |
| 2024-05-24 20:54:09 +0000 | <monochrom> | But it is NOT one fewer thing to worry about. You still worry about manually indenting correctly somehow. |
| 2024-05-24 20:54:47 +0000 | <monochrom> | Haskell code formatter can only do trivial things like "change 2 spaces to 3.1415 spaces". It can't fix your mistakes. |
| 2024-05-24 20:54:55 +0000 | <lxsameer> | that's true in Haskell though |
| 2024-05-24 20:54:59 +0000 | pavonia | (~user@user/siracusa) |
| 2024-05-24 20:56:45 +0000 | <lxsameer> | anyway, thanks for sharing your experience folks |
| 2024-05-24 20:57:38 +0000 | ski | tends to err on the side of encouraging personal judgement and taste (informed by relevant concerns and common alternatives considered by people) |
| 2024-05-24 20:58:33 +0000 | <EvanR> | since we're not using valuable brain cycles juggling dynamic types in our heads, we can use them for important stuff like judgement and taste in formatting the code! |
| 2024-05-24 20:58:47 +0000 | <monochrom> | But I follow most of this style guide, and share with my students: https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md |
| 2024-05-24 20:59:11 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-24 20:59:18 +0000 | <monochrom> | OTOH most of my students just use vscode and its haskell plugin, which probably already does its own thing about format. |
| 2024-05-24 20:59:45 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-24 20:59:46 +0000 | <ski> | yea, that's a nice one |
| 2024-05-24 21:01:25 +0000 | phma | (~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-24 21:12:42 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-05-24 21:14:03 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-05-24 21:18:53 +0000 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2024-05-24 21:27:19 +0000 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-24 21:27:45 +0000 | <ph88> | Leary, thanks ! |
| 2024-05-24 21:28:54 +0000 | phma | (~phma@host-67-44-208-17.hnremote.net) |
| 2024-05-24 21:30:25 +0000 | <ph88> | Leary, why did you make it cs:cs ? |
| 2024-05-24 21:31:08 +0000 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-24 21:31:40 +0000 | <Leary> | That's `(HasDataID cs):cs`. |
| 2024-05-24 21:32:14 +0000 | <ph88> | ah ok |
| 2024-05-24 21:33:28 +0000 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) |
| 2024-05-24 21:34:09 +0000 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) (Client Quit) |
| 2024-05-24 21:42:11 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-24 21:42:13 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-24 21:42:34 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-24 21:45:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 21:45:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-24 21:53:27 +0000 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) |
| 2024-05-24 21:53:45 +0000 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-24 21:54:49 +0000 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2024-05-24 21:55:06 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-24 22:04:47 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2024-05-24 22:09:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-24 22:10:28 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f) (Remote host closed the connection) |
| 2024-05-24 22:23:02 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-24 22:23:37 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-24 22:41:56 +0000 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 256 seconds) |
| 2024-05-24 22:46:01 +0000 | mikess | (~mikess@user/mikess) |
| 2024-05-24 22:47:32 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-24 22:49:13 +0000 | phma | (~phma@host-67-44-208-17.hnremote.net) (Quit: Konversation terminated!) |
| 2024-05-24 22:50:17 +0000 | phma | (~phma@host-67-44-208-17.hnremote.net) |
| 2024-05-24 22:50:23 +0000 | titibandit | (~user@user/titibandit) (Ping timeout: 256 seconds) |
| 2024-05-24 22:53:26 +0000 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) () |
| 2024-05-24 22:57:34 +0000 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-05-24 23:00:41 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-24 23:03:05 +0000 | mei | (~mei@user/mei) |
| 2024-05-24 23:19:31 +0000 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-05-24 23:19:51 +0000 | acidjnk | (~acidjnk@p200300d6e714dc3791789ad6b7790594.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-24 23:32:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-24 23:37:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-24 23:48:39 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |