Go and Java: Rethinking Type Safety for the Pragmatic Age

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...

github: https://github.com/Ocean-Moist/rohlang3 I’ve long been obsessed with minimalistic languages that still manage to have expressive power. My usual approach: start with a bare-bones combinator calculus (like SK), then keep adding “one more extension” until it looks suspiciously like a full-blown typed language. rohlang3 is exactly that...

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...