HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mau

no profile record

Submissions

Don't Train the Model, Evolve the Harness

huggingface.co
4 points·by mau·8 วันที่ผ่านมา·0 comments

MicroGPT

karpathy.github.io
2 points·by mau·5 เดือนที่ผ่านมา·0 comments

Building a Storage Engine That Outperforms RocksDB

tidesdb.com
2 points·by mau·6 เดือนที่ผ่านมา·0 comments

AI will make formal verification go mainstream

martin.kleppmann.com
6 points·by mau·7 เดือนที่ผ่านมา·4 comments

comments

mau
·2 เดือนที่ผ่านมา·discuss
the article complains about ux, not capabilities. In this case it is complaining about the defaults.
mau
·2 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
https://archive.is/2025.12.29-103247/https://m.independent.i...
mau
·9 เดือนที่ผ่านมา·discuss
> 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.