Through a combination of mitigation of dynamic memory usage, borrow-checking analysis and advanced formal proof, SPARK formally demonstrates absence of memory issues such as use after free, access to uninitialized memory or memory leaks and corruption.
I have a color Boox tablet, and I am very very disappointed about the colors. Very hard to distinguish many colors and shades. Black and white though is really good.
My bank in France (Credit Agricole) requires me to install an App on the phone in order to do operations like entering an non-french IBAN to transfer money to supiers. Stuff that worked before easily over the web, doesn't work anymore if I don't install the app. Now I need to go physically to the branch. And they tell, this is because if security - such a lie. Apps are much more insecure than web + sms tokens.
Are you touch typing? I am sincerely curious. For me, because I am touch typing, the trackpoint was a big advantage over the trackpad - I don't have to lift the hands from the keyboard. This is how I got used to the trackpoint.
Ironically the existence of NodeJS is somewhat related to Haskell, as Stephen Diehl mentions in [1]:
> As a funny historical quirk, back in 2011 there was an interview with Ryan Dahl, the creator of NodeJS, who mentioned that the perceived difficulty in writing a new IO manager for GHC was a factor in the development of a new language called NodeJS. When asked why he chose Javascript, for the project, he replied:
>> Originally I didn’t. I had several failed private projects doing the same on C, Lua, and Haskell. Haskell is pretty ideal but I’m not smart enough to hack the GHC.
I made a colorscheme for vim that uses same color for font and background. Use it sometimes when I need to write long confusing thoughts. It's quite a nice experience, the sentences turn out to be similar to the way I would speak, but still with more thought and deepness.
I do it all the time - I don't know another way if you want to touch type. It creates a symmetry - depending if the letter key with which you need to combine is on the left or the right hand, I will use the opposite hand to press the Shift or Ctrl keys. And the AltGr is an absolute must for me as I need to write accents for several western European languages and the English International with AltGr Dead keys is the best solution I found so far (and I do not understand why it is not shipped with Windows).
I'm using it since +20 years and many ThinkPads (had one Dell with a trackpoint in the early 2000s) - it's the thing why I'm staying with ThinkPads. If you are touch-typing, working on the go, in rough environment, then there is nothing better. Last 3 and half years I had X1E Gen1, was the worst ThinkPad experience of all the ThinkPads that I ever had (extremely hot, bad Linux support, loud, worst ever battery life, mirror display) - and the 1st ThinkPad in 20+ years that just stopped working after 3.5 years. Now I have the P1 Gen4, without Nvidia, the QXGA resolution and matte screen - and I love it. Was afraid because the key travel, got less, but I actually have to say that I prefer it compared to the previous ThinkPad, and it's less noisy when typing.
However I have to say that none of the ThinkPad trackpoints match the easiness and the precision of the Tex Shinobi external keyboard - it's just delightful how it feels, though, typing on it is very loud.
I am quite curious about using this keyboard without a mouse (in the demo video there seems to be a key called mouse, just above the left shift) - maybe someone who uses it as a mouse can chime in? Alternatively would be interested as well about the trackpoint module - does somebody use it? How precise is it to use it with a thumb, compared with the usage of an original ThinkPad trackpoint or is the TEX Shinobi [1].
The TEX Shinobi TrackPoint is for me much easier and better to use than on modern ThinkPad keyboard, was quite a surprise.
If I understand it correctly this is as well the position of Professor John Mearsheimer [1] - he thinks that what Russia is going to do is "wreck" Ukraine and make it a buffer nation. I am sad, that we came to this situation and that our politicians were not able to find a diplomatic way to deal with each other and instead now only sanctions, arms and isolation seems to be considered. Trust is broken, both sides West and Russia consider themselves to be in the right and being handled unfairly by the others. Nationalism is rising and people start to consider each other as enemies. I am afraid that history is repeating itself and I am afraid of whatever leader Russia might get after Putin.
Finally a website where i can filter for criteria I need, down to stuff like keyboard without number block, with Trackpoint (on the site it's called pointing stick). No other site i know does this, not even the vendors themselves.
If other companies can provide keyboards with a TrackPoint [1], then I think it should be possible - disclaimer, I have such an external keyboard, the Shinobi, and the TrackPoint movement (on Linux) is actually better and more accurate than on my ThinkPad laptop.
Absolutely agree, to a point that I don't even know which laptop to buy - almost all 15 inch have no centred keyboard. I don't understand how touch typers can work with these. I tried for a few days. What a nightmare.