1. 8

Feel free to tell what you plan on doing this weekend and even ask for help or feedback.

Please keep in mind it’s more than OK to do nothing at all too!

  1.  

  2. 9

    Absolutely nothing.

    I’m a week into putting my unlimited vacation to the test by taking a month off to figure out if I hate my job or am just super burnt out.

    I’m hoping that I have enough energy to start playing video games properly soon.

    1. 2

      Good luck on figuring it out. I know that feeling and it’s not fun. Try to take some time for yourself not job related!

      1. 1

        Thanks!

    2. 5

      Learning Godot while vacationing in Spain. :-)

      1. 5

        Jam or preserves of plums and aronia.

        1. 5

          Against my better judgment, I installed a few dating apps. I could fill a book with suggestions for their user interfaces. For example, I know not being able to see profiles you’ve already been shown is a (revenue-driving) feature, not a bug, but it angers me to no end. If I made my own, nobody would use it, though… And meeting people through IRL methods has its own issues (not to mention the current state of the world). Very dissatisfied.

          1. 4

            Went to a local park with my daughter. Struck up conversation with a guy there with his kid who happened to be a developer. Talked about the crazy world of interviewing.

            Getting ready for a good roast dinner tomorrow. Waiting to hear back after 9 rounds of interviews for 1 job 😬

            1. 3

              9 rounds?! Is this FAANG? Are you applying for some managerial position?

            2. 3

              Designing a build system. >_<

              1. [Comment removed by author]

                1. 3

                  To be honest, I’m not sure how that is a build system.

                  You have an interesting project in cosmopolitan, but after I looked into it some months ago, I came to the conclusion that it’s better to compile differently per platform. Just my opinion, though; keep up the interesting work because I could be wrong.

                  1. [Comment removed by author]

                    1. 3

                      I don’t think you’re going to change my mind. I wouldn’t want you to spend time doing so.

                      I know that decades of work is hard to catch up on. I didn’t judge cosmopolitan based on that at all. In fact, it’s impressive what you’ve done.

                      I just personally think that it is better to spend the effort on making cross-platform code less on making cross-platform executables and more on making cross-platform source code.

                      The reason I think this is because in my opinion, it’s easier to make solid foundations because doing so makes it easier to accept and adapt to differences between platforms. And for me, solid foundations are the way new stuff will, and should, win against stuff with decades of work because better foundations will automatically make better software.

                      Again, I could be wrong, so you do you.

                      1. [Comment removed by author]

                        1. 3

                          It is good that you peel back the layers, but where we disagree is what layers to put back on. You don’t want to put any on, prefering to make a foundation on none, and I think one well-designed layer would be a great foundation.

                          We have a fundamental disagreement there.

                          It’s also fabulous not having ifdef soup :-)

                          Cosmopolitan still has it. It’s always going to be somewhere.

                          Also, there are some platforms that require you to go through the libc because their kernel ABI’s do break, on purpose.

                          Anyway, I guess what I am trying to say is good work, but please, do not try to convert me.

                          1. [Comment removed by author]

                            1. 3

                              What could we have done that would have changed your mind?

                              To me, it sounds like you want to convert me.

                              And I have been very respectful, even with that. If you don’t think so, well, I don’t know what to tell you.

              2. 3

                Pulling a 24-hour work day. #sleepisfortheweak

                1. 2

                  On the weekend? That sucks. How did that come about?

                2. 3

                  More practice flying at a towered airport. Want to take some buddies to the restaurant an airport nearby has on ramp soon. Implementing rudimentary macros in an r7rs-small implementation I’ve been working on. Going with the girlfriend to a theme park.

                  Packed weekend here! Enjoy labor day weekend everyone.

                  1. 3

                    Took a roadtrip today with the Mrs. and our dog, was very nice to get out and see something different. Ill spend tomorrow finishing up schoolwork and then very much looking forward to a much needed break.

                    Also going to spend my time off working on a few personal and work related Python projects and seeing if I can come up with a sensible CI/CD pipeline for my homelab.

                    1. 2

                      Attending Dragon Con in Atlanta, and preparing a new Perl blog post for Tuesday.

                      1. 2

                        Working on my library https://github.com/sproket/Persism

                        I found a couple of good bugs today and added a bunch of TODOS. ;)

                        The bugs relate to the newer 2.0 API

                        1. 2

                          Playing guitar, and hoping to learn enough terraform to replace my blog’s existing CloudFormation setup. Want to see if I can create some redirects for posts I’ve moved. (Fix typo in slugs, etc.)

                          1. 2

                            Skip terraform, check out Pulumi instead 💯

                            1. 1

                              Hmm. I’m not familiar with it. Why, in your opinion?

                              For what it’s worth I took a quick look at their docs; though I get the idea that using a language you already know gives you a head start, I’m not really all that familiar with any of the ones they support currently.

                              A factor in favour of terraform for me is that we use it at work, but I’ve not interacted with it (yet).

                              1. 2

                                Simplest explanation is that it’s the same as terraform, but lets you write in your normal language rather than terraform’s custom syntax. So means you can use all the normal modern PL features like functions, variables, auto-complete, type checking etc. There’s more beyond but that was enough to win me over!

                                1. 1

                                  Is there merit in using things like pulumi and terraform if I want to manage machines that are not hosted on platforms like AWS, DigitalOcean etc.? The reason I ask is when I look at examples they are always interfacing with AWS in them. So I get the impression that they are meant for hosting platforms that that expose a sophisticated API. Hence why I have stuck with Ansible for now.

                                  1. 1

                                    Yup, Pulumi and terraform focus on automating the cloud infrastructure - they don’t tackle OS automation AFAIK. Ansible is a good tool for VM provisioning.

                              2. 1

                                Pulumi seems too powerful for the use case. I would be surprised if it becomes dominant.

                              3. 2

                                I’ll throw out AWS CDK as another option. It is a pretty big improvement over writing raw CloudFormation.

                              4. 1

                                Trying to get my idea of offline and privacy friendly sync for my f-droid app a little bit more into reality. Changing existing sqlite schemas in apps is kinda hairy.

                                Edit: Also there are far too many ways to get password & email-less user authentication & authorization that works well with json/rest calls with kinda the same things you get with ssh priv/pub keys. And most of the bigger ones (JWT) are not really made for 1 service N users and 0 external auth services (like you’ll have with SSO or oauth).

                                1. 1

                                  My classes started last week, so I’m getting back into an academic mindset. I’m mainly reading this weekend! More notable readings include:

                                  • Usable Security: History, Themes, and Challenges, a brief introduction to the field of usable privacy+security research.
                                  • First few chapters of the Red Book.
                                  • Browsing through Coq’s documentation to see if there’s anything valuable to a learner. In class, we are currently working through Logical Foundations, but the first few chapters feel very “monkey see monkey do.” I can complete the exercises, but I still lack a deep understanding of what’s going on. Has anyone been through this before?
                                  1. 2

                                    If you want a good understanding of what happens under the hood in a dependently typed language, I highly recommend “The Little Typer” by Friedman and whats-his-name.

                                    1. 2

                                      currently working through Logical Foundations, but the first few chapters feel very “monkey see monkey do.” I can complete the exercises, but I still lack a deep understanding of what’s going on. Has anyone been through this before?

                                      I’ve found out that interactive proving made me try to apply tactics almost in a brute force manner, then you get stuck on non trivial exercises obviously. The solution I’ve found is to think of the problem in an informal way first (something which books advices to do as well) and only then do a mechanisation part.