Newest at the top
| 2026-03-01 21:10:40 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-01 21:07:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 21:05:43 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-01 21:03:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-01 21:03:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:58:50 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-01 20:55:22 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 20:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 20:49:45 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-03-01 20:49:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-01 20:48:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-03-01 20:48:21 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 20:47:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:39:59 +0100 | Guest2441 | (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) (Client Quit) |
| 2026-03-01 20:39:20 +0100 | Quokka | Guest2441 |
| 2026-03-01 20:38:57 +0100 | Quokka | (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) |
| 2026-03-01 20:36:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 20:33:22 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-01 20:32:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 20:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:15:21 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 20:08:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-03-01 20:05:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 20:03:05 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-03-01 20:02:22 +0100 | <monochrom> | It has been already mzero for MonadPlus, so maybe we could have called it azero. |
| 2026-03-01 19:58:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:56:14 +0100 | <EvanR> | E = empty | just Char | E <> E | E <|> E | many E, "these are the only ways to construct a regular expression --conway" xD |
| 2026-03-01 19:56:05 +0100 | <c_wraith> | but yes, it was realized pretty early on that applicative+alternative gives you context-free grammars |
| 2026-03-01 19:55:52 +0100 | <monochrom> | They came from all over the places. many, some, <|> are clearly from parsing and regex. You would then like to say "fail" for the identity of <|>, but "fail" is already taken, so the analogy went sideways and if you think of <|> as set union then its identity is the empty set. (Clearly, it is not the empty string.) |
| 2026-03-01 19:54:58 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-01 19:52:53 +0100 | <c_wraith> | they were based on parsing, more broadly |
| 2026-03-01 19:52:41 +0100 | <EvanR> | hold on... were the names of empty, many, some, and <|> based on regex |
| 2026-03-01 19:50:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-01 19:50:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-01 19:49:31 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-01 19:48:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:47:31 +0100 | <monochrom> | https://hackage.haskell.org/package/regex-applicative has nicer syntax. (You just use Alternative operators!) |
| 2026-03-01 19:47:23 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-03-01 19:45:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-01 19:43:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:42:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-01 19:42:23 +0100 | <EvanR> | the tiny game jam was kind of amazing |
| 2026-03-01 19:40:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-01 19:38:47 +0100 | <haskellbridge> | <sm> and of course so can Haskell https://github.com/haskell-game/tiny-games-hs |
| 2026-03-01 19:38:31 +0100 | <EvanR> | Milan_Vanca, a fun exercise in SDL or raylib etc |
| 2026-03-01 19:37:55 +0100 | <haskellbridge> | <sm> C can too! https://needleful.net/blog/2024/01/arthur_whitney.html :) |
| 2026-03-01 19:37:52 +0100 | <Milan_Vanca> | Imagine binary encoded as RGB bitmap... |
| 2026-03-01 19:37:23 +0100 | <EvanR> | virtuous! |
| 2026-03-01 19:37:13 +0100 | <EvanR> | APL code has the same compaction, it's so small it occupies the top left 2% of my screen |