2025/10/20

Newest at the top

2025-10-20 22:28:47 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-20 22:28:32 +0200 <chromoblob> DeepSeek stole its name from Haskell's DeepSeq
2025-10-20 22:27:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-20 22:26:56 +0200AlexZenon(~alzenon@85.174.182.163)
2025-10-20 22:26:26 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-20 22:22:39 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-20 22:21:13 +0200gustrb(~gustrb@191.243.134.87)
2025-10-20 22:20:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-20 22:18:41 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-10-20 22:15:38 +0200Googulator52(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 22:15:37 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-20 22:15:27 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-20 22:15:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-20 22:13:49 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 264 seconds)
2025-10-20 22:10:02 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-10-20 22:08:28 +0200gustrb(~gustrb@191.243.134.87)
2025-10-20 22:04:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-20 21:59:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-20 21:54:37 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 21:54:22 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-20 21:53:29 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-10-20 21:49:41 +0200AlexZenon(~alzenon@85.174.182.163) (Ping timeout: 256 seconds)
2025-10-20 21:48:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-20 21:43:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-20 21:40:06 +0200mastarija(~mastarija@89-164-108-176.dsl.iskon.hr) (Quit: Client closed)
2025-10-20 21:39:28 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 244 seconds)
2025-10-20 21:34:54 +0200gustrb(~gustrb@191.243.134.87)
2025-10-20 21:34:45 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-10-20 21:32:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-20 21:30:34 +0200 <tccq> hmm. Maybe I will drop the lsp part and just try to configure haskell-mode better. Probably with htags and dabbrev I should be set
2025-10-20 21:27:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-20 21:27:02 +0200 <monochrom> No.
2025-10-20 21:26:55 +0200 <tccq> do you get jump to def for prelude or standard packages?
2025-10-20 21:26:04 +0200 <monochrom> I can fetch types, global and local.
2025-10-20 21:26:03 +0200Googulator7(~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed)
2025-10-20 21:25:42 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 21:25:35 +0200 <bwe> probie: wow, didn't think that this would be possible.
2025-10-20 21:25:28 +0200trickard_trickard
2025-10-20 21:25:18 +0200 <monochrom> err, I haven't needed completion for locals.
2025-10-20 21:24:58 +0200 <monochrom> I haven't needed jump-to-def for locals, so haskell-mode suffices for me.
2025-10-20 21:24:58 +0200 <bwe> EvanR: No, I haven't looked how json value -> application type parser are done yet. But will do.
2025-10-20 21:21:44 +0200 <tccq> people's setups?
2025-10-20 21:21:44 +0200 <tccq> Are there decent solutions for jump-to-def and complete symbol names in emacs these days? haskell-mode is good and I like C-c C-c for compilation but the completion doesn't work for locals as far as I can tell. Also even with hls+eglot, jump to def doesn't work for anything outside the current project. I assume that's for lack of source files for system libs? But not even being able to fetch the type seems somewhat harsh. What are
2025-10-20 21:19:10 +0200tccq(~user@user/tccq) tccq
2025-10-20 21:17:06 +0200 <haskellbridge> <loonycyborg> Even DataKinds on its own is pretty powerful though
2025-10-20 21:17:00 +0200 <mastarija> Hm... I guess I've mixed that up with Symbol
2025-10-20 21:16:41 +0200 <haskellbridge> <loonycyborg> like Natural and Symbol
2025-10-20 21:16:36 +0200 <haskellbridge> <loonycyborg> and some supporting modules
2025-10-20 21:16:34 +0200 <haskellbridge> <loonycyborg> Only DataKinds
2025-10-20 21:16:24 +0200 <tomsmeding> there's some basic stuff for Nats, but I don't recall anything for lists