Newest at the top
| 2026-04-22 23:05:17 +0000 | Guest12 | (~Guest78@2a02:8084:1:3f80:4ad3:165:cd50:2b7a) |
| 2026-04-22 23:01:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 22:57:48 +0000 | <dibblego> | newtype Prism'' a b = Prism'' (Prism' a b) -- does anything like this exist as a data type around a type synonym? |
| 2026-04-22 22:56:30 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-22 22:54:51 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-22 22:54:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:53:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-22 22:53:04 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-22 22:52:46 +0000 | Pozyomka_ | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-04-22 22:43:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 22:41:56 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-22 22:40:50 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-22 22:38:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:34:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-22 22:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-22 22:22:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:17:02 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-22 22:14:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-22 22:10:53 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-22 22:10:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 22:10:05 +0000 | yin | (~zero@user/zero) zero |
| 2026-04-22 22:05:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:04:21 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-04-22 22:02:38 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-22 21:58:55 +0000 | yin | (~zero@user/zero) (Ping timeout: 245 seconds) |
| 2026-04-22 21:58:35 +0000 | <EvanR> | lol |
| 2026-04-22 21:57:18 +0000 | <monochrom> | one side is like "whadayamean programming language", the other "whadayamean dumb" |
| 2026-04-22 21:56:48 +0000 | <monochrom> | No I think it angers both camps. :) |
| 2026-04-22 21:56:19 +0000 | <EvanR> | this ought to satisfy either camp |
| 2026-04-22 21:55:42 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 21:54:49 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Ping timeout: 248 seconds) |
| 2026-04-22 21:54:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 21:54:07 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Ping timeout: 276 seconds) |
| 2026-04-22 21:52:10 +0000 | <EvanR> | HTML is just a dumb programming language |
| 2026-04-22 21:51:56 +0000 | <monochrom> | (facetious in implying "html is a programming language too" and starting WW3) |
| 2026-04-22 21:51:05 +0000 | <monochrom> | EvanR: Yeah I thought about saying "I'm going to be facetious, html and css have no bottoms either, are you happy now?" :) |
| 2026-04-22 21:49:45 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 21:47:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 21:38:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 21:34:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 21:33:09 +0000 | <haskellbridge> | <Liamzee> man, this webdev stuff is nuts, you can have Haskell be a secure backend over multiple clients, and vibecode the client |
| 2026-04-22 21:32:42 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:32:35 +0000 | <haskellbridge> | <Liamzee> does anyone know if Discord mirrors are now legal? |
| 2026-04-22 21:28:50 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 21:26:39 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-22 21:21:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 21:20:53 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:16:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-22 21:14:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |