VirtualTam's bookmarks

1. IO devices and latency - The history, functionality, and performance of non-volatile storage devices

   2025-06-02
   hardware/cpu storage/cache storage/disk storage/solid-state-drive storage/tape throughput time/latency visualization/animation

   Permalink
   • The Real Failure Rate of EBS
2. The SQLite JSONB Format

   2025-01-21
   database/sqlite programming/json

   Permalink
   • JSON Functions And Operators
   • SQLite 3.45.0
   • SQLite 3.45: Interactive release notes
3. LEAN - Programming Language and Theorem Prover

   2024-12-23
   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
4. Text normalization in Go

   2024-11-28
   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
5. fish shell - a smart and user-friendly command line shell for Linux, macOS, and the rest of the family

   2024-11-08
   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
6. Quartz - A fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

   2024-05-15
   personal-knowledge/digital-garden programming/node.js programming/typescript web/static

   Permalink
   • jackyzha0/quartz
   • Obsidian Compatibility
   • Digital garden - Networked Thought
7. How to Learn Nix

   2024-01-31
   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
8. Hashrust - A guide to closures in Rust

   2023-07-22
   programming/functional-programming programming/rust

   Permalink
9. Functional table-driven tests in Go

   2023-04-18
   programming/go programming/testing

   Permalink
10. criu: Checkpoint/Restore tool

    2022-12-06
    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.

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

    2022-02-24
    geography openstreetmap programming/python visualization visualization/matplotlib

    Permalink
12. Vim: Function copy

    2022-01-05
    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
13. Guide to Tracing in Erlang - Stratus3D

    2021-09-21
    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/
14. Elm at Rakuten | Rakuten Engineering Blog

    2021-08-19
    programming/elm programming/functional-programming programming/javascript web

    Permalink
15. callcatcher: find unused code by collecting methods defined but not called or referenced

    2020-01-02
    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
16. hypothesis-auto - an extension for the Hypothesis project that enables fully automatic tests for type annotated functions

    2019-09-24
    hypothesis programming/python programming/testing programming/testing/property-based-testing

    Permalink
    • https://github.com/timothycrosley/hypothesis-auto/
17. Microsoft Excel as a Programming Language

    2019-09-02
    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
18. GitHub - localstack/localstack: 💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline!

    2019-03-09
    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
19. Home | OpenFaaS - Serverless Functions Made Simple

    2019-03-04
    cloud-computing function hook linux/container/docker programming/api

    Permalink
    • https://github.com/openfaas
    • https://github.com/openfaas/workshop
20. CI/CD for Lambda Functions with Jenkins – A Cloud Guru

    2018-12-19
    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