HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mau

no profile record

Submissions

Don't Train the Model, Evolve the Harness

huggingface.co
4 points·by mau·7 hari yang lalu·0 comments

MicroGPT

karpathy.github.io
2 points·by mau·5 bulan yang lalu·0 comments

Building a Storage Engine That Outperforms RocksDB

tidesdb.com
2 points·by mau·6 bulan yang lalu·0 comments

AI will make formal verification go mainstream

martin.kleppmann.com
6 points·by mau·7 bulan yang lalu·4 comments

comments

mau
·2 bulan yang lalu·discuss
the article complains about ux, not capabilities. In this case it is complaining about the defaults.
mau
·2 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·discuss
https://archive.is/2025.12.29-103247/https://m.independent.i...
mau
·9 bulan yang lalu·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.