VirtualTam's bookmarks

1. The SQLite JSONB Format 2025-01-21

   tags: database/sqlite, programming/json

   [ permalink ]

   • JSON Functions And Operators
   • SQLite 3.45.0
   • SQLite 3.45: Interactive release notes
2. LEAN - Programming Language and Theorem Prover 2024-12-23

   tags: mathematics, programming-language, programming/functional-programming

   [ permalink ]

   • leanprover/lean4
   • About Lean
   • Lean FRO (Focus Research Organization)
   • The Lean FRO Year 2 Roadmap
   • Functional Programming in Lean
3. Text normalization in Go 2024-11-28

   tags: ietf/rfc, programming/go, text/ascii, text/unicode

   [ permalink ]

   Standard library:

   • unicode - Data and functions to test some properties of Unicode code points

   Extra libraries:

   • golang.org/x/text - Supplementary Go packages for text processing, many involving Unicode
   • golang.org/x/text/runes - Tansforms for UTF-8 encoded text
   • golang.org/x/text/transform - Reader and writer wrappers that transform the bytes passing through
   • golang.org/x/text/unicode/norm - Types and functions for normalizing Unicode strings
   • golang.org/x/text/unicode - Building blocks for other packages in golang.org/x/text

   Third-party libraries:

   • anyascii/go - Converts Unicode characters to their best ASCII representation

   RFCs:

   • RFC 8264 - PRECIS Framework: Preparation, Enforcement, and Comparison of Internationalized Strings in Application Protocols
   • RFC 8265 - PRECIS for Usernames and Passwords
   • RFC 8266 - PRECIS for Nicknames

   Resources:

   • Unicode - General Category Property
   • Diacritic
   • Unicode Equivalence
   • Unicode Equivalence - Normal Forms
   • When to use Unicode Normalization Forms NFC and NFD?
   • Remove diacritics using Go
4. fish shell - a smart and user-friendly command line shell for Linux, macOS, and the rest of the family 2024-11-08

   tags: command-line, programming/rust, programming/shell/fish, source-code-management/git

   [ permalink ]

   • Tutorial

   Reference:

   • abbr - manage fish abbreviations
   • argparse - parse options passed to a fish script or function
   • function - create a function
   • string - manipulate strings
   • switch - conditionally execute a block of commands

   Configuration:

   • Writing your own prompt
   • fish_add_path - add to the path
   • fish_git_prompt - output git information for use in a prompt
   • Setting up my fish shell from scratch on macOS

   Plugins:

   • jorgebucaran/fisher - A plugin manager for Fish
   • jorgebucaran/autopair.fish - Auto-complete matching pairs in the Fish command line
   • PatrickF1/fzf.fish
   • kidonng/zoxide.fish
5. Quartz - A fast, batteries-included static-site generator that transforms Markdown content into fully functional websites 2024-05-15

   tags: personal-knowledge/digital-garden, programming/node.js, programming/typescript, web/static

   [ permalink ]

   • jackyzha0/quartz
   • Obsidian Compatibility
   • Digital garden - Networked Thought
6. How to Learn Nix 2024-01-31

   tags: linux/nixos, programming/functional-programming, programming/shell

   [ permalink ]

   • Part 4: Quick starts, full hearts
   • Part 12: The Nix expression language
   • Part 22: Setting up a declarative user environment
   • Part 26: An infinite list of functions
   • Part 37: Saving your shell
7. Hashrust - A guide to closures in Rust 2023-07-22

   tags: programming/functional-programming, programming/rust

   [ permalink ]
8. Functional table-driven tests in Go 2023-04-18

   tags: programming/go, programming/testing

   [ permalink ]
9. criu: Checkpoint/Restore tool 2022-12-06

   tags: linux, linux/container

   [ permalink ]

   • https://criu.org/Main_Page

   Checkpoint/Restore In Userspace, or CRIU (pronounced kree-oo, IPA: /krɪʊ/, Russian: криу), is a Linux software. It can freeze a running container (or an individual application) and checkpoint its state to disk. The data saved can be used to restore the application and run it exactly as it was during the time of the freeze. Using this functionality, application or container live migration, snapshots, remote debugging, and many other things are now possible.

