Logs: liberachat/#haskell
| 2021-08-26 09:00:54 | <tdammers> | and then encode it into EBCDIC for good measure |
| 2021-08-26 09:02:03 | <sclv> | ooh, hear me out, hdf5! |
| 2021-08-26 09:02:33 | <sclv> | or the most standard standard, asn1! |
| 2021-08-26 09:03:11 | <merijn> | sclv: I'm going to assassinate you in plain sight and no judge will convict me |
| 2021-08-26 09:03:34 | <banacorn> | Hi, is it possible to split the compiling process into smaller stages? I'm compiling something on GitHub Actions but it keeps running out of memory :( |
| 2021-08-26 09:04:06 | <sclv> | im writing my next april fools post as we speak. Just gotta hire a contractor who understands asn.1 to write the schema |
| 2021-08-26 09:04:12 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-233b-e9a1-b8cd-7d30.fixed6.kpn.net) |
| 2021-08-26 09:04:14 | <merijn> | banacorn: hmm, Github actions has been fine for me so far. Or you by any chance using pandoc? :p |
| 2021-08-26 09:04:48 | <merijn> | sclv: Pretty sure that's against the Geneva convention |
| 2021-08-26 09:05:38 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-26 09:06:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-26 09:06:11 | <Las[m]> | banacorn: Have you tried setting GHCRTS? |
| 2021-08-26 09:06:24 | <banacorn> | merijn: It's something worse, Agda '=D https://github.com/banacorn/agda-language-server/runs/3429332793?check_suite_focus=true#step:10:3866 |
| 2021-08-26 09:06:39 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 09:06:56 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 2021-08-26 09:08:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-26 09:08:17 | <banacorn> | Las[m]: No, I haven't! Thanks, I'll try this! |
| 2021-08-26 09:09:22 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-26 09:09:56 | <sm> | Las: what would that do ? |
| 2021-08-26 09:10:37 | <Las[m]> | sm: You can set flags for the GC, such as setting it to compact mode by default |
| 2021-08-26 09:10:46 | <Las[m]> | or setting a limit for how much memory to use |
| 2021-08-26 09:10:55 | <sm> | cool |
| 2021-08-26 09:11:02 | <sm> | banacorn: I would troubleshoot this locally, for sure |
| 2021-08-26 09:11:16 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-26 09:12:09 | <sm> | Las: this seems like some standard advice we should give to the folks trying to build on <4G machines |
| 2021-08-26 09:12:15 | <merijn> | Las[m]: Compacting GC is the standard |
| 2021-08-26 09:13:00 | <merijn> | banacorn: Ensure parallel compiles are disabled, btw |
| 2021-08-26 09:13:05 | <Las[m]> | merijn: Last time I read the docs it said that it would only be enabled when half of the available memory is used IIRC |
| 2021-08-26 09:13:21 | <banacorn> | merijn: I see, thank you! |
| 2021-08-26 09:13:33 | <merijn> | The default GC of GHC is "copy & compact" |
| 2021-08-26 09:13:39 | <merijn> | So I wonder what docs you read that in |
| 2021-08-26 09:13:47 | <sm> | usually we tell them to add +RTS -M ... -RTS to ghc options, I guess that's similar to using GHCRTS |
| 2021-08-26 09:14:01 | <merijn> | sm: I mean, limiting the memory just means your program dies with an async exception, instead of OOM-killed |
| 2021-08-26 09:14:05 | <merijn> | sm: That's not super useful |
| 2021-08-26 09:15:07 | <sm> | merijn: my belief and IIRC experience is it encourages GHC to be more thrifty with memory, so compiles may succeed even if they run slower. I could be wrong. |
| 2021-08-26 09:15:26 | <merijn> | banacorn: Github Actions are fairly beefy, so I wouldn't expect GHC to blow up unless it's code that massively blows up locally. But accidentally running 2-4 GHCs instead of 1 is a good way to kill even the beefiest machines ;) |
| 2021-08-26 09:15:31 | <Las[m]> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/runtime_control.html?highlight=c#rts-flag---copying-gc |
| 2021-08-26 09:15:54 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2021-08-26 09:16:37 | <banacorn> | The same action on Linux and Mac machines are fine, but the Windows version keeps blowing up somehow |
| 2021-08-26 09:16:47 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-26 09:17:04 | <merijn> | ah! |
| 2021-08-26 09:17:07 | <merijn> | Clear solution |
| 2021-08-26 09:17:11 | <merijn> | Blame windows :D |
| 2021-08-26 09:18:08 | × | ridcully_ quits (~ridcully@p508ac428.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-08-26 09:18:41 | <banacorn> | ;D |
| 2021-08-26 09:19:06 | → | ridcully_ joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-08-26 09:19:33 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-08-26 09:25:21 | × | jonathanx_ quits (~jonathan@c-5eea3245-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2021-08-26 09:25:23 | → | jonathanx joins (~jonathan@c-5eea3245-74736162.cust.telenor.se) |
| 2021-08-26 09:26:28 | × | banacorn quits (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) (Ping timeout: 246 seconds) |
| 2021-08-26 09:27:05 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.2) |
| 2021-08-26 09:28:43 | × | trcc quits (~trcc@users-1190.st.net.au.dk) () |
| 2021-08-26 09:28:54 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-26 09:30:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds) |
| 2021-08-26 09:30:54 | → | desophos_ joins (~desophos@c-24-14-63-128.hsd1.il.comcast.net) |
| 2021-08-26 09:31:05 | × | desophos quits (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35) (Ping timeout: 250 seconds) |
| 2021-08-26 09:37:44 | × | Ananta-shesha quits (~pjetcetal@2.95.210.196) (Remote host closed the connection) |
| 2021-08-26 09:38:03 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-26 09:38:13 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-08-26 09:38:30 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-08-26 09:42:31 | → | tengu1 joins (~tengu1@cpe-70-121-244-14.neb.res.rr.com) |
| 2021-08-26 09:43:41 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-26 09:43:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds) |
| 2021-08-26 09:45:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-26 09:47:22 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-26 09:48:14 | ← | joel135 parts (sid136450@id-136450.stonehaven.irccloud.com) () |
| 2021-08-26 09:56:08 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
| 2021-08-26 09:56:53 | → | banacorn joins (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) |
| 2021-08-26 09:59:27 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-26 09:59:53 | chexum_ | is now known as chexum |
| 2021-08-26 10:00:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-26 10:00:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-26 10:00:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-26 10:03:02 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-26 10:04:36 | × | shailangsa_ quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 2021-08-26 10:04:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-26 10:07:46 | <maerwald[m]> | Speaking of windows, I'm still looking for a way to link to certain mingw libs statically |
| 2021-08-26 10:09:19 | <kuribas> | sclv: but the stack and cabal will use different dependency versions right? |
| 2021-08-26 10:10:10 | × | xff0x quits (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) (Ping timeout: 240 seconds) |
| 2021-08-26 10:10:33 | × | kenran quits (~kenran@mue-88-130-62-159.dsl.tropolys.de) (Quit: WeeChat info:version) |
| 2021-08-26 10:11:44 | → | jonathanx_ joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2021-08-26 10:14:07 | × | jonathanx quits (~jonathan@c-5eea3245-74736162.cust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-08-26 10:15:02 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-26 10:17:19 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-26 10:17:56 | <Gurkenglas> | Would lenses/optics be easier to understand if we sold them to the newbie exactly as "something that turns a small action into a big action"? Ideally a lens error on "x . to head .= 3" would look like "`.=` produced `SettingAction` which `to head` cannot process." |
| 2021-08-26 10:18:22 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-26 10:20:22 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-60.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-26 10:20:49 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Read error: Connection reset by peer) |
| 2021-08-26 10:21:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 250 seconds) |
| 2021-08-26 10:24:44 | <dminuoso> | I dont even understand what that means, and I consider myself an advanced user. |
| 2021-08-26 10:25:25 | <Gurkenglas> | Damn it. What I mean by action, why that lens line doesn't work, or lenses in general? |
| 2021-08-26 10:26:13 | <dminuoso> | Gurkenglas: I think this is sort of the same problem behind the monad tutorial fallacy. Once you have some analogy/explanation/intuition built on from experience, it seems so obvious. |
| 2021-08-26 10:26:41 | <dminuoso> | But that analogy/explanation/intuition only makes sense for you, because of your own experiences with it. |
| 2021-08-26 10:27:00 | <Gurkenglas> | It seems to me like this is the one right perspective, though! I'd love to be proven wrong. |
| 2021-08-26 10:27:14 | <dminuoso> | Here's a list of things that are all true about lenses: |
| 2021-08-26 10:27:33 | <dminuoso> | - (VL style) lenses are coalgebras of the costate comonad |
| 2021-08-26 10:27:45 | <dminuoso> | - lenses/optics are first class, composable, accessors |
| 2021-08-26 10:28:10 | <dminuoso> | - lenses allow for easily manipulating nested data in a pure language |
| 2021-08-26 10:28:23 | <Gurkenglas> | I haven't investigated the first -, but I'm willing to bet I'll find it favors my interpretation :3 |
| 2021-08-26 10:29:09 | <Gurkenglas> | What do you mean by first class? Composable is clear in my interpretation. What do you mean by accessor? Presumably setters and getters are kinds of accessors. |
All times are in UTC.