{ pkgs
, ...
}: {
users.users.iosmanthus = {
interest = [
"Cat"
"Database"
"Distributed System"
"NixOS"
"Rust"
];
careers = [{
name = "PingCAP";
url = "https://www.pingcap.com";
}];
contact = {
email = "[email protected]";
twitter = "@iosmanthus1998";
};
tools = {
editor = pkgs.vscode;
shell = pkgs.zsh;
terminal = pkgs.kitty;
browser = pkgs.firefox;
font = pkgs.meslo-lg;
email = pkgs.thunderbird;
};
tags = [ "hen-pecked" "cat lover" ];
};
}
iosmanthus
Follow
Writing the safest code that can't be compiled
BC49 6167 681E 738E 5981 4A28 DEE5 BAAB FE09 2169
- Canton
-
17:48
(UTC +08:00)
Pinned Loading
-
pingcap/tidb
pingcap/tidb PublicTiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.