Newest at the top
| 2024-09-18 03:10:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-18 03:10:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-18 03:10:14 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-09-18 03:09:41 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-18 03:09:30 +0200 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2024-09-18 03:08:12 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-18 03:07:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 03:06:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 03:01:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:00:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 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) |