IlGrigiore

I have used Tracy to improve the performance of a latency sensitive application. The main advantage of this tool, in comparison to something like the Visual Studio profiler, is the fact that it can highlight the inter thread dependencies and synchronization between the threads. The other main feature, in my opinion, is the statistical tab that is associated to the recorded events: it can show the statistical distribution of the duration of all the invocations of functions and it allows to identify patterns in the performance of the application. Furthermore, a table can be used to sort the invocations of the functions and quickly jump to the point in time when the sample was recorded.

Other notable tools that implement a functionality similar to what is provided by Tracy are Optick https://github.com/bombomby/optick and Intel VTune (sadly specific to only Intel processors) in the Threading analysis.

There are thermal pads that perform equally or better than thermal pastes, due to their design. In particular, something like https://thermalmanagement.honeywell.com/us/en/products/therm... can be better than a good thermal paste like https://www.thermal-grizzly.com/en/products/16-kryonaut-en. The thermal conductivity is improved due to the use of a phase shifting material. Reliability is improved due to the fact that it will naturally return to solid without cracking during heat cycling.

The trick is to use shift+right click to access the old context menu. Incidentally, shift+right click also enables to copy the full path to any file in file explorer.

CppCon, one of the major C++ conferences, has started some years ago a series of presentations, called "Back to basics", that are aimed at people that are just starting out with the language. Each presentation is thematic and can be watched independently from the others. The presentations can be found on the CppCon youtube channel:

- CppCon 2021, https://www.youtube.com/playlist?list=PLHTh1InhhwT4TJaHBVWzv...

- CppCon 2020, https://www.youtube.com/playlist?list=PLHTh1InhhwT5o3GwbFYy3...

- CppCon 2019, https://www.youtube.com/playlist?list=PLHTh1InhhwT4CTnVjJqnA...

They have shipped a new default merging strategy, 'ort', that is supposedly better than the previous default strategy at resolving this kind of issue. You should probably try and see if it makes any difference.

There are two types of subtitles: for the hearing impaired and normal subtitles. English subtitles are usually for the hearing impaired, which means that they also add information about the sounds of the scene, like the phone is ringing or the music is playing.

I like to use Mailspring [https://getmailspring.com]. It does what it needs to do, without too much fuss. The UX is clear and I can connect multiple email accounts and use the unified inbox without any issue. I am in no way affiliated to the product.

If you use the Chrome sync phrase, Google cannot access your passwords and thus they are not visible in the online password manager. Furthermore, if you delete passwords client side, i.e. from the password manager in Chrome, you are also deleting the passwords server side. This allows you to delete all passwords at the same time using the classic Ctrl-Shift-Canc.

Usually you use an ID in place of the title of the note, because you may want to change the title at a later date. If you were to change the title, then you would have to also change any of the links. Therefore, you keep the ID the same and can change the title of the note without breaking any links.

The main difference between a FSM and a statechart is the compositionality aspect of the two formalisms. The FSM can be combined using the OR and the AND operators: the AND operator produces a number of states that is equal to the cartesian product of the original states of the two FSMs that are conjuncted. This means that you are limited in the usefulness of the FSM by the number of interactions between systems, because the number of states increases exponentially.

The statechart solves this problem by using a representation that allows both OR and AND avoiding the state explosion. Multiple states can be combined in a super-state, which allows to model common properties of the enclosed states, provided that the internal substates are XOR-ed, i.e. only one of them can be active in a given time. The advantage of the super-states is that they allow the specifier of the system to proceed in a top-down manner by specifying iteratevily the complete behaviour of the system. These super-states can also conjuncted, to model the interactions between the systems and to represent their parallelism. This conjunction creates implicit interactions between the two subsystems, which substitute the need to create the product FSM.

Both FSM and statecharts can represent the same behaviour of a system, but they differ in how easily understandable their representation can be for complex systems.

You need to pay to the creator to see the video content that is published on the platform. Since I was a subscriber to the site, I can tell you that the site does host videos from LTT.

CS:GO is still played internationally and there are also professional tournaments. So I would say that it is still a relevant benchmark.

If you reason as a consumer the RTX Titan makes a lot more sense than the RTX 6000, however datacenters are forbidden by Nvidia to use consumer cards [1], therefore their choice makes sense.

[1] http://fortune.com/2018/01/07/nvidia-consumer-video-cards/

This is not true. It has C/C++/Object C support by using the language server for the language.

https://github.com/neoclide/coc.nvim/wiki/Language-servers#c...

I personally installed ccls and it works as expected.

For me it usually does what you describe. When opening the application it shows me the new release of an artist I follow if it finds one.

The first feature is actually present in Firefox. You need to go into the search preferences, click on manage search engines and there you can customize the search shortcuts you want to use. If you want you can also use the handles that invoke the open search plugins, like @google if you want to search using Google.

Clojure spec is contract programming. You write pre and post conditions to ensure at runtime that Pre -> Program -> Post and every time you call a function pre and post conditions need to be checked. Dependent types analyze that relationship at compile time by proving that given the preconditions the function will produce the desired output. Since this is a compile time check you will not have a runtime penalty.

This book does not talk about static typing, but about dependent types. Dependent types are more powerful and expressive than simple types because they convey more information. For example you could have [Int] to represent a list of numbers, but you could also have [x: Int, x > 20 && x < 50]. Or you could have an ordered array and know this fact by the type associated to the array. Moreover, you need to use a theorem prover to show that applying a function to a particular dependent type will result in the output dependent type. This kind of programming is not well suited to be implemented into typescript.

Since you do not like the term "climate deniers", what's your proposal for an appropriate and respectful term or definition to aggregate the people that believe that climate change is not happening?

But those are just cookies related to the functionality and the personalization of the search page. I guess they could have written that they do not have any tracking cookies, but I guess the intent was to be clear to the average user: "we are cookie free", therefore we do not track you.

nnoremap Q <nop>

removes the recording mode and throws a simple error when you use :Q instead of :q

I have been using the Conex extension. It opens the new tab in the same container as the currently active tab and you can enable the preference to make it so that it asks you which container you want to use before opening an external link.

https://addons.mozilla.org/en-US/firefox/addon/conex/

The point of having a direct competitor to Amazon is to limit the possible actions they could do. Right now Amazon is well behaving and its supported by the customers. However, if Amazon were to change its actions, we would have a near monopoly that is not positively affecting people. Therefore, the theory of the author is to limit the power of Amazon by entroducing a competitor that would challenge the dominant position instead of waiting for the negative outcome.