Notes to share

I am on

Content

Notes
Posts
Talks
Projects
Lifehacks
Nitpicks

Notes

by keywords

code

Lock data structure or lock the code? 2022-03-08

conf

Configure VIM 2024-08-08

doc

It Happens That … 2023-06-03
I write README 2022-10-21
Merging Policy 2020-05-12

docker

pytest-postgresql in nix in docker 2025-01-29

git

Basic Git Commands (Not Git Basics) 2020-10-02
Merging Policy 2020-05-12

html

redirect-to.sh 2025-03-21

learn

Rubic’s cube algorithms 2025-03-03
I do not teach, you learn 2023-01-02

nix

Disable Python package check in Nix 2025-04-02
pytest-postgresql in nix in docker 2025-01-29

postgresql

pytest-postgresql in nix in docker 2025-01-29

pytest

pytest-postgresql in nix in docker 2025-01-29

python

Disable Python package check in Nix 2025-04-02

shell

redirect-to.sh 2025-03-21
Wayland screen: record, rotate, crop 2024-12-27

teach

Parallel or Concurrent 2024-07-27
I do not teach, you learn 2023-01-02
Lock data structure or lock the code? 2022-03-08

by date

Disable Python package check in Nix 2025-04-02
redirect-to.sh 2025-03-21
Rubic’s cube algorithms 2025-03-03
pytest-postgresql in nix in docker 2025-01-29
Wayland screen: record, rotate, crop 2024-12-27
Configure VIM 2024-08-08
Parallel or Concurrent 2024-07-27
It Happens That … 2023-06-03
I do not teach, you learn 2023-01-02
I write README 2022-10-21
Lock data structure or lock the code? 2022-03-08
Basic Git Commands (Not Git Basics) 2020-10-02
Merging Policy 2020-05-12

Posts

by keywords

docker

Docker image with Nix and Guix 2025-04-15

git

Rebase is base 2023-07-04

guix

Docker image with Nix and Guix 2025-04-15

nix

Docker image with Nix and Guix 2025-04-15
How we use Nix with Flakes ❄❄❄❄ 2025-02-25
You can write nicer nix code 2025-02-21
Warning! Nix language! 2025-02-05

by date

Docker image with Nix and Guix 2025-04-15
How we use Nix with Flakes ❄❄❄❄ 2025-02-25
You can write nicer nix code 2025-02-21
Warning! Nix language! 2025-02-05
Rebase is base 2023-07-04

Talks

Neprogramátor 2024-11-02
Rebase is base 2024-11-01
Serverová část the damn project 2021-04-15

Projects

Lifehacks

Bedding PDF PNG
Coffee counter PDF PNG
Socks PDF PNG

Nitpicks

lg
- Aliases for Git in Bash (agb)
- List and show Git commits (lg)
pdflatex zine template
HTML gamebook generator
process arXiv subscriptions
pdflatex arXiv template
title page for IID group
- can be combined with pdflatex arxiv template
Unofficial design documents for HOT Tasking Manager
this website