Skip to content
View Dr-Deep's full-sized avatar
9 followers · 84 following
  • Germany

Achievements

Achievement: Public Sponsor

Achievements

Achievement: Public Sponsor

Block or report Dr-Deep

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Dr-Deep/README.md

@Dr.Deep

First login: Fr 15 Dec 2006 from Frankfurt am Main, Germany
Earth 1.0 (GENERIC) planet/solar-system spacetime_4d
Origin: MilkyWay.Galaxy (Sol-3)
Uptime: ~4.5e9 years
Welcome to Earth!

┌─[deep@earth]-[~]
└──╼[#]> cat /etc/passwd | grep -A1 $USER
deep:*:1001:1001:Dr. Deep:/zfs/deep:/6D6174726978/boltzmann.elf
┌─[deep@earth]-[~]
└──╼[#]> whoami
⊢ @deep : Human ∧ Hobby-Hacker ∧ Hobby-Researcher

∃ T : Time .
    Clean(T) ⊢ @deep.strives for self-mastery

∀ S ∈ Systems :
    ( S = FreeBSD ∨ S = HardenedBSD ∨ S = LLVM ∨ S = Go ) → ( @deep. ∈ Enthusiast(S) )

∀ P ∈ Projects :
    ( P.type = Formal-Language ∨ P.type = PQE-Communication ∨ P.type = Build-Systems ) 
        → ( P ∈ @deep..Work ∧ ( Verified(P) ∨ LearningExperience(P) ) )

@deep.virtues := { Curiosity, Precision, Persistence }
@deep.flaws   := { Perfectionism, Restlessness }

Identity(@deep, t) : Human ∧ Developer ∧ Researcher

∀ t₁, t₂ ∈ Time :
    t₁ < t₂ → Identity(@deep, t₂) = Identity(@deep, t₁) ⨁ ΔExperience(t₁, t₂)

ΔExperience(t₁, t₂) := Learning ∨ Reflection ∨ Verifying

@deep.motto := "logic is our greatest tool"
@deep.dynamic := ∀ t ∈ Time . Identity(@deep, t)

Joo check my server out

Popular repositories Loading

  1. dots dots Public

    Dotfiles

    Shell 1

  2. Suplex Suplex Public

    Go

  3. doom-fire-algorithm doom-fire-algorithm Public

    Go

  4. bsd-dots bsd-dots Public

    Python

  5. efi-sample efi-sample Public

    Makefile

  6. hl hl Public

    Forked from bunji2/hl

    Hoare Logic in GoLang

    Go