Newest at the top
| 2024-10-15 01:20:05 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-10-15 01:17:31 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 01:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 01:16:57 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-15 01:14:45 +0200 | <sam113101> | 0..999 |> Enum.filter(fn x -> rem(x, 3) == 0 || rem(x, 5) == 0 end) |> Enum.sum |
| 2024-10-15 01:14:43 +0200 | <sam113101> | that's elixir: |
| 2024-10-15 01:13:50 +0200 | <sam113101> | (that was ruby btw) |
| 2024-10-15 01:11:51 +0200 | <sam113101> | (0...1000).filter { |x| x % 3 == 0 || x % 5 == 0 }.sum |
| 2024-10-15 01:11:49 +0200 | <sam113101> | how would you write this, first the idiomatic way (for haskell), and second in a way that preserves the "flow", i.e. from left to right |
| 2024-10-15 01:10:43 +0200 | <haskellbridge> | <sm> Do go on. :) |
| 2024-10-15 01:10:34 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:09:18 +0200 | <sam113101> | sorry it's me again with the same question as the other day |
| 2024-10-15 01:07:11 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 265 seconds) |
| 2024-10-15 01:07:10 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 01:07:09 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 01:06:43 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-10-15 01:04:17 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-15 01:03:51 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:00:36 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-15 01:00:26 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-10-15 00:56:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:56:11 +0200 | todi_away | (~todi@5.154.181.23) (Read error: Connection reset by peer) |
| 2024-10-15 00:55:58 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 00:55:37 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 00:54:57 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-10-15 00:53:55 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-10-15 00:53:42 +0200 | st_aldini1 | st_aldini |
| 2024-10-15 00:53:42 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
| 2024-10-15 00:52:45 +0200 | todi_away | (~todi@5.154.181.23) |
| 2024-10-15 00:51:50 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 00:51:12 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-15 00:48:24 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-10-15 00:46:47 +0200 | <dolio> | Seems very inefficient. |
| 2024-10-15 00:45:48 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:45:43 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Ping timeout: 264 seconds) |
| 2024-10-15 00:45:22 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) (Read error: Connection reset by peer) |
| 2024-10-15 00:44:33 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:40:45 +0200 | <monochrom> | And that's for (>>=). @_@ |
| 2024-10-15 00:40:21 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 00:40:15 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2024-10-15 00:40:15 +0200 | <monochrom> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> ((b -> s) -> b) |
| 2024-10-15 00:40:03 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Ping timeout: 276 seconds) |
| 2024-10-15 00:39:16 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:38:34 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-15 00:37:23 +0200 | <yin> | i had little trouble with Cont. I have Tardis on my todo list |
| 2024-10-15 00:33:39 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 00:30:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-15 00:29:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |