VirtualTam's bookmarks

1. 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
2. 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
3. jackc/pgx - PostgreSQL Driver and Toolkit 2023-07-04

   tags: concurrency, database/postgresql, programming/go

   [ permalink ]

   • Getting started with pgx
   • https://donchev.is/post/working-with-postgresql-in-go-using-pgx/
   • jackc/pgx/v5/pgtype - Map between all common base types directly between Go and PostgreSQL
   • jackc/pgx/v5/pgxpool - Concurrency-safe connection pool for pgx
   • scany/v2/pgxscan - Scan data into Go structs and other composite types
   • Bulk INSERT in Postgres in GO using pgx
   • Postgres table batch updates using golang pgxpool not reflected in database
   • pgx.Conn can see uncommitted changes made from a pgx.Tx - TL;DR use pgxpool for concurrency-safe transactions
   • Not clear if caller is required to close in case of QueryRow or if QueryRow properly closes in case of error
4. My Current Pick of Rust Performance Optimization Tools 2022-12-17

   tags: performance, performance/benchmark, performance/profiling, programming/rust

   [ permalink ]

   • Rust Performance 101 in 5 Minutes
   • https://www.jibbow.com/posts/criterion-flamegraphs/
   • https://www.notamonadtutorial.com/benchmarking-and-analyzing-rust-performance-with-criterion-and-iai/
   • https://github.com/bheisler/criterion.rs
   • https://github.com/bheisler/criterion.rs/issues/97 - Compare memory usage
   • https://github.com/bheisler/iai
   • https://github.com/tikv/pprof-rs
   • https://github.com/KDE/heaptrack
5. Learn TLA+ - Temporal Logic of Actions 2022-07-04

   tags: book, formal-specification/tla+

   [ permalink ]

   • https://www.hillelwayne.com/post/learntla/
6. Read Rust - Interesting posts related to the Rust programming language 2022-04-24

   tags: programming/rust

   [ permalink ]

   • https://github.com/wezm/read-rust
7. The JSON License 2022-03-23

   tags: license, linux, programming/c, programming/json

   [ permalink ]

   The Software shall be used for Good, not Evil.

   • https://wonko.com/post/jsmin-isnt-welcome-on-google-code
   • https://wiki.debian.org/qa.debian.org/jsonevil
   • https://www.gnu.org/licenses/license-list.html#JSON
   • https://bugzilla.redhat.com/show_bug.cgi?id=455507
   • https://en.wikipedia.org/wiki/Douglas_Crockford#.22Good.2C_not_Evil.22
8. Introduction to the Zettelkasten Method 2021-10-17

   tags: graph, knowledge, programming/markdown, text

   [ permalink ]

   • https://luhmann.surge.sh/communicating-with-slip-boxes
   • https://news.ycombinator.com/item?id=24916536
   • https://forum.zettelkasten.de/discussion/comment/5918/
   • https://zettelkasten.de/posts/understanding-hierarchy-translating-folgezettel/
   • https://zettelkasten.de/posts/luhmanns-second-zettelkasten/
   • https://en.wikipedia.org/wiki/Zettelkasten
   • https://www.foleymusicandarts.com/blog/2019/3/5/how-i-use-the-archive-and-my-music-staff-to-create-engaging-lesson-notes
9. StreamData: data generation and property testing for Elixir 2021-07-22

   tags: programming/elixir, programming/test-driven-development, programming/testing/property-based-testing

   [ permalink ]

   • https://elixirforum.com/t/streamdata-data-generation-and-property-testing-for-elixir/7715
   • https://github.com/whatyouhide/stream_data
   • https://andrealeopardi.com/posts/the-guts-of-a-property-testing-library/
10. Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust 2021-05-18

    tags: programming/library, programming/rust, search-engine, text

    [ permalink ]

    • https://fulmicoton.com/posts/behold-tantivy/
    • https://fulmicoton.com/posts/behold-tantivy-part2/
    • https://fulmicoton.com/posts/tantivy-stacker/
11. StreamData: Property-based testing and data generation - The Elixir programming language 2021-01-16

    tags: programming/elixir, programming/testing

    [ permalink ]

    • https://andrealeopardi.com/posts/the-guts-of-a-property-testing-library/
    • https://github.com/whatyouhide/stream_data
    • https://elixirforum.com/t/questions-about-property-testing-stream-data/9445/47
