Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,802,084 events total
2025-11-30 21:30:02 <iqubic> It seems to be working now.
2025-11-30 21:30:07 <tomsmeding> related tip: put `:set prompt "%s> " in your .ghci, then it shows you which modules you have in scope
2025-11-30 21:30:15 <tomsmeding> this was default pre-GHC-9.0 but they changed it to "ghci> "
2025-11-30 21:30:20 <tomsmeding> then you can at least see what's up
2025-11-30 21:32:49 <tomsmeding> (I often do `:def R \_ -> Prelude.return ":r\n:m -Day01\n"` or similar so that I can :R and have ghci do the right thing)
2025-11-30 21:34:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 21:36:07 <iqubic> Thanks.
2025-11-30 21:36:16 × iqubic quits (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) (Remote host closed the connection)
2025-11-30 21:39:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-30 21:44:48 Googulator joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 21:44:48 × ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-11-30 21:46:55 AlexNoo_ is now known as AlexNoo
2025-11-30 21:50:10 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 21:54:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 21:58:49 jmcantrell_ joins (~weechat@user/jmcantrell)
2025-11-30 21:58:57 jreicher joins (~user@user/jreicher)
2025-11-30 22:00:44 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-11-30 22:04:26 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2025-11-30 22:05:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 22:05:36 × Googulator quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 22:05:44 Googulator22 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 22:05:59 × jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.0)
2025-11-30 22:08:20 jmcantrell_ joins (~weechat@user/jmcantrell)
2025-11-30 22:09:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 22:10:55 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-11-30 22:17:53 vanishingideal joins (~vanishing@user/vanishingideal)
2025-11-30 22:19:27 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-30 22:21:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 22:21:09 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2025-11-30 22:21:37 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Client Quit)
2025-11-30 22:22:42 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2025-11-30 22:23:23 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-30 22:24:10 iqubic joins (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7)
2025-11-30 22:25:03 × tromp quits (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-30 22:25:13 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-30 22:25:15 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 22:25:30 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
2025-11-30 22:28:57 <Leary> hololeap, [exa]: X is witness to P if the existence of X proves P. The most familiar kind of witness is the counterexample, which witnesses the negation of a universal statement.
2025-11-30 22:30:02 <hololeap> right on
2025-11-30 22:30:31 × jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-11-30 22:34:43 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-11-30 22:35:31 divlamir joins (~divlamir@user/divlamir)
2025-11-30 22:35:41 × Googulator22 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 22:35:47 Googulator60 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 22:36:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 22:37:13 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 264 seconds)
2025-11-30 22:38:40 × wickedjargon quits (~user@206.108.193.26) (Ping timeout: 245 seconds)
2025-11-30 22:39:46 trickard_ is now known as trickard
2025-11-30 22:40:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 22:41:42 sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no)
2025-11-30 22:42:23 peterbecich joins (~Thunderbi@172.222.148.214)
2025-11-30 22:43:24 euphores joins (~SASL_euph@user/euphores)
2025-11-30 22:51:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 22:56:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-30 22:57:18 × _gio quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-11-30 22:58:48 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
2025-11-30 23:07:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 23:10:50 Googulator91 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-11-30 23:10:50 × Googulator60 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 23:13:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 23:15:02 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-11-30 23:17:01 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
2025-11-30 23:25:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 23:27:17 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-11-30 23:29:34 × Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-11-30 23:29:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 23:30:40 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-11-30 23:32:31 ChaiTRex joins (~ChaiTRex@user/chaitrex)
2025-11-30 23:34:55 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds)
2025-11-30 23:40:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 23:44:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-30 23:50:48 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2025-11-30 23:52:04 img joins (~img@user/img)
2025-11-30 23:52:07 <iqubic> Is it just me, or are people being slow to look at GitHub issues for the Emacs Haskell-Mode repo?
2025-11-30 23:52:15 <iqubic> https://github.com/haskell/haskell-mode/issues/1884
2025-11-30 23:56:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-11-30 23:57:00 <iqubic> Also, has the Haskell LSP changed how it classifies module names in imports? Something about my setup changed and I can't seem to figure out why. See the GH issue for more info.
2025-12-01 00:01:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-01 00:10:24 × Googulator91 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-01 00:10:35 Googulator91 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-01 00:11:20 <haskellbridge> <zoil> https://kf8nh.com/_heisenbridge/media/matrix.org/KqFuFIwAGSfriqoeASQNmzLj/Cb2ngaXEBrk/image.png
2025-12-01 00:11:25 <geekosaur> the easy way to test that is to downgrade to 2.11.0.0 and aee if it changes
2025-12-01 00:11:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-12-01 00:11:50 <haskellbridge> <zoil> help! it rejects the instance if it is recursive
2025-12-01 00:11:54 <haskellbridge> <zoil> it demands it as a constraint
2025-12-01 00:12:06 <iqubic> How do I tell Nix to downgrade my Haskell Language Server?
2025-12-01 00:12:41 <haskellbridge> <zoil> can everyone see the image or should i upload a paste?
2025-12-01 00:13:51 <iqubic> No. No one on the IRC can see your image.
2025-12-01 00:13:56 <haskellbridge> <zoil> derp
2025-12-01 00:14:03 <iqubic> Or actually, yes we can.
2025-12-01 00:14:07 <geekosaur> we get the image (as a link on the IRC side), but a paste is usually better especially if it's to a pastebin where someone can fork it and show you a modified version to test or etc.
2025-12-01 00:14:07 <iqubic> I'm dumb.
2025-12-01 00:14:20 <iqubic> Yeah... It's an image of text.
2025-12-01 00:14:22 <geekosaur> we generally recommend https://paste.tomsmeding.com
2025-12-01 00:15:29 <geekosaur> or download it and try things locally
2025-12-01 00:16:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-01 00:16:35 × mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 245 seconds)
2025-12-01 00:17:14 <EvanR> this is like someone taking a phone picture of an image of text someone posted
2025-12-01 00:18:05 <EvanR> who let these hairless apes on the internet
2025-12-01 00:19:53 <haskellbridge> <zoil> https://paste.tomsmeding.com/prZTHuAw\

All times are in UTC.