jlouis

6 ms·

1.
by jlouis 3mo ago
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 find your text editor "upgraded"
2.
by jlouis 3mo ago
You boot Emacs once as a server. Then you connect through that server through emacsclient. It is your OS after all.
3.
by jlouis 3mo ago
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 statically typed in general, since anyone who holds a process id can
4.
by jlouis 8mo ago
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.
5.
by jlouis 8mo ago
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 compiler. So if you are interested in pro
6.
by jlouis 8mo ago
[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 it merges the core and module system. Th
7.
by jlouis 9mo ago
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 tangible result for people. If that tangible resu
8.
by jlouis 9mo ago
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 expressive module system. The reason is that you want t
9.
by jlouis 10mo ago
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 aren't parsing problems. Once you have something
10.
by jlouis 10mo ago
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-manipulation handling fits well into the standard tools. O
11.
by jlouis 10mo ago
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 display standard. If you have an HDR image, it's relat
12.
by jlouis 10mo ago
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 workflows. AVIF simply cannot. There's a lot of power
13.
by jlouis 10mo ago
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. The client sends a reference which executes a speci
14.
by jlouis 10mo ago
Very nice in video workflows, where it's common to write out image sequences to disk.
15.
by jlouis 10mo ago
No. It's a way to transmit a program from client to server. It then executes that program on the server side.
16.
by jlouis 10mo ago
It's really a selector or a filter. It's power comes from combining it with other tools.
17.
by jlouis 10mo ago
Talent eventually get paid their value. Doesn't matter where they live. If you have a brain, you rank up. Quickly.
18.
by jlouis 10mo ago
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 handed somewhere, that part can operate in isolation. And modern
19.
by jlouis 10mo ago
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 for instance. What makes this hard to i
20.
by jlouis 10mo ago
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 embarrassingly parallel by definition. The throughput lo
21.
by jlouis 10mo ago
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 code is written by OCaml developers, because there&#
22.
by jlouis 10mo ago
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 from scratch. Most programs out there doesn't really fi
23.
by jlouis 10mo ago
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 legislation requesting the construction of a CA to avoid centrali
24.
by jlouis 11mo ago
It's my favorite line of the whole thing. There's so much which can be derived from that single statement.
25.
by jlouis 11mo ago
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, some of the earlier steps is preparation for the entropy-en
26.
by jlouis 1y ago
I'd say the major switch happened at the point where you lost control over your feed. It's not populated because you opted in to updates from a specific person or organization. It's populated by algorithm. Furthermore, at no
27.
by jlouis 1y ago
Facebook is one major bait and switch strategy. In the first step, you get everyone to invest into your platform. You provide some valuable services to people, and they sign an implicit contract as a result. In the second step, you reap wha
28.
by jlouis 1y ago
It's not going to be missing the next time around. Usually the file is missing due to some concurrency-problem where the file only gets to exist a little later. A process restart certainly fixes this. If the problem persists, a larger
29.
by jlouis 1y ago
It's also that whenever an hour is poured into Haskell, Scheme, or OCaml, there's hundreds of hours poured into Javascript, Python, C, Java, ... Eventually that lets you optimize things more at the compiler level because you have
30.
by jlouis 1y ago
The definition has to do with certain classes of spatial and temporal memory errors. Ie., the ability to access memory outside the bounds of an array would be an example of a spatial memory error. Use-after-free would be an example of a tem

More ›