blainehansen

6 ms·

1.
To prevent LLMs from destroying education, the work must happen in class(blainehansen.me)
7 points by blainehansen 2mo ago|1 comments
2.
by blainehansen 2mo ago
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.
3.
by blainehansen 2mo ago
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 treating this situation we're in like other kinds of
4.
by blainehansen 2mo ago
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, I would have. > It's fully general, but it's a
5.
by blainehansen 2mo ago
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 was trusting my audience to understand that obvi
6.
by blainehansen 2mo ago
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, but when we do they tend to be much better (
7.
by blainehansen 2mo ago
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 autoregressively generates language tokens based on th
8.
LLMs aren't remotely like compilers or power tools(blainehansen.me)
38 points by blainehansen 2mo ago|52 comments
9.
Independent maintainers shouldn't be shamed for demanding financial support(blainehansen.me)
2 points by blainehansen 3y ago|1 comments
10.
by blainehansen 3y ago
We could have genuinely open and sustainable open source, but we need to slightly tweak our social expectations.
11.
by blainehansen 4y ago
The solution to broken social media is obvious: democratic cooperative ownership
12.
by blainehansen 4y ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#fully-reusable https://github.com/magmide&#x2
13.
by blainehansen 4y ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-logically-verifying-co...
14.
by blainehansen 4y ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#is-it-actually-useful-to-...
15.
by blainehansen 4y ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-most-software-too-fu...
16.
by blainehansen 4y ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-is-undecidable-to-pr...
17.
Migrator: Automatically generate Postgres migrations from declarative SQL schema(github.com)
2 points by blainehansen 5y ago|0 comments
18.
Software can be perfect: making provably correct code tractable(youtube.com)
3 points by blainehansen 5y ago|0 comments
19.
Red and blue functions are a good thing(blainehansen.me)
1 points by blainehansen 5y ago|1 comments
20.
by blainehansen 5y ago
By avoiding effect aware functions a language hobbles engineers and makes programs sloppier than they could be.
21.
Macro-ts: ergonomic TypeScript compiler that enables typesafe syntactic macros(blainehansen.me)
1 points by blainehansen 6y ago|0 comments