Viewing profile — tennix

I've been a long tmux user, but I've migrated to Kitty only setup. To make my muscle memory feel at home, I configured Kitty with nearly the same keybindings as tmux. Here is my se…

> This is particularly problematic for hosted Kubernetes services like Google Kubernetes Engine (GKE), which often limit the CPU and memory available to the API server. These servi…

You can debug such containers by running another debugging container to join their corresponding namespaces. For example the most frequently used namespaces are pid and network, wi…

If you're familiar with ansible, it'll be quite easy to setup a k8s cluster on bare metal with kubespray. What's more is that it deploys production ready cluster with HA support

https://github.com/pingcap/tikv stores consensus state in RocksDB. > With the implementation of the Raft consensus algorithm in Rust and consensus state stored in RocksDB, it guara…

Yeah, you're right. But almost all of the community uses indentation which defined as layout in Haskell2010 Language Report instead of semicolons and curly braces

Agreed on dependent type, and I also love ML syntax more than haskell(yes I don't like indentation sensitive language). BTW I suggest you give FStar a try, it has dependent type an…

I believe emoji is designed to be expressive, if we need to look it up in a emoji dictionary ,then emoji goes wrong. The fact is that everybody wants to add their favourite emoji, …

Here are the source code for the new website, and it is written in guile itself http://git.savannah.gnu.org/cgit/guile/guile-web.git

I have wrote a playpen-mode for emacs last week with which we can play rust without installing rust and without opening rust playpen in your browser. https://github.com/tennix/play…