reirob

10 ms·

1.
by reirob 3mo ago
Do you have a link to this publication?
2.
by reirob 3mo ago
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.
3.
by reirob 5mo ago
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 demonst
4.
by reirob 8mo ago
There has been a podcast by Developer Voices about Turso: https://m.youtube.com/watch?v=1JHOY0zqNBY
5.
by reirob 9mo ago
Maybe might be appropriate in this discussion: https://arcan-fe.com/ I hope this project will produce some usable new UX at some point.
6.
by reirob 1y ago
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
7.
by reirob 2y ago
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.
8.
by reirob 3y ago
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
9.
by reirob 3y ago
Same here
10.
by reirob 4y ago
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.
11.
DirtyCred' Vulnerability Haunting Linux Kernel for 8 Years(securityweek.com)
5 points by reirob 4y ago|0 comments
12.
by reirob 4y ago
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 perceiv
13.
by reirob 4y ago
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
14.
by reirob 4y ago
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 S
15.
by reirob 4y ago
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-
16.
by reirob 4y ago
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
17.
by reirob 5y ago
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
18.
by reirob 5y ago
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 t
19.
by reirob 5y ago
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.
20.
by reirob 5y ago
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
21.
by reirob 5y ago
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.
22.
by reirob 5y ago
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 poin
23.
by reirob 5y ago
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
24.
by reirob 5y ago
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 -
25.
by reirob 5y ago
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 a
26.
by reirob 5y ago
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 pa
27.
by reirob 5y ago
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 knowled
28.
by reirob 5y ago
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
29.
by reirob 6y ago
Or one from https://tex.com.tw/
30.
by reirob 6y ago
Something like a Smalltalk system ;)

More ›