Viewing profile — derintegrative
derintegrative
HN member- Joined
- Wed, May 14, 2025, 5:25 PM UTC
- HN karma
- 5
- Public activity
- 7 items
- HN profile
- View on Hacker News ↗
About derintegrative
No profile information was provided.
Recent public activity
-
comment
Comment #48909433
Should be "Agent(Explore)"
-
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…
-
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 …
-
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
-
comment
Comment #45685373
On Linux you also have % cat /proc/sys/kernel/random/uuid 464a4e91-5ce4-47b6-bb09-8a60fde572fb
-
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.
-
comment
Comment #44137381
"Just"