Logs on 2023-03-03 (liberachat/#haskell)
| 00:01:07 | → | anatta_ joins (~AdiIRC@h-155-4-132-216.na.cust.bahnhof.se) |
| 00:03:26 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:03:56 | → | califax joins (~califax@user/califx) |
| 00:04:16 | × | anatta quits (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 00:04:26 | anatta_ | is now known as anatta |
| 00:05:41 | → | mauke_ joins (~mauke@user/mauke) |
| 00:05:55 | × | zeenk quits (~zeenk@2a02:2f04:a20d:f900::7fe) (Quit: Konversation terminated!) |
| 00:07:07 | → | isovector joins (~isovector@172.103.235.56.cable.tpia.cipherkey.com) |
| 00:07:13 | <isovector> | does anyone have experience with ghc-debug? |
| 00:07:17 | → | Inst joins (~Inst@2601:6c4:4081:54f0:e1bb:9a51:4c8c:9c0a) |
| 00:07:27 | <Inst> | hmmm, a bit laggy |
| 00:07:31 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 00:07:32 | mauke_ | is now known as mauke |
| 00:07:51 | <Inst> | question, if I want to run a Haskell compiled program, but hide the console, what would I do? |
| 00:08:00 | × | dekster quits (~dekster@2603-7000-1203-4d7c-0cdc-f6ea-1da9-3494.res6.spectrum.com) (Quit: ZZZzzz…) |
| 00:09:37 | <hpc> | you're on windows, i take it? |
| 00:12:15 | × | Monster196883 quits (~hp@103.15.228.66) (Ping timeout: 248 seconds) |
| 00:14:18 | → | dekster joins (~dekster@2603-7000-1203-4d7c-0cdc-f6ea-1da9-3494.res6.spectrum.com) |
| 00:14:19 | <Inst> | yeah |
| 00:14:29 | <Inst> | also, a question about combinator first vs outline first approach |
| 00:14:36 | <Inst> | are those the two main approaches to hacking in Haskell? |
| 00:15:04 | <Inst> | my experience is that an outline first / control first approach tends to create really IO heavy programs, whereas a combinator first approach gets you purity at the outset |
| 00:15:45 | <Inst> | so far, my understanding of Haskell is, if you're horrified at how much IO code you're making and how ugly it is, go to a framework which handles the IO for you |
| 00:16:12 | <Inst> | i.e, a servant server is essentially IO heavy, but the IO code is hidden by the Servant framework |
| 00:17:08 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 00:21:58 | ← | isovector parts (~isovector@172.103.235.56.cable.tpia.cipherkey.com) () |
| 00:22:03 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:2d25:9310:79f2:85fd) |
| 00:22:06 | × | tubogram44 quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 00:24:48 | × | dekster quits (~dekster@2603-7000-1203-4d7c-0cdc-f6ea-1da9-3494.res6.spectrum.com) (Quit: ZZZzzz…) |
| 00:24:51 | <Inst> | so i guess this is a question about a standard EDSL for Haskell IO work |
| 00:26:05 | <hpc> | IO isn't necessarily a bad thing, just having it appear where it's inappropriate is |
| 00:26:20 | <hpc> | it's like Maybe, which is literally just a different name for the billion dollar mistake |
| 00:26:59 | <hpc> | being able to pass around IO actions as plain values is quite powerful |
| 00:28:15 | <hpc> | as for how to design software, it depends |
| 00:28:22 | <hpc> | i kind of just start at the part i understand the most |
| 00:28:48 | <hpc> | sometimes that's an outline, sometimes it's a couple of useful functions, and sometimes it's not even the code itself but how i fit it into something else |
| 00:29:25 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:30:25 | × | jwiegley quits (~jwiegley@2600:1700:cf00:db0:240d:4ecd:e535:2c8f) (Quit: ZNC - http://znc.in) |
| 00:30:25 | × | johnw quits (~johnw@2600:1700:cf00:db0:240d:4ecd:e535:2c8f) (Quit: ZNC - http://znc.in) |
| 00:31:11 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 00:31:11 | → | tubogram44 joins (~tubogram@user/tubogram) |
| 00:31:48 | <Inst> | yeah, I was really into "pseudo-code driven design" a while back, i.e, build a skeleton of your program then implement |
| 00:32:06 | <Inst> | now I'm realizing that starting from combinators has its own value, and your advice about starting from base is probably a good idea as well |
| 00:32:27 | <Inst> | I'm also thinking about EDSLs in Haskell, like, this is literally the Haskell equivalent of Lisp "need a capability and it's not provided for you? Build an EDSL." |
| 00:32:55 | <Inst> | it's hard to get Haskell code to be cleaner and nicer than Python code when you're working imperatively, so, solution might be to build an EDSL + interpreter |
| 00:33:08 | <Inst> | not sure if someone's identified this as a problem and tried it yet |
| 00:33:15 | <hpc> | i find it's the opposite, and i can get haskell way cleaner |
| 00:33:57 | <Inst> | skill deficit here, I guess |
| 00:34:03 | <hpc> | for example, i have written code in both languages that is more or less a job queue feeding into multiple runners |
| 00:34:08 | <Inst> | sm offered to help me code-golf, might be able to find people interested in translating Hasklel to Python |
| 00:34:23 | <Inst> | I'm that accursed freak, someone who picked up Haskell as a first language and found it simpler than imperative langs |
| 00:34:33 | <Inst> | wish we could make it that way for tons more people instead |
| 00:34:36 | <hpc> | a basic thread pool and queue that they all pull from takes me maybe 10 lines of haskell without even needing to install packages |
| 00:35:11 | <hpc> | in python it's 50-ish lines of wrapping around some other object that already does almost everything |
| 00:37:09 | <hpc> | i probably could have gotten the python cleaner if i tried harder, but i was sick of fixing all the bugs and i only had to spend an hour on the haskell code |
| 00:37:28 | <hpc> | forkIO and Chan are just too good at what they do :D |
| 00:39:45 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:2d25:9310:79f2:85fd) (Ping timeout: 260 seconds) |
| 00:39:52 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:41:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 00:45:10 | <monochrom> | "translate" is always wrong. |
| 00:45:42 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:46:35 | <monochrom> | You can use a fork to eat noodles, and you will develop a technique that plays to the strength of a fork. |
| 00:47:02 | <monochrom> | You can use a pair of chopsticks to eat noodles, and you will develop a technique that plays to the strength of chopsticks. |
| 00:47:17 | <monochrom> | No one talks about translating fork to chopsticks or vice versa. |
| 00:47:28 | <jackdk> | monochrom: Just reverse the forks and use the non-tined ends like chopsticks. Simple. |
| 00:47:44 | <monochrom> | haha but then you'll need two forks. |
| 00:48:04 | <monochrom> | Ah is that how DIjkstra thought up the dining philosopher problem >:) |
| 00:48:22 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 00:50:06 | <jackdk> | The dining philosophers make so much more sense if you have chopsticks, yes. |
| 00:51:04 | <monochrom> | I was marking an assignment that asked students to solve a problem in Prolog, Haskell, and Python. I had a student whose Python code did not play to the strength of Python OO, instead abuse isinstanceof to emulate Haskell pattern matching. I gave a low mark. It's a dumb approach. |
| 00:51:42 | <jackdk> | doesn't python have native pattern matching of sorts now? |
| 00:52:00 | <monochrom> | I don't know. The student didn't use that anyway. |
| 00:57:05 | <monochrom> | "how to teach chopsticks to more people" is a good question. "how to teach chopsticks to more people by translating to/from fork" is a stupid question. |
| 00:57:29 | → | sammelweis_ joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:57:36 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
| 00:59:46 | <monochrom> | And BTW today's HWN features https://dev.to/zelenya/there-is-no-tooling-issue-in-haskell-cal 'There is No “Tooling Issue” in Haskell' so stop worrying about a solved problem. |
| 01:07:19 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 01:09:31 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:09:31 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:09:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:10:07 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 01:10:41 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 01:10:51 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:32 | <c_wraith> | I mean.. the tooling is a lot better than some people claim. But there are definitely things to improve. (And I see lots of effort into improving them!) |
| 01:12:33 | <monochrom> | Yeah perhaps s/worrying/doomsaying/ |
| 01:16:58 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 01:23:11 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 246 seconds) |
| 01:23:44 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 01:24:11 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 01:25:02 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:25:43 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:26:19 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 01:32:06 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 01:35:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8429:4ceb:8103:61ef) |
| 01:38:13 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 01:38:45 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 01:39:02 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:2198:73de:f8ee:642a) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 01:39:23 | → | dtman34 joins (~dtman34@76.156.89.180) |
| 01:39:37 | <sm> | the title is a little strong, but that's a nice article |
| 01:39:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8429:4ceb:8103:61ef) (Ping timeout: 248 seconds) |
| 01:40:35 | <bramhaag> | How would one force megaparsec to commit to an alternative if a certain condition holds? i.e 'commit (pure True) p <|> commit (pure False) q' would fail if p fails |
| 01:46:15 | × | xff0x quits (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 01:58:51 | → | cheater joins (~Username@user/cheater) |
| 02:01:42 | → | dekster joins (~dekster@2603-7000-1203-4d7c-143a-d742-ee9b-9bc6.res6.spectrum.com) |
| 02:02:04 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 02:07:27 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 02:08:09 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 02:08:41 | × | dekster quits (~dekster@2603-7000-1203-4d7c-143a-d742-ee9b-9bc6.res6.spectrum.com) (Quit: bb) |
| 02:09:40 | → | dekster joins (~dekster@2603-7000-1203-4d7c-143a-d742-ee9b-9bc6.res6.spectrum.com) |
| 02:14:40 | × | dekster quits (~dekster@2603-7000-1203-4d7c-143a-d742-ee9b-9bc6.res6.spectrum.com) (Quit: bb) |
| 02:15:28 | × | mmhat quits (~mmh@p200300f1c70462d7ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 02:19:44 | travisb_ | is now known as tabemann |
| 02:21:07 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 02:21:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 02:22:24 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:24:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 02:24:48 | <segfaultfizzbuzz> | https://www.basis.ai/blog/autumn/ this was pretty awesome |
| 02:25:57 | <segfaultfizzbuzz> | even if this turns out to not really work, even the idea of trying to guess a program via observation is awesome |
| 02:29:33 | <zero> | i'm trying to choose a good library to create simple soundwaves (think a *very* basic synth) over a gloss interactive animation. would something like OpenAL be a good choice or overkill? |
| 02:36:26 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:37:22 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 02:38:32 | Square3 | is now known as Square |
| 02:38:48 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 02:39:16 | → | mechap joins (~mechap@user/mechap) |
| 02:42:03 | <segfaultfizzbuzz> | zero: i haven't used them myself but i think nobody got fired for using libSDL bindings... |
| 02:43:49 | × | thegeekinside quits (~thegeekin@189.141.115.134) (Remote host closed the connection) |
| 02:43:54 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:47:00 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 02:48:21 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 02:50:33 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 02:50:39 | <zero> | ok this seems fine. tx |
| 02:50:39 | <sm> | zero: if you don't mind running an external program, `sox synth` can be very quick |
| 02:51:34 | → | razetime joins (~Thunderbi@117.193.1.135) |
| 02:53:06 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) |
| 03:12:13 | mrcsno | is now known as titus |
| 03:12:20 | titus | is now known as titusgroen |
| 03:12:43 | titusgroen | is now known as mrcsno |
| 03:15:07 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 03:18:54 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 03:19:27 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 03:20:11 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 03:21:52 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 03:22:22 | → | jwiegley joins (~jwiegley@2600:1700:cf00:db0:941:22ec:3d83:e77a) |
| 03:23:58 | → | gastus joins (~gastus@185.6.123.181) |
| 03:25:28 | × | king_gs quits (~Thunderbi@187.201.41.239) (Ping timeout: 268 seconds) |
| 03:26:55 | × | gastus_ quits (~gastus@5.83.191.44) (Ping timeout: 248 seconds) |
| 03:34:32 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:34:32 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:34:32 | finn_elija | is now known as FinnElija |
| 03:36:30 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 255 seconds) |
| 03:37:09 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8429:4ceb:8103:61ef) |
| 03:37:56 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 03:38:11 | → | td_ joins (~td@i5387090C.versanet.de) |
| 03:39:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 03:41:34 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8429:4ceb:8103:61ef) (Ping timeout: 252 seconds) |
| 03:42:48 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 03:44:56 | × | bilegeek quits (~bilegeek@2600:1008:b011:7459:a819:7768:fb22:1ebd) (Remote host closed the connection) |
| 03:45:21 | → | bilegeek joins (~bilegeek@2600:1008:b011:7459:a819:7768:fb22:1ebd) |
| 03:48:15 | × | vglfr quits (~vglfr@145.224.100.119) (Ping timeout: 248 seconds) |
| 03:49:13 | → | vglfr joins (~vglfr@145.224.100.119) |
| 03:55:16 | <Inst> | There is still a tooling issue in Haskell, monochrom. Every time I press ctrl shift p in VSC, I learn how tooling isn't good. |
| 03:55:39 | <Inst> | But it's much improved from the Cabal hell days, where you had to struggle to make Haskell usable. Haskell is perfectly usable, just not good or excellent at this stage. |
| 03:55:51 | <zero> | what's ctrl+shift+p in vsc? |
| 03:56:09 | <Inst> | bring up options, then restart HLS |
| 03:56:18 | <segfaultfizzbuzz> | zerp: that prints to the printer in all caps |
| 03:56:27 | <Inst> | updated my cabal file |
| 03:56:31 | <zero> | segfaultfizzbuzz: lol |
| 03:56:38 | <segfaultfizzbuzz> | zero: it's called "paper shout" |
| 03:57:39 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 03:59:42 | <zero> | is that a problem with haskell tooling or LSPs in general? |
| 03:59:57 | × | bilegeek quits (~bilegeek@2600:1008:b011:7459:a819:7768:fb22:1ebd) (Remote host closed the connection) |
| 04:00:08 | <Inst> | possibly, well, it's not rereading my cabal file, or HLS / GHCIde crashed |
| 04:00:25 | → | bilegeek joins (~bilegeek@2600:1008:b011:7459:a819:7768:fb22:1ebd) |
| 04:00:51 | <Inst> | i'm not really criticizing Haskell, tbh, I still love it, albeit I still can't figure out how to get better scripting code than Python, which is sort of an outrageous request given that Python is designed as a scripting language |
| 04:01:13 | <Inst> | everything that's wrong gets fixed in time, like how Haskell Error Index is now a thing |
| 04:01:41 | <Inst> | and how we went from Cabal Hell, to Stack, back to a new and improved Cabal |
| 04:05:39 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 04:06:09 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 04:07:22 | → | bilegeek_ joins (~bilegeek@2600:1008:b022:5533:8b20:d196:1708:e74e) |
| 04:08:05 | zero | is now known as zzz |
| 04:10:20 | × | bilegeek quits (~bilegeek@2600:1008:b011:7459:a819:7768:fb22:1ebd) (Ping timeout: 260 seconds) |
| 04:10:42 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 04:11:13 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:12:05 | × | bilegeek_ quits (~bilegeek@2600:1008:b022:5533:8b20:d196:1708:e74e) (Ping timeout: 260 seconds) |
| 04:13:35 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 04:21:31 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 04:21:50 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 04:22:59 | → | mbuf joins (~Shakthi@49.204.138.106) |
| 04:28:28 | → | remsense joins (~iarmatrix@2001:470:69fc:105::3:625) |
| 04:30:48 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:36:14 | × | razetime quits (~Thunderbi@117.193.1.135) (Ping timeout: 255 seconds) |
| 04:36:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:36:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:36:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:36:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:36:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:37:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:37:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:37:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:37:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:37:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:37:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:37:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:37:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:38:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:38:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:38:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:38:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:38:36 | × | vglfr quits (~vglfr@145.224.100.119) (Ping timeout: 255 seconds) |
| 04:38:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:38:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:38:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:38:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:39:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:39:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:39:17 | × | jwiegley quits (~jwiegley@2600:1700:cf00:db0:941:22ec:3d83:e77a) (Quit: ZNC - http://znc.in) |
| 04:39:17 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 04:39:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:39:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:39:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:39:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:40:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:40:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:40:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:40:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:40:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:40:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:40:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:40:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:41:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:41:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:41:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:41:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:41:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:41:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:41:44 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 04:41:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:41:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:42:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:42:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:42:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:42:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:42:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:42:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:43:01 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 04:43:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:43:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:43:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:43:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:43:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:43:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:43:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:43:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:44:05 | × | Inst quits (~Inst@2601:6c4:4081:54f0:e1bb:9a51:4c8c:9c0a) (Read error: Connection reset by peer) |
| 04:44:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:44:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:44:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:44:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:44:31 | → | Inst joins (~Inst@2601:6c4:4081:54f0:e1bb:9a51:4c8c:9c0a) |
| 04:44:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:44:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:44:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:44:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:45:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:45:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:45:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:45:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:45:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:45:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:45:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:45:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:46:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:46:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:46:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:46:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:46:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:46:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:47:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:47:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:47:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:47:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:47:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:47:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:47:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:47:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:48:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:48:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:48:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:48:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:48:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:48:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:48:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:48:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:49:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:49:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:49:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:49:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:49:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:49:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:49:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:49:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:50:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:50:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:50:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:50:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:50:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:50:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:50:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:51:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:51:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:51:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:51:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:51:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:51:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:51:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:52:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:52:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:52:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:52:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 04:52:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:52:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:52:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:52:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:53:00 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 04:53:00 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 04:53:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:53:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:53:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:53:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:53:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:53:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:53:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:53:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:53:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:54:10 | × | polyphem_ quits (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 252 seconds) |
| 04:54:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:54:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:54:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:54:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:54:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:54:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:55:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:55:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:55:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:55:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:55:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:55:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:55:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:55:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:56:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:56:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:56:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:56:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:56:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:56:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:56:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:56:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:57:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:57:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:57:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:57:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:57:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:57:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:57:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:57:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:58:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:58:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:58:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:58:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:58:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:58:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:58:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:58:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:59:09 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 04:59:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:59:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:59:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:59:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:59:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:59:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 04:59:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 04:59:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:00:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:00:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:00:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:00:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:00:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:00:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:01:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:01:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:01:16 | → | vglfr joins (~vglfr@145.224.100.65) |
| 05:01:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:01:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:01:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:01:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:01:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:01:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:02:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:02:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:02:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:02:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:02:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:02:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:02:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:02:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:03:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:03:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:03:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:03:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:03:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:03:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:03:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:03:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:04:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:04:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:04:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:04:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:04:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:04:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:04:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:04:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:05:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:05:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:05:30 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 05:05:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:05:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:05:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:05:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:06:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:06:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:06:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:06:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:06:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:06:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:06:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:06:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:07:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:07:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:07:11 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 05:07:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:07:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:07:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:07:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:07:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:07:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:08:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:08:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:08:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:08:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:08:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:08:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:08:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:08:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:09:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:09:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:09:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:09:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:09:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:09:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:10:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:10:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:10:15 | <Clinton[m]> | So I've started thinking that using `MonadIO m` in a lot of places is a bad idea, and I should probably use `MonadLogger m` or `MonadHTTP m` or `MonadBlah m` etc. Problem is then presumably I'll need a bunch of instances `MonadX m => MonadX (BlahTransT m)` for at least the common transformers, for every `MonadX`, which seems a bit boilerplatey. Is there a nicer way to achieve this? |
| 05:10:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:10:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:10:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:10:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:10:43 | → | silverwhitefish joins (~hidden@47.202.102.229) |
| 05:10:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:10:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:11:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:11:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:11:10 | × | silverwhitefish quits (~hidden@47.202.102.229) (Client Quit) |
| 05:11:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:11:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:11:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:11:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:11:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:11:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:12:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:12:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:12:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:12:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:12:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:12:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:13:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:13:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:13:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:13:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:13:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:13:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:13:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:13:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:14:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:14:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:14:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:14:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:14:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:14:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:14:39 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 05:14:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:14:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:15:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:15:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:15:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:15:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:15:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:15:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:15:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:15:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:16:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:16:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:16:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:16:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:16:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:16:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:16:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:16:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:17:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:17:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:17:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:17:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:17:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:17:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:17:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:17:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:18:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:18:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:18:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:18:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:18:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:18:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:19:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:19:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:19:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:19:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:19:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:19:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:19:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:19:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:20:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:20:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:20:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:20:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:20:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:20:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:20:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:20:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:21:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:21:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:21:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:21:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:21:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:21:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:21:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:21:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:22:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:22:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:22:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:22:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:22:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:22:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:22:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:22:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:23:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:23:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:23:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:23:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:23:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:23:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:23:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:23:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:24:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:24:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:24:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:24:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:24:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:24:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:25:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:25:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:25:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:25:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:25:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:25:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:25:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:25:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:25:57 | <jackdk> | Write a single concrete application monad and implement all the instances against that. Consider the "phantom datakinds" pattern for mocking during tests: https://chrispenner.ca/posts/mock-effects-with-data-kinds . Or move to an effect system |
| 05:26:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:26:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:26:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:26:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:26:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:26:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:26:51 | <mauke> | monochrom: https://i.imgur.com/tILWA1z.png |
| 05:26:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:26:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:27:04 | <jackdk> | But yeah, you've hit the famous "n^2 instances problem", which is precise (not every class can be lifted through every transformer) but annoyingly boilerplatey |
| 05:27:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:27:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:27:17 | <jackdk> | mauke: hahaha, great find |
| 05:27:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:27:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:27:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:27:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:27:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:27:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:28:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:28:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:28:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:28:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:28:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:28:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:28:52 | <Clinton[m]> | jackdk: After some thought, I think most of the things I need to do this with is with IO. So I think this will do the trick I think:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/798a6d8c648acfe8a425a9715c72c26237190ed0>) |
| 05:29:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:29:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:29:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:29:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:29:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:29:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:29:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:29:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:30:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:30:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:30:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:30:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:30:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:30:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:30:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:30:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:31:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:31:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:31:19 | <jackdk> | Clinton[m]: bear in mind that will match _every_ monad, because instance selection only looks at the _shape_ of the type constructors, and only adds constraints after it selects an instance |
| 05:31:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:31:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:31:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:31:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:31:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:31:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:32:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:32:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:32:15 | <Clinton[m]> | jackdk: yeah the idea is that there's only one instance anyway. |
| 05:32:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:32:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:32:41 | <jackdk> | Then I don't see what you gain by adding these classes (except sore fingers) |
| 05:32:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:32:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:33:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:33:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:33:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:33:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:33:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:33:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:33:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:33:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:33:47 | <jackdk> | https://journal.infinitenegativeutility.com/haskell-type-equality-constraints Clinton[m] you may already know this, but this is what I'm talking about re: instance selection |
| 05:34:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:34:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:34:05 | <Clinton[m]> | jackdk:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/9fd0ddadb3a47d1087f111abb0245bec2b0761ea>) |
| 05:34:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:34:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:34:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:34:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:34:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:34:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:34:52 | → | razetime joins (~Thunderbi@117.193.1.135) |
| 05:35:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:35:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:35:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:35:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:35:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:35:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:35:46 | <jackdk> | Clinton[m]: hm, true. But if you're going to do that, I'd set things up to let you write multiple useful instances (e.g., accumulate log messages during testing, the "no logging" logger instance, etc.) |
| 05:35:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:35:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:36:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:36:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:36:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:36:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:36:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:36:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:36:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:36:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:37:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:37:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:37:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:37:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:37:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:37:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:38:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:38:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:38:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:38:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:38:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:38:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:38:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:38:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:39:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:39:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:39:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:39:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:39:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:39:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:39:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:39:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:40:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:40:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:40:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:40:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:40:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:40:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:40:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:40:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:41:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:41:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:41:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:41:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:41:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:41:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:41:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:41:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:42:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:42:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:42:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:42:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:42:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:42:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:43:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:43:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:43:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:43:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:43:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:43:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:43:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:43:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:44:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:44:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:44:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:44:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:44:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:44:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:44:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:44:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:45:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:45:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:45:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:45:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:45:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:45:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:45:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:45:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:46:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:46:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:46:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:46:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:46:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:46:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:46:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:46:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:47:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:47:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:47:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:47:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:47:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:47:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:47:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:47:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:48:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:48:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:48:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:48:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:48:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:48:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:48:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:48:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:49:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:49:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:49:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:49:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:49:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:49:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:50:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:50:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:50:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:50:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:50:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:50:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:50:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:50:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:51:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:51:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:51:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:51:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:51:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:51:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:51:40 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:51:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:51:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:52:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:52:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:52:20 | → | krei-se joins (~quassel@p5087440b.dip0.t-ipconnect.de) |
| 05:52:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:52:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:52:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:52:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:52:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:52:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:53:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:53:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:53:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:53:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:53:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:53:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:54:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:54:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:54:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:54:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:54:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:54:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:54:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:54:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:55:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:55:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:55:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:55:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:55:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:55:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:55:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:55:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:56:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:56:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:56:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:56:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:56:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:56:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:56:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:56:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:57:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:57:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:57:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:57:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:57:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:57:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:57:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:57:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:58:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:58:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:58:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:58:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:58:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:58:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:59:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:59:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:59:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:59:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 05:59:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:59:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 05:59:49 | → | trev joins (~trev@user/trev) |
| 05:59:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:59:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:00:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:00:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:00:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:00:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:00:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:00:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:00:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:00:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:01:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:01:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:01:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:01:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:01:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:01:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:01:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:01:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:02:05 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 06:02:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:02:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:02:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:02:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:02:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:02:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:02:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:02:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:03:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:03:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:03:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:03:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:03:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:03:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:03:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:03:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:04:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:04:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:04:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:04:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:04:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:04:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:04:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:04:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:05:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:05:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:05:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:05:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:05:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:05:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:06:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:06:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:06:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:06:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:06:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:06:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:06:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:06:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:07:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:07:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:07:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:07:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:07:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:07:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:07:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:07:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:08:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:08:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:08:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:08:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:08:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:08:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:08:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:08:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:09:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:09:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:09:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:09:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:09:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:09:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:09:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:09:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:10:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:10:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:10:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:10:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:10:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:10:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:11:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:11:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:11:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:11:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:11:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:11:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:11:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:11:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:12:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:12:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:12:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:12:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:12:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:12:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:12:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:12:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:13:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:13:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:13:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:13:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:13:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:13:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:13:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:13:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:14:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:14:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:14:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:14:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:14:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:14:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:14:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:14:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:15:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:15:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:15:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:15:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:15:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:15:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:15:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:15:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:16:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:16:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:16:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:16:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:16:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:16:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:17:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:17:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:17:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:17:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:17:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:17:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:17:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:17:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:18:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:18:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:18:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:18:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:18:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:18:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:18:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:18:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:19:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:19:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:19:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:19:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:19:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:19:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:19:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:19:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:20:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:20:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:20:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:20:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:20:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:20:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:21:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:21:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:21:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:21:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:21:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:21:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:21:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:21:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:22:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:22:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:22:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:22:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:22:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:22:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:22:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:22:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:23:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:23:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:23:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:23:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:23:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:23:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:23:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:23:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:24:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:24:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:24:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:24:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:24:35 | ChanServ | sets mode +o monochrom |
| 06:24:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:24:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:25:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:25:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 06:25:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:25:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:25:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 06:25:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 06:25:34 | monochrom | sets mode +b *!*@static.167.190.119.168.clients.your-server.de$##fix_your_connection |
| 06:25:55 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:26:49 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:26:56 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 06:30:44 | × | razetime quits (~Thunderbi@117.193.1.135) (Remote host closed the connection) |
| 06:32:53 | → | razetime joins (~Thunderbi@117.193.1.135) |
| 06:33:32 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 06:34:13 | monochrom | sets mode -o monochrom |
| 06:34:13 | → | jwiegley joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 06:34:38 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 06:35:20 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 06:35:36 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 06:46:48 | → | anatta_ joins (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) |
| 06:47:42 | → | Yumemi_ joins (~Yumemi@chamoin.net) |
| 06:48:17 | → | Unode_ joins (~Unode@fg-ext-220.embl.de) |
| 06:48:38 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 06:50:05 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 06:50:57 | → | aku_ joins (~aku@163.172.137.34) |
| 06:51:46 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:55:10 | <mauke> | oh. I had joins/quits hidden :-) |
| 06:55:17 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 06:55:17 | × | krei-se quits (~quassel@p5087440b.dip0.t-ipconnect.de) (*.net *.split) |
| 06:55:17 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (*.net *.split) |
| 06:55:17 | × | mechap quits (~mechap@user/mechap) (*.net *.split) |
| 06:55:17 | × | anatta quits (~AdiIRC@h-155-4-132-216.na.cust.bahnhof.se) (*.net *.split) |
| 06:55:17 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 06:55:17 | × | infinity0 quits (~infinity0@pwned.gg) (*.net *.split) |
| 06:55:17 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
| 06:55:17 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (*.net *.split) |
| 06:55:17 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (*.net *.split) |
| 06:55:17 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (*.net *.split) |
| 06:55:17 | × | Sgeo quits (~Sgeo@user/sgeo) (*.net *.split) |
| 06:55:17 | × | shriekingnoise quits (~shrieking@186.137.175.87) (*.net *.split) |
| 06:55:17 | × | ubert quits (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) (*.net *.split) |
| 06:55:17 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split) |
| 06:55:17 | × | Franciman quits (~Franciman@mx1.fracta.dev) (*.net *.split) |
| 06:55:17 | × | asm quits (~alexander@user/asm) (*.net *.split) |
| 06:55:17 | × | phaazon quits (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 06:55:17 | × | bgamari quits (~bgamari@2a06:a000:b00d::2) (*.net *.split) |
| 06:55:18 | × | fr33domlover quits (~fr33domlo@towards.vision) (*.net *.split) |
| 06:55:18 | × | acarrico quits (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (*.net *.split) |
| 06:55:18 | × | mixphix quits (~cigsender@74.124.58.162) (*.net *.split) |
| 06:55:18 | × | brettgilio quits (~brettgili@x-irc.gq) (*.net *.split) |
| 06:55:18 | × | Yumemi quits (~Yumemi@chamoin.net) (*.net *.split) |
| 06:55:18 | × | kaskal quits (~kaskal@089144220250.atnat0029.highway.webapn.at) (*.net *.split) |
| 06:55:18 | × | quintasan quits (~quassel@quintasan.pl) (*.net *.split) |
| 06:55:18 | × | sm[i]_ quits (~user@li229-222.members.linode.com) (*.net *.split) |
| 06:55:18 | × | ghostbuster quits (~admin@user/ghostbuster) (*.net *.split) |
| 06:55:18 | × | aku quits (~aku@163.172.137.34) (*.net *.split) |
| 06:55:18 | × | Ekho quits (~Ekho@user/ekho) (*.net *.split) |
| 06:55:18 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 06:55:18 | × | Unode quits (~Unode@fg-ext-220.embl.de) (*.net *.split) |
| 06:55:18 | × | kronicma1 quits (user13639@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 06:55:18 | × | nullsh quits (nullsh@user/nexeq) (*.net *.split) |
| 06:55:18 | × | wrengr quits (~wrengr@201.59.83.34.bc.googleusercontent.com) (*.net *.split) |
| 06:55:18 | × | EsoAlgo8 quits (~EsoAlgo@129.146.136.145) (*.net *.split) |
| 06:55:18 | × | kitzman quits (~kitzman@user/dekenevs) (*.net *.split) |
| 06:55:18 | × | AkechiShiro quits (~licht@user/akechishiro) (*.net *.split) |
| 06:55:18 | × | krjst quits (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 06:55:18 | × | sajith quits (~sajith@user/sajith) (*.net *.split) |
| 06:55:18 | × | drewolson quits (~drewolson@user/drewolson) (*.net *.split) |
| 06:55:23 | Unode_ | is now known as Unode |
| 06:55:27 | anatta_ | is now known as anatta |
| 06:56:00 | × | marienz quits (~marienz@libera/staff/marienz) (Ping timeout: 615 seconds) |
| 06:56:54 | → | krei-se joins (~quassel@p5087440b.dip0.t-ipconnect.de) |
| 06:56:54 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 06:56:54 | → | mechap joins (~mechap@user/mechap) |
| 06:56:54 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 06:56:54 | → | infinity0 joins (~infinity0@pwned.gg) |
| 06:56:54 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 06:56:54 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 06:56:54 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 06:56:54 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 06:56:54 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 06:56:54 | → | ubert joins (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) |
| 06:56:54 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 06:56:54 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 06:56:54 | → | asm joins (~alexander@user/asm) |
| 06:56:54 | → | phaazon joins (~phaazon@2001:41d0:a:fe76::1) |
| 06:56:54 | → | bgamari joins (~bgamari@2a06:a000:b00d::2) |
| 06:56:54 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 06:56:54 | → | acarrico joins (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 06:56:54 | → | mixphix joins (~cigsender@74.124.58.162) |
| 06:56:54 | → | brettgilio joins (~brettgili@x-irc.gq) |
| 06:56:54 | → | quintasan joins (~quassel@quintasan.pl) |
| 06:56:54 | → | sm[i]_ joins (~user@li229-222.members.linode.com) |
| 06:56:54 | → | ghostbuster joins (~admin@user/ghostbuster) |
| 06:56:54 | → | Ekho joins (~Ekho@user/ekho) |
| 06:56:54 | → | gabiruh_ joins (~gabiruh@vps19177.publiccloud.com.br) |
| 06:56:54 | → | kronicma1 joins (user13639@neotame.csclub.uwaterloo.ca) |
| 06:56:54 | → | nullsh joins (nullsh@user/nexeq) |
| 06:56:54 | → | wrengr joins (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 06:56:54 | → | EsoAlgo8 joins (~EsoAlgo@129.146.136.145) |
| 06:56:54 | → | kitzman joins (~kitzman@user/dekenevs) |
| 06:56:54 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 06:56:54 | → | krjst joins (~krjst@2604:a880:800:c1::16b:8001) |
| 06:56:54 | → | sajith joins (~sajith@user/sajith) |
| 06:56:54 | → | drewolson joins (~drewolson@user/drewolson) |
| 06:56:56 | → | codaraxis__ joins (~codaraxis@user/codaraxis) |
| 06:58:51 | → | kaskal joins (~kaskal@089144220250.atnat0029.highway.webapn.at) |
| 07:03:08 | → | marienz joins (~marienz@libera/staff/marienz) |
| 07:04:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:05:06 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 07:17:04 | × | king_gs quits (~Thunderbi@187.201.41.239) (Quit: king_gs) |
| 07:21:57 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 255 seconds) |
| 07:32:56 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 07:35:31 | → | Bocaneri joins (~sauvin@user/Sauvin) |
| 07:35:53 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 07:35:55 | Bocaneri | is now known as Guest9469 |
| 07:36:31 | Sauvin | is now known as Guest5002 |
| 07:36:31 | × | Guest5002 quits (~sauvin@user/Sauvin) (Killed (copper.libera.chat (Nickname regained by services))) |
| 07:37:19 | Guest9469 | is now known as Sauvin |
| 07:38:23 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 07:39:08 | → | kenran joins (~user@user/kenran) |
| 07:42:39 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 07:44:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:50:15 | × | ubert quits (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 07:50:34 | → | ubert joins (~Thunderbi@p200300ecdf2947fb8e9b52aeb6f9bd66.dip0.t-ipconnect.de) |
| 07:54:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:d702:c2ed:c3a8:f7e0) |
| 07:57:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 07:57:20 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 07:57:54 | → | mncheckm joins (~mncheck@193.224.205.254) |
| 07:58:37 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 08:01:40 | → | acidjnk_new joins (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) |
| 08:05:31 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:06:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:07:17 | × | razetime quits (~Thunderbi@117.193.1.135) (Ping timeout: 255 seconds) |
| 08:13:14 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 08:15:07 | → | michalz joins (~michalz@185.246.204.121) |
| 08:16:26 | → | kuribas joins (~user@ptr-17d51engq5fqfsjpte2.18120a2.ip6.access.telenet.be) |
| 08:18:12 | × | Square quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 08:19:05 | <Hecate> | hey hey, I'd like people to chime in on this PR for the presentation of dependencies of the various components of a package in Flora: https://github.com/flora-pm/flora-server/pull/350 |
| 08:19:43 | <Hecate> | The "presentation" aspect is the most important, and I'd like to be sure that we offer a path of least resistance for information to be useful |
| 08:20:44 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:22:48 | <[exa]> | Hecate: why not list the dependency version constraints too? |
| 08:23:35 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 08:24:24 | → | codaraxis___ joins (~codaraxis@user/codaraxis) |
| 08:27:37 | <Hecate> | [exa]: don't ask me, I'm not the person who opened the PR :D Comment in the thread! :) |
| 08:27:59 | → | razetime joins (~Thunderbi@117.193.1.135) |
| 08:28:06 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 255 seconds) |
| 08:30:49 | <[exa]> | -ETOOMUCHWORK |
| 08:31:27 | <Hecate> | :( |
| 08:31:32 | <Hecate> | sorry |
| 08:31:43 | ← | instagib[m] parts (~instagibm@2001:470:69fc:105::8156) () |
| 08:31:58 | <[exa]> | np at all, just, you know :D |
| 08:32:00 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 08:32:01 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 08:32:07 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 08:32:15 | <[exa]> | btw actual version-version compatibility matrices would be so cool to have somewhere |
| 08:32:29 | <[exa]> | ok this is a good idea that warrants me going there |
| 08:34:46 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:38:25 | → | MajorBiscuit joins (~MajorBisc@c-001-018-056.client.tudelft.eduvpn.nl) |
| 08:44:30 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 08:45:13 | → | mei joins (~mei@user/mei) |
| 08:46:41 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 08:50:01 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:50:06 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 08:50:19 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 08:51:41 | × | kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 268 seconds) |
| 08:51:49 | → | kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 08:56:46 | × | acidjnk_new quits (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 08:57:08 | → | acidjnk_new joins (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) |
| 08:58:10 | → | CiaoSen joins (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 08:58:18 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:58:34 | × | ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:00:06 | × | bigtestaccount[m quits (~bigtestac@2001:470:69fc:105::2:fae3) (Quit: You have been kicked for being idle) |
| 09:03:34 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:04:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:06:50 | → | chele joins (~chele@user/chele) |
| 09:07:06 | → | DavidDenoncin[m] joins (~jankoj1ma@2001:470:69fc:105::238) |
| 09:08:45 | → | vpan joins (~0@212.117.1.172) |
| 09:09:40 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 09:09:51 | → | cheater_ joins (~Username@user/cheater) |
| 09:11:10 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:12:39 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 09:12:47 | cheater_ | is now known as cheater |
| 09:13:14 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 09:14:32 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 09:15:45 | <[exa]> | tomsmeding: quality photoshop skills |
| 09:15:52 | <tomsmeding> | [exa]: thank you |
| 09:16:02 | <tomsmeding> | the fact that the background is one solid colour makes this much easier though |
| 09:17:05 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 09:18:34 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:19:28 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 09:21:07 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:22:51 | → | Guest76 joins (~Guest76@176.122.87.241) |
| 09:22:59 | <Guest76> | hello |
| 09:24:15 | <Guest76> | trying to use xmlbf library |
| 09:25:14 | <Guest76> | but the compiler throws an error |
| 09:25:42 | <Guest76> | variable not in scope |
| 09:26:23 | <Guest76> | although xmlbf module exports this function |
| 09:26:52 | <c_wraith> | are you looking at the docs for the same version of the library as you are using? |
| 09:27:01 | <Guest76> | yes |
| 09:27:03 | <Guest76> | 0.7 |
| 09:28:44 | <c_wraith> | well, then. why not throw a minimal example to reproduce the problem and the error message into a pastebin? |
| 09:32:03 | → | zeenk joins (~zeenk@2a02:2f04:a20d:f900::7fe) |
| 09:32:44 | → | coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:33:49 | <Guest76> | sorry, my mistake. wrong version. thx fro help! |
| 09:33:55 | <Guest76> | *for |
| 09:35:06 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:35:14 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 09:35:34 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 265 seconds) |
| 09:35:34 | coot_ | is now known as coot |
| 09:38:12 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 09:39:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:39:29 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 09:39:33 | → | ix joins (~ix@213.205.242.28) |
| 09:43:38 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 09:53:55 | × | Guest76 quits (~Guest76@176.122.87.241) (Quit: Client closed) |
| 09:55:26 | → | teo joins (~teo@user/teo) |
| 09:57:31 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 09:57:44 | <tomsmeding> | Hecate: in what way is <details> suboptimal for screen readers? I know nothing of that domain but I'd have expected it to be fine, because it's just simple, standardised html, without any JS |
| 10:00:30 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) |
| 10:03:13 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 10:03:15 | <Hecate> | tomsmeding: JS is far to be the problem we think it is for screen readers |
| 10:03:29 | <Hecate> | especially when you try and replace it with CSS tricks for interactivity |
| 10:03:46 | <Hecate> | tomsmeding: JS can insert aria labels in html tags dynamically |
| 10:04:12 | <tomsmeding> | fair point |
| 10:04:21 | → | hgolden_ joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 10:05:03 | <tomsmeding> | Hecate: would replacing the <details> with JS improve the situation? I would expect no, but maybe you know better |
| 10:05:51 | × | ix quits (~ix@213.205.242.28) (Ping timeout: 248 seconds) |
| 10:05:51 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 248 seconds) |
| 10:06:43 | → | __monty__ joins (~toonn@user/toonn) |
| 10:06:53 | × | krei-se quits (~quassel@p5087440b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 10:07:01 | <Hecate> | https://www.scottohara.me/blog/2018/09/03/details-and-summary.html |
| 10:07:06 | <Hecate> | https://blog.learningtoo.eu/expanding-summary-details-accessibly |
| 10:07:16 | <Hecate> | https://www.hassellinclusion.com/blog/accessible-accordions-part-2-using-details-summary/ |
| 10:07:42 | → | kenran joins (~user@user/kenran) |
| 10:11:38 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 10:11:59 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:14:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:20:26 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 10:28:56 | <Hecate> | tomsmeding: note also that it's a very hard topic and with very little knowledge "out there" |
| 10:29:19 | → | Guest372 joins (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) |
| 10:29:40 | × | Guest372 quits (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) (Client Quit) |
| 10:29:56 | → | Guest3781 joins (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) |
| 10:30:28 | <shryke> | These three links are quite outdated by the standards of modern browsers and software |
| 10:31:05 | → | npmania joins (~Thunderbi@91.193.7.46) |
| 10:32:02 | <Hecate> | shryke: and you are… ? |
| 10:32:08 | <Hecate> | any kind of web platform developer? |
| 10:32:15 | <Hecate> | or an expert in the web platform? |
| 10:32:24 | <Hecate> | or just trolling? |
| 10:32:49 | <shryke> | Then again, I do not know the impact of the condition "it should work on browsers that people use" - for all I know the majority of people using these accessibilty features indeed use the versions tested in these links |
| 10:33:33 | <shryke> | Hecate: that was uncalled for. |
| 10:34:18 | → | npmania1 joins (~Thunderbi@45.8.223.224) |
| 10:34:40 | <shryke> | I am merely curious whether you have similar relevant studies done on more recent versions of browsers and assistant software |
| 10:34:42 | <Hecate> | shryke: no no, I just value my time and don't take that kind of remark like yours from total strangers |
| 10:35:39 | <Hecate> | the last stable release of the JAWS screen reader was in 2020 |
| 10:35:43 | × | npmania quits (~Thunderbi@91.193.7.46) (Ping timeout: 248 seconds) |
| 10:35:44 | npmania1 | is now known as npmania |
| 10:35:54 | <shryke> | Hecate: whatever. Please keep being toxic. |
| 10:36:11 | <Hecate> | 👍 ok |
| 10:37:33 | <[exa]> | shryke: btw anything specifically newer out there? |
| 10:42:09 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:43:04 | × | razetime quits (~Thunderbi@117.193.1.135) (Remote host closed the connection) |
| 10:43:14 | × | shryke quits (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Quit: WeeChat 3.8) |
| 10:44:47 | → | ubert1 joins (~Thunderbi@2a02:8109:abc0:6434:a35b:2d28:c16d:4824) |
| 10:51:40 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 10:53:31 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) |
| 10:56:32 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 10:57:10 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 11:05:50 | → | cheater_ joins (~Username@user/cheater) |
| 11:06:31 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:06:47 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:08:18 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 11:08:26 | cheater_ | is now known as cheater |
| 11:09:13 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 11:09:43 | → | npmania1 joins (~Thunderbi@138.199.60.27) |
| 11:09:47 | × | npmania quits (~Thunderbi@45.8.223.224) (Ping timeout: 264 seconds) |
| 11:09:48 | npmania1 | is now known as npmania |
| 11:09:51 | × | acidjnk_new quits (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:10:53 | → | acidjnk_new joins (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) |
| 11:13:09 | × | Guest3781 quits (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) (Quit: Client closed) |
| 11:15:51 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 11:19:02 | × | anpad quits (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 11:19:11 | × | npmania quits (~Thunderbi@138.199.60.27) (Ping timeout: 260 seconds) |
| 11:19:50 | <ph88> | Can i use this library https://hackage.haskell.org/package/validation-1.1.2/docs/Data-Validation.html with applicative do? which function can i use to write multiple failures? |
| 11:20:27 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 11:21:17 | → | anpad joins (~pandeyan@user/anpad) |
| 11:22:08 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:27:54 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 11:28:35 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 11:40:48 | → | mmhat joins (~mmh@p200300f1c70de84aee086bfffe095315.dip0.t-ipconnect.de) |
| 11:41:09 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Remote host closed the connection) |
| 11:44:29 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) (Quit: Lost terminal) |
| 11:44:56 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) |
| 11:46:42 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 11:47:46 | <jackdk> | I recommend validation-selective over validation because its semigroup operation is more often what you want |
| 11:48:09 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 11:48:30 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 11:49:07 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:50:57 | × | mrcsno quits (~mrcsno@user/mrcsno) (Quit: WeeChat 3.5) |
| 11:52:59 | × | mmhat quits (~mmh@p200300f1c70de84aee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 11:54:15 | <ph88> | jackdk, what about the semigroup operation is more often what you want? I can't really spot the difference https://github.com/system-f/validation/blob/master/src/Data/Validation.hs#L98-L104 https://github.com/kowainik/validation-selective/blob/main/src/Validation.hs#L463-L467 |
| 11:56:07 | <[exa]> | ph88: more likely https://github.com/system-f/validation/blob/master/src/Data/Validation.hs#L172 vs https://github.com/kowainik/validation-selective/blob/main/src/Validation.hs#L398 |
| 11:57:51 | <jackdk> | yes, I would prefer semigroup to combine validations "semigroupally". If I want "take the first passing" semantics, I can then explicitly use a `First` newtype |
| 11:58:02 | × | acidjnk_new quits (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 11:58:26 | → | acidjnk_new joins (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) |
| 11:58:35 | → | ccapndave joins (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 11:59:11 | <ph88> | in the validation library doesn't it combine ? |
| 12:04:11 | <jackdk> | No, it "takes the first" on success but combines on error. You can tell this by the absence of a `Semigroup a` constraint, which is why I prefer `validation-selective` |
| 12:04:59 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Ping timeout: 248 seconds) |
| 12:05:11 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 12:05:30 | <ph88> | jackdk, you mean if multiple succeed then it quits early ? |
| 12:08:36 | → | xff0x joins (~xff0x@2405:6580:b080:900:aac1:e87d:31c4:e76) |
| 12:12:47 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Ping timeout: 248 seconds) |
| 12:14:30 | <jackdk> | no |
| 12:14:34 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 12:15:21 | <jackdk> | given v1, v2 :: Validaiton e a, I would prefer v1 <> v2 to contain the (<>) applied to both 'a's (if both succeeded) |
| 12:15:44 | <jackdk> | maybe that's what you were saying, it's late here |
| 12:19:34 | × | ccapndave quits (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:19:53 | <ph88> | jackdk, i think we understood each other :p |
| 12:20:02 | <ph88> | what's your timezone ? |
| 12:21:04 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 12:21:05 | → | krei-se joins (~quassel@p5087440b.dip0.t-ipconnect.de) |
| 12:21:24 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 12:26:52 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 12:33:00 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 12:33:03 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:33:06 | <[exa]> | UTC+late |
| 12:36:06 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 12:36:07 | × | krei-se quits (~quassel@p5087440b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 12:36:39 | → | akegalj joins (~akegalj@93-138-62-24.adsl.net.t-com.hr) |
| 12:38:25 | × | xff0x quits (~xff0x@2405:6580:b080:900:aac1:e87d:31c4:e76) (Ping timeout: 260 seconds) |
| 12:38:29 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 12:38:47 | → | xff0x joins (~xff0x@ai081074.d.east.v6connect.net) |
| 12:42:35 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 12:48:50 | → | Guest3711 joins (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) |
| 12:55:34 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 12:57:04 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:6932:2b9:8e68:7497) |
| 12:59:43 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 248 seconds) |
| 13:01:05 | × | use-value1 quits (~Thunderbi@2a00:23c6:8a03:2f01:6932:2b9:8e68:7497) (Ping timeout: 246 seconds) |
| 13:02:54 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) |
| 13:08:35 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:09:16 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) (Quit: use-value) |
| 13:09:31 | × | acidjnk_new quits (~acidjnk@p200300d6e715c407a4aad67666d41ab3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 13:12:30 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:13:42 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 13:14:16 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:16:03 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) |
| 13:18:17 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) (Client Quit) |
| 13:20:22 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:21:33 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) |
| 13:25:50 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 13:27:15 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 13:29:09 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 13:33:36 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 13:36:15 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 13:37:12 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 13:38:56 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) |
| 13:42:10 | × | vglfr quits (~vglfr@145.224.100.65) (Read error: Connection reset by peer) |
| 13:42:28 | → | vglfr joins (~vglfr@145.224.100.65) |
| 13:42:58 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 13:43:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) (Ping timeout: 260 seconds) |
| 13:45:43 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 13:49:27 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:54:08 | × | CiaoSen quits (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:02:53 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 14:05:41 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:10:22 | <dminuoso_> | % case ("foo" :: T.Text) of "foo" -> () |
| 14:10:22 | <yahb2> | () |
| 14:10:30 | <dminuoso_> | How does this work? |
| 14:11:26 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 14:11:38 | <merijn> | dminuoso_: Same as numeric literals, via Eq |
| 14:12:24 | <dminuoso_> | Where is that behavior documented? |
| 14:12:27 | <merijn> | :t let foo 1 = () in foo |
| 14:12:28 | <lambdabot> | (Eq a, Num a) => a -> () |
| 14:12:32 | <merijn> | Note the Eq constraint |
| 14:12:36 | <dminuoso_> | Mmm |
| 14:12:45 | <merijn> | eh..."somewhere"? |
| 14:12:48 | <dminuoso_> | Heh. |
| 14:12:57 | <merijn> | OverloadedStrings, probably? |
| 14:12:58 | <dminuoso_> | I feel like this should be documented in the OverloadedStrings extension |
| 14:13:00 | <dminuoso_> | Yeah but its not |
| 14:13:19 | <dminuoso_> | Oh hold on |
| 14:13:24 | × | vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 14:13:25 | <dminuoso_> | Its subtly mentioned at the end doh. |
| 14:13:27 | <dminuoso_> | `Note that deriving Eq is necessary for the pattern matching to work since it gets translated into an equality comparison.` |
| 14:13:38 | <dminuoso_> | Okay I see. Thanks merijn |
| 14:13:38 | <merijn> | "If used in a pattern the literal will be replaced by an equality test, in the same way as an integer literal is." |
| 14:13:50 | <dminuoso_> | merijn: Uh I fail at reading I guess. |
| 14:13:56 | <merijn> | That's like, the 2nd paragraph :p |
| 14:15:29 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:16:18 | <dminuoso_> | I was visually scanning for something more prominent |
| 14:19:27 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 14:19:32 | → | thegeekinside joins (~thegeekin@189.141.115.134) |
| 14:19:34 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 14:21:18 | → | vulpine joins (xfnw@tilde.team) |
| 14:21:41 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 14:26:46 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:27:36 | → | ix joins (~ix@213.205.242.28) |
| 14:33:21 | × | ix quits (~ix@213.205.242.28) (Read error: Connection reset by peer) |
| 14:37:31 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 14:38:02 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-010.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 14:39:08 | → | ix joins (~ix@213.205.242.28) |
| 14:40:02 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-169.46.114.pool.telefonica.de) |
| 14:43:06 | × | ix quits (~ix@213.205.242.28) (Read error: Connection reset by peer) |
| 14:48:22 | → | ix joins (~ix@213.205.242.28) |
| 14:50:18 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:52:14 | → | kenran joins (~user@user/kenran) |
| 14:53:24 | <kenran> | I'm a little overwhelmed by the following error I get in a transitive dependency: https://paste.systemli.org/?24b2180b0057eac8#pXs5TEK42dbQMZF9L8yLA7f9WAJhRg4PZE18t4ZJkcx |
| 14:53:25 | × | ix quits (~ix@213.205.242.28) (Read error: Connection reset by peer) |
| 14:53:30 | <kenran> | Can anyone of you point me in a direction? |
| 14:55:04 | <geekosaur> | ugh, lens errors |
| 14:55:37 | <geekosaur> | they're very powerful, but the error messages will make you claw your eyes out |
| 14:55:43 | → | acidjnk_new joins (~acidjnk@p200300d6e715c407c95a74b02ab5f24e.dip0.t-ipconnect.de) |
| 14:57:24 | → | pdw joins (~user@197.33.187.81.in-addr.arpa) |
| 14:59:47 | → | ix joins (~ix@213.205.242.28) |
| 15:00:49 | <kenran> | yeah, and by looking at the code I don't see anything that should not work, nor do I see which package update could have led to this error. My boss had an idea about making the function non-point-free anymore, which I'm going to try out next. |
| 15:03:01 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:d702:c2ed:c3a8:f7e0) (Quit: WeeChat 2.8) |
| 15:04:37 | <kenran> | I mean, it's about the function outputIxAt :: OutputIx -> Lens' (IntMap v) (Maybe v), where outputIxAt = intAt . unOutputIx, and the latter is a newtype accessor yielding an Int, the former has the signature Int -> Lens' (IntMap v) (Maybe v)... |
| 15:06:57 | kupi | is now known as Discord2IRC |
| 15:07:33 | × | Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
| 15:07:54 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:08:21 | → | Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 15:08:42 | × | Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
| 15:09:29 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 15:09:39 | Discord2IRC | is now known as kupi |
| 15:09:41 | → | Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 15:09:56 | → | califax joins (~califax@user/califx) |
| 15:10:11 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 15:10:31 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 15:14:41 | → | dekster joins (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) |
| 15:15:22 | <kenran> | that indeed made the second error go away; now there's only the the one at 'at' left... but time for the weekend :) |
| 15:15:23 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 15:15:47 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 15:16:59 | × | raym quits (~ray@user/raym) (Ping timeout: 248 seconds) |
| 15:17:26 | → | califax joins (~califax@user/califx) |
| 15:19:39 | <kenran> | holy shit, that was really it... I had to replace two dots with dollars further up, and then it worked as well |
| 15:20:07 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 15:20:45 | × | Guest3711 quits (~Guest37@2600:4041:4527:3b00:5dae:3b03:d192:c7db) (Quit: Client closed) |
| 15:20:51 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 15:24:04 | → | raym joins (~ray@user/raym) |
| 15:26:18 | → | CiaoSen joins (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 15:31:11 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:33:19 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 15:33:21 | → | k8yun joins (~k8yun@user/k8yun) |
| 15:33:45 | <pdw> | kenran: nice - always satisfying when that sort of things clicks :-) |
| 15:33:57 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 15:36:11 | × | ubert quits (~Thunderbi@p200300ecdf2947fb8e9b52aeb6f9bd66.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:36:11 | ubert1 | is now known as ubert |
| 15:36:23 | <pdw> | Have a few questions about using an 'integer-simple' GHC |
| 15:36:36 | <pdw> | Presume this is a sensible place to ask |
| 15:36:36 | → | ub joins (~Thunderbi@p200300ecdf29471416a399119c633262.dip0.t-ipconnect.de) |
| 15:36:48 | <merijn> | Depends on how complicated your questions are ;) |
| 15:36:57 | <geekosaur> | don't ask to ask, just ask 🙂 (not that I can necessarily help) |
| 15:37:11 | <pdw> | Sure - will do. Still typing! |
| 15:37:33 | <pdw> | Is there an easier way to get hold of a non-libGMP build of GHC than building from source? |
| 15:37:49 | <pdw> | I see the Alpine builds are integer-simple, but others aren't. |
| 15:38:08 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-169.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 15:38:17 | <pdw> | ... and b) Is building from source comparatively straightforward compared to building other tools (e.g. Emacs) from source? |
| 15:38:54 | <geekosaur> | not currently. they want to make the integer impl runtime selectable in the future, but currently that's not possible |
| 15:38:56 | <merijn> | pdw: I haven't build emacs, but it's pretty straightforward (if time consuming) |
| 15:39:15 | <pdw> | ah, good news |
| 15:39:19 | <geekosaur> | ghc can be a pain to build from sourc4e but iirc ghcup can do it for you these days |
| 15:39:27 | <merijn> | pdw: there's no realy tricky dependencies to wrangle, since most stuff is in tree |
| 15:39:39 | <merijn> | geekosaur: I mean, that's mostly in weird configurations and cross compiling scenarios |
| 15:39:44 | <geekosaur> | yeh |
| 15:39:46 | <maerwald> | geekosaur: well, the make-hadrian move didn't make all that easier |
| 15:39:58 | <maerwald> | it's a maze of bugs you have to navigate |
| 15:40:03 | <pdw> | Does using an integer-simple build open up any other cans of worms (e.g. packages not working when cabal installs default versions or something?) |
| 15:40:04 | <merijn> | If you have access to a "normal" GHC in your environment then your only real dependencies are regular C tools |
| 15:40:21 | <geekosaur> | integer-simple should be a drop-in replacement |
| 15:40:21 | <merijn> | pdw: It should "Just Work" although possibly less efficient |
| 15:40:41 | <geekosaur> | it's conceivable that there are packages that depend on gmp being wired in, but those should be rare |
| 15:41:14 | <geekosaur> | and the rewritten integer-simple backend is pretty comparable to gmp these days |
| 15:41:21 | <pdw> | merijn/geekosaur: Thanks. Not doing anything that's efficiency-sensitive, so sounds like a good way to go. |
| 15:41:44 | <pdw> | Building on Windows is done with MSYS2? |
| 15:42:10 | <geekosaur> | yes |
| 15:44:26 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-169.46.114.pool.telefonica.de) |
| 15:45:55 | <pdw> | I like the sound of selecting the integer backend at runtime |
| 15:46:18 | <pdw> | Is the idea that you'd pass a build flag/Cabal setting to make the build use one or the other? |
| 15:47:14 | <geekosaur> | I think it's intended to be an RTS setting (+RTS …) |
| 15:47:22 | <merijn> | It can't be, right? |
| 15:47:36 | <geekosaur> | the first stage (making them use compatible representations) is already done |
| 15:47:39 | <merijn> | That'd require some indirection at runtime on every math op |
| 15:47:57 | <merijn> | That'd wreck performance. Seems much more sensical for it to be a compile time option? |
| 15:48:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:48:17 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:61da:7e50:a55e:adda) (Quit: use-value) |
| 15:48:26 | <geekosaur> | all the stuff I've seen says runtime. I'm not sure it makes sense either, tbh |
| 15:48:54 | <merijn> | geekosaur: Well, there's "at GHC runtime" vs "at program runtime" |
| 15:49:14 | <merijn> | the former makes sense |
| 15:49:22 | <geekosaur> | not only for technical reasons but also because I imagine the folks who want to use simple instead of gmp won't want to switch dynamically but always use one or the other |
| 15:49:48 | <geekosaur> | ](since it's usually driven by "avoid anything related to GPL for lawyer reasons") |
| 15:49:59 | <merijn> | *LGPL ;) |
| 15:50:17 | <geekosaur> | either. lawyers don't generally distinguish |
| 15:52:51 | <pdw> | Main difference (IIRC) is you can link proprietary tools with LGPL libraries, so long as the libraries are separate i.e. dynamically linked. |
| 15:53:03 | <pdw> | I've seen that on some commercial tools. |
| 15:53:04 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 15:53:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:53:25 | <geekosaur> | yes, but the folks who care about this don't trust it |
| 15:53:57 | <pdw> | agree with the point, but there's not always an alternative, to be fair. |
| 15:54:49 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 15:55:10 | → | mechap joins (~mechap@user/mechap) |
| 15:55:42 | <pdw> | I presume I'm right to believe the comment I read somewhere that said on Windows, Haskell outputs binaries with statically-linked libGMP? |
| 15:56:44 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 15:57:40 | <pdw> | (That's my main reason for investigating integer-simple: static linking wouldn't allow the dynamic linking clause to be applicable.) |
| 15:58:06 | <mauke> | LGPL does not require dynamic linking |
| 15:58:32 | × | mncheckm quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 15:58:38 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 15:59:13 | <merijn> | LGPL requires dynamic linking *OR* making all the required bits to relink statically available |
| 15:59:19 | <pdw> | mauke: that's interesting. How would that work? |
| 15:59:36 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:9077:3e90:5614:a09f) |
| 15:59:53 | <merijn> | pdw: So you *can* distribute a statically linked binary IFF you also provide the application in a way that allows users to relink with a different library |
| 15:59:58 | → | mncheck joins (~mncheck@193.224.205.254) |
| 16:00:06 | <mauke> | provide object files for relinking |
| 16:00:25 | <merijn> | pdw: Note 4.D.0 here: https://www.gnu.org/licenses/lgpl-3.0.html |
| 16:01:02 | <pdw> | Yes, was looking at that, trying to fathom what "Minimal Corresponding Source" might mean. Sounded.... source-y. |
| 16:01:09 | × | mbuf quits (~Shakthi@49.204.138.106) (Quit: Leaving) |
| 16:01:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:01:36 | <merijn> | pdw: Basically provide *something* (possibly object files) that lets users link in a modified version of the LGPL lib |
| 16:02:13 | <merijn> | "The “Corresponding Application Code” for a Combined Work means the object code and/or source code for the Application, including any data and utility programs needed for reproducing the Combined Work from the Application, but excluding the System Libraries of the Combined Work." |
| 16:02:14 | <pdw> | So if I'm doing a typical cabal build, I'd just ship all of the .o files from under dist-new? Something like that? |
| 16:02:26 | <merijn> | pdw: Fortunately, the LGPL defines those terms above ;) |
| 16:03:04 | <pdw> | Yes - Corresponding Application Code made sense (I think) in terms of the binary objects. Though it seems to suggest I also need to ship a linker. |
| 16:03:11 | <merijn> | pdw: If you can define a workflow that results in the user being able to link the things |
| 16:03:35 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:03:40 | <pdw> | Can you shed any light on what Minimal Corresponding Source is talking about? |
| 16:03:53 | <merijn> | pdw: Are you dealing with proprietary code? Or something else? |
| 16:04:02 | <pdw> | I mean, I can parse the sentense, but can't see what it's talking about. |
| 16:04:32 | <merijn> | pdw: tbh, I *think* (but I'm not a lawyer) providing both a static and dynamic linked version of the program would *also* qualify as compliant |
| 16:04:35 | → | califax joins (~califax@user/califx) |
| 16:04:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:04:53 | <pdw> | This would be to distrubute code that'd be proprietary (commercial), so avoiding having to open up and/or distribute source would be the main issue. |
| 16:05:38 | <mauke> | minimal corresponding source is lgpl'd library source code |
| 16:05:48 | <pdw> | I've seen it done for some tools where the main application is a dynamically linked binary, and LGPL libraries/platforms/etc. are DLLs or shared objects shipped alongside. |
| 16:05:53 | <mauke> | which needs to stay open |
| 16:06:24 | <pdw> | ahh, well that makes lots of sense |
| 16:06:39 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 16:07:39 | <pdw> | so under LGPL 4.d.0) you'd ship the source for the correct library version (e.g. libGMP), plus the rest of the application in a standard binary format so that a user could re-link them. |
| 16:07:51 | <merijn> | pdw: Yes |
| 16:08:21 | <merijn> | Which is why I think a lot of the fear for libGMP is (mostly) unfounded |
| 16:08:39 | <merijn> | The most painful thing will be setting up a repeatable workflow for linking the final objects |
| 16:08:47 | <merijn> | But, that's a one time cost |
| 16:08:48 | <pdw> | agreed - that clause seems to be a very clear means for proprietary/LGPL code separation |
| 16:09:31 | <merijn> | Alternatively you could just provide static + dynamic versions and skip shipping the object code, but it's unclear to me whether that suffices |
| 16:10:08 | <pdw> | I think using a dynamic version would be covered under 4.d.1). |
| 16:10:35 | <merijn> | You can *probably* argue in court that it does, but probably want to avoid that. Could consider asking the copyright holder (i.e. FSF) for guidance on if they accept that |
| 16:10:36 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 16:11:30 | <pdw> | maybe I'm missing something, but would a dynamically linked executable not be the obvious "suitable shared library mechanism for linking with the Library" ? |
| 16:11:34 | <merijn> | pdw: Well, it's clear that you can ship a dynamic version that's relinkable (under 4.d.1) and that you can ship a static version if you ship the rebuildable objects (4.d.0). It is unclear if the dynamic version absolves you from having to provide the relinkable objects when distributing the static version |
| 16:11:57 | <pdw> | ah, I see what you mean. |
| 16:12:21 | <pdw> | yes, I'd imagine it does given that (d) explicitly says "one of the following" |
| 16:12:35 | <merijn> | pdw: I *think* so too, but I'm not *sure* |
| 16:13:00 | <pdw> | :-) Yes, very fair point, especially with things such as this |
| 16:13:09 | <merijn> | But since the FSF is the copyright holder of GMP and only the copyright holder can sue, the easiest way to clarify is probably to just mail the GMP mailing lists and/or FSF and ask if that is sufficient |
| 16:13:14 | × | mei quits (~mei@user/mei) (Ping timeout: 268 seconds) |
| 16:13:23 | <merijn> | if you have an email reply that says "yes", that should be pretty conclusive in court |
| 16:13:30 | <pdw> | That is a very good suggestion |
| 16:14:15 | <merijn> | because it doesn't even matter for LGPL in general, all that matters is that the copyright holders of GMP agree with your interpretation :p |
| 16:14:21 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 256 seconds) |
| 16:14:25 | <merijn> | (and maybe a paper trail of their agreeance) |
| 16:14:48 | <pdw> | precisely! |
| 16:15:23 | <pdw> | But I think the first thing for me will be to see whether I can produce a dynamically linked executable (i.e. not statically linking libGMP) at all |
| 16:15:26 | <pdw> | (on Windows) |
| 16:16:35 | → | gentauro joins (~gentauro@user/gentauro) |
| 16:16:41 | <geekosaur> | what you're all missing is (a) you're not corporate lawyers (b) the very fact that you need to sit down and try to figure it out is reason enough for said corporate lawyers to say "we don't want to have to deal with this" |
| 16:18:08 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:20:38 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Remote host closed the connection) |
| 16:20:39 | <pdw> | geekosaur: I certainly can't argue with that, and I imagine that people with access to a corporate legal department couldn't argue with it either... |
| 16:20:58 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 16:20:59 | → | mei joins (~mei@user/mei) |
| 16:22:28 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 16:22:36 | <geekosaur> | on a tangent, one of the things that came with gmp-bignum is that they can more easily try alternatives like libtommath now |
| 16:22:52 | <geekosaur> | tommath didn't work so well when they last tried it, but that was 15 years ago |
| 16:23:02 | → | mncheck joins (~mncheck@193.224.205.254) |
| 16:24:13 | <merijn> | pdw: I mean, Carmack managed to argue with multiple different ones in favour of GPLing Doom and other stuff :p |
| 16:24:22 | <merijn> | So it *can* be done :p |
| 16:26:04 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 16:29:32 | → | ft joins (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 16:31:39 | × | ddellacosta quits (~ddellacos@146.70.166.10) (Quit: WeeChat 3.8) |
| 16:32:27 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 16:33:02 | → | ddellacosta joins (~ddellacos@146.70.166.10) |
| 16:33:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) |
| 16:42:13 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 16:48:36 | <pdw> | merijn: Did you really just say "Hey, if Carmack can do it...?" in response to a question about what *my* options might be. :-D |
| 16:49:12 | <pdw> | That's definitely just made my afternoon |
| 16:49:27 | <merijn> | I'm just saying "sufficiently stubborn people can get legal to do what they want" |
| 16:51:18 | <maerwald> | can't see any stubborn people here |
| 16:53:43 | <pdw> | looks like there's an easy way out, in any case - I'd been looking at older GHC releases, but the newer ones appear to be available in integer-simple variants |
| 16:54:26 | <pdw> | (on Windows, at least) |
| 16:56:21 | <pdw> | might try building from source on Linux anyway, since the non-Alpine binary releases on Linux are all libGMP |
| 16:56:36 | → | Guest7149 joins (~Guest71@31.56.132.77.rev.sfr.net) |
| 16:56:52 | Guest7149 | is now known as co_fi6 |
| 16:57:14 | <pdw> | Is this a typo? https://www.haskell.org/ghc/download_ghc_9_4_4.html says "*Alpine (GMP bignum implementation)* ... this links against the integer-simple big-integer backend and therefore does not require libgmp." |
| 16:58:35 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:59:18 | × | dekster quits (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) (Quit: ZZZzzz…) |
| 17:01:02 | → | razetime joins (~Thunderbi@117.193.1.135) |
| 17:01:44 | <geekosaur> | sounds like a copy-pasta |
| 17:01:46 | → | hammdist joins (~hammdist@67.169.114.135) |
| 17:01:53 | <maerwald> | alpine is a mess |
| 17:02:02 | <geekosaur> | from the prior entry |
| 17:02:03 | <maerwald> | some bindists are dynamic, some static, some gmp, some not |
| 17:02:23 | <hammdist> | hello. I want to use the ghc library to get an AST of a haskell program complete with type information. is this possible? |
| 17:02:55 | → | dhil joins (~dhil@80.208.56.181.static.fibianet.dk) |
| 17:05:32 | <pdw> | hammdist: I think I did something like this a while ago, to help me understand how Haskell expressions were being parsed. Not sure if it'll be what you need, but I'll see if I can dig it out |
| 17:06:14 | <geekosaur> | it should be possible but you need to make sure you run the typechecking phase, not just the parser or renamer |
| 17:06:51 | → | dekster joins (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) |
| 17:09:02 | <hammdist> | pdw: ah thanks if you have any code at all along these lines that would be most helpful |
| 17:11:13 | × | razetime quits (~Thunderbi@117.193.1.135) (Remote host closed the connection) |
| 17:13:54 | → | krei-se joins (~quassel@p5087440b.dip0.t-ipconnect.de) |
| 17:13:58 | × | co_fi6 quits (~Guest71@31.56.132.77.rev.sfr.net) (Quit: Client closed) |
| 17:14:17 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:9077:3e90:5614:a09f) (Quit: use-value) |
| 17:14:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 17:16:00 | → | cheater_ joins (~Username@user/cheater) |
| 17:17:03 | × | MajorBiscuit quits (~MajorBisc@c-001-018-056.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6) |
| 17:19:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 17:19:05 | cheater_ | is now known as cheater |
| 17:20:58 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:21:33 | <zzz> | i need help. i'm making an interactive gloss animationa and want to add sound to it. the sound (mostly basic waveforms interacting) should depend on the State i pass to gloss. i've been reading documentation and exploring some audio libraries but have no idea how to make this work. i have never done anything similar, so zero experience with audio libraries |
| 17:22:25 | <pdw> | is there a preferred pastebin service we like using in here? don't have a preference myself yet |
| 17:23:19 | <zzz> | pdw: see /topic |
| 17:26:50 | <pdw> | zzz: thanks, missed that |
| 17:27:58 | geekosaur | wonders if that'll end up under haskell.org like play. did |
| 17:30:22 | <pdw> | hammdist: Have dug out a couple of things that I found useful. This was a couple of years ago, so there might be better options out there now. |
| 17:31:25 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:31:26 | <pdw> | There's Language.Haskell.Exts.Parser.parseExp (in package haskell-src-exts), which gives a very detailed breakdown of the AST resulting from parsing a Haskell expression. |
| 17:32:07 | <pdw> | That was a bit overkill for my needs, so I also found Language.Haskell.Meta.Parse.parseExp (package haskell-src-meta) which gives a more concise output. |
| 17:32:38 | <pdw> | I've put a short demonstration of them over here: https://paste.tomsmeding.com/SVfziuQ3 |
| 17:32:45 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 17:33:47 | <pdw> | I can't comment (per geekosaur's comment) as to whether those deal with the typechecking/renaming phases well enough for your situation, but they were of use to me. |
| 17:33:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 17:35:05 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:36:40 | → | Guest711 joins (~Guest71@46.56.132.77.rev.sfr.net) |
| 17:36:47 | × | Guest711 quits (~Guest71@46.56.132.77.rev.sfr.net) (Client Quit) |
| 17:37:45 | × | zeenk quits (~zeenk@2a02:2f04:a20d:f900::7fe) (Quit: Konversation terminated!) |
| 17:37:51 | mei | is now known as Guest6620 |
| 17:37:57 | → | mei joins (~mei@user/mei) |
| 17:39:23 | × | Guest6620 quits (~mei@user/mei) (Ping timeout: 248 seconds) |
| 17:39:44 | <monochrom> | Oh! I'll update the /topic for the new playground URL |
| 17:39:53 | ChanServ | sets mode +o monochrom |
| 17:40:31 | monochrom | sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell" |
| 17:40:57 | monochrom | sets mode -o monochrom |
| 17:44:06 | <int-e> | monochrom: can you also insert a | in front of the playground link, please? |
| 17:44:18 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 17:44:22 | <monochrom> | OK |
| 17:44:25 | ChanServ | sets mode +o monochrom |
| 17:44:35 | monochrom | sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell" |
| 17:44:39 | <int-e> | thanks :) |
| 17:44:40 | monochrom | sets mode -o monochrom |
| 17:44:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) (Remote host closed the connection) |
| 17:45:12 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:45:51 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 17:46:14 | → | polyphem_ joins (~rod@2a02:810d:840:8754:a35e:d131:c7e2:7e89) |
| 17:46:37 | → | cheater joins (~Username@user/cheater) |
| 17:48:46 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 17:52:36 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 17:53:01 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 17:53:39 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:55:00 | → | Nolrai joins (~Nolrai@c-73-240-99-98.hsd1.or.comcast.net) |
| 17:55:35 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 17:57:47 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 17:59:48 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:59:53 | → | econo joins (uid147250@user/econo) |
| 18:00:09 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 18:00:24 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 18:00:49 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:01:36 | → | npmania joins (~Thunderbi@91.193.7.62) |
| 18:03:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) |
| 18:05:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 18:06:42 | <hammdist> | pdw: well thanks but I don't see much type information there. I will probably have to hack something together with invoking ghc lib as per geekosaur's comment |
| 18:08:33 | × | kuribas quits (~user@ptr-17d51engq5fqfsjpte2.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:08:54 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 18:12:46 | → | npm_i_kurbus joins (~npm_i_kur@user/kurbus) |
| 18:13:14 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 18:17:19 | <hammdist> | https://paste.ee/p/r2h2W when I try to run the example code for ghc lib from https://wiki.haskell.org/GHC/As_a_library |
| 18:17:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 18:17:58 | <hammdist> | (well it's not strictly speaking the example code I modified it a bit. but mainly asking how to resolve those imports) |
| 18:19:17 | → | werneta joins (~werneta@137.79.193.28) |
| 18:19:32 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:20:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:21:07 | × | werneta quits (~werneta@137.79.193.28) (Client Quit) |
| 18:22:03 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 248 seconds) |
| 18:22:21 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:22:22 | <hammdist> | found that import statement. new error: https://paste.ee/p/A8O5y |
| 18:23:20 | × | teo quits (~teo@user/teo) (Ping timeout: 268 seconds) |
| 18:23:45 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:25:29 | <hammdist> | signature of that function does not explain the error: `guessTarget :: GhcMonad m => String -> Maybe Phase -> m Target` |
| 18:26:01 | ChanServ | sets mode +o litharge |
| 18:26:01 | litharge | sets mode -bo *!*@static.167.190.119.168.clients.your-server.de$##fix_your_connection litharge |
| 18:26:15 | <geekosaur> | I think you'll need to ask in #ghc (and update the wiki accordingly; the ghc api is not very stable) |
| 18:28:08 | <hammdist> | ah I can see a different signature for my current version which is 9.4.4 |
| 18:32:51 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 18:37:09 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 18:37:37 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 18:37:46 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:a35b:2d28:c16d:4824) (Remote host closed the connection) |
| 18:37:46 | ub | is now known as ubert |
| 18:37:51 | × | CiaoSen quits (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 18:38:38 | → | cheater_ joins (~Username@user/cheater) |
| 18:39:47 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:39:48 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 18:40:28 | <pdw> | hammdist: Sorry that wasn't much use - suspect this is a bit above my experience level. The only other thing I've seen is the 'Core' output from play.haskell.org, but I imagine that's related to what you're already looking into. |
| 18:41:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 18:41:24 | cheater_ | is now known as cheater |
| 18:41:25 | <Nolrai> | So if I have an iso that's partial one way is that a prism? No..thats not quite right. |
| 18:42:07 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 18:43:04 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 18:43:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 18:46:00 | <c_wraith> | Nolrai: no, that's correct |
| 18:46:22 | <c_wraith> | if it's total in one direction and partial in the other, it's a prism |
| 18:48:27 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 18:52:47 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 18:53:09 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 18:55:03 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:56:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 18:58:48 | <Nolrai> | Yes, though in my particular case it was really more an lens in the oposite direction. |
| 19:01:58 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 19:04:21 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::a47c) |
| 19:09:34 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:18:06 | <Jade[m]1> | why is there no way for overloaded functions? They would work just fine if you simply required the first (only) parameter to be different in its type, right? |
| 19:18:47 | <mauke> | like methods? |
| 19:19:14 | <geekosaur> | type directed name resolution poses problems with type inference |
| 19:19:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 19:19:32 | <Jade[m]1> | Right now the only way to overload is via a class |
| 19:19:40 | <Jade[m]1> | geekosaur: ah, mh ok |
| 19:19:48 | <geekosaur> | as it is, typeclasses with more than one parameter need help for type inference to work (fundeps or associated types) |
| 19:20:48 | <mauke> | I import 4 'foo' functions from different modules. their first parameters have the following types: [a], f Char, a, String |
| 19:20:55 | <mauke> | which one does foo "hello" call? |
| 19:21:18 | <Jade[m]1> | mhm yeah that's an issue |
| 19:21:40 | <Nolrai> | In practice though type classes are what haskell uses to do what other languages do with overloading. Even if Idris and such have different division of labor. |
| 19:22:02 | × | zer0bitz_ quits (~zer0bitz@2001:2003:f443:d600:fc46:678f:19c6:5892) () |
| 19:22:15 | <mauke> | also, regular overloading is boring |
| 19:22:28 | <mauke> | you get the same effect by just using different names |
| 19:22:29 | <geekosaur> | you can still hit that with typeclasses, but they're all overlapping and require you to mark them as such — and no promises are made even in that case, although ghc will try |
| 19:22:38 | <mauke> | you can't abstract over overloading |
| 19:23:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:24:59 | → | zer0bitz joins (~zer0bitz@2001:2003:f443:d600:f59d:2630:d861:aa7e) |
| 19:26:26 | × | Nolrai quits (~Nolrai@c-73-240-99-98.hsd1.or.comcast.net) (Quit: Client closed) |
| 19:30:13 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 19:34:25 | × | npm_i_kurbus quits (~npm_i_kur@user/kurbus) (Quit: Client closed) |
| 19:36:55 | → | finsternis joins (~X@23.226.237.192) |
| 19:38:31 | → | ardell joins (~ardell@user/ardell) |
| 19:42:45 | <Midjak> | hello |
| 19:43:06 | × | ardell quits (~ardell@user/ardell) (Client Quit) |
| 19:43:23 | → | ardell joins (~ardell@user/ardell) |
| 19:43:59 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 19:44:12 | <Midjak> | Is there something in haskell for manipulation of large set of data. (as pandas by instance) |
| 19:44:33 | → | notzmv joins (~zmv@user/notzmv) |
| 19:51:15 | × | polyphem_ quits (~rod@2a02:810d:840:8754:a35e:d131:c7e2:7e89) (Ping timeout: 260 seconds) |
| 19:51:43 | → | polyphem_ joins (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 19:52:32 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 19:53:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:53:51 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 19:55:35 | <davean> | Midjak: There are a lot of things. Sadly more a set of tools than a framework. |
| 19:58:51 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 19:59:36 | <[exa]> | Midjak: for actually big data there's some Spark support (see https://github.com/tweag/sparkle ). For smaller data you're usually sufficiently good off with manually created data structures, say in Repa or other strict arrays. |
| 20:00:30 | <[exa]> | Midjak: the "dataframe middleware" isn't required as direly as in pythons and R's because the language actually can compile pretty efficient code and data structures on itself. |
| 20:01:09 | <Midjak> | Well the framework aspect in pandas is not what I prefer. what would you advise me to start with Haskell ? What I would like could be the possibily to compose functions on the dataset. |
| 20:02:00 | <Midjak> | [exa], oh ! ok... |
| 20:02:15 | <[exa]> | depends a lot on what "dataset" is here. There's the huge stream-processing framework (conduit and others) that is pretty good for chewing big data |
| 20:02:35 | <[exa]> | esp. if the stuff doesn't really fit in memory, streams are nice |
| 20:02:44 | <[exa]> | for arrays and matrices, there's repa |
| 20:03:15 | <[exa]> | the rest might really depend on the usecase |
| 20:03:20 | <davean> | Yah, I usualyl chew through my datasets with a machines network and just stream it through. |
| 20:03:33 | <davean> | maybe some lenses |
| 20:04:14 | <Midjak> | I think repas it's what I need. |
| 20:04:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 20:04:33 | <davean> | Yah if you're more arrayish than stream-ish |
| 20:05:18 | <Midjak> | I work mainly with buig CSV I must shape |
| 20:05:24 | <Midjak> | not stream |
| 20:05:31 | <davean> | https://hackage.haskell.org/package/cassava |
| 20:05:35 | <davean> | What do you mean by shape? |
| 20:05:43 | <davean> | Most of my data is in CSV |
| 20:05:56 | <[exa]> | there's CSV and CSV :D |
| 20:06:12 | <Midjak> | pivot, column renaming, etc... |
| 20:06:17 | <[exa]> | for "narrow" data like 1 measurement per CSV line, cassava and streamings are OK |
| 20:06:32 | <[exa]> | for "wide" data like putting a 1000x1000 matrix to a CSV, repa it is |
| 20:06:43 | <davean> | Midjak: Yah, I do pivots and renaming and such streaming. |
| 20:06:47 | <[exa]> | if you want column names, cassava approach should be better |
| 20:06:55 | <Midjak> | well the CSV i have now has 2,103,552 rows |
| 20:07:04 | <davean> | Yes? Thats EXACTLY why I stream |
| 20:07:05 | <[exa]> | how many cols? |
| 20:07:06 | <Midjak> | it's big no ? |
| 20:07:08 | <[exa]> | no |
| 20:07:09 | <davean> | I don't have to hold it in memory |
| 20:07:17 | <Midjak> | 13 columns |
| 20:07:26 | <[exa]> | that's in-memory op |
| 20:07:27 | <davean> | 2M rows is NOTHING |
| 20:07:38 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 20:07:39 | <Midjak> | yes I know. I am streamish guy too |
| 20:07:40 | <[exa]> | unless your rows have like, images. :D |
| 20:07:42 | <davean> | So small I wouldn't even think about how I do it |
| 20:07:47 | <Midjak> | but not my boss :-D |
| 20:08:35 | <davean> | pivot is SLIGHTLY work in CSV streaming, but thats why I use machines. |
| 20:08:47 | <Midjak> | well in Haskell maybe davean |
| 20:08:51 | <davean> | Midjak: ? |
| 20:09:08 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:09:14 | <Midjak> | with python without pandas it's big |
| 20:09:18 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:09:25 | <davean> | interesting |
| 20:09:51 | <[exa]> | Midjak: if in-memory performance is a concern I'd tell you to try julia on that, it might be the most cost-effective solution by far |
| 20:09:56 | <davean> | Hum, maybe I should publish some of my CSV ops |
| 20:10:06 | <Midjak> | I didn't try, but just opening the file and create the df takes a while |
| 20:10:16 | <[exa]> | Midjak: pythons. :D |
| 20:10:33 | <Midjak> | yeah... |
| 20:10:36 | <davean> | Midjak: I'm REALLY busy today, but do you have some pseudo code of what you want to do as examples? |
| 20:11:09 | <davean> | (You certainly should move forward now, but it might make an interesting conversation and comparison in the future) |
| 20:12:59 | <Midjak> | I'm actually starting a new job on Monday and I'm looking at their stack (Pandas, Dash) and I was wondering how Haskell handles that kind of work. Now I'm just trying to manipulate the data and display it with Dash. |
| 20:13:41 | <Midjak> | Yes it will be a real pleasure to have feedback on this from Haskell world. |
| 20:13:49 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 20:14:22 | <Midjak> | Julia attracts me for a while |
| 20:14:33 | <[exa]> | Midjak: haskell is for doing stuff as-right-as-practically-possible; if they do quick&dirty prototyping most of the time it might not be |
| 20:14:38 | <[exa]> | *very effective |
| 20:15:15 | <Midjak> | But I had to choose between what I want to learn. At now I am on Haskell and Rust (Python and JS at work) |
| 20:15:50 | <[exa]> | OTOH if you have a well-specified problem where you need the data processing to work perfectly forever, haskell. |
| 20:19:21 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Quit: leaving) |
| 20:20:12 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:23:15 | <Midjak> | i have to go now but davean [exa] we can continue later on if you want |
| 20:23:19 | <[exa]> | sure :] |
| 20:27:43 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 20:29:28 | <davean> | [exa]: Honestly I find Haskell *with the right support libraries* great for throwing stuff together, its when you change domain you run into work. |
| 20:31:30 | <monochrom> | python users proved that with the right libraries you can throw stuff together and the language doesn't matter. |
| 20:32:17 | <monochrom> | Look at their machine learning users, algebra users, physics users. |
| 20:33:11 | <monochrom> | (SymPy for the algebra users for example) |
| 20:34:04 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 20:34:59 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 20:35:42 | × | [exa] quits (~exa@srv3n.blesmrt.net) (Remote host closed the connection) |
| 20:38:24 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 20:39:03 | × | dekster quits (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) (Quit: ZZZzzz…) |
| 20:39:17 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 20:39:30 | × | AmyMalik quits (ellenor@callbox.trd.is) (Quit: Bye Open Projects!) |
| 20:40:23 | → | dekster joins (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) |
| 20:41:44 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 20:45:39 | → | Ellenor joins (ellenor@callbox.trd.is) |
| 20:49:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 20:49:36 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 20:51:27 | → | teo joins (~quassel@user/teo) |
| 20:51:36 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 20:54:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 248 seconds) |
| 20:58:19 | → | pavonia joins (~user@user/siracusa) |
| 20:58:36 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 21:00:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e1f4:8ede:df26:d4a0) (Remote host closed the connection) |
| 21:00:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:01:05 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 21:01:33 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 21:02:55 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 21:04:06 | × | ix quits (~ix@213.205.242.28) (Ping timeout: 255 seconds) |
| 21:11:05 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 21:12:41 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 21:12:59 | <remexre> | this is maybe a sign that i'm going overboard on DataKinds+TypeFamilies, but |
| 21:13:19 | <remexre> | I've got a type family that does a map over a type-level list (as in a DataKinds'd one) |
| 21:13:43 | <remexre> | is there any way I can get the typechecker to realize that (F xs ~ '[]) implies (xs ~ '[]) ? |
| 21:15:09 | <geekosaur> | I suspect you'd need a plugin that added the necessary evidence. ghc's not real smart about that kind of thing |
| 21:16:06 | <geekosaur> | yet another reason you should really consider Idris if you're doing heavy type level stuff… |
| 21:16:59 | <geekosaur> | (I'm not sure DH would help with this, since it's not a dependent type, just a major shortcoming in ghc's type level machinery) |
| 21:18:23 | <remexre> | I mean, in Idris I'd still need to prove this too, right? |
| 21:18:40 | <remexre> | well, I guess "map preserves structure" is almost certainly in the stdlib, but still |
| 21:19:40 | <geekosaur> | right. but you'd only have to prove it once. a ghc plugin would have to add the proof/evidence everywhere it was used |
| 21:21:06 | <geekosaur> | (see for example how natnormalise forces ghc to accept various "obvious" rules) |
| 21:22:15 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::a47c) (Quit: Where is it) |
| 21:28:29 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:28:43 | × | jwiegley quits (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 21:28:51 | → | jwiegley_ joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 21:29:25 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 21:29:51 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 21:31:41 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:32:54 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-169.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 21:33:11 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:37:34 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 21:38:01 | × | teo quits (~quassel@user/teo) () |
| 21:39:32 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-169.46.114.pool.telefonica.de) |
| 21:47:18 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 21:52:22 | × | krei-se quits (~quassel@p5087440b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 21:58:14 | <geekosaur> | whee! [ANNOUNCE] GHC 9.6.1-rc1 is now available |
| 21:58:46 | <Rembane> | \o/ |
| 22:00:00 | × | dekster quits (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) (Quit: ZZZzzz…) |
| 22:00:32 | → | dekster joins (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) |
| 22:01:19 | → | Midjak2 joins (~Midjak@82.66.147.146) |
| 22:01:43 | × | Midjak quits (~Midjak@82.66.147.146) (Ping timeout: 256 seconds) |
| 22:01:59 | <monochrom> | ooohhh js and webasm |
| 22:02:00 | × | Midjak2 quits (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 22:02:04 | <tomsmeding> | what's the difference between an alpha and a release candidate :p |
| 22:02:31 | <monochrom> | but "tech review" haha ok |
| 22:02:56 | <monochrom> | But delimited cont is the one everyone was waiting for heh |
| 22:03:49 | <monochrom> | Will the playground have this rc1 soon? :) |
| 22:04:26 | <monochrom> | I think alpha is less ready than beta, and rc is more ready than beta. |
| 22:04:39 | <monochrom> | or maybe rc=beta |
| 22:05:33 | <darkling> | rc should be post beta |
| 22:06:07 | <monochrom> | Somehow GHC doesn't have beta, just has alpha, rc, release |
| 22:06:28 | <darkling> | I guess every project has its own criteria. |
| 22:07:07 | × | ubert quits (~Thunderbi@p200300ecdf29471416a399119c633262.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:07:08 | <darkling> | (I've never forgiven the maven developers for breaking maven by removing an API function between two RCs) |
| 22:07:09 | → | ub joins (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) |
| 22:07:48 | <monochrom> | Yikes. But it may depend on why they did it. |
| 22:09:27 | ub | is now known as ubert |
| 22:09:52 | <tomsmeding> | monochrom: when ghcup has it :) |
| 22:10:04 | <monochrom> | heh fair |
| 22:10:23 | <geekosaur> | that should be soonish |
| 22:11:28 | <tomsmeding> | ping me if you see it in ghcup and it's not on the playground yet (this is currently a manual process) |
| 22:11:58 | <monochrom> | Hrm, "type data" is not an entirely intuitive name. |
| 22:12:05 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 22:12:49 | → | cheater joins (~Username@user/cheater) |
| 22:12:54 | <monochrom> | But I guess in the interest of minimizing reserved words... |
| 22:13:25 | × | akegalj quits (~akegalj@93-138-62-24.adsl.net.t-com.hr) (Quit: leaving) |
| 22:14:56 | <tomsmeding> | though any lowercase word after "type" or "data" would've been fine syntax-wise |
| 22:15:02 | <tomsmeding> | but maybe not very future-proof |
| 22:15:16 | → | gnalzo_ joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 22:15:29 | <tomsmeding> | oh, or would it? Perhaps 'data c a => T = MkT' is valid syntax with DatatypeContexts |
| 22:16:13 | <geekosaur> | I think "instance" already set how they deal |
| 22:16:28 | <monochrom> | But it means that c is not the name you are defining. |
| 22:16:49 | <tomsmeding> | hah yes 'data c a => T c a = MkT' is accepted with -XDatatypeContexts -XConstraintKinds |
| 22:16:57 | <monochrom> | Ah nevermind, you are making that point. |
| 22:16:59 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Ping timeout: 264 seconds) |
| 22:17:20 | <tomsmeding> | monochrom: yeah, that the word after "data" would really need to be a reserved word, not just any lowercase thing |
| 22:17:30 | × | dekster quits (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) (Quit: ZZZzzz…) |
| 22:17:42 | <tomsmeding> | perhaps it would still be unambiguous after "type", but then that's somewhat fragile |
| 22:18:27 | → | dekster joins (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) |
| 22:19:35 | → | Midjak joins (~Midjak@82.66.147.146) |
| 22:19:43 | × | dhil quits (~dhil@80.208.56.181.static.fibianet.dk) (Ping timeout: 248 seconds) |
| 22:20:32 | gnalzo_ | is now known as gnalzo |
| 22:24:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:24:48 | × | hammdist quits (~hammdist@67.169.114.135) (Quit: Client closed) |
| 22:27:10 | → | ix joins (~ix@46.68.8.176) |
| 22:30:37 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 22:32:40 | × | michalz quits (~michalz@185.246.204.121) (Remote host closed the connection) |
| 22:32:41 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 22:33:03 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 22:33:20 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 22:33:40 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 22:34:34 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Ping timeout: 252 seconds) |
| 22:35:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:38:23 | → | gmg joins (~user@user/gehmehgeh) |
| 22:39:41 | Ellenor | is now known as AmyMalik |
| 22:40:18 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:40:20 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 22:42:13 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 22:44:41 | × | pdw quits (~user@197.33.187.81.in-addr.arpa) (Quit: ERC (IRC client for Emacs 26.3)) |
| 22:45:25 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 22:47:26 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:47:37 | dekster | is now known as Albina_Pavlovna |
| 22:57:50 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 23:01:27 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 23:02:24 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 23:02:52 | → | _xor joins (~xor@72.49.195.228) |
| 23:19:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:20:55 | × | Dykam quits (Dykam@dykam.nl) (Quit: Dykam) |
| 23:21:59 | → | Dykam joins (Dykam@dykam.nl) |
| 23:22:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 23:27:11 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:f59d:2630:d861:aa7e) (Ping timeout: 260 seconds) |
| 23:27:27 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 23:33:45 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 23:43:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 23:45:13 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:51:45 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 23:53:16 | × | Albina_Pavlovna quits (~dekster@2603-7000-1203-4d7c-8c00-75d6-3287-dba1.res6.spectrum.com) (Quit: ZZZzzz…) |
| 23:55:43 | × | acidjnk_new quits (~acidjnk@p200300d6e715c407c95a74b02ab5f24e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
All times are in UTC on 2023-03-03.