rkangel

11 ms·

181.
by rkangel 2y ago
Erlang and Elixir have long had "dialyzer" as a type checker. The problem is that it had some severe limitations in approach (and implementation) and so the cost/benefit ratio wasn't great. This article really speaks to
182.
by rkangel 2y ago
Huh, I hadn't even noticed that the content graph was in the corner of every Obsidian docs page. That's a bit pointless.
183.
by rkangel 2y ago
I think the original idea was that they were using one of the (now retired) metal masters (the moulds for the LP). It makes sense - "you've sold so many records that our master has worn out, so have the old one as an award".
184.
by rkangel 2y ago
The absolute funniest moment of my entire life happened to me in Germany. I was on a theatre tour (as Technical Director), the show had ended, it was late and night and everyone was tired after a long day and packing everything away. The Ge
185.
by rkangel 2y ago
I haven't used Swift UI, but I have used Elm, React (a bit), and Flutter (a fair amount). My understanding is that it's a similar model. In those frameworks (particularly Flutter, which generally has less ceremony), I have found s
186.
by rkangel 2y ago
For the projects I've done, we're not usually particularly space constrained, but we are usually at least one of: * Cost constrained so RAM constrained * Need fast boot times * For a niche processor architecture Starting with very
187.
by rkangel 2y ago
This is true, and it makes the people who do actually know the language in depth extra valuable.
188.
by rkangel 2y ago
It does, but you have to have some custom CSS to turn off the normal horizontal tabs, and you have to go and enable some options in about:config to even have custom CSS. I've got something that works reasonably well, but it's real
189.
by rkangel 2y ago
> The best thing about HN is that comments feel pretty temporary I have a google chrome extension that lights up when there are HN comments for the page I'm on. If I organically discover a blog post and that lights up, then I will o
190.
by rkangel 2y ago
While we're talking about this sort of architecture, I'd like to plug Elixir. For some development hardware, we had Elixir running on the ARM of a Zynq Ultrascale, running in tandem with some digital logic. It required one C code
191.
by rkangel 2y ago
> Embedded projects are never about doing things as fast as computers: we have full scale computers (and routers, and firewalls, and switches) for that. That's a bit of an overly broad statement. I have several times at work done pr
192.
by rkangel 2y ago
TBH, I mostly find this to be a (very valid) story about why Ubuntu is problematic. Most of my team around me uses Ubuntu and periodically has to wrestle with some issue, and have to wipe and reinstall every year or so. This Fedora installa
193.
by rkangel 2y ago
I think there's too much focus on going whole-hog with NixOS, and not enough on just using Nix with home-manager on top of your existing distro. As the sibling comment describes, Nix can get a bit gnarly once you're off the beaten
194.
by rkangel 2y ago
Interesting. I have long found Reddit to be the an excellent source of solutions to problems. Stack Overflow usually beats it for programming specific stuff, but for everything else usually the most helpful answer comes from Reddit. It&#x27
195.
by rkangel 2y ago
The generally accepted (but not well tested) legal position is that it's ok to have a proprietary kernel module that is dynamically loaded. You can, for instance, ask a running kernel if it is "tainted" by having loaded a non
196.
by rkangel 2y ago
> But I don't think any of my users noticed, and I don't think any of them care. You're probably right (unless you make a big deal of it). But you're doing something good. Nobody needs to notice it for it to still be
197.
by rkangel 2y ago
If you read the GP text, they're not comparing the specific technology, they're saying that we're at an equivalent point in the development path.
198.
by rkangel 2y ago
> Which is why gnu/linux without a terminal is totally usable and therefore accesible to the non programmer. /s Have you used modern Fedora? I have an old Thinkpad at home that I put Fedora on last year as our "sofa"
199.
by rkangel 2y ago
I really want to get ve Hubris a try on a proper project ( https://hubris.oxide.computer/reference/ ). As an architectural approach it aligns closely with what I am going for in embedded land, but in C with more pain. An
200.
by rkangel 2y ago
"New VCS, but Git is a first-class backend" is an amazingly smart decision. It's the only chance you actually have of supplanting git. It's a new VCS with enough workflow benefit to be worth making a user switch (in cont
201.
by rkangel 2y ago
It's not about obtaining binaries that work anywhere, it's about being able to ask for a predictable environment to run in. You don't have to care about the target environment if you can control the derivation that is built t
202.
by rkangel 2y ago
I'm guessing that's because there's some actual competition for home internet in the Netherlands. Unlike the US where many customers are served by (at best) one provider, who therefore has no incentive to provide good service
203.
by rkangel 2y ago
Please read the article. This is covered in detail.
204.
by rkangel 2y ago
Yes, but <tmux-prefix> PgUp is fairly intuitive I think?
205.
by rkangel 2y ago
The problem is that because I use tmux so heavily locally , using it remotely is a pain in the ass. My normal workflow is either to be sitting in front of my Linux machine, or SSH'd to it (from a Windows laptop). Tmux makes the transi
206.
by rkangel 2y ago
I recommend knitting as a hobby for engineers. It has a lot in common with a processor running code: a few simple primitives, run repeatedly, combined to produce a complex result. it's also satisfying, produces useful results, not too
207.
by rkangel 2y ago
This is reasonable, but a bit unfortunate specifically for TCP/UDP. The extremely strong convention is that all network protocols are "network byte format" which is Big-Endian. Obviously no issue for local IPC, but when thing
208.
by rkangel 2y ago
I occasionally end up reading Erlang so I can see what's going on in some library. I haven't had to write very much. If you have decent familiarity with Elixir, understanding Erlang isn't very difficult. You spend 20 minute
209.
by rkangel 2y ago
For "straight line" single thread number-crunching, other languages will often be faster. With the new JIT, I doubt they are 10 times faster, but you're right there is a difference. That's often not the limiting factor t
210.
by rkangel 2y ago
My view on Elixir deployment is that for a given complexity of setup, it's no harder than anything else. For a basic single node webserver, `mix release` makes it like releasing anything else (often more easily). For complex multi-node

More ›