co_dh

6 ms·

1.
by co_dh 4mo ago
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 not functional enough. There
2.
by co_dh 11mo ago
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 varies.
3.
by co_dh 1y ago
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 has the same format in memory and on disk, s
4.
by co_dh 3y ago
At this price(360), I may want to try glove80.
5.
by co_dh 3y ago
In kdb+/q, it is only 1 character ~
6.
by co_dh 3y ago
I wake up.
7.
by co_dh 3y ago
Any language with repl can have it . Python for example
8.
by co_dh 3y ago
A single threaded OS. I remember that sometimes I launched a slow process in emacs, and then can do nothing but wait.
9.
by co_dh 3y ago
What is DDD?
10.
by co_dh 3y ago
Q/kdb, it is practical, and you can find a good pay job with it.
11.
by co_dh 3y ago
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 frequent element first
12.
by co_dh 3y ago
https://code.kx.com/q/ref/
13.
by co_dh 3y ago
In q/kdb. iPhone replaced q with a. Sorry
14.
by co_dh 3y ago
I am happily programming in a for 6 years now, and will not give it up
15.
by co_dh 4y ago
Me too
16.
by co_dh 4y ago
48 , and feel smarter than before
17.
by co_dh 4y ago
Sleep, exercise, chess
18.
by co_dh 4y ago
This is how my money get wasted.
19.
by co_dh 4y ago
I put semicolons at the beginning of line.
20.
by co_dh 4y ago
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 11AM to 12PM to 1PM! So I think more human friendly sometim
21.
by co_dh 4y ago
Is this the reason of global warming?
22.
by co_dh 4y ago
https://arxiv.org/abs/1803.05316
23.
by co_dh 5y ago
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 command has a lot of options, thus reduces the number of command
24.
by co_dh 5y ago
I think you might like Color Forth, which is another rabbit hole, but interesting.
25.
by co_dh 5y ago
github? I like the idea of using Nim to write a kernel, and is curious on what the code looks like. Especially, how do you avoid malloc?
26.
by co_dh 5y ago
I still prefer kakoune, and using sh as scripting language for it's simplicity.
27.
by co_dh 5y ago
In q/kdb, bracket for unary function application is optional, that is, f[x] is the same as f x. I found it very convenient after a while, and wish other language follows. It is very convenient to write f g h x, than f[g[h[x]]]
28.
by co_dh 6y ago
Also, the manual of macport is beautiful, as well as the port file.
29.
by co_dh 6y ago
I'm wondering if the author can put the cost of run the query, and cost of buy/rent the hardware, software in the summery page.
30.
by co_dh 6y ago
Just joking: will the version 3 called f***? I like the language btw.

More ›