reirob

Do you have a link to this publication?

For me it works and I use it all the time. I hibernate with:

sudo systemctl hibernate -i

And when waking up it requests the LUKS passowrd. Using NixOS, worked since 2019 or so.

Right from https://www.adacore.com/languages/spark, under the title Memory Safety:

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.

There has been a podcast by Developer Voices about Turso: https://m.youtube.com/watch?v=1JHOY0zqNBY

Maybe might be appropriate in this discussion: https://arcan-fe.com/

I hope this project will produce some usable new UX at some point.

Thanks for sharing this. I was not aware about this project. Quite impressive they got sqlite and openssl compiling.

From their manifesto [1]: "The biggest impediment to using Fil-C in production is speed. Fil-C is currently about 1.5x-4x slower than legacy C."

And for the moment being it is running only on Linux/X86_64, even though there should be nothing preventing it from running on other platforms.

[1]: https://github.com/pizlonator/llvm-project-deluge/blob/delug...

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.

Same here

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.

The interview itself is in [2].

[1]: https://www.stephendiehl.com/posts/decade.html [2]: https://www.bizjournals.com/boston/inno/stories/news/2011/01...

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).

Fires from electric vehicles getting more and more often. Few days ago Paris decided to withdraw 149 electric buses [1] after two have catch fire.

[1]: https://www.msn.com/en-us/news/world/paris-withdraws-149-ele...

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.

[1] https://tex.com.tw/products/shinobi?variant=16969883648090

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.

[1]: https://www.youtube.com/watch?v=Nbj1AR_aAcE

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.

[1]: https://tex.com.tw/

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.

That's true, but I would like to know if there's a way to find laptops that have Trackpoints (or whatever they are named on different brands [1]). My experience is that there were different brands that had some models at some point in time (HP, Toshiba, Dell, Fujitsu), but don't even mention it on the website, and from one generation to the other they decide to remove or to add them. I would happily go with Dell or some other brand if I knew how to chase for all the requirements above.

[1] https://en.wikipedia.org/wiki/Pointing_stick

Absolutely agree with you. Still suffering from it. Worst and most expensive experience since more than 20 years of ThinkPads. I was buying ThinkPads for the good linux support, the keyboard, the Trackpoint, the excellent repairability and extendability. Last year august ordered the P1 Gen 3 without Nvidia, after being delayed for more than 2 months and I had to go on travel, cancelled it. In hindsight it was good to cancel, the gen 3 apparently has the same heat problems. Maybe the gen 4 will be better, however already now is known that key travel has been shortened. If there would be another brand that fullfils my requirements, would switch in a heartbeat.

Same happened to me. They had to come twice, first time repare service came they had the wrong motherboard. Worst ever laptop ordering experience I had in my life, after more than 20 years of Thinkpad usage. Still sitting on the X1E Gen 1 - afraid to order a new one. I would absolutely like to go to another brand, does anyone have a suggestion? My requirements are:

1) Optimal Linux support (no Nvidia please)

2) Best possible US layout keyboard, centred, i.e. NO numpads

3) Trackpoint with physical buttons below, optimally 3, could live with 2

4) At least 15 inch screen, bright enough to work outside, and as good as possible to the eyes.

5) Option for 64 GB RAM or more

6) Option for 4 TB SSD or more

7) As much autonomy on battery as possible, as few noise and heat as possible.

8) Nice to have, but not crucial, would be repairability and extendability.

I don't care much about CPU power and prefer less power to heat and throttling. So if somebody has any suggestions, I would be very glad.

I agree fully, and I wish, for written communication (chat, emails) people could use some latin/ascii based transliteration of IPA. There is X-SAMPA [1], though it's not much used yet. I think a simple input method, available on all keyboards and maybe some textual annotation for text sections being in IPA, might give this a much bigger audience. Many people are often in meetings where they don't know how to pronounce the names of meeting participants - would be really great to have an ASCII based IPA notation.

[1] https://en.m.wikipedia.org/wiki/X-SAMPA

Thanks for laying out alternatives. Others were already asking about Calendar, but additionally I am curious if you found a solution for Maps/Navigation and Photo syncronisation and sharing. I'm still trying to find a migration path off from Google...

There is actually a similar question that is asked in the interview:

> Is there anything in the kernel which is not optimal, but would require a complete rewrite to address properly? In other words, the kernel is 30 years old and knowledge, languages and hardware have changed a lot in these 30 years: if you rewrote it from scratch now, what would you change?

And Linus' answer was very interesting for me - and after reading it, I would answer your question (tongue in cheek): "Never, because it seems that Linux developers were quite successful in starting all over again for quite some parts of the Linux kernel."

I guess it's not really an answer to your question, but kind-of ;)

Interestingly and off topic, the same lock that is intended to prevent take over of a plane, was used by a pilot to crash the plane and kill all 150 people [1]:

> The crash was caused deliberately by the co-pilot, Andreas Lubitz, who had previously been treated for suicidal tendencies and declared "unfit to work" by his doctor. Lubitz kept this information from his employer and instead reported for duty. Shortly after reaching cruise altitude and while the captain was out of the cockpit, he locked the cockpit door and initiated a controlled descent that continued until the aircraft impacted a mountainside.

[1]: https://en.m.wikipedia.org/wiki/Germanwings_Flight_9525

Or one from https://tex.com.tw/

Something like a Smalltalk system ;)

Just want to add Haskell, that was planned and thought-through for a very long time, and the purpose of it being planned was especially to slow down the proliferation of too many (research) programming languages, by providing a base/platform language that will be used for future research:

https://www.microsoft.com/en-us/research/wp-content/uploads/...