Newest at the top
| 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) |
| 2025-12-31 12:41:03 +0100 | <yin> | is it ok to have class constraints in newtypes? |
| 2025-12-31 12:37:58 +0100 | aman | (~aman@user/aman) (Ping timeout: 246 seconds) |
| 2025-12-31 12:37:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:36:30 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 244 seconds) |
| 2025-12-31 12:36:02 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-31 12:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 12:21:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:11:56 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-31 12:10:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:09:58 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2025-12-31 12:06:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:06:12 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-31 11:57:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-31 11:54:46 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-31 11:53:36 +0100 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-12-31 11:52:49 +0100 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-12-31 11:46:51 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-31 11:42:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-31 11:40:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-31 11:37:09 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-31 11:28:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 11:24:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 11:24:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 11:23:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-31 11:13:43 +0100 | amish | astra |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@user/amish) amish |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2025-12-31 11:13:00 +0100 | astra | amish |
| 2025-12-31 11:11:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |