Newest at the top
| 2026-03-04 22:00:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:59:35 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-04 21:59:10 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-04 21:58:36 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-03-04 21:55:54 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-04 21:53:33 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2026-03-04 21:49:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 21:45:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-03-04 21:44:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:42:56 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-04 21:38:20 +0100 | <monochrom> | On the bright side, "@define x=0" is auto-corrected to "@undefine" so it is like the data structure that supports only delete. >:) |
| 2026-03-04 21:37:06 +0100 | <monochrom> | :( |
| 2026-03-04 21:37:02 +0100 | <lambdabot> | error: [GHC-88464] Variable not in scope: ego |
| 2026-03-04 21:37:01 +0100 | <int-e> | :t ego |
| 2026-03-04 21:36:59 +0100 | <lambdabot> | Undefined. |
| 2026-03-04 21:36:59 +0100 | <int-e> | @undef |
| 2026-03-04 21:36:18 +0100 | <monochrom> | :) |
| 2026-03-04 21:36:14 +0100 | <lambdabot> | *Exception: <<timeout>> |
| 2026-03-04 21:36:06 +0100 | <monochrom> | > ego 5 |
| 2026-03-04 21:33:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 21:32:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-04 21:31:49 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-04 21:30:01 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-03-04 21:29:04 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-03-04 21:28:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:28:00 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 264 seconds) |
| 2026-03-04 21:22:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-04 21:20:08 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) (Ping timeout: 268 seconds) |
| 2026-03-04 21:17:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:15:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 21:12:33 +0100 | <lambdabot> | t |
| 2026-03-04 21:12:32 +0100 | <EvanR> | :t ego |
| 2026-03-04 21:12:09 +0100 | <lambdabot> | monochrom says: I am 17-ary, going on 18-ary, I can take curry of you |
| 2026-03-04 21:12:09 +0100 | <monochrom> | @quote monochrom 17 |
| 2026-03-04 21:11:57 +0100 | <lambdabot> | a -> a |
| 2026-03-04 21:11:56 +0100 | <mauke> | :t id `id` id |
| 2026-03-04 21:10:35 +0100 | <yahb2> | id.id :: c -> c |
| 2026-03-04 21:10:35 +0100 | <aka_dude> | % :t id.id |
| 2026-03-04 21:10:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 21:09:15 +0100 | <ncf> | katakana |
| 2026-03-04 21:08:02 +0100 | <geekosaur> | that was left over from someone experimenting with hiragana symbols and discovering that, being caseless, they can't be used as constructor or type names |
| 2026-03-04 21:07:52 +0100 | <monochrom> | push apply etc were using CPS to emulate a stack. |
| 2026-03-04 21:04:49 +0100 | <Rembane> | Something like this I reckon: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2026-03-04 21:03:12 +0100 | <EvanR> | haskell is best written in the original klingon |
| 2026-03-04 21:02:46 +0100 | <aka_dude> | A Clingon speaker must have defined these, I see |
| 2026-03-04 21:02:46 +0100 | <monochrom> | cf. the tragedy of the commons |
| 2026-03-04 21:02:16 +0100 | <mauke> | % :cd .. |
| 2026-03-04 21:02:05 +0100 | <yahb2> | type Xワ :: * ; data Xワ = Xワ ; -- Defined at <interactive>:21:1 |
| 2026-03-04 21:02:05 +0100 | <aka_dude> | % :info Xワ |
| 2026-03-04 21:01:57 +0100 | <aka_dude> | :info Xワ |