rohlang3: (an attempt at) a point-free, homoiconic, and dependently typed SK calculus

This post is a critique of the direction of current AI models, particularly the path of scaling of current AI models. AI as collective intelligence Humanities intelligence and progress is really collective, everyone builds off the work of others. Take Tesla and Edison, each vehemently championed two sides of the same coin, AC and DC. Unlike a...

I don’t mean this in the traditional sense of “perfect is the enemy of good”. I rarely held that idea to much credence anyways. What I mean is that perfection is an unimaginable idea that we have tricked ourselves into accepting as an ideal for various human endeavours. what does it mean for something to be perfect? Generally perfection is...

There’s something interesting and beautiful about evolution that is often overlooked: it works through emergence. No central planning, no intelligent design, just countless micro-interactions creating macro-level optimization that appears almost deliberately crafted. the diversity problem Think about what human society needs to function. We need...

premise The parallels and invariants between artificial and natural intelligence propose unique practical and philosophical insights into both fields. assumptions Intelligence is prediction–all intelligent systems build models to anticipate future states Self-modeling is computationally necessary–systems must represent themselves to reason about...

VII. Navigation in Temporal Existence To navigate is not to escape. We cannot step outside temporal existence, cannot free ourselves from the anxiety of dissolution, cannot build perfect systems that fully capture experience. Navigation requires sophisticated engagement with these very limitations. It means developing dynamic equilibrium with...