Viewing profile — blainehansen

All school work that's actually important, and especially that's trying to evaluate understanding, must be done in environments where LLM use is structurally impossible.

Original author here. Metaphors become real, and they shape the way people think. I think it's dangerous to compare LLMs to deterministic systems because it misleads people into tr…

Original author here. Yes, if I had the capability of writing a computer program or a formal proof that could stand in for this essay full of opinions and metaphors and heuristics,…

Original author here. I think words like " intentionally designed to be completely predictable" signal my understanding that this is only an intent rather than a perfect reality. I…

Hey original author here. Natural language is always easy and available as an interface, but it's extremely low fidelity. It's not easy to come up with better interfaces for tasks,…

Hey, original author here. > But fundamentally any metaphor will be inadequate, LLMs are too weird. It doesn't make sense to compare a transformer-based deep neural network that au…

We could have genuinely open and sustainable open source, but we need to slightly tweak our social expectations.

The solution to broken social media is obvious: democratic cooperative ownership

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#fully-reusable https://github.com/magmide/magmide#…

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-logically-verifying-co...

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-it-actually-useful-to-...

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-most-software-too-fu...

Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-is-undecidable-to-pr...

By avoiding effect aware functions a language hobbles engineers and makes programs sloppier than they could be.