VirtualTam's bookmarks

21. ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation. 2018-12-13

    tags: nasa, programming/c, programming/c++, static-analysis, static-analysis/lint

    [ permalink ]

    • https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
    • https://www.reddit.com/r/C_Programming/comments/a5a5nc/ikos_21_an_open_source_static_analyzer_for_c_and_c/
22. unix - Why should text files end with a newline? - Stack Overflow 2018-12-07

    tags: compiler/gcc, editor/vim, file, linux, posix, static-analysis/lint, text, unix

    [ permalink ]

    • http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206
    • https://gcc.gnu.org/ml/gcc/2003-11/msg01568.html
    • https://unix.stackexchange.com/questions/18743/whats-the-point-in-adding-a-new-line-to-the-end-of-a-file
    • https://slashdot.org/comments.pl?sid=165492&cid=13808398
23. PHP Code Quality Tools to Check and Improve your Code · Web technologies 2018-12-05

    tags: programming/php, static-analysis, static-analysis/lint, web

    [ permalink ]
24. Essential PhpStorm plugins - Andreas Möller 2018-11-27

    tags: development, editor, ide, programming/php, static-analysis/lint

    [ permalink ]

    • https://blog.martinhujer.cz/best-phpstorm-plugins-for-symfony-development/
25. ansible-lint: Best practices checker for Ansible 2018-10-18

    tags: configuration-management/ansible, programming/python, programming/yaml, static-analysis/lint

    [ permalink ]

    • https://github.com/ansible/galaxy-lint-rules
26. Ansible Silo | Engineering | Groupon 2018-10-04

    tags: configuration-management/ansible, linux/container/docker, programming/testing, static-analysis/lint

    [ permalink ]

    • https://github.com/groupon/ansible-silo
27. Building Docker Images for Static Go Binaries – Kelsey Hightower – Medium 2018-08-18

    tags: linux, linux/container/docker, network/transport-layer-security, programming/go

    [ permalink ]
28. OpenVPN Community Software 2018-05-24

    tags: cryptography/public-key-infrastructure, cryptography/rsa, linux, network, network/transport-layer-security, network/vpn, security

    [ permalink ]

    • https://openvpn.net/index.php/open-source/documentation/miscellaneous/78-static-key-mini-howto.html
    • https://openvpn.net/index.php/open-source/documentation/howto.html
    • https://openvpn.net/index.php/open-source/documentation/miscellaneous/76-ethernet-bridging.html
    • https://wiki.archlinux.org/index.php/OpenVPN
    • https://wiki.archlinux.org/index.php/Easy-RSA
    • https://wiki.debian.org/OpenVPN
29. Gamasutra - In-Depth: Static Code Analysis 2018-05-15

    tags: development, game, static, static-analysis/lint

    [ permalink ]

    • https://dzone.com/articles/static-analysis-in-video-game-development-top-10-s-1
30. proselint: A linter for prose. 2018-05-07

    tags: english, literature, programming/python, static-analysis/lint, text

    [ permalink ]
31. black: The uncompromising Python code formatter 2018-04-24

    tags: code, format, pep8, programming/python, static-analysis/lint

    [ permalink ]

    • https://black.readthedocs.io/en/latest/
    • https://www.reddit.com/r/Python/comments/8lmnzr/thoughts_on_black/
32. Improve Your Code with Lint | Android Studio 2018-04-23

    tags: mobile/android, programming/java, static-analysis/lint

    [ permalink ]

    • https://developer.android.com/studio/write/lint.html#manuallyRunInspections
    • https://developer.android.com/studio/write/lint.html#commandline
    • http://www.androiddocs.com/tools/help/lint.html
33. Code quality tools in PHP to check and improve your Code · Web technologies 2018-03-26

    tags: analysis, code, continuous-integration, programming/php, programming/testing, quality, static, static-analysis/lint

    [ permalink ]
34. Any advantages of Flake8 over PyLint? : Python 2018-03-08

    tags: pep8, programming/python, programming/python/pylint, static-analysis/lint

    [ permalink ]
35. Django documentation & frequently used resources 2018-02-11

    tags: cheat, database, framework/django, programming/python, web

    [ permalink ]

    Administration

    • https://docs.djangoproject.com/en/2.0/ref/contrib/admin/
    • https://docs.djangoproject.com/en/2.0/ref/contrib/admin/admindocs/

    Models and Querysets

    • https://docs.djangoproject.com/en/2.0/topics/db/models/
    • https://docs.djangoproject.com/en/2.0/ref/models/instances/
    • https://docs.djangoproject.com/en/2.0/ref/models/fields/
    • https://docs.djangoproject.com/en/2.0/topics/db/aggregation/

    Static files

    • https://docs.djangoproject.com/en/2.0/howto/static-files/

    User management

    • https://docs.djangoproject.com/en/2.0/topics/auth/default/
    • https://docs.djangoproject.com/en/2.0/topics/auth/customizing/
    • https://docs.djangoproject.com/en/2.0/ref/contrib/auth/
    • https://docs.djangoproject.com/en/2.0/ref/settings/#login-redirect-url

    URL dispatcher

    • https://docs.djangoproject.com/en/2.0/topics/http/urls/
36. Netlify CMS | Open-Source Content Management System 2018-01-29

    tags: content, documentation, personal-knowledge/blog, programming/html, source-code-management/git, static, web

    [ permalink ]

    • https://github.com/netlify/netlify-cms
    • https://www.netlify.com/blog/2017/08/17/a-complete-cms-with-no-server-and-18-lines-of-code/
    • https://fosdem.org/2018/schedule/event/finding_a_home_for_docs/
37. GitHub - colis-anr/morbig: A trustworthy parser for POSIX shell 2018-01-29

    tags: grammar, linux, parser, programming/shell, static-analysis/lint, unix

    [ permalink ]

    • http://gallium.inria.fr/~fpottier/menhir/
    • https://www.irif.fr/en/logiciels/index
    • https://fosdem.org/2018/schedule/event/code_parsing_posix_s_hell/
38. PHP - Static analysis tools 2017-10-11

    tags: analysis, programming/php, static, static-analysis/lint

    [ permalink ]

    • https://github.com/phpstan/phpstan
    • https://github.com/ovr/phpsa
    • http://www.phpmetrics.org/
    • https://stackoverflow.com/questions/4156157/tool-for-php-code-analysis
    • https://stackoverflow.com/questions/378959/is-there-a-static-code-analyzer-like-lint-for-php-files
    • https://stackoverflow.com/questions/982333/how-useful-is-php-codesniffer-code-standards-enforcement-in-general
    • http://phpcallgraph.sourceforge.net/
    • https://github.com/scrutinizer-ci/php-analyzer
39. w0rp/ale: Vim Asynchronous Lint Engine 2017-10-06

    tags: analysis, code, editor/vim, static, static-analysis/lint

    [ permalink ]

    • https://www.reddit.com/r/neovim/comments/5ejlsr/ale_asynchronous_lint_engine/
    • https://dmerej.info/blog/post/lets-have-a-pint-of-vim-ale/
40. machine learning - What does the hidden layer in a neural network compute? - Cross Validated 2017-08-20

    tags: hidden, layer, machine-learning, neural-network, synapse

    [ permalink ]

    • https://static.googleusercontent.com/media/research.google.com/en//archive/unsupervised_icml2012.pdf
    • https://www.cs.cmu.edu/~dst/pubs/byte-hiddenlayer-1989.pdf