Viewing profile — jlouis

If you do any kind of serious work, you need a text editor. Emacs is still one of the best around. It's fast. It's configurable. And it's under your control. You won't suddenly fin…

You boot Emacs once as a server. Then you connect through that server through emacsclient. It is your OS after all.

Statically typing the underlying message passing model used in Erlang is pretty hard, because the mailbox of a process can accept any type of message. And so, it cannot be statical…

The statement is something you provide. It's the search you can have the LLM do. If this works for math it will immediately make code way higher quality via the same tools.

It's not that they can't. It's that it's a waste of time in most cases. Compilers are moving targets because hardware changes. There's a considerable maintenance upkeep in a compil…

[Here, ML means "Meta Language", not "Machine Learning". ML is used as an important building block inside some theorem provers and proof assistants] The key thing with 1ML is that …

LLMs has had a couple of years by now to show their usefulness, and while hype can drive it for a while, it's now getting to the point where hype alone can't. It needs to provide a…

I think you should use a language with a highly expressive type system. That can be assembly too. See TAL back from the 1990'es. I also think you should use a language with a very …

It's usually easy enough for Go you can just roll your own for the problems at hand. It won't be as elegant as having access to a combinator-parser, but all of the AoC problems are…

Go is strong. You get something where writing a solution doesn't take too much time, you get a type system, you can brute-force problems, and the usual mind-numbing boring data-man…

In a modern image chain, capture is more often than not HDR. These images are then graded for HDR or SDR. I.e., sacrifices are made on the image data such that it is suitable for a…

This is welcome. AVIF is trying to be a distribution format for the Web. JPEG XL is trying to be a complete package for working with image data. JPEG XL can replace OpenEXR in many…

It's not. The fragments you can execute are limited if you do it right. A client isn't allowed to just execute anything it wants, because the valid operations are pre-determined. T…

Very nice in video workflows, where it's common to write out image sequences to disk.

No. It's a way to transmit a program from client to server. It then executes that program on the server side.

It's really a selector or a filter. It's power comes from combining it with other tools.

Talent eventually get paid their value. Doesn't matter where they live. If you have a brain, you rank up. Quickly.

Not a priori. The grand design of BEAM is that you are copying data rather than passing it by reference. A copy operation severs a data dependency by design. Once the copy is hande…

I don't think it's a spectrum. Languages have features/constructs. It's better to look at what those are. And far more importantly: how they interact. Take something like subtyping…

It's not isolation which hampers throughput. That's a red herring. In fact, isolation increases throughput, because it reduces synchronization. A group of isolated tasks are embarr…

You can be functional "in spirit" more than purely functional. OCaml and Standard ML falls into this category. Ocaml has loops for instance. You might just not see many loops if co…

Rocq is an excellent example of something OCaml was designed for. FFTW3 is another great example. Unison too. Generally, you want stuff where you have to build a fairly large core …

Given the track record of digitalization in Denmark, you can be rest assured this will be implemented in the worst possible way. This is Denmark. The country who reads the EU legis…

It's my favorite line of the whole thing. There's so much which can be derived from that single statement.

In addition to the other comments: you can have an internal memory representation of data be Float32, but on disk, this is encoded through some form of entropy encoding. Typically,…