ux266478

17 ms·

301.
by ux266478 6mo ago
The problem is in the case of overloading or lambdas being "hairy", it follows you're well outside the scope of a beginner. Generics are explicitly outside the scope of a beginner learning to implement a basic type system. In
302.
by ux266478 6mo ago
> types and typing This would be like asking for a book on designing grammar. It's just too disjoint of a field to have any kind of reasonable baseline, and it's drop dead easy to grok a basic one together. With those two thing
303.
by ux266478 6mo ago
I think it's important to a point, to be pedantic. But yes, global food production is well over the hurdle of production volume to "feed everyone", even for highly redundant crop yields. The remaining challenge is purely logi
304.
by ux266478 6mo ago
It was actually a disgusting set of edicts and regulations called the Penal Laws, enacted by the English crown, which formalized and wrote into law the informal restrictions imposed on Irish Catholics after the Tudor conquest, as part of a
305.
by ux266478 6mo ago
I've been kicking around an idea in my head of a modern browser implementing some kind of "hardening" against anti-features. Deviating from the standard, implementing certain architectural features like this WORM history grap
306.
by ux266478 6mo ago
It seems like a crossplatform GUI toolkit built atop of Raylib, where the primary languages you're working in are Ruby and CSS.
307.
by ux266478 6mo ago
Clicked on this hoping it would be the irc client, very disappointed! For those in the know, how does jujutsu stack up to something like Darcs?
308.
by ux266478 6mo ago
You're all over the place here. Yes a chunk of my post is about the epistemic impossibility of knowing what software you rely on. I had to look up what FUD means, I assume it's just an algorithmbrained primitive cognate of epistem
309.
by ux266478 7mo ago
Why do you believe that static types are ultimately a failure?
310.
by ux266478 7mo ago
You're using Lisp software right now! I think this is the most treacherous assumption people tend to make about programming languages, for a few reasons. One of them is that we really don't have any way to measure software that we
311.
by ux266478 7mo ago
Idris is rather unique in that the development flow involves writing out your program as a trellis with "holes", and you work through your codebase interactively filling those holes. It feels like Haskell with an even more powerfu
312.
by ux266478 7mo ago
Yep. I also think it's the best designed out of any of them. As dependently typed languages have become more and more popular, I find it a bit sad that Idris has stayed relatively obscure.
313.
by ux266478 7mo ago
Common Lisp through SBCL fits this for everything but changing GC strategies. I'm not sure why you'd do that, though. SBCL's generational GC is faster in all cases, easy to reason about, and trivial to pause. In many of these
314.
by ux266478 7mo ago
Plan 9 fixes this.
315.
by ux266478 7mo ago
Type annotations mix poorly with s-expressions imo. Try an ML, which answers the same question of "How do we represent the lambda calculus as a programming language?"
316.
by ux266478 7mo ago
> There was a small period of time between the 90s and the 2010s where you could grab almost every 386 OS and have your hardware mostly decently run for it And prior to that, you could grab every OS running on IBM clones and not have t
317.
by ux266478 7mo ago
I think of it more in the reverse, the choice being removed is the hardware you can use. It has been the case from the dawn of computing that you start from a usecase (which correlates to software, which maps to an operating system) and the
318.
by ux266478 7mo ago
Oh, I know perfectly well what you mean. The move to the SoC paradigm has serious implications for the future of computing freedom. I can't imagine how we might be able to fight this crap, realistically.
319.
by ux266478 7mo ago
> Did you follow the spirit of Linux to file a bug report of as much sense of the crashes as you could make? No, because the only reason I needed C#/.NET to work was to use an internal tool someone before me had written in C#/.
320.
by ux266478 7mo ago
Most devices in that class I see run some vendor flavor of Android or ChromeOS and not Windows, so definitionally speaking they do run Linux out of the box.
321.
by ux266478 7mo ago
> this simplicity also comes specifically because there's less contributions. Not entirely. A rather large amount of Linux's mess stems from the fact that it was a hobbyist project in its foundational years. It was never clean
322.
by ux266478 7mo ago
Why do you think so?
323.
by ux266478 7mo ago
> but sadly it is saddled with the perception that it is Windows-only, which hasn't been true for a decade In my experience it does not work very well outside of the sanctioned Linux distributions. Quirky heisenbugs and nonsensical
324.
by ux266478 7mo ago
> There are no maintenance costs for the open sea. There are massive maintenance costs for the open sea with how we utilize it. Maritime security and policing, navigational infrastructure, weather reporting, radio repeaters, internationa
325.
by ux266478 7mo ago
Very Large Crude Carriers carry ~2 million barrels of oil. Ultra Large Crude Carriers double that. If oil went down to $50/Bbl, that $2 million fee amounts to a ~2% tax per ship, given their cargo capacity. It's not particularly e
326.
by ux266478 7mo ago
The way forward for what though? It remains to be seen if this level of infrastructure and complexity has any kind of resilience. I seriously doubt it does, looking back on history. I think it's far more likely that the post-industrial
327.
by ux266478 7mo ago
> Great job, we took something that was meant to be a next frontier in humanity and let anyone connect with anyone else without gatekeepers/intermediaries We already had that, it's called shortwave radio. The internet, especial
328.
by ux266478 7mo ago
It doesn't have to be anything so extreme as novel work. The frontier of models still struggle when faced with moderately complex semantics. They've gotten quite good at gluing dependencies together, but it was a rather disappoint
329.
by ux266478 7mo ago
Not in the sense you mean. These are trends with concrete origins, not a root of statistical aggregate. They only look that way if you aren't into fashion and don't follow the handful of fashion houses that decide essentially ever
330.
by ux266478 7mo ago
The job isn't about visual judgement, but composition. Judgement/taste is the responsibility of directors and executives.

More ›