An order is a relation R that satisfies transitivity. i.e., such that if aRb and bRc, then aRc. A strict partial order is a relation < on S that satisfies […]
Did you like this?Tip admin with Cryptocurrency Bitcoin Ethereum Donate Bitcoin to admin Scan the QR code or copy the address below into your wallet to send some bitcoin: Donate […]
If you create a Qt console application in Qt creator, and debug it in Qt Creator, you’ll find no cmd window is displayed. You check the .pro file and find […]
I wrote a simple firefox extension: only one content script which has only one line of code: console.log(“hello world”); I was confident it was all right. Then, I typed “about:debugging” […]
A formula is valid iff it is true for all models and all variable assignments. Or, a formula is valid iff it is true in all structures(structure=model, which is a […]
The return value of ReadFile is of BOOL type, which means the return value only indicates whether the function succeeds or fails. If the function fails, the return value does […]
The prototype of RegSetValueExA is: LSTATUS RegSetValueExA(HKEY hKey,LPCSTR lpValueName,DWORD Reserved,DWORD dwType,const BYTE *lpData,DWORD cbData); lpData points to the data to be stored in registry. cbData is the number of first […]
Today, we’ll talk about the “simplest” class of Qt, a class we use every day, a class we often do need to care about the details – QString. Despite the […]
If you build a dll using Mingw g++ like: g++ -shared -o myprogrammingnotes.dll myprogrammingnotes.cpp If __declspec(dllexport) is not present in the source file, all functions except the entry point function(DllMain) […]
This is what it looks like when writing an int 0x123456 to a file viewed in hex view of notepad++. At the first glance, you cannot match it with the […]