Skip to content

Instantly share code, notes, and snippets.

View 5HT's full-sized avatar
🌐
I'm very skeptical that person without empathy can create beautiful mathematics.

Namdak Tonpa 5HT

🌐
I'm very skeptical that person without empathy can create beautiful mathematics.
View GitHub Profile
# See http://help.ubuntu.com/community/UpgradeNotes for how to upgrade to
# newer versions of the distribution.
deb http://archive.ubuntu.com/ubuntu/ jammy main restricted
# deb-src http://archive.ubuntu.com/ubuntu/ jammy main restricted
## Major bug fix updates produced after the final release of the
## distribution.
deb http://archive.ubuntu.com/ubuntu/ jammy-updates main restricted
# deb-src http://archive.ubuntu.com/ubuntu/ jammy-updates main restricted
@5HT
5HT / netbsd.pkg.txt
Created June 2, 2023 01:59
NetBSD Package Release Engineering
NetBSD Package Release Engineering:
# git clone [email protected]:NetBSD/pkgsrc
# git clone [email protected]:NetBSD/pkgsrc-wip
# mv pkgsrc-wip pkgsrc
# cd pkgsrc/pkgsrc-wip/be
# unset PKG_PATH
# make distinfo
# make
@5HT
5HT / netbsd.ascii.logo.txt
Last active May 25, 2023 11:55
NetBSD logo
banner=
banner= \. .d\S$|$S/.
banner= \$\b,.__.,d*\$$\~' NetBSD/amd64 RAMPAGE VI GPT UEFI
banner= \$$$$$$$$$$|/.,bd$|$S/. SYNRC QUADSTELLAR X299 #4
banner= \$$$$$$$lbd$$$$\`` 6TB NVMe 128GB RAM
banner= \`$*S$$$S*p` NVMM QEMU Erlang LVM
banner= \
banner= \
@5HT
5HT / dmesg-grep-dk.txt
Last active May 24, 2023 14:08
ld wd sd drives in NetBSD
# dmesg | grep dk
[ 1.924046] dk0 at ld0: "e8759885-3ade-4dac-891c-0d22db82c220", 262144 blocks at 2048, type: msdos
[ 1.924046] dk1 at ld0: "76ea34b9-b6fc-4c37-8537-aaa0ae234edb", 1685491712 blocks at 264192, type: ffs
[ 1.924046] dk2 at ld0: "416962f9-206b-46c2-847d-9c6ac0a4a639", 267769231 blocks at 1685755904, type: swap
[ 1.924046] dk3 at ld2: "254cc668-0e69-11ed-b40a-087190b345d3", 262144 blocks at 2048, type: <unknown>
[ 1.924046] dk4 at ld2: "Basic data partition", 1953257472 blocks at 264192, type: ntfs
[ 1.924046] dk5 at ld3: "254cc66b-0e69-11ed-b40a-087190b345d3", 262144 blocks at 2048, type: <unknown>
[ 1.924046] dk6 at ld3: "2cfd2a31-64f0-4f58-8d85-0b8c0b46ae63", 1953257472 blocks at 264192, type: ntfs
[ 1.924046] dk7 at ld4: "EFI system partition", 204800 blocks at 2048, type: msdos
[ 1.924046] dk8 at ld4: "Microsoft reserved partition", 32768 blocks at 206848, type: <unknown>
@5HT
5HT / dmesg
Last active May 24, 2023 10:48
NetBSD 9.3 Quadstellar https://5ht.co/quadstellar `dmesg` Output with `force_intx` and 'mq' both Disabled and Enabled: * 1) dmesg-force-intx-enabled-mq-disabled.txt, * 2) dmesg-force-intx-enabled.txt, * 3) dmesg-force-intx-disabled.txt.
[ 1.045861] nvme0: NVMe 1.4
[ 1.045861] nvme0: for admin queue interrupting at msix8 vec 0
[ 1.045861] nvme0: WDS100T1X0E-00AFY0, firmware 614600WD, serial 2136HR451912
[ 1.045861] nvme1: NVMe 1.4
[ 1.045861] nvme1: for admin queue interrupting at msix9 vec 0
[ 1.045861] nvme1: WDS100T1X0E-00AFY0, firmware 614600WD, serial 2136HR444101
[ 1.045861] nvme2: NVMe 1.4
[ 1.045861] nvme2: for admin queue interrupting at msix10 vec 0
@5HT
5HT / keybase.md
Created November 19, 2022 21:20
keybase.md

Keybase proof

I hereby claim:

  • I am 5ht on github.
  • I am axiosis (https://keybase.io/axiosis) on keybase.
  • I have a public key ASBLFyvi9ULuTPR0ENUcviW3cAcT8V5hcYCpcg-LHsgAhQo

To claim this, I am signing this object:

@5HT
5HT / abac.txt
Created August 4, 2022 21:48
ABAC
policy(Default) -> [
% ---------------------- CREATE -----------------------------
#policy{
api_endpoint = create,
combining = all,
object = #object_form{id = rightsDelegation},
rules = [
@5HT
5HT / abac.txt
Created August 4, 2022 21:40
ABAC
acid(Default) -> [
#acid{id = kvs:seq([], []), subject_type = "organization", subject = Default, api_endpoint = "create", description = <<"Правило 1: Тільки користувачі з роллю 'Реєстратор' мають можливість реєструвати ВХІДНІ ДОКУМЕНТИ"/utf8>>, object_type = "doc", object = inputOrder, type = "auth", role_logic = [register], role_inbox = ["register"]},
#acid{id = kvs:seq([], []), subject_type = "organization", subject = Default, api_endpoint = "create", description = <<"Правило 1: Тільки користувачі з роллю 'Реєстратор' мають можливість реєструвати ВХІДНІ ДОКУМЕНТИ"/utf8>>, object_type = "doc", object = esqInquire, type = "auth", role_logic = [register], role_inbox = ["register"]},
#acid{id = kvs:seq([], []), subject_type = "organization", subject = "MIA:HSC", api_endpoint = "create", description = <<"Правило 1: Тільки користувачі з роллю 'Реєстратор' мають можливість реєструвати ВХІДНІ ДОКУМЕНТИ"/utf8>>, object_type = "doc", object = adminService, type = "auth", role_logic = [register], role_inbox = ["
@5HT
5HT / longchenpa.sh
Created July 27, 2022 20:55
Longchenpa
#/bin/sh
git clone [email protected]:longchenpa/pub
git clone [email protected]:longchenpa/wylie
git clone [email protected]:longchenpa/longchenpa.guru
git clone [email protected]:longchenpa/tonpa.guru
git clone [email protected]:5HT/5HT.co
@5HT
5HT / groupoid.sh
Created July 27, 2022 20:55
Groupoid
#/bin/sh
git clone [email protected]:groupoid/anders
git clone [email protected]:groupoid/alonzo
git clone [email protected]:groupoid/henk
git clone [email protected]:groupoid/cubical.systems
git clone [email protected]:groupoid/CCHM
git clone [email protected]:groupoid/languages
git clone [email protected]:groupoid/formal.uno
git clone [email protected]:groupoid/groupoid.space