egorelik

4 ms·

1.
by egorelik 3mo ago
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 much better. What I don't understand is wanting to re
2.
by egorelik 3mo ago
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 alternative I'd really prefer for this
3.
by egorelik 3mo ago
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 number of functional programming languages (maybe still is)
4.
by egorelik 3mo ago
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.
5.
by egorelik 3mo ago
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 Windows setup - the hard part being to get native comp work
6.
by egorelik 4mo ago
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 generically applicable. I can make some guesses, given the emph
7.
by egorelik 5mo ago
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 company seems to be looking for either a generalist (lots
8.
by egorelik 6mo ago
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 the implicit default. Orphan rules can apply to the latt
9.
by egorelik 6mo ago
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 the audience that actually wants to push it further. I don&#x
10.
by egorelik 6mo ago
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 to be solved here, but honestly this is still quite frustra
11.
by egorelik 6mo ago
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 lines at the same dynamic. It was only years later that I found
12.
by egorelik 6mo ago
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 "lifetimes". I think Rust may be the fi
13.
by egorelik 7mo ago
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 even heard of either TeX or Emacs! It seemed like a cool piec
14.
by egorelik 7mo ago
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.
15.
by egorelik 7mo ago
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 sold in the United States to have micro SD card support (an
16.
by egorelik 7mo ago
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 very far mathematically or computationally wit
17.
by egorelik 7mo ago
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 that "not every real number is computable", you&
18.
by egorelik 7mo ago
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 there is a difference between, so to speak, what a t
19.
by egorelik 7mo ago
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 exist either, without making some strong ass
20.
by egorelik 7mo ago
I believe the author does talk about the first-order model theoretic perspective at one point, but yes, I was referring to that notion.
21.
by egorelik 7mo ago
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 are many models of the real field of that size. My
22.
by egorelik 7mo ago
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 describing, I think, is not really about functional programmer
23.
by egorelik 11mo ago
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 is a different mindset than classic OOP. Rust
24.
by egorelik 11mo ago
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 first and most straightforward decisions made when picking a lan
25.
by egorelik 1y ago
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 abstract away models and worry about them separately. T
26.
by egorelik 1y ago
Skepticism of a ZFC axiom in particular could just be in terms of its standard status. I don't think anyone debates that ZFC in a particular logic doesn't imply this or that, but people can get into philosophical questions about w
27.
by egorelik 1y ago
Location: USA Remote: Yes Willing to relocate: No Technologies: C#, Rust, Haskell, C, Functional Programming, SQL, Parquet, Git, OData, some C++, limited Python. Started playing with Datafusion. Resume/CV: Upon r