2024/10/06

Newest at the top

2024-10-07 01:27:09 +0200 <L29Ah> are there weights-available LLMs that can do haskell programming?
2024-10-07 01:24:28 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2024-10-07 01:21:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-07 01:17:27 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-07 01:16:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-07 01:12:30 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-07 01:05:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-07 01:03:33 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2024-10-07 01:01:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-07 00:51:49 +0200acidjnk(~acidjnk@p200300d6e72cfb9628aff41673680d4c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-10-07 00:50:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-07 00:47:04 +0200artu(artu@2600:3c01::f03c:92ff:fecc:1d32) artu
2024-10-07 00:46:12 +0200artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Remote host closed the connection)
2024-10-07 00:45:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-07 00:41:30 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-07 00:37:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-07 00:34:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-07 00:33:04 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-10-07 00:30:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-07 00:19:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-07 00:18:43 +0200artu(artu@2600:3c01::f03c:92ff:fecc:1d32)
2024-10-07 00:14:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-07 00:10:35 +0200artu(artu@2600:3c01::f03c:92ff:fecc:1d32) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2024-10-07 00:08:51 +0200neuroevolutus(~neuroevol@146.70.211.110) (Ping timeout: 256 seconds)
2024-10-07 00:06:03 +0200gawen(~gawen@user/gawen) (Quit: cya)
2024-10-07 00:05:13 +0200artu(artu@2600:3c01::f03c:92ff:fecc:1d32)
2024-10-07 00:04:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-06 23:59:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 23:52:41 +0200artu_(artu@2600:3c01::f03c:92ff:fecc:1d32) (Remote host closed the connection)
2024-10-06 23:49:44 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2024-10-06 23:48:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-06 23:46:54 +0200neuroevolutus(~neuroevol@146.70.211.110) neuroevolutus
2024-10-06 23:43:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 23:39:22 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-10-06 23:35:55 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-10-06 23:34:46 +0200artu_(artu@2600:3c01::f03c:92ff:fecc:1d32)
2024-10-06 23:34:42 +0200artu(~artu@2601:600:8181:9b00::14) (Quit: WeeChat 4.4.2)
2024-10-06 23:33:17 +0200andrewboltachev(~andrey@178.141.123.3) (Quit: Leaving.)
2024-10-06 23:33:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-06 23:29:40 +0200artu(~artu@2601:600:8181:9b00::14) artu
2024-10-06 23:28:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 23:27:33 +0200 <Inst> so you can do linear haskell without having -XLinearTypes on, and with linearity being explicit through the use of the combinators
2024-10-06 23:27:11 +0200 <Inst> hmmm, my linear haskell friend likes the idea of linear-haskell specific combinators
2024-10-06 23:26:34 +0200troojg(~troojg@user/troojg) troojg
2024-10-06 23:26:04 +0200zetef(~quassel@5.14.128.142) (Client Quit)
2024-10-06 23:25:59 +0200zetef(~quassel@5.14.128.142) zetef
2024-10-06 23:24:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-06 23:24:15 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2024-10-06 23:18:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-06 23:15:00 +0200gmg(~user@user/gehmehgeh) gehmehgeh