Live data from Hacker News

Viewing profile — derintegrative

derintegrative

HN member
Joined
Wed, May 14, 2025, 5:25 PM UTC
HN karma
5
Public activity
7 items

About derintegrative

No profile information was provided.

Recent public activity

  1. comment
    Comment #48909433

    Should be "Agent(Explore)"

  2. comment
    Comment #48110886

    Caution - At one point I was running a greasemonkey script to replace religious words with funny alternatives. Had a bad time when I installed it and forgot about it and it replace…

  3. comment
    Comment #46905706

    This looks to be a very specific tool to check URLs on the command line. Terminal emulators don't care about that. Even shells running in those terminal emulators don't care about …

  4. comment
    Comment #45685447

    Similarly I have for Linux epoch () { if [[ -z "${1:-}" ]] then date +'%s' else date --date="@${1}" fi } % epoch 1761245789 % epoch 1761245789 Thu Oct 23 11:56:29 PDT 2025

  5. comment
    Comment #45685373

    On Linux you also have % cat /proc/sys/kernel/random/uuid 464a4e91-5ce4-47b6-bb09-8a60fde572fb

  6. comment
    Comment #45363529

    Failed twenty ways to Sunday if I set `ZSHZ_DATA="$HOME/.local/share/zsh-z"` . Could not get it to recover from it.

  7. comment