| 2022-06-13 00:02:59 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 00:05:04 +0000 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:b6fd:ec18:acf6:f1a8) (Remote host closed the connection) |
| 2022-06-13 00:05:07 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-13 00:07:57 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-13 00:15:34 +0000 | gio123 | (~gio123@94.137.173.75) |
| 2022-06-13 00:16:21 +0000 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 00:18:07 +0000 | bilegeek | (~bilegeek@2600:1008:b017:5346:e30c:72e1:dd08:cc7b) (Ping timeout: 240 seconds) |
| 2022-06-13 00:19:25 +0000 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) |
| 2022-06-13 00:28:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 00:28:44 +0000 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) (Quit: Leaving) |
| 2022-06-13 00:34:07 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-13 00:34:13 +0000 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-06-13 00:37:42 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 00:39:10 +0000 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) |
| 2022-06-13 00:40:39 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 00:44:40 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-06-13 00:47:40 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 00:49:37 +0000 | lainon | (~lainon@2601:7c0:c500:4d20:7597:f140:96b5:bca8) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-13 00:50:11 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 00:50:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-06-13 00:52:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-13 00:54:38 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 255 seconds) |
| 2022-06-13 01:00:02 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 01:05:07 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-13 01:08:46 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 01:10:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 01:10:36 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 01:14:35 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 244 seconds) |
| 2022-06-13 01:15:10 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 01:15:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 01:16:43 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 01:18:04 +0000 | <dragestil> | does anyone know how I can `cabal build` base? I was able to `cabal configure` with cabal-2.4.1.0/ghc-8.6.5/base-4.12.0.0, but not with cabal-3.6.2.0/ghc-9.2.2/base-4.16.1.0 (getting the "only already installed instances can be used" error) |
| 2022-06-13 01:22:00 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-06-13 01:24:22 +0000 | jludwig | (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 2022-06-13 01:25:36 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 01:27:37 +0000 | martin02 | (~silas@141.84.69.76) |
| 2022-06-13 01:28:48 +0000 | <geekosaur> | dragestil, you can't. base is wired into the compiler and must match versions with it and be built along with it. you need to downgrade ghc to a version that has the version of base you want |
| 2022-06-13 01:30:12 +0000 | <geekosaur> | base 4.12.0.0 is ghc 8.6.5 |
| 2022-06-13 01:31:01 +0000 | <dragestil> | geekosaur: well I was able to build 4.12.0.0 with ghc 8.6.5. my ghc 9.2.2 comes with base 4.16.1.0, so it should build 4.16.1.0, no? |
| 2022-06-13 01:31:39 +0000 | <geekosaur> | you may be able to build it. the compiler has baked-in references to the base it expects, and will fail to link with any other version |
| 2022-06-13 01:32:00 +0000 | <geekosaur> | seriously, there is a reason cabal refuses to let you do this |
| 2022-06-13 01:32:58 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 01:32:59 +0000 | <dragestil> | geekosaur: that's fine. I just want to *build* it, not *install* it |
| 2022-06-13 01:33:27 +0000 | <dragestil> | but cabal is refusing to even `configure` it |
| 2022-06-13 01:33:30 +0000 | <geekosaur> | then you get no promises |
| 2022-06-13 01:35:09 +0000 | <pavonia> | dragestil: What do you want to do with the built base package? |
| 2022-06-13 01:36:37 +0000 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-06-13 01:51:16 +0000 | <Bulby[m]> | How the heck does lens `view` work with non monadic values |
| 2022-06-13 01:51:40 +0000 | <dragestil> | pavonia: I'll run queries on it using cabal-helper |
| 2022-06-13 01:52:32 +0000 | <jackdk> | Bulby[m]: Instance `MonadReader r ((->) r)` |
| 2022-06-13 01:52:44 +0000 | <Bulby[m]> | \o/ witchcraft |
| 2022-06-13 01:53:24 +0000 | <Bulby[m]> | I wish polysemy interoped with mtl better, esp. MonadState, MonadReader, and MonadWriter |
| 2022-06-13 01:53:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 01:53:32 +0000 | <dragestil> | geekosaur: so it sounds like an arbitrary restriction placed by cabal |
| 2022-06-13 01:53:52 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 01:55:58 +0000 | <geekosaur> | make sure you complain to the cabal maintainers, then, instead of blaming me |
| 2022-06-13 01:56:28 +0000 | <dragestil> | geekosaur: I wasn't blaming you |
| 2022-06-13 01:57:56 +0000 | <sclv> | i doubt cabal could build it tbh. the wired in-ness would clash with the existing base |
| 2022-06-13 01:58:10 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-13 01:58:22 +0000 | <dragestil> | I'm guessing anything from the ghc repo, including base / template-haskell / etc. cannot be built directly using cabal |
| 2022-06-13 01:59:04 +0000 | <dragestil> | even if I get the packages from `cabal unpack` rather than `git clone` |
| 2022-06-13 01:59:40 +0000 | <geekosaur> | base, ghc-prim, template-haskell, ghc are pinned and can't be built by cabal. other things included with ghc and copied into its repo, like bytestring and process, can |
| 2022-06-13 02:00:12 +0000 | <sclv> | reinstallable base is a long term design goal of ghc but things are not close |
| 2022-06-13 02:00:16 +0000 | <dragestil> | sclv: I was able to build ghc-8.6.5, base-4.12.0.0 and ghc-prim-0.5.3 with ghc-8.6.5/cabal-2.4.1.0. it sounds like a regression in feature to me |
| 2022-06-13 02:01:33 +0000 | <dragestil> | ok "build" is a bit of stretch for ghc-prim-0.5.3. I got some minor error eventually, but the build was usable with cabal-helper |
| 2022-06-13 02:03:01 +0000 | <dragestil> | geekosaur: what do you mean by pinned? is this pinning written somewhere in the code? |
| 2022-06-13 02:03:56 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 02:04:00 +0000 | <geekosaur> | yes, there is code that restricts those libraries to the installed versions thereof |
| 2022-06-13 02:04:24 +0000 | <dragestil> | ok |
| 2022-06-13 02:04:42 +0000 | <dragestil> | is it cabal-install code? |
| 2022-06-13 02:05:14 +0000 | <sclv> | hrm maybe the check can be weakened a bit in special circumstances. but i wonder why one needs cabal install to do this. do ./setup.hs configure and build and etc work |
| 2022-06-13 02:05:23 +0000 | <sclv> | but also what is the purpose of this |
| 2022-06-13 02:05:43 +0000 | <sclv> | like why would cabal helper want to use this |
| 2022-06-13 02:06:37 +0000 | <dragestil> | cabal helper itself does not require a built base, but I'd like to use cabal-helper to query a built base |
| 2022-06-13 02:07:25 +0000 | <sclv> | don’t the ides have another way to query base? |
| 2022-06-13 02:08:41 +0000 | <dragestil> | I'm not aware of ides querying base |
| 2022-06-13 02:11:02 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 02:11:06 +0000 | <dragestil> | sclv: how do I use run Setup.hs with configure? I tried runghc Setup.hs |
| 2022-06-13 02:11:51 +0000 | <sclv> | “rungh Setup.hs configure” |
| 2022-06-13 02:12:06 +0000 | <dragestil> | ah found some docs in the cabal user guide |
| 2022-06-13 02:12:18 +0000 | <sclv> | or just build it and then ./Setup configure slash build slash install |
| 2022-06-13 02:12:29 +0000 | <dragestil> | ok |
| 2022-06-13 02:13:03 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 02:13:28 +0000 | td_ | (~td@94.134.91.177) (Ping timeout: 246 seconds) |
| 2022-06-13 02:13:32 +0000 | nevermore | (~nevermore@220.184.51.62) |
| 2022-06-13 02:13:35 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2022-06-13 02:13:44 +0000 | <dragestil> | `runhaskell Setup.hs --help` in the base source dir gives me "attempting to use module ‘main:Prelude’ (./Prelude.hs) which is not loaded" |
| 2022-06-13 02:14:48 +0000 | renzhi | (~xp@2607:fa49:6500:b100::f64a) (Ping timeout: 248 seconds) |
| 2022-06-13 02:15:20 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2022-06-13 02:15:24 +0000 | td_ | (~td@muedsl-82-207-238-100.citykom.de) |
| 2022-06-13 02:16:29 +0000 | _xor | (~xor@72.49.198.103) |
| 2022-06-13 02:18:07 +0000 | <dragestil> | lol all I needed to build base was a flag --allow-boot-library-installs |
| 2022-06-13 02:18:16 +0000 | nevermore | (~nevermore@220.184.51.62) (Ping timeout: 265 seconds) |
| 2022-06-13 02:18:43 +0000 | <dragestil> | found it in a cabal-install test case |
| 2022-06-13 02:19:03 +0000 | <sclv> | nice! |
| 2022-06-13 02:19:50 +0000 | <sclv> | pr to the cabal docs (if its not listes clearly) very welcome |
| 2022-06-13 02:19:56 +0000 | <sclv> | er listed clearly |
| 2022-06-13 02:20:18 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-13 02:20:18 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:20:37 +0000 | <dragestil> | sclv: yeah, now I see it in the cabal user guide |
| 2022-06-13 02:21:51 +0000 | <dragestil> | thanks for the help geekosaur sclv |
| 2022-06-13 02:22:14 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-06-13 02:22:23 +0000 | <sclv> | i’m glad i learned about the flag! |
| 2022-06-13 02:29:25 +0000 | <dragestil> | looks like the base from cabal unpack is missing an /include/UnicodeVersion.h, but copying the file over from the ghc repo fixed it |
| 2022-06-13 02:31:36 +0000 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-13 02:35:17 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:35:17 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:35:30 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:35:30 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:35:43 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:35:44 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:35:56 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:35:57 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:36:09 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:36:09 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:36:22 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:36:22 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-06-13 02:36:35 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-13 02:39:56 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 255 seconds) |
| 2022-06-13 02:41:07 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-13 02:41:11 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 02:41:50 +0000 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 02:42:53 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 02:43:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-13 02:43:36 +0000 | kitty1 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-06-13 02:44:05 +0000 | kitty1 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-06-13 02:44:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-13 02:44:42 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-06-13 02:45:38 +0000 | gio123 | (~gio123@94.137.173.75) (Quit: Client closed) |
| 2022-06-13 02:47:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 02:47:41 +0000 | rodental | (~rodental@38.146.5.222) |
| 2022-06-13 02:52:08 +0000 | dcoutts__ | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 02:54:30 +0000 | dcoutts_ | (~duncan@host86-176-29-4.range86-176.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-06-13 02:56:01 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 02:56:50 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-06-13 03:00:00 +0000 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2022-06-13 03:01:11 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2022-06-13 03:08:56 +0000 | bilegeek | (~bilegeek@100.sub-174-208-230.myvzw.com) (Quit: Leaving) |
| 2022-06-13 03:17:44 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 03:34:31 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2022-06-13 03:38:30 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 03:40:14 +0000 | bah_ | bah |
| 2022-06-13 03:43:06 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-13 03:44:24 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 03:57:36 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 04:03:44 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 04:07:58 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 04:12:16 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 04:14:49 +0000 | Friend5912 | (~Friend591@90.sub-174-235-49.myvzw.com) |
| 2022-06-13 04:16:36 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 04:17:02 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 260 seconds) |
| 2022-06-13 04:17:31 +0000 | Vajb | (~Vajb@85-76-98-56-nat.elisa-mobile.fi) |
| 2022-06-13 04:26:42 +0000 | Friend5912 | (~Friend591@90.sub-174-235-49.myvzw.com) (Leaving) |
| 2022-06-13 04:26:54 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-13 04:28:10 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-13 04:31:23 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 04:32:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 04:35:09 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 04:38:17 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 04:40:00 +0000 | Arsen | (arsen@managarm/dev/Arsen) (Ping timeout: 260 seconds) |
| 2022-06-13 04:41:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 04:47:44 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 04:48:01 +0000 | mbuf | (~Shakthi@122.174.50.190) |
| 2022-06-13 04:48:56 +0000 | Arsen | (arsen@managarm/dev/Arsen) |
| 2022-06-13 04:54:27 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-06-13 04:55:17 +0000 | Guest7091 | (~nils@70-210-103-86.dynamic.dsl.tng.de) |
| 2022-06-13 04:55:19 +0000 | ubert1 | (~Thunderbi@p200300ecdf14f9b367fdd9edecf9b9f3.dip0.t-ipconnect.de) |
| 2022-06-13 04:55:43 +0000 | ubert | (~Thunderbi@p200300ecdf14f9d9a572ea18cc43ef74.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-13 04:55:43 +0000 | ubert1 | ubert |
| 2022-06-13 04:56:30 +0000 | Vajb | (~Vajb@85-76-98-56-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2022-06-13 04:58:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-13 04:58:34 +0000 | Vajb | (~Vajb@2001:999:231:45d1:d186:9843:f4a2:cf12) |
| 2022-06-13 04:58:57 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 05:04:23 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 05:04:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 05:05:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 05:10:45 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 05:11:07 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-13 05:12:49 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 05:12:57 +0000 | mbuf | (~Shakthi@122.174.50.190) (Quit: Leaving) |
| 2022-06-13 05:17:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 05:23:45 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 05:32:44 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 255 seconds) |
| 2022-06-13 05:37:22 +0000 | michalz | (~michalz@185.246.204.107) |
| 2022-06-13 05:39:04 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 248 seconds) |
| 2022-06-13 05:41:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 05:44:24 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 248 seconds) |
| 2022-06-13 05:47:52 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 05:47:56 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 05:48:00 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 05:54:40 +0000 | chele | (~chele@user/chele) |
| 2022-06-13 05:56:35 +0000 | Guest7091 | (~nils@70-210-103-86.dynamic.dsl.tng.de) (Ping timeout: 255 seconds) |
| 2022-06-13 05:56:55 +0000 | nevermore | (~nevermore@42.120.74.250) (Remote host closed the connection) |
| 2022-06-13 05:57:30 +0000 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 05:58:23 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 05:59:17 +0000 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) |
| 2022-06-13 05:59:34 +0000 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-06-13 06:01:02 +0000 | nevermor_ | (~nevermore@42.120.74.248) |
| 2022-06-13 06:02:02 +0000 | nevermore | (~nevermore@42.120.74.250) (Ping timeout: 265 seconds) |
| 2022-06-13 06:11:03 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-13 06:16:02 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 06:23:21 +0000 | vglfr | (~vglfr@88.155.106.79) |
| 2022-06-13 06:24:43 +0000 | tose | (~tose@85-160-4-123.reb.o2.cz) |
| 2022-06-13 06:29:27 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-06-13 06:32:56 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-13 06:33:09 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-13 06:33:19 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-06-13 06:45:05 +0000 | arahael | (~arahael@124-171-129-71.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2022-06-13 06:46:16 +0000 | tose | (~tose@85-160-4-123.reb.o2.cz) (Ping timeout: 248 seconds) |
| 2022-06-13 06:46:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 06:47:39 +0000 | arahael | (~arahael@124.171.44.79) |
| 2022-06-13 06:48:11 +0000 | nevermor_ | (~nevermore@42.120.74.248) (Remote host closed the connection) |
| 2022-06-13 06:48:16 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 06:49:56 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 06:51:04 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 06:51:06 +0000 | nevermore | (~nevermore@42.120.74.250) |
| 2022-06-13 06:51:50 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 06:52:27 +0000 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 06:52:39 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-13 06:53:18 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5659:a370:41b0:7db0) |
| 2022-06-13 06:54:38 +0000 | califax | (~califax@user/califx) |
| 2022-06-13 06:55:51 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-13 06:56:19 +0000 | tose | (~tose@85-160-4-123.reb.o2.cz) |
| 2022-06-13 06:59:25 +0000 | tose | (~tose@85-160-4-123.reb.o2.cz) (Client Quit) |
| 2022-06-13 06:59:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 06:59:58 +0000 | califax | (~califax@user/califx) |
| 2022-06-13 07:04:15 +0000 | alp | (~alp@user/alp) |
| 2022-06-13 07:05:26 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-13 07:06:16 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 07:08:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 07:08:06 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 07:13:18 +0000 | taeaad | (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-06-13 07:14:40 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 07:18:05 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-13 07:20:43 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 07:20:46 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-13 07:20:51 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 07:24:34 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 07:25:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 07:26:00 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 07:27:17 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-13 07:28:43 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-06-13 07:36:25 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 07:36:37 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 07:37:23 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 07:39:02 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 07:41:50 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-13 07:42:15 +0000 | alp | (~alp@user/alp) |
| 2022-06-13 07:43:41 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 07:43:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 07:44:13 +0000 | taeaad | (~taeaad@user/taeaad) |
| 2022-06-13 07:48:40 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 07:50:23 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 07:50:48 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2022-06-13 07:51:12 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 07:53:27 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-06-13 07:53:53 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-06-13 07:57:25 +0000 | some02 | sudden |
| 2022-06-13 08:03:24 +0000 | ridcully | (~ridcully@p57b52a1f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-13 08:06:32 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 08:06:52 +0000 | kuribas | (~user@ptr-17d51eoisf6gctp18rk.18120a2.ip6.access.telenet.be) |
| 2022-06-13 08:09:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 08:11:39 +0000 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 08:12:18 +0000 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-13 08:23:42 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-13 08:24:08 +0000 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) (Quit: leaving) |
| 2022-06-13 08:24:48 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 08:26:08 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-13 08:31:11 +0000 | z0k | (~z0k@206.84.143.2) |
| 2022-06-13 08:31:42 +0000 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) |
| 2022-06-13 08:32:46 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 08:36:40 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-06-13 08:41:18 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-13 08:41:20 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-13 08:44:35 +0000 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-06-13 08:49:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 08:49:56 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-13 08:52:46 +0000 | chreekat2 | (~b@152.96.94.198) |
| 2022-06-13 08:54:45 +0000 | ridcully | (~ridcully@pd951ff85.dip0.t-ipconnect.de) |
| 2022-06-13 08:55:42 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 08:55:52 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Ping timeout: 248 seconds) |
| 2022-06-13 08:56:34 +0000 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-06-13 08:59:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 08:59:25 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-13 09:02:05 +0000 | nevermore | (~nevermore@42.120.74.250) () |
| 2022-06-13 09:04:12 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2022-06-13 09:04:16 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-13 09:04:56 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-06-13 09:05:31 +0000 | cheater | (~Username@user/cheater) |
| 2022-06-13 09:07:27 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-06-13 09:08:41 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 09:11:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 09:12:01 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 09:15:43 +0000 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 09:17:48 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-06-13 09:18:35 +0000 | z0k | (~z0k@206.84.143.2) (Quit: WeeChat 3.5) |
| 2022-06-13 09:20:32 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-06-13 09:20:33 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-13 09:21:11 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 09:21:30 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-06-13 09:22:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 09:22:40 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 09:22:57 +0000 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-06-13 09:23:30 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-06-13 09:23:44 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 09:24:31 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 09:24:37 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-13 09:25:43 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 09:26:58 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) (Remote host closed the connection) |
| 2022-06-13 09:27:10 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) |
| 2022-06-13 09:28:04 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-13 09:29:26 +0000 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 09:30:47 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 09:31:37 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 09:36:12 +0000 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 09:36:38 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 09:37:21 +0000 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 09:38:44 +0000 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-13 09:41:28 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-13 09:42:53 +0000 | vglfr | (~vglfr@88.155.106.79) (Ping timeout: 246 seconds) |
| 2022-06-13 09:44:39 +0000 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Quit: Leaving.) |
| 2022-06-13 09:48:49 +0000 | vglfr | (~vglfr@88.155.106.79) |
| 2022-06-13 09:54:47 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-06-13 09:55:21 +0000 | Guest7091 | (~nils@cauxnat23.wlan.uni-kiel.de) |
| 2022-06-13 09:56:24 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 09:59:28 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 10:00:30 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 10:00:41 +0000 | vglfr | (~vglfr@88.155.106.79) (Read error: Connection reset by peer) |
| 2022-06-13 10:03:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 250 seconds) |
| 2022-06-13 10:05:07 +0000 | mima | (~mmh@aftr-62-216-207-41.dynamic.mnet-online.de) |
| 2022-06-13 10:05:17 +0000 | Guest7091 | (~nils@cauxnat23.wlan.uni-kiel.de) (Ping timeout: 246 seconds) |
| 2022-06-13 10:06:53 +0000 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 10:10:45 +0000 | <merijn> | :O |
| 2022-06-13 10:10:47 +0000 | <merijn> | https://coot.me/posts/cabal-haddock-project.html |
| 2022-06-13 10:10:56 +0000 | <merijn> | Doing the lord's work |
| 2022-06-13 10:11:14 +0000 | <merijn> | Finally I will have a usable way to browse docs locally again! |
| 2022-06-13 10:12:06 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-13 10:14:27 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2022-06-13 10:14:27 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2022-06-13 10:14:27 +0000 | haritz | (~hrtz@user/haritz) |
| 2022-06-13 10:14:36 +0000 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 10:16:24 +0000 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-13 10:17:29 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 10:18:38 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 10:20:01 +0000 | zincy | (~zincy@2a01:cb18:82de:bf00:b83d:86a2:7ef6:beaf) () |
| 2022-06-13 10:23:11 +0000 | <__monty__> | merijn: It's doable using a local hoogle instance if you want something ASAP, BTW. |
| 2022-06-13 10:42:20 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 10:47:09 +0000 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) |
| 2022-06-13 10:48:10 +0000 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-13 10:48:36 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 10:53:07 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 10:54:29 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-13 10:58:25 +0000 | <dragestil> | a texinfo haddock backend is what counts counts as lord's work for me |
| 2022-06-13 10:59:08 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 11:06:16 +0000 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 11:06:21 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-13 11:07:09 +0000 | noteness | (~noteness@user/noteness) |
| 2022-06-13 11:08:01 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 11:08:10 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-06-13 11:09:04 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 258 seconds) |
| 2022-06-13 11:13:43 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 11:15:24 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 11:20:54 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 11:21:33 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 11:25:02 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-13 11:25:14 +0000 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 11:30:39 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-33.wlan.tudelft.nl) |
| 2022-06-13 11:36:28 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 11:37:12 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-13 11:38:20 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 11:39:10 +0000 | titibandit | (~titibandi@sunp.ient.rwth-aachen.de) |
| 2022-06-13 11:39:12 +0000 | kuribas | (~user@ptr-17d51eoisf6gctp18rk.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2022-06-13 11:47:31 +0000 | <merijn> | __monty__: local hoogle is a massive PITA |
| 2022-06-13 11:48:12 +0000 | <merijn> | __monty__: Before v2-build you just got a nice local index page that had every local package to browse, but with the global store docs are build, but not easily findable/browsable, which this seems to fix |
| 2022-06-13 11:52:00 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-13 11:54:35 +0000 | <__monty__> | Ah, that might certainly be. I've never had to go through the pain because someone wrote withHoogle for the Nixpkgs Haskell infra. |
| 2022-06-13 11:58:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-13 11:58:18 +0000 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 11:58:19 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 11:58:53 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 12:01:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 12:06:02 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 255 seconds) |
| 2022-06-13 12:11:11 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-06-13 12:11:46 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 12:11:53 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-13 12:13:12 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 12:17:25 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-13 12:25:11 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) |
| 2022-06-13 12:25:13 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 12:27:35 +0000 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 12:28:12 +0000 | nils_ | (~nils@cauxnat23.wlan.uni-kiel.de) |
| 2022-06-13 12:29:04 +0000 | gio123 | (~gio123@146.255.226.194) |
| 2022-06-13 12:29:29 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2022-06-13 12:30:17 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 12:30:23 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-13 12:30:48 +0000 | Guest7091 | (~nils@cauxnat20.wlan.uni-kiel.de) (Ping timeout: 248 seconds) |
| 2022-06-13 12:37:51 +0000 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-13 12:40:04 +0000 | caubert | (~caubert@136.244.111.235) |
| 2022-06-13 12:44:14 +0000 | caubert | (~caubert@136.244.111.235) (Changing host) |
| 2022-06-13 12:44:14 +0000 | caubert | (~caubert@user/caubert) |
| 2022-06-13 12:47:27 +0000 | nils_ | (~nils@cauxnat23.wlan.uni-kiel.de) (Ping timeout: 260 seconds) |
| 2022-06-13 12:47:29 +0000 | comerijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 12:49:50 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-06-13 12:51:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 12:53:50 +0000 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-06-13 12:55:06 +0000 | raym | (~raym@user/raym) |
| 2022-06-13 13:00:15 +0000 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-06-13 13:02:02 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 13:02:30 +0000 | comerijn | merijn |
| 2022-06-13 13:03:18 +0000 | king_gs | (~Thunderbi@2806:103e:29:bd33:a770:7b09:49c6:13b0) (Ping timeout: 250 seconds) |
| 2022-06-13 13:04:30 +0000 | nils_ | (~nils@cauxnat21.wlan.uni-kiel.de) |
| 2022-06-13 13:04:47 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 256 seconds) |
| 2022-06-13 13:07:45 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-13 13:08:24 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Remote host closed the connection) |
| 2022-06-13 13:09:35 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-06-13 13:13:36 +0000 | nils_ | (~nils@cauxnat21.wlan.uni-kiel.de) (Remote host closed the connection) |
| 2022-06-13 13:13:48 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-13 13:14:00 +0000 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-06-13 13:14:22 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-06-13 13:15:12 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-13 13:15:17 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 13:16:23 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2022-06-13 13:17:36 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-06-13 13:21:55 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-13 13:23:20 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-06-13 13:23:33 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-13 13:24:18 +0000 | pottsy | (~pottsy@129.227.183.244) (Ping timeout: 265 seconds) |
| 2022-06-13 13:25:35 +0000 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-13 13:26:29 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-06-13 13:26:50 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-13 13:27:40 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 13:31:42 +0000 | gio123 | (~gio123@146.255.226.194) (Quit: Client closed) |
| 2022-06-13 13:32:20 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-13 13:32:33 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 256 seconds) |
| 2022-06-13 13:36:21 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-06-13 13:37:27 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 13:37:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 13:37:51 +0000 | califax | (~califax@user/califx) |
| 2022-06-13 13:40:53 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-13 13:41:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 13:41:53 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 255 seconds) |
| 2022-06-13 13:43:01 +0000 | frost | (~frost@user/frost) |
| 2022-06-13 13:43:37 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-13 13:48:48 +0000 | <dragestil> | I don't understand the issue. Is it that local hoogle does not link to local haddock? |
| 2022-06-13 13:49:51 +0000 | <merijn> | dragestil: The issue is that there is no easy way to find the local haddocks |
| 2022-06-13 13:50:03 +0000 | <dragestil> | merijn: i see |
| 2022-06-13 13:50:04 +0000 | <merijn> | dragestil: They're all installed in subdirectories of the global store |
| 2022-06-13 13:50:38 +0000 | <merijn> | dragestil: In "the old days" there was a single index.html you could open in your browser and have access to the docs of every single package on your system. Which was super convenient |
| 2022-06-13 13:50:53 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-06-13 13:50:57 +0000 | <dragestil> | that was nice |
| 2022-06-13 13:51:05 +0000 | <merijn> | dragestil: But since the global store means multiple (potentially conflicting) installs of the same package, such a single global index does not exist |
| 2022-06-13 13:51:16 +0000 | <merijn> | That PR is adding it so that you can easily make one for a specific cabal.project |
| 2022-06-13 13:51:50 +0000 | <dragestil> | merijn: ok, but that still only links to all packages in a cabal.project? |
| 2022-06-13 13:52:00 +0000 | <dragestil> | not exactly the global store |
| 2022-06-13 13:52:35 +0000 | <geekosaur> | the global store poses problems, like multiple versions of the same package which haddock doesn't handle that well |
| 2022-06-13 13:52:39 +0000 | <dragestil> | actually I don't know what is the global store. is it the output of `ghc-pkg list`? |
| 2022-06-13 13:53:01 +0000 | <geekosaur> | no, it's the level above that |
| 2022-06-13 13:53:26 +0000 | <dragestil> | is there a command line listing all the packages in the global store? |
| 2022-06-13 13:53:38 +0000 | vglfr | (~vglfr@88.155.117.190) |
| 2022-06-13 13:53:44 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 13:53:54 +0000 | <geekosaur> | they're just directories under ~/.cabal/store |
| 2022-06-13 13:53:55 +0000 | <merijn> | dragestil: "ls ~/.cabal/ghc-x.y.z/" :p |
| 2022-06-13 13:54:05 +0000 | <[Leary]> | It seems to me like it shouldn't be difficult to have the haddocks from the new-style build dist linked against the haddocks of the particular packages it built against. I mean, that's how nix does everything. |
| 2022-06-13 13:54:09 +0000 | <geekosaur> | one per stored package |
| 2022-06-13 13:54:35 +0000 | <merijn> | dragestil: So for every project it will compute an independent build plan. And what you want is "access to docs of every package of this project's build plan" |
| 2022-06-13 13:54:37 +0000 | <geekosaur> | [Leary], I believe that's what the PR does? |
| 2022-06-13 13:54:54 +0000 | <[Leary]> | Oh, good then. |
| 2022-06-13 13:55:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-06-13 13:55:26 +0000 | <[Leary]> | Or rather, I'm surprised it wasn't already doing so. |
| 2022-06-13 13:55:29 +0000 | <merijn> | [Leary]: Sure, all the pieces are there. But someone has to put them together in a convenient way, which seems has now happened |
| 2022-06-13 13:55:45 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-13 13:55:48 +0000 | <merijn> | [Leary]: Well, it's a bit of an annoying problem and was lower priority than finishing and shipping v2-build |
| 2022-06-13 13:56:03 +0000 | <geekosaur> | anyway haddock treats module names as unique keys, so as soon as you have multiple versions of a package in the store a global index would break |
| 2022-06-13 13:56:48 +0000 | <geekosaur> | it'd have to become more like hackage, letting you pick package versions from the store |
| 2022-06-13 13:57:20 +0000 | <dragestil> | so can you build a local hackage? |
| 2022-06-13 13:58:50 +0000 | <merijn> | dragestil: I mean, you can. But that's more work than you want for just browsing some static docs |
| 2022-06-13 13:59:06 +0000 | <geekosaur> | there are packages that help you do it, but it's a pretty heavyweight solution. I mean just the version selection page, not a whole hackage-alike |
| 2022-06-13 13:59:07 +0000 | <merijn> | At least, more work than *I* wanna do |
| 2022-06-13 13:59:29 +0000 | <geekosaur> | and turning a cabal store into a hackage store would itself be quite a lot of work |
| 2022-06-13 13:59:29 +0000 | <dragestil> | right, i mean something as simple as invoking a few commands like `cabal configure --enable-documentation` |
| 2022-06-13 13:59:48 +0000 | <geekosaur> | that creates docs but currently doesn't link them anywhere |
| 2022-06-13 13:59:58 +0000 | <geekosaur> | again, that's what the new PR does |
| 2022-06-13 14:00:38 +0000 | <merijn> | dragestil: Right now each package has *its own* docs as html in the package directory in the store |
| 2022-06-13 14:01:02 +0000 | <merijn> | dragestil: But the crosslinking to other packages is wonky (if not broken?) and you can't easily browse/access them |
| 2022-06-13 14:01:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 14:01:42 +0000 | julian | (~julian@20.83.116.49) (Killed (NickServ (GHOST command used by tos9__!~tos9@python/site-packages/Julian))) |
| 2022-06-13 14:01:43 +0000 | <dragestil> | merijn: really? `find ~/.cabal/store -iname "*.html"` returns nothing |
| 2022-06-13 14:02:19 +0000 | <merijn> | dragestil: Well, they are if you have doc building enabled by default, like me :p |
| 2022-06-13 14:02:45 +0000 | <dragestil> | lol i se |
| 2022-06-13 14:02:46 +0000 | <dragestil> | e |
| 2022-06-13 14:02:50 +0000 | <merijn> | Which I still have, because in the past that gave me the global browsable index |
| 2022-06-13 14:03:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 14:03:51 +0000 | <dragestil> | well I just wish I have haddock as info manuals |
| 2022-06-13 14:04:10 +0000 | <dragestil> | so anyone who writes a texinfo haddock backend will earn my eternal gratitude |
| 2022-06-13 14:04:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 14:06:12 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-13 14:06:51 +0000 | <dragestil> | geekosaur: those packages you mentioned that can turn haddocks into hackage, can you name one? |
| 2022-06-13 14:07:32 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Ping timeout: 255 seconds) |
| 2022-06-13 14:08:21 +0000 | <geekosaur[m]> | That wasn't what I said. You asked about local Hackage |
| 2022-06-13 14:08:48 +0000 | <geekosaur[m]> | I'll have to get back to my desk to look |
| 2022-06-13 14:09:03 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 14:09:23 +0000 | <dragestil> | geekosaur: ok thanks |
| 2022-06-13 14:09:33 +0000 | <geekosaur[m]> | Local Hackage is fairly common for commercial developers |
| 2022-06-13 14:10:29 +0000 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-13 14:12:29 +0000 | <dragestil> | ok. if I had more disk space / bandwidth i might just wget / rsync the official hackage weekly |
| 2022-06-13 14:13:18 +0000 | <merijn> | hackage isn't even super big, so :p |
| 2022-06-13 14:13:51 +0000 | <dragestil> | how big is it though? hundreds of gigs? |
| 2022-06-13 14:13:56 +0000 | <merijn> | lol |
| 2022-06-13 14:13:57 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-13 14:14:07 +0000 | <merijn> | If I had to estimate I'm guessing single digit gigabyte |
| 2022-06-13 14:14:21 +0000 | <dragestil> | fair enough |
| 2022-06-13 14:14:32 +0000 | <merijn> | You could ask in #haskell-infrastructure someone there should know the exact number |
| 2022-06-13 14:15:06 +0000 | <merijn> | I'm about 80-90% confident all of hackage is very "would fit on a single USB stick"-sized |
| 2022-06-13 14:15:26 +0000 | <merijn> | even a small one |
| 2022-06-13 14:15:54 +0000 | <dragestil> | time to sell shrinkwrapped hackage dvds |
| 2022-06-13 14:20:12 +0000 | <geekosaur> | back to the early 90s :) |
| 2022-06-13 14:21:42 +0000 | <boxscape> | merijn: dragestil I have a `hackage` directory on my PC from July last year which I believe contained all packages at the time - albeit only their newest versions - and is just under 2GB in size |
| 2022-06-13 14:21:49 +0000 | russell60 | (~russell@cpc146322-oldh12-2-0-cust485.10-1.cable.virginm.net) |
| 2022-06-13 14:22:40 +0000 | <dragestil> | boxscape: cool, that's very encouraging |
| 2022-06-13 14:22:53 +0000 | cosmos1 | (cosmos@user/cosmos1) |
| 2022-06-13 14:23:30 +0000 | <geekosaur> | https://hackage.haskell.org/package/hackage-server is hackage itself. I think https://hackage.haskell.org/package/hackage-mirror still works because the underlying stuff hasn't changed much |
| 2022-06-13 14:24:51 +0000 | <dragestil> | nice |
| 2022-06-13 14:26:46 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 14:27:06 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-13 14:28:37 +0000 | <geekosaur> | I still don't think I'd set up a local Hackage just for docs though. easy enough to use a browser keyword to go straight to the docs on hackage itself :) |
| 2022-06-13 14:28:54 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-13 14:29:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-13 14:30:45 +0000 | <__monty__> | geekosaur: Only gotcha is getting the docs for the correct version. |
| 2022-06-13 14:31:12 +0000 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 14:31:22 +0000 | <geekosaur> | true |
| 2022-06-13 14:32:05 +0000 | lechner | (lechner@debian/lechner) (Ping timeout: 260 seconds) |
| 2022-06-13 14:32:31 +0000 | <dragestil> | some of the hackage pages can take long to render in eww, which is why I don't like the html format |
| 2022-06-13 14:32:47 +0000 | lechner | (lechner@debian/lechner) |
| 2022-06-13 14:33:09 +0000 | russell60 | (~russell@cpc146322-oldh12-2-0-cust485.10-1.cable.virginm.net) (Quit: Client closed) |
| 2022-06-13 14:33:41 +0000 | <geekosaur> | actually, I wonder if a hackage-lite could be made for documentation. leave out most of the backend, since I think the landing page for a package is generated solely from its cabal file and the rest requires only haddock documentation |
| 2022-06-13 14:33:50 +0000 | Clint | (~Clint@user/clint) (Ping timeout: 260 seconds) |
| 2022-06-13 14:34:03 +0000 | <geekosaur> | although I think I may have just described flora |
| 2022-06-13 14:34:10 +0000 | Clint | (~Clint@user/clint) |
| 2022-06-13 14:34:27 +0000 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Remote host closed the connection) |
| 2022-06-13 14:34:55 +0000 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-06-13 14:34:56 +0000 | <dragestil> | ideally there should be an emacs package that concats docstrings in a similar way as haddock, and can integrate with haskell-mode (no, hls is just too slow) |
| 2022-06-13 14:35:42 +0000 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2022-06-13 14:35:51 +0000 | <geekosaur> | well, not entirely true, various badges from the landing page come from building the package |
| 2022-06-13 14:35:52 +0000 | caubert | (~caubert@user/caubert) |
| 2022-06-13 14:37:19 +0000 | glguy | (x@libera/staff/glguy) (Quit: Quit) |
| 2022-06-13 14:37:20 +0000 | nisstyre | (wes@user/nisstyre) (Ping timeout: 260 seconds) |
| 2022-06-13 14:37:31 +0000 | glguy | (x@libera/staff/glguy) |
| 2022-06-13 14:37:47 +0000 | <dragestil> | *too slow for a 6 year old laptop, to be fair |
| 2022-06-13 14:38:17 +0000 | cosmos1 | (cosmos@user/cosmos1) (Ping timeout: 260 seconds) |
| 2022-06-13 14:38:37 +0000 | <geekosaur> | true. mine is a bit newer but I still avoid HLS |
| 2022-06-13 14:38:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-06-13 14:41:12 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-13 14:42:09 +0000 | tangy | (~tangy@37.19.197.142) () |
| 2022-06-13 14:42:23 +0000 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 14:44:46 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 14:46:50 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 272 seconds) |
| 2022-06-13 14:49:31 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5659:a370:41b0:7db0) (Quit: WeeChat 2.8) |
| 2022-06-13 14:52:46 +0000 | caubert | (~caubert@user/caubert) (Remote host closed the connection) |
| 2022-06-13 14:52:56 +0000 | caubert | (~caubert@user/caubert) |
| 2022-06-13 14:57:39 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-13 14:59:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-13 14:59:42 +0000 | toluene | (~toluene@user/toulene) (Ping timeout: 244 seconds) |
| 2022-06-13 15:02:42 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 15:03:02 +0000 | tangy | (~tangy@37.19.197.142) () |
| 2022-06-13 15:03:26 +0000 | tangy | (~tangy@37.19.197.142) |
| 2022-06-13 15:03:45 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-13 15:04:26 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 15:06:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-06-13 15:06:29 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-13 15:06:43 +0000 | tangy | (~tangy@37.19.197.142) (Changing host) |
| 2022-06-13 15:06:43 +0000 | tangy | (~tangy@user/tangy) |
| 2022-06-13 15:10:16 +0000 | brettgilio | (~brettgili@c9yh.net) (Ping timeout: 248 seconds) |
| 2022-06-13 15:10:57 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-06-13 15:11:39 +0000 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) (Quit: leaving) |
| 2022-06-13 15:15:14 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-06-13 15:16:02 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 15:16:37 +0000 | kimjetwav | (~user@2607:fea8:2340:da00:dee7:1b6:101c:bb2) (Quit: time to reboot) |
| 2022-06-13 15:19:24 +0000 | Vajb | (~Vajb@2001:999:231:45d1:d186:9843:f4a2:cf12) (Read error: Connection reset by peer) |
| 2022-06-13 15:19:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 15:20:39 +0000 | nisstyre | (wes@user/nisstyre) |
| 2022-06-13 15:21:02 +0000 | bliminse | (~bliminse@host86-132-158-77.range86-132.btcentralplus.com) |
| 2022-06-13 15:25:59 +0000 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-13 15:27:02 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 15:28:31 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-06-13 15:31:00 +0000 | slack1256 | (~slack1256@191.126.227.199) |
| 2022-06-13 15:32:15 +0000 | chreekat2 | (~b@152.96.94.198) (Ping timeout: 276 seconds) |
| 2022-06-13 15:39:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 15:40:41 +0000 | CiaoSen | (~Jura@p200300c95700da002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-06-13 15:43:48 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-13 15:45:06 +0000 | neoatnebula | (~neoatnebu@2409:4071:4d99:dc3:90b:959b:286e:aa4f) |
| 2022-06-13 15:45:24 +0000 | <Bulby[m]> | is pattern matching against a tuple of bools lazy? i.e. if the first match is `(True, _)`, the second isn't evaluated |
| 2022-06-13 15:46:19 +0000 | <geekosaur> | to that extent it will be lazy |
| 2022-06-13 15:46:34 +0000 | <Bulby[m]> | \o/ then i'm ok with that |
| 2022-06-13 15:46:42 +0000 | <geekosaur> | it will match strictly the tuple constructor and the first element; the second will remain unevaluated |
| 2022-06-13 15:46:59 +0000 | <Bulby[m]> | that's fine with me 🙂 |
| 2022-06-13 15:47:22 +0000 | slack1256 | gets surprised everytime he remember glirc shows emojis |
| 2022-06-13 15:47:47 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 15:48:16 +0000 | <Bulby[m]> | oh, not like that helps. I should just write a nested if |
| 2022-06-13 15:49:02 +0000 | <Bulby[m]> | it won't help because the right side is monadic |
| 2022-06-13 15:49:11 +0000 | <geekosaur> | I would argue against a tuple of Bools for other reasons, though; it's pretty much an invitation to boolean blindness |
| 2022-06-13 15:52:20 +0000 | <geekosaur> | I keep forgetting I can send them ☺ |
| 2022-06-13 15:52:29 +0000 | <geekosaur> | granting it's not a fancy one |
| 2022-06-13 15:53:43 +0000 | <geekosaur> | sadly (this version of?) hexchat doesn't have an emoji menu, so I have to pop up the charmap scratchpad to get a decent one |
| 2022-06-13 15:54:21 +0000 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-06-13 15:58:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 15:58:51 +0000 | <Bulby[m]> | any people with a cli client probably frustrated whenever someone sends an emoji |
| 2022-06-13 15:58:58 +0000 | <Bulby[m]> | I know it borks my console |
| 2022-06-13 16:00:13 +0000 | <geekosaur> | if it's smart enough it can use wcwidth. but you need both client support and terminal support and they need to agree about which characters are wide |
| 2022-06-13 16:00:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 16:00:25 +0000 | <geekosaur> | it's a pain |
| 2022-06-13 16:01:59 +0000 | brettgilio | (~brettgili@virtlab.gq) |
| 2022-06-13 16:06:13 +0000 | titibandit | (~titibandi@sunp.ient.rwth-aachen.de) (Quit: Leaving.) |
| 2022-06-13 16:08:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 16:08:37 +0000 | neoatnebula | (~neoatnebu@2409:4071:4d99:dc3:90b:959b:286e:aa4f) (Quit: Client closed) |
| 2022-06-13 16:12:44 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-13 16:19:29 +0000 | kenran | (~kenran@200116b82baa630079f5dbc57aafb02d.dip.versatel-1u1.de) |
| 2022-06-13 16:19:36 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-06-13 16:19:39 +0000 | chreekat2 | (~b@2001:620:130:6092:8bfc:a3fb:f85a:dae) |
| 2022-06-13 16:19:49 +0000 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-13 16:20:44 +0000 | kenran | (~kenran@200116b82baa630079f5dbc57aafb02d.dip.versatel-1u1.de) (Client Quit) |
| 2022-06-13 16:23:45 +0000 | <Bulby[m]> | how do I combine two lenses |
| 2022-06-13 16:25:47 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 16:26:02 +0000 | <Bulby[m]> | i.e. "fetch a list, then _Cons that list |
| 2022-06-13 16:27:53 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-06-13 16:30:08 +0000 | <geekosaur> | (.) or (&) depending on direction |
| 2022-06-13 16:30:08 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 16:30:08 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 16:30:08 +0000 | turlando | (~turlando@user/turlando) |
| 2022-06-13 16:30:27 +0000 | <geekosaur> | the neat thing about lenses is they're just functions |
| 2022-06-13 16:30:37 +0000 | <geekosaur> | and they compose like functions |
| 2022-06-13 16:31:09 +0000 | <Bulby[m]> | i guess mine is a bit borked because i'm trying to combine them under `use` (which I wrote myself, but is the same type signature as the actual use |
| 2022-06-13 16:32:21 +0000 | <Bulby[m]> | i don't even think they are both lenses lol |
| 2022-06-13 16:32:27 +0000 | <Bulby[m]> | 1 is `_Cons` |
| 2022-06-13 16:32:33 +0000 | <Bulby[m]> | which is a prism |
| 2022-06-13 16:33:35 +0000 | <geekosaur> | mm, combining different optics can be more difficult, yes. |
| 2022-06-13 16:33:54 +0000 | <geekosaur> | someone else would have to answer there, I'm still a beginner at lenses |
| 2022-06-13 16:35:35 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-33.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-06-13 16:36:40 +0000 | <Bulby[m]> | `(^? _Cons) <$> use l` gives me the type sig I want (Sem r (Maybe (a, [a]))) |
| 2022-06-13 16:37:17 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-13 16:37:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-13 16:38:30 +0000 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 16:38:47 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 16:40:56 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-13 16:41:20 +0000 | alp | (~alp@user/alp) |
| 2022-06-13 16:43:06 +0000 | <sm> | #haskell-lens:libera.chat will know |
| 2022-06-13 16:43:28 +0000 | <Bulby[m]> | of course it has it's own channel lol |
| 2022-06-13 16:47:16 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 16:49:34 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-13 16:50:31 +0000 | econo | (uid147250@user/econo) |
| 2022-06-13 16:50:55 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-13 16:56:03 +0000 | dos__^^` | (~user@2409:8a55:e216:d090:58b9:4cff:fea0:d9) |
| 2022-06-13 16:57:11 +0000 | dos__^^ | (~user@user/dos/x-1723657) (Ping timeout: 255 seconds) |
| 2022-06-13 17:00:26 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 17:00:38 +0000 | <lyle> | I'm no expert, but https://github.com/jwiegley/putting-lenses-to-work has a .pdf with many examples of how to use lenses. |
| 2022-06-13 17:00:47 +0000 | dos__^^` | (~user@2409:8a55:e216:d090:58b9:4cff:fea0:d9) (Ping timeout: 255 seconds) |
| 2022-06-13 17:01:33 +0000 | <lyle> | I'm not jwiegley, just someone who stumbled on it. |
| 2022-06-13 17:05:02 +0000 | dsrt^ | (~dsrt@50.223.50.178) |
| 2022-06-13 17:05:27 +0000 | slack1256 | (~slack1256@191.126.227.199) (Read error: Connection reset by peer) |
| 2022-06-13 17:05:36 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-13 17:06:00 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-13 17:06:41 +0000 | slack1256 | (~slack1256@186.11.82.227) |
| 2022-06-13 17:07:50 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-13 17:07:58 +0000 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2022-06-13 17:10:26 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 17:10:26 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 17:10:26 +0000 | turlando | (~turlando@user/turlando) |
| 2022-06-13 17:14:44 +0000 | mima | (~mmh@aftr-62-216-207-41.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2022-06-13 17:18:40 +0000 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-13 17:19:28 +0000 | <Bulby[m]> | haskell-lens requires a nickname registered |
| 2022-06-13 17:20:30 +0000 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-06-13 17:21:55 +0000 | <dsal> | I've never used `use` |
| 2022-06-13 17:22:47 +0000 | <dsal> | This is a pretty good book as well: https://leanpub.com/optics-by-example/ |
| 2022-06-13 17:23:28 +0000 | <dsal> | Ah, `lens` is state stuff. I don't do a lot of state stuff with lens. |
| 2022-06-13 17:24:47 +0000 | <lyle> | Will RecordDotSyntax affect how much lenses are used? |
| 2022-06-13 17:25:17 +0000 | <dsal> | Possibly. It's a rather poor replacement for lenses in my experience. |
| 2022-06-13 17:25:34 +0000 | <sm> | lens really aren't used that much now, are they |
| 2022-06-13 17:26:11 +0000 | <dsal> | Lots of people who run projects are afraid of lenses even when they are the clearest, most efficient, and most obvious way to do things. |
| 2022-06-13 17:26:41 +0000 | <lyle> | They do help with the problem of accessing deeply nested data structures, but I think RecordDotSyntax does too. |
| 2022-06-13 17:26:44 +0000 | <sm> | does GHC use them, eg ? |
| 2022-06-13 17:27:50 +0000 | <dsal> | RecordDotSyntax, AFAICT, won't help you with prisms or folding and traversing which is almost always required when dealing with a data structure sufficiently non-trivial that you might consider lenses. |
| 2022-06-13 17:28:45 +0000 | <lyle> | dsal: Yes, that's my understanding as well. RecordDotSyntax will only replace very basic lens use. |
| 2022-06-13 17:29:12 +0000 | <Bulby[m]> | oh, traversals nicely combine at least for `modifying` |
| 2022-06-13 17:35:33 +0000 | <mrianbloom> | Is there a nice way to say that every subtype of a GADT has an instance of a particular typeclass? |
| 2022-06-13 17:38:10 +0000 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-06-13 17:38:12 +0000 | chreekat2 | (~b@2001:620:130:6092:8bfc:a3fb:f85a:dae) (Ping timeout: 248 seconds) |
| 2022-06-13 17:39:05 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 17:41:05 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-13 17:41:44 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-13 17:43:33 +0000 | <dsal> | I'm having trouble figuring out how to make a hard link. Does anyone know where I can find an implementation of link? |
| 2022-06-13 17:45:36 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 17:46:05 +0000 | <Cale> | mrianbloom: If you mean that, given a value x :: MyGADT a, you can show that you have an instance C a, then yes, see constraints-extras |
| 2022-06-13 17:47:21 +0000 | <mrianbloom> | I'll take a look thanks. |
| 2022-06-13 17:47:33 +0000 | <geekosaur> | https://downloads.haskell.org/ghc/8.10.7/docs/html/libraries/unix-2.7.2.2/System-Posix-Files.html#… |
| 2022-06-13 17:47:40 +0000 | <Cale> | You can write (Has c MyGADT) to mean exactly the above |
| 2022-06-13 17:47:43 +0000 | <geekosaur> | dsal ^ |
| 2022-06-13 17:48:22 +0000 | <dsal> | geekosaur: Awesome, thank you! |
| 2022-06-13 17:48:23 +0000 | <Cale> | and then has x (...) will let you use the instance inside the (...) expression |
| 2022-06-13 17:48:56 +0000 | <dsal> | Oh wow. I had that doc up on that section in a different tab and didn't see it. Good day to be writing code. |
| 2022-06-13 17:54:53 +0000 | <dsal> | Neat. That just saved me around 100GB of unnecessary copying, I think. |
| 2022-06-13 17:55:30 +0000 | turlando | (~turlando@user/turlando) (Quit: turlando) |
| 2022-06-13 17:56:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 17:56:05 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 17:56:37 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-06-13 17:56:37 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-13 17:56:37 +0000 | turlando | (~turlando@user/turlando) |
| 2022-06-13 17:58:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 17:59:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 18:00:13 +0000 | vglfr | (~vglfr@88.155.117.190) (Read error: Connection reset by peer) |
| 2022-06-13 18:00:23 +0000 | vglfr | (~vglfr@88.155.117.190) |
| 2022-06-13 18:03:42 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-06-13 18:05:04 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 18:05:04 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 18:05:07 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 18:05:33 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-13 18:06:39 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 18:08:27 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 18:09:22 +0000 | slac50227 | (~slack1256@191.125.227.223) |
| 2022-06-13 18:10:11 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-13 18:10:30 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-13 18:10:32 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-13 18:11:55 +0000 | slack1256 | (~slack1256@186.11.82.227) (Ping timeout: 256 seconds) |
| 2022-06-13 18:16:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 18:18:11 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 252 seconds) |
| 2022-06-13 18:25:57 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 18:27:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-13 18:28:22 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-13 18:33:30 +0000 | dsrt^ | (~dsrt@50.223.50.178) (Ping timeout: 240 seconds) |
| 2022-06-13 18:36:54 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-06-13 18:43:56 +0000 | vicfred | (~vicfred@user/vicfred) (Remote host closed the connection) |
| 2022-06-13 18:44:15 +0000 | Qudit | (~user@user/Qudit) (Read error: Connection reset by peer) |
| 2022-06-13 18:45:28 +0000 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-13 18:46:00 +0000 | vglfr | (~vglfr@88.155.117.190) (Ping timeout: 244 seconds) |
| 2022-06-13 18:46:36 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-13 18:47:20 +0000 | kaskal | (~kaskal@2001:4bb8:2c0:26d1:2f:9cc7:96f3:7340) |
| 2022-06-13 18:48:20 +0000 | kaskal- | (~kaskal@213-147-164-164.nat.highway.webapn.at) (Ping timeout: 255 seconds) |
| 2022-06-13 18:48:26 +0000 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 18:48:58 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2022-06-13 18:51:48 +0000 | dcoutts__ | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-06-13 18:53:09 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-13 18:55:16 +0000 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) (Remote host closed the connection) |
| 2022-06-13 18:55:36 +0000 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) |
| 2022-06-13 18:55:50 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-06-13 18:56:45 +0000 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) |
| 2022-06-13 19:00:21 +0000 | dsrt^ | (~dsrt@50.223.50.178) |
| 2022-06-13 19:00:24 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 19:01:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 19:01:54 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-06-13 19:02:51 +0000 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 276 seconds) |
| 2022-06-13 19:03:39 +0000 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-06-13 19:05:55 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-06-13 19:12:39 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-13 19:14:55 +0000 | califax | (~califax@user/califx) |
| 2022-06-13 19:18:17 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-06-13 19:20:15 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 19:24:08 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-13 19:32:54 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 19:33:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) (Remote host closed the connection) |
| 2022-06-13 19:33:24 +0000 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-13 19:38:17 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-13 19:38:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4c1c:cb6:e1d6:4d06) |
| 2022-06-13 19:39:30 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-13 19:41:02 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 19:44:27 +0000 | fr33domlover | (~fr33@bzq-79-176-113-171.red.bezeqint.net) |
| 2022-06-13 19:45:22 +0000 | remedan | (~remedan@octo.cafe) (Quit: Bye!) |
| 2022-06-13 19:45:53 +0000 | fr33domlover | (~fr33@bzq-79-176-113-171.red.bezeqint.net) (Client Quit) |
| 2022-06-13 19:47:44 +0000 | dsrt^ | (~dsrt@50.223.50.178) (Ping timeout: 255 seconds) |
| 2022-06-13 19:51:02 +0000 | shapr | (~user@2600:4040:2d31:7100:c9e6:4184:8419:55f7) |
| 2022-06-13 19:52:16 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-06-13 19:52:52 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 19:57:11 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 19:58:50 +0000 | lottaquestions | (~nick@2607:fa49:5041:a200:e93:cdbf:1805:a1c8) |
| 2022-06-13 20:01:23 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-13 20:03:58 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-06-13 20:05:15 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2022-06-13 20:05:43 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 20:05:45 +0000 | <Guest27> | If you're developing a Cabal library package and an executable that depends on that library, is it better practice to put both in one package or have the executable as a separate package that depends on the library? |
| 2022-06-13 20:06:42 +0000 | <geekosaur> | generally both in one package, so you can test it properly (otherwise you may have to export internals for use by the executable's test suite) |
| 2022-06-13 20:07:10 +0000 | <Guest27> | Makes sense, thanks |
| 2022-06-13 20:07:50 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 20:08:21 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 20:12:31 +0000 | dostoevsky2 | (~5c42c5384@user/dostoevsky) |
| 2022-06-13 20:13:19 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-13 20:13:21 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 20:13:45 +0000 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-06-13 20:13:46 +0000 | dostoevsky2 | dostoevsky |
| 2022-06-13 20:15:35 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 20:20:49 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-13 20:23:01 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 20:24:49 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-13 20:26:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-13 20:26:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-13 20:27:23 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-06-13 20:29:13 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-13 20:31:35 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 20:33:29 +0000 | Qudit | (~user@user/Qudit) |
| 2022-06-13 20:33:47 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 20:39:09 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-06-13 20:40:45 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-06-13 20:41:07 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-13 20:41:16 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-13 20:50:43 +0000 | pavonia | (~user@user/siracusa) |
| 2022-06-13 20:54:48 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-06-13 20:56:42 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-13 21:02:38 +0000 | FixedPointDude | (~FixedPoin@45.72.235.160) |
| 2022-06-13 21:02:52 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 21:03:03 +0000 | remedan | (~remedan@octo.cafe) |
| 2022-06-13 21:03:17 +0000 | <FixedPointDude> | getting haskell to work with vscode lately has made me feel like a bumbling incompetent |
| 2022-06-13 21:05:06 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 21:07:04 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
| 2022-06-13 21:07:52 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-13 21:10:18 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 21:12:32 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 21:13:18 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-06-13 21:13:43 +0000 | FixedPointDude | (~FixedPoin@45.72.235.160) (Quit: Client closed) |
| 2022-06-13 21:16:53 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-13 21:17:45 +0000 | jao | (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 2022-06-13 21:18:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 21:18:57 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) |
| 2022-06-13 21:19:11 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-06-13 21:21:28 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-13 21:24:45 +0000 | <maerwald[m]> | FixedPointDude: why |
| 2022-06-13 21:25:10 +0000 | <maerwald[m]> | dminuoso: did he pick up his laptop? Lol |
| 2022-06-13 21:28:54 +0000 | julian | (~julian@20.83.116.49) |
| 2022-06-13 21:44:53 +0000 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-06-13 21:54:23 +0000 | _xor | (~xor@72.49.198.103) (Ping timeout: 246 seconds) |
| 2022-06-13 21:55:43 +0000 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-06-13 22:05:26 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 22:09:52 +0000 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-13 22:11:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-13 22:14:55 +0000 | acidjnk | (~acidjnk@p200300d0c7068b59955fef414e8d7a9b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-06-13 22:15:42 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::59a2) (Ping timeout: 252 seconds) |
| 2022-06-13 22:16:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 22:17:29 +0000 | king_gs | (~Thunderbi@187.201.173.69) |
| 2022-06-13 22:17:39 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 22:22:38 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-13 22:25:05 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 22:27:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 22:30:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 22:33:04 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 22:39:23 +0000 | king_gs | (~Thunderbi@187.201.173.69) (Ping timeout: 256 seconds) |
| 2022-06-13 22:39:24 +0000 | king_gs1 | (~Thunderbi@187.201.173.69) |
| 2022-06-13 22:39:50 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-13 22:41:43 +0000 | king_gs1 | king_gs |
| 2022-06-13 22:46:55 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 22:48:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 22:51:26 +0000 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2022-06-13 22:54:57 +0000 | rodental | (~rodental@38.146.5.222) |
| 2022-06-13 22:57:13 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-13 22:58:11 +0000 | slack1256 | (~slack1256@186.11.82.227) |
| 2022-06-13 23:00:08 +0000 | slac50227 | (~slack1256@191.125.227.223) (Ping timeout: 248 seconds) |
| 2022-06-13 23:01:30 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-173.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-13 23:02:39 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-13 23:03:04 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-06-13 23:03:33 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-13 23:04:25 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-13 23:06:43 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-06-13 23:08:09 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-13 23:08:36 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-13 23:08:37 +0000 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-13 23:17:33 +0000 | yaroot | (~yaroot@11.70.30.125.dy.iij4u.or.jp) (Remote host closed the connection) |
| 2022-06-13 23:19:20 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-06-13 23:19:30 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) (Ping timeout: 250 seconds) |
| 2022-06-13 23:20:49 +0000 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-13 23:21:40 +0000 | vicfred | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
| 2022-06-13 23:21:50 +0000 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-06-13 23:23:38 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-13 23:25:18 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-13 23:25:31 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2022-06-13 23:27:01 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-13 23:30:36 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-06-13 23:31:05 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-13 23:31:08 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-13 23:32:31 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-13 23:32:38 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-13 23:35:03 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-06-13 23:35:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 23:35:42 +0000 | king_gs | (~Thunderbi@187.201.173.69) (Read error: Connection reset by peer) |
| 2022-06-13 23:36:04 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 23:36:07 +0000 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
| 2022-06-13 23:36:07 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Read error: Connection reset by peer) |
| 2022-06-13 23:36:17 +0000 | xstill_7 | (xstill@fimu/xstill) |
| 2022-06-13 23:36:54 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-06-13 23:37:42 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 23:37:50 +0000 | nurupo | (~nurupo.ga@user/nurupo) (Ping timeout: 240 seconds) |
| 2022-06-13 23:37:55 +0000 | glider | (~glider@user/glider) (Ping timeout: 244 seconds) |
| 2022-06-13 23:38:17 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-06-13 23:38:22 +0000 | king_gs | (~Thunderbi@187.201.173.69) |
| 2022-06-13 23:38:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 23:38:34 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 23:38:39 +0000 | relrod | (~relrod@redhat/ansible.staff.relrod) (Ping timeout: 240 seconds) |
| 2022-06-13 23:39:10 +0000 | RMSBach | (~guygastin@137.184.131.156) (Ping timeout: 240 seconds) |
| 2022-06-13 23:39:12 +0000 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-13 23:39:15 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) (Ping timeout: 258 seconds) |
| 2022-06-13 23:39:16 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-13 23:39:26 +0000 | anderson | (~ande@user/anderson) (Ping timeout: 250 seconds) |
| 2022-06-13 23:39:37 +0000 | dragestil | (~znc@user/dragestil) (Ping timeout: 248 seconds) |
| 2022-06-13 23:39:37 +0000 | ario | (~ario@159.65.220.102) (Ping timeout: 248 seconds) |
| 2022-06-13 23:39:37 +0000 | drewolson | (~drewolson@user/drewolson) (Ping timeout: 248 seconds) |
| 2022-06-13 23:39:45 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-13 23:39:50 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (Ping timeout: 260 seconds) |
| 2022-06-13 23:40:01 +0000 | blades | (~blades@204.48.29.163) (Ping timeout: 256 seconds) |
| 2022-06-13 23:40:01 +0000 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 256 seconds) |
| 2022-06-13 23:40:06 +0000 | eldritch | (~eldritch@user/eldritch) (Ping timeout: 272 seconds) |
| 2022-06-13 23:40:24 +0000 | stvc | (~stvc@192.241.166.39) (Ping timeout: 276 seconds) |
| 2022-06-13 23:40:32 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 23:42:19 +0000 | mht- | (~mht@2a03:b0c0:3:e0::1e2:c001) (Ping timeout: 240 seconds) |
| 2022-06-13 23:42:28 +0000 | eternalforms | (~obsrwr@46.101.168.131) (Ping timeout: 248 seconds) |
| 2022-06-13 23:42:49 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 248 seconds) |
| 2022-06-13 23:43:00 +0000 | zzz | (~z@user/zero) (Ping timeout: 248 seconds) |
| 2022-06-13 23:43:05 +0000 | sweater | (~sweater@206.81.18.26) (Ping timeout: 258 seconds) |
| 2022-06-13 23:43:14 +0000 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) (Ping timeout: 252 seconds) |
| 2022-06-13 23:43:16 +0000 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 272 seconds) |
| 2022-06-13 23:43:25 +0000 | apache2 | (apache2@anubis.0x90.dk) (Ping timeout: 256 seconds) |
| 2022-06-13 23:44:04 +0000 | winny | (~weechat@user/winny) (Ping timeout: 240 seconds) |
| 2022-06-13 23:45:09 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-13 23:46:17 +0000 | oxide | (~lambda@user/oxide) |
| 2022-06-13 23:46:30 +0000 | winny | (~weechat@user/winny) |
| 2022-06-13 23:46:57 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-06-13 23:47:03 +0000 | RMSBach | (~guygastin@137.184.131.156) |
| 2022-06-13 23:47:07 +0000 | dragestil | (~znc@user/dragestil) |
| 2022-06-13 23:47:07 +0000 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-06-13 23:47:50 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-06-13 23:48:08 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2022-06-13 23:48:23 +0000 | <mon_aaraj> | jackdk: Thank you very much! I've realized a lot of that code seemed familiar to me and it turns out most of it can be seen in his blog, though I didn't know about that talk. |
| 2022-06-13 23:49:38 +0000 | drewolson | (~drewolson@user/drewolson) |
| 2022-06-13 23:50:01 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-13 23:50:08 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-13 23:50:32 +0000 | <Axman6> | jackdk always gives good advice |
| 2022-06-13 23:50:53 +0000 | <jackdk> | Axman6: and yet you still haven't started using Nix for literally everything |
| 2022-06-13 23:50:56 +0000 | <jackdk> | :P |
| 2022-06-13 23:51:19 +0000 | ario | (~ario@159.65.220.102) |
| 2022-06-13 23:51:23 +0000 | <Axman6> | you still haven't managed to pull of a "hey, look at this cool thing I did in Nix" without it failing :P |
| 2022-06-13 23:51:33 +0000 | <mon_aaraj> | haha, guess it's very common for us haskellers to be using nix as a solution for package management |
| 2022-06-13 23:51:51 +0000 | blades | (~blades@204.48.29.163) |
| 2022-06-13 23:52:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-13 23:52:24 +0000 | <mon_aaraj> | unfortunately after updating NixOS it seems my touchpad stopped working so I had to go back to my imperative distro |
| 2022-06-13 23:52:58 +0000 | relrod | (~relrod@redhat/ansible.staff.relrod) |
| 2022-06-13 23:53:08 +0000 | davean | (~davean@davean.sciesnet.net) |
| 2022-06-13 23:53:15 +0000 | eldritch | (~eldritch@user/eldritch) |
| 2022-06-13 23:53:26 +0000 | stvc | (~stvc@192.241.166.39) |
| 2022-06-13 23:53:52 +0000 | <Haskelytic> | Why is everyone so excited about Nix |
| 2022-06-13 23:54:44 +0000 | <hpc> | it tries to solve packaging in ways that look a lot like how haskell solves programming |
| 2022-06-13 23:54:59 +0000 | <Axman6> | it has a lot of promise in providing a lot of extremely useful properties, like only ever compiling the same thing once, knowing exactly what is installed on a system and being able to reliably replicate it, and because of that, checking the integrity of a system is fairly trivial too |
| 2022-06-13 23:55:05 +0000 | <hpc> | and there's not a whole lot else like it, so it's interesting to learn |
| 2022-06-13 23:55:49 +0000 | <Haskelytic> | so basically it tries to extend functional programming to system administration? |
| 2022-06-13 23:55:53 +0000 | apache2 | (apache2@anubis.0x90.dk) |
| 2022-06-13 23:55:57 +0000 | <Axman6> | having a single way to configure all the different services etc. on your system is pretty handy |
| 2022-06-13 23:56:07 +0000 | <mon_aaraj> | Well, not really functional programming |
| 2022-06-13 23:56:12 +0000 | <Axman6> | in a way, but I'm not sure that's the main take away |
| 2022-06-13 23:56:51 +0000 | <Haskelytic> | that seems like an awfully ambitious project IMO |
| 2022-06-13 23:56:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-13 23:56:57 +0000 | <Haskelytic> | maybe in 5 years I'll try it :) |
| 2022-06-13 23:57:41 +0000 | cocreature | (~moritz@46.101.189.229) |
| 2022-06-13 23:58:32 +0000 | <geekosaur> | in 5 years something else will be the go-to :) |
| 2022-06-13 23:59:13 +0000 | eternalforms | (~obsrwr@46.101.168.131) |
| 2022-06-13 23:59:16 +0000 | <Haskelytic> | ye olde package management never gets old :) |
| 2022-06-13 23:59:52 +0000 | <hpc> | sometimes it seems it never gets old because it's born old |