Newest at the top
| 2026-05-02 00:54:30 +0000 | LdyIQ | (~SaintGena@user/SaintGenavieve) SaintGenavieve |
| 2026-05-02 00:53:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:47:05 +0000 | _\_ | (~o@user/offon) offon |
| 2026-05-02 00:46:38 +0000 | _\_ | (~o@user/offon) (Quit: ___) |
| 2026-05-02 00:46:04 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:39:19 +0000 | bkani_ | (~bkani@user/bkani) (Ping timeout: 264 seconds) |
| 2026-05-02 00:36:58 +0000 | acidjnk | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:36:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-02 00:35:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) |
| 2026-05-02 00:35:03 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-05-02 00:33:46 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) |
| 2026-05-02 00:30:38 +0000 | koraynil1 | koraynilay |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@user/straybits) straybits |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@d205-206-131-33.abhsia.telus.net) (Changing host) |
| 2026-05-02 00:28:00 +0000 | straybits | (~straybits@d205-206-131-33.abhsia.telus.net) |
| 2026-05-02 00:24:05 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 00:23:48 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 00:23:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-02 00:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:14:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-02 00:14:07 +0000 | koraynilay | (~koraynila@user/koraynilay) (Quit: WeeChat 4.9.0) |
| 2026-05-02 00:10:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-02 00:09:31 +0000 | koraynil1 | (~koraynila@user/koraynilay) koraynilay |
| 2026-05-02 00:04:25 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-02 00:00:56 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) (Changing host) |
| 2026-05-02 00:00:43 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) |
| 2026-05-02 00:00:26 +0000 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-05-02 00:00:10 +0000 | koraynilay | (~koraynila@user/koraynilay) koraynilay |
| 2026-05-01 23:57:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-01 23:57:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 23:53:26 +0000 | <EvanR> | ReaderT over IO is also clutch |
| 2026-05-01 23:53:02 +0000 | <EvanR> | that's a good monad! |
| 2026-05-01 23:52:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 23:49:58 +0000 | <mra> | oh, cool! that makes sense. i see it's also called the environment monad, which is basically what i'm using it for |
| 2026-05-01 23:48:46 +0000 | <int-e> | mra: If you've ever encountered "The Monad Reader", it's a pun on this monad, the reader monad. |
| 2026-05-01 23:47:35 +0000 | <lambdabot> | r -> a |
| 2026-05-01 23:47:35 +0000 | <int-e> | @unmtl Reader r a |
| 2026-05-01 23:46:56 +0000 | <mra> | quick question: given some fixed type Foo, the type Foo -> a is a monad, with return a = \_ -> a and bind a f = \foo -> f (a foo) foo. does this monad have a name? |
| 2026-05-01 23:45:22 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 2026-05-01 23:44:47 +0000 | Googulator25 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-05-01 23:41:34 +0000 | Googulator81 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 23:41:09 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-05-01 23:34:31 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2026-05-01 23:29:44 +0000 | layline-away | layline_ |
| 2026-05-01 23:26:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 23:22:49 +0000 | layline_ | layline-away |
| 2026-05-01 23:21:13 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 272 seconds) |
| 2026-05-01 23:19:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |