Newest at the top
| 2026-05-01 00:02:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 00:00:55 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 00:00:33 +0000 | ChanServ | +v haskellbridge |
| 2026-05-01 00:00:33 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-01 00:00:20 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 23:59:56 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-04-30 23:58:35 +0000 | comonad | (~comonad@p200300d027288000c87b63c79bf92a6b.dip0.t-ipconnect.de) |
| 2026-04-30 23:54:54 +0000 | comonad | (~comonad@pd9e07bc5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-04-30 23:50:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-30 23:48:36 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 23:47:44 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 23:47:21 +0000 | DetourNe- | DetourNetworkUK |
| 2026-04-30 23:45:18 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-04-30 23:45:02 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-30 23:44:35 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-04-30 23:44:04 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 23:36:36 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 23:35:46 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 23:29:19 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 23:28:53 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 23:24:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-30 23:21:50 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 23:17:42 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-30 23:17:32 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 23:04:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 23:01:06 +0000 | <EvanR> | that's what they call it |
| 2026-04-30 22:59:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 22:58:48 +0000 | oppili | (~oppili@user/nerdypepper) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 22:58:22 +0000 | <hadronized> | type directed name disambiguation? |
| 2026-04-30 22:57:27 +0000 | <EvanR> | YMMV |
| 2026-04-30 22:57:12 +0000 | <EvanR> | type directed name disambiguation has been used to e.g. allow each module to implement a length function for its type and hope it can be resolved at the use site |
| 2026-04-30 22:56:44 +0000 | <hadronized> | and even though it won’t be as ergonomic as typeclasses or traits, it will still allow the same kind of features |
| 2026-04-30 22:56:30 +0000 | <hadronized> | so that users can create compile-time vtables of some sort |
| 2026-04-30 22:56:07 +0000 | <hadronized> | and I might add some feature for stable static pointers so that I can erase them when they are passed as argument of functions |
| 2026-04-30 22:55:52 +0000 | <hadronized> | lortabac: I actually think I’m going to ditch ad-hoc polymorphism, and just implement parametric polymorphism |
| 2026-04-30 22:44:37 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 22:40:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-30 22:39:34 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-30 22:38:55 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-30 22:35:21 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 22:34:30 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-30 22:31:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-04-30 22:29:25 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-04-30 22:26:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-30 22:26:24 +0000 | divlamir_ | divlamir |
| 2026-04-30 22:26:24 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-04-30 22:26:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-30 22:24:01 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 272 seconds) |
| 2026-04-30 22:23:26 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-30 22:23:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |