Hacker News Reader

co_dhon If AI writes your code, why use Python?

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.

co_dhon State of Terminal Emulators in 2025: The Errant Champions

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.

co_dhon Protobuffers Are Wrong (2018)

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.

co_dhon ZSA Voyager: Low profile split keyboard

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

co_dhon How to check if two SQL tables are the same

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

co_dhon Ask HN: If you were suddenly Financially free, what would you do next?

I wake up.

co_dhon Can Rust Beat JavaScript in 2023?

Any language with repl can have it . Python for example

co_dhon 916 Days of Emacs

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

co_dhon Programming-language popularity by GitHub pull requests

What is DDD?

co_dhon K: We need to talk about group

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

co_dhon K: We need to talk about group

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

co_dhon K: We need to talk about group

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

co_dhon K: We need to talk about group

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

co_dhon K: We need to talk about group

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

co_dhon The Janet Language

Me too

co_dhon Ask HN: I'm 40 and feel my mental ability declining. Programming seems harder.

48 , and feel smarter than before

co_dhon Ask HN: I'm 40 and feel my mental ability declining. Programming seems harder.

Sleep, exercise, chess

co_dhon ArriveCan’s $54M price tag ‘outrageous,’ tech leaders say

This is how my money get wasted.

co_dhon Senior engineers are living in the future

I put semicolons at the beginning of line.

co_dhon Why do arrays start at 0?

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 sometimes means more confusing.

co_dhon SEC charges Nvidia with inadequate disclosures about impact of cryptomining

Is this the reason of global warming?

co_dhon Thinking in an array language

https://arxiv.org/abs/1803.05316

co_dhon Are modules without imports “considered harmful”?

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 commands.

co_dhon Assembly Nights

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

co_dhon Assembly Nights

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?

co_dhon Vim9 Script Feature-Complete

I still prefer kakoune, and using sh as scripting language for it's simplicity.

co_dhon Making bracket pair colorization faster

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]]]

co_dhon Docker for Mac M1 RC

Also, the manual of macport is beautiful, as well as the port file.

co_dhon 1.1B Taxi Rides Using Hydrolix on AWS

    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.

co_dhon Verified Programming in F*: A Tutorial

    Just joking: will the version 3 called f***?
    I like the language btw.