10. prettymaps: A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries. 2022-02-24

    tags: geography, openstreetmap, programming/python, visualization, visualization/matplotlib

    [ permalink ]
11. Vim: Function copy 2022-01-05

    tags: editor/vim

    [ permalink ]

    va{Vy
    

    1. Place the cursor somewhere in my method,
    2. va{ to visually select the the code block,
    3. V to turn the selection from character-wise to line-wise,
    4. y to yank
12. Guide to Tracing in Erlang - Stratus3D 2021-09-21

    tags: debugging, observability/tracing, programming/elixir, programming/erlang

    [ permalink ]

    • https://erlang.org/doc/apps/debugger/debugger_chapter.html
    • https://erlang.org/doc/man/erlang.html#trace-3
    • https://erlang.org/doc/man/erlang.html#trace_pattern-3
    • https://erlang.org/doc/man/dbg.html
    • http://stratus3d.com/blog/2021/08/11/the-meaning-of-dbg-function-names/
13. Elm at Rakuten | Rakuten Engineering Blog 2021-08-19

    tags: programming/elm, programming/functional-programming, programming/javascript, web

    [ permalink ]
14. callcatcher: find unused code by collecting methods defined but not called or referenced 2020-01-02

    tags: compiler, compiler/gcc, dynamic-analysis, programming/c, programming/c++, static-analysis/lint

    [ permalink ]

    • http://www.skynet.ie/~caolan/Packages/callcatcher.html
    • https://stackoverflow.com/questions/9091397/is-there-a-way-to-get-warned-about-unused-functions
15. hypothesis-auto - an extension for the Hypothesis project that enables fully automatic tests for type annotated functions 2019-09-24

    tags: hypothesis, programming/python, programming/testing, programming/testing/property-based-testing

    [ permalink ]

    • https://github.com/timothycrosley/hypothesis-auto/
16. Microsoft Excel as a Programming Language 2019-09-02

    tags: excel, microsoft, program, programming-language, spreadsheet, turing

    [ permalink ]

    • https://news.ycombinator.com/item?id=429505
    • https://www.quora.com/Can-MS-Excel-be-considered-a-functional-programming-language
    • http://www.felienne.com/archives/2974
    • https://news.ycombinator.com/item?id=6416631
    • https://pt.stackoverflow.com/questions/99642/o-excel-%c3%a9-uma-linguagem-de-programa%c3%a7%c3%a3o
17. GitHub - localstack/localstack: 💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline! 2019-03-09

    tags: cloud-computing, cloud-computing/aws, database, development, linux/container/docker, local, programming/api

    [ permalink ]

    • https://localstack.cloud/
    • https://github.com/mhart/dynalite
    • https://github.com/mhart/kinesalite
    • https://github.com/Level/levelup
    • https://github.com/jubos/fake-s3
    • https://github.com/minio/minio
18. Home | OpenFaaS - Serverless Functions Made Simple 2019-03-04

    tags: cloud-computing, function, hook, linux/container/docker, programming/api

    [ permalink ]

    • https://github.com/openfaas
    • https://github.com/openfaas/workshop
19. CI/CD for Lambda Functions with Jenkins – A Cloud Guru 2018-12-19

    tags: amazon, cloud-computing/aws, continuous-integration, continuous-integration/jenkins

    [ permalink ]

    • https://jenkins.io/doc/pipeline/steps/aws-lambda/
    • https://wiki.jenkins.io/display/JENKINS/AWS+Lambda+Plugin
    • https://github.com/jenkinsci/aws-lambda-plugin
    • https://docs.aws.amazon.com/lambda/latest/dg/lambda-python-how-to-create-deployment-package.html
20. Racket - solve problems · make languages 2018-10-25

    tags: programming, programming/functional-programming, programming/lisp, scheme

    [ permalink ]