2025/07/31

Newest at the top

2025-07-31 12:45:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-31 12:43:28 +0200zlqrvx(~zlqrvx@101.175.150.247)
2025-07-31 12:42:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-31 12:41:23 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-31 12:41:15 +0200sprotte24(~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-31 12:40:41 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Quit: Client closed)
2025-07-31 12:32:53 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds)
2025-07-31 12:32:18 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-07-31 12:32:05 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-31 12:31:58 +0200machinedgod(~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 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds)
2025-07-31 12:29:59 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-07-31 12:29:48 +0200VictorHugenay(~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!)
2025-07-31 12:28:04 +0200sprotte24(~sprotte24@p200300d16f0ea9003c5fb6edece4b8f3.dip0.t-ipconnect.de)
2025-07-31 12:27:52 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x_)
2025-07-31 12:27:19 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-31 12:23:53 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5)
2025-07-31 12:23:34 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit)
2025-07-31 12:23:09 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-31 12:22:42 +0200ubert1(~Thunderbi@178.165.167.35.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2025-07-31 12:19:14 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5)
2025-07-31 12:18:54 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5) (Client Quit)
2025-07-31 12:18:27 +0200VictorHugenay(~VictorHug@user/VictorHugenay) VictorHugenay
2025-07-31 12:16:21 +0200caubert(~caubert@user/caubert) caubert
2025-07-31 12:14:49 +0200XPMUser(~XPMUser@2607:fea8:e81:d900:544a:85b1:dc6f:f5f5)
2025-07-31 12:13:10 +0200b7r6(~user@user/b7r6) (Remote host closed the connection)
2025-07-31 12:11:41 +0200Digit(~user@user/digit) Digit
2025-07-31 12:09:44 +0200VictorHugenay(~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!)
2025-07-31 12:08:08 +0200hsw(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2025-07-31 12:02:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-31 11:59:19 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-07-31 11:58:32 +0200VictorHugenay(~VictorHug@user/VictorHugenay) VictorHugenay
2025-07-31 11:57:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-07-31 11:56:39 +0200dextaa(~dan@user/dextaa) dextaa
2025-07-31 11:55:07 +0200jackdk(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 +0200inline_(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-07-31 11:45:19 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-31 11:44:57 +0200sprout(~sprout@84-80-106-227.fixed.kpn.net)
2025-07-31 11:41:00 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-07-31 11:39:16 +0200tromp(~textual@2001:1c00:3487:1b00:b928:de3f:1dfd:983a)
2025-07-31 11:35:44 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-07-31 11:35:30 +0200trickard(~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