renox

29 ms·

391.
by renox 4y ago
The thing is seL4 had (has?) many limitations which made it not very interesting for the real world: at some point it wasn't able to use multiple cores, or use low power states.. I think that only people who have closely looked at se
392.
by renox 4y ago
Seriously? OK https://en.m.wikipedia.org/wiki/Apostasy_in_Islam
393.
by renox 4y ago
> and that almost every popular language (even many that are ostensibly “statically typed”) have ubiquitous nightmare scenarios surrounding implicit casts Well, C/C++ implicit cast are very, very bad, but this doesn't mean that
394.
by renox 4y ago
Except that Jetbrains IDE being better isn't always true. At work, our huge C++ project makes CLion very slow.. VSCode MS Intellisense works quite badly but at least it's faster (testing the CLang extension is in my TODO list).
395.
by renox 4y ago
I disagree: there are often different ways to implement a design pattern, so IMHO a design pattern is an abstract idea in the same way monads are. The main difference is that design patterns have 'fuzzy' rules whereas monads are m
396.
by renox 4y ago
When UML was 'cool' I remember that at work some poor soul was tasked with producing UML diagrams using a $$$ tool, of course the tool failed and the poor guy had to manually produce most of the diagrams, which were obsolete quick
397.
by renox 4y ago
There are two kinds of threading bugs: deadlocks which are easy to detect and race conditions which are far more difficult to detect and to fix. AFAIK Rust helps with the latter not with the former which is a very big improvement (much more
398.
by renox 4y ago
Meh article, sure as a dev you'll be a better Dev if you learn about the product requirements like a PM does, you'll also be a better Dev if you learn how to deploy the product becoming a DevOps, if you become a language expert, a
399.
by renox 4y ago
?? If there is no buyer for a given price then the seller will have to reduce his price, no need to have this dubious mechanism.
400.
by renox 4y ago
Positionality is good only when arguments are interchangeable/commutative like addition or when the types are different which ensure that any mistakes in the order will be detected by the compiler. In all the other case positionality i
401.
by renox 4y ago
Using a language with provides static typed != using static types, quite a few programs bypass the static types with 'everything is an int' or 'everything is a string'..
402.
by renox 4y ago
Bah, for the best optimisation, you need restrict ( https://en.wikipedia.org/wiki/Restrict ) anyway..
403.
by renox 4y ago
Serious question which language doesn't have this 'escape hatch'? AFAIK even Haskell has unsafePerformIO to allow this..
404.
by renox 4y ago
I remember reading a long time ago about the 1-based array and the offset-array 'kludge'. My first thought was they should have replicated Ada's design instead, my second thought I hope that they have a good linter because pu
405.
by renox 4y ago
Discrimination is a fuzzy word.. Is-it discrimination to forbid trans-women to participate in the same sports category as bio-women?
406.
by renox 4y ago
They could: Solaris had M:N threads at some point in time but 1) they're complicated 2) you pay a performance cost even if you don't use many threads..
407.
by renox 4y ago
Mmm that's difficult to define for example in Le Havre (an harbour NW of France) the average temperature is quite consistent due to the sea proximity but the weather is often very variable (and the weather forecasts aren't reliabl
408.
by renox 4y ago
Yes! On my part of the bed video streaming with an IPad works OK but often this isn't the case for my wife! How am I supposed to fix this???
409.
by renox 4y ago
No, he also wrote that the V2 was easier to maintain..
410.
by renox 4y ago
My Synology NAS use an ARM: I chose badly: very few video format are supported..
411.
by renox 4y ago
I agree that 'set -x' is the shell superpower, as it shows your scripts behaviour but not the inside of the tools you call. I'm quite sad that gdb doesn't have something similar: 'step in my application only' n
412.
by renox 4y ago
And just after that "Never ending garbage collection bugs plague every assembly implementation of LISP." So I was reacting to that, as a Lisp which will be used once to compile a Lisp based C-compiler which will used once be used
413.
by renox 4y ago
The link https://github.com/oriansj/talk-notes/blob/master/DECISIONS.... I think that the takeaway is familiarity trumps technical 'superiority'. That said I don't know why having a workin
414.
by renox 4y ago
Too bad this article doesn't talk about the registration of studies before doing them, this is a kind of 'utter honesty'..
415.
by renox 4y ago
Yes, this UX issue killed before (AF447) I was told at the time that this was an AirBus issue and that Boeing doesn't have the issue, but apparently both have bad UX.. That's surprising: this seems to be a simple check to implemen
416.
by renox 4y ago
Very interesting, I thought that Spectre made L4 irrelevant but apparently it can hardened with no/little performance loss depending on the HW.
417.
by renox 4y ago
> Time can also be viewed as the propagation of information, or the transmission of energy. ?? Given that photons which transmit energy are 'timeless' that's a strange claim.
418.
by renox 4y ago
> 1 == 1.0, # false, int and float are always distinct. Uh?? If int and floats are always distinct then you should disallow int and float comparison (panic) instead of allowing it and always returning false! That said it is probably a go
419.
by renox 4y ago
Same with D..
420.
by renox 4y ago
There's the same trade off for C++: if you are very patient you can use CLion and enjoy great completion or if like me you're not a zen monk you use VSCode as a text editor with its 'not so great' IDE features (usually

More ›