Newest at the top
2024-04-24 19:29:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-04-24 19:24:30 +0200 | aforemny_ | (~aforemny@i59F516D2.versanet.de) (Ping timeout: 245 seconds) |
2024-04-24 19:24:28 +0200 | aforemny | (~aforemny@i59F516CD.versanet.de) |
2024-04-24 19:21:06 +0200 | aforemny | (~aforemny@i59F516C4.versanet.de) (Ping timeout: 252 seconds) |
2024-04-24 19:20:56 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
2024-04-24 19:20:05 +0200 | aforemny_ | (~aforemny@i59F516D2.versanet.de) |
2024-04-24 19:02:51 +0200 | danse-nr3 | (~danse-nr3@151.35.248.91) (Ping timeout: 255 seconds) |
2024-04-24 18:54:56 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
2024-04-24 18:54:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-24 18:53:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-24 18:52:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-24 18:49:51 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
2024-04-24 18:47:18 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-04-24 18:46:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-24 18:46:29 +0200 | aforemny | (~aforemny@i59F516C4.versanet.de) |
2024-04-24 18:46:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-24 18:43:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-24 18:42:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-24 18:37:06 +0200 | aforemny | (~aforemny@i59F516CB.versanet.de) (Ping timeout: 252 seconds) |
2024-04-24 18:33:26 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Ping timeout: 250 seconds) |
2024-04-24 18:32:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-04-24 18:28:10 +0200 | <enikar> | :D |
2024-04-24 18:28:09 +0200 | aforemny | (~aforemny@i59F516CB.versanet.de) |
2024-04-24 18:27:52 +0200 | aforemny | (~aforemny@2001:9e8:6cf1:5c00:5feb:9e42:c858:fd24) (Ping timeout: 260 seconds) |
2024-04-24 18:27:50 +0200 | <c_wraith> | see Schwarzenegger (1984) |
2024-04-24 18:27:20 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-04-24 18:26:46 +0200 | <EvanR> | termination exists |
2024-04-24 18:26:42 +0200 | <lambdabot> | 4 |
2024-04-24 18:26:40 +0200 | <EvanR> | > 2 + 2 |
2024-04-24 18:22:50 +0200 | <c_wraith> | all programs terminate when the hardware they're running on fails! |
2024-04-24 18:20:52 +0200 | <EvanR> | :P |
2024-04-24 18:20:42 +0200 | <EvanR> | you can't experimentally prove non termination exists |
2024-04-24 18:19:38 +0200 | <c_wraith> | given that nontermination exists, undefined doesn't allow anything new. it's just an optimized form of nontermination |
2024-04-24 18:18:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
2024-04-24 18:15:44 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-04-24 18:14:16 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-24 18:14:04 +0200 | danse-nr3 | (~danse-nr3@151.35.248.91) |
2024-04-24 18:13:54 +0200 | danse-nr3 | (~danse-nr3@151.19.252.50) (Read error: Connection reset by peer) |
2024-04-24 18:09:22 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-24 18:04:06 +0200 | euleritian | (~euleritia@dynamic-176-000-165-138.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-04-24 17:55:28 +0200 | euleritian | (~euleritia@dynamic-176-000-165-138.176.0.pool.telefonica.de) |
2024-04-24 17:54:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-24 17:54:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-04-24 17:52:17 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-04-24 17:47:34 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-24 17:46:34 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-04-24 17:46:00 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-24 17:39:03 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-04-24 17:32:46 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-24 17:30:32 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |