| 2022-06-17 00:00:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2022-06-17 00:02:04 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-17 00:02:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-06-17 00:03:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-17 00:04:23 +0200 | Feuermagier_ | (~Feuermagi@84.17.49.10) (Read error: Connection reset by peer) |
| 2022-06-17 00:04:50 +0200 | Alex_test | (~al_test@178.34.150.200) (Quit: ;-) |
| 2022-06-17 00:05:02 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-06-17 00:05:18 +0200 | AlexZenon | (~alzenon@178.34.150.200) (Quit: ;-) |
| 2022-06-17 00:05:29 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) (Quit: Leaving) |
| 2022-06-17 00:09:34 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-06-17 00:09:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-17 00:09:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-17 00:09:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-17 00:11:30 +0200 | arahael | (~arahael@121-44-19-180.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-06-17 00:16:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-17 00:18:44 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:617:f64b:a96:e051) (Ping timeout: 248 seconds) |
| 2022-06-17 00:19:16 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-06-17 00:20:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-17 00:20:19 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 00:23:42 +0200 | arthur | (~arthur@78.196.67.166) (Remote host closed the connection) |
| 2022-06-17 00:24:21 +0200 | arahael | (~arahael@118.211.187.178) |
| 2022-06-17 00:26:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-17 00:28:39 +0200 | slack1256 | (~slack1256@191.125.99.209) |
| 2022-06-17 00:30:12 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 00:30:34 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 240 seconds) |
| 2022-06-17 00:30:37 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) (Quit: Client closed) |
| 2022-06-17 00:31:27 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-17 00:31:30 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 00:32:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 00:32:09 +0200 | <alexhandy> | how is it, to rewrite an imperative program to haskell |
| 2022-06-17 00:32:24 +0200 | <alexhandy> | is this a good idea |
| 2022-06-17 00:32:56 +0200 | acidjnk | (~acidjnk@p200300d0c7068b450c914120f4f505ee.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-17 00:33:55 +0200 | <n3t> | alexhandy: it depends on what is your goal. What is your goal? |
| 2022-06-17 00:38:46 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-17 00:39:38 +0200 | quarkyalice | (~textual@user/quarkyalice) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-17 00:42:01 +0200 | ashln | (~ashln@98.38.236.123) (Ping timeout: 246 seconds) |
| 2022-06-17 00:43:11 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-06-17 00:46:23 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-17 00:48:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 00:54:30 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-06-17 00:54:57 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-06-17 00:57:09 +0200 | <geekosaur> | alexhandy, certainly it's possible. you can even write it in an imperative manner. writing it in a more functional style depends to some extent on the language (there's typically a big difference between functional code in Haskell vs., say, Lisp) and to a great extent on exactly what you're doing |
| 2022-06-17 00:57:12 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-17 00:58:03 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:592f:dda3:fea6:1b4c) (Remote host closed the connection) |
| 2022-06-17 00:58:24 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-06-17 01:02:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-181.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-17 01:10:12 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-17 01:12:15 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-17 01:17:57 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 258 seconds) |
| 2022-06-17 01:18:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-06-17 01:18:59 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-17 01:21:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-17 01:24:43 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2022-06-17 01:25:22 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2022-06-17 01:27:13 +0200 | <exarkun> | The imperative program is almost certainly contorted into some unpleasant shape as a result of its focus on encoding the correct sequence of state mutations. |
| 2022-06-17 01:39:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-17 01:46:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-17 01:46:47 +0200 | Alleria | (~AllahuAkb@DN2lk43bh.stanford.edu) |
| 2022-06-17 01:49:43 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-06-17 01:49:43 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-17 01:49:43 +0200 | turlando | (~turlando@user/turlando) |
| 2022-06-17 01:51:08 +0200 | alexhandy2 | (~trace@user/trace) |
| 2022-06-17 01:52:50 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 240 seconds) |
| 2022-06-17 01:52:58 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-17 01:53:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-17 01:59:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-17 02:05:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 02:08:17 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-17 02:11:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-06-17 02:13:37 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2022-06-17 02:15:59 +0200 | <Axman6> | @pl (\l a b -> a:l b (a+b)) |
| 2022-06-17 02:15:59 +0200 | <lambdabot> | liftM2 (.) (:) . (. (+)) . ap |
| 2022-06-17 02:19:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 02:23:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 02:24:08 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-06-17 02:28:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 02:34:24 +0200 | Topsi | (~Topsi@dyndsl-095-033-088-230.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-06-17 02:34:41 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 02:39:23 +0200 | Alleria | (~AllahuAkb@DN2lk43bh.stanford.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-17 02:40:10 +0200 | gnyeki_ | gnyeki |
| 2022-06-17 02:42:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 02:48:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 02:49:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-06-17 02:54:38 +0200 | jargon | (~jargon@184.101.186.108) |
| 2022-06-17 02:57:10 +0200 | werneta | (~werneta@137.79.230.15) (Ping timeout: 240 seconds) |
| 2022-06-17 02:59:16 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-17 03:07:31 +0200 | Alleria | (~AllahuAkb@68.65.161.35) |
| 2022-06-17 03:08:25 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 03:08:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-06-17 03:08:46 +0200 | werneta | (~werneta@137.79.224.184) |
| 2022-06-17 03:09:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 03:11:47 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-17 03:16:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-06-17 03:17:54 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-17 03:17:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 03:18:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 03:20:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-17 03:22:31 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-17 03:24:12 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-06-17 03:25:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) |
| 2022-06-17 03:37:15 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-06-17 03:38:25 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-06-17 03:40:42 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 03:42:26 +0200 | frost | (~frost@user/frost) |
| 2022-06-17 03:45:05 +0200 | Alleria | (~AllahuAkb@68.65.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-17 03:50:54 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2022-06-17 03:53:00 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 03:58:30 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-17 03:59:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 04:01:49 +0200 | quarkyalice | (~textual@user/quarkyalice) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-17 04:03:38 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 04:05:01 +0200 | werneta | (~werneta@137.79.224.184) (Ping timeout: 246 seconds) |
| 2022-06-17 04:05:58 +0200 | <Axman6> | unclechu: I can't see an easy way of doing that sadly |
| 2022-06-17 04:06:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-17 04:09:14 +0200 | td_ | (~td@muedsl-82-207-238-107.citykom.de) (Ping timeout: 246 seconds) |
| 2022-06-17 04:09:51 +0200 | <Axman6> | unclechu: actually, I take that back, there is a way - if you use a monad which is an instance of https://hackage.haskell.org/package/servant-client-core-0.19/docs/Servant-Client-Core-RunClient.ht… then you get access to the request itself - so if your app uses a monad transformer the ClientM monad, then you can intercept the Requests (and the responses) and use that for logging |
| 2022-06-17 04:10:56 +0200 | <Axman6> | Then I think you just need to use `hoistClient` to take the accessor functions returned by `client` to hoist those into your monad |
| 2022-06-17 04:11:09 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 04:11:15 +0200 | td_ | (~td@muedsl-82-207-238-251.citykom.de) |
| 2022-06-17 04:11:40 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-06-17 04:12:18 +0200 | <Axman6> | Personally I would use something like ReaderT ClientEnv ClientM a |
| 2022-06-17 04:15:06 +0200 | quarkyalice | (~textual@user/quarkyalice) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-17 04:18:19 +0200 | sayola | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
| 2022-06-17 04:19:46 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 04:22:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 04:29:25 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 04:30:19 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-17 04:31:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 04:32:01 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-17 04:33:04 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-17 04:34:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 04:36:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-17 04:37:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-17 04:37:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-17 04:47:23 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-17 04:49:13 +0200 | prolic | (~prolic@2803:2a00:2c0f:b96d:e9c0:2cb6:9306:f094) |
| 2022-06-17 04:49:39 +0200 | <prolic> | hi there. I have some troubles with stack's docker integration, and wonder if somebody can help. |
| 2022-06-17 04:50:08 +0200 | <prolic> | I have a Dockerfile from which I build, there is some extra C lib compiled from source inside, that I need for my project |
| 2022-06-17 04:50:44 +0200 | <prolic> | when I run `stack --docker-image=mynewimage build` - it complains about my C lib not being found. |
| 2022-06-17 04:51:14 +0200 | <prolic> | when I enter the container with `docker run` I can verify that my c-lib is installed and available |
| 2022-06-17 04:51:18 +0200 | <prolic> | what am I missing? |
| 2022-06-17 04:57:18 +0200 | causal | (~user@50.35.83.177) |
| 2022-06-17 04:58:21 +0200 | <c_wraith> | I think pkg-config is used to locate system libraries - is it registered in the pkg-config database? |
| 2022-06-17 05:00:01 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-06-17 05:00:12 +0200 | <prolic> | nope, but I have `extra-lib-dirs: /usr/local/lib` specified in my package.yaml file, and this is sufficient to build without docker |
| 2022-06-17 05:00:53 +0200 | <c_wraith> | Darn. You're deep into docker stuff then. |
| 2022-06-17 05:01:22 +0200 | haasn | (~nand@haasn.dev) |
| 2022-06-17 05:01:58 +0200 | <prolic> | checking `pkg-config --list-all` from inside the container lists my c-lib |
| 2022-06-17 05:02:05 +0200 | <prolic> | so it's there |
| 2022-06-17 05:02:29 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-17 05:02:55 +0200 | <prolic> | I can even build the thing from inside the container manually, but since it's a GUI application, it's not that easy to run from inside, lol |
| 2022-06-17 05:07:19 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-17 05:09:56 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 05:10:24 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 05:12:01 +0200 | <prolic> | ok I think I got it |
| 2022-06-17 05:12:16 +0200 | <prolic> | it seems like it's not respecting the extra-lib-dirs at all, when in docker-mode |
| 2022-06-17 05:12:31 +0200 | <prolic> | symlinking the file to /usr/lib and it can find it |
| 2022-06-17 05:14:10 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-06-17 05:26:36 +0200 | <prolic> | I raised an issue here, if somebody is interessted: https://github.com/commercialhaskell/stack/issues/5768 |
| 2022-06-17 05:31:28 +0200 | prolic | (~prolic@2803:2a00:2c0f:b96d:e9c0:2cb6:9306:f094) (Ping timeout: 252 seconds) |
| 2022-06-17 05:33:27 +0200 | slack1256 | (~slack1256@191.125.99.209) (Read error: Connection reset by peer) |
| 2022-06-17 05:33:31 +0200 | slack2736 | (~slack1256@181.43.227.189) |
| 2022-06-17 05:35:14 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-06-17 05:36:53 +0200 | quarkyalice | (~textual@user/quarkyalice) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-17 05:38:08 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 05:39:15 +0200 | quarkyalice | (~textual@user/quarkyalice) (Client Quit) |
| 2022-06-17 05:39:45 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-17 05:41:16 +0200 | zebrag | (~chris@user/zebrag) (Client Quit) |
| 2022-06-17 05:43:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 05:43:49 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-06-17 05:46:55 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-17 05:50:08 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 05:51:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-17 05:52:39 +0200 | quarkyalice | (~textual@user/quarkyalice) (Client Quit) |
| 2022-06-17 05:52:56 +0200 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
| 2022-06-17 05:53:10 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-17 05:58:41 +0200 | slack2736 | (~slack1256@181.43.227.189) (Ping timeout: 256 seconds) |
| 2022-06-17 06:00:56 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 06:02:26 +0200 | leeb | (~leeb@KD106155004098.au-net.ne.jp) |
| 2022-06-17 06:05:46 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 06:08:08 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2022-06-17 06:09:01 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 244 seconds) |
| 2022-06-17 06:09:38 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 06:09:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-17 06:09:50 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-06-17 06:10:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-17 06:10:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 06:10:48 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) |
| 2022-06-17 06:11:30 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-17 06:13:57 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-17 06:15:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 06:22:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 06:23:19 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-17 06:26:56 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 06:28:43 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 256 seconds) |
| 2022-06-17 06:36:20 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 06:36:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 06:36:37 +0200 | quarkyalice | (~textual@user/quarkyalice) (Client Quit) |
| 2022-06-17 06:40:06 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 06:43:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 06:44:49 +0200 | quarkyalice | (~textual@user/quarkyalice) (Client Quit) |
| 2022-06-17 06:45:01 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-17 06:49:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 06:56:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 06:56:06 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 272 seconds) |
| 2022-06-17 07:02:57 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-17 07:03:39 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 07:05:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 07:06:07 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-06-17 07:08:23 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-06-17 07:11:37 +0200 | benin | (~benin@183.82.28.222) |
| 2022-06-17 07:15:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 07:16:51 +0200 | vglfr | (~vglfr@88.155.72.144) |
| 2022-06-17 07:21:02 +0200 | vglfr | (~vglfr@88.155.72.144) (Ping timeout: 246 seconds) |
| 2022-06-17 07:23:41 +0200 | michalz | (~michalz@185.246.204.105) |
| 2022-06-17 07:24:40 +0200 | vglfr | (~vglfr@88.155.72.144) |
| 2022-06-17 07:25:07 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-17 07:28:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 07:29:21 +0200 | vglfr | (~vglfr@88.155.72.144) (Ping timeout: 256 seconds) |
| 2022-06-17 07:30:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 07:33:47 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-17 07:34:59 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 255 seconds) |
| 2022-06-17 07:35:55 +0200 | leeb | (~leeb@KD106155004098.au-net.ne.jp) (Ping timeout: 258 seconds) |
| 2022-06-17 07:37:46 +0200 | leeb | (~leeb@KD106154142206.au-net.ne.jp) |
| 2022-06-17 07:42:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 07:44:25 +0200 | bilegeek | (~bilegeek@2600:1008:b013:d550:35ea:13c7:a563:2c3e) |
| 2022-06-17 07:44:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 07:47:10 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 07:48:37 +0200 | <zero> | newtype State s a where State { runState :: s -> (s,a) } :: State s a |
| 2022-06-17 07:48:56 +0200 | <zero> | why is this a parse error on "{" ? |
| 2022-06-17 07:49:25 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 07:49:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 07:52:19 +0200 | <jackdk> | Do you have `{-# LANGUAGE GADTSyntax #-}` or anything which implies it? |
| 2022-06-17 07:52:37 +0200 | <zero> | i have GADTs |
| 2022-06-17 07:54:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 07:55:14 +0200 | <[Leary]> | zero: State :: { ... } |
| 2022-06-17 07:55:27 +0200 | <[Leary]> | -> State s a |
| 2022-06-17 07:55:29 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 07:56:59 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 07:57:17 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 08:02:31 +0200 | <zero> | [Leary]: that syntax actually makes more sense. was it updated? |
| 2022-06-17 08:02:42 +0200 | <zero> | it works |
| 2022-06-17 08:04:54 +0200 | <zero> | http://downloads.haskell.org/~ghc/6.6/docs/html/users_guide/gadt.html |
| 2022-06-17 08:05:55 +0200 | <zero> | or am i missing something? |
| 2022-06-17 08:06:29 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-06-17 08:06:29 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-06-17 08:06:32 +0200 | allbery_b | geekosaur |
| 2022-06-17 08:07:26 +0200 | <[Leary]> | Oh, so that used to be valid syntax. Honestly, I wasn't aware. (ghc 6.6 is ancient history) |
| 2022-06-17 08:08:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 08:10:27 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 240 seconds) |
| 2022-06-17 08:11:09 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-06-17 08:11:13 +0200 | raym | (~raym@user/raym) (Quit: leaving) |
| 2022-06-17 08:12:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 08:14:51 +0200 | <Axman6> | I thingk GHC 6.6 was my first compiler, possibly 6.4 |
| 2022-06-17 08:16:41 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-06-17 08:20:32 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2022-06-17 08:23:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 08:24:23 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-06-17 08:27:13 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-17 08:29:05 +0200 | quarkyalice | (~textual@user/quarkyalice) |
| 2022-06-17 08:29:44 +0200 | acidjnk | (~acidjnk@p200300d0c7068b05152244a3055ced6a.dip0.t-ipconnect.de) |
| 2022-06-17 08:31:04 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-17 08:31:19 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-17 08:36:41 +0200 | quarkyalice | (~textual@user/quarkyalice) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-17 08:36:58 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 08:37:01 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 08:39:21 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-06-17 08:41:26 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-06-17 08:43:56 +0200 | vglfr | (~vglfr@88.155.72.144) |
| 2022-06-17 08:44:12 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 08:44:47 +0200 | <tomsmeding> | zero: why are you looking at the docs for ghc 6.6 :p |
| 2022-06-17 08:44:51 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 08:45:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 08:48:56 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-17 08:49:35 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 08:53:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 08:58:24 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-06-17 09:02:37 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-17 09:03:03 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 09:03:42 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 09:05:57 +0200 | <zero> | oh my bad |
| 2022-06-17 09:07:51 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-17 09:15:22 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:710e:91e2:da2a:278a) |
| 2022-06-17 09:16:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-17 09:18:20 +0200 | vpan | (~0@212.117.1.172) |
| 2022-06-17 09:18:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 09:21:46 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 09:24:38 +0200 | koz | (~koz@121.99.240.58) |
| 2022-06-17 09:35:17 +0200 | aarchi | (sid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-17 09:35:21 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-17 09:36:45 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-17 09:44:44 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 09:44:47 +0200 | vglfr | (~vglfr@88.155.72.144) (Remote host closed the connection) |
| 2022-06-17 09:45:28 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-06-17 09:47:30 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-06-17 09:50:52 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-17 09:51:17 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 09:52:22 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-17 09:52:46 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-17 09:53:21 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-06-17 09:57:50 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-06-17 09:58:17 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-17 10:01:10 +0200 | benin | (~benin@183.82.28.222) (Ping timeout: 240 seconds) |
| 2022-06-17 10:01:17 +0200 | benin0 | (~benin@183.82.28.222) |
| 2022-06-17 10:02:00 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) |
| 2022-06-17 10:02:07 +0200 | jtmar | (~james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-06-17 10:02:16 +0200 | jamestmartin | (~james@jtmar.me) |
| 2022-06-17 10:02:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f5db:151e:7d9e:c4bc) (Ping timeout: 248 seconds) |
| 2022-06-17 10:03:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f5db:151e:7d9e:c4bc) |
| 2022-06-17 10:03:43 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-06-17 10:04:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-06-17 10:08:22 +0200 | sayola | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-06-17 10:08:27 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Remote host closed the connection) |
| 2022-06-17 10:09:21 +0200 | sayola | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
| 2022-06-17 10:09:23 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2022-06-17 10:09:35 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-17 10:09:43 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-17 10:09:50 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-06-17 10:09:50 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-06-17 10:09:56 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-17 10:10:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 10:11:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-17 10:12:05 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-06-17 10:12:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 10:21:57 +0200 | arthur | (~arthur@163.5.10.3) |
| 2022-06-17 10:23:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:1834:2996:45d4:5368) (Remote host closed the connection) |
| 2022-06-17 10:25:24 +0200 | arthur | arthurs115 |
| 2022-06-17 10:25:34 +0200 | arthurs115 | (~arthur@163.5.10.3) (Client Quit) |
| 2022-06-17 10:26:11 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 10:26:27 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Client Quit) |
| 2022-06-17 10:26:52 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 10:27:25 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 10:28:11 +0200 | lagash_ | (lagash@lagash.shelltalk.net) |
| 2022-06-17 10:28:53 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2022-06-17 10:29:07 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-06-17 10:29:07 +0200 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-17 10:29:11 +0200 | feetwind | (~mike@user/feetwind) (Ping timeout: 258 seconds) |
| 2022-06-17 10:30:10 +0200 | feetwind | (~mike@user/feetwind) |
| 2022-06-17 10:30:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-17 10:30:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 10:31:18 +0200 | CiaoSen | (~Jura@p200300c9571294002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-17 10:32:46 +0200 | alp | (~alp@user/alp) |
| 2022-06-17 10:39:23 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-06-17 10:39:42 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-17 10:39:55 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2022-06-17 10:40:19 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:4b68:d7e8:c69e:f4bf) |
| 2022-06-17 10:43:16 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-17 10:52:34 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 10:53:42 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-06-17 11:02:00 +0200 | arjun | (~arjun@user/arjun) |
| 2022-06-17 11:03:31 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Ping timeout: 244 seconds) |
| 2022-06-17 11:07:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 11:08:02 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 11:08:47 +0200 | alp_ | (~alp@user/alp) |
| 2022-06-17 11:09:26 +0200 | alp | (~alp@user/alp) (Ping timeout: 258 seconds) |
| 2022-06-17 11:09:40 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 2022-06-17 11:11:52 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 248 seconds) |
| 2022-06-17 11:12:02 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-06-17 11:12:27 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 11:12:50 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-17 11:16:10 +0200 | <sm> | @where+ stack-system-ghc https://docs.haskellstack.org/en/stable/yaml_configuration/#system-ghc to use only system/ghcup GHC, configure system-ghc:true, install-ghc:false |
| 2022-06-17 11:16:10 +0200 | <lambdabot> | Done. |
| 2022-06-17 11:19:41 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-17 11:20:43 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:3d4c:9b16:2a18:880) (Read error: Connection reset by peer) |
| 2022-06-17 11:23:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 11:24:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 11:25:34 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-17 11:26:58 +0200 | bilegeek_ | (~bilegeek@2600:1008:b02f:e6dd:d72e:a9db:a0a5:ad3f) |
| 2022-06-17 11:29:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 252 seconds) |
| 2022-06-17 11:29:22 +0200 | bilegeek | (~bilegeek@2600:1008:b013:d550:35ea:13c7:a563:2c3e) (Ping timeout: 258 seconds) |
| 2022-06-17 11:30:21 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-06-17 11:30:30 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 11:30:42 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-06-17 11:40:37 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-17 11:43:28 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-17 11:44:08 +0200 | turlando | (~turlando@user/turlando) () |
| 2022-06-17 11:45:15 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-06-17 11:45:15 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-17 11:45:15 +0200 | turlando | (~turlando@user/turlando) |
| 2022-06-17 11:45:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 11:46:01 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 11:47:06 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 11:47:38 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-17 11:55:03 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Remote host closed the connection) |
| 2022-06-17 11:56:57 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2022-06-17 11:57:04 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-06-17 11:57:17 +0200 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-06-17 11:57:36 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 11:57:40 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-06-17 11:59:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-17 11:59:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-17 12:00:05 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 12:00:23 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 12:00:48 +0200 | CiaoSen | (~Jura@p200300c9571294002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-06-17 12:04:56 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) |
| 2022-06-17 12:07:26 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) (Client Quit) |
| 2022-06-17 12:10:41 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-17 12:11:06 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 12:14:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 12:14:53 +0200 | bilegeek_ | (~bilegeek@2600:1008:b02f:e6dd:d72e:a9db:a0a5:ad3f) (Quit: Leaving) |
| 2022-06-17 12:20:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-17 12:23:27 +0200 | frost | (~frost@user/frost) |
| 2022-06-17 12:26:53 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-17 12:28:40 +0200 | mattil | (~mattil@helsinki.portalify.com) (Read error: Connection reset by peer) |
| 2022-06-17 12:31:00 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 12:31:18 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 12:31:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 12:33:23 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-17 12:33:36 +0200 | <lisbeths> | is there an abstract machine at the core of haskell? |
| 2022-06-17 12:36:19 +0200 | <tomsmeding> | lisbeths: GHC has a number of intermediate languages between Haskell and machine code: Core, STG and Cmm. Core is a minimal functional language that is still haskell-like, and is where most optimisations happen. STG is probably most like an "abstract machine"; it is in a sense what assembly would have been if processors were purely functional. Cmm is really just high-level assembly. |
| 2022-06-17 12:36:54 +0200 | <tomsmeding> | STG is a weird thing though |
| 2022-06-17 12:37:12 +0200 | <lisbeths> | which one of those is closest to the SECD machine and also which one of those is the smallest in terms of file size and memory footprint |
| 2022-06-17 12:37:55 +0200 | <tomsmeding> | what even is SECD |
| 2022-06-17 12:38:13 +0200 | <tomsmeding> | ah |
| 2022-06-17 12:38:55 +0200 | <tomsmeding> | lisbeths: isn't SECD intended for _strict_ functional languages |
| 2022-06-17 12:39:29 +0200 | <tomsmeding> | I guess you could say that STG is the SECD for lazy functional languages, but I really don't know enough of either to say for sure |
| 2022-06-17 12:40:11 +0200 | <tomsmeding> | I liked this intro to STG, in case you're curious: https://github.com/quchen/stgi (note the bottom of the page: this STG is slightly different from the one that GHC actually uses) |
| 2022-06-17 12:40:12 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 12:41:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 12:42:18 +0200 | <tomsmeding> | yes SECD sounds very much based on call-by-value on a cursory reading of wikipedia |
| 2022-06-17 12:43:15 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 12:45:17 +0200 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-06-17 12:53:04 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Read error: Connection reset by peer) |
| 2022-06-17 12:56:57 +0200 | jfhector | (~jfhector@82-71-30-223.dsl.in-addr.zen.co.uk) |
| 2022-06-17 12:57:53 +0200 | jfhector | (~jfhector@82-71-30-223.dsl.in-addr.zen.co.uk) (Client Quit) |
| 2022-06-17 13:00:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 13:05:35 +0200 | <lisbeths> | what is the memory footprint of stg what is its filesize |
| 2022-06-17 13:07:03 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 13:08:07 +0200 | <tomsmeding> | I have no clue, why do you want to know? |
| 2022-06-17 13:08:39 +0200 | heinz9 | (~trace@user/trace) |
| 2022-06-17 13:08:42 +0200 | <tomsmeding> | also, those questions aren't even really well-defined; STG is an intermediate language without a fixed serialisation scheme |
| 2022-06-17 13:08:57 +0200 | <heinz9> | there seem not to be so many linux haskell programs |
| 2022-06-17 13:09:12 +0200 | <heinz9> | xmonad, git annex |
| 2022-06-17 13:09:36 +0200 | <hpc> | as opposed to cross-platform haskell programs? |
| 2022-06-17 13:09:46 +0200 | <heinz9> | in general |
| 2022-06-17 13:09:51 +0200 | <gentauro_> | what does this mean -> `Warning: Directory listed in elm-format.cabal file does not exist: generated` when `ls -l` -> `-rw-r--r-- 1 johndoe users 2161 Jun 17 13:05 elm-format.cabal`? |
| 2022-06-17 13:10:05 +0200 | <gentauro_> | did `cabal` go loco? |
| 2022-06-17 13:10:14 +0200 | gentauro_ | gñe |
| 2022-06-17 13:10:36 +0200 | gentauro_ | (~gentauro@185.107.12.141) (Changing host) |
| 2022-06-17 13:10:36 +0200 | gentauro_ | (~gentauro@user/gentauro) |
| 2022-06-17 13:10:46 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-17 13:10:56 +0200 | <gentauro_> | oh, my bad |
| 2022-06-17 13:11:12 +0200 | <gentauro_> | so there is some files in the `.cabal` file that are not part of the project got it … |
| 2022-06-17 13:11:15 +0200 | <gentauro_> | xD |
| 2022-06-17 13:12:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-17 13:12:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 13:12:07 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 13:12:19 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-17 13:12:54 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-17 13:13:32 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-17 13:16:45 +0200 | CiaoSen | (~Jura@p200300c9571294002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-17 13:17:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 13:17:43 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 13:18:16 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 248 seconds) |
| 2022-06-17 13:18:23 +0200 | <sm> | heinz9: https://news.ycombinator.com/item?id=31664490 |
| 2022-06-17 13:20:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 13:20:57 +0200 | <heinz9> | can ghc convert any haskell program in C ? |
| 2022-06-17 13:21:28 +0200 | <heinz9> | so that gcc can compile it to all architectures it supports? |
| 2022-06-17 13:22:25 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-17 13:22:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 13:22:40 +0200 | <turlando> | You can emit LLVM IR and then use all the backends LLVM supports |
| 2022-06-17 13:22:56 +0200 | <heinz9> | is this a yes? |
| 2022-06-17 13:23:13 +0200 | <turlando> | I think there is or was a C backend but it is deprecated (maybe someone with better internals knowledge can tell) |
| 2022-06-17 13:23:17 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-06-17 13:23:39 +0200 | <heinz9> | ah |
| 2022-06-17 13:23:49 +0200 | <heinz9> | so its not C but some whatsoever language |
| 2022-06-17 13:23:53 +0200 | <turlando> | If the question is "can I get C out of haskell code" the answer is probably no |
| 2022-06-17 13:24:11 +0200 | <heinz9> | but not human readable |
| 2022-06-17 13:24:24 +0200 | <heinz9> | and llvm can bring it to all architectures it supports. Right? |
| 2022-06-17 13:24:25 +0200 | <turlando> | If the answer is can I use any architecture LLVM supports the answer is theoretically maybe |
| 2022-06-17 13:24:33 +0200 | <heinz9> | ah |
| 2022-06-17 13:24:35 +0200 | <turlando> | s/answer/question |
| 2022-06-17 13:24:38 +0200 | <heinz9> | thx |
| 2022-06-17 13:25:16 +0200 | <heinz9> | what else can llvm do with it |
| 2022-06-17 13:26:08 +0200 | <turlando> | heinz9: https://downloads.haskell.org/~ghc/9.2.3/docs/html/users_guide/codegens.html |
| 2022-06-17 13:26:14 +0200 | <int-e> | Yeah, there's -keep-hc-file -fvia-C and I would expect it to be fairly bitrotten... never used it myself (except in pre-NCG days) though. |
| 2022-06-17 13:26:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 13:30:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-06-17 13:30:51 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-17 13:30:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 258 seconds) |
| 2022-06-17 13:31:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 13:32:23 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-17 13:33:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-17 13:33:43 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-17 13:35:51 +0200 | _xor | (~xor@74.215.182.83) (Quit: brb) |
| 2022-06-17 13:36:11 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-06-17 13:39:24 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-17 13:39:28 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-17 13:47:03 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-17 13:47:46 +0200 | <kuribas> | turlando: there is no LLVM IR for the runtime system, is there? |
| 2022-06-17 13:47:50 +0200 | AlexZenon | (~alzenon@178.34.150.200) |
| 2022-06-17 13:47:56 +0200 | Alex_test | (~al_test@178.34.150.200) |
| 2022-06-17 13:47:57 +0200 | <kuribas> | Will not be much use without that. |
| 2022-06-17 13:48:28 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) |
| 2022-06-17 13:53:38 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 13:53:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-17 13:55:00 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-06-17 13:55:11 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Remote host closed the connection) |
| 2022-06-17 13:57:31 +0200 | <tomsmeding> | most of the RTS is C, but there is a little bit of assembly too, apparently |
| 2022-06-17 13:58:16 +0200 | <tomsmeding> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/adjustor/NativeAmd64Asm.S |
| 2022-06-17 14:02:37 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 14:02:37 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-06-17 14:03:32 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-17 14:04:40 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds) |
| 2022-06-17 14:04:42 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2022-06-17 14:05:34 +0200 | Everything | (~Everythin@89.209.36.234) |
| 2022-06-17 14:06:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f5db:151e:7d9e:c4bc) (Ping timeout: 260 seconds) |
| 2022-06-17 14:06:56 +0200 | Everything | (~Everythin@89.209.36.234) () |
| 2022-06-17 14:07:53 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-17 14:09:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-17 14:09:51 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-06-17 14:10:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-17 14:13:50 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 14:14:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 14:18:37 +0200 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-06-17 14:29:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1201:81ba:ce69:9f85) |
| 2022-06-17 14:33:41 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) |
| 2022-06-17 14:35:23 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) (Client Quit) |
| 2022-06-17 14:38:39 +0200 | <geekosaur> | re getting C out of ghc, -fvia-C is long since gone. there's still unregisterised mode, which requires you to build ghc yourself (it's disabled in release builds) |
| 2022-06-17 14:39:32 +0200 | <tomsmeding> | geekosaur: do you happen to know why that's called "unregistered" mode? The name never made sense to me |
| 2022-06-17 14:40:14 +0200 | <geekosaur> | unregisterised nmode. because it doesn't use registers like native asm does, so it's significantly slower |
| 2022-06-17 14:40:24 +0200 | <tomsmeding> | oh |
| 2022-06-17 14:40:36 +0200 | <tomsmeding> | it stores everything on the stack? |
| 2022-06-17 14:40:52 +0200 | <geekosaur> | yes |
| 2022-06-17 14:41:19 +0200 | <tomsmeding> | well, unless the C compiler moves stuff to registers anyway |
| 2022-06-17 14:41:40 +0200 | <tomsmeding> | which I guess is unlikely maybe given the code that ghc produces |
| 2022-06-17 14:41:41 +0200 | <sm> | @where loginataka |
| 2022-06-17 14:41:41 +0200 | <lambdabot> | "The Loginataka: Dialogue between a Guru and a Newbie" (aka "So You Want To Be A Wizard?") by Eric S. Raymond at <http://www.catb.org/~esr/faqs/loginataka.html> |
| 2022-06-17 14:41:43 +0200 | <geekosaur> | which it does poorly for ghc because it's not optimized for Haskell code :) |
| 2022-06-17 14:41:51 +0200 | <tomsmeding> | geekosaur: right |
| 2022-06-17 14:42:06 +0200 | sm | proposes to delete the above (not haskell related, clutters up my faq search |
| 2022-06-17 14:42:35 +0200 | <tomsmeding> | sm: what keywords does it clutter |
| 2022-06-17 14:43:06 +0200 | <sm> | tomsmeding: I mean the https://haskell-links.org/?q=faq search |
| 2022-06-17 14:43:22 +0200 | <tomsmeding> | ah lol |
| 2022-06-17 14:43:39 +0200 | <tomsmeding> | the background colours there have become... opinionated :p |
| 2022-06-17 14:44:03 +0200 | <sm> | oh you don't like the purple ? :) Taken from haskell.org |
| 2022-06-17 14:44:34 +0200 | <tomsmeding> | the purple in itself is fine (though a bit strong, maybe), but the gradient at the top _really_ accentuates that it is purple |
| 2022-06-17 14:45:55 +0200 | <sm> | I got tired of endless anonymous white pages, wanted to make the page a little memorable. New designs welcome! |
| 2022-06-17 14:46:37 +0200 | <tomsmeding> | it's cool, I'm not complaining, was just surprised at the presence of actual personality on a tech page :p |
| 2022-06-17 14:49:42 +0200 | <tomsmeding> | sm: maybe I like this a bit better, not sure to be honest linear-gradient( rgb(234,229,237) 2em ,rgb(213,204,220) 10em ,rgb(194, 174, 205) ) |
| 2022-06-17 14:49:57 +0200 | <tomsmeding> | but your call |
| 2022-06-17 14:50:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-17 14:52:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-17 14:56:27 +0200 | <sm> | tomsmeding: thanks! Now to debug deployment.. |
| 2022-06-17 14:56:40 +0200 | <sm> | amazing how bits rot |
| 2022-06-17 14:56:45 +0200 | <tomsmeding> | :D |
| 2022-06-17 14:57:57 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-17 14:58:33 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-17 14:59:25 +0200 | winny | (~weechat@user/winny) |
| 2022-06-17 15:02:05 +0200 | <sm> | finally |
| 2022-06-17 15:02:19 +0200 | <tomsmeding> | yay |
| 2022-06-17 15:02:25 +0200 | <tomsmeding> | it's kinder |
| 2022-06-17 15:03:22 +0200 | <tomsmeding> | I even got credit in the css |
| 2022-06-17 15:03:38 +0200 | <tomsmeding> | be it positive or negative :D |
| 2022-06-17 15:04:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-17 15:04:59 +0200 | <sm> | 👍️ |
| 2022-06-17 15:05:00 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 15:08:29 +0200 | alexhandy2 | (~trace@user/trace) |
| 2022-06-17 15:10:02 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-06-17 15:10:53 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-17 15:11:11 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 256 seconds) |
| 2022-06-17 15:11:57 +0200 | frost | (~frost@user/frost) |
| 2022-06-17 15:12:13 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-17 15:13:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 15:13:35 +0200 | acidjnk | (~acidjnk@p200300d0c7068b05152244a3055ced6a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-17 15:13:49 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) |
| 2022-06-17 15:14:56 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) (Client Quit) |
| 2022-06-17 15:17:06 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-06-17 15:20:49 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-06-17 15:21:07 +0200 | BusConscious | (~martin@95.90.207.249) |
| 2022-06-17 15:23:08 +0200 | <BusConscious> | Hello everyone I need functionality similar to openat(2): When I first open, then dupTo openedFd openatFd and finally close openedFd, ... |
| 2022-06-17 15:23:16 +0200 | <BusConscious> | will this behave similar? |
| 2022-06-17 15:24:34 +0200 | <BusConscious> | again more of a unix question |
| 2022-06-17 15:24:56 +0200 | <geekosaur> | you will probably need to bind to openat via FFI |
| 2022-06-17 15:27:03 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) |
| 2022-06-17 15:27:50 +0200 | <BusConscious> | oh no :( |
| 2022-06-17 15:28:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 15:28:50 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) (Client Quit) |
| 2022-06-17 15:29:03 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) |
| 2022-06-17 15:29:59 +0200 | <BusConscious> | So the issue with my approach is, that it's not creating openatFD out of thin air or is it also, that openatFd will be killed when I close openedFd? |
| 2022-06-17 15:30:27 +0200 | <BusConscious> | anyways would have been too good to be true |
| 2022-06-17 15:31:30 +0200 | Ether17 | (~Ether17@2401:f40:100c:a5fe:1ac0:4dff:fe69:b9d5) (Client Quit) |
| 2022-06-17 15:32:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 240 seconds) |
| 2022-06-17 15:33:27 +0200 | <geekosaur> | as long as you're working with fds, there';s no difference between doing it in haskell vs. doing it in C. just don't do fdToHandle until you're done playing at the fd level |
| 2022-06-17 15:34:48 +0200 | <geekosaur> | (which is also no different than in C, you don't fdopen() until you're done playing with the fds) |
| 2022-06-17 15:37:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-17 15:40:52 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-17 15:47:50 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2022-06-17 15:57:10 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-06-17 16:07:58 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 16:08:27 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 16:08:30 +0200 | FY | (~Thunderbi@218.89.242.114) |
| 2022-06-17 16:08:39 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 16:09:06 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 16:10:06 +0200 | FY | (~Thunderbi@218.89.242.114) (Client Quit) |
| 2022-06-17 16:10:39 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 16:10:56 +0200 | alexhandy | (~trace@user/trace) |
| 2022-06-17 16:21:09 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-06-17 16:24:06 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-06-17 16:25:48 +0200 | <BusConscious> | So capi is the FFI I should use right? |
| 2022-06-17 16:26:15 +0200 | <geekosaur> | that's the recommended one these days, yes |
| 2022-06-17 16:26:47 +0200 | <geekosaur> | ccall is more direct but has a bunch of shortcomings since it's a raw asm call and all too often C functions are secretly macros or etc. |
| 2022-06-17 16:27:16 +0200 | <geekosaur> | (back in the day ghc compiled via C, so ccall was better behaved) |
| 2022-06-17 16:27:36 +0200 | <BusConscious> | Is there any minimal working example for calling a c library function using capi? In the wiki they document ccall .. |
| 2022-06-17 16:28:32 +0200 | <geekosaur> | it's what the wiki shows with "ccall" replaced by "capi", and "{-# LANGUAGE CApiFFI #-}" up in the pragmas |
| 2022-06-17 16:28:56 +0200 | <geekosaur> | because, as I just said, ccall used to be capi |
| 2022-06-17 16:30:02 +0200 | <tomsmeding> | geekosaur: is there any reason to use ccall nowadays? |
| 2022-06-17 16:30:26 +0200 | <geekosaur> | not really. ghc hq is strongly recommending that people use capi instead of ccall |
| 2022-06-17 16:30:39 +0200 | <BusConscious> | geekosaur: ok thank you CAPiFFi in addition to ForeignFunctionInterfaces? |
| 2022-06-17 16:30:43 +0200 | <tomsmeding> | yes |
| 2022-06-17 16:30:45 +0200 | <geekosaur> | yes |
| 2022-06-17 16:30:49 +0200 | <tomsmeding> | geekosaur: I see |
| 2022-06-17 16:31:52 +0200 | alexhandy2 | (~AndChat62@user/trace) |
| 2022-06-17 16:32:12 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-17 16:32:37 +0200 | <alexhandy2> | Sorry, I have a provoking thesis. |
| 2022-06-17 16:33:00 +0200 | <alexhandy2> | Isn't Haskell Programming the opposite of what clean code wants? |
| 2022-06-17 16:33:14 +0200 | <alexhandy2> | Please do not be angry 😠 at me for asking that |
| 2022-06-17 16:33:53 +0200 | <alexhandy2> | With Haskell you can create a lot acrobatic fancy fun code |
| 2022-06-17 16:33:53 +0200 | hololeap | (~hololeap@user/hololeap) (Quit: Bye) |
| 2022-06-17 16:34:33 +0200 | hololeap_ | hololeap |
| 2022-06-17 16:34:33 +0200 | <alexhandy2> | But with clean code the result has often to become as boring as much, because at should become readable |
| 2022-06-17 16:34:33 +0200 | <[exa]> | alexhandy2: depends on what "clean code" wants -- precise aims of it are a bit obscure to me tbh |
| 2022-06-17 16:34:42 +0200 | <geekosaur> | you can but even in haskell it's not recommended to be too clever. we have the same problem of "if you don't understand what you wrote 6 months on, you've screwed yourself" that any other language does |
| 2022-06-17 16:35:36 +0200 | <alexhandy2> | Is haskell less readable as imperative code? |
| 2022-06-17 16:35:44 +0200 | <[exa]> | no |
| 2022-06-17 16:36:06 +0200 | <[exa]> | (^ doesn't imply that imperative code is less readable than haskell tho :D) |
| 2022-06-17 16:36:08 +0200 | <geekosaur> | any new language is less readable than what you're used to. as you learn haskell it'll become more readable |
| 2022-06-17 16:36:22 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-17 16:37:50 +0200 | <alexhandy2> | Shouldn't you also learn haskell for if you switch back to, say 💭 c++, you are cleverer for it's functional part, when this becomes important - for example in parallisation, where functional programming is a great choice |
| 2022-06-17 16:40:33 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Ping timeout: 276 seconds) |
| 2022-06-17 16:41:05 +0200 | AndChat-624225 | (~AndChat62@user/trace) |
| 2022-06-17 16:41:20 +0200 | AndChat-624225 | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 16:41:22 +0200 | <[exa]> | alexhandy2: yeah it really helps with grasping various subtle or high-level constructions and code properties that are sometimes not very visible in the other languages |
| 2022-06-17 16:41:41 +0200 | AndChat-624225 | (~AndChat62@user/trace) |
| 2022-06-17 16:41:56 +0200 | AndChat-624225 | alexhandy3 |
| 2022-06-17 16:42:00 +0200 | alexhandy2 | (~AndChat62@user/trace) (Ping timeout: 248 seconds) |
| 2022-06-17 16:42:00 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 248 seconds) |
| 2022-06-17 16:42:11 +0200 | <hololeap> | https://github.com/ekmett/semigroupoids/commit/b81b16b810fa5051fee0230588492c9acd627921#diff-77507… |
| 2022-06-17 16:42:27 +0200 | <hololeap> | why doesn't the Apply instance for CPS.WriterT at least require (Semigroup w)? |
| 2022-06-17 16:42:35 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-17 16:44:04 +0200 | <alexhandy3> | I received no answers |
| 2022-06-17 16:44:29 +0200 | <alexhandy3> | had internet problems |
| 2022-06-17 16:45:00 +0200 | <geekosaur> | [17 14:41:22] <[exa]> alexhandy2: yeah it really helps with grasping various subtle or high-level constructions and code properties that are sometimes not very visible in the other languages |
| 2022-06-17 16:45:26 +0200 | <geekosaur> | alos see the channel topic for a log |
| 2022-06-17 16:45:40 +0200 | <geekosaur> | *also |
| 2022-06-17 16:47:58 +0200 | acidjnk | (~acidjnk@p200300d0c7068b05152244a3055ced6a.dip0.t-ipconnect.de) |
| 2022-06-17 16:55:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-17 16:55:08 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-06-17 16:55:08 +0200 | winny | (~weechat@user/winny) (Read error: Connection reset by peer) |
| 2022-06-17 16:55:08 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-17 16:55:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-06-17 16:55:08 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Read error: Connection reset by peer) |
| 2022-06-17 16:55:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-17 16:55:37 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-17 16:55:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-17 16:56:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 16:56:21 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-17 16:56:28 +0200 | <hololeap> | huh, I guess CPS.WriterT only requires (Monoid w) when you run it |
| 2022-06-17 16:57:25 +0200 | winny | (~weechat@user/winny) |
| 2022-06-17 16:58:39 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-17 16:59:09 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-17 16:59:23 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-06-17 16:59:44 +0200 | arthurs115 | (~arthurs11@163.5.10.3) |
| 2022-06-17 17:02:56 +0200 | alexhandy3 | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 17:03:22 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-17 17:08:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-17 17:08:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-17 17:10:06 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 2022-06-17 17:10:30 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2022-06-17 17:11:13 +0200 | haskell_apprenti | (~haskell_a@cpe-74-71-248-39.nyc.res.rr.com) |
| 2022-06-17 17:11:54 +0200 | <haskell_apprenti> | Hi I have a question about understanding a foldl error |
| 2022-06-17 17:12:27 +0200 | <haskell_apprenti> | If I do > foldl (flip const) 0 "burritos" I get the error "No instance for (Num Char) arising from the literal ‘0’" |
| 2022-06-17 17:13:03 +0200 | <haskell_apprenti> | As I understand it, in the spine traversal before evalutation, the expression becomes foldl (flip const) 0 "burritos" = foldl (flip const) ((flip const) 0 'b') "urritos" |
| 2022-06-17 17:13:11 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-17 17:13:26 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 17:13:58 +0200 | <haskell_apprenti> | so I thought if anything, the error would be that (flip const) takes type Num -> Char -> Char then takes the type Char -> Char -> Char in subsequent evalutation |
| 2022-06-17 17:14:16 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-17 17:14:40 +0200 | winny | (~weechat@user/winny) |
| 2022-06-17 17:14:49 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-06-17 17:14:52 +0200 | <geekosaur> | you have a misunderstanding of typeclasses |
| 2022-06-17 17:14:59 +0200 | <geekosaur> | there is no "type Num" |
| 2022-06-17 17:15:45 +0200 | <geekosaur> | the literal 0 has a type: `Num a => a`. so it can take on any type that is an instance of Num. |
| 2022-06-17 17:16:04 +0200 | <geekosaur> | the next thing it sees in that position is a Char, so it looks for a Num instance for Char and doesn't find it |
| 2022-06-17 17:16:10 +0200 | <[exa]> | shortest way to trigger the same error: |
| 2022-06-17 17:16:12 +0200 | <[exa]> | > 0 :: Char |
| 2022-06-17 17:16:14 +0200 | <lambdabot> | error: |
| 2022-06-17 17:16:14 +0200 | <lambdabot> | • No instance for (Num Char) arising from the literal ‘0’ |
| 2022-06-17 17:16:14 +0200 | <lambdabot> | • In the expression: 0 :: Char |
| 2022-06-17 17:16:58 +0200 | <haskell_apprenti> | right Num is a typeclass, I knew that before. But there would still be an error if it expected a Num typeclass and got a Char |
| 2022-06-17 17:16:59 +0200 | benin0 | (~benin@183.82.28.222) (Remote host closed the connection) |
| 2022-06-17 17:17:39 +0200 | <geekosaur> | there is. it's the error you got |
| 2022-06-17 17:17:51 +0200 | <geekosaur> | because typeclasses do not work the way you think |
| 2022-06-17 17:18:01 +0200 | <haskell_apprenti> | so @exa that's a case where it expects a Char but gets a Num a => a type |
| 2022-06-17 17:18:18 +0200 | <[Leary]> | haskell_apprenti: foldl wants an (a -> b -> a). You give it an (a -> b -> b). The conclusion is that a = b. |
| 2022-06-17 17:18:27 +0200 | <geekosaur> | you can define a Num instance for Char (not very usefully, but) and then it would work |
| 2022-06-17 17:18:35 +0200 | <[Leary]> | Hence 0 :: Char, and your error. |
| 2022-06-17 17:19:36 +0200 | <haskell_apprenti> | [Leary] ah interesting take ok. I'm curious where exactly the error would occur in execution though |
| 2022-06-17 17:20:06 +0200 | <[Leary]> | It's a type error; it doesn't reach execution? |
| 2022-06-17 17:20:11 +0200 | <haskell_apprenti> | seems to me the error should be when foldl gets to 'u' |
| 2022-06-17 17:20:45 +0200 | <geekosaur> | type errors happen at compile time. it doesn't have to wait until execution to realize there's a mismatch |
| 2022-06-17 17:21:03 +0200 | <geekosaur> | [Leary]'s first line shows you how that works |
| 2022-06-17 17:21:45 +0200 | <[exa]> | haskell_apprenti: it sees the problem right from the type -- the type dictates that the return value of the folding function, "zero seed" value and return value of the whole fold must have the same type. In your case, the seed value has type `Num a => a`, which haskell tries to unify with Char, getting `Num Char => Char`, which is unfortunately invalid because `Num Char` can't be satisfied as the instance |
| 2022-06-17 17:21:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 17:21:51 +0200 | <[exa]> | is missing |
| 2022-06-17 17:22:07 +0200 | <haskell_apprenti> | ah ok - so for my own clarity, haskell compiler sees this - foldl wants an (a -> b -> a). You give it an (a -> b -> b) - so already knows both types must be Char, so throws an error immediately when given instance of Num typeclass> |
| 2022-06-17 17:22:09 +0200 | <haskell_apprenti> | ? |
| 2022-06-17 17:22:29 +0200 | <geekosaur> | after searching for a Num instance, yes |
| 2022-06-17 17:22:52 +0200 | <geekosaur> | there's nothing built into the compiler defining `Num`, you could in fact define a Num instance for Char |
| 2022-06-17 17:23:06 +0200 | <geekosaur> | it'd behave weirdly, but you could do it |
| 2022-06-17 17:24:19 +0200 | <haskell_apprenti> | [exa]: ah ok |
| 2022-06-17 17:24:23 +0200 | <[exa]> | spoiler: `0` in fact desugars to something like `fromInteger (0::Integer)` |
| 2022-06-17 17:24:36 +0200 | <haskell_apprenti> | all these comment's are clarifying, thanks for all of your input |
| 2022-06-17 17:24:44 +0200 | <[exa]> | and `fromInteger` is defined in the Num class. :] |
| 2022-06-17 17:25:25 +0200 | <haskell_apprenti> | (y) |
| 2022-06-17 17:32:56 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-17 17:33:25 +0200 | <BusConscious> | How can I construct a Int32 from an Int? |
| 2022-06-17 17:33:35 +0200 | <geekosaur> | fromIntegral |
| 2022-06-17 17:35:29 +0200 | <exarkun> | watch out for overflow of course |
| 2022-06-17 17:37:09 +0200 | <geekosaur> | yes, fromIntegral does no testing for values fitting in the result |
| 2022-06-17 17:38:23 +0200 | arthurs115 | (~arthurs11@163.5.10.3) (Remote host closed the connection) |
| 2022-06-17 17:39:09 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-17 17:48:59 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-17 17:50:47 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-17 17:50:59 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-17 17:52:00 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-17 17:55:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-181.elisa-laajakaista.fi) |
| 2022-06-17 17:55:48 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-17 17:56:52 +0200 | haskell_apprenti | (~haskell_a@cpe-74-71-248-39.nyc.res.rr.com) (Quit: Client closed) |
| 2022-06-17 17:57:23 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 17:59:18 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 18:00:28 +0200 | CiaoSen | (~Jura@p200300c9571294002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-17 18:02:21 +0200 | kenran | (~kenran@200116b82b5e4a009fbad6df2f61ab5d.dip.versatel-1u1.de) |
| 2022-06-17 18:02:37 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 18:03:25 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 18:04:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-17 18:07:21 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 18:09:06 +0200 | <BusConscious> | exarkun: finally YOLOed all types into each other :P |
| 2022-06-17 18:09:19 +0200 | <exarkun> | :) |
| 2022-06-17 18:09:40 +0200 | <exarkun> | I heard about a nice library for type converstion a while ago ... on Haskell Weekly News podcast I think. I wonder if I can remember its name. |
| 2022-06-17 18:10:01 +0200 | <exarkun> | It had some magic-oriented theme. witches or casting or something. |
| 2022-06-17 18:10:18 +0200 | <exarkun> | https://hackage.haskell.org/package/witch-0.3.4.0/docs/Witch.html I guess |
| 2022-06-17 18:10:24 +0200 | <exarkun> | have no tried it |
| 2022-06-17 18:11:17 +0200 | <tomsmeding> | Witch? |
| 2022-06-17 18:11:21 +0200 | <tomsmeding> | ah you found it already |
| 2022-06-17 18:11:35 +0200 | kenran | (~kenran@200116b82b5e4a009fbad6df2f61ab5d.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-06-17 18:11:59 +0200 | <tomsmeding> | there is also https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html |
| 2022-06-17 18:12:21 +0200 | <BusConscious> | Other question: How can I import macros in FFI? It doesn't link against those if I treat them like functions despite it saying that somewhere on the web |
| 2022-06-17 18:12:36 +0200 | <tomsmeding> | are you using capi? |
| 2022-06-17 18:12:41 +0200 | <BusConscious> | yes |
| 2022-06-17 18:13:18 +0200 | <tomsmeding> | have you defined the macro yourself or is it coming from a system header? |
| 2022-06-17 18:13:27 +0200 | <BusConscious> | system header fcntl.h |
| 2022-06-17 18:13:39 +0200 | <geekosaur> | then include that header in the declaration |
| 2022-06-17 18:14:59 +0200 | <tomsmeding> | like `foreign import capi "fcntl.h YOURMACRO" c_whatever :: Whatever` |
| 2022-06-17 18:15:15 +0200 | <BusConscious> | ah |
| 2022-06-17 18:15:23 +0200 | tomsmeding | doesn't like the syntax |
| 2022-06-17 18:17:27 +0200 | <BusConscious> | error: called object is not a function or function pointer |
| 2022-06-17 18:17:27 +0200 | <BusConscious> | 8 | HsInt32 ghczuwrapperZC0ZCmainZCExecZCOzuAPPEND(void) {return O_APPEND();} |
| 2022-06-17 18:17:37 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 2022-06-17 18:18:03 +0200 | <tomsmeding> | ah sorry |
| 2022-06-17 18:18:12 +0200 | <tomsmeding> | "fcntl.h value O_APPEND" |
| 2022-06-17 18:18:15 +0200 | <tomsmeding> | docs: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/ffi.html#extension-CApiFFI |
| 2022-06-17 18:18:44 +0200 | <BusConscious> | aah |
| 2022-06-17 18:19:30 +0200 | <BusConscious> | thank you |
| 2022-06-17 18:25:15 +0200 | hugo| | hugo |
| 2022-06-17 18:25:36 +0200 | <tomsmeding> | quite a while ago someone in this channel pointed me to ghc's user guide, the existence of which I had up to that point only been faintly aware of |
| 2022-06-17 18:26:19 +0200 | <tomsmeding> | because in contrast to physical things, for software I'm usually not looking for user manuals -- I look for manpages, wikis, --help output, etc |
| 2022-06-17 18:27:01 +0200 | <BusConscious> | I had it open earlier this day and then lost the tab |
| 2022-06-17 18:27:09 +0200 | <tomsmeding> | but it turns out ghc's user guide is actually pretty great; especially the extension listing page is something I have in a very easily accessible bookmark. So thanks to that person, whoever it was :p |
| 2022-06-17 18:28:05 +0200 | <c_wraith> | that might have been me. I direct people there somewhat often, because it really does have a ton of good info. |
| 2022-06-17 18:28:26 +0200 | <tomsmeding> | yes it may well have been you indeed |
| 2022-06-17 18:28:46 +0200 | <tomsmeding> | I remember hpc or monochrom saying that they've read the whole thing front-to-back; I'm not likely to do that any time soon, but I know to reach for it now |
| 2022-06-17 18:28:58 +0200 | <c_wraith> | I certainly haven't done that! |
| 2022-06-17 18:29:37 +0200 | <tomsmeding> | I guess if you're a tenured professor you can indulge in such things :p |
| 2022-06-17 18:30:24 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-06-17 18:32:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 18:33:22 +0200 | <tomsmeding> | I wonder if `ghc --help` should put the user manual notice more to the top |
| 2022-06-17 18:37:15 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-17 18:42:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-17 18:44:19 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-17 18:47:21 +0200 | <BusConscious> | general Haskell noob Q: Say I have functions f1::a->b and f2::a->c and f3: b -> c -> d. Now i want to concatenate f3 . f1xf2 :: a -> d |
| 2022-06-17 18:47:29 +0200 | <BusConscious> | How can idiomatically do this? |
| 2022-06-17 18:49:35 +0200 | <tomsmeding> | @pl \x y -> f3 (f1 x) (f2 x) |
| 2022-06-17 18:49:36 +0200 | <lambdabot> | const . liftM2 f3 f1 f2 |
| 2022-06-17 18:49:41 +0200 | <tomsmeding> | answer, don't |
| 2022-06-17 18:49:51 +0200 | <tomsmeding> | just write f3 (f1 x) (f2 x) |
| 2022-06-17 18:50:02 +0200 | <tomsmeding> | oh um |
| 2022-06-17 18:50:07 +0200 | <tomsmeding> | @pl \x -> f3 (f1 x) (f2 x) |
| 2022-06-17 18:50:07 +0200 | <lambdabot> | liftM2 f3 f1 f2 |
| 2022-06-17 18:50:09 +0200 | <tomsmeding> | that, of course |
| 2022-06-17 18:50:41 +0200 | <tomsmeding> | you _can_ write that, but for clarity's sake, you shouldn't -- that liftM is in the function monad, which is notorious for producing compact, unreadable code |
| 2022-06-17 18:50:57 +0200 | raym | (~raym@user/raym) |
| 2022-06-17 18:51:36 +0200 | <BusConscious> | I knew it would be something like that |
| 2022-06-17 18:52:07 +0200 | <tomsmeding> | if you're masochistic: |
| 2022-06-17 18:52:16 +0200 | <tomsmeding> | :t \f1 f2 f3 -> uncurry f3 . (f1 &&& f2) |
| 2022-06-17 18:52:18 +0200 | <lambdabot> | (a1 -> a2) -> (a1 -> b) -> (a2 -> b -> c) -> a1 -> c |
| 2022-06-17 18:52:32 +0200 | <tomsmeding> | but don't use that |
| 2022-06-17 18:52:40 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) (Ping timeout: 248 seconds) |
| 2022-06-17 18:53:29 +0200 | <zero> | uncurry f3 . |
| 2022-06-17 18:53:31 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) |
| 2022-06-17 18:53:35 +0200 | <BusConscious> | So liftM2 f3 f1 f2 is about as short as it gets and \x y -> f3 (f1 x) (f2 x) is about as clear as it gets |
| 2022-06-17 18:53:47 +0200 | <tomsmeding> | BusConscious: yes, without the y, because that was a mistake on my part |
| 2022-06-17 18:54:06 +0200 | <BusConscious> | yes |
| 2022-06-17 18:54:11 +0200 | <BusConscious> | without the y |
| 2022-06-17 18:54:20 +0200 | <tomsmeding> | it's not even that much longer :) |
| 2022-06-17 18:54:53 +0200 | <tomsmeding> | f3<$>f1<*>f2 is technically 3 characters shorter |
| 2022-06-17 18:55:07 +0200 | <tomsmeding> | but not with proper spacing :p |
| 2022-06-17 19:00:41 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 19:01:20 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-17 19:03:47 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-06-17 19:13:16 +0200 | yuv4199 | (~yuv4199@user/yuv4199) |
| 2022-06-17 19:13:35 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) (Quit: leaving) |
| 2022-06-17 19:14:51 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) |
| 2022-06-17 19:18:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-17 19:18:22 +0200 | taeaad | (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-06-17 19:18:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2022-06-17 19:18:47 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 19:20:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Client Quit) |
| 2022-06-17 19:20:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2022-06-17 19:28:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-06-17 19:28:20 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 246 seconds) |
| 2022-06-17 19:28:23 +0200 | werneta | (~werneta@137.79.237.183) |
| 2022-06-17 19:29:50 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-17 19:31:05 +0200 | taeaad | (~taeaad@user/taeaad) |
| 2022-06-17 19:31:45 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0::f476) |
| 2022-06-17 19:33:30 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-17 19:34:38 +0200 | werneta | (~werneta@137.79.237.183) (Ping timeout: 246 seconds) |
| 2022-06-17 19:34:55 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 19:35:26 +0200 | econo | (uid147250@user/econo) |
| 2022-06-17 19:36:38 +0200 | werneta | (~werneta@137.79.231.39) |
| 2022-06-17 19:37:06 +0200 | <yuv4199> | Hi, is there a way to trick GHC into resolving constraints from data kinds and type families like so: it figures out that `k ~ 'B` from context `'A ~ App k k'` (the type family `App` only has one equation with rhs `'A` like so: `App 'B 'B = 'A`)? |
| 2022-06-17 19:37:43 +0200 | <yuv4199> | At first I thought it was because the family was partial but it doesn't matter if I add another kind constructor `Illegal` it's the same. Small example: https://pastebin.com/Ax8Y4ynz |
| 2022-06-17 19:39:25 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-06-17 19:40:05 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 19:42:25 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-17 19:43:29 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2022-06-17 19:43:59 +0200 | bgamari | (~bgamari@70.16.104.230) (Ping timeout: 255 seconds) |
| 2022-06-17 19:45:08 +0200 | leeb | (~leeb@KD106154142206.au-net.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-17 19:45:52 +0200 | bgamari | (~bgamari@2001:470:e438::1) |
| 2022-06-17 19:45:58 +0200 | averell | (~averell@user/averell) (Quit: .) |
| 2022-06-17 19:48:55 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 19:50:25 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 19:52:00 +0200 | <[Leary]> | yuv4199: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_families.html#injective-type-families |
| 2022-06-17 19:52:42 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-06-17 19:53:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-17 19:54:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-17 19:56:26 +0200 | yuv4199 | (~yuv4199@user/yuv4199) (Ping timeout: 252 seconds) |
| 2022-06-17 20:00:15 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-17 20:00:50 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 20:04:20 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-06-17 20:05:10 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-06-17 20:05:10 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-06-17 20:07:50 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-17 20:16:48 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-17 20:26:25 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 20:26:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-17 20:27:06 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-17 20:27:10 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-06-17 20:28:53 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 20:28:59 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 20:36:57 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-17 20:40:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-17 20:41:28 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 20:45:44 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 248 seconds) |
| 2022-06-17 20:50:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 20:51:51 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 20:53:42 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 20:54:24 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) |
| 2022-06-17 21:02:11 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 21:03:01 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 21:04:34 +0200 | winny | (~weechat@user/winny) (Ping timeout: 240 seconds) |
| 2022-06-17 21:05:40 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-17 21:05:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-17 21:07:08 +0200 | winny | (~weechat@user/winny) |
| 2022-06-17 21:12:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-06-17 21:12:42 +0200 | dschrempf | (~dominik@mobiledyn-62-240-134-11.mrsn.at) (Quit: WeeChat 3.5) |
| 2022-06-17 21:13:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-17 21:13:37 +0200 | califax | (~califax@user/califx) |
| 2022-06-17 21:16:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 21:17:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-17 21:17:48 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 21:17:53 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 21:17:54 +0200 | califax | (~califax@user/califx) |
| 2022-06-17 21:18:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-17 21:18:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-17 21:21:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-17 21:22:00 +0200 | acidjnk | (~acidjnk@p200300d0c7068b05152244a3055ced6a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-17 21:25:38 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-17 21:28:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-17 21:33:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-17 21:34:46 +0200 | <BusConscious> | are there any constants defined in haskell for possible values of FileMode in System.Posix.Types if I don't want to use FFI? |
| 2022-06-17 21:38:54 +0200 | <EvanR> | I see some here https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Files.html |
| 2022-06-17 21:39:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 21:40:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-17 21:41:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 21:42:16 +0200 | <BusConscious> | EvanR thanks that's what i was looking for |
| 2022-06-17 21:47:42 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-17 21:49:56 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-17 21:50:58 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-17 21:52:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-17 21:55:41 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 21:56:47 +0200 | heinz9 | (~trace@user/trace) (Ping timeout: 252 seconds) |
| 2022-06-17 21:56:51 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 21:57:30 +0200 | heinz9 | (~trace@user/trace) |
| 2022-06-17 21:59:11 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2022-06-17 21:59:14 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-17 21:59:30 +0200 | heinz19 | (~trace@user/trace) |
| 2022-06-17 22:01:45 +0200 | heinz9 | (~trace@user/trace) (Ping timeout: 244 seconds) |
| 2022-06-17 22:03:50 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-17 22:05:07 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 22:05:43 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-17 22:10:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 22:15:41 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-17 22:15:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-17 22:16:56 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-06-17 22:17:44 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 22:17:50 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-06-17 22:18:19 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-17 22:19:11 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-17 22:27:12 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-06-17 22:27:39 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-06-17 22:31:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-17 22:32:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-17 22:39:31 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-17 22:39:47 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-17 22:40:43 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) |
| 2022-06-17 22:40:51 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::2df) (Client Quit) |
| 2022-06-17 22:41:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-17 22:41:51 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-17 22:46:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-17 22:46:37 +0200 | slaydr | (~slaydr@75.164.63.238) |
| 2022-06-17 22:50:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-06-17 22:51:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-17 22:56:52 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 272 seconds) |
| 2022-06-17 22:58:14 +0200 | slaydr | (~slaydr@75.164.63.238) (Quit: Leaving) |
| 2022-06-17 22:58:40 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-17 22:59:59 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) (Quit: leaving) |
| 2022-06-17 23:03:35 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) |
| 2022-06-17 23:05:02 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-17 23:06:56 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 23:08:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-17 23:09:11 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-17 23:11:19 +0200 | BusConscious | (~martin@95.90.207.249) (Quit: leaving) |
| 2022-06-17 23:11:50 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-06-17 23:15:02 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-17 23:15:08 +0200 | \yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-17 23:15:55 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-17 23:16:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-17 23:20:50 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 258 seconds) |
| 2022-06-17 23:22:09 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-17 23:25:14 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-17 23:33:36 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-17 23:37:43 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-17 23:40:16 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-17 23:40:47 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-17 23:41:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-17 23:41:25 +0200 | jinsun___ | (~jinsun@user/jinsun) |
| 2022-06-17 23:41:55 +0200 | jinsun___ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-17 23:42:13 +0200 | jinsun___ | (~jinsun@user/jinsun) |
| 2022-06-17 23:43:07 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-17 23:44:22 +0200 | jinsun__ | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2022-06-17 23:45:38 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-06-17 23:46:48 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-17 23:48:29 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-06-17 23:48:42 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-17 23:48:46 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-17 23:49:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-17 23:49:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-17 23:50:12 +0200 | jinsun___ | (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 2022-06-17 23:51:29 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-06-17 23:52:39 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2022-06-17 23:52:50 +0200 | werneta | (~werneta@137.79.231.39) (Ping timeout: 244 seconds) |
| 2022-06-17 23:53:49 +0200 | tfeb | (~tfb@88.98.95.237) (Client Quit) |
| 2022-06-17 23:55:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-17 23:55:01 +0200 | werneta | (~werneta@137.79.237.183) |
| 2022-06-17 23:58:09 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-17 23:59:36 +0200 | michalz | (~michalz@185.246.204.105) (Remote host closed the connection) |