294 karma · joined December 30, 2015
I was waiting till next Ubuntu LTS to have qemu packaged with SGX support in order to reverse engineer my fingerprint sensor (which is match-on-host, and uses SGX under Windows).
y = h(x, u, t)
x is a vector of the so called state-variables, while y is the output vectors which usually represents what we can measure about the system, u is a function which represents the inputs to the system, and t is the time.
A very useful and simple modeling tool is that of linear time-invariant systems (LTI), where the above equations are specifically
dx/dt = Ax+Bu
y = Cx+Du
where (A,B,C,D) are matrices. Every bit of theory is known about LTI systems: how to control them, global properties, etc. Nonlinear systems are, loosely speaking, dynamical systems which are not linear in the above sense. Depending on the specific nonlinear system form, much less can be said than the linear system case.
It shows the solution to vimgolfs inside kakoune, with number of keystrokes
I was using Gnome shell on a old eeepc. The interface is dumbed down and you have to install a bunch of extensions to make it as functional as Unity.
What was worse is that the launcher automatically triggered the search function, and that slowed down the pc to a crawl. I'm using KDE on it now and, even though less stable, it has a decent interface and it is surprisingly snappy.
1) Editing model based on (multiple) selections. Instead of moving around and issuing verbs on objects, as in vim, you are always selecting something and the command (delete, change, yank and so on) comes afterwards.
It may not seem very different from vim, but the huge advantage is the feedback that you get from the editor.
2) Scripting kakoune is totally different from scripting vim and somewhat harder. If you need something in vim, you write your vim script and that's it. You can't do this in kakoune because the editor language is not a programming language, but only allows you to communicate with the system.
This is the reason why POSIX is a hard dependency, every script in kakoune usually relies on POSIX binutils to do things.
I've been learning to use UNIX more since I've started to use kakoune.
The fundamental problem is that linearity is probably not that accurate in representing words relationships, but I don't think this is the goal.
https://github.com/mawww/kakoune/blob/master/doc/manpages/fa...