jolux

24 ms·

361.
by jolux 4y ago
Depends. Often yes but at Heroku/Salesforce’s scale you really need a lot of security expertise in-house too.
362.
by jolux 4y ago
Let’s not pretend that China’s laws and norms are comparable to those of the US here, though. Yes, it’s reasonable to be skeptical of all states, but there’s definitely a difference of degree in state overreach.
363.
by jolux 4y ago
Everywhere is a bit different and companies whose primary product is itself software tend to be a bit more different as well.
364.
by jolux 4y ago
But again that's not a justification. There's no reason for there to be two functions here, other than that it's easier for the implementers. I'm being serious when I say I don't think I've ever seen another st
365.
by jolux 4y ago
You have to make sure the attackers aren’t still in your network, you have to get them out if they are, you have to fully scope out what they messed with, and restore anything that’s plausibly connected. Even in the best case with all the r
366.
by jolux 4y ago
> Well, if you bring up Haskell, let's remember that String is defined as a list of Char, and in production most people seem to use a variety of other replacement string types and everyone will tell you not to use Haskell String for
367.
by jolux 4y ago
You characterized this deficiency in light of your own belief that lists should not be used, so I was responding to that part that I disagree with. It’s like Python purposefully crippling lambdas to discourage their use. If you don’t think
368.
by jolux 4y ago
Yes, I’m aware it’s been hashed out. I was just explaining for the benefit of people not versed in the community why Core is so popular and used in this book, which is focused directly on practical applications of the language.
369.
by jolux 4y ago
> There is actually a practical justification–simplicity of the implementation. For a function that is going to be written once and called innumerable times, this is a bad justification. You should optimize for the consumers of your libr
370.
by jolux 4y ago
The fact that lists are inefficient doesn’t mean that they should be processed in a maximally inefficient way. I would argue the opposite is true. There’s no practical justification for forcing the compiler to allocate a new stack frame whe
371.
by jolux 4y ago
Well I’m not certain that’s the case, it’s my guess because the language has a strong academic background and is also used for teaching purposes, and many functions are written like they would be in a textbook chapter on recursion, with the
372.
by jolux 4y ago
What does it mean that you were right to feel embarrassed? You were wrong to make the mistake, sure, but that happens. That’s what a mistake is. It’s not clear to me what shame helps in this instance. If somebody has a pattern of not meetin
373.
by jolux 4y ago
The standard library is quite small and not very usable for modern production applications. As an example a lot of the list manipulation functions are not tail-recursive because the tail-recursive implementation is less elegant.
374.
by jolux 4y ago
You're allowed to disagree with me. I don't claim to be the ultimate authority and I have no power to enforce my opinions. If I were your tech lead and you wanted to use Hare for something I would probably say no but we could have
375.
by jolux 4y ago
I’m allowed to have opinions about what tools should be used for what. I think it’s fair to say you shouldn’t write a production HTTP service in assembly, for example.
376.
by jolux 4y ago
Same things it does for Rust.
377.
by jolux 4y ago
No, but it’s widely acknowledged that functional programming features are useful even in imperative languages. Almost every imperative language that isn’t C, Go, or Hare has them. Java, C#, JavaScript, Python, Ruby. You should take a look a
378.
by jolux 4y ago
Functional programming patterns are very common in Rust code. It doesn’t have automatic currying or higher-kinded types but it has generic associated types, anonymous functions, closures, and a rich set of collections with functional proces
379.
by jolux 4y ago
We don’t need more memory-unsafe languages with no generics and no functional programming. We just don’t. If it were a toy project for learning and pedagogical purposes that’s one thing but for code that’s supposed to be used in production
380.
by jolux 4y ago
The cost of living in smaller cities is indeed likely to rise as a result of this if they do not build adequate amounts of new housing and commercial real estate as they grow. But this is already happening. Do you mean that these municipali
381.
by jolux 4y ago
Well, I speak from an American perspective and the Razr was everywhere, but according to Wikipedia their peak was around 10% market share. Nokia was much much more popular.
382.
by jolux 4y ago
~nobody used the Sony Ericsson devices though, everyone had stuff like the Motorola Razr with terrible little cameras in them.
383.
by jolux 5y ago
Right, I was getting it confused with Go, which also has generics now. Its generics are implemented with the comptime feature, right?
384.
by jolux 5y ago
Well TIL but that’s a bit silly. They should just give you a button.
385.
by jolux 5y ago
Seems to be more than a toy from its webpage: https://harelang.org/ They advocate using it for operating systems and general systems programming.
386.
by jolux 5y ago
It’s since been released.
387.
by jolux 5y ago
With regards to privacy and control, yes. There’s loads of telemetry you can’t turn off in Windows anymore, and you can’t even setup Windows 11 without an internet connection.
388.
by jolux 5y ago
Supports only Linux and a bunch of other Unix-likes in the long tail that almost nobody uses, no generics, similar philosophy to Zig but without the interesting async stuff and comptime. It’s not clear to me why people keep doing this. Why
389.
by jolux 5y ago
Windows is by far the worst of the three.
390.
by jolux 5y ago
Yeah but frequently when I tell people they could program if they wanted to they just respond by saying they’re not looking for a grind or whatever. I think some of this is just young people being young people and that attempts to recast it

More ›