Newest at the top
2025-07-31 12:45:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-31 12:43:28 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
2025-07-31 12:42:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-07-31 12:41:23 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-31 12:41:15 +0200 | sprotte24 | (~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-07-31 12:40:41 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Quit: Client closed) |
2025-07-31 12:32:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
2025-07-31 12:32:18 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-07-31 12:32:05 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-31 12:31:58 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
2025-07-31 12:31:50 +0200 | <__monty__> | kuribas: The thing is that "Just do this little thing and then the problem's trivial," doesn't work with things like the halting problem. |
2025-07-31 12:30:58 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
2025-07-31 12:29:59 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-07-31 12:29:48 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
2025-07-31 12:28:04 +0200 | sprotte24 | (~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de) |
2025-07-31 12:27:52 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x_) |
2025-07-31 12:27:19 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
2025-07-31 12:23:53 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
2025-07-31 12:23:34 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit) |
2025-07-31 12:23:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-07-31 12:22:42 +0200 | ubert1 | (~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
2025-07-31 12:19:14 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
2025-07-31 12:18:54 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit) |
2025-07-31 12:18:27 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
2025-07-31 12:16:21 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-31 12:14:49 +0200 | XPMUser | (~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) |
2025-07-31 12:13:10 +0200 | b7r6 | (~user@user/b7r6) (Remote host closed the connection) |
2025-07-31 12:11:41 +0200 | Digit | (~user@user/digit) Digit |
2025-07-31 12:09:44 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
2025-07-31 12:08:08 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
2025-07-31 12:02:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-31 11:59:19 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |
2025-07-31 11:58:32 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
2025-07-31 11:57:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-07-31 11:56:39 +0200 | dextaa | (~dan@user/dextaa) dextaa |
2025-07-31 11:55:07 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
2025-07-31 11:50:41 +0200 | <mauke> | non-terminating, but productive |
2025-07-31 11:50:06 +0200 | <kuribas> | The whole loop is not total, but the input -> result part is total. |
2025-07-31 11:49:56 +0200 | <__monty__> | There's the rub, isn't it? |
2025-07-31 11:49:35 +0200 | <kuribas> | The important part is of course that you get results with bounded fuel. |
2025-07-31 11:48:59 +0200 | <kuribas> | Then in practice you run with infinite fuel. |
2025-07-31 11:48:52 +0200 | <kuribas> | __monty__: you use fuel. You just run the deamon as long as there is fuel. |
2025-07-31 11:46:49 +0200 | inline_ | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-07-31 11:45:19 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-07-31 11:44:57 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) |
2025-07-31 11:41:00 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
2025-07-31 11:39:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a) |
2025-07-31 11:35:44 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-07-31 11:35:30 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-31 11:34:15 +0200 | <apache2> | but if you can write the inner loop as a step that you can prove termination for, then you can have a small runner, and you know the inner loop won't get stuck |