Live data from Hacker News

Viewing profile — codingkoi

codingkoi

HN member
Joined
Mon, Nov 25, 2013, 5:02 PM UTC
HN karma
98
Public activity
12 items

About codingkoi

No profile information was provided.

Recent public activity

  1. comment
    Comment #38697437

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

  2. comment
    Comment #38605017

    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…

  3. comment
    Comment #34649805

    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 ca…

  4. comment
    Comment #31307604

    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 …

  5. comment
    Comment #31085215

    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 fast…

  6. comment
    Comment #28042512

    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 thin…

  7. comment
    Comment #28041541

    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 the…

  8. comment
    Comment #27980587

    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 th…

  9. comment
    Comment #24305272

    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 amen…

  10. comment
    Comment #17356420

    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 bull…

  11. comment
    Comment #17355734

    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 experim…

  12. comment
    Comment #15304274

    That's alluded to by the synopsis on the back of the book. I don't think I'd consider it a spoiler.