Toggle navigation
andruiman's blog
Home
Archives
RSS
1 September 2022
Multi dimensional programming
Languages
Classical programming
Multi scope of programs
Multi screen and REPL
What is next
some stuff happened
Tags:
languages
programming
expressiveness
« Program verification in general
Humans and programming »
Links
Random Page
Recent Posts
Program specification (cont.)
Program specification
Observation principle and program units
Tags
verification
cryogen
measurement
languages
programming
expressiveness
brain
state
observability
humans
art
specification