Viewing profile — proper_elb

I think 'joy' would be a fitting term, perhaps? Here ( https://www.1517.org/articles/cs-lewis-on-joy ) C.S.Lewis defines it well, and distinguishes it from 'pleasure' and 'happines…

Thank you for your insights! I think it makes sense that this feature would not be planned in your library - as I understand, its goal is to support developers to write better mone…

More precision and/or more safety. Will depend on the domain/audience/... the software is being written for.

First, congrats on the library and thank you for sharing it! 1) A hint about potential prior art: F# (and/or C#?) have a first-class unit system (physical units I think), which sou…

To add to this: A bit similar to Lisp, due to the different compiler plugins, Haskell is more like a family of dialects. One can be pretty vanilla about what the types should prote…

Heh, I don't think that will ever really change. What changes in my experience is your knowledge and confidence when it comes to translating requirements into maintainable technolo…

Spot on. > Even when you understand it's wrong, or at least heavily negatively biased, fighting those interpretations feels like trying to swim upstream in a terrific current. Achi…

Having stock related to real estate is more common than you think, might even try it yourself ;)

Yes (did not doubt that), but this is of course only one part of the puzzle. Remember that the assumption of the post you responded too suggested incentives tied to real estate (st…

> some of our best people are remote, and we will continue to support it always, so please don't let hating SF stop you from applying to OpenAI! What is a strong sign of conviction…

Obviously the "indirect" part of the post you are responding to applies. Your last sentence seems to indicate that you know more than us - if so, enlighten us please about the ince…

> However, if your work is about innovation and collaboration, then it's going to be more effective to spend time together. Not convinced yet, at this point it just seems to be ane…

You raise a good point, and I would answer it with agree and disagree: Agree: Yes, you are correct, merely observing that a code path was never executed in the last 6 months is not…

> A further counterpoint: if you follow the Fence proponents' logic to its conclusion you can never remove any code which is clearly an absurd situation. No, that would only be the…

A broader, tangential question: Can you give me feedback on this table I generated (with AI) for thinking about computing history? For context, I am a fullstack software dev of the…

Sorry for the assumption and thank you for your answer! Regarding time, I work similar. In work-life, it gets a bit more muddy (basically the time talking walks expands and turns i…

If you don't mind: What would you working on it look like, on a typical work-day look like, hour wise? Raise up at 5am and hack away for 2h, or come back from day job and straight …

This would be my 2023 list: Python, C, LISP, Fortran, Haskell, Prolog, SmallTalk. Also likely Rust, it might replace C in my list and is quite similar to Haskell in some ways, part…

> My point was just that as a profession, they aren't currently setting a very high bar. I think I know where you are going, but I will be going offline for today soon, so I will b…

I don't doubt that experience, and I also have the comparison between humans and GPT and see where you are coming from. However, the advice still stands, in my eyes. If we recommen…

I think this is one such example - my boss cares (and I trust him), but the circumstances are suboptimal.

> Why do you think you would be burning the bridge by leaving the company for a new position? As long as you do it in a respectful way, with notice, then it shouldn't be a concern.…

Thanks for your input! (I don't like lying and am bad at it, so that option is out for me I fear) Out of curiosity, why wouldn't you leave this job that I described?

Makes sense!

Thank you for the reassurance - and all the best on your recovery! Tech will still be around a while ;) > It’s usually faster to grow your career horizontally opposed to vertically…