ekidd

28 ms·

331.
by ekidd 3y ago
> No one is friendly in urban areas Yes, this is mostly an urban/rural divide. I've lived in several small New England towns where people talk to each other in public all the time. But I've also lived in Boston. And I&#x
332.
by ekidd 3y ago
> I've built very large projects in Erlang and didn't find typing a real issue. So I want to put on my consultant/lead engineer hat for this discussion. :-) I've worked for years in Ruby, Lisp, Scheme and other unty
333.
by ekidd 3y ago
As someone who's enough of an early adopter to have been running Rust in production since ~2016, and who takes a good look at Elixir every few years, there are two major things holding me back: 1. Lack of strong typing. Dynamic typing
334.
by ekidd 3y ago
> Because that robot isn’t even being vicious and will hurt more. Rodney Brooks at the MIT AI Lab was a big advocate of something called "series elastic actuators." The idea was was that you didn't allow motors to direct
335.
by ekidd 3y ago
Troubleshooting can be a very valuable skill. I know a story of a certain large engineering firm, dating back to the second World War. They had a senior engineer who habitually came to work drunk and slept through meetings. Every once in a
336.
by ekidd 3y ago
> I should add, unless it isn't clear, that we really should retire the dataset. From a research perspective, MNIST is basically solved. I think current performance on MNIST is better than humans, correct? But it's still valu
337.
by ekidd 3y ago
Ah, yes, TLS. This is almost always the fault of Rust libraries that link against OpenSSL. So technically this is a C linking nightmare. :-/ I have configured cargo-deny for nearly all our projects to just ban OpenSSL from ever appeari
338.
by ekidd 3y ago
Rust has an excellent story for running old code on new compilers. For example, I've been using Rust in production since just after 1.0, so about 8 years now. I maintain 10-20 libraries and tools, some with hundreds of dependencies
339.
by ekidd 3y ago
Elixir/Erlang is actually a really interesting case, because: 1. It has a garbage collector, and 2. It relies even more heavily on immutable data than Rust. This means that the Beam VM can seamlessly move green threads around CPUs and
340.
by ekidd 3y ago
> even if I do get frustrated with mind-numbing Async issues from time to time. A noticeable portion of async issues come from the fact that a lot of people use Tokio's multithreaded async runtime. Tokio allows you to mix async
341.
by ekidd 3y ago
> Non-Americans may not realize that the Ivy League too is a sporting designation, not an academic one. The Ivy League is absolutely a sports division. But in practice, it's honestly more of a set of "arms reduction treaties&
342.
by ekidd 3y ago
> If you translate it back into English, “she had said goodbye too much”, it’s clear that the real question is, “did the author mean something by those choices which the translation obliterated?” When translating for fun, I've oft
343.
by ekidd 3y ago
> For reference, the primary market for Kubernetes is orgs with over 1,000 developers that just can't make deployments to virtual machines work cost effectively any more. Kubernetes is a surprisingly reasonable option for an organ
344.
by ekidd 3y ago
As other people note, a lot of those seem to be local aliases defined by the author. But the most important thing to understand about Coq is that it's meant to be read in an IDE. The IDE will show you, at each step, what has been prove
345.
by ekidd 3y ago
Weirdly, a lot of Windows games run fine on Proton. There are a couple that only work on the Steam Deck, which is an Arch Linux system. (There's actually a complete Linux desktop UI if you dig for it!) But the Steam client is weirdly
346.
by ekidd 3y ago
Also, X networking was mostly used within local university and company networks, and not over the internet backbone. Well-designed local networks can be very low latency, often noticeably lower latency than disk I/O.
347.
by ekidd 3y ago
> Rather than 12 keyword arguments and 12 branches in 1 big function, it should be 12 small classes (in OOP) or 12 small functions (in FP) that each handle one of the branches. I mean, sure, you could convert your library into 12 littl
348.
by ekidd 3y ago
My unfortunate personal experience with various teams is that Scrum is too often an excellent way to close tickets if you don't care very much about quality. The whole dynamic of fixed-length iterations and "commitment ceremonie
349.
by ekidd 3y ago
I dislike code duplication. But do you know what I like even less? Giant functions with 12 keyword arguments passed up and down a call stack, because those functions have many callers which want slightly different things. Choosing the wro
350.
by ekidd 3y ago
I haven't touched Oberon since the 90s. But it was a fun little system. The language is one of the nicer Pascal descendents. The windowing system was similar to tiling. The entire system was tiny in terms of code. Everything was black
351.
by ekidd 3y ago
> 2. Crossfit, Olympic Weightlifting, Powerlifting - 2-6 / 1000 hours This seems about right? Let's say you powerlift 6 hours a week, 50 weeks a year. (This is believable after a year or so.) That's 300 hours. And you&#x
352.
by ekidd 3y ago
Creatine has the advantage of being well supported by science, and safe for most people. But for a beginning lifter, I wouldn't bother. Early on, literally every single workout will bring you bigger gains than creatine will. Do your 3x
353.
by ekidd 3y ago
Creatine is common among people who've maxed out their beginner gains but who are still chasing PRs. You get a fair bit of it naturally in food, and it's been studied to death by nearly every sports medicine program in the world:
354.
by ekidd 3y ago
Thank you for the thoughts! My injuries have all been professionally rehabbed, some of them by MDs who treat competitive lifters. I didn't give up easily. :-) But to take an example, there's not much you can do to rehab a partial
355.
by ekidd 3y ago
> and the advice to aggressively gain weight is also not appropriate for everyone (GOMAD etc.). Yeah, don't do GOMAD unless you're a 17-year-old teenage boy with a BMI of 18.5 who wants to be a linebacker or something. Some o
356.
by ekidd 3y ago
I think it makes sense to get started exercising, using any kind of good program at all, and to pay attention to technique. I don't have injury stats on machines versus free weights. Almost all the serious lifters I knew (bodybuilders
357.
by ekidd 3y ago
I powerlifed for years, with a truly excellent coach for much of that time. For what it was worth, she was Starting Strength certified and a successful international masters competitor. She fixed a subtle problem with my deadlift using noth
358.
by ekidd 3y ago
> The server at www.randomhacks.net works, but the server at randomhacks.net, on the other hand (and which is not the same as www.randomhacks.net), is for whatever reason failing to respond to the HTTP request. Reasonable guess: it&#x27
359.
by ekidd 3y ago
> Why would it “need to” crash? If it is easier to implement to not crash and the developer intention is clear why would you define your new programing language such that it “needs to crash” in this situation? Well, let me come up with
360.
by ekidd 3y ago
> There's something more constricting about there being one function to bootstrap everything than there is about one file. As a compiler author, there are a bunch of nasty surprises to this approach. If you execute a file line-by-

More ›