| 2022-04-15 00:00:11 +0200 | <Guest27> | dolio the forwards version is just what I needed, thanks |
| 2022-04-15 00:03:21 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::588) (Quit: WeeChat 3.4) |
| 2022-04-15 00:04:43 +0200 | kenran | (~kenran@200116b82b0a3400611dd27e2468a6bc.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-15 00:05:13 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-15 00:12:24 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::7e6a) (Ping timeout: 250 seconds) |
| 2022-04-15 00:14:32 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 2022-04-15 00:14:58 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-15 00:15:21 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-15 00:15:30 +0200 | <shapr> | is there a friendly help ghc core viewer? |
| 2022-04-15 00:16:04 +0200 | sander | (~sander@user/sander) (Ping timeout: 272 seconds) |
| 2022-04-15 00:16:17 +0200 | <shapr> | oh, didn't know about https://hackage.haskell.org/package/dump-core |
| 2022-04-15 00:16:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 00:18:28 +0200 | sander | (~sander@user/sander) |
| 2022-04-15 00:20:50 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 2022-04-15 00:20:52 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::7e6a) |
| 2022-04-15 00:25:24 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::7e6a) (Ping timeout: 250 seconds) |
| 2022-04-15 00:25:57 +0200 | <geekosaur> | there used to be ghc-core as well, dunno how supported it is |
| 2022-04-15 00:26:03 +0200 | anon12545 | (~anon12545@2a01:e34:ef4f:30c0:9452:1f20:3db:7152) |
| 2022-04-15 00:26:36 +0200 | <shapr> | also turns out my ancient zsh alias is really handy: alias ghci-core="ghci -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes" |
| 2022-04-15 00:26:52 +0200 | anon12545 | (~anon12545@2a01:e34:ef4f:30c0:9452:1f20:3db:7152) (Remote host closed the connection) |
| 2022-04-15 00:27:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-15 00:29:23 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-15 00:30:05 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-04-15 00:30:10 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Ping timeout: 250 seconds) |
| 2022-04-15 00:34:56 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 2022-04-15 00:35:20 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-15 00:38:31 +0200 | fendor_ | (~fendor@91.141.65.122.wireless.dyn.drei.com) |
| 2022-04-15 00:41:12 +0200 | fendor | (~fendor@178.115.70.32.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2022-04-15 00:43:51 +0200 | acidjnk | (~acidjnk@p200300d0c722df081581cec648b99087.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-15 00:44:19 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-04-15 00:46:19 +0200 | fendor_ | (~fendor@91.141.65.122.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-15 00:54:59 +0200 | acidjnk | (~acidjnk@p200300d0c722df1624fdec3763db0ed4.dip0.t-ipconnect.de) |
| 2022-04-15 00:56:21 +0200 | niemand | (~niemand@p2e52f858.dip0.t-ipconnect.de) |
| 2022-04-15 00:56:59 +0200 | <niemand> | Do SCC pragrams affect optimization (ghc)? |
| 2022-04-15 01:02:07 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-15 01:07:37 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-15 01:08:51 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-04-15 01:09:12 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-04-15 01:09:14 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-15 01:10:01 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host) |
| 2022-04-15 01:10:01 +0200 | Me-me | (~me-me@user/me-me) |
| 2022-04-15 01:11:52 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-15 01:19:52 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 01:28:19 +0200 | niemand | (~niemand@p2e52f858.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2022-04-15 01:44:34 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) |
| 2022-04-15 01:44:45 +0200 | agrosant | (~agrosant@79.103.182.92.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 2022-04-15 01:45:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-15 01:48:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2022-04-15 01:48:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-15 01:49:13 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) (Ping timeout: 248 seconds) |
| 2022-04-15 01:52:49 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-15 01:55:36 +0200 | acidjnk | (~acidjnk@p200300d0c722df1624fdec3763db0ed4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-15 02:00:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-15 02:00:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-15 02:00:55 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-15 02:00:58 +0200 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) |
| 2022-04-15 02:01:48 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-04-15 02:04:54 +0200 | acidjnk | (~acidjnk@p200300d0c722df165995d7d76cfdd70d.dip0.t-ipconnect.de) |
| 2022-04-15 02:06:00 +0200 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2022-04-15 02:06:46 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-15 02:06:56 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 02:07:53 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-15 02:11:10 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 02:12:05 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-04-15 02:12:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-15 02:14:35 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 02:14:57 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-15 02:19:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-15 02:20:32 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-15 02:21:22 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-15 02:21:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-04-15 02:23:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-15 02:23:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-15 02:23:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-15 02:24:57 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-15 02:25:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-15 02:26:35 +0200 | mmhat | (~mmh@55d48cf8.access.ecotel.net) (Quit: WeeChat 3.5) |
| 2022-04-15 02:27:04 +0200 | acidjnk | (~acidjnk@p200300d0c722df165995d7d76cfdd70d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-04-15 02:29:19 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-04-15 02:33:57 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-15 02:40:56 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-15 02:43:30 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-15 02:46:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 02:51:11 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 02:51:46 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-15 02:52:27 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-15 02:55:07 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-04-15 02:59:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-15 03:00:32 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-15 03:00:41 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-15 03:04:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 03:04:26 +0200 | frost | (~frost@user/frost) |
| 2022-04-15 03:08:53 +0200 | janus__ | janus |
| 2022-04-15 03:09:19 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-04-15 03:10:19 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-15 03:10:45 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 2022-04-15 03:10:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-15 03:12:09 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-15 03:12:48 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-15 03:14:13 +0200 | razetime | (~quassel@117.254.34.72) |
| 2022-04-15 03:14:46 +0200 | <razetime> | is there a simple haskell package creation tutorial? |
| 2022-04-15 03:14:49 +0200 | <razetime> | just a hello world app |
| 2022-04-15 03:17:03 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-04-15 03:17:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-15 03:17:38 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 2022-04-15 03:18:12 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 03:22:15 +0200 | mud | (~mud@user/kadoban) |
| 2022-04-15 03:25:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-15 03:26:21 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) |
| 2022-04-15 03:28:45 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) (Client Quit) |
| 2022-04-15 03:28:55 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 03:30:57 +0200 | andrey__ | (~andrey@p200300dbcf086f005d691fef4faa01bb.dip0.t-ipconnect.de) |
| 2022-04-15 03:33:43 +0200 | andrey_ | (~andrey@p200300dbcf0f96005281d43d055d6f73.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-15 03:34:15 +0200 | <sm> | `stack new myproject` is an easy start |
| 2022-04-15 03:34:44 +0200 | <razetime> | i see |
| 2022-04-15 03:34:59 +0200 | <razetime> | no way to do so with cabal? |
| 2022-04-15 03:35:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 03:36:04 +0200 | <sm> | I'm sure there's something on hackage at least. Built in there's the `init` command, which you run in an existing source tree |
| 2022-04-15 03:36:42 +0200 | <sm> | "summoner" comes to mind |
| 2022-04-15 03:37:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 03:37:18 +0200 | <sm> | but that's more than you need |
| 2022-04-15 03:37:37 +0200 | <razetime> | i see. |
| 2022-04-15 03:39:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 03:39:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 03:41:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-15 03:42:23 +0200 | jespada_ | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-15 03:43:26 +0200 | <sm> | mkdir new && cd new && cabal init makes a package, though I couldn't figure out how to build it |
| 2022-04-15 03:43:27 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-15 03:47:05 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-15 03:47:05 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 2022-04-15 03:48:31 +0200 | <sm> | mkdir new && cd new && cabal init && stack init && stack build :) |
| 2022-04-15 03:49:42 +0200 | <sm> | that's actually a pretty nice minimal project |
| 2022-04-15 03:50:31 +0200 | <justsomeguy> | With stack it's stack sdist to create the tarball with source code in it for submission on hackage. I'm not sure about cabal, maybe cabal v2-sdist is worth reading about? |
| 2022-04-15 03:51:16 +0200 | <justsomeguy> | takes the crucial files needed to build TARGETS and puts them into an archive format ready for upload to Hackage. These archives are stable and two archives of the same format built from the same source will hash to the same value. |
| 2022-04-15 03:51:18 +0200 | <justsomeguy> | cabal v2-sdist takes the following flags: |
| 2022-04-15 03:51:50 +0200 | <justsomeguy> | Darn, I pasted the wrong buffer. Sorry about that.... further reading: https://cabal.readthedocs.io/en/3.6/cabal-commands.html#cabal-v2-sdist |
| 2022-04-15 03:53:47 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 260 seconds) |
| 2022-04-15 03:56:33 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2022-04-15 04:00:24 +0200 | ubert | (~Thunderbi@p200300ecdf15889a6dd735575757d7c8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-15 04:00:42 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-04-15 04:01:33 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-15 04:02:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 04:05:24 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-15 04:10:27 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 240 seconds) |
| 2022-04-15 04:14:04 +0200 | myousufq | (~myousufq@122-60-198-171-adsl.sparkbb.co.nz) |
| 2022-04-15 04:16:47 +0200 | <razetime> | hm i see |
| 2022-04-15 04:17:05 +0200 | <razetime> | where does stack build build to? |
| 2022-04-15 04:17:31 +0200 | <razetime> | also if there is one i'd like to read a tutorial on what each file does in the generated package. |
| 2022-04-15 04:38:16 +0200 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-15 04:39:55 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-15 04:40:40 +0200 | <abastro[m]> | What is `evacuate: strange closure type` error? |
| 2022-04-15 04:40:46 +0200 | <abastro[m]> | from ghc internal error |
| 2022-04-15 04:40:58 +0200 | <abastro[m]> | https://paste.tomsmeding.com/2haEqtNt |
| 2022-04-15 04:42:19 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-15 04:46:07 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-15 04:50:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-15 04:51:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-15 04:55:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-04-15 04:56:29 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-15 05:01:38 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 250 seconds) |
| 2022-04-15 05:08:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 05:12:24 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 05:12:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 05:16:03 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 2022-04-15 05:19:39 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-15 05:23:07 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 05:28:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-15 05:29:34 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 05:30:33 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 05:35:31 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-15 05:37:06 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-15 05:38:00 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2022-04-15 05:40:08 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-15 05:52:15 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-15 05:55:51 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-04-15 06:09:31 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 06:14:35 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-04-15 06:15:28 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) |
| 2022-04-15 06:30:05 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-15 06:32:17 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-15 06:33:03 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-15 06:34:04 +0200 | zero | zzz |
| 2022-04-15 06:36:42 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 06:45:22 +0200 | <razetime> | abastro: Some similar errors: https://github.com/commercialhaskell/stack/issues/906 , https://github.com/commercialhaskell/stack-ide/issues/61 |
| 2022-04-15 06:46:01 +0200 | <razetime> | both are from 2015 so dunno if it is the same problem |
| 2022-04-15 06:49:46 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-15 06:51:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-04-15 06:56:30 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 06:57:36 +0200 | jespada | (~jespada@2a0c:5c84:1:1000::b65d) |
| 2022-04-15 06:58:15 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-15 06:59:04 +0200 | jespada_ | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-15 07:00:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-15 07:11:37 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-15 07:13:21 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 07:14:14 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-15 07:15:05 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 2022-04-15 07:17:16 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 2022-04-15 07:18:24 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) (Ping timeout: 246 seconds) |
| 2022-04-15 07:20:10 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-15 07:29:23 +0200 | axeman | (~quassel@2a02:8109:a380:78:e29a:f736:dcf1:b643) |
| 2022-04-15 07:31:39 +0200 | <abastro[m]> | Unlikely, because mine only happens with ghc9.2.2 |
| 2022-04-15 07:32:47 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-15 07:36:13 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 2022-04-15 07:36:42 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-04-15 07:37:07 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-15 07:52:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) |
| 2022-04-15 08:05:41 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) (Ping timeout: 256 seconds) |
| 2022-04-15 08:05:47 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-15 08:10:12 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-15 08:14:09 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-15 08:23:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 08:25:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 08:26:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-15 08:29:38 +0200 | <geekosaur> | that is, as the message says, a ghc bug. in particular it means there is memory corruption |
| 2022-04-15 08:30:56 +0200 | akegalj | (~akegalj@93-138-125-38.adsl.net.t-com.hr) |
| 2022-04-15 08:31:11 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) |
| 2022-04-15 08:37:07 +0200 | michalz | (~michalz@185.246.204.57) |
| 2022-04-15 08:38:25 +0200 | <abastro[m]> | Oh no, memory corruption? |
| 2022-04-15 08:38:33 +0200 | <abastro[m]> | I feel sorry to the computer |
| 2022-04-15 08:38:41 +0200 | <abastro[m]> | I should have done something very wrong |
| 2022-04-15 08:39:00 +0200 | fendor | (~fendor@91.141.65.122.wireless.dyn.drei.com) |
| 2022-04-15 08:39:06 +0200 | odnes | (~odnes@5-203-176-169.pat.nym.cosmote.net) |
| 2022-04-15 08:39:56 +0200 | odnes | (~odnes@5-203-176-169.pat.nym.cosmote.net) (Client Quit) |
| 2022-04-15 08:40:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 08:53:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-15 08:55:23 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-15 08:58:58 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-15 08:59:46 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2022-04-15 09:06:49 +0200 | acidjnk | (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) |
| 2022-04-15 09:09:05 +0200 | wei2912 | (~wei2912@138.75.71.147) |
| 2022-04-15 09:12:10 +0200 | <DemiMarieObenour> | There are a few things that can cause this error:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/8fda2483661148a09a75c656f7bb91da96fd…) |
| 2022-04-15 09:16:23 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-15 09:19:05 +0200 | bahamas | (~lucian@84.232.140.158) (Quit: leaving) |
| 2022-04-15 09:20:23 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-15 09:24:13 +0200 | majjoha | (~mathias@80.71.142.8.ipv4.parknet.dk) |
| 2022-04-15 09:24:13 +0200 | kenran | (~kenran@200116b82bcf090027b837393b6d727e.dip.versatel-1u1.de) |
| 2022-04-15 09:24:22 +0200 | kenran | (~kenran@200116b82bcf090027b837393b6d727e.dip.versatel-1u1.de) (Client Quit) |
| 2022-04-15 09:32:54 +0200 | mmhat | (~mmh@55d499ca.access.ecotel.net) |
| 2022-04-15 09:42:40 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-15 09:48:53 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 09:49:45 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-15 09:50:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-15 09:52:01 +0200 | <abastro[m]> | I see, hm I wonder |
| 2022-04-15 09:53:33 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:1c09:1958:649b:4873) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-15 09:53:42 +0200 | Athas | (athas@sigkill.dk) |
| 2022-04-15 09:59:46 +0200 | jespada | (~jespada@2a0c:5c84:1:1000::b65d) (Remote host closed the connection) |
| 2022-04-15 10:02:24 +0200 | zyklotom1 | (~ethan@res380d-128-61-83-86.res.gatech.edu) (WeeChat 2.7.1) |
| 2022-04-15 10:02:27 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 2022-04-15 10:05:02 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-15 10:05:07 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-15 10:12:04 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 2022-04-15 10:18:45 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-15 10:20:08 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 10:23:13 +0200 | majjoha | (~mathias@80.71.142.8.ipv4.parknet.dk) (Quit: WeeChat 3.4.1) |
| 2022-04-15 10:30:11 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2022-04-15 10:31:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-15 10:31:41 +0200 | haskellberryfinn | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-15 10:33:47 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.212) (Ping timeout: 240 seconds) |
| 2022-04-15 10:37:18 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-15 10:45:57 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 10:46:31 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 10:49:15 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 2022-04-15 10:51:20 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-04-15 10:53:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-15 10:55:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-15 11:00:11 +0200 | wei2912 | (~wei2912@138.75.71.147) (Quit: Lost terminal) |
| 2022-04-15 11:00:12 +0200 | weeezes[m] | (~weeezesma@2001:470:69fc:105::1:da65) (Quit: You have been kicked for being idle) |
| 2022-04-15 11:01:42 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-15 11:04:46 +0200 | akegalj | (~akegalj@93-138-125-38.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-04-15 11:07:54 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-15 11:09:29 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-15 11:19:44 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-15 11:19:55 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-15 11:20:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-15 11:20:38 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 11:24:42 +0200 | axeman | (~quassel@2a02:8109:a380:78:e29a:f736:dcf1:b643) (Ping timeout: 250 seconds) |
| 2022-04-15 11:28:48 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-15 11:31:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 11:33:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-15 11:36:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-15 11:42:04 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-04-15 11:44:04 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-04-15 11:48:18 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-15 11:49:01 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Quit: leaving) |
| 2022-04-15 11:49:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-15 11:51:40 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-15 11:54:13 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 11:54:24 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-15 11:58:56 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-15 12:03:48 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 12:04:33 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 12:06:18 +0200 | axeman | (~quassel@2a02:8109:a380:78:fc00:74bd:407d:bc5d) |
| 2022-04-15 12:06:52 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-15 12:06:53 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-15 12:07:07 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-15 12:08:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-15 12:09:11 +0200 | machinedgod | (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 2022-04-15 12:09:14 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 12:09:16 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-15 12:09:39 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 12:14:27 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-04-15 12:16:27 +0200 | machinedgod | (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 2022-04-15 12:16:45 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:3954:3f8f:fc68:2c90) |
| 2022-04-15 12:17:13 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 12:18:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 12:19:39 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
| 2022-04-15 12:20:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 12:22:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-15 12:22:18 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 12:22:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-15 12:23:12 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-15 12:23:42 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-15 12:23:42 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-15 12:24:20 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-15 12:26:34 +0200 | machinedgod | (~machinedg@24.105.81.50) (Client Quit) |
| 2022-04-15 12:27:01 +0200 | xff0x_ | (~xff0x@om126033121185.35.openmobile.ne.jp) |
| 2022-04-15 12:28:31 +0200 | chenqisu12 | (~chenqisu1@183.217.200.38) |
| 2022-04-15 12:28:37 +0200 | xff0x | (~xff0x@om126167120043.29.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-15 12:29:05 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Read error: Connection reset by peer) |
| 2022-04-15 12:30:07 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-04-15 12:30:08 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 12:32:49 +0200 | machinedgod | (~machinedg@24.105.81.50) (Client Quit) |
| 2022-04-15 12:33:51 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 12:38:04 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 12:38:32 +0200 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2022-04-15 12:40:41 +0200 | haskellberryfinn | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3) |
| 2022-04-15 12:41:02 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-15 12:42:31 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-15 12:44:40 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-04-15 12:46:38 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-15 12:47:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-15 12:52:34 +0200 | sander | sandercat |
| 2022-04-15 12:55:01 +0200 | myousufq | (~myousufq@122-60-198-171-adsl.sparkbb.co.nz) (Quit: Client closed) |
| 2022-04-15 12:55:16 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 250 seconds) |
| 2022-04-15 12:59:37 +0200 | akegalj | (~akegalj@31-154.dsl.iskon.hr) |
| 2022-04-15 13:00:17 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-04-15 13:01:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-04-15 13:02:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-15 13:02:33 +0200 | califax | (~califax@user/califx) |
| 2022-04-15 13:07:54 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 13:14:31 +0200 | xff0x_ | (~xff0x@om126033121185.35.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-15 13:19:36 +0200 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 2022-04-15 13:20:19 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-04-15 13:22:09 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-15 13:22:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-15 13:24:38 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-15 13:25:21 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-15 13:30:53 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-15 13:31:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 13:32:07 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-15 13:32:40 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 13:35:13 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 13:35:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 13:36:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 13:36:46 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-15 13:38:48 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 13:39:36 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-15 13:41:43 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-04-15 13:43:20 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Remote host closed the connection) |
| 2022-04-15 13:44:08 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-15 13:44:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 13:46:43 +0200 | xff0x_ | (~xff0x@om126166161105.28.openmobile.ne.jp) |
| 2022-04-15 13:47:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-15 13:49:02 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 2022-04-15 13:51:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 13:51:49 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-04-15 13:56:01 +0200 | nattiestnate | (~nate@202.138.250.29) |
| 2022-04-15 13:56:08 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-15 13:56:40 +0200 | akegalj | (~akegalj@31-154.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-15 13:58:12 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-15 14:01:15 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-15 14:01:16 +0200 | dsrt^ | (~dsrt@50.226.13.122) (Read error: Connection reset by peer) |
| 2022-04-15 14:02:03 +0200 | dsrt^ | (~dsrt@50.226.13.122) |
| 2022-04-15 14:07:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 14:08:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 14:10:57 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-15 14:14:32 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8ff1:2b75:9431:bb01) |
| 2022-04-15 14:16:51 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2022-04-15 14:18:23 +0200 | <geekosaur> | DemiMarieObenour, xmonad does no unsafe operations but a lot of FFI, and we've had bugs in the X11 FFI interfaces before. it just seems odd to me that (a) this only happens with 9.2.2, and (b) I couldn't reproduce it when I upgraded my setup to 9.2.2 |
| 2022-04-15 14:18:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 14:18:53 +0200 | <geekosaur> | and (c) abastro[m] is seeing it with a very minimal config, which should make it easy to reproduce |
| 2022-04-15 14:19:52 +0200 | <geekosaur> | I'd be tempted to rebuild everything from scratch |
| 2022-04-15 14:20:34 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2022-04-15 14:20:41 +0200 | razetime | (~quassel@117.254.34.72) (Ping timeout: 248 seconds) |
| 2022-04-15 14:21:34 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-15 14:22:16 +0200 | axeman | (~quassel@2a02:8109:a380:78:fc00:74bd:407d:bc5d) (Ping timeout: 248 seconds) |
| 2022-04-15 14:22:17 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-15 14:24:01 +0200 | chenqisu12 | (~chenqisu1@183.217.200.38) (Ping timeout: 246 seconds) |
| 2022-04-15 14:24:47 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-d9a7-d237-b363-1f2.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2022-04-15 14:25:13 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-15 14:27:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-15 14:33:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 14:33:27 +0200 | razetime | (~quassel@117.254.34.157) |
| 2022-04-15 14:37:56 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-15 14:38:15 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 2022-04-15 14:39:52 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-15 14:43:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-04-15 14:43:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 14:43:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-15 14:44:51 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) |
| 2022-04-15 14:45:43 +0200 | chenqisu12 | (~chenqisu1@183.217.200.38) |
| 2022-04-15 14:45:46 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-15 14:46:26 +0200 | chenqisu12 | (~chenqisu1@183.217.200.38) (Max SendQ exceeded) |
| 2022-04-15 14:47:51 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-15 14:47:58 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 2022-04-15 14:49:30 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-15 14:54:28 +0200 | sprout | (~quassel@77-169-234-124.fixed.kpn.net) |
| 2022-04-15 14:55:46 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-15 14:55:57 +0200 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-15 14:56:04 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-15 14:58:28 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-15 15:02:45 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) (Ping timeout: 256 seconds) |
| 2022-04-15 15:05:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-15 15:07:12 +0200 | <abastro[m]> | Was it indeed a minimal config? |
| 2022-04-15 15:08:12 +0200 | chomwitt | (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) |
| 2022-04-15 15:09:12 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-15 15:09:23 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-15 15:09:34 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-15 15:09:46 +0200 | <abastro> | I wish it was :P |
| 2022-04-15 15:15:35 +0200 | <geekosaur> | that was quite minimal, yes |
| 2022-04-15 15:16:05 +0200 | <geekosaur> | a few more things could be removed to make a truly minimal config (`main = xmonad def`); it might be worth seeing if you can reproduce with that |
| 2022-04-15 15:16:25 +0200 | <geekosaur> | (I'd use a xephyr to test rather than dumbifying my whole session though) |
| 2022-04-15 15:20:13 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-15 15:22:56 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-15 15:27:53 +0200 | sandercat | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-15 15:29:13 +0200 | sander | (~sander@user/sander) |
| 2022-04-15 15:31:46 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-15 15:35:45 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-04-15 15:36:07 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 2022-04-15 15:36:07 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-15 15:36:07 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-15 15:38:27 +0200 | sprout | (~quassel@77-169-234-124.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-04-15 15:40:29 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-15 15:41:26 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 2022-04-15 15:43:16 +0200 | <abastro[m]> | Hmm, let's see if `xmonad def` actually works |
| 2022-04-15 15:46:36 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-15 15:48:22 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 246 seconds) |
| 2022-04-15 15:51:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-15 15:54:32 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-15 15:57:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 15:57:48 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in) |
| 2022-04-15 16:00:48 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2022-04-15 16:02:42 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 2022-04-15 16:09:26 +0200 | nattiestnate | (~nate@202.138.250.29) (Quit: WeeChat 3.5) |
| 2022-04-15 16:11:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-15 16:14:39 +0200 | sayola1 | (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-04-15 16:16:23 +0200 | vpan | (~0@212.117.1.172) |
| 2022-04-15 16:18:17 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-15 16:18:43 +0200 | juri_ | hits her code with a hammer. |
| 2022-04-15 16:19:03 +0200 | <juri_> | don't you hate that feeling when you do things you know are dangerous, and then the test suite passes? |
| 2022-04-15 16:21:36 +0200 | <abastro[m]> | geekosaur: seems like the ghc internal error was more a coincidence.. Meh |
| 2022-04-15 16:22:12 +0200 | <abastro[m]> | Got `Gdk-Message: 23:19:11.674: firefox: Fatal IO error 0 (Success) on X server :1.` |
| 2022-04-15 16:22:12 +0200 | <abastro[m]> | then, |
| 2022-04-15 16:22:12 +0200 | <abastro[m]> | `Exiting due to channel error. Exiting due to channel error.` |
| 2022-04-15 16:22:12 +0200 | <geekosaur> | if it'snot happening now then I'd triage adding pieces back in until it breaks again |
| 2022-04-15 16:22:23 +0200 | <geekosaur> | oh |
| 2022-04-15 16:22:32 +0200 | <abastro[m]> | I mean it turns off for different reason |
| 2022-04-15 16:22:48 +0200 | <geekosaur> | mm, that might be more because firefox doesn't like sharing its config files |
| 2022-04-15 16:22:51 +0200 | <abastro[m]> | What is this "Fatal IO error 0 (Success) on X server :1" |
| 2022-04-15 16:23:09 +0200 | <abastro[m]> | Oh, that one is not significant then? |
| 2022-04-15 16:23:15 +0200 | <geekosaur> | when I use xephyr I set up a mirror $HOME somewhere else so things like firefox don't break |
| 2022-04-15 16:23:43 +0200 | <geekosaur> | right, I think it's just unhappy about its config files already being in use |
| 2022-04-15 16:24:14 +0200 | <abastro[m]> | But then, how could it turn my xmonad off |
| 2022-04-15 16:25:13 +0200 | <abastro[m]> | Right after that message, I was thrown back to the login shell |
| 2022-04-15 16:26:23 +0200 | <abastro[m]> | Perhaps this time I'd avoid turning on firefox and see |
| 2022-04-15 16:26:30 +0200 | <geekosaur> | mm, then that wouldn't be the issue |
| 2022-04-15 16:26:43 +0200 | <geekosaur> | also a firefox error wouldn't kill xmonad regardless |
| 2022-04-15 16:26:51 +0200 | <geekosaur> | (also this all belongs in #xmonad :) |
| 2022-04-15 16:27:16 +0200 | <geekosaur> | is that really the last error shown? how did you run xephyr? |
| 2022-04-15 16:29:29 +0200 | <abastro[m]> | Oh, I guess I should do the xephyr one |
| 2022-04-15 16:29:51 +0200 | <abastro[m]> | I was still running simply by xsession desktop file |
| 2022-04-15 16:30:03 +0200 | <abastro[m]> | Let me go to xmonad channel |
| 2022-04-15 16:33:51 +0200 | <supersven> | juri_: Without having any context... Have you already sent QuickCheck into the game? (Might solve this "My testsuite is passing" issue ;) ) |
| 2022-04-15 16:34:22 +0200 | systemovich | (~User@197-99-134-128.ip.broadband.is) |
| 2022-04-15 16:35:05 +0200 | <juri_> | supersven: yep. everything is property tests. |
| 2022-04-15 16:35:21 +0200 | <juri_> | supersven: just to make things more fearful: this is all floating point math. |
| 2022-04-15 16:35:59 +0200 | dsrt^ | (~dsrt@50.226.13.122) (Remote host closed the connection) |
| 2022-04-15 16:37:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-15 16:38:57 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-15 16:39:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-15 16:39:50 +0200 | <juri_> | supersven: also, good job not working on a day off. :) |
| 2022-04-15 16:39:54 +0200 | <juri_> | <-- Julia Longtin |
| 2022-04-15 16:44:01 +0200 | <supersven> | juri_: Yes, I saw :) (Usually, I'm only bugging people in #ghc ;) ) |
| 2022-04-15 16:44:02 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-15 16:46:18 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-15 16:49:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 16:50:42 +0200 | axeman | (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) |
| 2022-04-15 16:51:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 16:52:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 16:54:33 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-15 16:56:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-15 16:58:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-15 16:59:34 +0200 | <supersven> | juri_: Do you need floating point calculations for speed? Otherwise, I think you may get around it by multiplying by base 10 to map into integral range and later divide to get back. (e.g. (0.3 * 10 * 7) / 10 == 0.3 * 7 ) |
| 2022-04-15 17:09:27 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-15 17:10:01 +0200 | <systemovich> | How would you read this out loud from left to right: findKey :: (Eq k) => k -> [(k,v)] -> v |
| 2022-04-15 17:11:20 +0200 | <geekosaur> | I generally wouldn't |
| 2022-04-15 17:14:12 +0200 | <lechner> | Hi, are pkg-cfg files ever installed under names other than $name-$version-$hash.conf ? |
| 2022-04-15 17:16:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-15 17:20:39 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2022-04-15 17:21:20 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 2022-04-15 17:21:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 17:22:29 +0200 | <c_wraith> | systemovich: I might be tempted to read that as "findKey is fragile and you should probably use find instead" |
| 2022-04-15 17:24:34 +0200 | vestige[m] | (~vestigema@2001:470:69fc:105::1:f9dd) |
| 2022-04-15 17:24:58 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-15 17:25:36 +0200 | <geekosaur> | systemovitch, re reading, sometimes natural language is just the wrong tool |
| 2022-04-15 17:25:48 +0200 | <geekosaur> | systemovich, ^ |
| 2022-04-15 17:28:57 +0200 | razetime | (~quassel@117.254.34.157) (Ping timeout: 256 seconds) |
| 2022-04-15 17:29:49 +0200 | <systemovich> | findKey is just an example from learnyouhaskell. |
| 2022-04-15 17:32:00 +0200 | <systemovich> | The main hiccup is (Eq k) => . Maybe one should skip that, then come back to it. |
| 2022-04-15 17:33:03 +0200 | <geekosaur> | well, that one is actually easy to say in English: "for some type k with an Eq instance" |
| 2022-04-15 17:33:11 +0200 | <geekosaur> | it's the rest of it that's difficult |
| 2022-04-15 17:33:25 +0200 | <geekosaur> | or s/for/given/ |
| 2022-04-15 17:33:29 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2022-04-15 17:35:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 17:35:53 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-15 17:36:17 +0200 | <juri_> | supersven: I definately need all of the speed i can get. :) |
| 2022-04-15 17:36:30 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-15 17:36:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 17:38:00 +0200 | <juri_> | supersven: I'm doing stuff that keeps a 56 core machine busy for hours. :) |
| 2022-04-15 17:38:21 +0200 | razetime | (~quassel@117.254.35.130) |
| 2022-04-15 17:38:47 +0200 | acidjnk | (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-15 17:39:15 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-15 17:40:22 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) |
| 2022-04-15 17:40:40 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-15 17:41:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-15 17:41:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 17:45:23 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 2022-04-15 17:53:40 +0200 | iteratee_ | (~kyle@162.218.222.107) (Remote host closed the connection) |
| 2022-04-15 17:53:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 18:03:42 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-15 18:04:36 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-15 18:06:27 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-15 18:07:20 +0200 | xff0x_ | (~xff0x@om126166161105.28.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 2022-04-15 18:07:23 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 2022-04-15 18:08:01 +0200 | <abastro[m]> | `findKey: w/ Equable k, give k and list (k, v), returns v` |
| 2022-04-15 18:08:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-15 18:11:44 +0200 | toulene | (~toulene@user/toulene) |
| 2022-04-15 18:12:20 +0200 | Guest2525 | (~Guest25@151.246.65.10) |
| 2022-04-15 18:12:46 +0200 | <Guest2525> | can the map function take two functions and and give it one parameter |
| 2022-04-15 18:13:03 +0200 | <Guest2525> | one and same, I mean |
| 2022-04-15 18:13:07 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 18:13:24 +0200 | <c_wraith> | Guest2525: the map function can't do that, but the function you pass to it can |
| 2022-04-15 18:13:45 +0200 | <Guest2525> | I see lol |
| 2022-04-15 18:14:01 +0200 | <c_wraith> | > map (\x -> (sum x, length x)) [[1,2,3],[4],[5,6]] |
| 2022-04-15 18:14:04 +0200 | <lambdabot> | [(6,3),(4,1),(11,2)] |
| 2022-04-15 18:14:07 +0200 | <Guest2525> | I saw a funky line in a xmonad config that used two functions for one variable and got confused |
| 2022-04-15 18:15:19 +0200 | <c_wraith> | well, there are cases where that can happen. You can use a higher-order function to manipulate functions and then call the result, making it look like you're passing more arguments than a type asks for |
| 2022-04-15 18:15:27 +0200 | <c_wraith> | But that doesn't really happen with map |
| 2022-04-15 18:16:24 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-15 18:16:30 +0200 | <abastro[m]> | Two functions for one variable? o.O |
| 2022-04-15 18:17:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-15 18:17:05 +0200 | <abastro[m]> | > ((+) <*> (* 2)) 5 |
| 2022-04-15 18:17:08 +0200 | <lambdabot> | 15 |
| 2022-04-15 18:17:29 +0200 | <abastro[m]> | ^ perhaps like this? |
| 2022-04-15 18:18:01 +0200 | <Guest2525> | "(map (withNthWorkspace W.greedyView) [0..]" |
| 2022-04-15 18:18:06 +0200 | <Guest2525> | this was the line |
| 2022-04-15 18:18:14 +0200 | <c_wraith> | oh, that's just partial application |
| 2022-04-15 18:18:15 +0200 | <Guest2525> | taken from XMonad.Actions.DynamicWorkspaces |
| 2022-04-15 18:18:29 +0200 | <c_wraith> | withNWorkspace takes two parameters |
| 2022-04-15 18:18:43 +0200 | <c_wraith> | The first one doesn't vary, so just provide it up front |
| 2022-04-15 18:18:43 +0200 | <Guest2525> | ah! |
| 2022-04-15 18:18:59 +0200 | <Guest2525> | zip (zip (repeat (modm)) [xK_1..xK_9]) (map (withNthWorkspace W.greedyView) [0..]) |
| 2022-04-15 18:19:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-15 18:19:21 +0200 | <c_wraith> | ugh, nested zip. |
| 2022-04-15 18:19:29 +0200 | <Guest2525> | yeah lol |
| 2022-04-15 18:19:36 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-15 18:19:41 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-04-15 18:20:35 +0200 | <c_wraith> | > foldr (\x k z -> k $! x + z) id [1,2,7,3] 0 -- how many arguments does foldr take, anyway? :) |
| 2022-04-15 18:20:36 +0200 | <lambdabot> | 13 |
| 2022-04-15 18:21:16 +0200 | <abastro[m]> | That zip code looks like my codegolf short code |
| 2022-04-15 18:22:29 +0200 | <Guest2525> | I wish it worked. When I wrote something similiar with withNthWorkspace it threw out an error with types being unexpected |
| 2022-04-15 18:22:35 +0200 | <Guest2525> | guess I can't just copy paste |
| 2022-04-15 18:22:45 +0200 | <jackson99> | c_wraith one :) |
| 2022-04-15 18:24:26 +0200 | <abastro[m]> | `zip (zip (repeat (modm)) [xK_1..xK_9])` I guess this one is coming in my nightmare :P |
| 2022-04-15 18:24:27 +0200 | <c_wraith> | GHC makes things more complex than that. Like, it's true in some sense, but it also cares about the number of formal parameters in the definition |
| 2022-04-15 18:26:40 +0200 | <geekosaur> | abastro[m], since you use EZConfig, yours will be uglier :) |
| 2022-04-15 18:27:15 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-04-15 18:27:36 +0200 | <geekosaur> | it'snicer for direct key definitions but worse for programmed ones |
| 2022-04-15 18:29:25 +0200 | <Guest2525> | I use EZConfig too, generally for these things I use the list comprehension trick |
| 2022-04-15 18:29:31 +0200 | <Guest2525> | ++ [ ("M-M1-C-" ++ tag, (windows $ copy tag) >> (windows $ W.greedyView tag)) | tag <- myWorkspaces ] |
| 2022-04-15 18:29:33 +0200 | <Guest2525> | like this |
| 2022-04-15 18:32:03 +0200 | <abastro[m]> | geekosaur: That is why I only use direct key definitions :) |
| 2022-04-15 18:32:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-15 18:33:13 +0200 | DNH | (~DNH@2a09:bac0:48::82b:7a43) |
| 2022-04-15 18:37:39 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds) |
| 2022-04-15 18:38:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 18:38:41 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 2022-04-15 18:38:42 +0200 | Guest2525 | (~Guest25@151.246.65.10) (Quit: Client closed) |
| 2022-04-15 18:39:46 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2022-04-15 18:41:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 18:45:45 +0200 | razetime | (~quassel@117.254.35.130) (Ping timeout: 248 seconds) |
| 2022-04-15 18:46:07 +0200 | axeman | (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2022-04-15 18:56:41 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 2022-04-15 19:00:32 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-15 19:01:34 +0200 | Guest2589 | (~Guest25@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-15 19:02:33 +0200 | <jackson99> | is there built-in succWrap? |
| 2022-04-15 19:02:50 +0200 | Guest2589 | (~Guest25@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Client Quit) |
| 2022-04-15 19:02:55 +0200 | <monochrom> | No. |
| 2022-04-15 19:03:42 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-15 19:04:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 19:07:14 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-15 19:12:08 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-15 19:12:41 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-15 19:13:15 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 19:14:06 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 19:16:00 +0200 | RevoGen | (~RevoGen@136.167.108.23) |
| 2022-04-15 19:17:19 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-15 19:18:30 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5c4) |
| 2022-04-15 19:19:30 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 19:20:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-15 19:20:56 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-15 19:23:19 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-15 19:24:09 +0200 | <lifter> | Hello! I would like to be able to use the "getChar" function without it waiting for the user to press Enter. I can achieve this with "hSetBuffering stdin NoBuffering", which is OK. However I was experimenting with "hFlush" and couldn't seem to get it to work. I thought "getChar >>= \c -> hFlush stdin >> return c" would do the trick, but it still |
| 2022-04-15 19:24:10 +0200 | <lifter> | waits for me to hit Enter, and then the program immediately crashes with "<stdin>: hFlush: illegal operation (handle is not open for writing)". Does anyone know why? |
| 2022-04-15 19:24:24 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-04-15 19:24:49 +0200 | <geekosaur> | because hFlush flushesoutput, it doesnot causeimmediate reads |
| 2022-04-15 19:25:57 +0200 | <geekosaur> | "flush input" is meaningless, and in any case wouldn't be able to happen until the read returned, which with LineBuffering (the default on a terminal) requires the Enterkey |
| 2022-04-15 19:26:27 +0200 | <monochrom> | In addition to the chronology problem that if getChar hasn't returned yet, the hFlush call doesn't happen. |
| 2022-04-15 19:26:46 +0200 | <lifter> | OK, thanks, that makes sense. So maybe there isn't a way to achieve what I want apart from "hSetBuffering stdin NoBuffering"? |
| 2022-04-15 19:27:33 +0200 | <geekosaur> | correct |
| 2022-04-15 19:27:55 +0200 | <geekosaur> | (there's also that that hSetBuffering call is also changing the terminal mode, which is less than obvious) |
| 2022-04-15 19:28:23 +0200 | <geekosaur> | "stty -icanon vmin 1 vtime 0" |
| 2022-04-15 19:29:24 +0200 | <monochrom> | Ah, yeah, that too, for example in line buffering you will never receive the backspace and delete keys. |
| 2022-04-15 19:32:53 +0200 | <lifter> | Actually I'm wondering about that as well. These days what's a popular way to do something like "Data.Text.IO.getLine" but with support of backspace, arrow keys, etc.? |
| 2022-04-15 19:34:04 +0200 | <geekosaur> | haskeline comes with ghc |
| 2022-04-15 19:34:22 +0200 | <lifter> | Oh really? I didn't know that. |
| 2022-04-15 19:34:24 +0200 | <geekosaur> | there are bindings for readline but they're problematic to build on windows and macos |
| 2022-04-15 19:34:49 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-15 19:36:17 +0200 | <jackson99> | haskeline works well on windows? |
| 2022-04-15 19:38:16 +0200 | <geekosaur> | works everywhere ghc does |
| 2022-04-15 19:39:10 +0200 | <geekosaur> | whereas getting readline on windows is a pain, and apple ships a "readline" that is actually BSD editline with the serial numbers filed off |
| 2022-04-15 19:40:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-15 19:41:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 19:42:17 +0200 | sprout | (~quassel@2a02-a45f-f170-1-24e3-e98d-5764-57dc.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-15 19:43:41 +0200 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-04-15 19:43:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-15 19:44:00 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-15 19:46:16 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-15 19:46:36 +0200 | econo | (uid147250@user/econo) |
| 2022-04-15 19:46:55 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8ff1:2b75:9431:bb01) (Remote host closed the connection) |
| 2022-04-15 19:47:30 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-04-15 19:49:27 +0200 | axeman | (~quassel@2a02:8109:a380:78:66f:ccdf:5946:a8b1) |
| 2022-04-15 19:50:27 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Ping timeout: 240 seconds) |
| 2022-04-15 19:52:21 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 19:53:14 +0200 | <sm> | Haskell win #317! Another satisfied customer! NEXT |
| 2022-04-15 19:53:39 +0200 | <sm> | g'day all |
| 2022-04-15 19:53:47 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Client closed) |
| 2022-04-15 19:53:56 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-15 19:54:14 +0200 | <geekosaur> | o/ |
| 2022-04-15 19:55:26 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-15 19:55:35 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-15 19:59:39 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-49f1-c077-67be-f595.res6.spectrum.com) |
| 2022-04-15 20:01:07 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-15 20:04:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 20:05:44 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-15 20:05:46 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-15 20:06:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-15 20:06:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 20:08:33 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-15 20:12:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2022-04-15 20:14:03 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-1000.res6.spectrum.com) |
| 2022-04-15 20:19:57 +0200 | <DigitalKiwi> | never did figure out why that stack thing worked on windows and ubuntu but not nixos |
| 2022-04-15 20:20:20 +0200 | <DigitalKiwi> | i did get a new ssd for my laptop that stack filled up but i haven't installed it yet... |
| 2022-04-15 20:20:38 +0200 | <DigitalKiwi> | it's 1tb :D |
| 2022-04-15 20:20:56 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 20:22:44 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 20:22:55 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-15 20:23:10 +0200 | axeman | (~quassel@2a02:8109:a380:78:66f:ccdf:5946:a8b1) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-15 20:24:25 +0200 | axeman | (~quassel@2a02:8109:a380:78:4c41:7a81:b394:6cf) |
| 2022-04-15 20:27:27 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-15 20:28:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-15 20:29:47 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-15 20:33:04 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Ping timeout (120 seconds)) |
| 2022-04-15 20:48:30 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 20:48:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 20:49:20 +0200 | <zebrag> | It's everywhere emphasized that control (evaluation order), is hardwired in monads, even though it isn't so, as reminded here: https://wiki.haskell.org/Evaluation_order_and_state_tokens |
| 2022-04-15 20:53:16 +0200 | <dolio> | That page doesn't really have anything to do with monads. |
| 2022-04-15 20:55:24 +0200 | <dolio> | It is true that people erroneously overstate the connection between monads and evaluation order, though. |
| 2022-04-15 20:57:01 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-15 20:58:00 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-04-15 21:02:22 +0200 | <monochrom> | The state token is a coding trick to trick a code generator designed for lazy evaluation into generating not-so-lazy code. The trick is creating a fictional data dependency. |
| 2022-04-15 21:02:31 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) |
| 2022-04-15 21:03:05 +0200 | <monochrom> | The alternative would be to write a 2nd code generator. |
| 2022-04-15 21:04:40 +0200 | <monochrom> | s/lazy evaluation/really any order that honours data dependency but otherwise takes liberty to deviate from call-by-value/ |
| 2022-04-15 21:05:53 +0200 | systemovich | (~User@197-99-134-128.ip.broadband.is) (Quit: Konversation terminated!) |
| 2022-04-15 21:06:36 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 21:06:49 +0200 | <monochrom> | The idea of a state token should remind you of linear types much more than monads. >:) |
| 2022-04-15 21:07:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-15 21:08:10 +0200 | <monochrom> | Indeed, IIRC Mercury or Clean (I forgot which) makes you write linear state-token-passsing by hand when you write I/O code. |
| 2022-04-15 21:09:12 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) (Ping timeout: 248 seconds) |
| 2022-04-15 21:10:38 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-15 21:12:55 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-d47-e8be-40dc-4588.fixed6.kpn.net) |
| 2022-04-15 21:14:00 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-15 21:14:49 +0200 | <monochrom> | Now, regarding cases like "State f >>= k = State (\s -> let (a, s1) = f s in ...)" vs "... let !(a, s1) = f s ...", which does change evaluation orders, and so the author of a monad instance has a say on this... |
| 2022-04-15 21:15:47 +0200 | <monochrom> | Suppose you copy-paste that code to SML and change to SML syntax. That changes evaluation order, too. |
| 2022-04-15 21:16:29 +0200 | <monochrom> | So is it the monad instance that chooses an order, or is it the language? |
| 2022-04-15 21:17:47 +0200 | <monochrom> | This is where things can get very nuanced. But also when a simple-minded model is not that bad if you know the context. |
| 2022-04-15 21:17:59 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-04-15 21:18:39 +0200 | <monochrom> | A Haskell blog is not unreasonable to say "chosen by the monad instance implementation" because the context of the blog does not consider switching to SML. |
| 2022-04-15 21:18:46 +0200 | forell | (~forell@user/forell) |
| 2022-04-15 21:20:36 +0200 | axeman | (~quassel@2a02:8109:a380:78:4c41:7a81:b394:6cf) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-15 21:20:45 +0200 | <dolio> | Both Mercury and Clean work that way. Mercury has some syntax sugar for it, though. |
| 2022-04-15 21:21:12 +0200 | <dolio> | Which is essentially some kind of do notation, I imagine. |
| 2022-04-15 21:21:52 +0200 | axeman | (~quassel@2a02:8109:a380:78:d0a5:4c2c:c4d7:a376) |
| 2022-04-15 21:22:21 +0200 | <dolio> | You write a sequence of things, and it inserts all the state variables for you. |
| 2022-04-15 21:23:14 +0200 | RevoGen | (~RevoGen@136.167.108.23) (Remote host closed the connection) |
| 2022-04-15 21:23:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 21:24:41 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-15 21:25:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 21:25:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-15 21:32:14 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-15 21:33:01 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 21:33:22 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: Lost terminal) |
| 2022-04-15 21:35:24 +0200 | <davean> | What is the state of Mercury and Clean these days? |
| 2022-04-15 21:36:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 21:37:26 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-15 21:38:01 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 21:38:35 +0200 | <geekosaur> | mercury had a recentish release iirc |
| 2022-04-15 21:39:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 21:41:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 21:42:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-15 21:45:35 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-15 21:46:16 +0200 | acidjnk | (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) |
| 2022-04-15 21:47:00 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 21:52:24 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-15 21:53:45 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-15 21:54:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 21:54:44 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 21:59:49 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-15 22:01:28 +0200 | sander | (~sander@user/sander) (Ping timeout: 246 seconds) |
| 2022-04-15 22:02:05 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 22:02:20 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 22:06:12 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-49f1-c077-67be-f595.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-04-15 22:06:48 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-15 22:07:54 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 22:08:33 +0200 | kenran | (~kenran@200116b82bcf09004df53c9c43e75bed.dip.versatel-1u1.de) |
| 2022-04-15 22:11:25 +0200 | sander | (~sander@user/sander) |
| 2022-04-15 22:12:08 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-15 22:14:38 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-15 22:15:22 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-15 22:17:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 22:18:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 22:18:32 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-15 22:21:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 22:21:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-15 22:23:06 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-15 22:25:53 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 22:26:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-04-15 22:26:21 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-15 22:27:36 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-15 22:29:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-15 22:30:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-15 22:31:56 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-15 22:32:20 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-15 22:33:33 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-15 22:33:41 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 2022-04-15 22:33:54 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-15 22:36:38 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) |
| 2022-04-15 22:37:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 22:41:01 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.200) (Ping timeout: 246 seconds) |
| 2022-04-15 22:41:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-15 22:42:10 +0200 | MajorBiscuit | (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Quit: WeeChat 3.4) |
| 2022-04-15 22:42:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-15 22:49:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-15 22:50:37 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-15 22:51:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 22:54:30 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-15 22:54:50 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-15 22:56:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-15 22:56:44 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:3954:3f8f:fc68:2c90) (Read error: Connection reset by peer) |
| 2022-04-15 23:02:17 +0200 | axeman | (~quassel@2a02:8109:a380:78:d0a5:4c2c:c4d7:a376) (Ping timeout: 248 seconds) |
| 2022-04-15 23:02:54 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 2022-04-15 23:03:17 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
| 2022-04-15 23:04:27 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-15 23:04:39 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-15 23:07:24 +0200 | axeman | (~quassel@2a02:8109:a380:78:f9f8:e887:926:d1ed) |
| 2022-04-15 23:09:28 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-15 23:13:24 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-15 23:15:56 +0200 | kenran | (~kenran@200116b82bcf09004df53c9c43e75bed.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-15 23:16:19 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 256 seconds) |
| 2022-04-15 23:16:21 +0200 | <zebrag> | No, the page didn't have direct relation with monads, but at some point, I think they said that if you want "evaluation order" you must do this or that, otherwise nothing is guaranteeing it, even with monads |
| 2022-04-15 23:17:04 +0200 | <zebrag> | so that was at least one reference hinting at evaluation order and monads are unrelated |
| 2022-04-15 23:17:30 +0200 | <zebrag> | contrary to what is suggested almost everywhere |
| 2022-04-15 23:17:59 +0200 | <monochrom> | Oh, the internet is wrong almost everywhere anyway :) |
| 2022-04-15 23:18:30 +0200 | <monochrom> | The set of correct information on the internet has measure zero :) |
| 2022-04-15 23:18:55 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-15 23:19:05 +0200 | <DigitalKiwi> | aren't we on the internet right now |
| 2022-04-15 23:19:47 +0200 | <lechner> | monochrom is not a rounding error! |
| 2022-04-15 23:20:58 +0200 | <abastro[m]> | Measure 0 XD |
| 2022-04-15 23:21:25 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-04-15 23:21:52 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-15 23:22:56 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-15 23:23:04 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 23:29:32 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) |
| 2022-04-15 23:29:58 +0200 | fendor | (~fendor@91.141.65.122.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-15 23:30:22 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-15 23:31:15 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-15 23:31:31 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) (Remote host closed the connection) |
| 2022-04-15 23:32:32 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) |
| 2022-04-15 23:33:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-15 23:35:55 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-15 23:40:49 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-15 23:40:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-15 23:40:52 +0200 | allbery_b | geekosaur |
| 2022-04-15 23:43:32 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-15 23:46:48 +0200 | Macbethwin_ | (~chargen@8.31.163.33) |
| 2022-04-15 23:47:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-15 23:47:47 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-15 23:48:15 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-15 23:49:17 +0200 | <zebrag> | "Monads embed effects in a purely functional setting and explicitly specify the evaluation order" (https://arxiv.org/pdf/1202.2921.pdf) A bit misleading. Though maybe not stating monads equal evaluation order. |
| 2022-04-15 23:49:37 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds) |
| 2022-04-15 23:50:55 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-15 23:54:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-15 23:57:13 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-15 23:57:18 +0200 | Macbethwin_ | chargen |
| 2022-04-15 23:58:22 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-15 23:59:43 +0200 | redb | (~nmh@136.49.49.211) |