2024/10/23

Newest at the top

2024-10-23 07:18:39 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 07:07:32 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-23 07:05:38 +0200cyphase(~cyphase@user/cyphase) cyphase
2024-10-23 07:03:16 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 06:57:51 +0200simendsjo(~user@84.211.91.108) (Ping timeout: 265 seconds)
2024-10-23 06:50:50 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-23 06:46:22 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 06:40:54 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-10-23 06:39:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-23 06:38:15 +0200michalz(~michalz@185.246.207.215)
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:30:24 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-23 06:30:01 +0200kilolympus(~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus
2024-10-23 06:26:26 +0200kilolympus(~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection)
2024-10-23 06:24:17 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 248 seconds)
2024-10-23 06:23:35 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 06:12:28 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-23 06:08:11 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 06:06:12 +0200alp(~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection)
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:04:24 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-23 05:59:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-10-23 05:57:01 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 05:54:29 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-23 05:52:29 +0200hgolden_(~hgolden@169.150.203.36) (Ping timeout: 260 seconds)
2024-10-23 05:49:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 05:49:53 +0200hgolden__(~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden
2024-10-23 05:39:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-23 05:34:35 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
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:33:01 +0200 <geekosaur> I've seen a few, but yeh what you mention is most common ime
2024-10-23 05:27:43 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-23 05:23:27 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
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:19:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 05:18:53 +0200alp(~alp@2001:861:e3d6:8f80:1068:2132:b192:21de)
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:08:22 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-23 05:03:47 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 05:02:46 +0200rosco(~rosco@60.53.7.10) rosco
2024-10-23 04:52:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-23 04:45:46 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-23 04:42:41 +0200td_(~td@i53870909.versanet.de) td_
2024-10-23 04:40:52 +0200td_(~td@i53870910.versanet.de) (Ping timeout: 252 seconds)
2024-10-23 04:35:04 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-23 04:33:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-23 04:32:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-10-23 04:32:12 +0200jove(~quassel@user/jove) jove
2024-10-23 04:30:21 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
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?