Newest at the top
| 2025-12-20 18:16:29 +0100 | <monochrom> | (Then the HXT library (for XML) adds <|> to Arrow so you get Alternative+Arrow) |
| 2025-12-20 18:16:23 +0100 | <Franciman> | each pure function is an arrow |
| 2025-12-20 18:16:14 +0100 | <Franciman> | true, Arrows are a strange beast |
| 2025-12-20 18:15:38 +0100 | <monochrom> | (Arrow is stronger than Applicative.) |
| 2025-12-20 18:15:31 +0100 | trickard_ | trickard |
| 2025-12-20 18:14:39 +0100 | <monochrom> | If you have so much as Alternative, you can already think <|> as or on steroid, <*> as and on steroid, so yeah, especially true for parsing. |
| 2025-12-20 18:14:29 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-20 18:12:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 18:08:33 +0100 | <monochrom> | Then again, dragons in Chinese mythology are long, too. :) |
| 2025-12-20 18:08:28 +0100 | <Franciman> | i wonder whether arrows are more conveniently seen as logic programs |
| 2025-12-20 18:08:08 +0100 | <Franciman> | hi, do FRP and logic programming mix well? Do you know of any approach to FRP based on logic programming in haskell? |
| 2025-12-20 18:07:31 +0100 | <monochrom> | https://en.wikipedia.org/wiki/Loongson Ah, Loong is the Chinese character for dragon. |
| 2025-12-20 18:06:07 +0100 | <monochrom> | Ah, a new RISC arch. (Ironically, it has two 32-bit versions and a 64-bit version.) |
| 2025-12-20 18:05:11 +0100 | <ski> | and `LngArch' is `32' bits |
| 2025-12-20 18:02:34 +0100 | <monochrom> | What is LoongArch? Is it like this: LongArch means 64 bits, LoongArch means 128 bits? |
| 2025-12-20 18:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 18:00:24 +0100 | <monochrom> | Oh w00t new GHC! |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-20 17:56:29 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 17:56:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:55:39 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 17:52:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-20 17:52:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-20 17:48:01 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 17:47:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:44:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-20 17:38:23 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 17:37:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 17:32:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:30:09 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 17:29:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 17:28:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-20 17:25:53 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 17:25:53 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 17:23:21 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 17:23:00 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Read error: Connection reset by peer) |
| 2025-12-20 17:21:10 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) () |
| 2025-12-20 17:20:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 17:20:48 +0100 | annamalai | (~annamalai@157.32.143.203) annamalai |
| 2025-12-20 17:20:25 +0100 | annamalai | (~annamalai@157.32.142.48) (Ping timeout: 264 seconds) |
| 2025-12-20 17:16:38 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 17:16:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:12:09 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-20 17:10:54 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:ef44:34df:8bf4:c9da) (Remote host closed the connection) |
| 2025-12-20 17:10:03 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-12-20 17:08:32 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-12-20 17:07:44 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-20 17:07:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |