Newest at the top
| 2024-05-19 01:11:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2024-05-19 01:10:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc996547f0aaefed2014.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-05-19 01:05:46 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-05-19 01:04:01 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) |
| 2024-05-19 01:01:57 +0200 | aryah | (~aryah@141-138-36-145.dsl.iskon.hr) |
| 2024-05-19 01:01:31 +0200 | phma | (~phma@host-67-44-208-131.hnremote.net) |
| 2024-05-19 01:01:03 +0200 | phma | (~phma@2001:5b0:210d:fcc8:b4c9:7a8c:a02a:3e86) (Read error: Connection reset by peer) |
| 2024-05-19 00:54:00 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-19 00:53:16 +0200 | euleritian | (~euleritia@p200300d40f4af8005abbe7e2e78f892d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-19 00:46:47 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-19 00:46:32 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-05-19 00:29:27 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
| 2024-05-19 00:16:52 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-05-19 00:15:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-19 00:15:00 +0200 | aryah | (~aryah@52-123.dsl.iskon.hr) (Ping timeout: 260 seconds) |
| 2024-05-19 00:13:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-05-19 00:09:24 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-05-19 00:05:16 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-19 00:04:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-19 00:03:22 +0200 | kadir | (~kadir@88.251.51.100) (Quit: WeeChat 4.2.2) |
| 2024-05-19 00:02:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-19 00:02:38 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Remote host closed the connection) |
| 2024-05-19 00:01:57 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-19 00:01:35 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-18 23:56:17 +0200 | <edrx> | geekosaur: done! I'll have to clean up my script to talk to lambdabot someday, but the ugly prototype works =) |
| 2024-05-18 23:53:39 +0200 | <geekosaur> | lambdabot itself is fine. one of its dependencies was never updated for Semigroup, iirc |
| 2024-05-18 23:53:29 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-05-18 23:53:24 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-18 23:52:46 +0200 | <EvanR> | lambdabot is a living program, it must be preserved for future generations |
| 2024-05-18 23:52:23 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 261 seconds) |
| 2024-05-18 23:50:49 +0200 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-18 23:50:13 +0200 | <edrx> | ski: thanks =) |
| 2024-05-18 23:50:07 +0200 | <edrx> | let me try |
| 2024-05-18 23:49:27 +0200 | <geekosaur> | you can also talk to it in /query |
| 2024-05-18 23:49:20 +0200 | <ski> | you can check the "Translations" part of <https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-470003.14> (and <https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-420003.11> for list comprehensions) |
| 2024-05-18 23:49:11 +0200 | <geekosaur> | you can run lambdabot locally, although installing it is a bit of a pain currently |
| 2024-05-18 23:48:14 +0200 | <edrx> | when we have practice it is trivial |
| 2024-05-18 23:47:44 +0200 | <ski> | it's not to hard to run `undo' in your head |
| 2024-05-18 23:43:59 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-05-18 23:43:28 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Read error: Connection reset by peer) |
| 2024-05-18 23:42:45 +0200 | <lambdabot> | [(0,1),(0,2),(1,2)] |
| 2024-05-18 23:42:43 +0200 | <ski> | > (\a o -> [(a,b) | let b = a + o,a+b < 4]) <$> [0,1] <*>> [1,2] |
| 2024-05-18 23:42:20 +0200 | <mauke> | I don't think so |
| 2024-05-18 23:41:37 +0200 | <edrx> | is there an easy way to run that translation from a ghci repl? |
| 2024-05-18 23:40:33 +0200 | <edrx> | that's super neat! when I learned that I had to do the translation by hand... |
| 2024-05-18 23:40:13 +0200 | <EvanR> | magnificent desolation |
| 2024-05-18 23:39:48 +0200 | <mauke> | there. now it's art. |
| 2024-05-18 23:39:40 +0200 | <lambdabot> | ap ((>>=) . liftM2 (:) (1 +) (return . (2 +))) (ap (ap . (((>>) . guard) .) . flip flip 4 . ((<) .) . (+)) ((return .) . (,))) =<< [0, 1] |
| 2024-05-18 23:39:39 +0200 | <mauke> | @. pl undo do a <- [0,1]; b <- [a+1,a+2]; guard (a+b < 4); return (a,b) |
| 2024-05-18 23:39:30 +0200 | <lambdabot> | [0, 1] >>= \ a -> [a + 1, a + 2] >>= \ b -> guard (a + b < 4) >> return (a, b) |