Logs: freenode/#haskell
| 2021-04-05 14:26:17 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-04-05 14:26:28 | → | BrunoNapoleao joins (~BrunoNapo@194.37.96.82) |
| 2021-04-05 14:27:24 | × | __minoru__shirae quits (~shiraeesh@5.101.59.244) (Ping timeout: 265 seconds) |
| 2021-04-05 14:29:29 | × | average quits (uid473595@gateway/web/irccloud.com/x-ymrvurdpaiusenam) (Quit: Connection closed for inactivity) |
| 2021-04-05 14:29:45 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:c4c6:5880:c7da:7cf8) |
| 2021-04-05 14:34:07 | <dmj`> | maerwald: it shouldn't |
| 2021-04-05 14:34:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-05 14:34:14 | <dmj`> | maerwald: strict would for sure |
| 2021-04-05 14:35:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-05 14:36:00 | <maerwald> | dmj`: I tried (with lazy) |
| 2021-04-05 14:36:19 | <dmj`> | maerwald: did you run with +RTS -s -RTS and check the memory |
| 2021-04-05 14:36:34 | <maerwald> | I'm looking at htop |
| 2021-04-05 14:37:15 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-04-05 14:37:33 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-04-05 14:38:26 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-05 14:39:31 | × | enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 14:40:45 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 14:41:39 | × | malumore quits (~malumore@151.62.127.167) (Ping timeout: 260 seconds) |
| 2021-04-05 14:41:55 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-05 14:42:38 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 14:43:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 14:45:46 | <maerwald> | maybe ghci is messing it up |
| 2021-04-05 14:45:57 | <dmj`> | maerwald: can you output what +RTS -s -RTS says |
| 2021-04-05 14:47:22 | <maerwald> | this is when compiled to a binary https://paste.tomsmeding.com/EaZ439N2 |
| 2021-04-05 14:48:23 | <tomsmeding> | "72,496 bytes maximum residency" |
| 2021-04-05 14:48:31 | <tomsmeding> | sounds like it works :) |
| 2021-04-05 14:48:43 | <dmj`> | when equationally reasoning about the Functor identity laws for Maybe in the Just case (turning the RHS into the LHS in fmap id = id), I'm doing (RHS) fmap id (Just x) == Just (id x) == id (Just x) (LHS), what is the law that allows us to do id (Just x) == Just (id x) |
| 2021-04-05 14:49:01 | <dmj`> | or Just (id x) == id (Just x) |
| 2021-04-05 14:49:26 | → | __minoru__shirae joins (~shiraeesh@5.101.59.244) |
| 2021-04-05 14:49:41 | <tomsmeding> | Just (id x) == Just x == id (Just x) |
| 2021-04-05 14:49:50 | <tomsmeding> | because id x == x ? |
| 2021-04-05 14:49:57 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-05 14:50:29 | <maerwald> | tomsmeding: it doesn't in 'tar' |
| 2021-04-05 14:50:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-05 14:51:02 | <tomsmeding> | maerwald: nothing is forcing the length? |
| 2021-04-05 14:51:06 | <maerwald> | no |
| 2021-04-05 14:51:12 | <maerwald> | https://github.com/haskell/tar/blob/a0d722c1f6052bf144017d131a715ea1ae599964/Codec/Archive/Tar/Unpack.hs#L93 |
| 2021-04-05 14:51:15 | <maerwald> | this line is forcing it |
| 2021-04-05 14:52:01 | <maerwald> | I can manually skip large files of the archive via nn if clause there and the memory spikes are gone |
| 2021-04-05 14:52:53 | <maerwald> | also, it doesn't work in ghci |
| 2021-04-05 14:53:02 | <maerwald> | so maybe it relies on optimizations that don't trigger |
| 2021-04-05 14:53:10 | <maerwald> | or something with the GC |
| 2021-04-05 14:53:58 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-05 14:54:02 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-05 14:55:06 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-05 14:57:11 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3) |
| 2021-04-05 15:03:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-05 15:04:45 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-04-05 15:07:19 | → | kiltzman joins (~k1ltzman@195.189.99.96) |
| 2021-04-05 15:07:47 | <dmj`> | tomsmeding: yea, but what do you call that, what algebraic property is that, just identity? |
| 2021-04-05 15:08:00 | <tomsmeding> | dmj`: the definition of the 'id' function |
| 2021-04-05 15:08:24 | <dmj`> | "by the definition of identity" sounds better |
| 2021-04-05 15:08:29 | <tomsmeding> | that 'id' is not a special symbol in your logic, right? it's just another function -- with a definition |
| 2021-04-05 15:08:31 | <shapr> | @seen shapr |
| 2021-04-05 15:08:31 | <lambdabot> | You are in #scannedinavian, #haskell.se, #haskell-overflow, #ghc, #haskell-beginners and #haskell.. |
| 2021-04-05 15:08:33 | <shapr> | yay |
| 2021-04-05 15:08:36 | <shapr> | it works again! |
| 2021-04-05 15:08:39 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 15:08:42 | <shapr> | @seen int-e |
| 2021-04-05 15:08:42 | <lambdabot> | int-e is in #esoteric, #ghc, #haskell and ##math.. |
| 2021-04-05 15:08:51 | <shapr> | oh, but it doesn't give most recent activity? |
| 2021-04-05 15:08:52 | <shapr> | aw |
| 2021-04-05 15:09:01 | <tomsmeding> | @seen tomsmeding |
| 2021-04-05 15:09:02 | <lambdabot> | You are in #haskell-offtopic and #haskell.. |
| 2021-04-05 15:09:05 | <tomsmeding> | :p |
| 2021-04-05 15:09:09 | <tomsmeding> | why the '..' though |
| 2021-04-05 15:09:27 | <shapr> | I dunno, I know int-e said @seen was using way too much memory |
| 2021-04-05 15:09:49 | <shapr> | previously the plugin would say when the client had last spoken and in which channel |
| 2021-04-05 15:09:56 | → | urodna_ joins (~urodna@unaffiliated/urodna) |
| 2021-04-05 15:09:57 | <rotaerk> | apparently . is a valid character in channel names; was able to join "#haskell.." but it was empty |
| 2021-04-05 15:10:04 | <Uniaika> | kuribas: why do you need a recursive form? |
| 2021-04-05 15:10:08 | <int-e> | I didn't touch what information it keeps though... well, not recently. |
| 2021-04-05 15:10:12 | <int-e> | wait, ##math? |
| 2021-04-05 15:10:31 | <Uniaika> | @seen Uniaika |
| 2021-04-05 15:10:31 | <lambdabot> | You are in #haskell-offtopic, #haskell-fr, #ghc, #haskell and #hackage.. |
| 2021-04-05 15:10:34 | <Uniaika> | :> |
| 2021-04-05 15:10:41 | <int-e> | @seen int-e |
| 2021-04-05 15:10:41 | <lambdabot> | You are in #esoteric, #ghc, #haskell and ##math.. |
| 2021-04-05 15:10:46 | <Uniaika> | haha |
| 2021-04-05 15:11:22 | <int-e> | @seen int-e |
| 2021-04-05 15:11:23 | <lambdabot> | You are in #esoteric, #ghc and #haskell.. |
| 2021-04-05 15:11:30 | <tomsmeding> | lol |
| 2021-04-05 15:11:41 | <int-e> | (it's not even there... some sort of bug in tracking the current state) |
| 2021-04-05 15:12:15 | <int-e> | (well, I fixed it by having it join and leave ##math... so *some* of the state tracking machinery is working) |
| 2021-04-05 15:12:26 | × | urodna quits (~urodna@unaffiliated/urodna) (Ping timeout: 268 seconds) |
| 2021-04-05 15:13:04 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-05 15:13:13 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 252 seconds) |
| 2021-04-05 15:14:47 | <tapas> | maerwald: there's no real action to be taken in the issue i raised for ghcup. I figured it'd be good to track on the ghcup issues list tho |
| 2021-04-05 15:14:55 | × | gekh quits (~gkh@thor.kevinhill.nl) (Quit: Goodbye!) |
| 2021-04-05 15:15:14 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-04-05 15:15:47 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-05 15:15:48 | <dmj`> | maerwald: are you calling length on the bytestring or something, or folding it into a summary value before writing it |
| 2021-04-05 15:15:51 | × | ajc__ quits (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-05 15:15:58 | → | gekh joins (~gkh@thor.kevinhill.nl) |
| 2021-04-05 15:16:00 | <cub3s_> | If I have system libraries I depend on, where would I put those in this nix file? https://github.com/cdepillabout/nix-cabal-example-project/blob/master/nixpkgs.nix |
| 2021-04-05 15:16:09 | <maerwald> | dmj`: I don't think so: https://github.com/haskell/tar/blob/a0d722c1f6052bf144017d131a715ea1ae599964/Codec/Archive/Tar/Read.hs#L90 |
| 2021-04-05 15:16:17 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 15:16:56 | <cub3s_> | (that file comes from this tutorial, btw: https://github.com/cdepillabout/post-about-nix-and-haskell/blob/master/2019-08-03-q-and-as-about-nix-for-haskellers.md) |
| 2021-04-05 15:17:15 | <cub3s_> | (it's perfect for my needs, except i have no idea where to put system libs) |
| 2021-04-05 15:17:20 | → | stickrobot joins (~stickrobo@2a02:c7d:de8b:a400:8cc6:835c:580e:ac38) |
All times are in UTC.