Logs: liberachat/#haskell
| 2026-02-08 17:27:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 17:30:09 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 17:31:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-08 17:34:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 17:35:27 | → | tromp joins (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 2026-02-08 17:38:34 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-08 17:39:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-08 17:48:42 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-08 17:50:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 17:54:56 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 17:55:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-08 17:56:33 | jmcantrell_ | is now known as jmcantrell |
| 2026-02-08 17:58:11 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 18:06:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 18:08:54 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 18:11:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-08 18:12:13 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 18:21:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 18:22:24 | ski | was thinking category |
| 2026-02-08 18:22:43 | × | crazazy quits (crazazy@tilde.town) (Ping timeout: 265 seconds) |
| 2026-02-08 18:27:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 18:27:37 | → | crazazy joins (crazazy@tilde.town) |
| 2026-02-08 18:31:42 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-08 18:31:50 | <tomsmeding> | chaos computer club? |
| 2026-02-08 18:35:07 | <Rembane> | +1 |
| 2026-02-08 18:35:14 | <Rembane> | Or chaos computer congress |
| 2026-02-08 18:35:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 18:38:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-08 18:39:12 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-02-08 18:40:06 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 2026-02-08 18:41:38 | <probie> | It's the CNU C Compiler |
| 2026-02-08 18:42:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-08 18:42:17 | <haskellbridge> | <ijouw> There is also the chaos communication camp |
| 2026-02-08 18:53:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 18:55:21 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-02-08 18:58:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-08 19:01:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-02-08 19:08:51 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-08 19:09:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 19:11:31 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:949b:6066:570d:3caf) (Remote host closed the connection) |
| 2026-02-08 19:12:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-08 19:14:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 19:16:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-08 19:17:52 | → | myme joins (~myme@2a01:799:d5e:5f00:30aa:7e47:3c40:13bd) |
| 2026-02-08 19:20:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-08 19:21:54 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 19:23:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-08 19:24:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 19:26:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 2026-02-08 19:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-08 19:34:21 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-02-08 19:36:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 19:40:06 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 19:40:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 19:43:25 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 19:43:25 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-02-08 19:43:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2026-02-08 19:44:02 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-08 19:45:10 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 19:45:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-08 19:46:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-02-08 19:48:28 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 19:53:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-08 19:56:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 19:57:10 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:01:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-08 20:01:32 | × | _JusSx_ quits (~jussx@78.213.113.227) (Ping timeout: 256 seconds) |
| 2026-02-08 20:02:31 | → | _JusSx_ joins (~jussx@37.163.117.200) |
| 2026-02-08 20:03:54 | <mesaoptimizer> | I read that as concentration camp but I have been thinking about Gentzen a lot lately |
| 2026-02-08 20:04:21 | <mesaoptimizer> | also W40K because "chaos" |
| 2026-02-08 20:08:30 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 20:08:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-02-08 20:09:55 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:12:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 20:18:18 | → | Square2 joins (~Square@user/square) |
| 2026-02-08 20:19:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-08 20:23:35 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 20:25:13 | × | _JusSx_ quits (~jussx@37.163.117.200) (Ping timeout: 264 seconds) |
| 2026-02-08 20:26:30 | → | _JusSx_ joins (~jussx@37.163.117.200) |
| 2026-02-08 20:28:50 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:30:12 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-02-08 20:30:18 | <chromoblob> | data Timed a = Later (Timed a) | Now (a Timed) |
| 2026-02-08 20:30:18 | <chromoblob> | data List1 a t = Empty1 | Cons1 (t a) (t (List1 a)) |
| 2026-02-08 20:30:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 20:30:26 | <chromoblob> | this can't work, right? |
| 2026-02-08 20:30:26 | → | oats joins (~oats@user/oats) |
| 2026-02-08 20:30:44 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:7c7b:26be:3fe9:d994) |
| 2026-02-08 20:31:13 | <L29Ah> | right |
| 2026-02-08 20:31:57 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 20:35:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-08 20:38:05 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:40:15 | trickard_ | is now known as trickard |
| 2026-02-08 20:41:25 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 20:41:36 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 20:45:04 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 20:46:49 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-02-08 20:47:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 20:52:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-08 20:53:18 | tomsmeding | is not sure what "this" refers to |
| 2026-02-08 20:54:18 | × | _JusSx_ quits (~jussx@37.163.117.200) (Quit: leaving) |
All times are in UTC.