Viewing profile — co_dh

I used Claude that created a terminal based table viewer from rust first, to lean , and finally to Haskell. https://github.com/co-dh/tv-hask/tree/main I give up rust because it’s n…

I have to warning everyone: Windows terminal with true color , possibly with tmux, is very slow. There is a half second delay from key press to response. I am in a vdi. Your miles …

But why do you need serialization? Because the data structure on disk is not the same as in memory. Arthur Whitney's k/q/kdb+ solved this problem by making them the same. An array …

At this price(360), I may want to try glove80.

In kdb+/q, it is only 1 character ~

I wake up.

Any language with repl can have it . Python for example

A single threaded OS. I remember that sometimes I launched a slow process in emacs, and then can do nothing but wait.

What is DDD?

Q/kdb, it is practical, and you can find a good pay job with it.

Group is actually like inverse a mapping. Given an array A which map index to value, group A map value to index. A common idiom is: desc count each group A , which list most freque…

https://code.kx.com/q/ref/

In q/kdb. iPhone replaced q with a. Sorry

I am happily programming in a for 6 years now, and will not give it up

Me too

48 , and feel smarter than before

Sleep, exercise, chess

This is how my money get wasted.

I put semicolons at the beginning of line.

Human makes a lot of inconsistent thing: We usually think the 1st floor, and the basement as 1st underground floor ( -1), but the floor jumps from 1 to -1! Also, the time jump from…

Is this the reason of global warming?

https://arxiv.org/abs/1803.05316

The unix command is a module system without import, and is very convenient. It is only possible when 1) you have very simple data structure. line of text in this case. 2) each comm…

I think you might like Color Forth, which is another rabbit hole, but interesting.