codingkoi

6 ms·

1.
by codingkoi 3y ago
> the Wayland server This is the core problem I have with Wayland. There is no "Wayland server", just as there are no window managers. It's _just_ a protocol. Wayland has conflated those two concepts by making every Waylan
2.
by codingkoi 3y ago
I accidentally did that with the original Team Fortress on Quake, and the Mechwarrior 2: Mercenaries CD. I always felt like the track from that CD that went with the `rock` map was a good match, but I couldn't really say why. I haven&#
3.
by codingkoi 4y ago
I haven’t used it recently but I believe it sets a header on the request when it comes from HTMX so you can change whether you send the whole page or just the fragment back. You can also just send the whole page and use other features to se
4.
by codingkoi 4y ago
My siblings and I would tape a monopoly board to the TV to split it vertically and then play team games to get around “screen cheating”. I think it had the best of both worlds. We were still in the same room but we could ambush and sneak up
5.
by codingkoi 4y ago
Once I discovered `lib.fakeSha256`, I just put that in the derivation, try to build it and then use the error message to find the correct hash to put into it. Probably not the fastest way to do it, but it's easier for me to remember.
6.
by codingkoi 5y ago
I’m not sure I follow your analogy. I think the dynamism of a list is separate from the type system. I can say I have a list of integers but that doesn’t limit its size. I can think of instances where that might be useful and I think there’
7.
by codingkoi 5y ago
Your third point about having to encode everything isn’t quite true. Your example is just brittle in that it doesn’t allow additional values to show up causing it to break when they do. That’s not a feature of static type systems but how yo
8.
by codingkoi 5y ago
I’ve used Input Sans[1] with Python in the past and it works pretty well except if you use white space for formatting or ascii art as opposed to just indenting. It works because the spaces are nice and wide unlike in a typical proportional
9.
by codingkoi 6y ago
Does anyone know the US case law on the 1st amendment being applied to corporate actors? I see the argument often that things like this are a free speech violation but the 1st amendment says “Congress shall pass no law...”. It doesn’t apply
10.
by codingkoi 8y ago
I came to it from the perspective of wanting a digital notebook that I could also load PDFs on and write margin notes in. I used to keep handwritten notes in notebooks, mostly bullet journal style, and I've completely converted over to
11.
by codingkoi 8y ago
The tools exist with which to do it. People have reverse-engineered the reMarkable enough to start creating Rust libraries to support the hardware[1]. I've been thinking of experimenting with building a Sketchpad-like system on it. Wit
12.
by codingkoi 9y ago
That's alluded to by the synopsis on the back of the book. I don't think I'd consider it a spoiler.