12. Custom Elixir IEx prompt 2021-01-02

    tags: programming/elixir, programming/shell, prompt

    [ permalink ]

    Docs:

    • https://hexdocs.pm/elixir/IO.ANSI.html
    • https://hexdocs.pm/elixir/Inspect.Opts.html
    • https://hexdocs.pm/iex/IEx.html#module-the-iex-exs-file

    Posts:

    • https://stackoverflow.com/questions/37911984/how-to-colorize-elixir-iex-prompt
    • https://samuelmullen.com/articles/customizing_elixirs_iex/
    • https://medium.com/blackode/custom-iex-prompt-elixir-c95b7f5bf8c3
    • https://rocket-science.ru/hacking/2017/12/29/iex.exs-to-the-rescue
13. FTTH / Fibre sans box opérateur 2020-12-18

    tags: ethernet, fiber-optics, internet, internet-service-provider, internet-service-provider/free, internet-service-provider/orange, network

    [ permalink ]

    • https://blog.desgrange.net/post/2016/03/21/ftth-free-sans-freebox.html
    • https://blog.tristramg.eu/fibre-free-sans-freebox
    • https://lafibre.info/remplacer-freebox/remplacer-le-modem-fibre-optique-du-fai-par-un-serveur/
    • https://www.tp-link.com/fr/business-networking/accessory/mc220l/
    • https://www.tp-link.com/fr/business-networking/accessory/tl-sm321b/
    • https://fr.wikipedia.org/wiki/Connecteur_optique_LC
    • https://fr.wikipedia.org/wiki/Connecteur_optique_SC
    • https://lafibre.info/remplacer-freebox/utiliser-un-serveur-linux-a-la-place-de-la-freebox-pour-debrider-la-connexion/
    • https://forum.universfreebox.com/viewtopic.php?t=61767
    • https://freebox.toosurtoo.com/forum/viewtopic.php?p=93815
    • https://www.asuswrt-merlin.net/
    • https://smpfr.info/viewtopic.php?t=1565
14. How the tech sector could move in One Direction — Sacha Judd 2020-12-13

    tags: community, development, fiction, forum, gender, music, personal-knowledge/blog, social-media, software, web

    [ permalink ]

    via https://musicmachinery.com/2020/09/09/my-favorite-blog-post-of-all-time/

15. Go interface guards 2020-09-28

    tags: interface, programming/go, programming/object-oriented-programming

    [ permalink ]

    • https://stackoverflow.com/questions/13194272/what-does-an-underscore-and-interface-name-after-keyword-var-mean
    • https://www.reddit.com/r/golang/comments/j0b73d/what_is_var_type_type_used_for/
    • https://riyazali.net/posts/using-interfaces-in-go/#interface-guards
16. distri — a Linux distribution to research fast package management | distri 2020-01-30

    tags: distribution, linux, packaging

    [ permalink ]

    • https://michael.stapelberg.ch/posts/2019-08-17-introducing-distri/
17. Property-based testing 2020-01-06

    tags: hypothesis, programming/go, programming/haskell, programming/python, programming/test-driven-development, programming/testing, programming/testing/property-based-testing

    [ permalink ]

    • https://github.com/leanovate/gopter
    • https://itnext.io/gopter-property-based-testing-in-golang-b36728c7c6d7
    • https://hypothesis.works/articles/what-is-property-based-testing/
    • https://hypothesis.works/articles/integrated-shrinking/
    • https://hackage.haskell.org/package/QuickCheck
    • https://github.com/emil-e/rapidcheck
    • https://labs.spotify.com/2015/06/25/rapid-check/
    • https://andrealeopardi.com/posts/the-guts-of-a-property-testing-library/
18. git-toolbelt: A suite of useful Git commands that aid with scripting or every day command line usage 2019-12-30

    tags: programming/shell, script, source-code-management, source-code-management/git

    [ permalink ]

    • https://nvie.com/posts/git-power-tools/
19. Docusaurus · Easy to Maintain Open Source Documentation Websites 2019-10-09

    tags: documentation, framework/react, programming/html, programming/node.js

    [ permalink ]

    • https://github.com/facebook/docusaurus
    • https://developers.facebook.com/blog/post/2020/11/30/eli5-docusaurus-making-documentation-easy/
20. Collapse OS — Bootstrap post-collapse technology 2019-10-09

    tags: operating-system, post-apocalyptic, programming/assembly, programming/c

    [ permalink ]

    • https://collapseos.org/why.html
    • https://github.com/hsoft/collapseos