• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Ustj V2n1

Ustj V2n1

Paperback

Technology & EngineeringGeneral ComputersGeneral Education

Publisher Price: $29.00

ISBN13: 9798869059796
Publisher: West Martian Limited Company
Published: Aug 27 2025
Pages: 238
Weight: 0.54
Height: 0.60 Width: 5.50 Depth: 8.25
Language: English

Nock is the exemplar of a class of solid-state computing approaches intended to make general-purpose computing deterministic and amenable to reasoning at multiple levels. Nock's first practical application was in the specification of the Hoon programming language and then in development of the Urbit operating system. More recently, Nock has been employed on the Nockchain zero-knowledge virtual machine due to its mathematical properties and the elegant concision of its proofs. In this issue of the Urbit Systems Technical Journal, we explore the ramifications of Nock and the neighboring configuration space of solid-state computing paradigms.

Also from

Urbit Foundation

Also in

General Computers