yaantc

12 ms·

61.
by yaantc 4y ago
It's not so simple. With UNIX, the integration platform is the shell, hooking simple specialized tools through pipes and the shell language. With Emacs, the integration platform is a Lisp environment, hooking specialized Lisp tools an
62.
by yaantc 4y ago
In 2021 Google introduced Logica, a Datalog variant. In their introduction blog they contrast it with SQL, so this may answer your question: https://opensource.googleblog.com/2021/04/logica-organizing-... In short
63.
by yaantc 4y ago
Macros are not such a big deal: static analyzers do not work on the source code directly, they work on some intermediate representation usually (often the LLVM IR, for Ikos and Clang SA for example) or parsed source code. Either way, the pr
64.
by yaantc 4y ago
That's why the author says "theoretically" I guess ;) Yes in practice you probably wouldn't want your GPU compute engines to do such direct accesses and stall for a long time on each access, even for a one-shot streaming
65.
by yaantc 4y ago
This is not specific to dGPU, it could apply to any PCIe device. Emphasis on "theoretically" too. On the device (dGPU here), it is possible to route memory accesses to part of the internal address space to the PCIe controller. In
66.
by yaantc 4y ago
For people reading French: https://www.musculation-halteres.fr/methode-musculation-halt... Works for me, started during the Covid "at home" period and continuing since then. Complete and no-nonsense. It's ill
67.
by yaantc 4y ago
The elephant in the room with Linux on the desktop is: if you install Linux on a machine, you are de facto the integrator. If you don't want, or can't, do the job of a system integrator for your PC, you can now buy PC with Linux
68.
by yaantc 4y ago
Yes, if the LLVM toolchain has Z3 support then `--z3-refutation` will be the default. It's only useful if you want an error in case the LLVM toolchain may not have this support. I've read somewhere that the "full Z3" mod
69.
by yaantc 4y ago
> Are you sure? No, I just picked it from the ENS web page ( https://www.astree.ens.fr ) but it may have not been updated for a while. As I understand it there's been improvement on dynamic allocation with separation logic
70.
by yaantc 4y ago
> > The Clang static analyzer [1], used through CodeChecker (CC) [2], do support CTU (enabled with `--ctu`). I'm very happy with the result on the code I'm working on. > I have done some preliminary testing with this on t
71.
by yaantc 4y ago
> This has me considering the sound options for a next step [...] I'm definitely not an expert but look into SA a bit out of curiosity. Sound analysis normally comes with significant restrictions. For example Astrée does not support
72.
by yaantc 4y ago
> Some build system patches + Clang's static analyzer + codechecker seems to be the most promising combination since that would not only be able to cross translation unit analysis, but also be able to do differential reporting so on
73.
by yaantc 4y ago
> An embedded C developer I've talked with quite often on some other forum, > who imho is quite competent, said that Coverity is a poor tool that > generates way too much false negatives and overlooks at the same time > gla
74.
by yaantc 4y ago
With "cross translation units" (CTU) analysis a static analyzer could derive a constraint on `some_function` return value and check this against the array size to detect a possible bug. The Clang static analyzer [1], used through
75.
by yaantc 4y ago
Emacs 28 has just in time compilation: the compilation happens lazily as a package is loaded. Ahead of time would means at installation time I guess.
76.
by yaantc 4y ago
Not, it's build in: when you undo with a region highlighted the undo is limited to the content of this region. Really nice when you made changes elsewhere and realize late that you made a mistake (but not too late: the undo info must s
77.
by yaantc 4y ago
I agree but still find the survey interesting. It shows what's actually used among (power) users, which can sometimes give a different perspective from web/email discussions that naturally are biased toward new things.
78.
by yaantc 4y ago
It's a reasonable position for most text editors / IDE, but not a good fit for Emacs IMHO. Emacs is atypical here. Emacs is best understood as an editor construction kit with a default editor as an example. It's a "build
79.
by yaantc 4y ago
It's been plug and play both at home and at work for me since a few years (sorry, can't be more specific...). And it was really far from it years ago for sure! In both cases the printers support IPP (the Internet Printing Protocol
80.
by yaantc 4y ago
> Linux also tends to be quite a bit worse for battery life than Windows. With a manual stock distro installation maybe, as the defaults are very conservative. But just install the "tlp" package (the laptop project) and the sit
81.
by yaantc 4y ago
Yes absolutely, and this is possible today with only open source software. So money is not a barrier. The sanitizers (UB, address, memory, threads) are supported by both Clang and GCC [1]. Yes that's up to 4 different builds and tests
82.
by yaantc 4y ago
This is unfair as it is not what GP said. It was simply pointed out that infosec professionals do not say that, which is true. There a wide difference between what one can read on the web and the security professionals position on this. You
83.
by yaantc 4y ago
SCTP [1] is there to provide a reliable message based protocol. And it does work inside a datacenter. The issue is outside the datacenter: it doesn't work reliably across the Internet due to middle boxes dumping anything not TCP or UDP
84.
by yaantc 4y ago
Very different areas of semi. The Economist article is focused on the high end, most advanced nodes and their fabless users like AMD, NVidia. What you list is either analog of older nodes (~90 to 40nm). It's a very different world, wit
85.
by yaantc 4y ago
Yes, Magit solves the two main issues I had with git and made me avoid it for a while. It provides: 1) A simple interface, with good discoverability (options and functions shown); 2) Good visualization and operations on the current state, w
86.
by yaantc 4y ago
> Was there any ublock origin filter that could do the same. Yes, "Fanboy's Annoyance" list under the "Annoyance" section, in uBo "Filter Lists" configuration tab. I enabled it recently only, and so far
87.
by yaantc 4y ago
Many terminals can do this, see a list based on SIXEL support: https://github.com/saitoha/libsixel#terminal-requirements This list is not complete, KDE konsole supports this too (and other formats) for example.
88.
by yaantc 4y ago
Parent is right, with some assumptions to be made explicit. Considering the reactions this deserves more explanations ;) Let's say that the heat energy of the warm thing is "E" and the outside and fridge are at same temp for
89.
by yaantc 4y ago
I don't know either if the 3D cache tile uses a different optimized process from the CPU one. But chiplets are actually first for cost optimization, and second for process optimization IMHO. The first cost optimization is to leverage t
90.
by yaantc 4y ago
Well, AMD has a few "3D V-cache" variants with an extra cache/memory die, so it's 3 chiplets types today. And these chips do not have an integrated GPU, which it would make sense to have on a separate die (what Intel ann

More ›