Skip to content
githubgithub
ARTIFICIAL INTELLIGENCE

On Git Refs

I have recently improved my mental model of Git. Consider these two git commands:
GIT
githubgithub
POLITICS AND GLOBAL AFFAIRS

Benchmark in Milliseconds

How long should a micro benchmark run? My rule of thumb is to tweak the input size until the benchmark takes about 300ms, for the following reasons:
HUMAN
githubgithub
SOFTWARE DEVELOPMENT AND APPLICATIONS

How a Zig IDE Could Work

Zig is a very interesting language from an IDE point of view. Some aspects of it are friendly to IDEs, like a very minimal and simple-to-parse syntax (Zig can even be correctly lexed line-by-line, very cool!), the absence of syntactic macros, and ability to do a great deal of semantic analysis on a file-by-file basis, in parallel. On the other hand, comptime. I accidentally spent some time yesterday thinking about how to build an IDE for that, this post is a result.
githubgithub
BOOKS LITERATURE AND LANGUAGE

Finding Bugs

Are generative (randomized) tests significantly more effective than example-based unit-tests at discovering bugs? There's an interesting discussion about this on lobste.rs. One argument in favor of unit tests is, paraphrasing