Newest at the top
| 2024-06-17 17:36:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 17:35:59 +0200 | <monochrom> | danse-nr3: Denotational semantics focuses on whether there is a value and what the value is. It leaves open how (evaluation strategy) to get it, and therefore how much it costs. |
| 2024-06-17 17:35:58 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:31:25 +0200 | danse-nr3 | (~danse-nr3@151.35.187.238) |
| 2024-06-17 17:30:37 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:28:17 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 17:28:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:24:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-06-17 17:24:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 17:22:34 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:22:31 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 255 seconds) |
| 2024-06-17 17:21:21 +0200 | rdcdr_ | (~rdcdr@75-172-82-63.tukw.qwest.net) |
| 2024-06-17 17:20:43 +0200 | danse-nr3 | (~danse-nr3@151.35.187.238) (Ping timeout: 255 seconds) |
| 2024-06-17 17:14:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-17 17:10:03 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:08:47 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:08:11 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:07:42 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:06:57 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:06:40 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:06:24 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:06:11 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 16:58:13 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:4300:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-06-17 16:56:32 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 16:56:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-17 16:55:53 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-17 16:54:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-17 16:54:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2024-06-17 16:53:07 +0200 | itaipu | (~itaipu@168.121.98.97) (Ping timeout: 268 seconds) |
| 2024-06-17 16:41:54 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Read error: Connection reset by peer) |
| 2024-06-17 16:34:17 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2019:782c:8000::) (Client Quit) |
| 2024-06-17 16:33:20 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2019:782c:8000::) |
| 2024-06-17 16:25:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 16:25:08 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 16:15:51 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-06-17 16:08:02 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-17 16:07:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-17 16:07:29 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-17 16:01:58 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 255 seconds) |
| 2024-06-17 15:50:37 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-17 15:45:54 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 15:45:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-06-17 15:41:03 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-17 15:35:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 15:35:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-17 15:30:33 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-17 15:30:05 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-17 15:28:37 +0200 | danse-nr3 | (~danse-nr3@151.35.187.238) |
| 2024-06-17 15:27:34 +0200 | danse-nr3 | (~danse-nr3@151.37.146.18) (Read error: Connection reset by peer) |
| 2024-06-17 15:24:27 +0200 | madhavanmi | (~madhavanm@2409:40f4:10f7:bde6:8000::) (Quit: Quit) |