co_dh
Re:If AI writes your code, why use Python?
on Tuesday May 12, 2026 @10:57AM (#48109277)
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.
Re:State of Terminal Emulators in 2025: The Errant Champions
on Tuesday November 04, 2025 @06:34AM (#45809789)
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.
Re:Protobuffers Are Wrong
on Saturday September 06, 2025 @09:41AM (#45149192)
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.
Re:ZSA Voyager: Low profile split keyboard
on Tuesday September 05, 2023 @11:25AM (#37392949)
At this price(360), I may want to try glove80.
Re:How to Check 2 SQL Tables Are the Same
on Friday July 28, 2023 @07:29PM (#36914801)
In kdb+/q, it is only 1 character ~
Re:Ask HN: If you were suddenly Financially free, what would you do next?
on Saturday May 27, 2023 @08:46AM (#36094322)
I wake up.
Re:Can Rust Beat JavaScript in 2023?
on Friday April 21, 2023 @12:15PM (#35655975)
Any language with repl can have it . Python for example
Re:916 Days of Emacs
on Friday April 14, 2023 @05:59PM (#35575344)
A single threaded OS. I remember that sometimes I launched a slow process in emacs, and then can do nothing but wait.
Re:Programming-language popularity by GitHub pull requests
on Friday April 07, 2023 @03:18PM (#35485841)
What is DDD?
Re:K: We need to talk about group
on Saturday April 01, 2023 @02:39PM (#35402819)
Q/kdb, it is practical, and you can find a good pay job with it.
Re:K: We need to talk about group
on Saturday April 01, 2023 @02:38PM (#35402809)
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
Re:K: We need to talk about group
on Saturday April 01, 2023 @02:35PM (#35402784)
Re:K: We need to talk about group
on Saturday April 01, 2023 @02:34PM (#35402768)
In q/kdb. iPhone replaced q with a. Sorry
Re:K: We need to talk about group
on Friday March 31, 2023 @05:07PM (#35393679)
I am happily programming in a for 6 years now, and will not give it up
Re:The Janet Language
on Saturday February 18, 2023 @09:36AM (#34847214)
Me too
Re:Ask HN: I'm 40 and feel my mental ability declining. Programming se...
on Tuesday January 10, 2023 @10:03AM (#34325865)
48 , and feel smarter than before
Re:Ask HN: I'm 40 and feel my mental ability declining. Programming se...
on Tuesday January 10, 2023 @10:02AM (#34325846)
Sleep, exercise, chess
Re:ArriveCan’s $54M price tag ‘outrageous,’ tech leaders say
on Friday October 07, 2022 @10:36AM (#33121942)
This is how my money get wasted.
Re:Senior engineers are living in the future
on Tuesday September 13, 2022 @01:15PM (#32827248)
I put semicolons at the beginning of line.
Re:Why do arrays start at 0?
on Wednesday August 24, 2022 @02:08PM (#32583426)
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.
Re:SEC charges Nvidia with inadequate disclosures about impact of cryp...
on Tuesday May 17, 2022 @07:31AM (#31408906)
Is this the reason of global warming?
Re:Thinking in an array language
on Saturday May 14, 2022 @04:26PM (#31381992)
Re:Are modules without imports “considered harmful”?
on Wednesday February 09, 2022 @04:53AM (#30270867)
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.
Re:Assembly Nights
on Sunday January 02, 2022 @11:19AM (#29769991)
I think you might like Color Forth, which is another rabbit hole, but interesting.
Re:Assembly Nights
on Sunday January 02, 2022 @11:17AM (#29769973)
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?
Re:Vim9 Script Feature-Complete
on Saturday January 01, 2022 @11:34AM (#29759979)
I still prefer kakoune, and using sh as scripting language for it's simplicity.
Re:Making bracket pair colorization faster
on Wednesday September 29, 2021 @05:42PM (#28700373)
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]]]
Re:Docker for Mac M1 RC
on Friday March 19, 2021 @08:08PM (#26519435)
Also, the manual of macport is beautiful, as well as the port file.
Re:1.1B Taxi Rides Using Hydrolix on AWS
on Friday February 05, 2021 @01:08PM (#26039327)
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.
Re:Verified Programming in F*: A Tutorial
on Monday January 04, 2021 @12:14PM (#25634424)
Just joking: will the version 3 called f***?
I like the language btw.