| 2022-09-05 00:01:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-09-05 00:04:11 +0200 | phma | (~phma@2001:5b0:211f:fbb8:a75a:9dc7:399b:3e12) (Read error: Connection reset by peer) |
| 2022-09-05 00:05:53 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-05 00:07:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-09-05 00:11:47 +0200 | phma | (~phma@host-67-44-208-144.hnremote.net) |
| 2022-09-05 00:14:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-05 00:18:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 00:23:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 00:23:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 00:26:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Read error: Connection reset by peer) |
| 2022-09-05 00:33:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-09-05 00:36:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 00:42:18 +0200 | rodrigc | (~rodrigc@c-24-4-29-181.hsd1.ca.comcast.net) |
| 2022-09-05 00:43:10 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-05 00:44:33 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 00:46:20 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-09-05 00:48:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2022-09-05 00:48:57 +0200 | cln_ | cln |
| 2022-09-05 00:49:43 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-09-05 00:50:30 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-09-05 00:51:50 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-05 00:54:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 00:55:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 01:00:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 01:09:26 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-05 01:09:57 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 01:11:31 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 252 seconds) |
| 2022-09-05 01:12:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-05 01:15:01 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-05 01:16:21 +0200 | acidjnk | (~acidjnk@p200300d6e7137a74e455d1c661893365.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-05 01:18:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-05 01:26:05 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-05 01:26:45 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:2801:bccb:2609:2b10) |
| 2022-09-05 01:27:58 +0200 | <tvandinther> | This feels like it should be painfully obvious but I can not figure it out. How do I create a list of `RealFrac` from literals? |
| 2022-09-05 01:28:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 01:28:58 +0200 | <geekosaur> | RealFrac isn't a type, it's a typeclass. You can make a list of a type which has a RealFrac instance |
| 2022-09-05 01:29:07 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-05 01:29:20 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 268 seconds) |
| 2022-09-05 01:29:22 +0200 | <geekosaur> | or you can use an existential wrapper and make a list of that, but that's rarely what you really want |
| 2022-09-05 01:30:07 +0200 | <tvandinther> | I have a list of floats at the moment (e.g. 0.19, 0.325) etc. I could represent them as fractions if required, but not sure how to do this. |
| 2022-09-05 01:30:59 +0200 | <jackdk> | tvandinther: as strings? like `["0.19", "0.325"]`? |
| 2022-09-05 01:31:01 +0200 | <pavonia> | :t let xs :: RealFrac a => [a]; xs = [0.1, 2.345] in xs |
| 2022-09-05 01:31:02 +0200 | <lambdabot> | RealFrac a => [a] |
| 2022-09-05 01:31:06 +0200 | <geekosaur> | difficult to do anything useful with the existential version |
| 2022-09-05 01:32:02 +0200 | <geekosaur> | pavonia, that is subtly different |
| 2022-09-05 01:32:26 +0200 | <geekosaur> | in partiocular there will be a distinct list for each instance of RealFrac |
| 2022-09-05 01:32:26 +0200 | <jackdk> | No, sorry, I wasn't reading properly. What are you trying to do? If they're `Double` or `Float` or some concrete type like that, those types have a `RealFrac` instance already. |
| 2022-09-05 01:32:49 +0200 | <pavonia> | geekosaur In what way different? |
| 2022-09-05 01:33:00 +0200 | <geekosaur> | I just told you |
| 2022-09-05 01:33:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 01:33:21 +0200 | <geekosaur> | xs is a function which takes an instance dictionary as parameter and produces the list corresponding to it |
| 2022-09-05 01:33:26 +0200 | <pavonia> | But different from what? |
| 2022-09-05 01:33:30 +0200 | <jackdk> | pavonia: It is sometimes helpful to think of `=>` as a function arrow that is filled in by the compiler, usually with a typeclass dictionary |
| 2022-09-05 01:33:46 +0200 | <geekosaur> | this is different from a list of RealFrac a |
| 2022-09-05 01:34:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 01:34:24 +0200 | <geekosaur> | (which would, for example, let you have some elements be Double, some Float, some Rational, ...) |
| 2022-09-05 01:34:25 +0200 | <monochrom> | Use either [Double] or [Rational] and be done with it. |
| 2022-09-05 01:35:05 +0200 | <geekosaur> | anyway, tvandinther, what are you really trying to do? |
| 2022-09-05 01:35:07 +0200 | <tvandinther> | The goal is to create a constant list of breakpoints which can be 0 to 1 inclusive. |
| 2022-09-05 01:35:08 +0200 | <pavonia> | Maybe I misinterpreted the question then |
| 2022-09-05 01:35:48 +0200 | <geekosaur> | so why do they need to be RealFrac a => a instead of a concrete type? |
| 2022-09-05 01:37:13 +0200 | <tvandinther> | I figured it was better to express my equations with respect to the typeclass so that they would be more flexible |
| 2022-09-05 01:37:44 +0200 | mixfix41 | (~sdeny9ee@75-98-145-98.cpe.safelink.net) |
| 2022-09-05 01:37:56 +0200 | mixfix41 | (~sdeny9ee@75-98-145-98.cpe.safelink.net) (Changing host) |
| 2022-09-05 01:37:56 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-05 01:38:45 +0200 | <DigitalKiwi> | dependent types when |
| 2022-09-05 01:38:50 +0200 | <monochrom> | haha |
| 2022-09-05 01:39:38 +0200 | <geekosaur> | I would say monochrom has it right: just pick a type. flexibility here comes at several prices that usually aren't worth paying |
| 2022-09-05 01:40:10 +0200 | <geekosaur> | complexiity fitting them into a list with existentials, performance because of typeclass dictionaries, etc. |
| 2022-09-05 01:40:31 +0200 | <monochrom> | "xs :: RealFrac a => [a]" can work. But I advise against prematrue generalizations. |
| 2022-09-05 01:40:59 +0200 | <DigitalKiwi> | heh so if you had a type that is "fractional less than 1" ... does that break `sum`? |
| 2022-09-05 01:41:46 +0200 | <monochrom> | Definition: A generalization is premature if you don't know of at least 3 distinct specializations. |
| 2022-09-05 01:42:09 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-05 01:42:39 +0200 | <geekosaur> | s/know of/have a use for/, I'd say |
| 2022-09-05 01:42:48 +0200 | <tvandinther> | I end up with equations which multiply doubles with ints. Is it expected to do conversions inside the equation? My intuition tells me to use types and push these conversions to the edges. |
| 2022-09-05 01:43:25 +0200 | <geekosaur> | conversions are a fact of life. and RealFrac won't push it to the edges, it'll just complicate things more |
| 2022-09-05 01:43:40 +0200 | <monochrom> | int is not RealFrac either. |
| 2022-09-05 01:44:53 +0200 | <monochrom> | There are XY problems, and then there are XYcomplement problems. |
| 2022-09-05 01:45:01 +0200 | <DigitalKiwi> | sum :: Num a => t a -> a |
| 2022-09-05 01:45:12 +0200 | <tvandinther> | Since double and int both share the typeclass `Num` should I use that for the output of the function which multiplies them? |
| 2022-09-05 01:45:19 +0200 | <DigitalKiwi> | NumsBetweenZeroAnd1 |
| 2022-09-05 01:45:34 +0200 | <monochrom> | Definition: An XYcomplement problem is when you need to solve X, you think Y solves X, but actually Y is the antithesis to X. |
| 2022-09-05 01:45:58 +0200 | Successus | (~Successus@user/Successus) () |
| 2022-09-05 01:46:11 +0200 | <DigitalKiwi> | now sum [0.5, 0.5, 0.5] |
| 2022-09-05 01:47:10 +0200 | <DigitalKiwi> | wrong type, what do? |
| 2022-09-05 01:47:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 01:47:25 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-05 01:48:14 +0200 | <geekosaur> | tvandinther, it doesn't worhk that way |
| 2022-09-05 01:48:53 +0200 | <geekosaur> | you can't multiply them without a conversion. Trying to treat Num as a type will not help you |
| 2022-09-05 01:48:53 +0200 | <monochrom> | There is no subtyping in this language. |
| 2022-09-05 01:49:18 +0200 | <geekosaur> | in fact ot just means you have to unwrap both to do anything including multiplication with them, then you have to convert anyway |
| 2022-09-05 01:49:25 +0200 | <monochrom> | You need to validate your understanding of type classes, rather than just assume that it's like OO. |
| 2022-09-05 01:49:32 +0200 | <tvandinther> | Yeah I figured that as I wrote it. |
| 2022-09-05 01:50:40 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-09-05 01:52:07 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-05 01:54:25 +0200 | <DigitalKiwi> | does anyone know what the dependent typers would do? |
| 2022-09-05 01:56:03 +0200 | <monochrom> | I can only speak for myself. I would consider NumsBetweenZeroAnd1 a probability distribution space or an affine space, rather than an instance of Num. As you noticed, many arithmetic operations make no sense. |
| 2022-09-05 01:56:54 +0200 | Me-me | (~me-me@v.working.name) |
| 2022-09-05 01:56:54 +0200 | <DigitalKiwi> | is the intended behavior in that situation that it breaks functions like sum |
| 2022-09-05 01:58:17 +0200 | Me-me | (~me-me@v.working.name) (Changing host) |
| 2022-09-05 01:58:17 +0200 | Me-me | (~me-me@user/me-me) |
| 2022-09-05 02:03:27 +0200 | <geekosaur> | that depends on how it's specified and what the consumer intended |
| 2022-09-05 02:03:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 02:04:00 +0200 | <geekosaur> | "what do?" is indeed a question. should it max out and stay there? throw an error? do modular arithmetic? |
| 2022-09-05 02:04:28 +0200 | <geekosaur> | all of these would be specified by how the type was defined |
| 2022-09-05 02:05:37 +0200 | <geekosaur> | if it's a probability distribution space or an affine space then your operation is probably a type error |
| 2022-09-05 02:06:12 +0200 | <monochrom> | Ah the herectic stance of "type is not what data is stored, but what do you want to do with it?" |
| 2022-09-05 02:07:39 +0200 | rodrigc | (~rodrigc@c-24-4-29-181.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-09-05 02:07:59 +0200 | ddellacosta | (~ddellacos@143.244.47.67) (Ping timeout: 252 seconds) |
| 2022-09-05 02:10:13 +0200 | nate1 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-09-05 02:10:24 +0200 | <DigitalKiwi> | monochrom hasn't been upgrade to the language producer that uses typed words |
| 2022-09-05 02:10:34 +0200 | <DigitalKiwi> | herectic == type error |
| 2022-09-05 02:11:18 +0200 | <geekosaur> | possibly neither have you :þ |
| 2022-09-05 02:11:26 +0200 | <monochrom> | Oh, heretic |
| 2022-09-05 02:11:58 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 02:12:04 +0200 | <DigitalKiwi> | i have a type for misspelled words |
| 2022-09-05 02:12:16 +0200 | <geekosaur> | how about for mis-grammar? |
| 2022-09-05 02:12:39 +0200 | <DigitalKiwi> | she's my type |
| 2022-09-05 02:13:48 +0200 | <DigitalKiwi> | https://archive.org/details/RhymeTorrentsVolume1/21+-+Shael+Riley+-+Miss+Information+(Featuring+Beefy).mp3 |
| 2022-09-05 02:15:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 02:17:15 +0200 | bjjdjango | (~pckim93@S0106bc4dfbe5dc83.va.shawcable.net) |
| 2022-09-05 02:17:32 +0200 | bjjdjango | (~pckim93@S0106bc4dfbe5dc83.va.shawcable.net) (Client Quit) |
| 2022-09-05 02:21:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-05 02:24:44 +0200 | <DigitalKiwi> | i dated an english major in college lol |
| 2022-09-05 02:31:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 02:39:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-05 02:40:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-05 02:40:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-05 02:42:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-05 02:42:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-05 02:49:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-05 02:49:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 02:53:15 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-05 02:54:24 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-09-05 03:05:42 +0200 | turlando_ | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-05 03:05:58 +0200 | turlando | (~turlando@user/turlando) |
| 2022-09-05 03:09:57 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-05 03:10:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8078:5180:5b44:3de) (Ping timeout: 248 seconds) |
| 2022-09-05 03:10:57 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-05 03:12:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 03:14:17 +0200 | frost | (~frost@user/frost) |
| 2022-09-05 03:17:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-05 03:18:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 03:23:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 03:34:32 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2022-09-05 03:36:22 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-05 03:36:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 03:45:44 +0200 | fizzsegfaultbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-05 03:45:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 03:46:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-09-05 03:47:56 +0200 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2022-09-05 03:51:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-05 03:52:26 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-05 03:53:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 03:53:45 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-05 03:54:23 +0200 | fizzsegfaultbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2022-09-05 03:54:35 +0200 | cristianorocha | (~cristiano@2804:108c:c9a9:cd01:9f82:aa32:57c:7335) (Remote host closed the connection) |
| 2022-09-05 03:57:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-05 04:00:47 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-05 04:01:59 +0200 | razetime | (~quassel@117.254.35.45) |
| 2022-09-05 04:03:00 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-05 04:05:24 +0200 | adium | (adium@user/adium) |
| 2022-09-05 04:08:04 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 04:14:08 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-05 04:14:08 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-05 04:14:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-05 04:17:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-05 04:20:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-05 04:20:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 04:21:38 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-09-05 04:24:08 +0200 | Null_A | (~null_a@2601:645:8700:ac10:b925:c443:385:4d59) |
| 2022-09-05 04:25:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 04:38:19 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-05 04:40:09 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 04:40:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 04:40:45 +0200 | <drlkf> | is there a specific function/operator to bind a monadic computation to an inner monad ? like: m1 (m0 a) -> (a -> m0 b) -> m1 (m0 b) |
| 2022-09-05 04:41:59 +0200 | td_ | (~td@muedsl-82-207-238-053.citykom.de) (Ping timeout: 252 seconds) |
| 2022-09-05 04:43:41 +0200 | td_ | (~td@muedsl-82-207-238-026.citykom.de) |
| 2022-09-05 04:44:34 +0200 | <jackdk> | :t \m f -> fmap (>>= f) m |
| 2022-09-05 04:44:35 +0200 | <lambdabot> | (Monad m, Functor f) => f (m a) -> (a -> m b) -> f (m b) |
| 2022-09-05 04:44:45 +0200 | <jackdk> | @pl \m f -> fmap (>>= f) m |
| 2022-09-05 04:44:45 +0200 | <lambdabot> | flip (fmap . (=<<)) |
| 2022-09-05 04:44:52 +0200 | <jackdk> | drlkf: I don't think so |
| 2022-09-05 04:47:53 +0200 | mikess | (~sam@user/mikess) |
| 2022-09-05 04:48:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-09-05 04:53:15 +0200 | <drlkf> | actually this isn't even what i wanted to do. i'm stupid. what i'm looking for is m1 (m0 a) -> (a -> m1 b) -> m1 (m0 b) |
| 2022-09-05 04:54:03 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-05 04:56:58 +0200 | phma | (~phma@host-67-44-208-144.hnremote.net) (Read error: Connection reset by peer) |
| 2022-09-05 04:57:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 05:02:44 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 05:03:05 +0200 | phma | (~phma@2001:5b0:212a:a5b8:29d:feac:f2dd:1c4) |
| 2022-09-05 05:07:46 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-05 05:10:52 +0200 | vglfr | (~vglfr@145.224.94.171) (Read error: Connection reset by peer) |
| 2022-09-05 05:11:00 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 05:13:48 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-05 05:14:19 +0200 | Null_A | (~null_a@2601:645:8700:ac10:b925:c443:385:4d59) () |
| 2022-09-05 05:16:06 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-09-05 05:16:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 05:16:20 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-05 05:22:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-09-05 05:22:31 +0200 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 260 seconds) |
| 2022-09-05 05:22:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 05:25:19 +0200 | <Axman6> | I'm not sure that one is doable |
| 2022-09-05 05:25:38 +0200 | <Axman6> | and suggests you're doing something quite strange |
| 2022-09-05 05:26:41 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 05:27:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 05:27:15 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 05:31:49 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-05 05:41:27 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 05:44:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 05:44:16 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-09-05 05:44:27 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-05 05:46:33 +0200 | <aaron[m]1234> | drlkf: think that would be equivalent to being able to compose monads, which you can't do in general |
| 2022-09-05 05:48:24 +0200 | Null_A | (~null_a@2601:645:8700:ac10:e46b:928d:e9e8:99d7) |
| 2022-09-05 05:50:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-05 05:55:55 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-05 05:57:06 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 264 seconds) |
| 2022-09-05 05:58:28 +0200 | Null_A | (~null_a@2601:645:8700:ac10:e46b:928d:e9e8:99d7) () |
| 2022-09-05 06:02:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 06:03:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-05 06:12:13 +0200 | <jackdk> | @pl \m -> (m >>=) . traverse |
| 2022-09-05 06:12:13 +0200 | <lambdabot> | (. traverse) . (>>=) |
| 2022-09-05 06:12:18 +0200 | <jackdk> | ehhhh |
| 2022-09-05 06:12:53 +0200 | <jackdk> | Anyway, you need `(Monad m1, Traversable m0)` drlkf, what are you trying to do? Or maybe you're working with some commutative monads like ReaderT? |
| 2022-09-05 06:16:03 +0200 | <jackdk> | Er, I mean `Reader`; like a distributive functor or something |
| 2022-09-05 06:16:36 +0200 | mbuf | (~Shakthi@49.204.119.35) |
| 2022-09-05 06:16:37 +0200 | jargon | (~jargon@184.101.185.66) |
| 2022-09-05 06:18:22 +0200 | _xor | (~xor@74.215.182.83) (Quit: WeeChat 3.6) |
| 2022-09-05 06:18:29 +0200 | Null_A | (~null_a@2601:645:8700:ac10:f0f1:5de:7dc6:af17) |
| 2022-09-05 06:18:50 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 244 seconds) |
| 2022-09-05 06:19:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-05 06:20:51 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-09-05 06:21:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 06:21:42 +0200 | Guest51 | (~Guest51@94.231.136.198) |
| 2022-09-05 06:21:53 +0200 | Guest51 | (~Guest51@94.231.136.198) (Client Quit) |
| 2022-09-05 06:25:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 06:31:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-05 06:31:37 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-09-05 06:32:10 +0200 | <Clinton[m]> | When using HLS 1.7.0.0 in VSCode, is the fact that "Go To Definition" doesn't work for definitions in the same project but a different package a result of something I've broken in my setup or just a limitation currently of HLS? |
| 2022-09-05 06:34:46 +0200 | bilegeek | (~bilegeek@2600:1008:b02b:fe5e:db17:de70:dbdc:1351) |
| 2022-09-05 06:35:03 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 06:38:58 +0200 | razetime | (~quassel@117.254.35.45) (Ping timeout: 240 seconds) |
| 2022-09-05 06:39:45 +0200 | razetime | (~quassel@117.254.34.57) |
| 2022-09-05 06:41:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 06:42:24 +0200 | komikat | (~user@14.139.82.6) |
| 2022-09-05 06:42:38 +0200 | <komikat> | gm |
| 2022-09-05 06:48:00 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 06:48:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-05 06:54:46 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-05 06:55:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 07:01:36 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-05 07:02:47 +0200 | komikat | (~user@14.139.82.6) (Ping timeout: 252 seconds) |
| 2022-09-05 07:04:51 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:bb9f:2ce5:c301:8e11) |
| 2022-09-05 07:05:43 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-05 07:06:35 +0200 | analoq | (~yashi@user/dies) (Ping timeout: 268 seconds) |
| 2022-09-05 07:07:59 +0200 | analoq | (~yashi@user/dies) |
| 2022-09-05 07:10:19 +0200 | paddymahoney2 | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-05 07:15:06 +0200 | benin0 | (~benin@183.82.178.130) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-05 07:15:40 +0200 | razetime | (~quassel@117.254.34.57) (Ping timeout: 244 seconds) |
| 2022-09-05 07:16:26 +0200 | razetime | (~quassel@117.254.34.54) |
| 2022-09-05 07:17:48 +0200 | phma | (~phma@2001:5b0:212a:a5b8:29d:feac:f2dd:1c4) (Read error: Connection reset by peer) |
| 2022-09-05 07:21:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-09-05 07:23:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 07:27:43 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-05 07:27:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 07:31:37 +0200 | Null_A | (~null_a@2601:645:8700:ac10:f0f1:5de:7dc6:af17) () |
| 2022-09-05 07:32:51 +0200 | paddymahoney2 | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-05 07:33:14 +0200 | freemanX | (~user@203.117.163.130) |
| 2022-09-05 07:34:41 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) |
| 2022-09-05 07:34:43 +0200 | paddymahoney2 | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-05 07:35:49 +0200 | phma | (~phma@2001:5b0:211f:a048:3ae2:cf19:98a2:eda0) |
| 2022-09-05 07:37:03 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-09-05 07:41:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 07:43:00 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-05 07:44:40 +0200 | paddymahoney2 | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-05 07:45:23 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-05 07:47:24 +0200 | Null_A | (~null_a@2601:645:8700:ac10:49f:5509:7004:ad58) |
| 2022-09-05 07:53:09 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-05 07:58:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 07:59:15 +0200 | freemanX | (~user@203.117.163.130) (Ping timeout: 252 seconds) |
| 2022-09-05 08:02:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-05 08:04:39 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-05 08:13:21 +0200 | benin0 | (~benin@183.82.29.130) |
| 2022-09-05 08:15:42 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-05 08:17:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 08:23:58 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2022-09-05 08:25:54 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-05 08:28:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 08:33:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 08:38:31 +0200 | razetime | (~quassel@117.254.34.54) (Ping timeout: 260 seconds) |
| 2022-09-05 08:38:37 +0200 | razetime_ | (~quassel@117.254.35.212) |
| 2022-09-05 08:39:51 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-05 08:41:53 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 08:44:52 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-05 08:46:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-05 08:46:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-05 08:46:04 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2022-09-05 08:46:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-09-05 08:46:40 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-05 08:46:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-05 08:46:43 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-05 08:46:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-05 08:47:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 08:47:47 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-05 08:48:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 08:49:58 +0200 | sevan_naves | (~sevan_nav@87.241.189.112) |
| 2022-09-05 08:51:17 +0200 | sevan_naves | (~sevan_nav@87.241.189.112) () |
| 2022-09-05 08:51:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-05 08:51:42 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-05 08:53:24 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-05 08:56:25 +0200 | img | (~img@user/img) |
| 2022-09-05 08:57:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9546:d6d0:cde2:9f22) |
| 2022-09-05 09:04:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 09:05:11 +0200 | michalz | (~michalz@185.246.204.75) (Read error: Connection reset by peer) |
| 2022-09-05 09:05:29 +0200 | michalz | (~michalz@185.246.204.90) |
| 2022-09-05 09:11:34 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 09:14:30 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-05 09:14:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 09:16:41 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-05 09:17:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 09:19:11 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-05 09:19:33 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-05 09:22:03 +0200 | ralu11 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-09-05 09:23:03 +0200 | Philonous_ | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2022-09-05 09:23:30 +0200 | Philonous | (~Philonous@user/philonous) |
| 2022-09-05 09:23:49 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-09-05 09:24:05 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2022-09-05 09:24:05 +0200 | ralu11 | ralu1 |
| 2022-09-05 09:29:37 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 09:30:50 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-09-05 09:33:38 +0200 | bbear | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) |
| 2022-09-05 09:46:35 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 09:48:31 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 09:48:31 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 09:48:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 09:48:58 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
| 2022-09-05 09:53:49 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-05 09:54:05 +0200 | acidjnk | (~acidjnk@p200300d6e7137a74ed3917dbd6a91b25.dip0.t-ipconnect.de) |
| 2022-09-05 09:54:13 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-05 09:55:31 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2022-09-05 09:55:59 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Quit: ccntrq) |
| 2022-09-05 09:56:17 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 09:58:56 +0200 | razetime_ | (~quassel@117.254.35.212) (Ping timeout: 244 seconds) |
| 2022-09-05 09:59:18 +0200 | razetime | (~quassel@117.254.34.75) |
| 2022-09-05 10:00:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 10:01:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 10:04:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 10:04:51 +0200 | fserucas | (~fserucas@31.22.150.30) |
| 2022-09-05 10:05:04 +0200 | fserucas | (~fserucas@31.22.150.30) (Client Quit) |
| 2022-09-05 10:05:19 +0200 | fserucas|EoD | (~fserucas|@31.22.150.30) |
| 2022-09-05 10:05:49 +0200 | bilegeek | (~bilegeek@2600:1008:b02b:fe5e:db17:de70:dbdc:1351) (Quit: Leaving) |
| 2022-09-05 10:12:21 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 10:13:49 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 10:13:50 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 10:18:12 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-05 10:18:43 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-09-05 10:20:12 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-05 10:23:31 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-05 10:25:43 +0200 | Null_A | (~null_a@2601:645:8700:ac10:49f:5509:7004:ad58) (Remote host closed the connection) |
| 2022-09-05 10:26:19 +0200 | Null_A | (~null_a@2601:645:8700:ac10:d122:acf7:c7d1:867) |
| 2022-09-05 10:28:10 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-05 10:31:04 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-05 10:32:00 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 10:32:38 +0200 | chele | (~chele@user/chele) |
| 2022-09-05 10:35:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 10:35:48 +0200 | beteigeuze | (~Thunderbi@89.187.168.240) |
| 2022-09-05 10:37:38 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-09-05 10:38:17 +0200 | Null_A | (~null_a@2601:645:8700:ac10:d122:acf7:c7d1:867) () |
| 2022-09-05 10:39:19 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 10:42:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-05 10:46:15 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 10:48:36 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 10:48:37 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 10:52:04 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-05 10:52:40 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 244 seconds) |
| 2022-09-05 10:52:55 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-05 10:53:06 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-05 10:53:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 10:58:47 +0200 | acidjnk | (~acidjnk@p200300d6e7137a74ed3917dbd6a91b25.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2022-09-05 11:05:52 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-09-05 11:10:47 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 11:10:58 +0200 | <fendor[m]> | is the ghc option -pgmF run for literate haskell files as well? Docs seem to indicate, I also have to specify -pgmL for literate haskell files. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/phases.html |
| 2022-09-05 11:12:29 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 11:12:29 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 11:16:23 +0200 | <dminuoso> | fendor[m]: Yes |
| 2022-09-05 11:16:26 +0200 | <dminuoso> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/phases.html#options-affecting-a-haskell-pre-pro… |
| 2022-09-05 11:16:32 +0200 | <dminuoso> | ```The pre-processor is run just before the Haskell compiler proper processes the Haskell input, but after the literate markup has been stripped away and (possibly) the C pre-processor has washed the Haskell input. |
| 2022-09-05 11:18:21 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) (Ping timeout: 252 seconds) |
| 2022-09-05 11:21:05 +0200 | <fendor[m]> | ok, makes sense! thanks! |
| 2022-09-05 11:21:15 +0200 | <int-e> | "washed", heh. |
| 2022-09-05 11:21:17 +0200 | <fendor[m]> | just took me a minute to parse all that into my mental model |
| 2022-09-05 11:21:57 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-05 11:23:39 +0200 | foghorn | (~foghorn@user/foghorn) |
| 2022-09-05 11:24:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 11:25:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 11:26:27 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) |
| 2022-09-05 11:29:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 11:29:50 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 11:29:50 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-05 11:29:56 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2022-09-05 11:29:56 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2022-09-05 11:30:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-05 11:30:27 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2022-09-05 11:30:43 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-09-05 11:31:38 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-09-05 11:31:47 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-09-05 11:31:47 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 11:41:07 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 11:41:50 +0200 | beteigeuze1 | (~Thunderbi@89.187.168.37) |
| 2022-09-05 11:42:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 11:42:58 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-09-05 11:42:58 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 11:43:26 +0200 | beteigeuze | (~Thunderbi@89.187.168.240) (Ping timeout: 260 seconds) |
| 2022-09-05 11:43:27 +0200 | beteigeuze1 | beteigeuze |
| 2022-09-05 11:44:02 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 11:45:49 +0200 | acidjnk | (~acidjnk@p200300d6e7137a74ed3917dbd6a91b25.dip0.t-ipconnect.de) |
| 2022-09-05 11:46:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-05 11:48:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 11:53:33 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 252 seconds) |
| 2022-09-05 11:53:57 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 11:55:42 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 11:55:43 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 12:00:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 12:00:47 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-05 12:01:01 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-05 12:01:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-05 12:03:11 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-05 12:03:45 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-05 12:05:25 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-05 12:06:12 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 2022-09-05 12:08:40 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-09-05 12:23:28 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-05 12:26:18 +0200 | UNIX | (~kernel@user/OpenSource) (Quit: ZNC - https://znc.in) |
| 2022-09-05 12:28:08 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-05 12:28:21 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-09-05 12:28:38 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 12:28:38 +0200 | OpenSource | (~kernel@user/OpenSource) |
| 2022-09-05 12:29:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 12:30:24 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 12:30:24 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 12:34:45 +0200 | phma_ | (phma@2001:5b0:211f:a048:3ae2:cf19:98a2:eda0) |
| 2022-09-05 12:35:07 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2022-09-05 12:36:19 +0200 | Luj1 | (~Luj@2a01:e0a:5f9:9681:bb9f:2ce5:c301:8e11) |
| 2022-09-05 12:36:38 +0200 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-09-05 12:36:48 +0200 | MonsoonSecrecy_ | (f78c86e960@2604:bf00:561:2000::f99) |
| 2022-09-05 12:37:11 +0200 | AndrewYu | (Andrew@user/AndrewYu) |
| 2022-09-05 12:42:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-09-05 12:44:29 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | nschoe | (~quassel@178.251.84.79) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | phma | (~phma@2001:5b0:211f:a048:3ae2:cf19:98a2:eda0) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | analoq | (~yashi@user/dies) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:bb9f:2ce5:c301:8e11) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | td_ | (~td@muedsl-82-207-238-026.citykom.de) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | komikat[m] | (~komikatma@2001:470:69fc:105::1:c71e) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | inversed | (~inversed@90.209.137.56) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | gdd1 | (~gdd@2001:470:1f13:187:44f7:cd68:9a1c:6c35) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | zachel_ | (~zachel@user/zachel) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2022-09-05 12:44:29 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | soumen | (~soumen@58.182.45.203) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | mzan | (~quassel@mail.asterisell.com) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | zmt00 | (~zmt00@user/zmt00) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | Andrew | (Andrew@user/AndrewYu) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | kronicmage | (user88019@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | jimki | (~jmaki@gazorpazorp.fixme.fi) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | Hafydd_ | (jc@user/hafydd) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | Guest585 | (~mike@user/feetwind) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split) |
| 2022-09-05 12:44:30 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-09-05 12:44:31 +0200 | Luj1 | Luj |
| 2022-09-05 12:44:31 +0200 | jonrh_ | jonrh |
| 2022-09-05 12:44:31 +0200 | MonsoonSecrecy_ | MonsoonSecrecy |
| 2022-09-05 12:44:51 +0200 | AndrewYu | Andrew |
| 2022-09-05 12:45:10 +0200 | phma_ | phma |
| 2022-09-05 12:45:38 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-09-05 12:45:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 12:47:49 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-09-05 12:47:54 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-09-05 12:48:00 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-05 12:49:12 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-05 12:49:24 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 12:49:24 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-09-05 12:49:24 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-05 12:49:24 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-05 12:49:24 +0200 | analoq | (~yashi@user/dies) |
| 2022-09-05 12:49:24 +0200 | td_ | (~td@muedsl-82-207-238-026.citykom.de) |
| 2022-09-05 12:49:24 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2022-09-05 12:49:24 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-09-05 12:49:24 +0200 | komikat[m] | (~komikatma@2001:470:69fc:105::1:c71e) |
| 2022-09-05 12:49:24 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2022-09-05 12:49:24 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2022-09-05 12:49:24 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2022-09-05 12:49:24 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-09-05 12:49:24 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
| 2022-09-05 12:49:24 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-09-05 12:49:24 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-05 12:49:24 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-09-05 12:49:24 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-09-05 12:49:24 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-09-05 12:49:24 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2022-09-05 12:49:24 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-09-05 12:49:24 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2022-09-05 12:49:24 +0200 | gdd1 | (~gdd@2001:470:1f13:187:44f7:cd68:9a1c:6c35) |
| 2022-09-05 12:49:24 +0200 | zachel_ | (~zachel@user/zachel) |
| 2022-09-05 12:49:24 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-09-05 12:49:24 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-09-05 12:49:24 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-09-05 12:49:24 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2022-09-05 12:49:24 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-05 12:49:24 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-05 12:49:24 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2022-09-05 12:49:24 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-09-05 12:49:24 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-09-05 12:49:24 +0200 | soumen | (~soumen@58.182.45.203) |
| 2022-09-05 12:49:24 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2022-09-05 12:49:24 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2022-09-05 12:49:24 +0200 | kronicmage | (user88019@neotame.csclub.uwaterloo.ca) |
| 2022-09-05 12:49:24 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-09-05 12:49:24 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1) |
| 2022-09-05 12:49:24 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-05 12:49:24 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-09-05 12:49:24 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-09-05 12:49:24 +0200 | jimki | (~jmaki@gazorpazorp.fixme.fi) |
| 2022-09-05 12:49:24 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-05 12:49:24 +0200 | Athas | (athas@sigkill.dk) |
| 2022-09-05 12:49:24 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) |
| 2022-09-05 12:49:24 +0200 | Hafydd_ | (jc@user/hafydd) |
| 2022-09-05 12:49:24 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2022-09-05 12:49:24 +0200 | leah2 | (~leah@vuxu.org) |
| 2022-09-05 12:49:24 +0200 | Guest585 | (~mike@user/feetwind) |
| 2022-09-05 12:49:24 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2022-09-05 12:49:24 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2022-09-05 12:49:25 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Max SendQ exceeded) |
| 2022-09-05 12:49:25 +0200 | koolazer | (~koo@user/koolazer) (Max SendQ exceeded) |
| 2022-09-05 12:49:25 +0200 | gdd1 | (~gdd@2001:470:1f13:187:44f7:cd68:9a1c:6c35) (Max SendQ exceeded) |
| 2022-09-05 12:49:25 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-05 12:49:25 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Max SendQ exceeded) |
| 2022-09-05 12:49:44 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) |
| 2022-09-05 12:49:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 12:51:07 +0200 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) |
| 2022-09-05 12:51:30 +0200 | gdd1 | (~gdd@129.199.146.230) |
| 2022-09-05 12:51:31 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 248 seconds) |
| 2022-09-05 12:51:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-05 12:52:33 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 244 seconds) |
| 2022-09-05 12:52:33 +0200 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 2022-09-05 12:52:33 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
| 2022-09-05 12:52:34 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-09-05 12:53:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 12:53:33 +0200 | Successus | (~Successus@user/Successus) |
| 2022-09-05 12:53:53 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2022-09-05 12:54:03 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-05 12:54:29 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-09-05 12:54:39 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-09-05 12:54:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 12:54:58 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2022-09-05 12:58:29 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 12:58:49 +0200 | m5zs7k_ | m5zs7k |
| 2022-09-05 12:59:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-05 13:00:18 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 13:00:18 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 13:05:05 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 13:07:26 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 13:07:26 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 13:10:56 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-05 13:16:03 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-05 13:16:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 13:16:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 13:18:22 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 13:18:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 13:19:40 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 13:19:40 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 13:20:49 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-05 13:21:39 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-09-05 13:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 13:25:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2280:3bf9:271f:231a) |
| 2022-09-05 13:27:25 +0200 | raym | (~raym@user/raym) (Ping timeout: 252 seconds) |
| 2022-09-05 13:29:27 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 13:30:21 +0200 | razetime | (~quassel@117.254.34.75) (Ping timeout: 252 seconds) |
| 2022-09-05 13:31:01 +0200 | razetime | (~quassel@117.254.35.62) |
| 2022-09-05 13:32:32 +0200 | phma_ | (~phma@host-67-44-208-23.hnremote.net) |
| 2022-09-05 13:32:58 +0200 | <jonathanx> | I'm looking into recursion schemes for mutually recursive AST:s. I've found people recommending the libraries compdata, multirec and syntactic. |
| 2022-09-05 13:33:15 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-05 13:33:21 +0200 | phma | (phma@2001:5b0:211f:a048:3ae2:cf19:98a2:eda0) (Read error: Connection reset by peer) |
| 2022-09-05 13:33:29 +0200 | <jonathanx> | I'm afraid of going with something that will stop being supported, and most discussions about these things are 5+ years old. |
| 2022-09-05 13:33:45 +0200 | <jonathanx> | Is there any up-to-date recommended approach? |
| 2022-09-05 13:34:05 +0200 | <jonathanx> | contex: https://www.reddit.com/r/haskell/comments/3sm1j1/how_to_mix_the_base_functorrecursion_scheme_stuff/ |
| 2022-09-05 13:36:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 13:37:43 +0200 | phma_ | (~phma@host-67-44-208-23.hnremote.net) (Read error: Connection reset by peer) |
| 2022-09-05 13:38:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-05 13:39:33 +0200 | <byorgey> | just looking on Hackage, it seems that syntactic has had regular updates and was most recently uploaded in May of this year. The other ones haven't been updated as recently (though it's very possible they haven't needed any). |
| 2022-09-05 13:41:35 +0200 | <byorgey> | multirec is specifically created to support mutually recursive data types. Not sure about the others. |
| 2022-09-05 13:41:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 13:41:52 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 13:43:45 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 13:43:45 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 13:44:36 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-05 13:47:00 +0200 | phma_ | (~phma@2001:5b0:2172:91a8:75d9:adfb:b0f7:9c78) |
| 2022-09-05 13:47:22 +0200 | phma_ | (~phma@2001:5b0:2172:91a8:75d9:adfb:b0f7:9c78) (Read error: Connection reset by peer) |
| 2022-09-05 13:47:35 +0200 | x28girl | (~x28girl@user/x28girl) |
| 2022-09-05 13:47:53 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
| 2022-09-05 13:52:49 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-05 13:52:55 +0200 | phma_ | (~phma@host-67-44-208-83.hnremote.net) |
| 2022-09-05 13:53:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 13:59:09 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-05 14:01:21 +0200 | soumen | (~soumen@58.182.45.203) (Quit: Konversation terminated!) |
| 2022-09-05 14:01:36 +0200 | akegalj | (~akegalj@cpe-94-253-206-95.zg2.cable.xnet.hr) |
| 2022-09-05 14:03:19 +0200 | soumen | (~soumen@58.182.45.203) |
| 2022-09-05 14:08:30 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 14:10:07 +0200 | mesaoptimizer | mesaoptimizer2 |
| 2022-09-05 14:10:51 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 14:10:52 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 14:11:00 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-05 14:11:02 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:2801:bccb:2609:2b10) (Quit: Client closed) |
| 2022-09-05 14:15:40 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 14:18:01 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 14:18:02 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 14:18:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 14:18:54 +0200 | Guest95 | (~Guest95@2.58.185.24) |
| 2022-09-05 14:19:34 +0200 | eikke | (~NicolasT@user/NicolasT) (Quit: leaving) |
| 2022-09-05 14:20:47 +0200 | <Guest95> | In many programming languages an array grows automatically if there is an insert into a full array. Are there Array/Vector/STArray alternatives that do this? |
| 2022-09-05 14:21:41 +0200 | <merijn> | Guest95: Not that I know? Then again, using that functionality is generally discouraged in most languages if you care about performance :) |
| 2022-09-05 14:21:44 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-05 14:22:39 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-05 14:23:06 +0200 | <Guest95> | If you realize that your Vector or STArray is full do you allocate a new one and then simply concat with the old? |
| 2022-09-05 14:23:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 14:24:17 +0200 | <merijn> | Guest95: That, or you can use generate and populate it with values from the old one. It kinda depends on the code/algorithm, etc. |
| 2022-09-05 14:24:28 +0200 | <hpc> | perhaps https://hackage.haskell.org/package/containers-0.6.6/docs/Data-Sequence.html |
| 2022-09-05 14:24:37 +0200 | <[exa]> | Guest95: if you rely on growing the data regularly, you might be better off with Data.Sequence |
| 2022-09-05 14:24:38 +0200 | <merijn> | oh, right, sequence is a thing |
| 2022-09-05 14:25:08 +0200 | <merijn> | I normally just use lists, because Sequence is in a weird spot where either a problem is simple enough for lists or I just need Vectors :p |
| 2022-09-05 14:26:54 +0200 | <Guest95> | Sequence looks interesting. Thank you. |
| 2022-09-05 14:27:27 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 14:29:09 +0200 | <akegalj> | I was positively surprised how good performance Sequence has. I didn't measure it (except for a problem at hand) but it was faster then my adhoc implementation of queue using mutable vectors |
| 2022-09-05 14:29:41 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 14:29:42 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 14:31:16 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:6858:cb7b:edde:476d) |
| 2022-09-05 14:31:38 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-05 14:35:47 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 248 seconds) |
| 2022-09-05 14:36:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 14:36:28 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-05 14:37:24 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-05 14:38:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 14:42:29 +0200 | <Guest95> | merjin: If you wanted to implement a data structure where you have many inserts and those inserts need index calculations what would you choose? |
| 2022-09-05 14:44:33 +0200 | <Guest95> | lists are bad because of the index calculations. Vector is also bad because of O(n+m) inserts. |
| 2022-09-05 14:46:23 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-09-05 14:47:11 +0200 | <merijn> | Guest95: I've actually used IntMap for that quite a bit |
| 2022-09-05 14:47:41 +0200 | <tdammers> | in-memory sqlite XD |
| 2022-09-05 14:47:52 +0200 | <merijn> | tdammers: If the size gets big enough, sure :) |
| 2022-09-05 14:48:05 +0200 | <merijn> | tdammers: Or maybe DuckDB, depending on what you're doing :p |
| 2022-09-05 14:48:25 +0200 | <Guest95> | merjin: I was about to say maybe a hash map but IntMap is probably what I want: A hash map with Int keys? |
| 2022-09-05 14:48:45 +0200 | <[exa]> | Guest95: Seq has pretty good O(log(n)) for indexing and almost-O(1) on most operations on ends |
| 2022-09-05 14:49:16 +0200 | <merijn> | Guest95: yes |
| 2022-09-05 14:49:55 +0200 | <merijn> | Guest95: *Hash* maps aren't super in fashion in Haskell, but Map and IntMap from containers are |
| 2022-09-05 14:50:23 +0200 | <Guest95> | What is wrong with hash maps? |
| 2022-09-05 14:50:45 +0200 | <[exa]> | hashing. |
| 2022-09-05 14:50:50 +0200 | <merijn> | Guest95: They're overrated |
| 2022-09-05 14:51:01 +0200 | <merijn> | Worst case complexity and memory usage are both kinda meh |
| 2022-09-05 14:51:48 +0200 | <merijn> | Most dynamic languages use hash maps as default map implementation, leading people to conflate "map" and "hash map", there's non-hash maps that have perfectly fine performance for >90% of uses for maps :) |
| 2022-09-05 14:51:50 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-05 14:52:16 +0200 | <Guest95> | exa: Seq seems really interesting. Why is hashing a problem? Because it adds a constraint? |
| 2022-09-05 14:52:38 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-09-05 14:52:43 +0200 | <tdammers> | a more general concern with hashmaps is HashDoS |
| 2022-09-05 14:53:15 +0200 | <tdammers> | or, more generally, their ability to degrade to abysmal performance when the keys happen to produce a lot of hash collisions |
| 2022-09-05 14:53:42 +0200 | <merijn> | Hashing has a cost, coming up with good hashes for a datatype is hard, bad hashes lead to terrible performance, etc. |
| 2022-09-05 14:53:48 +0200 | <[exa]> | Guest95: hashing algorithms depend on having a hash table with frequent tiny operations which is....a vector |
| 2022-09-05 14:53:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 14:54:03 +0200 | <[exa]> | so it kinda inherits all the pesky vector problems |
| 2022-09-05 14:54:22 +0200 | <[exa]> | Haskell hashmaps have fixed tremendous amounts of it but I'm still more of a tree-ish person. :D |
| 2022-09-05 14:55:01 +0200 | <[exa]> | but I'd say it makes a pretty good sense for e.g. string indexes |
| 2022-09-05 14:55:18 +0200 | <merijn> | Guest95: The "Map" in containers uses a balanced binary search tree (I think it's using AVL trees?). Which means slightly different complexity, but lookup is still only "O(log n)" which for most reasonable number of keys is basically as fast as hashing (I've had maps with >10k keys and was just fine) |
| 2022-09-05 14:55:45 +0200 | <Guest95> | exa: merjin: When you are using trees and get away with good enough performance are those base 2 trees (binary trees) or do they have a large base? |
| 2022-09-05 14:55:54 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-05 14:55:54 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-05 14:55:54 +0200 | <Guest95> | you just answered my question |
| 2022-09-05 14:55:56 +0200 | <merijn> | Guest95: Additionally, binary search trees give you some other cool features that are impossible with hash maps, such as: approximate lookup (i.e. "what is the key in the map that is *closest* to the key I have) |
| 2022-09-05 14:56:25 +0200 | <merijn> | You can also do things like lookup the smallest/biggest key in the Map. Which can be super useful for some algorithms |
| 2022-09-05 14:57:02 +0200 | <merijn> | Guest95: Note that Haskell isn't unique in this, for example C++'s std::map also uses a binary search tree implementation |
| 2022-09-05 14:57:37 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-05 14:57:46 +0200 | <merijn> | You need to use std::unordered_map to get a hash map in C++ (kinda equivalent to using HashMap from unordered-containers package in haskell) |
| 2022-09-05 14:58:16 +0200 | <Guest95> | I think closure also has a data structure in the standard lib that is base on trees with a large base (don't know if this is the right word). |
| 2022-09-05 14:58:20 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-05 14:58:27 +0200 | <merijn> | Guest95: In reality: Map should be more than fast enough for, like, 95% of usecases, so I'd personally default to using Map and only use HashMap if you have specific reasons/performance problems |
| 2022-09-05 14:59:04 +0200 | <Guest95> | *Clojure |
| 2022-09-05 14:59:18 +0200 | <merijn> | IntMap is a specialisation (using PATRICIA trees) for integer keys that guarantees even more efficient lookup/insert |
| 2022-09-05 14:59:38 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 244 seconds) |
| 2022-09-05 15:00:18 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 240 seconds) |
| 2022-09-05 15:00:52 +0200 | <Guest95> | Another beginner question: If I use IntMap as underlying data structure for my data structure should I use the strict or the lazy version? |
| 2022-09-05 15:01:28 +0200 | <Guest95> | I have read "strict products, lazy sums" but that doesn't apply here |
| 2022-09-05 15:02:05 +0200 | <merijn> | Guest95: So the strictness refers to the values inside it. (The map/keys themselves are always strict) |
| 2022-09-05 15:03:09 +0200 | <Guest95> | So if I'm sure that I want to consume most of the values in my data structure I would use the strict version? |
| 2022-09-05 15:03:11 +0200 | <merijn> | Guest95: My heuristic is: If keys are "small" (i.e. ints, floats, etc.) OR I will always use (nearly) all of the values in my program *THEN* I use strict (since small values are cheap to store and if you are gonna force all values, might as well force them on insert) |
| 2022-09-05 15:03:38 +0200 | <merijn> | eh s/keys/values |
| 2022-09-05 15:04:20 +0200 | <merijn> | If values are large AND I'm gonna only use a handful of them, then I will use lazy (because no pointing in evaluating every value if you're gonna only use a few) |
| 2022-09-05 15:04:37 +0200 | <Guest95> | makes sense |
| 2022-09-05 15:04:37 +0200 | <merijn> | Or whenever I do recursive shenanigans on the Map, then you also need to use a lazy Map |
| 2022-09-05 15:04:44 +0200 | benin06 | (~benin@183.82.29.130) |
| 2022-09-05 15:05:07 +0200 | benin0 | (~benin@183.82.29.130) (Ping timeout: 248 seconds) |
| 2022-09-05 15:05:07 +0200 | benin06 | benin0 |
| 2022-09-05 15:07:15 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-05 15:07:25 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 15:07:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 15:08:56 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 15:08:57 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 15:11:56 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-05 15:14:23 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-05 15:19:32 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 15:21:20 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 15:21:21 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 15:24:20 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-05 15:24:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 15:29:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 15:30:38 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-05 15:33:05 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-05 15:40:39 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 15:40:45 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-05 15:42:00 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 15:42:01 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 15:42:17 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) |
| 2022-09-05 15:42:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 15:42:46 +0200 | michalz | (~michalz@185.246.204.90) (Ping timeout: 268 seconds) |
| 2022-09-05 15:45:43 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-05 15:47:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 15:47:49 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-05 15:48:21 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-05 15:48:36 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-05 15:49:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-05 15:51:17 +0200 | califax | (~califax@user/califx) |
| 2022-09-05 15:53:45 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 15:54:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 15:55:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-05 15:56:22 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 15:56:22 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 15:56:50 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 15:56:58 +0200 | benin0 | (~benin@183.82.29.130) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-05 15:57:27 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-05 15:58:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9546:d6d0:cde2:9f22) (Quit: WeeChat 2.8) |
| 2022-09-05 16:00:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 16:03:00 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 16:05:05 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 16:05:05 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 16:05:39 +0200 | x28_girl | (~x28girl@user/x28girl) |
| 2022-09-05 16:05:41 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-05 16:06:38 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-05 16:06:48 +0200 | x28girl | (~x28girl@user/x28girl) (Ping timeout: 244 seconds) |
| 2022-09-05 16:08:33 +0200 | mikoto-chan | (~mikoto-ch@d52m29swxpj329z793f-4.rev.dnainternet.fi) |
| 2022-09-05 16:09:44 +0200 | x28_girl | (~x28girl@user/x28girl) (Client Quit) |
| 2022-09-05 16:11:56 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-05 16:12:14 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 16:14:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 16:15:48 +0200 | raym | (~raym@user/raym) (Client Quit) |
| 2022-09-05 16:16:43 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
| 2022-09-05 16:17:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 16:18:13 +0200 | raym | (~raym@user/raym) |
| 2022-09-05 16:18:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 16:19:15 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-05 16:21:29 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-05 16:21:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-05 16:23:55 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Quit: king_gs) |
| 2022-09-05 16:25:35 +0200 | phma_ | (~phma@host-67-44-208-83.hnremote.net) (Read error: Connection reset by peer) |
| 2022-09-05 16:27:49 +0200 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
| 2022-09-05 16:30:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 16:31:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-05 16:32:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-05 16:38:12 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 16:38:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 16:40:17 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 16:40:17 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 16:44:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 16:45:51 +0200 | phma_ | (~phma@host-67-44-208-238.hnremote.net) |
| 2022-09-05 16:49:53 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-09-05 16:52:02 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-09-05 16:52:05 +0200 | benin0 | (~benin@183.82.29.130) |
| 2022-09-05 16:53:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-05 16:53:55 +0200 | mikoto-chan | (~mikoto-ch@d52m29swxpj329z793f-4.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2022-09-05 16:58:17 +0200 | phma_ | phma |
| 2022-09-05 17:02:13 +0200 | phma | (~phma@host-67-44-208-238.hnremote.net) (Read error: Connection reset by peer) |
| 2022-09-05 17:09:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-05 17:09:42 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-09-05 17:12:12 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 17:13:27 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 17:13:28 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 17:13:42 +0200 | Guest95 | (~Guest95@2.58.185.24) (Ping timeout: 252 seconds) |
| 2022-09-05 17:16:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-09-05 17:17:39 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 17:20:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 17:22:20 +0200 | phma | (phma@2001:5b0:210b:aff8:f0cd:569a:3fd7:2f28) |
| 2022-09-05 17:22:27 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-05 17:23:32 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-05 17:23:50 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) |
| 2022-09-05 17:25:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 17:25:58 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-09-05 17:29:32 +0200 | akegalj | (~akegalj@cpe-94-253-206-95.zg2.cable.xnet.hr) (Quit: leaving) |
| 2022-09-05 17:36:52 +0200 | OpenSource | UNIX |
| 2022-09-05 17:39:19 +0200 | fserucas|EoD | (~fserucas|@31.22.150.30) (Quit: Leaving) |
| 2022-09-05 17:42:39 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 17:43:56 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-05 17:44:27 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 17:44:28 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 17:44:56 +0200 | Guest|95 | (~Guest|95@14.red-79-148-184.dynamicip.rima-tde.net) |
| 2022-09-05 17:45:22 +0200 | <Guest|95> | hello |
| 2022-09-05 17:45:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-05 17:46:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 17:48:09 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-09-05 17:48:51 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-09-05 17:49:50 +0200 | benin0 | (~benin@183.82.29.130) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-05 17:51:31 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 260 seconds) |
| 2022-09-05 17:52:51 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-05 17:53:50 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 17:54:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 17:57:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-05 17:59:38 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 240 seconds) |
| 2022-09-05 18:04:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 18:04:36 +0200 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-05 18:06:01 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-05 18:08:20 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 18:08:21 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-05 18:08:42 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 18:10:11 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 18:10:11 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 18:10:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-05 18:10:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-05 18:10:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-05 18:11:56 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-05 18:12:32 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-05 18:14:58 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 18:15:06 +0200 | nschoe | (~quassel@178.251.84.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-05 18:15:58 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-05 18:16:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 18:17:35 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 18:17:35 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 18:18:19 +0200 | Guest|95 | (~Guest|95@14.red-79-148-184.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2022-09-05 18:19:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 18:21:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-05 18:23:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-09-05 18:27:49 +0200 | mbuf | (~Shakthi@49.204.119.35) (Quit: Leaving) |
| 2022-09-05 18:28:04 +0200 | mzan | (~quassel@mail.asterisell.com) (Ping timeout: 268 seconds) |
| 2022-09-05 18:28:39 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-09-05 18:35:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 18:39:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-05 18:39:45 +0200 | ccntrq1 | (~Thunderbi@77.10.92.95) |
| 2022-09-05 18:42:15 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-05 18:42:51 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 18:43:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 18:45:03 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 18:45:32 +0200 | justache- | (~justache@user/justache) |
| 2022-09-05 18:45:41 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 2022-09-05 18:46:13 +0200 | ccntrq1 | (~Thunderbi@77.10.92.95) (Read error: Connection reset by peer) |
| 2022-09-05 18:46:25 +0200 | justache | (~justache@user/justache) (Ping timeout: 252 seconds) |
| 2022-09-05 18:47:50 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) |
| 2022-09-05 18:48:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-09-05 18:52:22 +0200 | vglfr | (~vglfr@145.224.94.171) (Remote host closed the connection) |
| 2022-09-05 18:53:15 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 18:53:28 +0200 | vglfr | (~vglfr@145.224.94.171) (Remote host closed the connection) |
| 2022-09-05 18:53:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 18:53:56 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-05 18:55:58 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-05 18:56:03 +0200 | econo | (uid147250@user/econo) |
| 2022-09-05 18:56:24 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 18:56:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-05 18:57:56 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 19:00:15 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:00:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-05 19:01:26 +0200 | vglfr | (~vglfr@145.224.94.171) (Remote host closed the connection) |
| 2022-09-05 19:01:48 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 19:02:11 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-05 19:02:11 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:02:47 +0200 | odnes | (~odnes@5-203-145-113.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-05 19:02:55 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-05 19:03:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 19:06:26 +0200 | phma | (phma@2001:5b0:210b:aff8:f0cd:569a:3fd7:2f28) (Read error: Connection reset by peer) |
| 2022-09-05 19:07:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 19:09:38 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-05 19:11:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 19:12:14 +0200 | phma | (phma@2001:5b0:211c:1318:d8c5:fdf3:6664:bfe2) |
| 2022-09-05 19:13:51 +0200 | neceve_ | (~neceve@2.26.93.14) |
| 2022-09-05 19:14:23 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 19:19:02 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-05 19:20:10 +0200 | potash | (~foghorn@user/foghorn) |
| 2022-09-05 19:23:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-05 19:23:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-05 19:23:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-05 19:23:59 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:24:47 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-05 19:25:03 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-09-05 19:25:55 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-09-05 19:25:55 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:26:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-05 19:26:22 +0200 | michalz | (~michalz@185.246.204.75) |
| 2022-09-05 19:26:44 +0200 | <analoq> | why does `<-` not have a type? i.e. `:t (<-)` throws an error |
| 2022-09-05 19:26:59 +0200 | califax | (~califax@user/califx) |
| 2022-09-05 19:27:02 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-05 19:27:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-05 19:30:23 +0200 | <Clint> | analoq: because it's syntactic sugar |
| 2022-09-05 19:31:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-05 19:32:26 +0200 | <analoq> | that makes sense. i cant :t do either, but :t >>= works |
| 2022-09-05 19:34:46 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:36:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 19:36:34 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 19:36:35 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:40:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-05 19:41:48 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:42:46 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-05 19:42:47 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:43:11 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-05 19:44:50 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-05 19:49:14 +0200 | razetime | (~quassel@117.254.35.62) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-05 19:49:56 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:50:03 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-64d5-91de-6fa5-ec29.res6.spectrum.com) (Remote host closed the connection) |
| 2022-09-05 19:50:13 +0200 | <dolio> | (>>=) is a function, not a fragment of syntax. |
| 2022-09-05 19:50:48 +0200 | Guest64 | (~Guest64@50.35.184.120) |
| 2022-09-05 19:51:52 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-09-05 19:52:16 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 19:52:17 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:52:55 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-05 19:53:21 +0200 | Guest64 | (~Guest64@50.35.184.120) (Client Quit) |
| 2022-09-05 19:54:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 19:54:24 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) () |
| 2022-09-05 19:56:56 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) |
| 2022-09-05 19:59:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 19:59:16 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-05 19:59:17 +0200 | ccntrq1 | ccntrq |
| 2022-09-05 19:59:19 +0200 | Null_A | (~null_a@2601:645:8700:ac10:3185:6161:c606:fc6b) |
| 2022-09-05 20:00:29 +0200 | Null_A_ | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-05 20:03:10 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-092-095.77.10.pool.telefonica.de) (Remote host closed the connection) |
| 2022-09-05 20:03:56 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 260 seconds) |
| 2022-09-05 20:03:58 +0200 | Null_A | (~null_a@2601:645:8700:ac10:3185:6161:c606:fc6b) (Ping timeout: 244 seconds) |
| 2022-09-05 20:06:16 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 260 seconds) |
| 2022-09-05 20:07:05 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-05 20:07:09 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Quit: Leaving.) |
| 2022-09-05 20:07:39 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 20:08:41 +0200 | Guest39 | (~Guest39@www.prta.hu) |
| 2022-09-05 20:11:07 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-09-05 20:12:14 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds) |
| 2022-09-05 20:12:55 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 20:13:01 +0200 | Guest39 | (~Guest39@www.prta.hu) (Quit: Client closed) |
| 2022-09-05 20:13:04 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-05 20:14:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-05 20:14:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 20:15:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 20:18:17 +0200 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-09-05 20:18:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-05 20:18:36 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-09-05 20:18:37 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 20:19:04 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-09-05 20:19:29 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-05 20:19:44 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-05 20:21:01 +0200 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-09-05 20:21:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 20:23:09 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.32) |
| 2022-09-05 20:23:34 +0200 | Guest95 | (~Guest95@mail.prta.hu) |
| 2022-09-05 20:23:46 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 260 seconds) |
| 2022-09-05 20:24:09 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 20:24:56 +0200 | Alex_test | (~al_test@178.34.163.149) (Ping timeout: 255 seconds) |
| 2022-09-05 20:26:17 +0200 | AlexZenon | (~alzenon@178.34.163.149) (Ping timeout: 255 seconds) |
| 2022-09-05 20:26:31 +0200 | AlexNoo | (~AlexNoo@178.34.163.149) (Ping timeout: 252 seconds) |
| 2022-09-05 20:28:46 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-05 20:28:57 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-05 20:29:49 +0200 | Alex_test | (~al_test@178.34.151.32) |
| 2022-09-05 20:30:03 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-09-05 20:30:57 +0200 | AlexZenon | (~alzenon@178.34.151.32) |
| 2022-09-05 20:33:29 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 252 seconds) |
| 2022-09-05 20:33:36 +0200 | <Guest95> | @help |
| 2022-09-05 20:33:36 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2022-09-05 20:33:55 +0200 | <Guest95> | @help list |
| 2022-09-05 20:33:55 +0200 | <lambdabot> | list [module|command]. Show commands for [module] or the module providing [command]. |
| 2022-09-05 20:34:15 +0200 | <Guest95> | @list |
| 2022-09-05 20:34:15 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2022-09-05 20:34:28 +0200 | <Guest95> | @help pl |
| 2022-09-05 20:34:29 +0200 | <lambdabot> | pointless <expr>. Play with pointfree code. |
| 2022-09-05 20:35:02 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 20:36:13 +0200 | <Guest95> | Player-205[m] \x y -> x + 1 |
| 2022-09-05 20:36:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 20:36:38 +0200 | <Guest95> | pl y -> x + 1 |
| 2022-09-05 20:36:51 +0200 | <Guest95> | @pl y -> x + 1 |
| 2022-09-05 20:36:51 +0200 | <lambdabot> | (line 1, column 5): |
| 2022-09-05 20:36:51 +0200 | <lambdabot> | unexpected '>' |
| 2022-09-05 20:36:51 +0200 | <lambdabot> | expecting operator |
| 2022-09-05 20:37:08 +0200 | <Guest95> | @pl \y -> x + 1 |
| 2022-09-05 20:37:08 +0200 | <lambdabot> | const (x + 1) |
| 2022-09-05 20:37:16 +0200 | <Guest95> | @pl \x -> x + 1 |
| 2022-09-05 20:37:16 +0200 | <lambdabot> | (1 +) |
| 2022-09-05 20:37:55 +0200 | <Guest95> | @pl \x y z -> f x (g y z) |
| 2022-09-05 20:37:55 +0200 | <lambdabot> | (. g) . (.) . f |
| 2022-09-05 20:38:34 +0200 | <Guest95> | @pl \x y -> f x (g y) |
| 2022-09-05 20:38:34 +0200 | <lambdabot> | const . flip f (g y) |
| 2022-09-05 20:39:29 +0200 | <Guest95> | @pl \x y -> f x (g x) |
| 2022-09-05 20:39:29 +0200 | <lambdabot> | const . ap f g |
| 2022-09-05 20:40:01 +0200 | <Guest95> | @pl \x -> f x (g x) |
| 2022-09-05 20:40:01 +0200 | <lambdabot> | const (f x (g x)) |
| 2022-09-05 20:40:06 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 260 seconds) |
| 2022-09-05 20:40:22 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-05 20:40:35 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 20:40:45 +0200 | <Guest95> | @pl \x y z -> f (g x y z) |
| 2022-09-05 20:40:45 +0200 | <lambdabot> | ((f .) .) . g |
| 2022-09-05 20:41:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-09-05 20:41:11 +0200 | <Guest95> | @pl \x y -> f (g x y) |
| 2022-09-05 20:41:12 +0200 | <lambdabot> | (f .) . g |
| 2022-09-05 20:41:27 +0200 | <[Leary]> | Guest95: Perhaps take this to private chat? |
| 2022-09-05 20:43:07 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-05 20:44:12 +0200 | <tomsmeding> | maerwald: if I am fine with requiring that all paths handled by my application are fully ASCII, can I do without AFPP? |
| 2022-09-05 20:44:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-09-05 20:46:24 +0200 | AlexNoo_ | AlexNoo |
| 2022-09-05 20:52:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 20:53:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 20:57:05 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-09-05 20:58:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-05 20:58:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:29a9:471a:e824:aebc) |
| 2022-09-05 21:00:15 +0200 | Deide1 | (~deide@user/deide) (Quit: Reconnecting) |
| 2022-09-05 21:00:28 +0200 | Deide1 | (~deide@user/deide) |
| 2022-09-05 21:00:58 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) |
| 2022-09-05 21:01:19 +0200 | Deide1 | Deide |
| 2022-09-05 21:04:36 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 260 seconds) |
| 2022-09-05 21:04:43 +0200 | Deide | (~deide@user/deide) (Client Quit) |
| 2022-09-05 21:04:57 +0200 | Deide | (~deide@user/deide) |
| 2022-09-05 21:05:04 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-05 21:05:07 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-05 21:06:49 +0200 | kuribas | (~user@ptr-17d51eoh5uvvb1vh6g2.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-09-05 21:06:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 21:09:54 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-05 21:09:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-05 21:10:22 +0200 | <byorgey> | wait, what? |
| 2022-09-05 21:10:26 +0200 | <byorgey> | @pl \x -> f x (g x) |
| 2022-09-05 21:10:26 +0200 | <lambdabot> | const (f x (g x)) |
| 2022-09-05 21:11:26 +0200 | <hpc> | is there a unicode x in there i am not seeing? |
| 2022-09-05 21:11:33 +0200 | <byorgey> | oh, there is a nonbreaking space after the x |
| 2022-09-05 21:11:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-05 21:11:41 +0200 | <byorgey> | @pl \x -> f x (g x) |
| 2022-09-05 21:11:41 +0200 | <lambdabot> | ap f g |
| 2022-09-05 21:11:44 +0200 | <byorgey> | that's better |
| 2022-09-05 21:12:12 +0200 | <hpc> | @pl \x -> x |
| 2022-09-05 21:12:13 +0200 | <lambdabot> | id |
| 2022-09-05 21:12:22 +0200 | <hpc> | hmm |
| 2022-09-05 21:12:29 +0200 | <hpc> | ah |
| 2022-09-05 21:12:45 +0200 | <byorgey> | @pl \x -> x |
| 2022-09-05 21:13:03 +0200 | <byorgey> | good way to confuse newbies |
| 2022-09-05 21:13:39 +0200 | <Rembane> | Is there a SKI somewhere here? |
| 2022-09-05 21:13:40 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-05 21:14:51 +0200 | <byorgey> | Rembane: yes, S = ap, K = const, I = id. |
| 2022-09-05 21:15:21 +0200 | <Rembane> | byorgey: Sweet! :D |
| 2022-09-05 21:15:41 +0200 | <byorgey> | The algorithm to convert lambda calculus expressions to SKI combinators is exactly what @pl uses, plus some other stuff |
| 2022-09-05 21:16:32 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-09-05 21:17:07 +0200 | <Rembane> | Oh, I didn't know that. That makes it even better. |
| 2022-09-05 21:20:04 +0200 | <byorgey> | or I guess I should say it uses a variant of that algorithm which can also output other combinators, including flip and (.) |
| 2022-09-05 21:20:31 +0200 | fhn | (~fhn@2.58.185.24) |
| 2022-09-05 21:21:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-05 21:22:15 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-09-05 21:25:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 21:25:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 21:28:35 +0200 | vglfr | (~vglfr@145.224.94.171) (Read error: Connection reset by peer) |
| 2022-09-05 21:29:12 +0200 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-05 21:29:33 +0200 | MoC | (~moc@user/moc) |
| 2022-09-05 21:29:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 21:29:59 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-05 21:34:14 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-09-05 21:34:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-05 21:34:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-05 21:34:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-05 21:36:05 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Client Quit) |
| 2022-09-05 21:37:05 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-05 21:37:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-09-05 21:38:09 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-09-05 21:43:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 21:44:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 21:47:23 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-05 21:49:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-05 21:58:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-09-05 21:58:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-05 21:58:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:29a9:471a:e824:aebc) (Ping timeout: 268 seconds) |
| 2022-09-05 21:59:31 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 268 seconds) |
| 2022-09-05 22:00:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 22:00:29 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) |
| 2022-09-05 22:00:36 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-05 22:03:19 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2022-09-05 22:04:07 +0200 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-05 22:06:20 +0200 | xiaolinz | (~xiaolinz@111.198.227.124) (Ping timeout: 268 seconds) |
| 2022-09-05 22:06:37 +0200 | shailangsa | (~shailangs@host86-186-133-23.range86-186.btcentralplus.com) |
| 2022-09-05 22:06:38 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Remote host closed the connection) |
| 2022-09-05 22:06:47 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-05 22:06:57 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-05 22:08:13 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-05 22:08:33 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-05 22:09:09 +0200 | Null_A_ | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Read error: No route to host) |
| 2022-09-05 22:09:32 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-05 22:11:42 +0200 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-05 22:12:33 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 22:13:00 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-05 22:20:11 +0200 | fhn | (~fhn@2.58.185.24) |
| 2022-09-05 22:20:11 +0200 | <__monty__> | tomsmeding: Is Windows a concern? I don't think ASCII is a valid subset of WTF-16? |
| 2022-09-05 22:21:10 +0200 | <tomsmeding> | __monty__: I'm also okay with requiring linux and LC_ALL=en_US.UTF-8 :p |
| 2022-09-05 22:22:59 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-05 22:26:58 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-05 22:28:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-05 22:29:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 22:29:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-05 22:31:53 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-09-05 22:33:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-05 22:33:20 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-05 22:33:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-05 22:34:11 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Ping timeout: 248 seconds) |
| 2022-09-05 22:34:52 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-05 22:37:42 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-09-05 22:37:55 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-05 22:38:18 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-09-05 22:40:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 22:42:12 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-05 22:43:18 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-05 22:43:19 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-05 22:45:09 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-05 22:45:13 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:6858:cb7b:edde:476d) (Ping timeout: 268 seconds) |
| 2022-09-05 22:46:57 +0200 | justache- | justache |
| 2022-09-05 22:49:02 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-05 22:50:33 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-09-05 22:51:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-05 22:52:10 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-05 22:53:49 +0200 | king_gs | (~Thunderbi@187.201.207.143) |
| 2022-09-05 22:55:26 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-05 22:55:32 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) (Quit: Connection closed) |
| 2022-09-05 22:58:08 +0200 | neceve_ | (~neceve@2.26.93.14) (Ping timeout: 268 seconds) |
| 2022-09-05 23:00:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-05 23:01:17 +0200 | fhn | (~fhn@2.58.185.24) () |
| 2022-09-05 23:01:20 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-05 23:08:52 +0200 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 260 seconds) |
| 2022-09-05 23:09:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-05 23:09:39 +0200 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-05 23:11:34 +0200 | Guest95 | (~Guest95@mail.prta.hu) (Ping timeout: 252 seconds) |
| 2022-09-05 23:14:06 +0200 | king_gs | (~Thunderbi@187.201.207.143) (Read error: Connection reset by peer) |
| 2022-09-05 23:14:07 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-05 23:14:36 +0200 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds) |
| 2022-09-05 23:15:13 +0200 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-05 23:16:25 +0200 | king_gs1 | king_gs |
| 2022-09-05 23:18:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 23:18:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-05 23:19:56 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-05 23:23:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-05 23:24:56 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-05 23:27:50 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-05 23:28:04 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-05 23:28:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-05 23:29:28 +0200 | jtomas | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-05 23:31:41 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-05 23:32:47 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-05 23:33:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-05 23:36:16 +0200 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Ping timeout: 260 seconds) |
| 2022-09-05 23:36:54 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-05 23:45:16 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-05 23:46:49 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-05 23:51:40 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-05 23:52:32 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-05 23:58:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a72ed3917dbd6a91b25.dip0.t-ipconnect.de) |