Newest at the top
| 2025-12-01 15:36:16 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 15:35:09 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
| 2025-12-01 15:31:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-12-01 15:20:44 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-01 15:17:00 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-01 15:16:20 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-12-01 15:13:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 15:13:05 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-12-01 15:10:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-01 15:10:18 +0100 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 256 seconds) |
| 2025-12-01 15:06:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 14:57:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-01 14:54:49 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-01 14:54:11 +0100 | __monty__ | (~toonn@user/toonn) (Client Quit) |
| 2025-12-01 14:54:10 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-01 14:47:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-01 14:47:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-01 14:45:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-01 14:42:45 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-12-01 14:42:31 +0100 | turlando_ | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2025-12-01 14:38:43 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 265 seconds) |
| 2025-12-01 14:37:39 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-01 14:37:08 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 14:35:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 14:35:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 14:34:37 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 14:25:46 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-01 14:25:04 +0100 | larsivi | (~larsivi@2001:2020:8341:7f8b:6585:e3fb:fff4:fe3f) (Ping timeout: 260 seconds) |
| 2025-12-01 14:22:08 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-01 14:19:16 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-01 14:18:37 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 246 seconds) |
| 2025-12-01 14:14:16 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 14:13:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 14:10:04 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-01 14:05:10 +0100 | Googulator24 | Googulator |
| 2025-12-01 13:58:47 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 13:58:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-01 13:55:54 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-01 13:54:58 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-01 13:54:44 +0100 | yin | (~zero@user/zero) (Ping timeout: 260 seconds) |
| 2025-12-01 13:43:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-01 13:40:15 +0100 | <kuribas> | For example a type may be a class, which is a runtime entity. |
| 2025-12-01 13:39:53 +0100 | <kuribas> | jreicher: But dynamic language proponents don't think of types in terms of type theory. |
| 2025-12-01 13:39:29 +0100 | <kuribas> | jreicher: So you don't like the term... |
| 2025-12-01 13:38:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 13:33:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-01 13:16:03 +0100 | <dminuoso> | As long as the type checker in python saves me more time on average than it wastes on account being wrong, its useful. |