Newest at the top
| 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 |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) (Changing host) |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) |
| 2026-04-22 21:04:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 21:02:52 +0000 | digitteknohippie | Digit |
| 2026-04-22 20:59:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:57:10 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-04-22 20:55:00 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 20:54:47 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 20:54:46 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:54:05 +0000 | tok | (~user@user/tok) tok |
| 2026-04-22 20:51:28 +0000 | digitteknohippie | (~user@user/digit) Digit |
| 2026-04-22 20:49:21 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 20:48:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 20:46:06 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2026-04-22 20:43:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:32:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 20:30:57 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-04-22 20:30:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-22 20:30:27 +0000 | <EvanR> | or homotopy type theory sauce |
| 2026-04-22 20:29:45 +0000 | <EvanR> | though I now see my old suggestion to add "functions" to HTML would then need some dhall sauce or lean sauce to not ruin that |
| 2026-04-22 20:29:04 +0000 | <EvanR> | it's widely deployed |
| 2026-04-22 20:28:57 +0000 | <EvanR> | monochrom, also HTML has no bottoms |