96 karma · joined February 28, 2021
I'm gonna assume that you are a pretty young developer. I think you have built something that you have put a lot of thought and engineering effort into, and that you should be proud of that. But asking very open-ended leading questions ike this to an LLM is not the way to go. Truthfully, it is not even the way to go when talking to another human either but humans are more understanding. We've all been young and insecure once, and one with any ounce of empathy will gently steer you towards a more healthy path without overt flattery.
I urge you, for your own emotional well being, seek more human connections. Chat-GPT can be great for very targeted questions if you have a specific problem or a very specific area you want feedback on and prompt it to give feedback to that. And this may sound very harsh, but I think you need to hear it: The kind of validation-seeking you are engaging with in this chat is not at all that different from the ones seeking emotional support from an "AI-girlfriend" or similiar. Please be careful, and find your own community with real humans that you can relate and look up to.
pair a b = '(pair a b)
where ' is shorthand for quoting, like in lisp. If you want to explicitly define datatypes on demand, you can just manually quote and not use the pair function constructor. One thing I thought about to was smart constructors, like say if you want to define the mod 3 group: zero = 'zero
s (s (s x))) = x
s x = '(s x)
if values are always constructed with either "s" or "zero", the smart constructor of s enforces you can't create any terms with an s-chain of 3 or higher, IF the function arguments are eagerly evaluated.The way it works is, in order to use it you try to upgrade it to a normal Refcounted pointer. Since it is a weak reference, this upgrade may of course fail and in that case return None (in place of a null pointer). When this upgraded pointer dies (either goes out of scope or is manually downgraded) the refcount will again be updated.
I agree, that's why single family households should have a higher property tax and high density a lower one. Currently single family households are subsidized.[1]
[1]: https://www.strongtowns.org/journal/2020/4/16/when-apartment...