IRCBrowse

2026/02/12

2026-02-12 00:04:02 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-12 00:06:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 00:07:20 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-12 00:07:53 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-12 00:09:01 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-12 00:10:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 00:14:41 +0100terrorjack(~terrorjac@static.27.101.55.162.clients.your-server.de) terrorjack
2026-02-12 00:21:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 00:22:15 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-02-12 00:22:25 +0100 <perryprog> yeah, pretty sure that's the issue and while there is probably a change that can be made to the configure.ac but I dunno what it is (see also https://yhetil.org/emacs/87ms6ru5cg.fsf@gmail.com/)
2026-02-12 00:22:51 +0100 <perryprog> for now gonna just remove the template haskell from the problem file, lol
2026-02-12 00:24:06 +0100bggd_(~bgg@2a01:e0a:fd5:f510:7e0c:bf30:b02a:8ed5)
2026-02-12 00:25:31 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-12 00:25:54 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-12 00:26:24 +0100 <haskellbridge> <sm> that.. does not seem the optimal fix :)
2026-02-12 00:26:52 +0100 <perryprog> look, all of this was for a one line change for personal use :P
2026-02-12 00:27:13 +0100 <haskellbridge> <sm> wouldn't installing an older ghc, or installing ghc by a different method (eg homebrew ?) likely solve it ?
2026-02-12 00:27:32 +0100 <haskellbridge> <sm> hehe that's what you get for TINKERING
2026-02-12 00:27:42 +0100 <haskellbridge> <sm> sorry about it though
2026-02-12 00:28:18 +0100 <perryprog> I think it only supports 9.10.1 up
2026-02-12 00:28:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-12 00:28:25 +0100 <geekosaur> I think he said he needed that version (or later)?
2026-02-12 00:28:35 +0100 <geekosaur> oh look, I'm slow again ☺
2026-02-12 00:28:41 +0100spew(~spew@user/spew) spew
2026-02-12 00:28:47 +0100spew(~spew@user/spew) (Client Quit)
2026-02-12 00:29:15 +0100 <perryprog> and yeah my dev environment is usually pretty prone to breaking people's ./configures. A very high number of times it's been because I updated xcode command line tools but not macOS.
2026-02-12 00:29:47 +0100spew(~spew@user/spew) spew
2026-02-12 00:30:53 +0100 <haskellbridge> <sm> you installed ghc (and its core packages such as process) with ghcup I guess ? Is it possible it installs binaries/libs that require a newer macos maerwald ?
2026-02-12 00:31:07 +0100 <perryprog> that is definitely possible
2026-02-12 00:33:56 +0100 <perryprog> well at least the one line change fixed the problem I had with it (ostensibly), lol
2026-02-12 00:39:24 +0100 <haskellbridge> <sm> 🚀
2026-02-12 00:39:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 00:44:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 00:48:37 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2026-02-12 00:49:23 +0100ezzieygu1wuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-12 00:49:24 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-02-12 00:54:41 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds)
2026-02-12 00:54:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 00:58:05 +0100rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2026-02-12 00:59:14 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-12 00:59:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-12 00:59:47 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-12 01:04:51 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-12 01:05:33 +0100califax(~califax@user/califx) califx
2026-02-12 01:10:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 01:10:27 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-12 01:14:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-12 01:17:18 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-12 01:18:49 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-12 01:20:02 +0100img(~img@user/img) img
2026-02-12 01:21:04 +0100pavonia(~user@user/siracusa) siracusa
2026-02-12 01:25:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 01:28:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-12 01:34:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-12 01:36:28 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-12 01:36:28 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-12 01:36:28 +0100haritz(~hrtz@user/haritz) haritz
2026-02-12 01:38:28 +0100acidjnk(~acidjnk@p200300d6e700e552f541e7aa9c024d62.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2026-02-12 01:42:17 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 01:44:43 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds)
2026-02-12 01:45:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 01:46:35 +0100ycp(~znc@user/dragestil) (Ping timeout: 245 seconds)
2026-02-12 01:46:52 +0100xff0x(~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) (Ping timeout: 244 seconds)
2026-02-12 01:46:56 +0100ycp(~znc@user/dragestil) dragestil
2026-02-12 01:47:00 +0100tydes(~tydes@user/ttydes) (Ping timeout: 245 seconds)
2026-02-12 01:47:14 +0100tydes(~tydes@user/ttydes) ttydes
2026-02-12 01:49:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 01:57:13 +0100statusbot5(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2026-02-12 01:57:33 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2026-02-12 02:00:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 02:03:16 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-12 02:07:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-12 02:11:09 +0100tydes(~tydes@user/ttydes) (Ping timeout: 244 seconds)
2026-02-12 02:13:15 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-02-12 02:18:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 02:19:49 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-02-12 02:19:54 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2026-02-12 02:20:30 +0100omidmash6(~omidmash@user/omidmash) omidmash
2026-02-12 02:22:31 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2026-02-12 02:22:31 +0100omidmash6omidmash
2026-02-12 02:23:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 02:26:17 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-12 02:29:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-02-12 02:33:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 02:35:53 +0100petrichor(~jez@user/petrichor) (Ping timeout: 260 seconds)
2026-02-12 02:38:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-12 02:39:22 +0100Googulator(~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed)
2026-02-12 02:39:38 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 02:41:08 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-12 02:49:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 02:51:32 +0100Square(~Square4@user/square) Square
2026-02-12 02:54:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 02:55:08 +0100Square2(~Square@user/square) (Ping timeout: 260 seconds)
2026-02-12 02:57:55 +0100otto_s(~user@p4ff27fce.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-02-12 02:59:30 +0100otto_s(~user@p4ff27e90.dip0.t-ipconnect.de)
2026-02-12 03:00:30 +0100ezzieygu1wuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-02-12 03:02:37 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-12 03:03:53 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2026-02-12 03:04:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 03:05:20 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-12 03:05:50 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-12 03:07:05 +0100 <feetwind> do people have good experiences [i.e., doesnt crash or hang "randomly"] with haskell-language-server in multi cabal pkg projects?
2026-02-12 03:09:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 03:14:13 +0100 <geekosaur> I use it a fair bit on the cabal codebase itself (14 packages, mostly internal) without problems
2026-02-12 03:14:58 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-02-12 03:15:54 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-12 03:16:47 +0100 <geekosaur> and my xmonad dev environment (the various xmonad-related packages plus my own config as a separate package)
2026-02-12 03:19:40 +0100 <feetwind> hm fair enough/good to hear. i struggle a lot with it hanging on startup if there's a type/out of scope error in some module in lib, depended on by one or more exes or tests, which seems to cause many (maybe infinite?) attempts to rebuild. it surprises me that -fdefer-type-errors and co don't let the lsp proceed anyway
2026-02-12 03:19:58 +0100 <haskellbridge> <sm> I'm used to restarting it any time things stop working. Can be several times a day depending what I'm doing
2026-02-12 03:19:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 03:20:21 +0100 <haskellbridge> <sm> persistent startup errors usually require more careful troubleshooting
2026-02-12 03:21:30 +0100 <haskellbridge> <sm> one of the things that may help is ensuring your project has built cleanly before starting hls
2026-02-12 03:22:03 +0100 <feetwind> yeah that's what i end up doing, but then that was what hls was supposed to help with in the first place 
2026-02-12 03:22:50 +0100 <haskellbridge> <sm> it's not super robust. But it's valuable enough to be worth babysitting
2026-02-12 03:24:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 03:24:28 +0100 <feetwind> i will see if just having lots of hie components is behind very long waits sometimes, probably nicer to have my app as `app subcmd ...`
2026-02-12 03:25:25 +0100 <feetwind> but otoh nice to not have such a long build if `subcmd` is just a little test script or whatever. ah well
2026-02-12 03:27:09 +0100 <haskellbridge> <sm> if you can figure out what it's doing, maybe you can test the same commands at cli and see if there's excessive rebuilding going on or something. This is pretty common
2026-02-12 03:27:23 +0100 <haskellbridge> <sm> and would be easier to troubleshoot outside of HLS
2026-02-12 03:33:07 +0100 <feetwind> `cabal repl all --enable-multi-repl` seemingly works as it ought to, not trying to rebuild transitive deps of each target, even if one's build fails along the way. that's pretty useful actually even tho multi repl is limited
2026-02-12 03:33:56 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-12 03:35:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 03:41:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-12 03:42:21 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-12 03:47:07 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 264 seconds)
2026-02-12 03:49:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-12 03:53:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 03:54:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-12 03:57:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 04:00:39 +0100 <geekosaur> occasionally clearing hie-bios's cache (~/.cache/hie-bios) helps, if it gets corrupted then things may get rebuilt unexpectedly
2026-02-12 04:05:25 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-02-12 04:15:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 04:15:16 +0100td_(~td@i5387093E.versanet.de) (Ping timeout: 246 seconds)
2026-02-12 04:17:09 +0100td_(~td@i5387091F.versanet.de) td_
2026-02-12 04:19:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-12 04:25:12 +0100Square(~Square4@user/square) (Remote host closed the connection)
2026-02-12 04:25:52 +0100Square(~Square4@user/square) Square
2026-02-12 04:30:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 04:31:58 +0100Square(~Square4@user/square) (Ping timeout: 260 seconds)
2026-02-12 04:34:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 04:41:00 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
2026-02-12 04:45:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 04:50:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 04:53:01 +0100Guest56(~Guest56@155.2.191.86)
2026-02-12 05:00:31 +0100thaumavorio(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2026-02-12 05:01:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 05:01:49 +0100thaumavorio(~thaumavor@thaumavor.io) thaumavorio
2026-02-12 05:02:43 +0100ft(~ft@p508db4c0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-02-12 05:04:28 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) ft
2026-02-12 05:05:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 05:16:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 05:18:37 +0100 <feetwind> yeah, it's part of the ritual when it's not an obvious build error hls can't get past for some reason. the holy incantations C-g C-g C-g C-g , eglot-shutdown-all, cabal clean, rm -rf ~/.cache/hie-bios
2026-02-12 05:20:58 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2026-02-12 05:23:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 05:23:39 +0100 <jreicher> Does the language server get just as confused fronted by VS code?
2026-02-12 05:25:30 +0100weary-traveler(~user@user/user363627) user363627
2026-02-12 05:30:55 +0100wickedjargon(~user@2605:8d80:5431:6065:7b8a:6513:6c7e:c79c) wickedjargon
2026-02-12 05:34:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 05:37:40 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-02-12 05:38:38 +0100messewix(~jmc@user/messewix) (Quit: Konversation terminated!)
2026-02-12 05:39:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 05:40:44 +0100Guest56(~Guest56@155.2.191.86) (Quit: Client closed)
2026-02-12 05:47:03 +0100karenw(~karenw@user/karenw) karenw
2026-02-12 05:49:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 05:54:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 05:54:40 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-02-12 06:00:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 06:03:01 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-02-12 06:04:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 06:13:34 +0100emaczen(~user@user/emaczen) (Ping timeout: 255 seconds)
2026-02-12 06:15:30 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-02-12 06:15:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 06:19:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 06:28:24 +0100trickard(~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-12 06:31:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 06:32:35 +0100mange(~mange@user/mange) (Ping timeout: 244 seconds)
2026-02-12 06:34:33 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 06:36:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 06:36:31 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-12 06:38:59 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds)
2026-02-12 06:39:20 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 06:46:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 06:51:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 06:57:05 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-12 07:00:19 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-12 07:01:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 07:04:05 +0100jle`(~jle`@2603:8001:3b00:11:bf46:c857:2ece:2e07) (Ping timeout: 245 seconds)
2026-02-12 07:04:29 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2026-02-12 07:06:30 +0100xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-12 07:07:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 07:08:41 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-12 07:09:34 +0100xff0x_xff0x
2026-02-12 07:13:42 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 07:16:13 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-12 07:17:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 07:17:56 +0100acidjnk(~acidjnk@p200300d6e700e56700d07a3d42763801.dip0.t-ipconnect.de) acidjnk
2026-02-12 07:21:09 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-02-12 07:21:27 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 252 seconds)
2026-02-12 07:22:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 07:24:13 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-02-12 07:24:35 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-02-12 07:33:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 07:36:55 +0100AlexZenon(~alzenon@178.34.161.177) (Ping timeout: 264 seconds)
2026-02-12 07:37:24 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds)
2026-02-12 07:37:50 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 07:37:57 +0100Alex_delenda_est(~al_test@178.34.161.177) (Ping timeout: 252 seconds)
2026-02-12 07:38:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 07:38:07 +0100AlexNoo(~AlexNoo@178.34.161.177) (Ping timeout: 264 seconds)
2026-02-12 07:41:20 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 07:46:54 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-12 07:47:59 +0100michalz(~michalz@185.246.207.218)
2026-02-12 07:48:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 07:52:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 08:02:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 08:02:33 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-12 08:02:50 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Client Quit)
2026-02-12 08:04:07 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-12 08:06:09 +0100karenw(~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-02-12 08:06:24 +0100Adran(~adran@botters/adran) (Read error: Connection reset by peer)
2026-02-12 08:06:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 08:10:08 +0100jreicher(~joelr@user/jreicher) (Quit: brb)
2026-02-12 08:17:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 08:20:11 +0100jreicher(~joelr@user/jreicher) jreicher
2026-02-12 08:24:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-12 08:30:44 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-12 08:34:54 +0100Adran(~adran@botters/adran) Adran
2026-02-12 08:35:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 08:35:54 +0100trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Remote host closed the connection)
2026-02-12 08:36:33 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed)
2026-02-12 08:39:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 08:46:24 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2026-02-12 08:49:44 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving)
2026-02-12 08:51:11 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 08:56:48 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-12 09:00:55 +0100trickard(~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-12 09:01:30 +0100oskarw(~user@user/oskarw) oskarw
2026-02-12 09:02:37 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-12 09:03:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 09:04:45 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-12 09:05:17 +0100frio(~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397)
2026-02-12 09:06:23 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Ping timeout: 252 seconds)
2026-02-12 09:07:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-12 09:12:55 +0100AlexNoo(~AlexNoo@85.174.182.59)
2026-02-12 09:17:24 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 09:17:42 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 09:18:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-12 09:22:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-12 09:37:06 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-12 09:37:06 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2026-02-12 09:37:06 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-12 09:37:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-12 09:37:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-12 09:37:43 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-12 09:38:37 +0100w00ter(~w00ter@user/w00ter) (Read error: Connection reset by peer)
2026-02-12 09:38:51 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-12 09:39:10 +0100w00ter(~w00ter@user/w00ter) w00ter
2026-02-12 09:40:10 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-12 09:44:42 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-12 09:45:37 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-12 09:54:41 +0100Lears(~Leary@user/Leary/x-0910699) Leary
2026-02-12 09:56:25 +0100Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 264 seconds)
2026-02-12 09:57:05 +0100 <dutchie> (^ 2) vs -Wtype-defaults :(
2026-02-12 10:00:32 +0100merijn(~merijn@77.242.116.146) merijn
2026-02-12 10:01:05 +0100 <haskellbridge> <Morj> The bane of my mathematical code
2026-02-12 10:01:05 +0100 <haskellbridge> <Morj> When i make my own prelude, maybe i'll make it less polymorphic
2026-02-12 10:04:31 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds)
2026-02-12 10:04:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-12 10:04:41 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198)
2026-02-12 10:05:00 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:05:20 +0100wickedjargon(~user@2605:8d80:5431:6065:7b8a:6513:6c7e:c79c) (Ping timeout: 245 seconds)
2026-02-12 10:07:06 +0100 <tomsmeding> whenever I use (^) and care about how my code looks I go `import Prelude hiding ((^)); import qualified Prelude; (^) :: Num a => a -> Int -> a ; (^) = (Prelude.^)`
2026-02-12 10:07:30 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 10:07:49 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:10:01 +0100 <Lears> I usually just write `x * x`.
2026-02-12 10:10:02 +0100akegalj(~akegalj@78-3-67-163.adsl.net.t-com.hr) akegalj
2026-02-12 10:10:40 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-12 10:10:49 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 264 seconds)
2026-02-12 10:13:37 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-12 10:16:59 +0100frio(~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) (Quit: bye guys!)
2026-02-12 10:21:41 +0100mange(~mange@user/mange) mange
2026-02-12 10:22:28 +0100trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-12 10:22:41 +0100trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-12 10:28:55 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 10:29:10 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 10:32:19 +0100Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 10:32:36 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-12 10:33:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-12 10:34:28 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) Enrico63
2026-02-12 10:39:38 +0100sixfourtwelve(~ethanmorg@82.18.82.103) sixfourtwelve
2026-02-12 10:47:07 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 264 seconds)
2026-02-12 10:47:19 +0100foul_owl(~kerry@94.156.149.97) (Read error: Connection reset by peer)
2026-02-12 10:49:24 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 10:49:41 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:52:12 +0100sixfourtwelve(~ethanmorg@82.18.82.103) (Quit: leaving)
2026-02-12 10:54:05 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 10:55:28 +0100Alex_delenda_est(~al_test@85.174.182.59)
2026-02-12 10:55:32 +0100comerijn(~merijn@77.242.116.146) merijn
2026-02-12 10:57:49 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2026-02-12 10:58:35 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:59:07 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds)
2026-02-12 10:59:24 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:59:41 +0100Alex_delenda_est(~al_test@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:00:01 +0100castan(~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0)
2026-02-12 11:02:35 +0100 <castan> hi! is this thing on
2026-02-12 11:03:00 +0100Alex_delenda_est(~al_test@85.174.182.59)
2026-02-12 11:03:19 +0100 <chromoblob> hi castan
2026-02-12 11:03:25 +0100 <[exa]> castan: always
2026-02-12 11:03:57 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 11:03:58 +0100foul_owl(~kerry@94.156.149.92) foul_owl
2026-02-12 11:04:24 +0100Googulator88(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 11:04:26 +0100Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 11:05:25 +0100mud(~mud@user/kadoban) (Ping timeout: 264 seconds)
2026-02-12 11:05:47 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-12 11:06:05 +0100trickard_trickard
2026-02-12 11:06:26 +0100mud(~mud@user/kadoban) kadoban
2026-02-12 11:07:23 +0100Alex_delenda_est(~al_test@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:07:37 +0100 <castan> great, I'm a bit confused as to why 1 == 1 typechecks, since Num does not inherit Eq
2026-02-12 11:08:17 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198)
2026-02-12 11:08:29 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:08:34 +0100 <Lears> % :seti -Wtype-defaults
2026-02-12 11:08:34 +0100 <yahb2> <no output>
2026-02-12 11:08:38 +0100 <Lears> % :t 1 == 1
2026-02-12 11:08:38 +0100 <yahb2> <interactive>:1:3: warning: [GHC-18042] [-Wtype-defaults] ; • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints ; (Eq a0) arising from a use of ‘==’ at <i...
2026-02-12 11:08:52 +0100 <Lears> % :seti -Wno-type-defaults
2026-02-12 11:08:52 +0100 <yahb2> <no output>
2026-02-12 11:10:03 +0100 <castan> oh I see, thanks
2026-02-12 11:10:42 +0100Alex_test_(~al_test@85.174.182.59)
2026-02-12 11:11:25 +0100 <davean> Morj: Just set the defaulting to an implimentation of the abstract concept of a number.
2026-02-12 11:12:12 +0100 <[exa]> castan: the Int (and Integer) type belongs to more typeclasses than Num, the issue is that you usually see the Num first because :t 1 tells you "it's some Num"
2026-02-12 11:12:32 +0100 <[exa]> castan: a pretty good way to find everything the type is able to do is `:i Int` in ghci
2026-02-12 11:13:00 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 11:16:11 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-12 11:16:22 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 11:16:27 +0100 <davean> Also, == says "whatever is on my two sides must be instances of Eq" not "must be instances of Num"
2026-02-12 11:18:59 +0100chele(~chele@user/chele) chele
2026-02-12 11:19:02 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-12 11:19:06 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2026-02-12 11:19:22 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-12 11:19:29 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:19:30 +0100 <castan> makes sense. I'm trying to understand the defaulting behavior from the 2010 report but it's quite dense
2026-02-12 11:21:47 +0100 <[exa]> castan: the intuition is that there's some kind of a default list, and it picks the first type from the default list that matches all the typeclass requirements
2026-02-12 11:22:47 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 252 seconds)
2026-02-12 11:23:07 +0100 <Lears> Defaulting is a bunch of ad hoc rules pragmatic for ghci. It's not really worth digging into the details.
2026-02-12 11:23:27 +0100 <mauke> not just ghci
2026-02-12 11:23:28 +0100 <dutchie> lots of defaulting complaints this morning
2026-02-12 11:24:45 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 11:25:35 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 11:27:34 +0100 <castan> alright, that intuition will do ;) thanks [exa]
2026-02-12 11:29:55 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 11:30:27 +0100 <[exa]> castan: btw try `read "123"`, that's the common victim of defaulting
2026-02-12 11:31:35 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:35:45 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 11:36:19 +0100 <chromoblob> > read "123"
2026-02-12 11:36:20 +0100 <lambdabot> *Exception: Prelude.read: no parse
2026-02-12 11:38:49 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 11:39:25 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 11:39:56 +0100karenw(~karenw@user/karenw) karenw
2026-02-12 11:42:35 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:46:45 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 11:51:09 +0100qqq(~qqq@185.54.22.240)
2026-02-12 11:53:45 +0100 <comerijn> Lears: Defaulting also happens in compiled code
2026-02-12 11:53:54 +0100 <comerijn> but the default list is more minimal in GHC
2026-02-12 11:54:04 +0100castan(~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) (Ping timeout: 245 seconds)
2026-02-12 11:54:04 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 11:54:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-02-12 11:55:09 +0100 <comerijn> Just enable -Wall and you'll get warning for type defaults and you should probably use that anyway
2026-02-12 11:55:38 +0100castan(~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f)
2026-02-12 11:57:31 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-12 11:57:35 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-02-12 11:58:14 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 12:02:15 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 12:02:17 +0100trickard___(~trickard@cpe-61-98-47-163.wireline.com.au)
2026-02-12 12:02:24 +0100trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2026-02-12 12:06:21 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 244 seconds)
2026-02-12 12:06:33 +0100Vizious(~bes@user/Vizious) Vizious
2026-02-12 12:10:46 +0100trickard___(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-12 12:11:00 +0100trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2026-02-12 12:13:00 +0100otto_s(~user@p4ff27e90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-02-12 12:13:35 +0100castan(~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) (Quit: castan)
2026-02-12 12:14:45 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-12 12:16:23 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 12:19:33 +0100xff0x(~xff0x@2405:6580:b080:900:bb2a:3aa9:d99:94fb)
2026-02-12 12:20:07 +0100Googulator88(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 12:20:12 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 12:20:44 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 12:22:44 +0100sixfourtwelve(~ethanmorg@82.18.82.103)
2026-02-12 12:24:54 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds)
2026-02-12 12:24:54 +0100trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection)
2026-02-12 12:25:15 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 12:25:42 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 12:26:00 +0100 <Lears> I meant "ad hoc rules (pragmatic for ghci)", not "ad hoc rules (pragmatic) for ghci"---I'm well aware of where it happens.
2026-02-12 12:26:01 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 12:27:34 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 12:27:53 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 12:29:59 +0100Miroboru(~myrvoll@188.113.115.67) Miroboru
2026-02-12 12:32:05 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds)
2026-02-12 12:35:39 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed)
2026-02-12 12:36:39 +0100Miroboru(~myrvoll@188.113.115.67) (Quit: Lost terminal)
2026-02-12 12:54:44 +0100sixfourtwelve(~ethanmorg@82.18.82.103) (Quit: leaving)
2026-02-12 12:58:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-12 12:58:44 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-12 12:59:06 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-12 12:59:08 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-12 12:59:44 +0100__monty__(~toonn@user/toonn) toonn
2026-02-12 13:01:52 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-12 13:01:52 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-12 13:01:52 +0100haritz(~hrtz@user/haritz) haritz
2026-02-12 13:11:00 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 13:12:03 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 13:12:29 +0100akegalj(~akegalj@78-3-67-163.adsl.net.t-com.hr) (Ping timeout: 244 seconds)
2026-02-12 13:12:45 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 13:13:04 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 13:18:02 +0100Square(~Square4@user/square) Square
2026-02-12 13:21:26 +0100fp(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) fp
2026-02-12 13:23:27 +0100sixfourtwelve(~ethanmorg@82.18.82.103) sixfourtwelve
2026-02-12 13:24:51 +0100sixfourtwelve(~ethanmorg@82.18.82.103) (Client Quit)
2026-02-12 13:27:33 +0100Alex_test_Alex_delenda_est
2026-02-12 13:33:14 +0100karenw(~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-02-12 13:38:53 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr)
2026-02-12 13:50:51 +0100Alex_delenda_est(~al_test@85.174.182.59) (Quit: ;-)
2026-02-12 13:52:03 +0100AlexZenon(~alzenon@85.174.182.59) (Quit: ;-)
2026-02-12 13:52:56 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 252 seconds)
2026-02-12 13:54:33 +0100AlexNoo(~AlexNoo@85.174.182.59) (Quit: Leaving)
2026-02-12 13:55:14 +0100lucabtz(~lucabtz@user/lucabtz) (Quit: Lost terminal)
2026-02-12 13:56:09 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 14:01:27 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 14:02:00 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 14:02:43 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 264 seconds)
2026-02-12 14:05:27 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 14:11:05 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr) (Ping timeout: 252 seconds)
2026-02-12 14:13:47 +0100Pozyomka_(~pyon@user/pyon) (Read error: Connection reset by peer)
2026-02-12 14:16:20 +0100tremon(~tremon@83.80.159.219) tremon
2026-02-12 14:19:08 +0100mange(~mange@user/mange) (Quit: Zzz...)
2026-02-12 14:20:17 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-12 14:23:27 +0100akegalj(~akegalj@78-3-67-163.adsl.net.t-com.hr)
2026-02-12 14:26:30 +0100AlexNoo(~AlexNoo@85.174.182.59)
2026-02-12 14:27:04 +0100spew(~spew@user/spew) spew
2026-02-12 14:29:15 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 14:29:30 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 14:33:55 +0100fp(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Quit: fp)
2026-02-12 14:34:06 +0100fp1(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) fp
2026-02-12 14:36:23 +0100fp1fp
2026-02-12 14:36:30 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-02-12 14:38:15 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 14:39:41 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-12 14:40:45 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-12 14:41:16 +0100emaczen(~user@user/emaczen) emaczen
2026-02-12 14:42:59 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 14:46:08 +0100Alex_delenda_est(~al_test@85.174.182.59)
2026-02-12 14:46:55 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 14:47:09 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 14:49:54 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 14:52:07 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 14:55:59 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-12 14:58:09 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-02-12 14:58:53 +0100haskyll(~haskyll._@user/haskyll) haskyll
2026-02-12 14:59:00 +0100 <haskyll> hello
2026-02-12 14:59:07 +0100 <haskyll> ive never programmed in haskell before
2026-02-12 14:59:14 +0100 <haskyll> but cool language
2026-02-12 14:59:18 +0100 <haskyll> and lambda is dope
2026-02-12 15:01:13 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 15:01:28 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 15:02:43 +0100qqq(~qqq@185.54.22.240) (Quit: Lost terminal)
2026-02-12 15:06:46 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve
2026-02-12 15:08:43 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-02-12 15:08:47 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 15:09:26 +0100fp(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Quit: fp)
2026-02-12 15:09:34 +0100fp1(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) fp
2026-02-12 15:10:21 +0100 <ski> hello haskyll
2026-02-12 15:10:34 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) ()
2026-02-12 15:11:52 +0100fp1fp
2026-02-12 15:12:35 +0100 <haskyll> hello ski
2026-02-12 15:13:07 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 255 seconds)
2026-02-12 15:15:32 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-12 15:18:39 +0100 <ski> do you have any textbook or other learning material to follow ? if you have any questions feel free to ask
2026-02-12 15:18:43 +0100__monty__(~toonn@user/toonn) toonn
2026-02-12 15:19:22 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-12 15:35:39 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-12 16:02:49 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 16:05:09 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198)
2026-02-12 16:05:19 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 16:09:41 +0100ames(~amelia@offtopia/offtopian/amelia) (Read error: Connection reset by peer)
2026-02-12 16:09:49 +0100ames0(~amelia@offtopia/offtopian/amelia) {ames}
2026-02-12 16:12:21 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-12 16:18:18 +0100ames0(~amelia@offtopia/offtopian/amelia) (Quit: Bye!)
2026-02-12 16:20:08 +0100ames0(~amelia@offtopia/offtopian/amelia) {ames}
2026-02-12 16:21:26 +0100fp(~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Ping timeout: 252 seconds)
2026-02-12 16:28:00 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9)
2026-02-12 16:29:17 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit)
2026-02-12 16:31:09 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-02-12 16:44:20 +0100perryprog(~perryprog@wikipedia/perryprog) (sin(2π 350t) + sin(2π 440t))
2026-02-12 16:46:04 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-12 16:46:29 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-12 16:47:31 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-12 16:47:45 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-12 16:48:54 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-12 16:53:51 +0100 <haskellbridge> <magic_rb> ive been struggling with this one, https://paste.tomsmeding.com/dGtRfnS8 what youre looking at is part of a larger codebase, essentialy i call "nixProc" with "nix" ["copy"] and other stuff, which fails (expectedly) but then if i include the "logFn" line under "withProcessTerm" the whole program crashes. I cannot figure out why, my assumption is that "tail" throws an exception, which somehow isnt caught by the "catch" in "addHandle"?...
2026-02-12 16:53:57 +0100 <haskellbridge> ... (as for why does that bring down the whole program i also don't know)
2026-02-12 16:54:50 +0100 <haskellbridge> <magic_rb> i tried to debug this will all the tools i know, but nothing sheds light on this, not even running with -xc and looking at all the exceptions it reports
2026-02-12 16:55:47 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 17:00:16 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-12 17:00:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-12 17:01:28 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 17:01:45 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 17:02:27 +0100raincomplex(~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-02-12 17:02:43 +0100raincomplex(~rain@user/raincomplex) raincomplex
2026-02-12 17:04:55 +0100haskyll(~haskyll._@user/haskyll) (Quit: bye)
2026-02-12 17:08:55 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2026-02-12 17:12:42 +0100wickedjargon(~user@24.83.46.194) wickedjargon
2026-02-12 17:14:29 +0100akegalj(~akegalj@78-3-67-163.adsl.net.t-com.hr) (Ping timeout: 245 seconds)
2026-02-12 17:14:49 +0100ames0ames
2026-02-12 17:17:07 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 17:17:24 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 17:20:18 +0100Square2(~Square@user/square) Square
2026-02-12 17:21:07 +0100Square2(~Square@user/square) (Remote host closed the connection)
2026-02-12 17:21:29 +0100Square2(~Square@user/square) Square
2026-02-12 17:22:02 +0100Square3(~Square@user/square) Square
2026-02-12 17:22:46 +0100Square(~Square4@user/square) (Ping timeout: 246 seconds)
2026-02-12 17:23:37 +0100Square3(~Square@user/square) (Remote host closed the connection)
2026-02-12 17:24:40 +0100Square3(~Square@user/square) Square
2026-02-12 17:24:59 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2026-02-12 17:25:07 +0100Square3(~Square@user/square) (Remote host closed the connection)
2026-02-12 17:25:34 +0100Square3(~Square@user/square) Square
2026-02-12 17:25:59 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-12 17:31:21 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-02-12 17:41:00 +0100jle`(~jle`@2603:8001:3b00:11:dbf:b6f2:b9d0:daa) jle`
2026-02-12 17:44:00 +0100 <haskellbridge> <magic_rb> Figure it out, it wan an "undefined" in a completely separate part of the codebase. It was part of parsing code
2026-02-12 17:48:26 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 17:48:50 +0100Googulator18(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 17:58:39 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-12 18:00:35 +0100p3n(~p3n@217.198.124.246) p3n
2026-02-12 18:01:23 +0100Googulator18Googulator
2026-02-12 18:01:24 +0100lambdap23717(~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 265 seconds)
2026-02-12 18:01:39 +0100lambdap23717(~lambdap@static.167.190.119.168.clients.your-server.de)
2026-02-12 18:03:55 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-12 18:07:59 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla
2026-02-12 18:15:42 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-12 18:16:23 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2026-02-12 18:20:47 +0100oskarw(~user@user/oskarw) (Ping timeout: 252 seconds)
2026-02-12 18:26:45 +0100oskarw(~user@user/oskarw) oskarw
2026-02-12 18:32:24 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-12 18:32:54 +0100califax_(~califax@user/califx) califx
2026-02-12 18:33:42 +0100califax(~califax@user/califx) (Ping timeout: 252 seconds)
2026-02-12 18:33:45 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-02-12 18:34:08 +0100califax_califax
2026-02-12 18:34:32 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-02-12 18:37:13 +0100yin(~zero@user/zero) zero
2026-02-12 18:40:09 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-02-12 18:41:11 +0100 <EvanR> undefined, has a supernatural propensity for getting evaluated at some point
2026-02-12 18:42:29 +0100oskarw`(~user@user/oskarw) oskarw
2026-02-12 18:43:15 +0100oskarw(~user@user/oskarw) (Ping timeout: 245 seconds)
2026-02-12 18:51:45 +0100spew(~spew@user/spew) spew
2026-02-12 18:57:20 +0100Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.8.1)
2026-02-12 18:59:25 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9)
2026-02-12 18:59:46 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit)
2026-02-12 19:00:28 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-02-12 19:03:01 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9)
2026-02-12 19:03:30 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-12 19:03:48 +0100castan(~castan@2a02:2f0f:8210:d800:376:9a28:2e21:35e9) (Client Quit)
2026-02-12 19:06:34 +0100Axma62634(~Axman6@user/axman6) Axman6
2026-02-12 19:08:01 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2026-02-12 19:14:41 +0100wickedjargon(~user@24.83.46.194) (Ping timeout: 252 seconds)
2026-02-12 19:18:56 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) Enrico63
2026-02-12 19:22:56 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2026-02-12 19:31:14 +0100fun-safe-math(~fun-safe-@97.115.234.213) ()
2026-02-12 19:33:18 +0100fun-safe-math(~fun-safe-@97.115.234.213) fun-safe-math
2026-02-12 19:38:01 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed)
2026-02-12 19:50:38 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2026-02-12 19:53:05 +0100EvanR(~EvanR@user/evanr) EvanR