Newest at the top
| 2025-12-31 15:15:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-31 15:15:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 15:14:53 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 15:09:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 15:04:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-31 15:03:52 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-31 15:03:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-31 15:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 15:02:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-31 14:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:57:22 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 14:56:59 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 14:48:05 +0100 | mmohammadi9812 | (~mohammad@46.236.253.51) (Remote host closed the connection) |
| 2025-12-31 14:47:48 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 14:47:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-31 14:47:18 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 14:47:11 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-31 14:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 14:43:51 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-31 14:41:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:34:08 +0100 | mmohammadi9812 | (~mohammad@46.236.253.51) mmohammadi9812 |
| 2025-12-31 14:30:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 14:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:14:37 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 14:13:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 14:08:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:00:51 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-12-31 13:57:31 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-31 13:56:09 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-31 13:46:05 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-12-31 13:43:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 13:39:43 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 2025-12-31 13:35:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 13:33:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-31 13:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 13:25:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 13:13:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 13:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:59:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 12:57:19 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-31 12:56:35 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 240 seconds) |
| 2025-12-31 12:55:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:55:07 +0100 | <yin> | ah, i see nominal vs representational |
| 2025-12-31 12:54:52 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-12-31 12:52:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 12:52:22 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 12:52:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-12-31 12:42:12 +0100 | <yin> | newtype A a = A (C a => ...) |
| 2025-12-31 12:42:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:41:07 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |