HackerTrans
トップ新着トレンドコメント過去質問紹介求人

mau

no profile record

投稿

Don't Train the Model, Evolve the Harness

huggingface.co
4 ポイント·投稿者 mau·7 日前·0 コメント

MicroGPT

karpathy.github.io
2 ポイント·投稿者 mau·5 か月前·0 コメント

Building a Storage Engine That Outperforms RocksDB

tidesdb.com
2 ポイント·投稿者 mau·6 か月前·0 コメント

AI will make formal verification go mainstream

martin.kleppmann.com
6 ポイント·投稿者 mau·7 か月前·4 コメント

コメント

mau
·2 か月前·議論
the article complains about ux, not capabilities. In this case it is complaining about the defaults.
mau
·2 か月前·議論
I think humans are still accountable for the code generated by agents.

You are free to switch language but you still need to understand it.
mau
·6 か月前·議論
German-style strings is a way to store array of strings for columnar dbs. The idea is to have an array of metadata. Metadata has a fixed size (16 bytes) The metadata includes the string length and either a pair of pointer + string prefix or the full string for short strings. For some operations the string prefix is enough in many cases avoiding the indirection.

This is different from Pascal strings.
mau
·6 か月前·議論
https://archive.is/2025.12.29-103247/https://m.independent.i...
mau
·9 か月前·議論
> Your coworkers and QA will thank you for learning LINQ and ditching the imperative methods that plague your Python brain.

This is a very unfortunate joke: Python has list (and generator) comprehension expression for a long time (2.3?) which are similar to LINQ. At some point in the history many languages stole useful expressions from other paradigms.

Let’s joke on BASIC, it always works.