HN user

alfu

72 karma
Posts0
Comments29
View on HN
No posts found.
GnuCash 4 years ago

I create most of my transactions with a script reading my bank and card statements. The description in the statements are usually good enough to map them to the correct account. I also added snippets to my editor for adding entries (I use a text-based accounting system).

The files in question are, from a formal verification standpoint, the interface to CompCert. They are licensed under the non-commercial license (NCL) so that they can be used together with the rest of CompCert (the implementation of the compiler, so to speak), which is NCL-only.

Additionally, the interface files in question are also licensed under the GPL so that they can be used in other, open-source projects such as VST (http://vst.cs.princeton.edu/) that connect with CompCert.

at https://github.com/AbsInt/CompCert/issues/140 (2016); GPL -> LGPL in a later commit.

Insurance companies (same as betting companies) always need to bill you more than the chance you get your big payoff.

In theory, couldn't they charge less if the ROI of the premiums was large enough?

A killer feature for me is opening the history & download list in a tab instead of a window. This way I don't have to alt+tab twice to switch to the next application. Opening the history in the same tab (ctrl+h) isn't good enough because I usually need the time of visit and there is no shortcut to open the download list in the same window.

Perhaps this is just muscle memory and I would think oppositely if I never switched to chrome.