Viewing profile — egorelik

I think there is a crowd, maybe less common than the others, that just want less warts. I can understand that, though I'm not sure the usual dialects that get thrown around are muc…

To each their own, but I don't really understand the sheer hatred elisp puts in some people. As far as scripting languages go, it's pretty good. I haven't seen a scripting language…

I did - I first came to emacs during my lisp phase. I didn't stay with lisp, but I did stay with functional programming, and in those days emacs was the best environment for a numb…

This is how I justify not switching back to vanilla, despite not really being an evil user. Doom's module system is really great for organizing a config.

I've used AI for a number of Emacs-related utilities and configs. Just today I created a script to reproduce the particular combination of MSYS2 packages I use for my newer on Wind…

A common thread I see in this, and other articles of its kind, is that rarely do they come out and say what kind of project they are working on, leaving the headline to sound gener…

Nearly 10 years of experience at Microsoft, I've been looking for a remote position for almost a year. Even just finding appropriate openings has been next to impossible. Every com…

Similar but not exactly the same as named impls, I'd really like to see a language handle this by separating implementing a trait from making a particular existing implementation t…

Rust opened the door to innovation in the low-level languages space, but as long as it is already the most theoretically advanced practical language there, it will always attract t…

As an idea, what about allowing the 24 hours to be bypassed using adb (edit: bypass to allow indefinitely, not just install a single app)? I understand there is some problem trying…

Back when I still thought all headphones were basically the same, I was writing some music and I could not understand why the cello lines sounded so much louder than the violin lin…

I don't remember where I read it, but I think Rust cited Cyclone as an influence, a variation of C with "region-based" memory management - more or less the literature name for "lif…

Early on in my computing life, I discovered TeXmacs as a user interface for a Computer Algebra System I had been playing with called Axiom. Ironically, this was before I had ever e…

I tried that too - it works great for large files, but still chokes on large numbers of files. Which, when I'm transferring photos, is usually the case.

I too find the phone market, especially in the United States, has outright abandoned users like me. About a year ago I rushed to buy what seems to have been the last flagship model…

N pretty much is "arbitrary-length information theory". As soon as you leave the realm of the finite, you end up with N. I'm not convinced that any alien civilization could get ver…

I'd agree with that for practical purposes, but sometimes the external perspective can be enlightening philosophically. In this case, to actually prove the statement internally tha…

I am talking about constructivism, but that's not entirely the same as saying the reals are not uncountable. One of the harder things to grasp one's head around in logic is that th…

The idea is we can't actually prove a non-computable real number exists without purposefully having axioms that allow for deriving non-computable things. (We can't prove they don't…

I believe the author does talk about the first-order model theoretic perspective at one point, but yes, I was referring to that notion.

The author mentioned that the theory of the complex field is categorical, but I didn't see them directly mention that the theory of the real field isn't - for every cardinal there …

I went into this expecting it to be a criticism in the context of low-level systems, and was a bit surprised when it ended up being about distributed. The mismatch the author is de…

As far as I'm aware, Rust's trait system is more closely related to Haskell's type class system than to actual object-oriented programming. As a type class system, it is fine; it i…

The only conclusion I can draw from this is that some engineers are not great at arguing the merits and challenges of a programming language. GC vs non-GC should be one of the firs…

Sometimes, and for some people, the right language can actually simplify problems and hide complexity that isn't immediately necessary to the problem at hand. The whole idea is to …