Viewing profile — 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 advanc…

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-…

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 w…

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 keyb…

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 Da…

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 sentence…

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 …

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/ne…

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, workin…

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 mo…

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 nati…

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 …

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 m…

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 tr…

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 …

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, th…

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 …

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 …