2026/04/30

Newest at the top

2026-04-30 23:04:33 +0000merijn(~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 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 22:58:48 +0000oppili(~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 +0000xff0x(~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp)
2026-04-30 22:40:17 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-04-30 22:39:34 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-04-30 22:38:55 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-04-30 22:35:21 +0000tromp(~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-30 22:34:30 +0000jmcantrell_jmcantrell
2026-04-30 22:31:09 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2026-04-30 22:29:25 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds)
2026-04-30 22:26:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-30 22:26:24 +0000divlamir_divlamir
2026-04-30 22:26:24 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 255 seconds)
2026-04-30 22:26:10 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-04-30 22:24:01 +0000fp1(~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 272 seconds)
2026-04-30 22:23:26 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-04-30 22:23:19 +0000tromp(~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4)
2026-04-30 22:14:56 +0000Vizious(~bes@user/Vizious) Vizious
2026-04-30 22:13:48 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-30 22:12:05 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-04-30 22:08:26 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-04-30 22:08:14 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-30 22:06:09 +0000r1bilski(~r1bilski@user/r1bilski) (Ping timeout: 255 seconds)
2026-04-30 22:02:26 +0000tromp(~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-30 22:01:46 +0000mtmn(~mtmn@user/mtmn) mtmn
2026-04-30 22:00:48 +0000mtmn(~mtmn@user/mtmn) (Remote host closed the connection)
2026-04-30 21:55:28 +0000layline-away(~layline@149.154.26.170) (Quit: ZZZzzz…)
2026-04-30 21:40:01 +0000mtmn(~mtmn@user/mtmn) mtmn
2026-04-30 21:38:59 +0000mtmn(~mtmn@user/mtmn) (Remote host closed the connection)
2026-04-30 21:37:02 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-04-30 21:35:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-04-30 21:34:22 +0000socksbuny(~socks@oberon.raccoon.fun) (Quit: goodbye :))
2026-04-30 21:34:20 +0000tromp(~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4)
2026-04-30 21:33:27 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-04-30 21:28:35 +0000layline_layline-away
2026-04-30 21:27:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 21:11:49 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-04-30 21:05:10 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds)
2026-04-30 21:05:05 +0000leppard(~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 21:00:24 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-04-30 20:59:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)