Newest at the top
| 2025-12-01 12:49:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-01 12:46:12 +0100 | qqe | (~qqq@213.87.150.45) (Read error: Connection reset by peer) |
| 2025-12-01 12:45:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 12:43:09 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 12:42:55 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 12:37:09 +0100 | traxex | (traxex@user/traxex) (Ping timeout: 260 seconds) |
| 2025-12-01 12:36:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-01 12:31:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 12:25:24 +0100 | qqe | (~qqq@213.87.150.45) |
| 2025-12-01 12:24:53 +0100 | qqe | (~qqq@185.54.20.98) (Ping timeout: 260 seconds) |
| 2025-12-01 12:24:34 +0100 | <jreicher> | No. I mean that the entire point of types is to facilitate a check that picks up errors before they happen at runtime. If you're doing that at runtime, then you're not doing any better than an untyped system. |
| 2025-12-01 12:23:51 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-01 12:19:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-01 12:19:21 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-01 12:17:55 +0100 | qqe | (~qqq@185.54.20.98) (Ping timeout: 240 seconds) |
| 2025-12-01 12:17:32 +0100 | gustrb | (~gustrb@user/gustrb) (Quit: gustrb) |
| 2025-12-01 12:15:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 12:10:48 +0100 | <kuribas> | I also think the term is pretty bad. |
| 2025-12-01 12:10:32 +0100 | <kuribas> | It generally means lack of static typing, or at least static types that are completely optional. |
| 2025-12-01 12:09:57 +0100 | <kuribas> | You don't like the term? |
| 2025-12-01 12:09:44 +0100 | <kuribas> | What do you mean? |
| 2025-12-01 12:09:13 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-01 12:06:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-01 12:05:51 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 12:05:50 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 12:03:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-01 12:02:34 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 12:02:06 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:58:32 +0100 | timide | (~timide@user/timide) timide |
| 2025-12-01 11:56:00 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:55:39 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:54:26 +0100 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-12-01 11:53:53 +0100 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-12-01 11:49:42 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:49:11 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:48:36 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:48:15 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:46:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-01 11:42:26 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:42:25 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-01 11:41:49 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:35:49 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 11:35:41 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 11:35:29 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:35:10 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:34:55 +0100 | markasoftware | (~quassel@2604:180:f2::217) markasoftware |
| 2025-12-01 11:34:45 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-01 11:34:32 +0100 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-12-01 11:33:08 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-01 11:30:08 +0100 | <jreicher> | No such thing. :D |