JoelMcCracken

6 ms·

31.
by JoelMcCracken 1y ago
Yes, “wrong” was a bit of a strong word, but do note that I intentionally framed it as an opinion and not as, like, objectively wrong. UI is still important, but I do not think it really defines a language. Let’s say I created a new Haskell
32.
by JoelMcCracken 1y ago
I don’t disagree, but if you set it up as “ui vs math”, you signify certain things. And based upon your comment it did not say “they mean how the programmers mental model maps to the problem”. In fact I’d say that’s more math like than not
33.
by JoelMcCracken 1y ago
I do agree with this, but also, I don't really understand a lot of the tradeoffs, or at least to me they are false tradeoffs. Her first example is excellent. In Haskell, we have global type inference, but we've found it to be impr
34.
by JoelMcCracken 1y ago
Citation needed? I don't mean this in a snarky way, though. I genuinely have not seen anything that these things can train on their own output and produce better results than before this self-training.
35.
by JoelMcCracken 1y ago
this is something I think about. state of the art in self driving cars still makes mistakes that humans wouldn't make, despite all the investment into this specific problem. This bodes very poorly for AGI in the near term, IMO
36.
by JoelMcCracken 1y ago
what's super weird to me is how people seem to look at LLM output and see: "oh look it can think! but then it fails sometimes! how strange, we need to fix the bug that makes the thinking no workie" instead of: "oh, this
37.
by JoelMcCracken 1y ago
You can certainly think of them that way if you want. And, you'll be wrong, at least IMO, and in what seems to be the consensus of people who study and work on PLs. "UI" issues, while not at all unimportant, are surface level
38.
by JoelMcCracken 1y ago
Yeah, I haven’t read Scott’s books, but my understanding of ddd is such that it should be extremely applicable to DDD. DDD is described in terms of OOP, but really imo it makes far more sense in fp contexts.
39.
by JoelMcCracken 1y ago
https://www.calculatorsoup.com/calculators/math/speed-distan... 180 mph taken from a bit of googling, ballpark figure on upper end. So this was really immediately after takeoff. My understanding of commercial airl
40.
by JoelMcCracken 1y ago
Given this happened 400 ft past the end of the runway, I really don’t think the altitude involved would be very surprising
41.
by JoelMcCracken 1y ago
There are practical limits on global type inference; eg, sometimes writing Haskell youll be not sure what’s going on with some code that won’t typecheck, and the way to deal is break it down piece be piece, add type annotations, until you s
42.
by JoelMcCracken 1y ago
Yeah that’s fair. In many ways the spacemacs/doom model is more akin to what you describe, with a lot of caveats; it’s not a total rework of all key bindings. In emacs novice affordances are usually an afterthought, not part of the cor
43.
by JoelMcCracken 1y ago
For most fundamental operations there are menus available. Most heavy emacs users opt to turn them off however. You can even see the menu atop the screen shot in the article, with the familiar names etc.
44.
by JoelMcCracken 1y ago
To navigate emacs, you really only need to know ctrl, alt, and the basic norms of keyboard usage (return for newline/accept, shift for capitals) Really, compared to what I see here, the chief difficulty with emacs is the sheer volume o
45.
by JoelMcCracken 1y ago
Interesting, thanks! I had no idea. It makes sense that it might be used in specific instances even if it’s not widely used on the internet generally.
46.
by JoelMcCracken 1y ago
Sorry for the grumpy comment y’all/OP. I’ve had a migraine for days during my vacation week and it’s getting to me.
47.
by JoelMcCracken 1y ago
Do most people just not know how to write an interrogative sentence anymore? It is wild to me how often these fragments of questions appear on the front page. I use this form sometimes myself in a dialogue, as it fits that context. But as a
48.
by JoelMcCracken 1y ago
So, as an aside, I think consumer reports could do so much to embrace the digital era and access new generations of consumers. My parents read it regularly, and I subscribed for a year or two about a decade ago and felt so strongly how it h
49.
by JoelMcCracken 1y ago
Funny enough, the first and last time I heard of sctp was in “Unix network programming”. It seemed so promising according to Stevens.
50.
by JoelMcCracken 1y ago
Seems like a neat thought experiment taken to (some stage of) implementation. Like OLPC. Solving problems we think people might have, while missing the more important issues (whatever they may be; I certainly don’t know myself). Idea is nic
51.
by JoelMcCracken 1y ago
And, just like tfa alludes, it is awkward because of laziness; in non trivial scenarios it can be quite surprising how your trace isn’t tracing. This is bc of non strict eval in Haskell, but still the core is that the lang is designed to no
52.
by JoelMcCracken 1y ago
So why do eink monitors with ac power supplies still have lower refresh rates?
53.
by JoelMcCracken 1y ago
Every once in a while I get a strong urge to hack on sweet.js to add typescript support
54.
by JoelMcCracken 1y ago
I asked a bad question; what I meant was specifically thinking about ownership in terms of being required everywhere and to manage memory. But there are for sure real benefits I can see for _other_ properties in certain situations, like avo
55.
by JoelMcCracken 1y ago
The author really doesn't want to do manual memory management. The table is there to summarize things discussed, but he never says he wants to do manual memory management. I just went back and checked. If you do find something that ind
56.
by JoelMcCracken 1y ago
Thanks for explaining what you think the author meant; i meant to reiterate that I was trying to actually understand as opposed to argue, but I forgot; I think sometimes "hey I don't get what you're saying because of reasons
57.
by JoelMcCracken 1y ago
Wow, a lot of stuff in here surprises me. C definitely can/does have spooky at a distance. Just share a pointer to a resource with something else and enjoy the spooky modifications. Changes are local as long as you program that way, bu
58.
by JoelMcCracken 1y ago
ah nice explanation. I've actually read (or tried to) the "macros as a set of scopes" paper that IIUC lean 4's scoping is based upon; I did watch the talk on lean4's macro system. Does it not have some kind of &quot
59.
by JoelMcCracken 1y ago
It would seem like a German who spoke perfect American English bc they had grown up here would be able to answer these basic facts
60.
by JoelMcCracken 1y ago
I use my boox max lumi as a secondary display daily for working in emacs. The eink is great for text/terminal use, the only issue I have is when i sometimes need to do any kind of mouse work (which, is basically never, when I use it fo

More ›