IRCBrowse

2024/12/11

2024-12-11 00:02:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 00:02:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 00:02:41 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-12-11 00:02:42 +0100ljdarj1ljdarj
2024-12-11 00:06:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 00:06:52 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
2024-12-11 00:08:25 +0100 <r-sta> so i just finished this convolutional extension to some kind of versioning system
2024-12-11 00:08:37 +0100 <r-sta> well, kind of
2024-12-11 00:08:44 +0100 <r-sta> its a case of "if it compiles ship it"
2024-12-11 00:09:03 +0100 <r-sta> since i had been wresteling with a non-terminating superclass recursion... :-/
2024-12-11 00:09:30 +0100 <r-sta> at this point, id move on to other parts of the project, but it feels kinda rough to leave it untested
2024-12-11 00:09:41 +0100 <r-sta> ill put the code, hang on
2024-12-11 00:10:24 +0100leah2(~leah@vuxu.org) (Ping timeout: 245 seconds)
2024-12-11 00:11:21 +0100leah2(~leah@vuxu.org) leah2
2024-12-11 00:13:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 00:15:14 +0100housemate(~housemate@ppp203-122-213-191.static.internode.on.net) housemate
2024-12-11 00:15:15 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer)
2024-12-11 00:15:56 +0100leah2(~leah@vuxu.org) (Excess Flood)
2024-12-11 00:17:35 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b23:6c48:4874:9aaa) (Read error: Connection reset by peer)
2024-12-11 00:19:15 +0100 <Axman6> I haven't looked too closely at your work r-sta but it does remind me of grenade (and jle`'s excellent posts which basically recreate it)
2024-12-11 00:19:45 +0100 <r-sta> Axman6: https://github.com/munston/store
2024-12-11 00:19:53 +0100 <r-sta> jle did some stuff like this too
2024-12-11 00:20:04 +0100 <r-sta> sometimes the type level stuff leads to a strange interface though
2024-12-11 00:20:15 +0100 <r-sta> so im not using it eg for the lengths of the input output vectors of the samplers
2024-12-11 00:20:35 +0100 <r-sta> its only featuring here so that i can get the type level persistent direction of the path for the store
2024-12-11 00:21:12 +0100 <r-sta> its always a risk to try to do anything at type level, but i needed to be able to resolve the "name of the store" from the "type of the object"
2024-12-11 00:21:24 +0100 <r-sta> i guess there was a workaround that didnt keep this
2024-12-11 00:21:37 +0100 <r-sta> but i opted to just add a type level nat to the type of the object to help the compiler
2024-12-11 00:22:12 +0100 <r-sta> ...
2024-12-11 00:22:15 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-11 00:22:39 +0100JeremyB99(~JeremyB99@2607:fb90:d960:844a:b879:6469:685c:524e)
2024-12-11 00:22:40 +0100 <r-sta> in order to build the repo you also need to pull in this lib for the "parametric" class
2024-12-11 00:22:40 +0100 <r-sta> https://github.com/munston/lib
2024-12-11 00:22:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 00:22:58 +0100 <r-sta> i was trying to get set up developing on cabal so all these dependencies would be automatic
2024-12-11 00:23:25 +0100 <r-sta> my cabal project looks like this;
2024-12-11 00:23:25 +0100 <r-sta> https://pastebin.com/raw/f69XRTWz
2024-12-11 00:23:34 +0100 <Axman6> any reason now to do it all in one repo and use a cabal.project file?
2024-12-11 00:23:35 +0100 <r-sta> there are ~ 200 .hs files !
2024-12-11 00:23:39 +0100 <Axman6> s/now/not
2024-12-11 00:23:43 +0100 <r-sta> see above
2024-12-11 00:23:55 +0100 <r-sta> thats a reason not to!
2024-12-11 00:24:06 +0100 <Axman6> D:
2024-12-11 00:24:49 +0100 <r-sta> this doesnt even have the self learning stuff!
2024-12-11 00:26:08 +0100 <r-sta> i guess if it were something i were releasing id actually keep the trading interface under wraps
2024-12-11 00:26:36 +0100 <r-sta> its not really totally sane to release the AGI along with a monetization that you would benifit from being the sole user of!
2024-12-11 00:26:55 +0100 <r-sta> maybe there is a use case that would benifit the comunity?
2024-12-11 00:27:07 +0100 <r-sta> maybe some image or audio processing
2024-12-11 00:27:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 00:27:13 +0100JeremyB99(~JeremyB99@2607:fb90:d960:844a:b879:6469:685c:524e) (Ping timeout: 248 seconds)
2024-12-11 00:27:18 +0100 <r-sta> idk what would maybe be fun for students...
2024-12-11 00:27:26 +0100 <r-sta> train your ....
2024-12-11 00:27:46 +0100 <r-sta> ...
2024-12-11 00:28:13 +0100 <r-sta> its quite interesting how all this AGI stuff ends up actually.
2024-12-11 00:28:13 +0100 <r-sta> im using what could be considered to be an overregularized limit, which is actually nonparametric
2024-12-11 00:28:29 +0100 <r-sta> there is a bunch of literature, but all it amounts to is local gradient discovery and line extension
2024-12-11 00:28:35 +0100 <ncf> r-sta: #haskell-offtopic
2024-12-11 00:28:56 +0100 <r-sta> no wonder haskell is deplored within ML
2024-12-11 00:29:20 +0100 <Axman6> your implementation of Moc could be more efficient if you returned the first argument in the IfLt (S x) Z t f case - the first argument is (Subtract x y)
2024-12-11 00:29:43 +0100 <r-sta> at compile time!?
2024-12-11 00:29:56 +0100 <Axman6> yeah this is a lot of noise for thic channel, #haskell-offtopic would be better for the non-Haskell questions
2024-12-11 00:29:57 +0100 <r-sta> yeah i got the GPT to write the type level stuff and didnt check the implementations, thanks
2024-12-11 00:30:01 +0100 <Axman6> yes, compile times matter
2024-12-11 00:30:12 +0100 <r-sta> ok! ill make that change, thanks for the catch
2024-12-11 00:31:00 +0100 <Axman6> any reason not to use GHC's Nat type? all that code exists already
2024-12-11 00:31:01 +0100 <r-sta> (i wont be using the offtopic channel unless someone is actually wanting to engage, otherwise ill just not write about it)
2024-12-11 00:31:09 +0100 <r-sta> Axman6: yes, i hate it
2024-12-11 00:31:18 +0100 <r-sta> im reluctant to use TypeLits also
2024-12-11 00:31:28 +0100 <r-sta> you cant pattern match on classes properly
2024-12-11 00:31:43 +0100 <r-sta> classes cant pattern match on GHC's inbuilt Nats properly*
2024-12-11 00:31:48 +0100 <r-sta> iirc
2024-12-11 00:32:14 +0100 <r-sta> i like to match on Z and ... n => (S n)
2024-12-11 00:32:16 +0100leah2(~leah@vuxu.org) leah2
2024-12-11 00:33:27 +0100 <Axman6> https://hackage.haskell.org/package/clash-prelude-1.8.1/docs/Clash-Sized-Vector.html does plenty of stuff like that. not sure what problems you're running into though
2024-12-11 00:34:19 +0100 <r-sta> (the src of that doesnt even mention a class!)
2024-12-11 00:35:23 +0100 <r-sta> i think basically i was running into some problems i didnt understand with the way KnownNat was opperating as a dictionary or something
2024-12-11 00:35:40 +0100 <r-sta> i could never get it to work simply and encountered errors i did not know how to solve
2024-12-11 00:35:42 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en)
2024-12-11 00:35:59 +0100 <r-sta> maybe its just the literal thinness of the Nat implementation, i know there is nothing im not aware what its doing
2024-12-11 00:36:13 +0100 <r-sta> because the typechecker isnt so mature you need to know exactly what its up to
2024-12-11 00:36:40 +0100 <r-sta> since the kind of errors it gives are like, just basically like runtime errors but at compile time, like nonterminating compilation
2024-12-11 00:36:44 +0100 <r-sta> really difficult to debug
2024-12-11 00:36:57 +0100 <r-sta> esp if you cant tell how the type level stuff your relying on works
2024-12-11 00:38:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 00:38:22 +0100sprotte24(~sprotte24@p200300d16f364f00e91ec4b6e14324a2.dip0.t-ipconnect.de) (Quit: Leaving)
2024-12-11 00:38:39 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
2024-12-11 00:43:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-11 00:45:09 +0100Digit(~user@user/digit) (Ping timeout: 260 seconds)
2024-12-11 00:45:48 +0100 <Axman6> Clash also uses a plugin to solve Nat type level expressions which GHC can't, which might be helpful
2024-12-11 00:46:36 +0100 <Axman6> https://hackage.haskell.org/package/ghc-typelits-natnormalise
2024-12-11 00:46:49 +0100JeremyB99(~JeremyB99@128.211.251.220)
2024-12-11 00:47:32 +0100 <Axman6> https://hackage.haskell.org/package/clash-ghc lists a few other deps for similar things
2024-12-11 00:48:30 +0100JeremyB99(~JeremyB99@128.211.251.220) (Read error: Connection reset by peer)
2024-12-11 00:49:44 +0100 <geekosaur> there's also https://flora.pm/packages/@hackage/ghc-typelits-presburger among others
2024-12-11 00:49:48 +0100Digit(~user@user/digit) Digit
2024-12-11 00:50:52 +0100 <Axman6> "...use ghc-typelits-meta and/or ghc-typelits-presburger instead." confusing
2024-12-11 00:51:16 +0100sindu(~sindu@176.75.224.1) (Ping timeout: 252 seconds)
2024-12-11 00:53:23 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b7b1:ecef:a8b4:e165)
2024-12-11 00:53:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 00:54:23 +0100 <Axman6> geekosaur: I'm not sure what that really offers - does it just help in the cases where obviously equal things involving Nats aren't obvious to GHC?
2024-12-11 00:56:41 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b7b1:ecef:a8b4:e165) (Read error: Connection reset by peer)
2024-12-11 00:57:29 +0100 <geekosaur> my impression is that natnormalise handles things like x + 1 - 1 which ghc needs help with, but presburger is a more general arithmetic solver
2024-12-11 00:57:48 +0100 <geekosaur> (ghc really is weak when it comes to type level Nats)
2024-12-11 00:58:06 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-12-11 00:59:03 +0100 <geekosaur> (more precisely, I think natnormalise doesn't so much do arithmetic as add extra constraints so ghc can do it)
2024-12-11 00:59:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b7b1:ecef:a8b4:e165)
2024-12-11 01:00:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-11 01:04:24 +0100acidjnk_new(~acidjnk@p200300d6e7283f80158cd9c34330b2d1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-12-11 01:06:28 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-12-11 01:06:33 +0100iqubic(~sophia@2601:602:9201:9440:9777:a5e9:365:fd69) (Ping timeout: 276 seconds)
2024-12-11 01:11:24 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b7b1:ecef:a8b4:e165) (Ping timeout: 260 seconds)
2024-12-11 01:11:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 01:12:14 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 01:18:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-11 01:20:00 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2024-12-11 01:21:55 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-12-11 01:22:31 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 01:25:55 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 01:25:58 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 01:26:07 +0100cbarrett(uid192934@id-192934.helmsley.irccloud.com) cbarrett
2024-12-11 01:27:58 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 01:28:55 +0100xff0x(~xff0x@2405:6580:b080:900:1d57:63dc:1fef:3969) (Ping timeout: 264 seconds)
2024-12-11 01:29:04 +0100dpratt(~dpratt@165.225.212.195) dpratt
2024-12-11 01:29:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 01:29:37 +0100housemate(~housemate@ppp203-122-213-191.static.internode.on.net) (Ping timeout: 248 seconds)
2024-12-11 01:30:23 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 01:32:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 01:34:06 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 01:34:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-11 01:36:01 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 01:38:22 +0100troojg(~troojg@user/troojg) troojg
2024-12-11 01:40:13 +0100troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-12-11 01:44:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 01:49:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 01:52:32 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 02:00:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 02:00:24 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-12-11 02:04:37 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-12-11 02:04:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 02:05:07 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 02:08:53 +0100AnaBanana(~AnaBanana@77.29.132.109)
2024-12-11 02:14:49 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 02:15:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 02:17:15 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 02:17:51 +0100housemate(~housemate@2405:6e00:2426:2f2e:d43b:2661:35a8:2e87) housemate
2024-12-11 02:20:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 02:21:40 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-11 02:22:51 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 02:25:48 +0100bliminse(~bliminse@user/bliminse) (Ping timeout: 244 seconds)
2024-12-11 02:27:50 +0100bliminse(~bliminse@user/bliminse) bliminse
2024-12-11 02:27:57 +0100foul_owl(~kerry@185.219.141.161) (Ping timeout: 246 seconds)
2024-12-11 02:29:37 +0100AnaBanana(~AnaBanana@77.29.132.109) (Quit: Client closed)
2024-12-11 02:30:02 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-12-11 02:30:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 02:31:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 02:35:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 02:36:10 +0100foul_owl(~kerry@174-21-81-201.tukw.qwest.net) foul_owl
2024-12-11 02:36:19 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 02:41:04 +0100housemate(~housemate@2405:6e00:2426:2f2e:d43b:2661:35a8:2e87) (Read error: Connection reset by peer)
2024-12-11 02:42:19 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 02:42:35 +0100foul_owl(~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 260 seconds)
2024-12-11 02:47:34 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326)
2024-12-11 02:50:41 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-11 02:51:46 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:e73:c412:fc92:f326) (Read error: Connection reset by peer)
2024-12-11 02:56:45 +0100foul_owl(~kerry@157.97.134.166) foul_owl
2024-12-11 02:58:18 +0100yangby(~secret@115.196.174.150) yangby
2024-12-11 02:59:21 +0100dpratt(~dpratt@165.225.212.195) (Quit: Client closed)
2024-12-11 03:01:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 03:02:21 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74)
2024-12-11 03:05:59 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-11 03:06:54 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) (Read error: Connection reset by peer)
2024-12-11 03:06:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-11 03:11:33 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74)
2024-12-11 03:13:15 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:75dc:6050:dc88:1e74) (Read error: Connection reset by peer)
2024-12-11 03:15:15 +0100iqubic(~sophia@2601:602:9201:9440:ffda:929e:4882:546b) iqubic
2024-12-11 03:17:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 03:18:30 +0100divya-(divya@140.238.251.170) divya
2024-12-11 03:19:51 +0100divya-divya
2024-12-11 03:21:18 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633)
2024-12-11 03:21:21 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Remote host closed the connection)
2024-12-11 03:21:28 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633)
2024-12-11 03:22:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-11 03:23:36 +0100OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2024-12-11 03:31:25 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Remote host closed the connection)
2024-12-11 03:31:34 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633)
2024-12-11 03:32:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 03:34:25 +0100pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2024-12-11 03:37:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 03:40:21 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dae:41b2:9d73:2633) (Ping timeout: 248 seconds)
2024-12-11 03:40:31 +0100JeremyB99(~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62)
2024-12-11 03:43:12 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-12-11 03:44:22 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-12-11 03:44:36 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-11 03:45:33 +0100JeremyB99(~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) (Remote host closed the connection)
2024-12-11 03:45:46 +0100JeremyB99(~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62)
2024-12-11 03:47:47 +0100pabs3(~pabs3@user/pabs3) pabs3
2024-12-11 03:48:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 03:51:13 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-11 03:52:09 +0100vanishingvanishingideal
2024-12-11 03:54:17 +0100JeremyB99(~JeremyB99@2607:fb91:10e2:d:2d31:26b5:d0b0:8f62) (Ping timeout: 252 seconds)
2024-12-11 03:54:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 03:55:15 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 03:58:20 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection)
2024-12-11 03:58:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 04:04:18 +0100sonolin(~michael@user/sonolin) (Read error: Connection reset by peer)
2024-12-11 04:05:07 +0100sonolin(~michael@user/sonolin) sonolin
2024-12-11 04:06:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 04:10:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-11 04:16:09 +0100bwerng(~bwern@2405:201:5c16:894:a059:4458:a01:2a23)
2024-12-11 04:24:44 +0100sonolin(~michael@user/sonolin) (Ping timeout: 252 seconds)
2024-12-11 04:26:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 04:26:52 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds)
2024-12-11 04:31:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 04:32:44 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-12-11 04:33:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 04:39:18 +0100sonolin(~michael@user/sonolin) sonolin
2024-12-11 04:42:20 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-11 04:42:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 04:45:37 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-12-11 04:46:50 +0100OftenFaded(OftenFaded@user/tisktisk) OftenFaded
2024-12-11 04:46:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 04:47:44 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-11 04:49:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-12-11 04:50:40 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-12-11 04:54:15 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection)
2024-12-11 04:54:22 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 04:56:34 +0100td_(~td@i5387090D.versanet.de) (Ping timeout: 252 seconds)
2024-12-11 04:57:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 04:58:05 +0100td_(~td@i5387092D.versanet.de) td_
2024-12-11 04:58:31 +0100Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-12-11 05:02:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-11 05:04:27 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection)
2024-12-11 05:04:32 +0100matsurago(~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f)
2024-12-11 05:04:36 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 05:13:05 +0100bwerng(~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 248 seconds)
2024-12-11 05:13:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 05:15:34 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Remote host closed the connection)
2024-12-11 05:15:42 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 05:17:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 05:18:17 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 05:22:59 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 05:25:50 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 05:26:05 +0100falafel(~falafel@2603:8000:b4f0:62a0:e521:5b28:43da:2d84) falafel
2024-12-11 05:27:44 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-11 05:28:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 05:34:15 +0100alp(~alp@2001:861:8ca0:4940:67a1:fe98:21a9:eb55)
2024-12-11 05:34:58 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 05:35:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 05:36:57 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 05:37:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 05:38:42 +0100alp(~alp@2001:861:8ca0:4940:67a1:fe98:21a9:eb55) (Ping timeout: 246 seconds)
2024-12-11 05:42:00 +0100Batzy(~quassel@user/batzy) Batzy
2024-12-11 05:42:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-11 05:42:39 +0100 <jackdk> If you really need to hold GHC's hand, there's also the entailments in package `constraints`
2024-12-11 05:45:11 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-11 05:47:00 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
2024-12-11 05:47:47 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-12-11 05:50:31 +0100falafel(~falafel@2603:8000:b4f0:62a0:e521:5b28:43da:2d84) (Ping timeout: 264 seconds)
2024-12-11 05:50:36 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 05:52:28 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 05:53:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 05:57:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 05:58:36 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 06:08:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 06:12:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 06:17:47 +0100sonolin(~michael@user/sonolin) (Ping timeout: 244 seconds)
2024-12-11 06:21:05 +0100bwerng(~bwern@2405:201:5c16:894:a059:4458:a01:2a23)
2024-12-11 06:23:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 06:28:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-11 06:38:23 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi) (Quit: homo)
2024-12-11 06:39:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 06:43:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-11 06:48:25 +0100michalz(~michalz@185.246.207.205)
2024-12-11 06:50:39 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi)
2024-12-11 06:51:05 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi) (Changing host)
2024-12-11 06:51:05 +0100homo(~homo@user/homo) homo
2024-12-11 06:54:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 06:54:59 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-12-11 06:58:43 +0100falafel(~falafel@2603:8000:b4f0:62a0:34eb:9562:6ceb:e5e4) falafel
2024-12-11 06:59:02 +0100bwerng(~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Read error: Connection reset by peer)
2024-12-11 06:59:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 06:59:14 +0100bwern(~bwern@2405:201:5c16:894:a059:4458:a01:2a23)
2024-12-11 06:59:25 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 07:00:21 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 07:05:21 +0100falafel(~falafel@2603:8000:b4f0:62a0:34eb:9562:6ceb:e5e4) (Ping timeout: 276 seconds)
2024-12-11 07:10:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 07:10:33 +0100falafel(~falafel@2603:8000:b4f0:62a0:6e84:907b:75a3:cba2) falafel
2024-12-11 07:15:49 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-12-11 07:16:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 07:17:28 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-12-11 07:17:37 +0100alp(~alp@2001:861:8ca0:4940:df64:d46a:4307:2ca3)
2024-12-11 07:17:44 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-12-11 07:19:59 +0100falafel(~falafel@2603:8000:b4f0:62a0:6e84:907b:75a3:cba2) (Ping timeout: 252 seconds)
2024-12-11 07:26:29 +0100homo_(~homo@37-33-168-21.bb.dnainternet.fi)
2024-12-11 07:26:56 +0100homo_(~homo@37-33-168-21.bb.dnainternet.fi) (Changing host)
2024-12-11 07:26:56 +0100homo_(~homo@user/homo) homo
2024-12-11 07:27:01 +0100homo(~homo@user/homo) (Ping timeout: 244 seconds)
2024-12-11 07:27:01 +0100homo_homo
2024-12-11 07:28:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 07:32:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 07:38:41 +0100notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2024-12-11 07:38:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 07:43:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-11 07:47:51 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-11 07:54:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 07:54:31 +0100acidjnk_new(~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) acidjnk
2024-12-11 07:55:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-12-11 07:56:03 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 07:56:13 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Read error: Connection reset by peer)
2024-12-11 07:58:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 08:01:11 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974)
2024-12-11 08:05:24 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:887d:12c1:e6ff:e974) (Ping timeout: 245 seconds)
2024-12-11 08:09:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 08:11:29 +0100JeremyB99(~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15)
2024-12-11 08:14:11 +0100JeremyB99(~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) (Read error: Connection reset by peer)
2024-12-11 08:14:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-11 08:18:32 +0100matsurago(~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving)
2024-12-11 08:18:43 +0100matsurago(~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) matsurago
2024-12-11 08:19:29 +0100ft(~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving)
2024-12-11 08:22:29 +0100Pent(sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 260 seconds)
2024-12-11 08:24:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 08:26:51 +0100Pent(sid313808@id-313808.lymington.irccloud.com) Pent____
2024-12-11 08:29:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 08:40:49 +0100kuribas(~user@2a02:1808:2:8342:9358:9a97:2c84:3994)
2024-12-11 08:42:35 +0100JeremyB99(~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15)
2024-12-11 08:42:52 +0100Square2(~Square4@user/square) Square
2024-12-11 08:43:00 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-12-11 08:45:20 +0100JeremyB99(~JeremyB99@2607:fb91:7e9:831e:5df8:8e83:1552:ef15) (Read error: Connection reset by peer)
2024-12-11 08:50:05 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen
2024-12-11 08:59:46 +0100kuribas(~user@2a02:1808:2:8342:9358:9a97:2c84:3994) (Remote host closed the connection)
2024-12-11 08:59:59 +0100kuribas(~user@2a02:1808:2:8342:245f:ff73:e86f:7ce9) kuribas
2024-12-11 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-11 09:00:37 +0100caconym(~caconym@user/caconym) caconym
2024-12-11 09:01:01 +0100vpan(~vpan@212.117.1.172)
2024-12-11 09:01:19 +0100vpanGuest9190
2024-12-11 09:01:41 +0100Guest9190vpan
2024-12-11 09:01:52 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 252 seconds)
2024-12-11 09:04:30 +0100kuribas(~user@2a02:1808:2:8342:245f:ff73:e86f:7ce9) (Ping timeout: 246 seconds)
2024-12-11 09:07:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-12-11 09:31:13 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 09:38:16 +0100JeremyB99(~JeremyB99@128.211.251.198)
2024-12-11 09:40:00 +0100JeremyB99(~JeremyB99@128.211.251.198) (Remote host closed the connection)
2024-12-11 09:40:13 +0100JeremyB99(~JeremyB99@128.211.251.198)
2024-12-11 09:40:29 +0100falafel(~falafel@2603:8000:b4f0:62a0:48f2:958e:154e:f667) falafel
2024-12-11 09:41:52 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-12-11 09:45:35 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 09:45:40 +0100acidjnk_new(~acidjnk@p200300d6e7283f61349c40132b872746.dip0.t-ipconnect.de) acidjnk
2024-12-11 09:47:23 +0100pabs3(~pabs3@user/pabs3) pabs3
2024-12-11 09:48:29 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-11 09:50:10 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2024-12-11 09:51:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-11 09:56:39 +0100 <c_wraith> does anyone else wish Bitraversable had something like Bifunctor's first and second as shortcuts when you want to traverse only over one side or the other?
2024-12-11 09:57:58 +0100 <jackdk> https://github.com/haskell/core-libraries-committee/issues/172
2024-12-11 10:01:43 +0100 <jackdk> Looks like it might come in base-4.21
2024-12-11 10:02:02 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 10:03:29 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-11 10:06:40 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-12-11 10:06:48 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-12-11 10:07:11 +0100matsurago(~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving)
2024-12-11 10:15:10 +0100the-zammers(~the-zamme@129.133.150.76)
2024-12-11 10:16:18 +0100 <c_wraith> I'm surprised that got so much pushback. I mean, I could see it if Bifunctor didn't have those things... but it does.
2024-12-11 10:19:12 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 10:21:00 +0100falafel(~falafel@2603:8000:b4f0:62a0:48f2:958e:154e:f667) (Ping timeout: 276 seconds)
2024-12-11 10:22:38 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-11 10:23:53 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-11 10:33:56 +0100 <tomsmeding> agreed; I understand the reluctance to extend the already sprawling `base`, but these functions belong with Bitraversable, and since Bitraversable is in base, the functions go in base.
2024-12-11 10:34:25 +0100 <tomsmeding> perhaps the votes against were secretly votes against Bitraversable being in base in the first place, but you can't remove that now, so the votes go against extension of the class instead
2024-12-11 10:35:05 +0100the-zammers(~the-zamme@129.133.150.76) (Ping timeout: 244 seconds)
2024-12-11 10:36:38 +0100JeremyB99(~JeremyB99@128.211.251.198) (Remote host closed the connection)
2024-12-11 10:36:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031)
2024-12-11 10:37:07 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-12-11 10:37:17 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-12-11 10:37:25 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-12-11 10:41:22 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
2024-12-11 10:43:50 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl)
2024-12-11 10:48:37 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-12-11 10:48:57 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds)
2024-12-11 10:50:05 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-11 10:52:12 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers
2024-12-11 10:52:24 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 10:56:09 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-11 10:57:15 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2024-12-11 10:57:49 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 244 seconds)
2024-12-11 11:01:12 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers
2024-12-11 11:01:58 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Remote host closed the connection)
2024-12-11 11:02:08 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031)
2024-12-11 11:02:34 +0100mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2024-12-11 11:09:28 +0100lortabac(~lortabac@37.169.113.231) lortabac
2024-12-11 11:19:38 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:8c3a:75e1:d476:856c) ubert
2024-12-11 11:21:27 +0100bwern(~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 276 seconds)
2024-12-11 11:22:28 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-11 11:24:54 +0100yangby(~secret@115.196.174.150) (Ping timeout: 240 seconds)
2024-12-11 11:25:43 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-12-11 11:26:09 +0100lortabac(~lortabac@37.169.113.231) (Quit: WeeChat 4.4.2)
2024-12-11 11:29:53 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 11:39:00 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-12-11 11:43:55 +0100hook54321(sid149355@user/hook54321) (Ping timeout: 260 seconds)
2024-12-11 11:48:15 +0100hook54321(sid149355@user/hook54321) hook54321
2024-12-11 11:50:19 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 11:51:14 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Remote host closed the connection)
2024-12-11 11:51:23 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031)
2024-12-11 11:54:59 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-12-11 11:55:37 +0100xff0x(~xff0x@2405:6580:b080:900:b4d0:4274:499:d865)
2024-12-11 12:04:52 +0100Digit(~user@user/digit) (Quit: testing config from fresh... and probably a few times. adjusted autojoin to reduce noise. bbs/bbl.)
2024-12-11 12:07:03 +0100merijn(~merijn@77.242.116.146) merijn
2024-12-11 12:10:45 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2024-12-11 12:20:51 +0100aforemny(~aforemny@2001:9e8:6cf0:6300:2ab4:61cd:5946:a5ad) aforemny
2024-12-11 12:22:12 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) alexherbo2
2024-12-11 12:28:03 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-11 12:29:21 +0100Square2(~Square4@user/square) (Ping timeout: 248 seconds)
2024-12-11 12:33:27 +0100emad(~emad@156.214.254.200) emad
2024-12-11 12:37:35 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen
2024-12-11 12:41:58 +0100mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2024-12-11 12:43:01 +0100emad(~emad@156.214.254.200) (Quit: Leaving)
2024-12-11 12:49:30 +0100user_(~user@user/fmira) fmira
2024-12-11 12:51:14 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 12:51:48 +0100fmira(~user@user/fmira) (Ping timeout: 264 seconds)
2024-12-11 12:53:44 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-12-11 12:54:29 +0100OftenFaded(OftenFaded@user/tisktisk) (Quit: Client closed)
2024-12-11 13:03:05 +0100comerijn(~merijn@77.242.116.146) merijn
2024-12-11 13:03:11 +0100Digit(~user@user/digit) Digit
2024-12-11 13:05:37 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-12-11 13:07:16 +0100bcksl(~bcksl@user/bcksl) (Quit: \)
2024-12-11 13:07:16 +0100end(~end@user/end/x-0094621) (Quit: end)
2024-12-11 13:18:04 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds)
2024-12-11 13:20:22 +0100Digitteknohippie(~user@user/digit) Digit
2024-12-11 13:21:14 +0100notzmv(~umar@user/notzmv) (Ping timeout: 245 seconds)
2024-12-11 13:21:20 +0100Digit(~user@user/digit) (Ping timeout: 260 seconds)
2024-12-11 13:22:35 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-11 13:23:48 +0100bcksl(~bcksl@user/bcksl) bcksl
2024-12-11 13:24:39 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds)
2024-12-11 13:25:58 +0100DigitteknohippieDigit
2024-12-11 13:27:10 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2024-12-11 13:28:58 +0100end(~end@user/end/x-0094621) end^
2024-12-11 13:29:29 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-11 13:29:35 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2024-12-11 13:33:13 +0100libertyprime(~libertypr@118.92.70.94) libertyprime
2024-12-11 13:33:13 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-12-11 13:33:16 +0100libertyprime(~libertypr@118.92.70.94) (Remote host closed the connection)
2024-12-11 13:33:29 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-12-11 13:36:06 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 246 seconds)
2024-12-11 13:38:47 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-12-11 13:40:13 +0100Square2(~Square4@user/square) Square
2024-12-11 13:41:29 +0100Digit(~user@user/digit) (Quit: okay, just one more restart to make sure i have this config working cleanly)
2024-12-11 13:45:33 +0100Digit(~user@user/digit) Digit
2024-12-11 13:46:47 +0100danza(~danza@user/danza) danza
2024-12-11 13:47:06 +0100danza(~danza@user/danza) (Remote host closed the connection)
2024-12-11 13:47:53 +0100danza(~danza@user/danza) danza
2024-12-11 13:55:22 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) (Remote host closed the connection)
2024-12-11 13:55:41 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) alexherbo2
2024-12-11 13:57:36 +0100Digit(~user@user/digit) (Remote host closed the connection)
2024-12-11 14:04:23 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 14:04:32 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection)
2024-12-11 14:05:18 +0100Digit(~user@user/digit) Digit
2024-12-11 14:05:28 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 14:07:21 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 14:10:00 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-11 14:10:20 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi)
2024-12-11 14:10:54 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi) (Changing host)
2024-12-11 14:10:54 +0100homo(~homo@user/homo) homo
2024-12-11 14:14:39 +0100omegatron(~some@user/omegatron) omegatron
2024-12-11 14:16:02 +0100 <vpan> hi, what is the accepted/more widespread naming convention wrt abbreviations in identifiers - `absoluteUri` or `absoluteURI`? https://wiki.haskell.org/Programming_guidelines and linked style guides suggest the former, but I also see things like `UTCTime`, `parseURI`, etc. in libraries.
2024-12-11 14:26:05 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-12-11 14:29:49 +0100 <tomsmeding> vpan: where does that page express a preference for `absoluteUri`?
2024-12-11 14:31:16 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-11 14:31:52 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-12-11 14:32:40 +0100 <vpan> tomsmeding: by linking to http://c2.com/cgi/wiki?CamelCase for definitions of "lowerCamelCase" and "UpperCamelCase"
2024-12-11 14:33:12 +0100 <tomsmeding> vpan: the only yse of "abbreviation" or "acronym" on that page seems to be in favour of `absoluteURI`
2024-12-11 14:33:16 +0100 <tomsmeding> *use
2024-12-11 14:34:38 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2024-12-11 14:35:41 +0100SlackCoder(~SlackCode@208.26.70.132) SlackCoder
2024-12-11 14:38:35 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) CiaoSen
2024-12-11 14:42:03 +0100 <vpan> tomsmeding: I didn't notice relevant examples in the w.h.o page, but the linked c2 page says: "No two capitalised letters shall follow directly each other", Anyway, I'm just trying to understand what is the idiomatic style to follow that if there is a consensus.
2024-12-11 14:44:28 +0100 <tomsmeding> vpan: I think with things like IO, ST, MVar, STRef, IOError, UTCTime, getCPUTime (yet cpuTimePrecision), the convention is rather clearly to capitalise abbreviations
2024-12-11 14:44:51 +0100 <tomsmeding> perhaps unless they are at the start of a (forced-)lowercase name
2024-12-11 14:45:14 +0100 <haskellbridge> <Morj> Camel casing in haskell is inconsistent, but in my experience the slightly dominant convention is to capitalize abbreviations. Count the options in this search for example: https://hoogle.haskell.org/?hoogle=Http
2024-12-11 14:45:39 +0100 <haskellbridge> <Morj> I personally don't like it and prefer to not-capitalize, but oh well =]
2024-12-11 14:45:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-12-11 14:47:56 +0100 <probie> We should just make identifiers only case sensitive on the first character /j
2024-12-11 14:48:01 +0100 <probie> I doubt much real Haskell code would even notice the difference
2024-12-11 14:52:52 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
2024-12-11 14:53:57 +0100SlackCoder(~SlackCode@208.26.70.132) (Quit: Leaving)
2024-12-11 14:54:53 +0100weary-traveler(~user@user/user363627) user363627
2024-12-11 14:59:36 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2024-12-11 15:01:00 +0100Everything(~Everythin@94.153.26.254) Everything
2024-12-11 15:05:15 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2024-12-11 15:06:33 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-12-11 15:06:45 +0100CiaoSen(~Jura@2a05:5800:2da:8000:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-12-11 15:17:57 +0100poscat(~poscat@user/poscat) (Ping timeout: 246 seconds)
2024-12-11 15:18:35 +0100poscat(~poscat@user/poscat) poscat
2024-12-11 15:19:10 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-11 15:20:28 +0100danza(~danza@user/danza) ()
2024-12-11 15:26:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-11 15:29:15 +0100OftenFaded(OftenFaded@user/tisktisk) OftenFaded
2024-12-11 15:33:10 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds)
2024-12-11 15:33:49 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
2024-12-11 15:35:44 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 15:39:05 +0100 <dpratt> AoC day 11 part 2 is taking forever to compute, of course -- what's the likelihood I could get significantly better performance if I find the right place(s) to introduce strictness?
2024-12-11 15:39:06 +0100 <dpratt> Or do I need to find some clever algorithmic optimization(s)?
2024-12-11 15:42:45 +0100vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2024-12-11 15:53:52 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2024-12-11 15:54:12 +0100lortabac(~lortabac@37.170.83.34) lortabac
2024-12-11 15:56:02 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-11 15:56:27 +0100forell(~forell@user/forell) (Ping timeout: 246 seconds)
2024-12-11 16:06:40 +0100lortabac(~lortabac@37.170.83.34) (Quit: WeeChat 4.4.2)
2024-12-11 16:10:04 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-12-11 16:10:41 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 16:18:15 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-11 16:18:43 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-11 16:23:18 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-12-11 16:24:56 +0100__monty__(~toonn@user/toonn) toonn
2024-12-11 16:28:26 +0100OftenFaded96(~OftenFade@user/tisktisk) OftenFaded
2024-12-11 16:29:19 +0100billchenchina(~billchenc@2408:844f:1500:61:101e:dc92:5a9d:3e6b) billchenchina
2024-12-11 16:30:37 +0100turlando(~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
2024-12-11 16:31:29 +0100billchenchina-(~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina
2024-12-11 16:31:53 +0100turlando(~turlando@user/turlando) turlando
2024-12-11 16:32:40 +0100OftenFaded(OftenFaded@user/tisktisk) (Ping timeout: 240 seconds)
2024-12-11 16:33:24 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-11 16:34:09 +0100Everything(~Everythin@94.153.26.254) (Ping timeout: 248 seconds)
2024-12-11 16:34:46 +0100billchenchina(~billchenc@2408:844f:1500:61:101e:dc92:5a9d:3e6b) (Ping timeout: 272 seconds)
2024-12-11 16:38:18 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-12-11 16:41:03 +0100 <dpratt> glguy when you get to today's AoC I'd be interested to know how long your part 2 solution takes to execute :)
2024-12-11 16:42:55 +0100 <Rembane> dpratt: Do you have an estimate for the time complexity of your solution?
2024-12-11 16:43:36 +0100 <glguy> dpratt: around 45ms
2024-12-11 16:44:08 +0100 <glguy> dpratt: if your solution is running slowly you need to change your approach
2024-12-11 16:44:37 +0100 <dpratt> glguy I def need to change my approach :)
2024-12-11 16:45:18 +0100 <glguy> The most "naive" approach will take more time and memory than you have
2024-12-11 16:45:45 +0100 <dpratt> testing that theory presently glguy :)
2024-12-11 16:47:25 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-12-11 16:52:20 +0100billchenchina-(~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Quit: Leaving)
2024-12-11 16:55:22 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-11 17:01:18 +0100 <__monty__> Hmm, I'm interested in how you got to 45 ms but I don't want to spoil AoC for anyone.
2024-12-11 17:02:59 +0100notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2024-12-11 17:04:34 +0100Square(~Square@user/square) Square
2024-12-11 17:05:26 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-12-11 17:05:44 +0100bwern(~bwern@2405:201:5c16:894:a059:4458:a01:2a23)
2024-12-11 17:05:51 +0100 <edwardk> @where e_10
2024-12-11 17:05:51 +0100 <lambdabot> [show(sum$scanl div(100^n)[1..[4..]!!n])!!n|n<-[0..]]
2024-12-11 17:05:57 +0100 <glguy> It's up on my GitHub
2024-12-11 17:06:11 +0100 <edwardk> @where pi_10
2024-12-11 17:06:11 +0100 <lambdabot> (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]]
2024-12-11 17:06:13 +0100 <edwardk> @where pi_11
2024-12-11 17:06:13 +0100 <lambdabot> [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]]
2024-12-11 17:06:17 +0100 <edwardk> -- that's it
2024-12-11 17:06:49 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-a85d-413e-4c46-c70d.rev.sfr.net) (Remote host closed the connection)
2024-12-11 17:07:59 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-908e-9152-360e-b9b6.rev.sfr.net) alexherbo2
2024-12-11 17:09:00 +0100 <mauke> > lambdabot [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]]
2024-12-11 17:09:06 +0100 <lambdabot> mueval-core: Time limit exceeded
2024-12-11 17:11:00 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-11 17:11:35 +0100alexherbo2(~alexherbo@2a02-8440-3206-db85-908e-9152-360e-b9b6.rev.sfr.net) (Remote host closed the connection)
2024-12-11 17:26:52 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-12-11 17:32:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 17:38:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-11 17:39:35 +0100slack1256(~slack1256@179.60.70.224) slack1256
2024-12-11 17:42:01 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-12-11 17:42:05 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-12-11 17:44:12 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2024-12-11 17:44:14 +0100 <probie> > take 42 [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]]
2024-12-11 17:44:15 +0100 <lambdabot> "314159265358979323846264338327950288419716"
2024-12-11 17:48:34 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-12-11 17:48:50 +0100mvk(~mvk@2607:fea8:5c96:5800::c5fe) mvk
2024-12-11 17:48:50 +0100mvk(~mvk@2607:fea8:5c96:5800::c5fe) (Client Quit)
2024-12-11 17:52:24 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-12-11 17:53:28 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection)
2024-12-11 17:53:45 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
2024-12-11 18:07:10 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 18:11:17 +0100ephemient(uid407513@user/ephemient) (Quit: Connection closed for inactivity)
2024-12-11 18:11:29 +0100sindu(~sindu@176.75.224.1)
2024-12-11 18:11:38 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2024-12-11 18:18:39 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-11 18:24:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 18:33:38 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:8c3a:75e1:d476:856c) (Quit: ubert)
2024-12-11 18:35:38 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds)
2024-12-11 18:38:42 +0100briandaed(~root@user/briandaed) briandaed
2024-12-11 18:42:54 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-11 18:51:03 +0100KicksonButt(~quassel@187.21.174.221)
2024-12-11 18:59:14 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-12-11 19:01:21 +0100slack1256(~slack1256@179.60.70.224) (Remote host closed the connection)
2024-12-11 19:02:21 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Read error: Connection reset by peer)
2024-12-11 19:03:47 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031)
2024-12-11 19:08:48 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b30a:f947:c353:f031) (Ping timeout: 276 seconds)
2024-12-11 19:10:36 +0100forell(~forell@user/forell) forell
2024-12-11 19:11:10 +0100OftenFaded96(~OftenFade@user/tisktisk) (Ping timeout: 240 seconds)
2024-12-11 19:12:23 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-12-11 19:12:26 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 19:13:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2024-12-11 19:15:12 +0100JeremyB99(~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda)
2024-12-11 19:15:16 +0100JeremyB99(~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) (Remote host closed the connection)
2024-12-11 19:15:17 +0100Lord_of_Life_Lord_of_Life
2024-12-11 19:15:25 +0100JeremyB99(~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda)
2024-12-11 19:16:41 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit)
2024-12-11 19:20:23 +0100OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2024-12-11 19:24:03 +0100ft(~ft@p508db9c7.dip0.t-ipconnect.de) ft
2024-12-11 19:25:51 +0100JeremyB99(~JeremyB99@2607:ac80:401:7:1047:dc88:423c:1dda) (Read error: Connection reset by peer)
2024-12-11 19:27:08 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-11 19:28:01 +0100bwern(~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 248 seconds)
2024-12-11 19:29:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-11 19:30:54 +0100JeremyB99(~JeremyB99@2607:fb90:8d60:d808:b878:843f:823e:fac7)
2024-12-11 19:32:10 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-12-11 19:32:59 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-11 19:34:28 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-12-11 19:35:01 +0100JeremyB99(~JeremyB99@2607:fb90:8d60:d808:b878:843f:823e:fac7) (Ping timeout: 248 seconds)
2024-12-11 19:39:09 +0100semmelschwarz(~semmelsch@41.66.98.79)
2024-12-11 19:40:27 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 246 seconds)
2024-12-11 19:40:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 19:41:11 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer)
2024-12-11 19:41:16 +0100 <semmelschwarz> `Hey, guys! :) When I unqualifiedly `import` multiple Haskell modules containing a function of the same name, I get an error if I use that function without a prefix. When I `qualified`ly `import`, I have to prefix ALL functions contained in that particular module. Is there a way to `import` a module so that I don't always have to use a prefix, …
2024-12-11 19:42:11 +0100 <semmelschwarz> … but—for a function with a name already used in another module—that other module takes precedence for that particular function name? So: Act like `import qualified` for functions affected by a name clash, but like just `import` for all the others!
2024-12-11 19:42:17 +0100Flow(~none@gentoo/developer/flow) flow
2024-12-11 19:42:31 +0100 <semmelschwarz> Thanks in advance!
2024-12-11 19:42:48 +0100 <glguy> semmelschwarz: import TheModule as M
2024-12-11 19:43:04 +0100 <glguy> and then you can use names unqualified when they are unique and qualified whenever you want
2024-12-11 19:44:07 +0100 <semmelschwarz> glguy Yeah, but let's say function `x` is provided by `Musk` and by `WL`.
2024-12-11 19:44:35 +0100 <glguy> you can also use a "hiding" clause
2024-12-11 19:44:37 +0100 <semmelschwarz> When I `import Musk as M` & `import WL as L`
2024-12-11 19:44:41 +0100 <glguy> import Musk hiding (failure)
2024-12-11 19:45:24 +0100 <semmelschwarz> glguy Thanks, `hiding` goes into the right direction!
2024-12-11 19:46:21 +0100 <semmelschwarz> What I meant was: When I use `x` after those `import`s, I get a clash error, so I have to prefix `x` for every use.
2024-12-11 19:46:23 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-12-11 19:46:28 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 252 seconds)
2024-12-11 19:46:58 +0100 <semmelschwarz> I wanted to know if there's a way, so that `Musk` that precedence over `WL`.
2024-12-11 19:47:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 19:48:17 +0100 <Leary> If you use explicit import lists you won't have this problem in the first place.
2024-12-11 19:48:55 +0100 <mauke> yeah, that's 'hiding' exactly
2024-12-11 19:49:11 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-11 19:49:19 +0100 <semmelschwarz> But, yeah `import … hiding` combined with a `qualified` `import`, I will get just that—I only have to list the ones that would clash.
2024-12-11 19:49:29 +0100 <semmelschwarz> But maybe that's better for
2024-12-11 19:49:50 +0100 <semmelschwarz> auitability anyways.
2024-12-11 19:50:02 +0100 <mauke> do you need 'qualified'?
2024-12-11 19:50:16 +0100 <mauke> oh, maybe you do
2024-12-11 19:50:30 +0100 <semmelschwarz> I guess so.
2024-12-11 19:50:58 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-12-11 19:51:11 +0100 <semmelschwarz> `hiding` will hide, no matter if I use a particular name prexifed or not, as I understand it.
2024-12-11 19:51:15 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 19:51:27 +0100 <semmelschwarz> But I'll test.
2024-12-11 19:51:27 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer)
2024-12-11 19:52:06 +0100 <glguy> Hiding affecting qualified usages is helpful because you can import multiple modules into the same alias: import This as M; import That as M
2024-12-11 19:52:33 +0100 <mauke> I consider that a misfeature
2024-12-11 19:53:06 +0100 <glguy> I'm happy to have: import Data.Text qualified as Text; import Data.Text.IO qualified as Text
2024-12-11 19:53:12 +0100 <semmelschwarz> glguy Oh, I didn't know “union prefixes” are a thing, thx.
2024-12-11 19:53:35 +0100 <glguy> It's not useful to me to have those as separate modules, so I don't import them separately
2024-12-11 19:54:19 +0100 <semmelschwarz> I've done stuff like: `import Data.List.Extra qualified as LX`
2024-12-11 19:54:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-11 19:54:54 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-12-11 19:54:55 +0100 <semmelschwarz> So there are def. some potential use-cases 4 me 2.
2024-12-11 19:55:04 +0100 <mauke> I'd rather have 'import Data.Text (Text) qualified as T' with the semantics of importing the 'Text' type unqualified and everything else under T
2024-12-11 19:55:32 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2024-12-11 19:56:47 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-11 19:58:08 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 19:59:25 +0100omegatron(~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.)
2024-12-11 19:59:33 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-11 20:02:34 +0100 <semmelschwarz> mauke I know `{-# LANGUAGE ImportQualifiedPost #-}`, but what do I have to do in order to use the order you used in terms of where the `as` is placed—instead of the standard`import qualified Data.Text as T (Text)`?
2024-12-11 20:03:11 +0100 <tomsmeding> semmelschwarz: it was a feature request :p
2024-12-11 20:03:21 +0100 <semmelschwarz> All of it.
2024-12-11 20:04:09 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 245 seconds)
2024-12-11 20:04:09 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-12-11 20:04:16 +0100 <tomsmeding> mauke: can you please implement that in GHC and allow me to change all the `import Data.Map.Strict (Map); import qualified Data.Map.Strict as Map` to just one line
2024-12-11 20:05:25 +0100Flow(~none@gentoo/developer/flow) flow
2024-12-11 20:05:44 +0100semmelschwaerzer(~semmelsch@41.66.98.79)
2024-12-11 20:05:56 +0100 <semmelschwaerzer> Sry, I got thrown out.
2024-12-11 20:06:34 +0100 <semmelschwaerzer> So it also was conceived syntax, not just conceived semantics, mIr?
2024-12-11 20:07:09 +0100 <semmelschwaerzer> Or is there also a pragma stuff allowing for that ordering?
2024-12-11 20:07:34 +0100 <tomsmeding> no it was conceived syntax indeed
2024-12-11 20:07:40 +0100semmelschwarz(~semmelsch@41.66.98.79) (Ping timeout: 240 seconds)
2024-12-11 20:07:49 +0100 <tomsmeding> but you can get it with two imports; `import Data.Text qualified as T; import Data.Text (Text)`
2024-12-11 20:08:15 +0100 <tomsmeding> this happens so often, with Data.Text, Data.Map.Strict, Data.Set, and more, that it would be nice to have syntax for it
2024-12-11 20:08:17 +0100 <tomsmeding> but we don't
2024-12-11 20:08:38 +0100 <semmelschwaerzer> tomsmeding Thx for clearifying. Yeah, sure!
2024-12-11 20:13:57 +0100notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2024-12-11 20:14:10 +0100semmelschwaerzer(~semmelsch@41.66.98.79) (Ping timeout: 240 seconds)
2024-12-11 20:15:08 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi)
2024-12-11 20:15:49 +0100homo(~homo@37-33-168-21.bb.dnainternet.fi) (Changing host)
2024-12-11 20:15:49 +0100homo(~homo@user/homo) homo
2024-12-11 20:18:21 +0100sprotte24(~sprotte24@p200300d16f09010004570c6c4bda6d45.dip0.t-ipconnect.de)
2024-12-11 20:22:33 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 20:27:59 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-11 20:35:17 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-12-11 20:41:55 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-11 20:45:17 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection)
2024-12-11 20:45:26 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 20:47:15 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-11 20:50:31 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-11 20:51:30 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-11 21:00:04 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-11 21:00:43 +0100caconym(~caconym@user/caconym) caconym
2024-12-11 21:00:55 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-11 21:02:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection)
2024-12-11 21:02:36 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 21:02:50 +0100visilii_(~visilii@92.50.200.10)
2024-12-11 21:03:52 +0100visilii(~visilii@213.24.132.203) (Ping timeout: 244 seconds)
2024-12-11 21:04:29 +0100pavonia(~user@user/siracusa) siracusa
2024-12-11 21:04:41 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-11 21:16:21 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds)
2024-12-11 21:16:38 +0100ash3en(~Thunderbi@146.70.124.222) ash3en
2024-12-11 21:19:16 +0100ash3en(~Thunderbi@146.70.124.222) (Read error: Connection reset by peer)
2024-12-11 21:19:38 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-12-11 21:20:29 +0100ash3en(~Thunderbi@146.70.124.222) ash3en
2024-12-11 21:20:30 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal)
2024-12-11 21:20:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-11 21:21:57 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit)
2024-12-11 21:22:18 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-11 21:25:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 21:26:32 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Remote host closed the connection)
2024-12-11 21:26:40 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261)
2024-12-11 21:28:06 +0100ash3en(~Thunderbi@146.70.124.222) (Quit: ash3en)
2024-12-11 21:29:24 +0100weary-traveler(~user@user/user363627) user363627
2024-12-11 21:29:31 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:2af9:19e2:ea95:2261) (Read error: Connection reset by peer)
2024-12-11 21:30:24 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 21:30:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 21:32:53 +0100JeremyB99(~JeremyB99@128.211.251.213)
2024-12-11 21:34:28 +0100JeremyB99(~JeremyB99@128.211.251.213) (Read error: Connection reset by peer)
2024-12-11 21:39:39 +0100JeremyB99(~JeremyB99@128.211.252.125)
2024-12-11 21:39:47 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-12-11 21:39:47 +0100JeremyB99(~JeremyB99@128.211.252.125) (Read error: Connection reset by peer)
2024-12-11 21:41:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 21:45:03 +0100foul_owl(~kerry@157.97.134.166) (Ping timeout: 246 seconds)
2024-12-11 21:46:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 21:50:11 +0100JeremyB99(~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c)
2024-12-11 21:52:31 +0100JeremyB99(~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) (Read error: Connection reset by peer)
2024-12-11 21:53:15 +0100JeremyB99(~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c)
2024-12-11 21:57:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 21:58:12 +0100foul_owl(~kerry@174-21-81-201.tukw.qwest.net) foul_owl
2024-12-11 22:01:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-11 22:05:37 +0100JeremyB99(~JeremyB99@2607:ac80:406:4:d41e:79f:54fc:7f6c) (Ping timeout: 252 seconds)
2024-12-11 22:08:12 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 22:08:37 +0100 <dpratt> glguy well I broke down and looked at your solution :D
2024-12-11 22:10:24 +0100rstromlund(~user@user/rstromlund) rstromlund
2024-12-11 22:10:59 +0100 <dpratt> glguy I had actually tried to add memoization myself using a `Map`, but it only made things worse
2024-12-11 22:10:59 +0100 <dpratt> thing is, when I tried to apply your technique to my code, that didn't work either (failed to even complete part 1!) -- I guess I'm desperate enough to show you (and everyone else) the relevant code, and maybe you can tell me what part of the magic I missed? https://gist.github.com/dgpratt/850f275f289ee8c901cd5245f1db254f
2024-12-11 22:11:22 +0100 <rstromlund> Hi all, I am using haskell-mode with cabal; when I use "C-c C-l" to start a haskell repl, I get missing module errors. But my cabal file already has this taken care of. The programs are complete and can be run. The errors are "Could not load module ‘Data.Array.Unboxed’". And "Could not load module ‘Data.Set’". It offers "Add `array' to advent-of-code.cabal? (y or n)" and "Add `containers'
2024-12-11 22:11:22 +0100 <rstromlund> to advent-of-code.cabal? (y or n)." But my cabal already has "build-depends: array, containers". I'm just trying to get an interactive repl started.
2024-12-11 22:11:36 +0100 <rstromlund> My .hs files are in a src/ directory; I think the mode isn't looking for a cabal file in parent folders. ?
2024-12-11 22:11:56 +0100 <rstromlund> Any emacs users here?
2024-12-11 22:12:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 22:12:59 +0100 <geekosaur> I never bothered to set that up in emacs but iirc you need to change some variable to use "cabal repl" or "stack ghci" as appropriate instead of "ghci"
2024-12-11 22:13:13 +0100briandaed(~root@user/briandaed) (Remote host closed the connection)
2024-12-11 22:14:36 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-11 22:15:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-11 22:15:58 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 22:16:28 +0100 <dpratt> need to get a better IRC connection than https://web.libera.chat/#haskell -- dumb thing keeps disconnecting me
2024-12-11 22:18:49 +0100 <rstromlund> The mode is set to auto-detect and it does start "cabal repl".
2024-12-11 22:19:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 22:20:22 +0100 <rstromlund> I'm solving AoC in haskell and I have an executable per day. I have a "build-depends:" per executable instead of a massive one for the entire project. I guess I could add all the modules to a common import.
2024-12-11 22:20:42 +0100 <rstromlund> I'd rather not spam every executable w/ unwanted modules just for an interactive mode. :/
2024-12-11 22:21:09 +0100KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-12-11 22:22:24 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-12-11 22:22:49 +0100 <glguy> dpratt: your implementation of "times" is wrong
2024-12-11 22:23:57 +0100 <dpratt> glguy oh, shoulda looked, thanks!
2024-12-11 22:24:25 +0100 <glguy> dpratt: you're using the wrong 'n' in the second case
2024-12-11 22:24:38 +0100 <glguy> so it repeatedly calls "times 24"
2024-12-11 22:24:42 +0100 <glguy> instead of decrementing
2024-12-11 22:24:43 +0100dprattsmacks forhead
2024-12-11 22:25:17 +0100 <dpratt> gee, I wonder why it never terminated?
2024-12-11 22:30:01 +0100 <rstromlund> adding the 'array' and 'containers' modules to a global "build-depends:" did not help.
2024-12-11 22:30:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 22:33:29 +0100 <glguy> rstromlund: is your cabal file online somewhere?
2024-12-11 22:35:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 22:35:49 +0100 <glguy> rstromlund: For reference this is how I have my 236 solution executables structured https://github.com/glguy/advent/blob/main/solutions/solutions.cabal
2024-12-11 22:37:06 +0100yangby(~secret@218.74.32.152) yangby
2024-12-11 22:40:29 +0100foul_owl(~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 244 seconds)
2024-12-11 22:43:04 +0100 <tomsmeding> glguy: have you run into any unexpected O(n^2) behaviour in cabal yet with that .cabal file :p
2024-12-11 22:43:14 +0100 <rstromlund> glguy, yes here : https://gitlab.com/rstromlund/aoc-cabal
2024-12-11 22:43:22 +0100 <glguy> nope! Cabal continues to impress
2024-12-11 22:43:35 +0100 <glguy> and it's nice enough to build the targets in parallel
2024-12-11 22:43:43 +0100 <rstromlund> I am switching from 'stack runghc' to cabal w/ a "proper" project file.
2024-12-11 22:43:45 +0100tomsmeding. o O ( make -j )
2024-12-11 22:44:25 +0100 <rstromlund> So far, 'haskell-mode's interactive repl is fighting me. All else is working fine.
2024-12-11 22:45:25 +0100 <glguy> rstromlund: I use an hie.yaml to help HLS know what target to use for each file/subdirectory https://github.com/glguy/advent/blob/main/hie.yaml
2024-12-11 22:45:28 +0100 <rstromlund> There's a "src/2024/run-all.bash" script that runs each day and pipes the puzzle input.
2024-12-11 22:45:36 +0100 <glguy> I think you are not supposed to need this in general but I was running into trouble without one
2024-12-11 22:45:47 +0100 <rstromlund> I'll look, thx
2024-12-11 22:45:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 22:47:32 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-12-11 22:48:49 +0100 <rstromlund> I was wondering how haskell-mode was translating the .hs filename to the executable target; that is probably it ...
2024-12-11 22:50:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 22:53:00 +0100foul_owl(~kerry@157.97.134.165) foul_owl
2024-12-11 22:59:10 +0100 <dpratt> glguy I must admit I would not have thought that your optimization would make much of a dent on the runtime for day 11. I guess it makes sense there'd be a large portion of repeated values at every step, given how many times it's going to be starting over from 0 or 1.
2024-12-11 22:59:10 +0100 <dpratt> As I mentioned, I tried to do a more straightforward memo just using a map to store/return the result of "blink" for a given stone value. It's quite possible I made a hash of it similar to what I posted above, but might such an approach be feasible if done correctly?
2024-12-11 22:59:49 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-12-11 23:01:30 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2024-12-11 23:01:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 23:02:03 +0100segfaultfizzbuzz(~segfaultf@23-93-87-166.dedicated.static.sonic.net) segfaultfizzbuzz
2024-12-11 23:02:07 +0100segfaultfizzbuzz(~segfaultf@23-93-87-166.dedicated.static.sonic.net) (Client Quit)
2024-12-11 23:03:58 +0100 <rstromlund> Adding "hie.yaml" didn't make haskell mode more "aware" of dependencies. I commited the file. Thanks for any tips.
2024-12-11 23:06:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 23:08:39 +0100simplystuart(~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection)
2024-12-11 23:10:43 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-11 23:16:47 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-11 23:17:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 23:17:28 +0100 <rstromlund> I gotta run, I spammed every target w/ dependencies and that gets the repl to load and parse the files correctly. Maybe I'll find a forum for the haskell mode maintainer. Thx for the help
2024-12-11 23:17:45 +0100 <rstromlund> I commited the update BTW.
2024-12-11 23:18:16 +0100semmelschwaerzer(~semmelsch@41.66.98.79)
2024-12-11 23:21:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-11 23:23:16 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-11 23:25:40 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2024-12-11 23:29:05 +0100alp(~alp@2001:861:8ca0:4940:df64:d46a:4307:2ca3) (Remote host closed the connection)
2024-12-11 23:29:22 +0100alp(~alp@2001:861:8ca0:4940:19e2:649e:49c5:d038)
2024-12-11 23:32:09 +0100rstromlund(~user@user/rstromlund) (Ping timeout: 244 seconds)
2024-12-11 23:32:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 23:33:13 +0100semmelschwaerzer(~semmelsch@41.66.98.79) (Remote host closed the connection)
2024-12-11 23:34:13 +0100jle`(~jle`@2603:8001:3b02:84d4:6ee:46b6:7128:c679) (Ping timeout: 252 seconds)
2024-12-11 23:35:09 +0100jle`(~jle`@2603:8001:3b02:84d4:e41f:4372:1938:6590) jle`
2024-12-11 23:37:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-11 23:37:52 +0100michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2024-12-11 23:38:54 +0100rstromlund(~user@user/rstromlund) rstromlund
2024-12-11 23:44:48 +0100semmelschwarz(~semmelsch@41.66.98.79)
2024-12-11 23:47:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-11 23:49:48 +0100 <semmelschwarz> Hey, one more thing, so that I can wrap my head around: I have a function `x` defined (in situ). But (when used from inside) I want to have it available only prefixed as `Main.x`, not as just `x`. When I use `x` unqualifedly/unprefixedly here, I want to refer to an `x` from an import (`import Other (x)` p.e.)—without generating a name clash. Would something like that be possible?
2024-12-11 23:51:10 +0100 <semmelschwarz> (I.e. I want to define it, but use it just qualifiedly.)
2024-12-11 23:52:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-11 23:59:58 +0100alp(~alp@2001:861:8ca0:4940:19e2:649e:49c5:d038) (Remote host closed the connection)