@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