Newest at the top
2024-04-24 20:02:59 +0200 | mima | (~mmh@138.246.3.254) (Ping timeout: 264 seconds) |
2024-04-24 20:00:44 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
2024-04-24 19:56:17 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: BRB) |
2024-04-24 19:56:02 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-24 19:54:25 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-24 19:53:40 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
2024-04-24 19:53:40 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
2024-04-24 19:52:55 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Read error: Connection reset by peer) |
2024-04-24 19:52:33 +0200 | Piedro | (~Piedro@213.226.141.81) (Remote host closed the connection) |
2024-04-24 19:51:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-24 19:45:11 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-24 19:38:51 +0200 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
2024-04-24 19:36:35 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) (Ping timeout: 245 seconds) |
2024-04-24 19:36:29 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 252 seconds) |
2024-04-24 19:35:50 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf4:bd00:73c6:e367:95b1:7b24) |
2024-04-24 19:34:27 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
2024-04-24 19:32:12 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) |
2024-04-24 19:31:47 +0200 | aforemny | (~aforemny@i59F516CD.versanet.de) (Ping timeout: 264 seconds) |
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 |