Newest at the top
2024-09-18 02:56:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-18 02:50:17 +0200 | thegeekinside | (~thegeekin@189.180.58.55) (Remote host closed the connection) |
2024-09-18 02:49:27 +0200 | thegeekinside | (~thegeekin@189.180.58.55) |
2024-09-18 02:49:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-18 02:48:01 +0200 | <monochrom> | https://www.sciencedirect.com/science/article/abs/pii/S0920548901000599 Someone actually tried to give C a denotational semantics. Moreover, "a direct implementation of the semantics, using the programming language Haskell". |
2024-09-18 02:44:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 02:36:24 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-18 02:31:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-18 02:26:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 02:25:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) (Ping timeout: 260 seconds) |
2024-09-18 02:17:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-09-18 02:14:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-18 02:09:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 02:04:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-18 02:03:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-18 01:57:32 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-09-18 01:57:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-18 01:57:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-18 01:55:55 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
2024-09-18 01:52:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 01:41:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-09-18 01:40:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-09-18 01:39:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-18 01:37:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-18 01:35:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 01:32:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
2024-09-18 01:23:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-18 01:19:38 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-09-18 01:18:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 01:17:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-18 01:12:48 +0200 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 252 seconds) |
2024-09-18 01:12:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-18 01:09:13 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
2024-09-18 01:07:41 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-09-18 01:06:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-18 01:05:44 +0200 | Inst | (~Inst@user/Inst) |
2024-09-18 01:05:26 +0200 | Inst | (~Inst@user/Inst) (Client Quit) |
2024-09-18 01:05:03 +0200 | Inst | (~Inst@user/Inst) |
2024-09-18 01:02:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 01:01:51 +0200 | Inst_ | (~Inst@user/Inst) (Quit: Leaving) |
2024-09-18 01:01:25 +0200 | Inst_ | (~Inst@user/Inst) |
2024-09-18 00:56:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-18 00:55:41 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) |
2024-09-18 00:50:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-18 00:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-18 00:45:37 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-09-18 00:36:51 +0200 | gmg | (~user@user/gehmehgeh) |
2024-09-18 00:33:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-18 00:33:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-18 00:31:04 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |