HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mau

no profile record

Submissions

Don't Train the Model, Evolve the Harness

huggingface.co
4 points·by mau·il y a 8 jours·0 comments

MicroGPT

karpathy.github.io
2 points·by mau·il y a 5 mois·0 comments

Building a Storage Engine That Outperforms RocksDB

tidesdb.com
2 points·by mau·il y a 6 mois·0 comments

AI will make formal verification go mainstream

martin.kleppmann.com
6 points·by mau·il y a 7 mois·4 comments

comments

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