Newest at the top
| 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 |
| 2026-04-22 20:27:56 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-22 20:27:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:23:05 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 20:22:47 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:20:16 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Ping timeout: 244 seconds) |
| 2026-04-22 20:16:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 20:14:09 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-22 20:11:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:10:43 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-22 20:09:42 +0000 | lewisbrown | (~user@user/lewisbrown) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-22 20:01:14 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-22 20:00:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 19:58:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-22 19:58:24 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-22 19:55:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 19:44:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |