Newest at the top
| 2026-04-22 07:47:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-22 07:45:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-22 07:34:22 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-04-22 07:32:45 +0000 | <ski> | gentauro : is the response to the `/help' command, at the prompt, in faint weight ? |
| 2026-04-22 07:32:00 +0000 | <ski> | (maybe the upper case lambda refers to System F ? or perhaps some linear algebra, or maybe some other theory ?) |
| 2026-04-22 07:30:52 +0000 | <ski> | gentauro : is "Λ-gent" relating to lambda calculus, in some way ? |
| 2026-04-22 07:29:33 +0000 | <ski> | gentauro : hm, i meant that your `Show' instance ought to be a separate function, named something different, leaving `Show' to be composable with other `Show' instances (try `show' on a `Maybe SelectGraphicRendition', a `Map String SelectGraphicRendition', or a `[SelectGraphicRendition]', e.g.), so you can use `Show' for debugging |
| 2026-04-22 07:16:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-22 07:15:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-22 07:11:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 07:06:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 07:04:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 06:58:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:58:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:56:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 06:52:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 06:51:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:40:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:36:55 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-22 06:36:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 06:36:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:32:45 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-22 06:31:28 +0000 | <dminuoso> | If one caught a bottom, without any knowledge of its provenance, how could one reasonably recover anyway |
| 2026-04-22 06:31:07 +0000 | <dminuoso> | But perhaps the case can be made that outright crashing a program is a better behavior than being easily caught. |
| 2026-04-22 06:30:49 +0000 | <dminuoso> | gentauro: It is quite curious how Haskell on one hand strong advertises catching bugs with a type system, and then at the same time offers bottom in so many ways, even across our standard libraries. |
| 2026-04-22 06:27:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:26:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 06:21:32 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:19:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-22 06:18:41 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 06:18:25 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:16:15 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:16:00 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:13:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 06:11:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-22 06:10:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 06:10:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-04-22 06:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:54:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 05:52:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 05:51:45 +0000 | <gentauro> | ski: but I would say it looks pretty cool -> https://imgur.com/a/gent-looking-cool-X49HD5E (colourblind here so, don't take my word for it) |
| 2026-04-22 05:50:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:49:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-22 05:44:34 +0000 | <gentauro> | ski: I have no clue |
| 2026-04-22 05:40:15 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-22 05:39:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-22 05:37:21 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 05:37:07 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |