Hacker Newsnew | past | comments | ask | show | jobs | submit | reirob's commentslogin

Do you have a link to this publication?


https://knowledge-centre-translation-interpretation.ec.europ...

> This style guide is intended primarily for English-language authors and translators, both in-house and freelance, working for the European Commission.

It specifies formats for date, numbers etc.


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.


I have also seen the color eink tablets, and the colors are so dull that you at first glance can take it for grayscale. Even so, I think colors would be very good to have for work and functional purposes, only to distinguish between colors. Certainly not for enjoying them.


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.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: