IRCBrowse

2023/05/04

2023-05-04 00:02:44 +0000 <[Leary]> geekosaur: Some weird code in there, though I guess that was ezyang, not you. Like...
2023-05-04 00:02:49 +0000 <[Leary]> :t \mx f -> mx >>= maybe (return Nothing) (return . Just . f)
2023-05-04 00:02:50 +0000 <lambdabot> Monad m => m (Maybe a1) -> (a1 -> a2) -> m (Maybe a2)
2023-05-04 00:02:56 +0000 <[Leary]> Why not just double fmap?
2023-05-04 00:03:08 +0000 <geekosaur> yeh, I was pretty confused by that
2023-05-04 00:03:40 +0000 <[Leary]> And the direct application of a lambda in updateL1/2; why not let or where, or inline it?
2023-05-04 00:04:10 +0000 <geekosaur> mostly I just copied from the corresponding functions in the original (now ByWidth)
2023-05-04 00:04:27 +0000 <geekosaur> the mkNew… functions
2023-05-04 00:06:07 +0000 <[Leary]> I guess you prefer not to fix what isn't broken---personally, I wouldn't be able to resist cleaning that up.
2023-05-04 00:07:36 +0000 <geekosaur> yeh, I tend to stick to what's already there by default when messing with someone else's code
2023-05-04 00:09:03 +0000 <geekosaur> you can probably leave review comments if you want
2023-05-04 00:39:37 +0000tv(~tv@user/tv) (Read error: Connection reset by peer)
2023-05-04 00:55:11 +0000tv(~tv@user/tv)
2023-05-04 01:44:13 +0000hightower3(~hightower@230-61.dsl.iskon.hr)
2023-05-04 01:46:28 +0000hightower2(~hightower@230-70.dsl.iskon.hr) (Ping timeout: 240 seconds)
2023-05-04 01:56:01 +0000srk(~sorki@user/srk) (Remote host closed the connection)
2023-05-04 01:56:20 +0000srk(~sorki@user/srk)
2023-05-04 02:48:05 +0000td_(~td@i53870903.versanet.de) (Ping timeout: 240 seconds)
2023-05-04 02:50:05 +0000td_(~td@i5387092F.versanet.de)
2023-05-04 03:08:04 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds)
2023-05-04 06:05:12 +0000chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-05-04 06:07:07 +0000chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1)
2023-05-04 06:08:43 +0000chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-05-04 06:10:39 +0000chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1)
2023-05-04 06:50:17 +0000mncheck(~mncheck@193.224.205.254)
2023-05-04 07:10:22 +0000mc47(~mc47@xmonad/TheMC47)
2023-05-04 07:10:48 +0000hightower3(~hightower@230-61.dsl.iskon.hr) (Ping timeout: 240 seconds)
2023-05-04 07:27:30 +0000zawaken-(~zawaken@user/zawaken)
2023-05-04 07:28:24 +0000zawaken(~zawaken@user/zawaken) (Ping timeout: 250 seconds)
2023-05-04 07:51:05 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy) (*.net *.split)
2023-05-04 07:51:05 +0000pharonix71(~pharonix7@user/pharonix71) (*.net *.split)
2023-05-04 07:52:07 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy)
2023-05-04 07:52:07 +0000pharonix71(~pharonix7@user/pharonix71)
2023-05-04 07:52:25 +0000 <mekeor[m]> hello. i use xmonad on guix system. after upgrading my user packages, i now can't recompile xmonad. ghc (or more specifically the linker ld) can't find "-lrt". but librt.so.1 is in my $LIBRARY_PATH. any ideas?
2023-05-04 07:54:41 +0000 <geekosaur> you need the non-versioned one (librt.so) at link time; librt.so.1 is a versioned runtime library
2023-05-04 07:55:16 +0000 <geekosaur> (this allows multiple runtime versions to coexist while allowing compilation to build against one of them)
2023-05-04 07:55:45 +0000 <geekosaur> I don't know guix so don't know how you proceed from here
2023-05-04 07:56:12 +0000 <mekeor[m]> oh. could i also somehow tell ghc to not link against librt. i suspect it's not actually needed?
2023-05-04 07:56:32 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds)
2023-05-04 07:56:36 +0000 <geekosaur> that would be up to the settings file, I think
2023-05-04 07:57:01 +0000 <geekosaur> cat $(ghc --print-libdir)/settings
2023-05-04 07:57:47 +0000 <mekeor[m]> jpoiret: why will :static fix this? :)
2023-05-04 07:57:58 +0000 <geekosaur> note that editing the settings file manually is a lovely way to break ghc completely; make a backup first
2023-05-04 07:58:57 +0000 <mekeor[m]> i just got some more info from #guix. apparently, the guix maintainers forgot to add an empty librt.a. apparently, installing gcc-toolchain:static will fix it. i'm now trying.
2023-05-04 07:59:09 +0000 <mekeor[m]> yes, that works.
2023-05-04 07:59:19 +0000 <mekeor[m]> still, thanks, geekosaur! :)
2023-05-04 07:59:51 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy)
2023-05-04 09:00:16 +0000liskin[m](~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle)
2023-05-04 09:00:16 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle)
2023-05-04 09:06:10 +0000YudditeG[m](~errisnotn@2001:470:69fc:105::3:3dbe)
2023-05-04 09:06:48 +0000hightower2(~hightower@85.94.71.188)
2023-05-04 09:25:33 +0000mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2023-05-04 09:39:01 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-05-04 09:45:30 +0000chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2023-05-04 09:56:04 +0000mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2023-05-04 10:57:44 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds)
2023-05-04 10:59:05 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy)
2023-05-04 11:41:00 +0000mc47(~mc47@xmonad/TheMC47)
2023-05-04 12:05:43 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy) (Remote host closed the connection)
2023-05-04 12:06:09 +0000stellacy(~stellacy@gateway/tor-sasl/stellacy)
2023-05-04 13:26:45 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-05-04 13:31:04 +0000chomwitt(~chomwitt@ppp-94-67-201-180.home.otenet.gr)
2023-05-04 13:32:36 +0000nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:36 +0000qbit_m(~qbittapen@2001:470:69fc:105::194) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:36 +0000YuuYin[m](~yuuyin@2001:470:69fc:105::8a6) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:36 +0000sibi(~sibi@2001:470:69fc:105::8ab) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:36 +0000VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:36 +0000Etxeberrialex[m](~etxeberri@2001:470:69fc:105::1:5ae6) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000jade[m](~hopelessn@2001:470:69fc:105::3:4043) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000IsaacShapira[m](~isaacshap@2001:470:69fc:105::1:c253) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000YudditeG[m](~errisnotn@2001:470:69fc:105::3:3dbe) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000Thiago[m](~thiagommm@2001:470:69fc:105::3:7da) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000mc47[m](~mc47matri@2001:470:69fc:105::733) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:37 +0000jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:38 +0000fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:38 +0000sythemeta847[m](~sythemeta@2001:470:69fc:105::3:4513) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:38 +0000JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:38 +0000jedimahdi[m](~jedimahdi@2001:470:69fc:105::3:49bf) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:39 +0000deip[m](~deipmatri@2001:470:69fc:105::2:679e) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:39 +0000MPT[m](~mpt9611ma@2001:470:69fc:105::3:4597) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:40 +0000HAL[m](~evadk8mat@2001:470:69fc:105::3ed0) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:40 +0000mazte[m](~sujammama@2001:470:69fc:105::2:ea4c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:40 +0000meck[m](~meckmeckd@2001:470:69fc:105::3a51) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000mekeor[m](~mekeormat@2001:470:69fc:105::17e4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000sparksdrinker[m](~sparksdri@2001:470:69fc:105::3:1939) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000derinachan[m](~derina541@2001:470:69fc:105::3:4af6) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000Solid[m](~slot-matr@2001:470:69fc:105::1:a84) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000lykos153(~lykos153@2001:470:69fc:105::c8ea) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:41 +0000nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:42 +0000HB[m](~hash@2001:470:69fc:105::1:19e2) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:32:43 +0000jaspion[m](~jaspionmo@2001:470:69fc:105::2:fd41) (Quit: Bridge terminating on SIGTERM)
2023-05-04 13:36:01 +0000sibi(~sibi@2001:470:69fc:105::8ab)
2023-05-04 13:43:53 +0000qbit_m(~qbittapen@2001:470:69fc:105::194)
2023-05-04 13:43:53 +0000YuuYin[m](~yuuyin@2001:470:69fc:105::8a6)
2023-05-04 13:43:53 +0000VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-05-04 13:43:53 +0000mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-05-04 13:43:53 +0000nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52)
2023-05-04 13:43:53 +0000sythemeta847[m](~sythemeta@2001:470:69fc:105::3:4513)
2023-05-04 13:43:53 +0000mpt7919[m](~mpt9611ma@2001:470:69fc:105::3:4597)
2023-05-04 13:43:53 +0000jade[m]1(~hopelessn@2001:470:69fc:105::3:4043)
2023-05-04 13:43:53 +0000Etxeberrialex[m](~etxeberri@2001:470:69fc:105::1:5ae6)
2023-05-04 13:43:53 +0000hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-05-04 13:43:54 +0000IsaacShapira[m](~isaacshap@2001:470:69fc:105::1:c253)
2023-05-04 13:43:54 +0000geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-05-04 13:43:54 +0000derinachan[m](~derina541@2001:470:69fc:105::3:4af6)
2023-05-04 13:43:54 +0000YudditeG[m](~errisnotn@2001:470:69fc:105::3:3dbe)
2023-05-04 13:44:05 +0000jaspion[m](~jaspionmo@2001:470:69fc:105::2:fd41)
2023-05-04 13:44:05 +0000Solid[m](~slot-matr@2001:470:69fc:105::1:a84)
2023-05-04 13:44:05 +0000mazte[m](~sujammama@2001:470:69fc:105::2:ea4c)
2023-05-04 13:44:05 +0000jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2023-05-04 13:44:05 +0000JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544)
2023-05-04 13:44:05 +0000mc47[m](~mc47matri@2001:470:69fc:105::733)
2023-05-04 13:44:06 +0000jedimahdi[m](~jedimahdi@2001:470:69fc:105::3:49bf)
2023-05-04 13:44:06 +0000sparksdrinker[m](~sparksdri@2001:470:69fc:105::3:1939)
2023-05-04 13:44:06 +0000HAL[m](~evadk8mat@2001:470:69fc:105::3ed0)
2023-05-04 13:44:06 +0000meck[m](~meckmeckd@2001:470:69fc:105::3a51)
2023-05-04 13:44:06 +0000Thiago[m](~thiagommm@2001:470:69fc:105::3:7da)
2023-05-04 13:44:06 +0000fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c)
2023-05-04 13:44:06 +0000HB[m](~hash@2001:470:69fc:105::1:19e2)
2023-05-04 13:44:06 +0000nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299)
2023-05-04 13:44:06 +0000deip[m](~deipmatri@2001:470:69fc:105::2:679e)
2023-05-04 13:44:07 +0000lykos153(~lykos153@2001:470:69fc:105::c8ea)
2023-05-04 13:53:03 +0000mekeor[m](~mekeormat@2001:470:69fc:105::17e4)
2023-05-04 16:22:47 +0000mazte[m]antagonista[m]
2023-05-04 17:54:13 +0000hightower2(~hightower@85.94.71.188) (Ping timeout: 268 seconds)
2023-05-04 19:07:11 +0000stackdroid18(14094@de1.hashbang.sh)
2023-05-04 21:01:21 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-04 21:05:21 +0000stackdroid18(14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!)
2023-05-04 21:24:22 +0000noex(~null@user/noex) (Quit: :q!)
2023-05-04 22:48:08 +0000hightower2(~hightower@85.94.71.188)
2023-05-04 23:11:24 +0000chomwitt(~chomwitt@ppp-94-67-201-180.home.otenet.gr) (Remote host closed the connection)
2023-05-04 23:21:20 +0000qbit_m(~qbittapen@2001:470:69fc:105::194) ()