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)
{{ message }}