Recent submissions

Comment · 5 months 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 aren’t many things Claude can prove about a table viewer, and Haskell fits very well, and have enough libraries. Claude is pretty good at Haskell. I barely write Haskell before but I do know monad.

Comment · 1 year 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.
Comment · 1 year 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, so there is no serialization, and even better, you can mmap files into memory, so you don't need cache!

He also removed the capability to define a structure, and force you to use dictionary(structure) of array, instead of array of structure.

Comment · 3 years ago
At this price(360), I may want to try glove80.
Comment · 3 years ago
In kdb+/q, it is only 1 character ~
Comment · 3 years ago
I wake up.
Comment · 3 years ago
Any language with repl can have it . Python for example
Comment · 3 years ago
A single threaded OS. I remember that sometimes I launched a slow process in emacs, and then can do nothing but wait.
Comment · 3 years ago
What is DDD?
Comment · 3 years ago
Q/kdb, it is practical, and you can find a good pay job with it.
Comment · 3 years 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
Comment · 3 years ago
Comment · 3 years ago
In q/kdb. iPhone replaced q with a. Sorry
Comment · 3 years ago
I am happily programming in a for 6 years now, and will not give it up
Comment · 3 years ago
Me too

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton