HNHacker News
TopNewBestAskShowJobs

edef

13 karma · joined February 22, 2017

[ my public key: https://keybase.io/edef; my proof: https://keybase.io/edef/sigs/A6huigKLnNIEGaLur5A_Aqc5M6Ckag_niJBBkQ_b0r0 ]
submissionscomments
edef··on Propositions as Types (2014) [pdf]
> I get to take for granted that a boolean is true or false (and not some brilliant third value!)

  [True, False, undefined] :: [Bool]
edef··on revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR
The qemu TCG parts that it presumably links to are GPLv2, so the combined project is GPLv2 by necessity[1]. I think that's all they're trying to get across.

[1]: apart from viral licenses being pretty much meaningless under EU copyright law

edef··on Symbian Won
You can do this from the app switcher: long-press the "title bar", and there'll be a round "I" button that takes you to the app's settings.
edef··on Go: Ten years and climbing
> This is such an old programming language flame war trope that it was probably first written in Aramaic.

I love the quip, but

> people literally said it about assembly language. If for no other reason than to preserve your own dignity, please don't imply that people program in a particular language because they're not good enough to program in other languages.

This is an inversion of the sentiment being expressed: the suggestion is to use languages that allow you to shift more cognitive overhead to the compiler and tooling. If anything, I program in Rust when I fear that the keeping track of all the little bits Go doesn't help me with will take up too much of my puny human brain.