| 2022-08-21 00:00:59 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds)) |
| 2022-08-21 00:02:11 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-21 00:03:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-21 00:05:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 00:10:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 00:12:22 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-21 00:22:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-08-21 00:28:30 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-21 00:29:16 +0200 | mmhat | (~mmh@p200300f1c7086094ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-21 00:32:01 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-08-21 00:43:00 +0200 | <pavonia> | He used to be |
| 2022-08-21 00:43:10 +0200 | mmhat | (~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-21 00:43:29 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Quit: leaving) |
| 2022-08-21 00:44:19 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 00:47:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 00:49:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-21 00:53:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 00:55:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 01:03:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-21 01:06:47 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-21 01:06:58 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-21 01:07:28 +0200 | mmhat | (~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-08-21 01:09:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 01:11:57 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-21 01:13:37 +0200 | caval0ne | (~caval0ne@2804:7f1:ea83:3242:ff8d:2a2:4275:81f5) |
| 2022-08-21 01:14:20 +0200 | caval0ne | (~caval0ne@2804:7f1:ea83:3242:ff8d:2a2:4275:81f5) () |
| 2022-08-21 01:16:49 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-08-21 01:20:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:595d:9ae5:1b71:8d3d) (Ping timeout: 248 seconds) |
| 2022-08-21 01:20:21 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:4b58:5475:122f:13ce) (Read error: Connection reset by peer) |
| 2022-08-21 01:22:06 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:d22f:79c1:e3d:2ee4) |
| 2022-08-21 01:22:15 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8530:a280:c9b5:be70) (Remote host closed the connection) |
| 2022-08-21 01:28:44 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-21 01:30:42 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2022-08-21 01:30:48 +0200 | <qrpnxz> | is (s -> (Maybe a, s)) a Monad? |
| 2022-08-21 01:32:01 +0200 | <qrpnxz> | oh yeah, it's just MaybeT State |
| 2022-08-21 01:32:09 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:d22f:79c1:e3d:2ee4) (Quit: bye) |
| 2022-08-21 01:32:17 +0200 | <geekosaur> | @unmtl MaybeT State |
| 2022-08-21 01:32:17 +0200 | <lambdabot> | err: `MaybeT State' is not applied to enough arguments, giving `/\A B. Maybe A -> (B, Maybe A)' |
| 2022-08-21 01:32:41 +0200 | <qrpnxz> | @unmtl MaybeT (State s) |
| 2022-08-21 01:32:41 +0200 | <lambdabot> | err: `MaybeT (State s)' is not applied to enough arguments, giving `/\A. s -> (Maybe A, s)' |
| 2022-08-21 01:32:49 +0200 | <qrpnxz> | @unmtl MaybeT (State s) a |
| 2022-08-21 01:32:49 +0200 | <lambdabot> | s -> (Maybe a, s) |
| 2022-08-21 01:35:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 01:39:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-21 01:41:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 01:48:51 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-21 01:50:44 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-21 01:54:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-21 01:54:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-21 01:54:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-21 01:56:38 +0200 | <einfair> | how to configure ghci to load modules ? I installed "dev-haskell/gi-gtk" ebuild, but unable to load module, ghci says "module ‘Graphics.UI.Gtk’ cannot be found locally Failed, no modules loaded." |
| 2022-08-21 02:02:41 +0200 | <einfair> | also ghci says "Couldn't match type ‘[Char]’ with ‘Data.Text.Internal.Text’ |
| 2022-08-21 02:02:42 +0200 | <einfair> | Expected: Data.Text.Internal.Text |
| 2022-08-21 02:02:42 +0200 | <einfair> | Actual: String" |
| 2022-08-21 02:03:43 +0200 | <pavonia> | The latter is caused because your are trying to match two different string types |
| 2022-08-21 02:04:02 +0200 | <jackdk> | Easiest way to deal with the former is to work with haskell tooling instead of OS package manager tooling - start a cabal package so you can list the packages you want in `build-depends` |
| 2022-08-21 02:05:03 +0200 | <jackdk> | einfair: If you've written a string literal `"like this"` and have that error, you will want to put `{-# LANGUAGE OverloadedStrings #-}` at the top of your file, or `:set -XOverloadedStrings` into GHCi. |
| 2022-08-21 02:05:49 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-21 02:06:15 +0200 | <pavonia> | When you have a top-level variable yielding of type Integral a => [a], will the result of evaluating some prefix of this list be stored in memory and be used for further accesses of that list? |
| 2022-08-21 02:06:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-21 02:06:23 +0200 | <einfair> | jackdk: yes, that directive works. Now I am able to start graphics "hello world" example. |
| 2022-08-21 02:06:47 +0200 | <geekosaur> | pavonia, no |
| 2022-08-21 02:07:08 +0200 | <geekosaur> | it's actually taking a function (the Integral dictionary for the type) |
| 2022-08-21 02:07:16 +0200 | <geekosaur> | er, taking a parameter |
| 2022-08-21 02:07:30 +0200 | <pavonia> | So is that because of the type only? |
| 2022-08-21 02:07:59 +0200 | <geekosaur> | yes. if you make it a concrete type it'll work as you want |
| 2022-08-21 02:08:09 +0200 | <pavonia> | Ah, thanks |
| 2022-08-21 02:08:15 +0200 | <geekosaur> | but right now it takes a dictionary parameter, so it's really a function and won't be memoized |
| 2022-08-21 02:08:42 +0200 | <jackdk> | "language extension" sounds scary, but many of them are quite conservative and add single features http://web.archive.org/web/20220513191346/dev.stephendiehl.com/hask/#language-extensions |
| 2022-08-21 02:11:08 +0200 | <geekosaur> | a lot of things are extensions because they're technically not part of the standard and nobody wants to take the time to write them up properly for standardization because having them available in ghc is good enough for them |
| 2022-08-21 02:13:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 02:13:24 +0200 | <hpc> | gcc does similar things, and in a much less principled way |
| 2022-08-21 02:13:48 +0200 | <hpc> | it just calls them "options" and you have to specify them on the command line |
| 2022-08-21 02:14:18 +0200 | <geekosaur> | there's also the __attribute__ stuff and other things they usually hide in #includes |
| 2022-08-21 02:14:24 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-21 02:14:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-21 02:15:23 +0200 | <hpc> | also, language extensions are designed to eventually be integrated into the standard, the extension mechanism is standardized, and some of the language is already extensions |
| 2022-08-21 02:16:11 +0200 | <hpc> | so rather than turning on extensions to switch away from the standard, you can turn off "extensions" that correspond to standard language features |
| 2022-08-21 02:20:10 +0200 | <jackdk> | Also if you're on GHC >=9 you can set `Default-Language: GHC2021` in your cabal file and get most of the uncontroversial good stuff |
| 2022-08-21 02:24:43 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 02:26:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 02:29:52 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 268 seconds) |
| 2022-08-21 02:31:25 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-21 02:41:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-21 02:48:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2022-08-21 02:49:45 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-08-21 02:50:22 +0200 | Successus | (~Successus@user/Successus) () |
| 2022-08-21 03:07:14 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 03:08:39 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-21 03:09:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-21 03:10:31 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-21 03:16:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-21 03:17:43 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-08-21 03:25:23 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-08-21 03:30:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 03:32:56 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-21 03:33:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-21 03:37:05 +0200 | einfair_ | (~einfair@broadband-90-154-72-24.ip.moscow.rt.ru) |
| 2022-08-21 03:38:17 +0200 | einfair__ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-21 03:41:15 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2022-08-21 03:41:46 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-21 03:41:54 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 03:42:30 +0200 | einfair_ | (~einfair@broadband-90-154-72-24.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-08-21 03:43:04 +0200 | einfair__ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-08-21 03:44:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 03:46:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-21 03:50:36 +0200 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-08-21 04:00:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-21 04:02:43 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-21 04:03:04 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 04:06:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-21 04:06:38 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-21 04:06:38 +0200 | finn_elija | FinnElija |
| 2022-08-21 04:07:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds) |
| 2022-08-21 04:07:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 04:20:51 +0200 | td_ | (~td@muedsl-82-207-238-122.citykom.de) (Ping timeout: 248 seconds) |
| 2022-08-21 04:22:48 +0200 | td_ | (~td@muedsl-82-207-238-189.citykom.de) |
| 2022-08-21 04:23:54 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-08-21 04:26:01 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-21 04:26:21 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 04:28:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-08-21 04:30:52 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-21 04:30:52 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-21 04:30:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-21 04:31:52 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-21 04:32:13 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 04:32:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-21 04:34:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-21 04:37:46 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-21 04:38:45 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 04:39:23 +0200 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-21 04:39:50 +0200 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit) |
| 2022-08-21 04:40:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-08-21 04:40:05 +0200 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-21 04:40:12 +0200 | wroathe_ | wroathe |
| 2022-08-21 04:46:15 +0200 | isaacvando | (~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) |
| 2022-08-21 04:47:09 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Read error: Connection reset by peer) |
| 2022-08-21 04:50:01 +0200 | isaacvando | (~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) (Quit: Client closed) |
| 2022-08-21 04:50:11 +0200 | isaacvando | (~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) |
| 2022-08-21 04:50:50 +0200 | isaacvando | (~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) (Client Quit) |
| 2022-08-21 04:52:07 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-21 04:58:26 +0200 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 256 seconds) |
| 2022-08-21 04:58:39 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2022-08-21 04:59:15 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-08-21 05:00:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 05:00:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 05:02:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-21 05:03:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-21 05:04:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 05:10:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 05:13:33 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 05:18:01 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Client Quit) |
| 2022-08-21 05:18:21 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 05:20:56 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-21 05:23:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 05:27:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 05:27:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-21 05:29:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 05:31:09 +0200 | xff0x | (~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2022-08-21 05:31:49 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 05:32:08 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:24c9:1211:1023:461b) (Ping timeout: 255 seconds) |
| 2022-08-21 05:32:52 +0200 | myme1 | (~myme@2a01:799:d5a:cd00:bb5a:372d:4d0c:faeb) |
| 2022-08-21 05:34:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 05:37:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 05:37:17 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-21 05:38:09 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-21 05:38:54 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-08-21 05:50:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 05:54:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 06:02:57 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 06:04:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:60cd:1e24:b252:14ca) |
| 2022-08-21 06:08:28 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 06:22:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-21 06:22:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 06:24:58 +0200 | <qrpnxz> | if something is both Comonad and Monad, is it guaranteed to be Identity? My experience points to yes, but idk for sure. |
| 2022-08-21 06:25:40 +0200 | <qrpnxz> | nvm just thought of counter example: NonEmpty |
| 2022-08-21 06:26:02 +0200 | <c_wraith> | No, not at all |
| 2022-08-21 06:26:09 +0200 | <c_wraith> | there are a lot of counter-examples |
| 2022-08-21 06:27:38 +0200 | <qrpnxz> | indeed |
| 2022-08-21 06:34:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:60cd:1e24:b252:14ca) (Ping timeout: 244 seconds) |
| 2022-08-21 06:34:58 +0200 | xff0x | (~xff0x@ap007189.d.east.v6connect.net) |
| 2022-08-21 06:38:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 06:41:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-21 06:42:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 06:47:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 06:48:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 06:49:06 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 06:49:42 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 06:51:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-21 06:52:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 06:52:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 06:54:36 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-21 06:56:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 06:58:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 06:59:42 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-21 07:04:08 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Client Quit) |
| 2022-08-21 07:05:03 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-21 07:08:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 07:09:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-08-21 07:09:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 07:11:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 07:12:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 07:14:46 +0200 | geranim0 | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) |
| 2022-08-21 07:16:31 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-08-21 07:21:32 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-21 07:21:39 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 07:21:42 +0200 | nilradical | (~nilradica@user/naso) (Read error: Connection reset by peer) |
| 2022-08-21 07:23:04 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 07:26:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 07:31:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 07:31:48 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 07:37:49 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 07:39:02 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 07:39:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 07:39:54 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-21 07:40:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-21 07:43:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 07:45:39 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-08-21 07:58:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 08:01:54 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-21 08:06:55 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 08:07:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 08:10:13 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-21 08:13:57 +0200 | kenran | (~kenran@200116b82b214b000f67e475078de869.dip.versatel-1u1.de) |
| 2022-08-21 08:15:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 08:15:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 08:16:59 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-21 08:21:05 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-21 08:21:18 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-21 08:24:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 08:25:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 08:26:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 08:32:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-21 08:36:44 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 08:39:28 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 08:41:08 +0200 | kenran | (~kenran@200116b82b214b000f67e475078de869.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
| 2022-08-21 08:41:21 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) |
| 2022-08-21 08:44:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 08:46:59 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-21 08:48:26 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-08-21 08:48:54 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Client Quit) |
| 2022-08-21 08:49:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 08:50:22 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 08:50:34 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-08-21 08:52:57 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 08:54:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 08:55:12 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-21 08:56:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 08:59:46 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-21 08:59:58 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-21 09:00:23 +0200 | mmhat | (~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-21 09:00:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 09:03:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 09:04:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-21 09:06:09 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-21 09:07:33 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) (Read error: Connection reset by peer) |
| 2022-08-21 09:07:52 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) |
| 2022-08-21 09:09:30 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-21 09:11:14 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-21 09:11:24 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-21 09:12:38 +0200 | benin0 | (~benin@183.82.205.66) |
| 2022-08-21 09:13:09 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-08-21 09:15:36 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-21 09:15:49 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-08-21 09:17:00 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-08-21 09:30:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 09:32:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 09:34:19 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-21 09:34:31 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-21 09:36:22 +0200 | tom__ | (~tom@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-08-21 09:38:25 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 09:38:43 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) (Ping timeout: 248 seconds) |
| 2022-08-21 09:42:26 +0200 | kenran | (~kenran@200116b82b214b00359ce888ae205ee5.dip.versatel-1u1.de) |
| 2022-08-21 09:44:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 09:45:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 09:45:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 09:46:43 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-21 09:50:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 09:50:49 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 09:53:23 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) |
| 2022-08-21 09:56:39 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-21 10:01:12 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-21 10:03:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 10:08:10 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-08-21 10:08:35 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 248 seconds) |
| 2022-08-21 10:08:35 +0200 | elkcl_ | elkcl |
| 2022-08-21 10:10:35 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:558b:cc63:62b5:2184) |
| 2022-08-21 10:14:58 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-21 10:15:17 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 10:17:25 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-21 10:18:08 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 10:19:35 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 10:19:44 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-21 10:19:58 +0200 | michalz | (~michalz@185.246.204.72) |
| 2022-08-21 10:21:04 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-21 10:21:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 10:24:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-21 10:30:00 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 10:30:55 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 10:32:29 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 10:36:19 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-08-21 10:38:25 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-21 10:42:18 +0200 | <albet70> | why English always use a, an or the before the name |
| 2022-08-21 10:43:51 +0200 | <albet70> | how to describe a delayed computation? |
| 2022-08-21 10:49:54 +0200 | ystael | (~ystael@user/ystael) |
| 2022-08-21 10:50:36 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 10:51:21 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 10:51:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 10:52:37 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 10:54:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 10:54:14 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:28a3:ca72:204d:76ec) |
| 2022-08-21 10:56:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 10:57:07 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-08-21 10:58:49 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-21 10:59:48 +0200 | ine-one | (~Me@185.103.89.94) |
| 2022-08-21 11:00:11 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-21 11:00:21 +0200 | causal | (~user@50.35.83.177) (Client Quit) |
| 2022-08-21 11:00:54 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-08-21 11:00:57 +0200 | <radhika> | Hi |
| 2022-08-21 11:01:02 +0200 | <radhika> | I have an array |
| 2022-08-21 11:01:09 +0200 | <radhika> | Sorry a list |
| 2022-08-21 11:01:15 +0200 | <radhika> | And a number |
| 2022-08-21 11:01:25 +0200 | <radhika> | The list consists of a name |
| 2022-08-21 11:01:32 +0200 | <radhika> | Name is 11 letters |
| 2022-08-21 11:01:54 +0200 | <radhika> | The number could be anything |
| 2022-08-21 11:02:23 +0200 | <radhika> | It should count the list and if the number is greater than the list then count from start again |
| 2022-08-21 11:03:26 +0200 | <radhika> | Keep doing it till the end of number |
| 2022-08-21 11:03:54 +0200 | <radhika> | And return the letter where the count ends |
| 2022-08-21 11:04:04 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-21 11:04:51 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-21 11:05:15 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds) |
| 2022-08-21 11:07:02 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-08-21 11:09:04 +0200 | kmein | (~weechat@user/kmein) |
| 2022-08-21 11:09:13 +0200 | ine-one | (~Me@185.103.89.94) (Excess Flood) |
| 2022-08-21 11:09:26 +0200 | ine-one | (~Me@185.103.89.94) |
| 2022-08-21 11:09:41 +0200 | ine-one | (~Me@185.103.89.94) (Max SendQ exceeded) |
| 2022-08-21 11:09:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 11:10:13 +0200 | ine-one | (~Me@185.103.89.94) |
| 2022-08-21 11:10:32 +0200 | ine-one | (~Me@185.103.89.94) (Max SendQ exceeded) |
| 2022-08-21 11:11:05 +0200 | ine-one | (~Me@185.103.89.94) |
| 2022-08-21 11:11:09 +0200 | ine-one | (~Me@185.103.89.94) (Max SendQ exceeded) |
| 2022-08-21 11:11:32 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:28a3:ca72:204d:76ec) (Remote host closed the connection) |
| 2022-08-21 11:11:39 +0200 | ine-one | (~Me@185.103.89.94) |
| 2022-08-21 11:11:51 +0200 | ine-one | (~Me@185.103.89.94) (Max SendQ exceeded) |
| 2022-08-21 11:17:01 +0200 | kenran | (~kenran@200116b82b214b00359ce888ae205ee5.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-21 11:17:35 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ce75:c418:787e:f49) |
| 2022-08-21 11:18:51 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ce75:c418:787e:f49) (Remote host closed the connection) |
| 2022-08-21 11:21:34 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:9bc0:19ca:2d3a:5cf7) |
| 2022-08-21 11:25:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 11:25:52 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:9bc0:19ca:2d3a:5cf7) (Remote host closed the connection) |
| 2022-08-21 11:26:15 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-21 11:26:59 +0200 | <jackdk> | homework? |
| 2022-08-21 11:27:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 11:30:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-08-21 11:31:36 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:f978:95c3:4cc3:7497) |
| 2022-08-21 11:33:36 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-21 11:38:11 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-21 11:40:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 11:40:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-21 11:43:38 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-21 11:44:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 11:45:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 11:45:21 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-21 11:46:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-21 11:47:16 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-21 11:48:47 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-21 11:48:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-21 11:49:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 11:51:29 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-21 11:52:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 11:54:30 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-21 11:55:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 11:55:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 11:57:15 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:558b:cc63:62b5:2184) (Read error: Connection reset by peer) |
| 2022-08-21 11:57:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 11:59:09 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 11:59:29 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-21 12:01:21 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 12:03:11 +0200 | michalz | (~michalz@185.246.204.72) (Remote host closed the connection) |
| 2022-08-21 12:03:50 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-21 12:08:38 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-21 12:09:40 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-21 12:12:26 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-21 12:15:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 12:15:31 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 12:16:01 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-21 12:18:53 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2022-08-21 12:20:45 +0200 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 244 seconds) |
| 2022-08-21 12:20:52 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-08-21 12:20:56 +0200 | beteigeuze | (~Thunderbi@85.244.28.222) |
| 2022-08-21 12:21:39 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-08-21 12:24:15 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) |
| 2022-08-21 12:29:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-21 12:33:40 +0200 | motersen | (~motersen@user/motersen) (Quit: ZNC - https://znc.in) |
| 2022-08-21 12:38:56 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-21 12:42:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 12:45:42 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 12:47:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 12:50:43 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-21 12:51:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-21 12:53:47 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-21 12:59:20 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 268 seconds) |
| 2022-08-21 13:00:40 +0200 | acidjnk | (~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-21 13:01:30 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-21 13:02:46 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 13:04:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 13:05:30 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:f978:95c3:4cc3:7497) (Ping timeout: 252 seconds) |
| 2022-08-21 13:08:35 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9405bc25a921fe39ff.dip0.t-ipconnect.de) |
| 2022-08-21 13:10:39 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 13:11:17 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-21 13:12:03 +0200 | kenran | (~kenran@200116b82b214b000af83c07f07a2124.dip.versatel-1u1.de) |
| 2022-08-21 13:12:35 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 2022-08-21 13:14:14 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2022-08-21 13:15:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-21 13:16:31 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 13:16:32 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 13:16:37 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
| 2022-08-21 13:16:57 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-21 13:17:15 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-21 13:19:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 13:19:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 13:19:52 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-08-21 13:20:08 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2022-08-21 13:21:39 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-21 13:22:37 +0200 | faultline | (~christian@200116b82ba67a00cb4fd7a4c1a40de2.dip.versatel-1u1.de) |
| 2022-08-21 13:22:39 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-21 13:27:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2022-08-21 13:27:28 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-21 13:27:43 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 268 seconds) |
| 2022-08-21 13:28:57 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 13:29:04 +0200 | <albet70> | return_cont = \a -> \ar -> ar a |
| 2022-08-21 13:29:22 +0200 | <albet70> | bindC = \g f k -> g (\x -> f x k) |
| 2022-08-21 13:29:35 +0200 | <albet70> | k3 = return_cont 3 |
| 2022-08-21 13:29:49 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 13:30:02 +0200 | <albet70> | k5 = bindC k3 (\a -> return_cont (a+1)) |
| 2022-08-21 13:30:10 +0200 | <albet70> | k5 id == 4 |
| 2022-08-21 13:30:54 +0200 | <albet70> | this f in bindC is a binary function, and in k5 = bindC k3 (\a -> ...) \a is an unary, why it does work? |
| 2022-08-21 13:31:50 +0200 | motersen | (~motersen@user/motersen) (Quit: ZNC - https://znc.in) |
| 2022-08-21 13:34:06 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-21 13:34:32 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) |
| 2022-08-21 13:35:06 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-21 13:35:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 13:36:20 +0200 | Successus | (~Successus@user/Successus) |
| 2022-08-21 13:45:27 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-21 13:46:57 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 13:47:22 +0200 | toluene9 | (~toluene@user/toulene) |
| 2022-08-21 13:47:45 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-08-21 13:47:45 +0200 | toluene9 | toluene |
| 2022-08-21 13:49:08 +0200 | motersen | (~motersen@user/motersen) (Client Quit) |
| 2022-08-21 13:49:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 13:50:46 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-21 13:51:26 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-21 13:52:23 +0200 | coot | (~coot@213.134.176.158) (Client Quit) |
| 2022-08-21 13:52:42 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Client Quit) |
| 2022-08-21 13:52:53 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-21 13:53:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 13:56:07 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 13:56:32 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-21 13:57:55 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 14:01:41 +0200 | motersen | (~motersen@user/motersen) (Client Quit) |
| 2022-08-21 14:02:09 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 14:02:12 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-08-21 14:02:18 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-21 14:04:50 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 14:06:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 14:08:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 14:09:47 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-08-21 14:13:12 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9405bc25a921fe39ff.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-21 14:15:16 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-21 14:15:48 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 14:17:03 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-21 14:17:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2022-08-21 14:17:52 +0200 | califax | (~califax@user/califx) |
| 2022-08-21 14:18:11 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-08-21 14:18:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-21 14:20:00 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-21 14:20:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-21 14:20:11 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-08-21 14:20:34 +0200 | faultline | (~christian@200116b82ba67a00cb4fd7a4c1a40de2.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
| 2022-08-21 14:22:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 14:24:04 +0200 | gurkengl1s | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-21 14:24:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 14:26:49 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-21 14:26:51 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 252 seconds) |
| 2022-08-21 14:27:17 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-21 14:28:01 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-21 14:33:24 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) |
| 2022-08-21 14:34:05 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 14:34:40 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 14:35:51 +0200 | motersen | (~motersen@user/motersen) (Client Quit) |
| 2022-08-21 14:36:08 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-21 14:37:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 14:39:16 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-21 14:41:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 14:45:17 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-08-21 14:49:14 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-08-21 14:49:15 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 14:50:28 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 14:51:25 +0200 | benjamin-thomas | (~benjamin-@2a01:e0a:32f:6350:89cf:8543:57e0:28b1) |
| 2022-08-21 14:51:57 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 14:52:24 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 14:54:08 +0200 | motersen | (~motersen@user/motersen) (Client Quit) |
| 2022-08-21 14:57:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 15:01:57 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 256 seconds) |
| 2022-08-21 15:09:37 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-21 15:09:39 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-21 15:09:49 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-21 15:11:02 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-21 15:15:13 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-21 15:17:14 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-08-21 15:18:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 15:22:52 +0200 | ilichu[m] | (~ilichumat@2001:470:69fc:105::2:6afb) |
| 2022-08-21 15:23:54 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-21 15:24:01 +0200 | kenran | (~kenran@200116b82b214b000af83c07f07a2124.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-21 15:24:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 15:24:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-21 15:25:09 +0200 | jese | (~nikola@93-86-101-108.dynamic.isp.telekom.rs) |
| 2022-08-21 15:28:23 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 15:29:53 +0200 | motersen | (~motersen@user/motersen) (Client Quit) |
| 2022-08-21 15:30:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 15:32:47 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-21 15:34:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-21 15:35:03 +0200 | <sm> | hey all, do you know a trick for identifying functions stored in a data value, eg for comparing or debug logging ? |
| 2022-08-21 15:35:50 +0200 | <sm> | ack.. biab |
| 2022-08-21 15:38:24 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-21 15:39:21 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-21 15:39:26 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-21 15:39:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-21 15:39:40 +0200 | benin0 | (~benin@183.82.205.66) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-21 15:48:25 +0200 | benjamin-thomas | (~benjamin-@2a01:e0a:32f:6350:89cf:8543:57e0:28b1) (Quit: Client closed) |
| 2022-08-21 15:48:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 15:50:24 +0200 | benin0 | (~benin@183.82.205.66) |
| 2022-08-21 16:03:30 +0200 | <tomsmeding> | albet70: `\a b -> ...` is the same as `\a -> \b -> ...` is the same as `\a -> (\b -> ...)` |
| 2022-08-21 16:03:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 16:07:32 +0200 | [exa] | (exa@user/exa/x-3587197) |
| 2022-08-21 16:09:37 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-08-21 16:11:44 +0200 | <tomsmeding> | sm: comparison can I guess be done using reallyUnsafePtrEquality#, but debug logging is going to be hard -- inspecting the heap might (with hacks) give you some pointer to the entry of its native code block, yielding some kind of "identity", but not necessarily a useful one if you want to distinguish functions with different closures |
| 2022-08-21 16:12:06 +0200 | <tomsmeding> | i.e. you'd need a ghc plugin to attach more info to closures, or otherwise you should manually add info to your closures :) |
| 2022-08-21 16:22:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 16:22:25 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2022-08-21 16:22:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 16:24:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 16:28:34 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-21 16:29:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 16:30:39 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 16:34:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-08-21 16:34:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 16:36:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 16:40:07 +0200 | <albet70> | what's the eval order ma >>= \a -> mb >>= \b -> mc? |
| 2022-08-21 16:40:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 16:40:50 +0200 | <albet70> | == ma >>= \a -> (mb >>= \b -> mc)? |
| 2022-08-21 16:40:53 +0200 | kenran | (~kenran@200116b82b214b0087667b6a2525053d.dip.versatel-1u1.de) |
| 2022-08-21 16:41:12 +0200 | <albet70> | or (ma >>= \a -> mb) >>= (\b -> mc)? |
| 2022-08-21 16:41:50 +0200 | <albet70> | which way is the do-notation using? |
| 2022-08-21 16:44:08 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-21 16:45:34 +0200 | <hpc> | if you're asking about parsing, it's the first one |
| 2022-08-21 16:45:40 +0200 | <[exa]> | albet70: `do` notation doesn't specify any evaluation order; everything depends on which arguments the >>= forces or not |
| 2022-08-21 16:45:42 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-21 16:45:58 +0200 | <hpc> | but they're both the same, and you can't conclude anything about evaluation order from either expression |
| 2022-08-21 16:46:34 +0200 | geranim0 | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) (Remote host closed the connection) |
| 2022-08-21 16:47:01 +0200 | <hpc> | also fun fact, the fact that those two expressions are the same is the "monoid" part of the "monoid in the category of endofunctors" joke |
| 2022-08-21 16:47:12 +0200 | <hpc> | (or at least, the semigroup part of it :D) |
| 2022-08-21 16:47:12 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 16:47:15 +0200 | <[exa]> | albet70: btw for the 2nd parenthesization the `a` variable wouldn't be available for any other commands than for `mb` |
| 2022-08-21 16:48:57 +0200 | <albet70> | I'm confused, ma >>= \a -> (mb >>= \b -> mc) is equal to (ma >>= \a -> mb) >>= (\b -> mc)? |
| 2022-08-21 16:49:24 +0200 | <hpc> | albet70: ignore that, [exa] is right :( |
| 2022-08-21 16:50:15 +0200 | f-a | (f2a@f2a.jujube.ircnow.org) |
| 2022-08-21 16:50:53 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:186f:eebe:3c5b:ecfa) |
| 2022-08-21 16:51:02 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-21 16:51:27 +0200 | <hpc> | i was misreading, the actual equality is m >>= (\x -> k x >>= h) = (m >>= k) >>= h |
| 2022-08-21 16:52:19 +0200 | <f-a> | I am writing a `Tree a -> b -> (b -> a -> b) -> Tree b` function. So to speak, “folding” along branches. I suspect I am not writing anything new. Is there a typeclass for this? |
| 2022-08-21 16:52:27 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-21 16:53:03 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-08-21 16:53:25 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) |
| 2022-08-21 16:53:28 +0200 | <hpc> | f-a: https://hackage.haskell.org/package/base-4.17.0.0/docs/Prelude.html#t:Foldable perhaps |
| 2022-08-21 16:54:26 +0200 | <hpc> | or Traversable |
| 2022-08-21 16:54:27 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-21 16:54:53 +0200 | <f-a> | hpc, I don’t think it is foldable since I am not reducing to `b` but `Tree b`, am I wrong? |
| 2022-08-21 16:55:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 16:55:54 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-21 16:58:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 16:58:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:00:02 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 17:02:38 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 256 seconds) |
| 2022-08-21 17:02:39 +0200 | mbuf | (~Shakthi@122.165.55.71) (Ping timeout: 256 seconds) |
| 2022-08-21 17:03:35 +0200 | <[exa]> | f-a: so the output tree is a single leaf? |
| 2022-08-21 17:03:44 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-21 17:03:50 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-21 17:04:06 +0200 | <[exa]> | (also looks a bit like mapAccum through a tree, at which point you might be almost hitting Traversable) |
| 2022-08-21 17:04:22 +0200 | <f-a> | no, maybe I should write an implementation so it is clearer |
| 2022-08-21 17:05:57 +0200 | <hololeap> | What's a good overview of Haskell for someone who has done casual programming, just because they are curious, but aren't interested in learning it? |
| 2022-08-21 17:06:15 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 17:06:16 +0200 | <hpc> | LYAH perhaps? |
| 2022-08-21 17:06:30 +0200 | <hpc> | it's approachable, with no exercises |
| 2022-08-21 17:06:35 +0200 | <hpc> | and not terribly long |
| 2022-08-21 17:06:38 +0200 | <f-a> | lyah is a bit long if you are not interested in learning it, I suspect |
| 2022-08-21 17:06:55 +0200 | <hololeap> | I'm thinking some kind of video that goes over the language's features. |
| 2022-08-21 17:07:04 +0200 | <hpc> | a lot of LYAH is "here's what integers are, here's how to append strings" and such |
| 2022-08-21 17:07:05 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-21 17:07:22 +0200 | <hololeap> | I have a family member that is curious why I have an interest in Haskell. |
| 2022-08-21 17:09:05 +0200 | <[exa]> | f-a: anyway your function type can be made out of `traverse` by using `f ~ (->) b` for the `Applicative f`. So unless you're doing some context-specific magic, I guess you should have a traversable. |
| 2022-08-21 17:10:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-21 17:12:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 17:12:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-21 17:12:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:13:33 +0200 | beteigeuze | (~Thunderbi@85.244.28.222) (Quit: beteigeuze) |
| 2022-08-21 17:13:47 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-21 17:15:45 +0200 | <ByronJohnson> | albet70: I think you mean ‘ma >>= \a -> mb a >>= \b -> mc b’; that is, ‘mb a’, not ‘mb’, and ‘mc b’, not ‘mc’. |
| 2022-08-21 17:15:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 17:16:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:17:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 17:18:02 +0200 | ddellacosta | (~ddellacos@143.244.47.71) |
| 2022-08-21 17:18:15 +0200 | <ByronJohnson> | f-a: In addition to Foldable and Traversable, I'd also look at catamorphisms and F-algebras. |
| 2022-08-21 17:18:23 +0200 | <f-a> | hpc: [exa]: ByronJohnson: I wrote an implementation (`annotate`) so I am clear in what I am talking about https://pastebin.com/97PVXTQe |
| 2022-08-21 17:19:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 17:20:45 +0200 | <f-a> | hololeap: difficult to answer, there are videos but I always found them lacking. Even talks are so so imho |
| 2022-08-21 17:22:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:23:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-21 17:24:43 +0200 | kenran | (~kenran@200116b82b214b0087667b6a2525053d.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-21 17:25:21 +0200 | kenran | (~kenran@200116b82b214b0046e1262313a3bf39.dip.versatel-1u1.de) |
| 2022-08-21 17:25:31 +0200 | kenran | (~kenran@200116b82b214b0046e1262313a3bf39.dip.versatel-1u1.de) (Client Quit) |
| 2022-08-21 17:27:45 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-08-21 17:28:20 +0200 | <[exa]> | f-a: not sure if the default Traversable instance for a tree runs from the top to the bottom, you might need some ugly laziness trick to get it working (like, subtracting from a final value which is lazy) |
| 2022-08-21 17:28:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:28:55 +0200 | <[exa]> | Foldable is certainly insufficient (because it can't reproduce the structure) |
| 2022-08-21 17:30:27 +0200 | <[exa]> | f-a: anyway, you can use State to hold the cummulative sum and just let it traverse through the whole structure |
| 2022-08-21 17:31:35 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-21 17:31:36 +0200 | <albet70> | ByronJohnson , why |
| 2022-08-21 17:31:49 +0200 | <f-a> | thanks, in the hand my goal was not to handroll something naive |
| 2022-08-21 17:33:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 17:33:37 +0200 | <albet70> | b/c \a -> mb a :: a -> mb? |
| 2022-08-21 17:33:58 +0200 | ddellacosta | (~ddellacos@143.244.47.71) (Quit: WeeChat 3.6) |
| 2022-08-21 17:34:22 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds) |
| 2022-08-21 17:36:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 17:42:21 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-21 17:42:38 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-08-21 17:43:46 +0200 | <sm> | thanks tomsmeding |
| 2022-08-21 17:45:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-21 17:45:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-21 17:45:33 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) (Client Quit) |
| 2022-08-21 17:47:35 +0200 | <Franciman> | see you in a few times, enjoy functional programming and good company |
| 2022-08-21 17:47:37 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (WeeChat 3.0) |
| 2022-08-21 17:48:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:23d6:30eb:ebe5:2f08) |
| 2022-08-21 17:49:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 17:50:27 +0200 | acidjnk | (~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-21 17:50:51 +0200 | <[exa]> | f-a: I later realized there are various applicative adaptors that might force the Traverse do what you want, i.e. Backwards or Reverse might do the trick |
| 2022-08-21 17:51:37 +0200 | <[exa]> | (it's Data.Functor.Reverse and Control.Applicative.Backwards, both in `transformers`) |
| 2022-08-21 17:51:49 +0200 | <f-a> | thanks |
| 2022-08-21 17:52:16 +0200 | motersen | (~motersen@user/motersen) (Using Circe, the loveliest of all IRC clients) |
| 2022-08-21 17:52:25 +0200 | <[exa]> | (s/Traverse/traverse/ as an absolute self-nitpick) |
| 2022-08-21 17:52:58 +0200 | <f-a> | really interesting, I am not sure I will be using it soon but for sure something useful to know |
| 2022-08-21 17:55:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 17:55:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 17:57:51 +0200 | <[exa]> | well certainly helps you to avoid writing the reversed instance yourself. :D |
| 2022-08-21 17:57:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-21 17:59:52 +0200 | mbuf | (~Shakthi@122.165.55.71) (Remote host closed the connection) |
| 2022-08-21 18:00:05 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 18:00:10 +0200 | pwmosquito[m] | (~pwmosquit@2001:470:69fc:105::15db) (Quit: You have been kicked for being idle) |
| 2022-08-21 18:00:49 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-21 18:01:35 +0200 | einfair_ | (~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) |
| 2022-08-21 18:01:39 +0200 | motersen | (~motersen@user/motersen) (bye) |
| 2022-08-21 18:05:33 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-08-21 18:06:40 +0200 | einfair_ | (~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-08-21 18:07:41 +0200 | einfair_ | (~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) |
| 2022-08-21 18:08:36 +0200 | einfair__ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-08-21 18:10:33 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-21 18:12:20 +0200 | einfair_ | (~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-08-21 18:14:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 18:15:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 18:16:15 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 18:17:40 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-21 18:20:44 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-21 18:21:24 +0200 | <jese> | one of my package's dependencies requires very old version of GHC and fails to build with --allow-newer. but if i build it by myself somewhere outside of the package's directory using that old version of GHC then my package finds it and builds just fine. so is there a way to prevent stack and cabal (i use both) from attempting to build that dependency themselves and instead rely on the user to do it? |
| 2022-08-21 18:21:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 18:22:25 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-21 18:22:42 +0200 | <c_wraith> | if it fails to build with --allow-newer, that suggests it's using a set of dependencies that are incompatible with your program |
| 2022-08-21 18:23:24 +0200 | <c_wraith> | You can point to local source for a package, but it won't help in any situation where you're building the same thing without modification |
| 2022-08-21 18:27:47 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:23d6:30eb:ebe5:2f08) (Ping timeout: 248 seconds) |
| 2022-08-21 18:30:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-21 18:32:26 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds) |
| 2022-08-21 18:33:14 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-21 18:33:16 +0200 | <jese> | c_wraith: thanks |
| 2022-08-21 18:35:34 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 256 seconds) |
| 2022-08-21 18:35:52 +0200 | <troydm> | I'm trying to structure my application using a StateT monad but I'm having a little trouble, basicly I need to have monad which derives IO has a state and mostly has return value of Either Exception a where a is my computation value, but I want to short-circuit my monad binding if there is Exception |
| 2022-08-21 18:36:32 +0200 | <troydm> | i've tried defining it as type MyMonad a = StateT State IO (Either Exception a) |
| 2022-08-21 18:37:13 +0200 | <troydm> | but I'm having trouble structuring my monad calls as I need to manually use custom functions for shortcircuating computation |
| 2022-08-21 18:37:14 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-08-21 18:37:23 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:f527:3ca7:b122:fd0c) |
| 2022-08-21 18:38:00 +0200 | <troydm> | my question is what can I do in this situation, as it seems like defining my own custom monad transformer is the only way to have behaviour that I want |
| 2022-08-21 18:38:24 +0200 | econo | (uid147250@user/econo) |
| 2022-08-21 18:39:45 +0200 | <c_wraith> | I think you want to include ExceptT in your stack |
| 2022-08-21 18:40:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-21 18:41:03 +0200 | <troydm> | so, I need something like ExceptT but which also has a state |
| 2022-08-21 18:41:09 +0200 | <monochrom> | IO already does exceptions. |
| 2022-08-21 18:41:10 +0200 | <troydm> | how do I define something like this? |
| 2022-08-21 18:41:24 +0200 | <troydm> | monochrom: no, not that kind of exceptions, my custom ones |
| 2022-08-21 18:41:40 +0200 | <c_wraith> | StateT State (ExceptT Exception IO) a |
| 2022-08-21 18:41:41 +0200 | <troydm> | monochrom: it's basicly custom type |
| 2022-08-21 18:41:54 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 18:42:22 +0200 | <troydm> | c_wraith: ohh, okey, I feel like I'll have some monad transformer cake |
| 2022-08-21 18:42:25 +0200 | <monochrom> | IO lets me use my custom exception type. I did it once. |
| 2022-08-21 18:42:30 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 18:42:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 18:43:02 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-21 18:43:03 +0200 | <troydm> | monochrom: I don't like doing it that way, I'm actually trying to write my own Scheme R7RS interpreter |
| 2022-08-21 18:43:19 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-21 18:43:33 +0200 | <troydm> | so I have a custom type for Scheme evaluation which did end with exception |
| 2022-08-21 18:44:23 +0200 | jese | (~nikola@93-86-101-108.dynamic.isp.telekom.rs) (Quit: leaving) |
| 2022-08-21 18:44:41 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-21 18:44:56 +0200 | <monochrom> | I wrote my own unit testing library. So I had a custom exception type. |
| 2022-08-21 18:45:50 +0200 | <troydm> | monochrom: yeah I understand |
| 2022-08-21 18:49:04 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds)) |
| 2022-08-21 18:49:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 18:51:13 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-21 18:51:43 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-21 18:52:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 18:53:08 +0200 | pmarg | (~pmarg@2a01:799:159f:9b00:67b3:f8a8:338b:bd0e) |
| 2022-08-21 18:53:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-21 18:54:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-21 18:55:53 +0200 | pmarg | (~pmarg@2a01:799:159f:9b00:67b3:f8a8:338b:bd0e) () |
| 2022-08-21 18:56:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 19:00:36 +0200 | <janus> | how does file-embed-lzma use the Instances.TH.Lift instances? i remove the import and it still compiles |
| 2022-08-21 19:01:17 +0200 | <janus> | code here https://github.com/phadej/file-embed-lzma/blob/master/src/FileEmbedLzma.hs |
| 2022-08-21 19:03:26 +0200 | <janus> | i also tried compiling it on Debian 9 with GHC 8.0 and Cabal 1.24, and it also works there. so don't seem dependent on GHC version |
| 2022-08-21 19:03:59 +0200 | <troydm> | c_wraith: I'm having trouble throwing said exception, maybe I'm too dumb idk, I'm trying to define a function for that that basicly takes :: Exception -> StateT State (ExceptT Exception IO) a |
| 2022-08-21 19:04:59 +0200 | <troydm> | c_wraith: but throwE function is not enough to convert my exception into StateT monad, I need to somehow convert ExceptT into StateT |
| 2022-08-21 19:05:26 +0200 | <troydm> | c_wraith: maybe I'm too dumb to figure this out |
| 2022-08-21 19:05:53 +0200 | <c_wraith> | are you import ExceptT from Control.Monad.Except or Control.Monad.Trans.Except? |
| 2022-08-21 19:06:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 19:06:10 +0200 | <c_wraith> | it's the same type, but very different interfaces |
| 2022-08-21 19:06:17 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-21 19:06:26 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-21 19:07:00 +0200 | <troydm> | c_wraith: Control.Monad.Trans.Except |
| 2022-08-21 19:07:20 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-21 19:07:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-21 19:08:03 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-21 19:08:06 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-21 19:08:10 +0200 | <c_wraith> | Do you have a particular reason to use transformers directly instead of via mtl? |
| 2022-08-21 19:08:52 +0200 | <troydm> | c_wraith: I'm not using mtl |
| 2022-08-21 19:08:58 +0200 | <janus> | oh, it says on https://hackage.haskell.org/package/th-lift-0.8.2 that 'functionality in this package has largely been subsumed by the DeriveLift language extension, which is available in GHC 8.0' |
| 2022-08-21 19:09:27 +0200 | <c_wraith> | troydm: well, then, you're going to need to carefully insert uses of lift |
| 2022-08-21 19:09:33 +0200 | <monochrom> | StateT ExceptT means you will be saying "lift (throw e)" |
| 2022-08-21 19:09:39 +0200 | <c_wraith> | ... which is amusingly *not* the template haskell lift |
| 2022-08-21 19:09:56 +0200 | <monochrom> | Yeah there are too many lifts. |
| 2022-08-21 19:10:11 +0200 | <monochrom> | Methinks some of them should be renamed "elevators" :) |
| 2022-08-21 19:10:47 +0200 | <c_wraith> | there's an mtl-replacement package named something like that already! |
| 2022-08-21 19:10:49 +0200 | <troydm> | c_wraith: I'm not using mtl |
| 2022-08-21 19:10:54 +0200 | <troydm> | ohh, sorry |
| 2022-08-21 19:11:00 +0200 | <troydm> | double pasted |
| 2022-08-21 19:11:46 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 19:12:22 +0200 | <c_wraith> | anyway. like monochrom says, "lift (throw e)". since you're not using mtl, lift and (lift . lift) are going to be stuff you see a lot. |
| 2022-08-21 19:12:24 +0200 | <troydm> | c_wraith: thanks, lift worked like a charm |
| 2022-08-21 19:12:46 +0200 | <troydm> | c_wraith: I'm okey with that |
| 2022-08-21 19:13:02 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-21 19:13:14 +0200 | <c_wraith> | honestly, I don't mind using explicit lift. It means that you don't have the issues mtl does with things like multiples of instances of a particular class in the same stack. |
| 2022-08-21 19:15:15 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-21 19:16:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-08-21 19:16:44 +0200 | nckx | (~nckx@tobias.gr) (Excess Flood) |
| 2022-08-21 19:22:05 +0200 | nckx | (~nckx@tobias.gr) |
| 2022-08-21 19:22:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-21 19:23:40 +0200 | <troydm> | c_wraith: I'm not using mtl because I never used it, I need to learn it... |
| 2022-08-21 19:23:40 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-21 19:23:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 19:24:04 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-08-21 19:24:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 19:25:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-21 19:26:23 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 19:27:12 +0200 | Lucio_ | (~Lucio@5.179.169.123) |
| 2022-08-21 19:27:39 +0200 | <Lucio_> | Hi everyone |
| 2022-08-21 19:28:58 +0200 | kavvadias | (~kavvadias@2001:9e8:6335:a500:a204:9b27:4b58:bef1) |
| 2022-08-21 19:29:43 +0200 | <Lucio_> | i want to be a better programmer, i come from php background, but i feel my code sucks because i have a poor programming design. Should i use Haskell for that_ |
| 2022-08-21 19:29:45 +0200 | <Lucio_> | ? |
| 2022-08-21 19:30:56 +0200 | <monochrom> | I teach Haskell to my students, and they hand in poor designs in Haskell too. |
| 2022-08-21 19:31:00 +0200 | <c_wraith> | learning Haskell might help, but it won't be a quick fix. |
| 2022-08-21 19:31:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 19:31:46 +0200 | <monochrom> | There is some kind of XY-problem mentality in human nature that transcends language. |
| 2022-08-21 19:32:01 +0200 | <kavvadias> | hello everyone, im trying to build cardano-node and i cant get libsystemd-journal dependency to resolve, i get this error https://pastebin.com/y9P0ADXr , I'm on pop-os 22.04 (ubuntu) |
| 2022-08-21 19:32:16 +0200 | <monochrom> | Music and XY problems are the universal languages of humanity! |
| 2022-08-21 19:32:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-21 19:33:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 19:35:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-21 19:35:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-08-21 19:36:05 +0200 | <sm> | Lucio_: sure! |
| 2022-08-21 19:36:20 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-21 19:37:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 19:38:40 +0200 | <hololeap> | I'm not really grokking this: https://hackage.haskell.org/package/monad-control-1.0.2.3/docs/Control-Monad-Trans-Control.html#v:… |
| 2022-08-21 19:38:52 +0200 | <c_wraith> | yeah, no one does |
| 2022-08-21 19:39:15 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-21 19:39:29 +0200 | <hololeap> | what is the point of (restoreM saved >>= release) as opposed to just (release saved) |
| 2022-08-21 19:41:31 +0200 | <Lucio_> | @monochrom . |
| 2022-08-21 19:41:31 +0200 | <lambdabot> | Unknown command, try @list |
| 2022-08-21 19:41:50 +0200 | <monochrom> | Probably one of those times when the real documentation is someone's forgotten blog. |
| 2022-08-21 19:42:38 +0200 | <Lucio_> | #monochrom . |
| 2022-08-21 19:42:50 +0200 | <hololeap> | See the following tutorial by Michael Snoyman on how to use this package |
| 2022-08-21 19:42:55 +0200 | <hololeap> | go figure |
| 2022-08-21 19:44:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 19:44:10 +0200 | <Lucio_> | Monochrom what is your recommendation to get better at writing code? Some speicific book , or ... |
| 2022-08-21 19:44:26 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-21 19:44:46 +0200 | <Lucio_> | I feel like programming, with framework in php is not giving me the right understanding of design |
| 2022-08-21 19:44:48 +0200 | <monochrom> | Be logical, not intuitive. Learn Occam's Razor. Pay attention to actual outcomes, ignore intentions. |
| 2022-08-21 19:45:52 +0200 | <darkling> | And just practice, practice, practice. |
| 2022-08-21 19:46:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 19:47:14 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-21 19:47:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 19:49:47 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-21 19:51:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 19:52:11 +0200 | <NewbiePlumber> | Hey all, tell me something interesting you've done with Haskell. I'm going through some projects I've written in other languages, trying to convert them to Haskell. I'm very pleased so far with the file I/o and networking. I'm not sure how many of the other projects would make sense to rewrite (which is not a statement, it is an open musing). |
| 2022-08-21 19:52:11 +0200 | <NewbiePlumber> | Anyone done stuff with graphics, parallel compute (GPGPU-type stuff), or distributed systems (akin to networked MPI)? |
| 2022-08-21 19:52:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 19:52:49 +0200 | <NewbiePlumber> | (also, is there any way to see the chat history before I log in?) |
| 2022-08-21 19:53:53 +0200 | <geekosaur> | there is a log; check the topic. you may also be interested in matrix, which has an IRC bridge |
| 2022-08-21 19:55:55 +0200 | <sm> | and a public log I think |
| 2022-08-21 19:56:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 19:56:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 19:57:02 +0200 | <sm> | oops |
| 2022-08-21 19:58:30 +0200 | <sm> | Lucio_: https://en.wikipedia.org/wiki/How_to_Design_Programs is some good food for thought on design |
| 2022-08-21 19:59:33 +0200 | <sm> | also read the code of projects you'd like to be able to make |
| 2022-08-21 19:59:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 20:02:17 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 256 seconds) |
| 2022-08-21 20:02:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:03:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:03:17 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-21 20:03:39 +0200 | <NewbiePlumber> | I'm all for books, but I've got two that I need to finish already (Stepanov's Elements and Notes). I'm looking for more of a field survey of what things are easily possible in Haskell. For example, if I were to write some GPGPU programs, would they compile are run anywhere that the equivalent clang/libclc would? If I were to write some windowing |
| 2022-08-21 20:03:40 +0200 | <NewbiePlumber> | graphics, would they be as portable as GLFW or SDL? |
| 2022-08-21 20:04:15 +0200 | <Rembane_> | Haskell excels at writing interpreters and compilers and also highly concurrent applications. |
| 2022-08-21 20:04:37 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-08-21 20:05:23 +0200 | <NewbiePlumber> | Does the RTS run in parallel on the GPU, or strictly the CPU? |
| 2022-08-21 20:05:49 +0200 | <Rembane_> | I don't think it runs on the GPU at all. |
| 2022-08-21 20:06:28 +0200 | <Rembane_> | But there's probably a package somewhere to run Haskell code on the GPU, or some EDSL written in Haskell |
| 2022-08-21 20:06:30 +0200 | <geekosaur> | haskell doesn't run on the gpu but there are libraries that can help you program for gpus (e.g. Accelerate) |
| 2022-08-21 20:07:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 20:09:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:11:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 20:12:27 +0200 | beteigeuze1 | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-21 20:12:45 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2022-08-21 20:12:46 +0200 | beteigeuze1 | beteigeuze |
| 2022-08-21 20:16:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 20:16:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 20:16:42 +0200 | hellwolf | (~hellwolf@7-41-50-84.sta.estpak.ee) |
| 2022-08-21 20:18:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-08-21 20:18:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:19:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:20:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:20:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:20:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 20:21:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-21 20:22:10 +0200 | kavvadias | (~kavvadias@2001:9e8:6335:a500:a204:9b27:4b58:bef1) (Quit: Client closed) |
| 2022-08-21 20:23:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:24:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:24:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:24:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:25:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2022-08-21 20:25:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:25:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-08-21 20:25:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 20:29:32 +0200 | kavvadias | (~kavvadias@2001:9e8:6335:a500:4b4c:ad2e:3ab7:cc00) |
| 2022-08-21 20:30:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-21 20:32:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-21 20:37:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-21 20:37:46 +0200 | alphabeta | (~kilolympu@90.203.82.22) |
| 2022-08-21 20:37:57 +0200 | alphabeta | (~kilolympu@90.203.82.22) (Remote host closed the connection) |
| 2022-08-21 20:38:10 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-21 20:38:33 +0200 | kilolympus | (~kilolympu@90.203.82.22) (Ping timeout: 256 seconds) |
| 2022-08-21 20:39:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 20:39:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 20:41:29 +0200 | kavvadias | (~kavvadias@2001:9e8:6335:a500:4b4c:ad2e:3ab7:cc00) (Quit: Client closed) |
| 2022-08-21 20:41:56 +0200 | perrierjouet | GerardMamenti |
| 2022-08-21 20:43:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 20:44:13 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-21 20:55:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 20:57:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 20:58:33 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-21 20:59:27 +0200 | <sm> | NewbiePlumber: for survey, how about https://haskell-links.org and especially the "State of.." and "What I Wish.." links there |
| 2022-08-21 20:59:51 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-21 21:04:00 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-21 21:04:20 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-21 21:06:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 21:07:25 +0200 | GerardMamenti | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-21 21:08:49 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-21 21:10:33 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-21 21:10:56 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit) |
| 2022-08-21 21:11:35 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-21 21:13:00 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-21 21:14:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 21:16:52 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-21 21:17:06 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-21 21:20:08 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-08-21 21:24:40 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-21 21:24:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-21 21:26:59 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds)) |
| 2022-08-21 21:27:56 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:17b4:8a9c:cee3:3359) (Ping timeout: 255 seconds) |
| 2022-08-21 21:33:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 21:33:45 +0200 | acidjnk | (~acidjnk@p200300d6e7137a51b5f4311eaf3b0bb2.dip0.t-ipconnect.de) |
| 2022-08-21 21:35:43 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-21 21:36:37 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2022-08-21 21:39:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 21:40:35 +0200 | <qrpnxz> | haskell has let's see ByteArray#, MutableByteArray#, Ptr, ForeignPtr, each in Pinned and Unpinned variant. For nicer interface above we have Data.Array.Byte, Data.Primitive.ByteArray, Data.Vector.Primitive, Data.Vector.Storable, Data.ByteString, Data.ByteString.Short. I'm going a little bit crazy here. |
| 2022-08-21 21:41:59 +0200 | kilolympus | (~kilolympu@90.203.82.22) |
| 2022-08-21 21:43:50 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2022-08-21 21:44:02 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-21 21:44:02 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-21 21:45:34 +0200 | michalz | (~michalz@185.246.204.75) |
| 2022-08-21 21:46:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 21:46:43 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-21 21:46:46 +0200 | phma | (phma@2001:5b0:2172:b518:6336:2e81:da5f:9132) (Read error: Connection reset by peer) |
| 2022-08-21 21:47:40 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-08-21 21:52:35 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-21 21:52:39 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-21 21:53:14 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-21 21:53:28 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-21 21:55:21 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-21 21:57:51 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-08-21 21:58:14 +0200 | Topsi | (~Topsi@dyndsl-095-033-092-213.ewe-ip-backbone.de) |
| 2022-08-21 22:00:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 22:02:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-21 22:03:33 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-21 22:06:21 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-21 22:10:12 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-08-21 22:11:29 +0200 | kilolympus | (~kilolympu@90.203.82.22) (Ping timeout: 256 seconds) |
| 2022-08-21 22:12:12 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-08-21 22:12:46 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-21 22:14:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 22:14:27 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-08-21 22:14:52 +0200 | kilolympus | (~kilolympu@90.203.82.22) |
| 2022-08-21 22:14:57 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-21 22:16:19 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-21 22:16:23 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-21 22:16:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-21 22:18:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-21 22:19:15 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-21 22:21:07 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-21 22:21:35 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5b0:5c3a:2cad:ac34) |
| 2022-08-21 22:23:52 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-21 22:26:13 +0200 | <NewbiePlumber> | tabs or spaces, is that a monad? |
| 2022-08-21 22:26:24 +0200 | <Rembane_> | Why not all three? |
| 2022-08-21 22:26:51 +0200 | <NewbiePlumber> | do it concurrently |
| 2022-08-21 22:27:34 +0200 | <monochrom> | If you use tabs, you will have tab leaks. |
| 2022-08-21 22:27:59 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:afeb:7cde:2e24:243f) |
| 2022-08-21 22:28:47 +0200 | <NewbiePlumber> | does haskell have a formatting tool? |
| 2022-08-21 22:29:28 +0200 | <geekosaur> | several |
| 2022-08-21 22:29:52 +0200 | <geekosaur> | brittany, ormolu/fourmolu, structured-haskell-mode in emacs… |
| 2022-08-21 22:30:07 +0200 | <tomsmeding> | stylish-haskell, hindent |
| 2022-08-21 22:30:32 +0200 | <geekosaur> | right, I keep fprgetting those two |
| 2022-08-21 22:31:03 +0200 | <tomsmeding> | hindent is kinda weird with its choices sometimes, though, but it's great as a quick auto-indenter for large Show output :p |
| 2022-08-21 22:31:30 +0200 | <tomsmeding> | I have :hindentshow <expr> in my .ghci which passes the result of expr through 'show' and hindent |
| 2022-08-21 22:32:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 22:33:07 +0200 | <NewbiePlumber> | How do I pass -O3 by default to my project on both stack and cabal? |
| 2022-08-21 22:33:18 +0200 | <NewbiePlumber> | I've tried editing the ~/.cabal/config file, but no luck |
| 2022-08-21 22:33:39 +0200 | <dsal> | monochrom: I use tabs in chrome. Can confirm. |
| 2022-08-21 22:33:43 +0200 | <geekosaur> | stack and cabal use different config files. also -O3 does nothing |
| 2022-08-21 22:33:58 +0200 | <NewbiePlumber> | Oh, it's just O1/O2? |
| 2022-08-21 22:34:02 +0200 | <geekosaur> | ghc does not compile via C, and there is no haskell -O3 |
| 2022-08-21 22:34:23 +0200 | <geekosaur> | and -O2 should be used only after benchmarking with and without |
| 2022-08-21 22:34:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-21 22:34:44 +0200 | <geekosaur> | since it increases compile time significantly while not generally producing much better code (and sometimes worse) |
| 2022-08-21 22:35:13 +0200 | <NewbiePlumber> | Interesting, hmm |
| 2022-08-21 22:35:17 +0200 | Lucio__ | (~Lucio@5.179.169.123) |
| 2022-08-21 22:36:57 +0200 | <NewbiePlumber> | But, to do it, would it be in cabal.project, stack.yaml, <project>.cabal, somewhere else, or all of those? |
| 2022-08-21 22:37:17 +0200 | <tomsmeding> | <project>.cabal |
| 2022-08-21 22:37:23 +0200 | <tomsmeding> | ghc-options: -O2 -Wall |
| 2022-08-21 22:37:28 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-21 22:37:38 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-21 22:37:47 +0200 | <tomsmeding> | (I'm putting -Wall there too which is unrelated -- it enables warnings -- but you would also put that there, and *please enable warnings*) |
| 2022-08-21 22:38:07 +0200 | <geekosaur> | although I think cabal.project.local is preferred unless you have good reason to stick it in the cabal file (assuming this will eventually go to hackage) |
| 2022-08-21 22:38:25 +0200 | <tomsmeding> | I guess if you have a good reason to use -O2, you have a good reason to use -O2 :p |
| 2022-08-21 22:38:26 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5b0:5c3a:2cad:ac34) (Quit: Leaving) |
| 2022-08-21 22:39:00 +0200 | Lucio_ | (~Lucio@5.179.169.123) (Ping timeout: 268 seconds) |
| 2022-08-21 22:40:10 +0200 | <NewbiePlumber> | So, using O2 is generally not recommended because it doesn't always produce significantly better performance and hinders debugging? |
| 2022-08-21 22:41:37 +0200 | <geekosaur> | nothing to do with debugging (that's difficult regardless 🙂 |
| 2022-08-21 22:41:48 +0200 | <geekosaur> | but it takes *much* longer to compile with -O2 |
| 2022-08-21 22:41:48 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-21 22:41:58 +0200 | <geekosaur> | and you rarely get much out of it |
| 2022-08-21 22:43:48 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Quit: WeeChat 3.5) |
| 2022-08-21 22:45:40 +0200 | <NewbiePlumber> | I'm not seeing much info about linking everything statically, including the compiler runtime, linking with fPIC, and using LTO |
| 2022-08-21 22:45:46 +0200 | <NewbiePlumber> | are those things possible? |
| 2022-08-21 22:45:48 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-21 22:45:53 +0200 | <qrpnxz> | omg, i think haskell doesn't have a read-only pointer type. Talk about ironic lol |
| 2022-08-21 22:46:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 22:46:59 +0200 | Lucio__ | (~Lucio@5.179.169.123) (Ping timeout: 252 seconds) |
| 2022-08-21 22:47:14 +0200 | <geekosaur> | haskell libraries including the RTS are linked statically unless you use -dynamic. |
| 2022-08-21 22:47:43 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-21 22:47:58 +0200 | <geekosaur> | C libraries default to dynamic unless you use -Wl,-static, but then you have to worry about static libc (glibc *really really* does not like this) |
| 2022-08-21 22:48:40 +0200 | <geekosaur> | PIC is used automatically when dynamic or the platform supports PIE. |
| 2022-08-21 22:49:09 +0200 | <NewbiePlumber> | Thank you |
| 2022-08-21 22:49:16 +0200 | <geekosaur> | LTO mostly doesn't apply because nobody's linker knows how to properly LTO Haskell objects |
| 2022-08-21 22:49:31 +0200 | <int-e> | qrpnxz: In first approximation, Haskell doesn't have pointer types... pointers are mostly for FFI, where they are implementation details in low-level unsafe code. What would you gain with a read-only pointer? |
| 2022-08-21 22:49:39 +0200 | <geekosaur> | mostly LTO is designed for C++ |
| 2022-08-21 22:49:51 +0200 | <tomsmeding> | also C, right? |
| 2022-08-21 22:50:06 +0200 | <tomsmeding> | (though in a pinch C is mostly a subset of C++ :p) |
| 2022-08-21 22:50:09 +0200 | <geekosaur> | C is kinda a lesser C++ from the linker's POV |
| 2022-08-21 22:50:12 +0200 | <tomsmeding> | yeah |
| 2022-08-21 22:50:20 +0200 | <NewbiePlumber> | FWIW, our experience in C++ has put us firmly on the side of "build our own compilers and link statically against them" |
| 2022-08-21 22:50:22 +0200 | <tomsmeding> | right, especially for the linker |
| 2022-08-21 22:50:37 +0200 | <tomsmeding> | NewbiePlumber: link statically against a _compiler_? |
| 2022-08-21 22:50:52 +0200 | <NewbiePlumber> | a compiler runtime, yes |
| 2022-08-21 22:51:00 +0200 | <qrpnxz> | int-e: i'm working on a low-level bytes reader/writer api. I wanted to return a reference to a buffer, then realized oops this pointer can be written to! Very bad. So now i'm looking for what's the best most interoperable zero-cost alternative. |
| 2022-08-21 22:51:00 +0200 | <tomsmeding> | ah, the runtime, that makes more sense :p |
| 2022-08-21 22:51:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 22:51:09 +0200 | <monochrom> | The Gamma Relation: ghc -On ~ gcc -O(n+1) |
| 2022-08-21 22:51:20 +0200 | <qrpnxz> | i could just accept an unsafe api, but i want to be safe as possible |
| 2022-08-21 22:51:35 +0200 | <tomsmeding> | NewbiePlumber: well, as geekosaur said, ghc automatically statically links the ghc runtime system ("RTS") |
| 2022-08-21 22:51:46 +0200 | <NewbiePlumber> | Yes, TY all :) |
| 2022-08-21 22:51:55 +0200 | <int-e> | qrpnxz: wrap it in a newtype, don't export the constructure, and provide your own access operations |
| 2022-08-21 22:51:59 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-08-21 22:52:28 +0200 | <int-e> | *constructor... I think I'm half sleep-typing. |
| 2022-08-21 22:52:29 +0200 | <monochrom> | Isn't it also the case that gcc static-links crts.o ? |
| 2022-08-21 22:52:44 +0200 | <qrpnxz> | int-e: that's so much work, but yes that's pretty much the least compromise way to do it i suppose. |
| 2022-08-21 22:53:06 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-21 22:53:16 +0200 | <tomsmeding> | monochrom: it doesn't statically link libc.so :p |
| 2022-08-21 22:53:49 +0200 | <monochrom> | Not to say that crts.o does anything substantial. Basically an at_exit registrar. |
| 2022-08-21 22:54:11 +0200 | <tomsmeding> | isn't that kind of the point of C, that the RTS doesn't amount to anything substantial? |
| 2022-08-21 22:54:12 +0200 | <int-e> | :t Data.ByteString.Internal.fromForeignPtr |
| 2022-08-21 22:54:13 +0200 | <lambdabot> | GHC.ForeignPtr.ForeignPtr Word8 -> Int -> Int -> BSC.ByteString |
| 2022-08-21 22:54:18 +0200 | <geekosaur[m]> | I should also mention that 99% of LTO is dead code elimination, which ghc was doing itself before LTO came along |
| 2022-08-21 22:54:24 +0200 | <int-e> | qrpnxz: Maybe that's good enough for you? |
| 2022-08-21 22:55:49 +0200 | <monochrom> | I dare say, the point of all sequential-only languages... |
| 2022-08-21 22:56:07 +0200 | <hololeap> | anyone have any ideas why this would happen? https://github.com/gentoo-haskell/hackport/runs/7941483762?check_suite_focus=true#step:8:296 |
| 2022-08-21 22:56:39 +0200 | <qrpnxz> | that's one reason i'd want to return a ptr yes, you can turn it into a bytestring zero-copy, or feed a MutableArray# with it and so on. If i were to create a safe read-only interface, i'd have to write wrappers for functions like that |
| 2022-08-21 22:56:41 +0200 | <qrpnxz> | int-e: |
| 2022-08-21 22:56:48 +0200 | <tomsmeding> | monochrom: Java has a pretty substantial runtime system :p |
| 2022-08-21 22:56:48 +0200 | <monochrom> | {Algol, C, Pascal, Perl, PHP} RTS only needs to do setup, jsr main, teardown. |
| 2022-08-21 22:56:56 +0200 | Lucio__ | (~Lucio@5.179.169.123) |
| 2022-08-21 22:57:05 +0200 | <hololeap> | (there's no template haskell in the project, at all) |
| 2022-08-21 22:57:13 +0200 | <int-e> | "Sign in to view logs", meh. |
| 2022-08-21 22:57:32 +0200 | <monochrom> | OK I forgot GC. But Java is not sequential-only either. An elaborate green-thread system, second to GHC only. |
| 2022-08-21 22:57:43 +0200 | <tomsmeding> | true |
| 2022-08-21 22:58:23 +0200 | <qrpnxz> | what i'm thinking is maybe making all FFI interaction second-class and using Array# and friends primarily. |
| 2022-08-21 22:58:41 +0200 | <int-e> | qrpnxz: The idea was that you could pack the thing up as a bytestring, and that would give consumers ways to access it. But maybe you have more structure that isn't conveniently conveyed that way. Or something that isn't byte-based. |
| 2022-08-21 22:58:46 +0200 | <qrpnxz> | problem is that some really useful functions in Data.ByteString i couldn't use |
| 2022-08-21 22:59:10 +0200 | <qrpnxz> | ah i see what you mean |
| 2022-08-21 22:59:19 +0200 | <int-e> | So there are lots of reasons why this might not be applicable. |
| 2022-08-21 22:59:25 +0200 | <qrpnxz> | yes that's easier than making a newtype |
| 2022-08-21 23:00:28 +0200 | <hololeap> | int-e: http://sprunge.us/7x21Bm |
| 2022-08-21 23:00:31 +0200 | <geekosaur[m]> | I can't see what is failing. But I'll note that ghc errors conflate TH and other bytecode (such as ghci which would be used by for example doctest) |
| 2022-08-21 23:00:34 +0200 | <hololeap> | search for "Couldn't match type" |
| 2022-08-21 23:01:13 +0200 | <tomsmeding> | hololeap: what is exe/Main.hs:155 |
| 2022-08-21 23:01:18 +0200 | <tomsmeding> | that $[] looks suspicious |
| 2022-08-21 23:01:28 +0200 | zero | (~z@user/zero) |
| 2022-08-21 23:01:45 +0200 | <NewbiePlumber> | https://paste.tomsmeding.com/ALhcr2CL |
| 2022-08-21 23:01:50 +0200 | <NewbiePlumber> | The function in question ^ |
| 2022-08-21 23:01:51 +0200 | <tomsmeding> | oh github is a thing |
| 2022-08-21 23:02:00 +0200 | <geekosaur[m]> | I need to get back to my desktop to look up ghc's special LTO-ish option |
| 2022-08-21 23:02:24 +0200 | <hololeap> | https://github.com/gentoo-haskell/hackport/blob/eca4652fd70f886e6990381c9f5b9a21257c1e30/exe/Main.… |
| 2022-08-21 23:02:45 +0200 | <geekosaur[m]> | -split-sections? |
| 2022-08-21 23:03:11 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-08-21 23:03:21 +0200 | <qrpnxz> | actually, there's a way to get a ptr from a Bytearray#, so i could use those, and then you'd still have the option of turning that into a bytestring temporarily for that API, and it would let you create Data.Text zero-copy to boot. |
| 2022-08-21 23:03:43 +0200 | <hololeap> | is it misinterpreting ($[]) as TH? |
| 2022-08-21 23:03:48 +0200 | <tomsmeding> | hololeap: somehow? |
| 2022-08-21 23:03:56 +0200 | <tomsmeding> | hololeap: can you reproduce it in a file without CPP |
| 2022-08-21 23:04:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 23:04:38 +0200 | <geekosaur[m]> | Usually when ghc blames TH it's complaining about loading a shared object into bytecode |
| 2022-08-21 23:05:07 +0200 | <tomsmeding> | geekosaur[m]: looks like a parse error here, it's interpreting ($[]) as some TH quote |
| 2022-08-21 23:05:17 +0200 | <tomsmeding> | I suspect {-# LANGUAGE CPP #-} with a misbehaving CPP |
| 2022-08-21 23:05:37 +0200 | <tomsmeding> | but then the error just lists "($[])" which somewhat disproves that supicion |
| 2022-08-21 23:05:40 +0200 | <tomsmeding> | *suspicion |
| 2022-08-21 23:05:52 +0200 | <hololeap> | it's only doctests that seem to have a problem with it, and it was working fine not too long ago even with that same line |
| 2022-08-21 23:06:08 +0200 | <hololeap> | but the CPP is not necessary. I should remove it anyway |
| 2022-08-21 23:06:37 +0200 | <NewbiePlumber> | on the commandline: warning: unrecognised warning flag: -Wl,-static |
| 2022-08-21 23:06:47 +0200 | <NewbiePlumber> | Error trying those linker options (from project.cabal) |
| 2022-08-21 23:07:44 +0200 | <NewbiePlumber> | Oh, are those supposed to be in the linker section?? Ok, newbie |
| 2022-08-21 23:07:44 +0200 | <hololeap> | I also find it odd that doctest fails and still returns exit code 0 |
| 2022-08-21 23:09:05 +0200 | <tomsmeding> | hololeap: consider it a value judgement on documentation -- "who cares about a few errors, we wrote docs in the first place!" |
| 2022-08-21 23:10:00 +0200 | <hololeap> | it doesn't usually do that. this is the first time I've seen it silently fail |
| 2022-08-21 23:10:12 +0200 | <hololeap> | (not quite silent, thankfully) |
| 2022-08-21 23:10:27 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:186f:eebe:3c5b:ecfa) (Read error: Connection reset by peer) |
| 2022-08-21 23:11:26 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-21 23:15:28 +0200 | <qrpnxz> | looks like vector 0.13 just came out? |
| 2022-08-21 23:15:42 +0200 | <qrpnxz> | or am i mistaken |
| 2022-08-21 23:17:43 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds)) |
| 2022-08-21 23:17:45 +0200 | <int-e> | hololeap: Oh, this seems to be a change in ghc-9.0 and TemplateHaskell. http://paste.debian.net/1251246/ |
| 2022-08-21 23:18:56 +0200 | <int-e> | hololeap: so https://github.com/gentoo-haskell/hackport/blob/master/exe/Main.hs#L155 will need a space between $ and []. |
| 2022-08-21 23:19:34 +0200 | <int-e> | (Why is TemplateHaskell enabled? I guess the cabal file does that... and it's needed for other files.) |
| 2022-08-21 23:20:16 +0200 | <tomsmeding> | int-e: funnily, the behaviour seems changed from ghc-9.0, but only ghc-9.2 shows a warning about the syntax if -XTemplateHaskell is _not_ enabled |
| 2022-08-21 23:20:20 +0200 | <tomsmeding> | seems like the wrong way round... |
| 2022-08-21 23:21:11 +0200 | <int-e> | Yeah, that must have been an afterthought. I wonder whether there's a ticket. |
| 2022-08-21 23:21:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-21 23:22:17 +0200 | <geekosaur> | qrpnxz, came out in june, just got a revision (probably upper bounds) |
| 2022-08-21 23:23:04 +0200 | <qrpnxz> | thanks |
| 2022-08-21 23:23:45 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) |
| 2022-08-21 23:23:51 +0200 | <hololeap> | TemplateHaskell isn't enabled anywhere in the project. it's something doctest is doing |
| 2022-08-21 23:26:49 +0200 | <int-e> | tomsmeding: Not an oversight, really. It's https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-whitespace-bang-patterns… which says: ".. implemented:: 9.0, but missing the warnings proposed here" |
| 2022-08-21 23:27:25 +0200 | <tomsmeding> | ah |
| 2022-08-21 23:28:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-21 23:33:20 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-21 23:34:09 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-21 23:35:50 +0200 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2022-08-21 23:36:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-21 23:38:51 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-21 23:41:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-21 23:41:59 +0200 | adium | (adium@user/adium) (Ping timeout: 252 seconds) |
| 2022-08-21 23:42:01 +0200 | Topsi | (~Topsi@dyndsl-095-033-092-213.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-08-21 23:42:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 23:42:44 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-21 23:42:46 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 23:46:05 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Quit: WeeChat 3.5) |
| 2022-08-21 23:47:49 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-21 23:48:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-21 23:48:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-21 23:49:43 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-21 23:50:04 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-21 23:50:25 +0200 | toluene | (~toluene@user/toulene) (Ping timeout: 252 seconds) |
| 2022-08-21 23:51:33 +0200 | <hololeap> | removing {-# LANGUAGE CPP #-} got rid of the error message |
| 2022-08-21 23:54:54 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds)) |
| 2022-08-21 23:57:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-21 23:57:55 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-08-21 23:58:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |