Newest at the top
| 2026-03-28 14:31:19 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 14:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 14:23:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 14:22:12 +0100 | <gentauro> | nice |
| 2026-03-28 14:22:03 +0100 | <lambdabot> | (\ x y -> take y x) |
| 2026-03-28 14:22:03 +0100 | <ski> | @unpl flip take |
| 2026-03-28 14:22:03 +0100 | gentauro | un-pointfree |
| 2026-03-28 14:21:44 +0100 | <gentauro> | is there a tool that can convert `flip take` back to `\ xs n -> take n xs`? |
| 2026-03-28 14:20:28 +0100 | <lambdabot> | flip take |
| 2026-03-28 14:20:28 +0100 | <gentauro> | @pl \xs n -> take n xs |
| 2026-03-28 14:20:24 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 2026-03-28 14:20:23 +0100 | <gentauro> | > @pl \xs n -> take n xs |
| 2026-03-28 14:20:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-28 14:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 14:07:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:59:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-28 13:55:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:54:14 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2026-03-28 13:53:41 +0100 | Freakie | (~Freakie@185.45.22.133) |
| 2026-03-28 13:52:57 +0100 | luke | (~luke@user/luke) (Ping timeout: 248 seconds) |
| 2026-03-28 13:50:33 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-28 13:48:43 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:44:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 13:44:08 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-28 13:42:56 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: leaving) |
| 2026-03-28 13:40:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:39:34 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2026-03-28 13:32:33 +0100 | luke | (~luke@user/luke) (Ping timeout: 268 seconds) |
| 2026-03-28 13:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 13:27:41 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:24:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:22:15 +0100 | luke | (~luke@user/luke) (Ping timeout: 245 seconds) |
| 2026-03-28 13:17:58 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:16:36 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-28 13:14:51 +0100 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2026-03-28 13:14:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-28 13:13:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 13:13:26 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-28 13:06:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 12:58:02 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-28 12:57:31 +0100 | <aka_dude> | srk: already did |
| 2026-03-28 12:57:19 +0100 | <srk> | aka_dude: might want to throw in justStaticExecutables |
| 2026-03-28 12:56:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-28 12:55:42 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-28 12:54:46 +0100 | AlexNoo_ | AlexNoo |
| 2026-03-28 12:54:25 +0100 | <aka_dude> | Unfortunately, by default nixpkgs produces large closure for Haskell builds, and it all ends up in the image. I have yet to find a simple way to build slim Haskell images with Nix |
| 2026-03-28 12:52:42 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2026-03-28 12:51:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 12:41:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 12:36:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |