reirob
Joined 16 years ago
Karma
2,465
Submissions
673
Member since
Aug 7
Recent submissions
Comment · 4 months ago
Do you have a link to this publication?
Comment · 4 months 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.
Comment · 6 months 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 demonstrates absence of memory issues such as use after free, access to uninitialized memory or memory leaks and corruption.
Comment · 9 months ago
There has been a podcast by Developer Voices about Turso: https://m.youtube.com/watch?v=1JHOY0zqNBY
Comment · 10 months 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.
Comment · 1 year 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-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...
Comment · 2 years 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.
Comment · 2 years 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 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.
Comment · 3 years ago
Same here
Comment · 3 years 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.
Comment · 4 years 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 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...
Comment · 4 years 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 still with more thought and deepness.
Comment · 4 years 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 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).
Comment · 4 years 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-ele...