p4bl0

15 ms·

211.
CompCert: Formally verified compilers usable for critical embedded software(compcert.org)
2 points by p4bl0 2y ago|0 comments
212.
by p4bl0 2y ago
Possibly (I don't know how volatile interact with registers allocation), but the thing is you don't just want this specific example to work, there are a lot of things you want to be able to really ensure , i.e., have rigorous pro
213.
by p4bl0 2y ago
I actually don't know, we weren't working on modern CPUs but on smaller devices that were used for sensitive embedded systems.
214.
by p4bl0 2y ago
That depends a lot on the hardware. For some embedded systems, such as 8-bit smartcards, you can get pretty detailed datasheets from the manufacturer, and the architecture is a lot simpler than modern CPUs.
215.
by p4bl0 2y ago
The subject of my PhD thesis was formal approach to cryptographic implementation against side-channel attacks [1]. In the lab I worked at, most people wrote assembly code for precisely the reasons discussed here [2], and a part of my work c
216.
Tor Browser 14.0 Released, based on Firefox 128 ESR(blog.torproject.org)
16 points by p4bl0 2y ago|0 comments
217.
Ubisoft staff in France on strike over remote working(lemonde.fr)
2 points by p4bl0 2y ago|0 comments
218.
by p4bl0 2y ago
I ran a very similar service for years. And yes it will be abused. I stopped when russian and chinese bots where sending many messages per seconds containing AI generated marketing bullshit with links to scammy sites in various format (html
219.
by p4bl0 2y ago
If such a device could support Signal and WhatsApp voice call and text messages, it would be awesome. In the meantime it doesn't seem actually usable in the real world. Fun hacking (in the sense of tinkering) device though.
220.
by p4bl0 2y ago
> I have been subscriber for something like 20 years now. NewsBlur is "only" 15 years old (and GReader was there up until 11 years ago).
221.
by p4bl0 2y ago
I've been a paying NewsBlur user since the downfall of Google Reader and I'm very happy with it. Thank you for NewsBlur!
222.
Inkscape 1.4 Release(media.inkscape.org)
13 points by p4bl0 2y ago|0 comments
223.
by p4bl0 2y ago
There's an obvious actual alternative to WordPress that's missing here: Dotclear. When I say "actual alternative" I mean a web based blog engine rather than something entirely different like a static site generator that
224.
by p4bl0 2y ago
This is for macOS only, which should be reflected in the title. For those using Linux, I wanted to achieve the same thing a few years ago and ended up using Xephyr, which is a nested X11 server that gives you another display (not the same t
225.
by p4bl0 2y ago
Yes! I wouldn't call myself a poet, but I wrote quite a few poems myself, being initially attracted to the formal rules one can use when writing poetry. I perfectly see what you mean, it really felt the same to me.
226.
by p4bl0 2y ago
Same here, the post was in really bad French and was impossible to understand before I found on the page how to show the original version.
227.
by p4bl0 2y ago
Yes, apart from the web existing in a capitalist society which in turn causes the ad and fad (IA, crypto, VR, etc) problems, a fundamental thing that makes the web worse today is that its usage (way more so than its tech) has evolved from a
228.
by p4bl0 2y ago
Yes, Mozilla's behavior is increasingly worrying. As mostly everyone here I presume I'm eager for the Ladybird project [1] to release their browser and have very I hope about it. In the meantime I'm stuck with a day-by-day de
229.
by p4bl0 2y ago
EDIT: Sorry I came back from the article to say this before reading the comments here… I should have, the top comment is already saying the exact same thing! The speed of light isn't that fast. The website "the moon is one pixel
230.
by p4bl0 2y ago
I see. Thanks for correcting me (I'm quite familiar with OCaml but never used F# so this subtle difference between the two eluded me). I wouldn't have imagined this being put as an advantage in terms of robustness and reliability,
231.
by p4bl0 2y ago
No it's not the same thing as in C. What they try to explain but quite badly phrase is that F# (or OCaml, on which it is based) is lexically scoped, values of non local variables are captured in definitions (so they must exist at that
232.
by p4bl0 2y ago
Why are algebraic data types called "discriminated unions" here? Is there a subtle difference between the two or is it just that F# calls the same feature differently than OCaml?
233.
by p4bl0 2y ago
Haha! This reminds me of https://inutile.club/estatis/ and especially the Falso system.
234.
by p4bl0 2y ago
Yes, the SMT apps are slowly being forked over to the Fossify project: https://www.fossify.org/ .
235.
by p4bl0 2y ago
Yes, Make is awesome. I use it for so many things. It's a great way to automate tasks. For example my personal website is built using a Makefile that calls bash scripts to rebuild the updated web pages, and I deploy it using a git push
236.
by p4bl0 2y ago
There will never be a technological solution to such problems. The only way to fight company's greed is regulation through strong legislation. Thanks to the GDPR, in the EU (extended to the European economic area) and in Switzerland, L
237.
by p4bl0 2y ago
Here is the best way to opt-out of LinkedIn crap, both of the company and of its users: https://www.wikihow.com/Delete-a-LinkedIn-Account
238.
by p4bl0 2y ago
Many individuals contribute to running relays. And there are non-profit organizations collecting donations to operates Tor exit nodes: - https://www.torservers.net/ - https://nos-oignons.net/
239.
by p4bl0 2y ago
By default (meaning the browser's default CSS) they are, but when you set all properties to unset , which is not equivalent to none , even the `display` property is concerned, so their content is displayed as text on the web page jus
240.
by p4bl0 2y ago
This is nice but it's not what I would call a "reset". It does make arbitrary choices for the value of some properties. It may be very good as "saner defaults", but for examples it doesn't even reset headers&#x

More ›