2024-10-23 00:00:24 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 246 seconds) |
2024-10-23 00:00:43 +0200 | spew | (~spew@189.217.198.185) (Quit: spew) |
2024-10-23 00:00:45 +0200 | <geekosaur> | I know `bracket` and friends don't work, but I think the lower level catchers do |
2024-10-23 00:00:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:01:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-23 00:07:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 00:07:43 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:08:57 +0200 | alphabeta | (~kilolympu@2a04:ee41:4:32b3:7874:16a1:451a:baf) (Ping timeout: 265 seconds) |
2024-10-23 00:12:31 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
2024-10-23 00:12:35 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 255 seconds) |
2024-10-23 00:12:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-23 00:13:41 +0200 | madjestic | (~madjestic@103-135-99-95.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
2024-10-23 00:17:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-10-23 00:18:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:19:32 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:22:26 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) |
2024-10-23 00:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 00:24:25 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 265 seconds) |
2024-10-23 00:27:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-23 00:29:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-23 00:30:42 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:33:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-23 00:34:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:36:06 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
2024-10-23 00:36:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2024-10-23 00:36:28 +0200 | ljdarj1 | ljdarj |
2024-10-23 00:38:16 +0200 | Everything | (~Everythin@178-133-44-99.mobile.vf-ua.net) (Quit: leaving) |
2024-10-23 00:38:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-23 00:39:00 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 244 seconds) |
2024-10-23 00:39:09 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
2024-10-23 00:40:04 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) vglfr |
2024-10-23 00:47:03 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
2024-10-23 00:48:37 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 00:48:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
2024-10-23 00:49:08 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 00:49:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 00:50:29 +0200 | GalaxyNova | (~andrei@user/galaxynova) (Ping timeout: 248 seconds) |
2024-10-23 00:51:00 +0200 | araujo | (~araujo@45.131.194.239) araujo |
2024-10-23 00:54:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 00:55:49 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 00:56:09 +0200 | vglfr | (~vglfr@2607:fb90:ea2f:c576:ac39:c391:4e20:bd2f) (Ping timeout: 260 seconds) |
2024-10-23 00:56:21 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 00:56:50 +0200 | araujo | (~araujo@45.131.194.239) (Ping timeout: 252 seconds) |
2024-10-23 00:56:53 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) vglfr |
2024-10-23 00:58:44 +0200 | araujo | (~araujo@216.73.163.122) |
2024-10-23 01:00:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-1155-6cdb-16b4-021a.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 01:01:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-23 01:03:50 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-23 01:04:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:08:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 01:09:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 01:09:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2024-10-23 01:20:03 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) (Quit: Leaving) |
2024-10-23 01:20:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:25:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 01:28:17 +0200 | vglfr | (~vglfr@2607:fb91:864:11a1:ad3:f751:b381:f3c) (Read error: Connection reset by peer) |
2024-10-23 01:35:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:35:54 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-23 01:42:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb008c3c228b89ffac09.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-10-23 01:42:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 01:50:39 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-23 01:53:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 01:58:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-23 01:58:57 +0200 | poscat | (~poscat@user/poscat) poscat |
2024-10-23 01:59:09 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2024-10-23 01:59:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-10-23 02:05:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-23 02:07:03 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) TonyStone |
2024-10-23 02:07:32 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
2024-10-23 02:09:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:13:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-23 02:19:22 +0200 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
2024-10-23 02:21:44 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 255 seconds) |
2024-10-23 02:22:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-10-23 02:24:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:29:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 02:34:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:61f:49ca:1cad:ed6) (Ping timeout: 265 seconds) |
2024-10-23 02:35:43 +0200 | airscape | (~airscape@2.219.56.221) (Quit: Connection error?!) |
2024-10-23 02:37:37 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2024-10-23 02:37:50 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
2024-10-23 02:40:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:45:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-23 02:47:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-10-23 02:55:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 02:57:43 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-10-23 03:00:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 03:00:22 +0200 | nitrix-or-treat | nitrix-or-treats |
2024-10-23 03:09:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-10-23 03:10:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:17:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-23 03:19:11 +0200 | Square | (~Square@user/square) Square |
2024-10-23 03:22:09 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
2024-10-23 03:24:21 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2024-10-23 03:26:12 +0200 | yin | (~z@user/zero) (Ping timeout: 246 seconds) |
2024-10-23 03:26:23 +0200 | zero | (~z@user/zero) zero |
2024-10-23 03:28:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:32:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-23 03:32:21 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-23 03:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-23 03:33:43 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2024-10-23 03:34:47 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-23 03:44:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 03:47:51 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2024-10-23 03:48:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 03:59:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:04:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 04:08:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 04:11:27 +0200 | jove_ | (~quassel@user/jove) (Ping timeout: 252 seconds) |
2024-10-23 04:13:51 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
2024-10-23 04:14:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:16:20 +0200 | <dontdieych2> | Looking for something like ghci prompt theme. Prefer colorful and informative one. https://github.com/IlanCosman/tide/blob/assets/images/flexible.png |
2024-10-23 04:16:28 +0200 | <dontdieych2> | Thanks for any sharing |
2024-10-23 04:19:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-23 04:19:44 +0200 | <Axman6> | Have you looked at https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:set%20prompt? |
2024-10-23 04:23:12 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-23 04:29:08 +0200 | <Axman6> | Looks like :set prompt-function is particularly useful |
2024-10-23 04:29:26 +0200 | <geekosaur> | I think they're looking for themes others have come up with, as opposed to how to write one from scratch? |
2024-10-23 04:30:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:32:12 +0200 | jove | (~quassel@user/jove) jove |
2024-10-23 04:32:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-10-23 04:33:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 04:35:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 04:40:52 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
2024-10-23 04:42:41 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
2024-10-23 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 04:52:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 05:02:46 +0200 | rosco | (~rosco@60.53.7.10) rosco |
2024-10-23 05:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:08:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 05:15:17 +0200 | <Axman6> | I assume so too, but I've never seen anyone do anything more fancy than changing the prompt to a lambda and removing the loaded modules |
2024-10-23 05:18:53 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
2024-10-23 05:19:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:21:10 +0200 | <Axman6> | Knowing a thing or two about terminal colours would let you make pretty themes |
2024-10-23 05:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 05:27:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-23 05:33:01 +0200 | <geekosaur> | I've seen a few, but yeh what you mention is most common ime |
2024-10-23 05:34:21 +0200 | <geekosaur> | I personally don't spend enough time in ghci to care; I just pop in to test something and then exit. (largely because it's usually `cabal repl` instead of raw ghci, in a project or with specific dependencies in scope) |
2024-10-23 05:34:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:39:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-23 05:49:53 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
2024-10-23 05:49:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:52:29 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
2024-10-23 05:54:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-23 05:57:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 05:59:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-10-23 06:04:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-23 06:05:11 +0200 | <dontdieych2> | Axman6: geekosau: ok, should go for lambda mark. cannot find premade theme things. |
2024-10-23 06:06:12 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection) |
2024-10-23 06:08:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 06:12:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-23 06:23:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 06:24:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
2024-10-23 06:26:26 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection) |
2024-10-23 06:30:01 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
2024-10-23 06:30:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 06:32:05 +0200 | <Axman6> | you should go with whatever you like the look of, this is an aesthetic question, not a technical one |
2024-10-23 06:38:15 +0200 | michalz | (~michalz@185.246.207.215) |
2024-10-23 06:39:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-23 06:40:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-23 06:46:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 06:50:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-23 06:57:51 +0200 | simendsjo | (~user@84.211.91.108) (Ping timeout: 265 seconds) |
2024-10-23 07:03:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 07:05:38 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2024-10-23 07:07:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-23 07:18:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 07:23:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-23 07:24:52 +0200 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
2024-10-23 07:27:20 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
2024-10-23 07:27:50 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
2024-10-23 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-23 07:34:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 07:38:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-23 07:38:48 +0200 | Square2 | (~Square4@user/square) Square |
2024-10-23 07:39:49 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-10-23 07:41:38 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-10-23 07:44:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2024-10-23 07:49:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 07:52:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-23 07:52:54 +0200 | araujo | (~araujo@216.73.163.122) (Ping timeout: 276 seconds) |
2024-10-23 07:53:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-23 08:04:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-23 08:12:24 +0200 | synchromesh | (~john@139.180.95.1) (Quit: WeeChat 4.0.5) |
2024-10-23 08:13:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-23 08:14:28 +0200 | alphazone | (~alphazone@2.219.56.221) |
2024-10-23 08:15:49 +0200 | alphazone | lb |
2024-10-23 08:22:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2024-10-23 08:23:13 +0200 | euleritian | (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) |
2024-10-23 08:24:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-23 08:36:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-10-23 08:41:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-10-23 08:42:56 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) synchromesh |
2024-10-23 08:45:21 +0200 | synchrom1 | (~john@139.180.95.1) synchromesh |
2024-10-23 08:47:15 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) (Ping timeout: 244 seconds) |
2024-10-23 08:53:16 +0200 | <dontdieych2> | is there equivalent of `stack haddock` (that make index.html of all dependencies of current package) using `cabal`? |
2024-10-23 08:53:51 +0200 | <dontdieych2> | ❯ du -sh ~/.cabal ~/.stack/ |
2024-10-23 08:53:53 +0200 | <dontdieych2> | 4.5G /home/a/.cabal |
2024-10-23 08:53:54 +0200 | <dontdieych2> | 8.8G /home/a/.stack |
2024-10-23 08:54:07 +0200 | <dontdieych2> | wanna remove ~/.stack |
2024-10-23 08:54:32 +0200 | <dontdieych2> | only reason keep stack is `stack haddock` |
2024-10-23 08:54:58 +0200 | <sclv> | you can add a haddock flag to your default cabal config and it will haddock every built library |
2024-10-23 08:55:17 +0200 | <sclv> | it doesn’t provide an easy to browse global index iirc tho |
2024-10-23 08:55:22 +0200 | <dontdieych2> | ye but I need top level index.html |
2024-10-23 08:55:27 +0200 | <dontdieych2> | exactly |
2024-10-23 08:55:45 +0200 | <sclv> | you can write your own script to generate that as a stopgap |
2024-10-23 08:57:45 +0200 | <dontdieych2> | thanks |
2024-10-23 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-23 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-23 09:02:23 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb33a5f4f8eeae667408.dip0.t-ipconnect.de) acidjnk |
2024-10-23 09:10:12 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-23 09:13:44 +0200 | <haskellbridge> | <sm> dontdieych2: you could clean up a bit |
2024-10-23 09:14:06 +0200 | euleritian | (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-10-23 09:14:40 +0200 | euleritian | (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) |
2024-10-23 09:14:45 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-23 09:15:19 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) ubert |
2024-10-23 09:16:48 +0200 | CiaoSen | (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-23 09:22:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-23 09:35:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-23 09:40:03 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-23 09:40:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2024-10-23 09:42:59 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-10-23 09:45:15 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 09:47:56 +0200 | <tomsmeding> | dontdieych2: https://github.com/treblacy/hasdoc |
2024-10-23 09:50:40 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2024-10-23 09:54:06 +0200 | euleritian | (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-10-23 09:54:36 +0200 | euleritian | (~euleritia@176.2.79.59) |
2024-10-23 09:59:14 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
2024-10-23 09:59:32 +0200 | <famubu> | Is there a way to find the space used |
2024-10-23 09:59:37 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 09:59:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2024-10-23 09:59:42 +0200 | <famubu> | needed to store a value in ahsekll? |
2024-10-23 09:59:59 +0200 | <famubu> | I had been trying to use https://hackage.haskell.org/package/heapsize-0.3.0.1/docs/HeapSize.html#v:recursiveSize |
2024-10-23 10:00:13 +0200 | <famubu> | But couldn't figure out how to print a value of `Heapsize Int` |
2024-10-23 10:00:46 +0200 | <haskellbridge> | <sm> maybe https://hackage.haskell.org/package/weigh ? |
2024-10-23 10:01:22 +0200 | <c_wraith> | famubu: why wouldn't you use closureSize? |
2024-10-23 10:01:50 +0200 | <c_wraith> | Oh, because it's not recursive. |
2024-10-23 10:01:52 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2024-10-23 10:02:06 +0200 | <c_wraith> | well, then, you'd have to use runHeapSize |
2024-10-23 10:05:13 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Quit: See you later! :)) |
2024-10-23 10:06:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-23 10:06:34 +0200 | <dontdieych2> | haskellbridge: how? |
2024-10-23 10:06:45 +0200 | <dontdieych2> | tomsmeding: thanks, it's working properly |
2024-10-23 10:07:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-23 10:07:26 +0200 | <dontdieych2> | haskellbridge: how? " dontdieych2: you could clean up a bit " |
2024-10-23 10:09:39 +0200 | <mauke> | the person speaking is actually sm |
2024-10-23 10:09:47 +0200 | <mauke> | haskellbridge is just a bridge bot |
2024-10-23 10:11:07 +0200 | <c_wraith> | > runHeapsize 30 $ recursiveSizeNF [1..10] -- Just 87 |
2024-10-23 10:11:09 +0200 | <lambdabot> | error: |
2024-10-23 10:11:09 +0200 | <lambdabot> | Variable not in scope: runHeapsize :: t1 -> t0 -> terror: |
2024-10-23 10:11:09 +0200 | <lambdabot> | Variable not in scope: recursiveSizeNF :: [a0] -> t0 |
2024-10-23 10:11:17 +0200 | <c_wraith> | oops, shouldn't have used > |
2024-10-23 10:11:18 +0200 | <c_wraith> | anyway |
2024-10-23 10:11:36 +0200 | <c_wraith> | use runHeapSize. That's what it's there for. |
2024-10-23 10:11:41 +0200 | <c_wraith> | err, runHeapsize |
2024-10-23 10:11:56 +0200 | <c_wraith> | though beware of its first parameter. It isn't documented, and it probably should have been |
2024-10-23 10:12:05 +0200 | <haskellbridge> | <sm> oh. dontdieych2, https://hackage.haskell.org/package/stack-clean-old or ncdu are good |
2024-10-23 10:12:16 +0200 | <c_wraith> | it's the initial size of the hash table it uses to prevent looping |
2024-10-23 10:14:00 +0200 | <famubu> | c_wraith: Thanks. That made it. |
2024-10-23 10:14:11 +0200 | <famubu> | yeah I too had been wondering what that argument was. |
2024-10-23 10:14:27 +0200 | <famubu> | hadn't looked at source |
2024-10-23 10:14:40 +0200 | <famubu> | (not that I would understand much anyway..) |
2024-10-23 10:15:36 +0200 | <c_wraith> | runHeapsize will return Nothing if the GC runs during it |
2024-10-23 10:16:03 +0200 | <dontdieych2> | haskellbridge: thanks |
2024-10-23 10:16:08 +0200 | <c_wraith> | so making the initial hash table large enough is a way to minimize the chances of that |
2024-10-23 10:17:14 +0200 | <c_wraith> | ideally you'd set it to the number of pointers that will be traversed. in practice, if you already knew that you probably wouldn't be using it |
2024-10-23 10:17:46 +0200 | <haskellbridge> | <sm> holy sh%* I have 95G in mine... joke's on me 😆 |
2024-10-23 10:18:52 +0200 | <haskellbridge> | <sm> 106G |
2024-10-23 10:20:38 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 272 seconds) |
2024-10-23 10:22:11 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-23 10:22:45 +0200 | euleritian | (~euleritia@176.2.79.59) (Ping timeout: 248 seconds) |
2024-10-23 10:23:03 +0200 | euleritian | (~euleritia@176.2.79.59) |
2024-10-23 10:23:23 +0200 | <haskellbridge> | <sm> .rustup: 1.6G; .cargo: 2.9G |
2024-10-23 10:24:07 +0200 | <haskellbridge> | <sm> .cache/ghcide: 2.8G; .ghc-wasm: 3.8G |
2024-10-23 10:24:28 +0200 | <haskellbridge> | <sm> .local/bin, mostly a bunch of fat haskell executables: 4.2G |
2024-10-23 10:24:48 +0200 | <haskellbridge> | <sm> .ghcup: 16G. 2G each for the last 7 ghc versions and another 2G for hls |
2024-10-23 10:26:45 +0200 | <haskellbridge> | <sm> .cabal: 23.6G - packages for ~15 ghc versions, averaging ~1.5G each, plus 1G for the hackage index |
2024-10-23 10:27:17 +0200 | euleritian | (~euleritia@176.2.79.59) (Ping timeout: 255 seconds) |
2024-10-23 10:27:39 +0200 | euleritian | (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) |
2024-10-23 10:28:27 +0200 | <haskellbridge> | <maerwald> now add nix and another 500 GB |
2024-10-23 10:29:58 +0200 | <haskellbridge> | <sm> and finally: .stack, 106G. 2.4G for setup-exe-cache; 2.7G for pantry; 6.7G for three old ghc versions from before I switched to ghcup; and.. 94G of stack snapshot packages, spread across ~200 obscure directories under snapshots. |
2024-10-23 10:30:44 +0200 | <haskellbridge> | <sm> I should clean up, but that's pretty bad. Compared to other languages, we look lazy |
2024-10-23 10:31:18 +0200 | <haskellbridge> | <sm> I mean, it's not a fair comparison because I use a ton of haskell versions and don't build much with the others. But I know they'll be smaller. |
2024-10-23 10:33:44 +0200 | eugenrh | (~eugenrh@user/eugenrh) (Quit: WeeChat 3.7.1) |
2024-10-23 10:35:33 +0200 | <haskellbridge> | <sm> cough, present company excepted |
2024-10-23 10:35:51 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
2024-10-23 10:36:59 +0200 | <haskellbridge> | <sm> ghcup tui is a big improvement, it gathers things in one place, you can see and delete easily |
2024-10-23 10:44:04 +0200 | <haskellbridge> | <sm> cleaned up a little too hard.. never mind |
2024-10-23 10:45:55 +0200 | <haskellbridge> | <sm> I guess packages (and big caches like ghcide's, haskell-wasm's etc) are the big thing not managed by ghcup |
2024-10-23 10:47:43 +0200 | <haskellbridge> | <maerwald> those things are hard to manage correctly and deletion of files is always a dangerous thing to do automatically |
2024-10-23 10:48:13 +0200 | <xelxebar> | Trying to understand Catamorphism laws: https://wiki.haskell.org/Catamorphisms#Laws |
2024-10-23 10:48:59 +0200 | <xelxebar> | Rather, I grok the definition of catamorphism in Haskell and also grok the cat theory definition. |
2024-10-23 10:49:21 +0200 | <xelxebar> | However, it's not entirely clear to me where the laws come from. |
2024-10-23 10:49:47 +0200 | <xelxebar> | I mean, cata-refl from above is pretty much Lambek's Theorem: https://ncatlab.org/nlab/show/initial+algebra+of+an+endofunctor#LambeksTheorem |
2024-10-23 10:50:40 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 10:50:43 +0200 | <xelxebar> | Are the cata laws essentially what guarantee its uniqueness? |
2024-10-23 10:50:53 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 10:51:23 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 10:51:50 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 10:52:38 +0200 | <xelxebar> | More generally, if I'm reading about cats, what should I be thinking about to come up with similar laws on my own? |
2024-10-23 10:53:18 +0200 | <xelxebar> | I'd like to *derive* the cata-* ones from the initial morphism definition. |
2024-10-23 10:53:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-23 10:55:07 +0200 | <Leary> | xelxebar: The first two should follow directly from the definition. The third one is a free theorem. Not sure about the last. |
2024-10-23 10:55:21 +0200 | <Leary> | @free cata :: (F a -> a) -> FixF -> a |
2024-10-23 10:55:21 +0200 | <lambdabot> | f . g = h . $map_F f => f . cata g = cata h |
2024-10-23 10:57:53 +0200 | euleritian | (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-23 10:58:19 +0200 | euleritian | (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) |
2024-10-23 11:00:43 +0200 | <xelxebar> | Leary: Yeah, they're each straightforward in isolation, but together do they imply the standard def? |
2024-10-23 11:02:24 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-23 11:02:44 +0200 | <xelxebar> | Even more, if you only knew the category theory def, how do you go about figuring out the necessary laws? |
2024-10-23 11:02:50 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-23 11:04:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-23 11:05:05 +0200 | euleritian | (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-23 11:05:50 +0200 | euleritian | (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) |
2024-10-23 11:13:53 +0200 | <Leary> | The line of questioning might need to be made more precise---I rather suspect the type signature alone already determines `cata`, and these properties follow. I'm not really sure why they're being called laws. I guess if you start with the properties alone in an untyped calculus, then `cata-cancel` alone gives you a definition for `cata`: just compose `outF` on the right. |
2024-10-23 11:17:41 +0200 | ridcully | (~ridcully@p57b52138.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2024-10-23 11:18:48 +0200 | <Leary> | As for how you'd arive at these properties, it's a matter of mathematical taste. There's no real methodology other than to ask "what properties do I want?" Here's my view: identity and composition laws are bread and butter; that's cata-refl and cata-compose. I think cata-fusion is what cat theorists might call a /naturality/ condition; it arises from not wanting `cata` to care about what we're folding down to. cata-cancel is the only one that actually r |
2024-10-23 11:18:49 +0200 | <Leary> | elates directly to the structure of a fixpoint; it essentially arises from the same logic that gives you an implementation for `cata`. |
2024-10-23 11:21:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-23 11:28:02 +0200 | euleritian | (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-23 11:28:32 +0200 | euleritian | (~euleritia@176.7.156.149) |
2024-10-23 11:37:31 +0200 | aforemny | (~aforemny@2001:9e8:6cf3:ad00:f9bd:7d15:f62e:4b46) aforemny |
2024-10-23 11:37:48 +0200 | JamesMowery42 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-10-23 11:38:43 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 245 seconds) |
2024-10-23 11:38:47 +0200 | JamesMowery42 | JamesMowery4 |
2024-10-23 11:41:13 +0200 | euleritian | (~euleritia@176.7.156.149) (Ping timeout: 245 seconds) |
2024-10-23 11:41:46 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
2024-10-23 11:47:27 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-23 11:52:17 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
2024-10-23 11:53:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-23 11:54:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2024-10-23 11:54:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-23 11:57:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-23 11:58:30 +0200 | ridcully | (~ridcully@p508acf65.dip0.t-ipconnect.de) ridcully |
2024-10-23 12:02:44 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-23 12:03:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-23 12:03:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) alexherbo2 |
2024-10-23 12:07:45 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-23 12:08:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2024-10-23 12:09:43 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-10-23 12:10:56 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-23 12:11:18 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-23 12:13:12 +0200 | <ash3en> | hi, can i avoid dependencies of a library if I just don't use functions that need e.g. template haskell in the library? so my program is free of template haskell as a dependency? |
2024-10-23 12:15:52 +0200 | <haskellbridge> | <magic_rb> ash3en: Without forking the library, no afaik |
2024-10-23 12:16:31 +0200 | <ash3en> | ok, dependencies are going wild, so i'm asking |
2024-10-23 12:16:51 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
2024-10-23 12:17:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 12:18:40 +0200 | <Leary> | ash3en: If your package is an executable, you can vendor a cut-down version of the dependency. You could also submit a PR to the dep splitting out the parts that need the transitive dep into a public sublibrary, so people who don't want to depend on it can avoid doing so. |
2024-10-23 12:19:20 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-23 12:19:41 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-23 12:20:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-23 12:20:22 +0200 | <ash3en> | thank you :) |
2024-10-23 12:20:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-23 12:20:59 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
2024-10-23 12:22:03 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |