[1] https://www.eecs.harvard.edu/%7Emichaelm/postscripts/tr-02-0... [2] https://stackoverflow.com/questions/70963247/bloom-filters-w...
Karpathy's post about the research process in particular may be helpful for you
I see the issue is that iff you explicitly marked it as inout, it would limit the code from a logic unification point of view. I guess this is already explored in prolog, which I have little experience with - but it feels like it would inherently limit the ability to scale a codebase to huge sizes. Maybe a combination of convention and naming would solve the problem.
simple logo of software engineer octopus using green yellow blue and orange databases
Trillions of light years of pointless rock with a few Apes in the middle who can contemplate God. Seems pretty damn special fo me.
In light of this when people try to disprove God by saying then who created God. God is the first element so if you find out that who you think your God is is created then by definition he fails to fulfill the conditions required to be God. You have to look elsewhere.
Ok in english the term God is not precise enough, I'll turn to arabic to try to explain my point because this is what I'm the most familiar with.
Ilah is the arabic word for divinity. Wahid means 1. Ahad means the only one. Allah means The God (The only God).
I don't find it absurd to think that there is The God (Allah):
- A being who transcends time because he created time.
- A being who transcends logic because he created it and all its rules.
- A being who transcends the physical world because he created it.
That there is a first element seems natural, however why should this first element to care about the 100010847238384392938474934th element?
the API is a very simple one where you slice parts off an initial Rect. the only feature it provides is that it tracks (x, y, h, w) for you.
it doesn't work well with intrinsic sizes - it's more of a top down, fixed size thing.