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" with tons…
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 statically typed in general, since anyone who…
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 compiler. So if you are interested in…
[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.…
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…
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…
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…
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…
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…
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…
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…
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 handed somewhere, that part can operate in…
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…
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…
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,…
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…
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…
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, some of the earlier steps is…
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" with tons…
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 statically typed in general, since anyone who…
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 compiler. So if you are interested in…
[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.…
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…
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…
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…
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…
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…
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…
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…
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 handed somewhere, that part can operate in…
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…
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…
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,…
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…
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…
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, some of the earlier steps is…