Newest at the top
| 2026-05-01 15:23:40 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-01 15:23:05 +0000 | Server | +Cnt |
| 2026-05-01 15:23:01 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-05-01 15:19:57 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-01 15:18:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 15:14:20 +0000 | ChanServ | +v yahb2 |
| 2026-05-01 15:14:20 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-05-01 15:14:18 +0000 | gentauro | oh, I didn't wrote my Monoid instance |
| 2026-05-01 15:13:53 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2026-05-01 15:13:25 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 276 seconds) |
| 2026-05-01 15:13:06 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 15:13:06 +0000 | <gentauro> | I guess I end up with `foldl (\ acc x -> acc <> x) mempty` which does the trick |
| 2026-05-01 15:10:51 +0000 | <haskellbridge> | <ijouw> yes |
| 2026-05-01 15:10:36 +0000 | <gentauro> | Leary: like `<|>`? |
| 2026-05-01 15:10:22 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-05-01 15:10:00 +0000 | <gentauro> | ijouw yeah, the LSP keeps complaining about those. However, as I use `{-# OPTIONS_GHC -Wall -Werror #-}` per file, I get all kind of strange error when compiling :( |
| 2026-05-01 15:09:40 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-01 15:09:39 +0000 | <Leary> | gentauro: `Alternative` provides another generisation of `++` (and `[]`) which is likely more appropriate if it type checks. |
| 2026-05-01 15:08:28 +0000 | <haskellbridge> | <ijouw> There is also foldl' |
| 2026-05-01 15:07:40 +0000 | <yahb2> | foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2026-05-01 15:07:39 +0000 | <gentauro> | % :t foldl |
| 2026-05-01 15:07:06 +0000 | <yahb2> | foldl1 :: Foldable t => (a -> a -> a) -> t a -> a |
| 2026-05-01 15:07:06 +0000 | <gentauro> | % :t foldl1 |
| 2026-05-01 15:00:58 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 15:00:19 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-05-01 14:55:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-01 14:54:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:49:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:46:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-05-01 14:44:03 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 14:39:40 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 14:38:58 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:38:20 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 14:37:56 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:37:48 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2026-05-01 14:37:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:36:28 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2026-05-01 14:36:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-01 14:31:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-01 14:30:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:28:49 +0000 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 2026-05-01 14:28:21 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2026-05-01 14:27:06 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-05-01 14:27:01 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 14:26:56 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-05-01 14:23:12 +0000 | <gentauro> | 👍 |
| 2026-05-01 14:23:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 14:22:28 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.8.1) |
| 2026-05-01 14:18:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:17:54 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |