lomnakkus

8 ms·

31.
by lomnakkus 8y ago
No, you'll get UB.
32.
by lomnakkus 8y ago
Not that this "makes the point", necessarily, but GHC Haskell does have the whole Safe/Unsafe Haskell module inference/guarantee, so it may be a bit easier to avoid unexpectedly unsafe behavior entirely. I have no idea w
33.
by lomnakkus 8y ago
It's possible to use Jenkins to do all of those things. It's also enormously costly in terms of manpower, etc. It's truly absurd just how much shepherding Jenkins requires once you have build slaves, etc. The pipeline stuff
34.
by lomnakkus 8y ago
Not to be too pedantic, but that doesn't mean that there aren't wrong ways to do it. (Such as code blocks which are a pain on mobile.)
35.
by lomnakkus 8y ago
Kind of, but not really. The combination of type classes (traits in Rust) and HKTs in Haskell mean that you can quite easily restrict a function to only be able to do a subset of what's possible in "the world". A trivial exam
36.
by lomnakkus 8y ago
> My problem with Haskell is that it is not pragmatic and the reason I stopped using it. I find it extremely pragmatic, but perhaps not in the way most people use the word. It's pragmatic about the abilities of programmers to get
37.
by lomnakkus 8y ago
Oddly enough it was the opposite for me. I think I might have given up on Haskell if I hadn't learned O'Caml first. It's been 15 or so years, so I'm sort of guessing at this point, but I think the combined cognitive effo
38.
by lomnakkus 8y ago
Of course not. You could always implement C# (static types and all) and LINQ atop Lisp, or indeed any other turing complete language.[1] The point of static type systems isn't that they add power -- it's that they take power awa
39.
by lomnakkus 8y ago
This is great. I've been toying with the idea of using Dhall for various things and your post might just have given me the impetus to go actually do it!
40.
by lomnakkus 8y ago
> A plain JEE container is more than enough for like 99% of use cases. Odd, I would say that a JEE container is too much for like 99% of use cases :). (Point being that most of the time these days all I seem to need is an embeddable HT
41.
by lomnakkus 8y ago
RAID1/10 doesn't really help with data integrity (at least if it's just basic "standard" RAID). It helps against catastrophic media failure and not much else.
42.
by lomnakkus 8y ago
Alright, I can see where you're coming from... I guess it does all get kind of fuzzy once you have a TC type system anyway. (Whether that be via full dependent types or the rather strange not-quite-like-working-with-terms-and-types wor
43.
by lomnakkus 8y ago
I think you may be thinking more about type ful programming? (Aka. type-driven design.) At least to me type-level programming is just a mechanism to achieve more at compile time. Another mechanism would be e.g. C++ constexpr or dependent t
44.
by lomnakkus 8y ago
Always use HTTPS?
45.
by lomnakkus 8y ago
Very well put... and this was the point I was making about "decent" performance. If you have super-special requirements (you don't), you'll probably discover it along the way to SUCCESS. If you don't any old SQL d
46.
by lomnakkus 8y ago
> You're either thinking about how much information is being moved around or you're not. Not to put too fine a point on it, but I think you meant how often information is being moved around. That's the scenario where lat
47.
by lomnakkus 8y ago
Without wishing to put words in their mouth, I think parent poster's point might be that PostgreSQL will do at least a decent job at most things you'll want to throw at it. This is not the case for most of the NoSQL databases wh
48.
by lomnakkus 8y ago
> the onus really should be on the user to record what version of software they're using and how they configured it. Recording version, etc. is fine, but what use is it if it's not actually possible to install that software to
49.
by lomnakkus 8y ago
Ah, thanks. (I was actually looking at the BQP page,, but then realized that I know far less about the Q classes than I should and found the more general "quantum computing" page where my citation is from.)
50.
by lomnakkus 8y ago
No. Just... no.
51.
by lomnakkus 8y ago
a) It's just not that easy to "everybody needs to adjust" -- people are different wrt. what causes anxiety, etc. It seems a priory quite plausbile that there's a significant genetic component to this. b) "Get checke
52.
by lomnakkus 8y ago
Per Wikipedia isn't not actually known whether quantum computers will be able to solve NP-complete problems in polynomial time: > There is a common misconception that quantum computers can solve NP-complete problems in polynomial ti
53.
by lomnakkus 8y ago
> If you can afford doing the initial transition in one short, later improvements are much simpler than having to maintain an internal (moving) front between remaining C code and new Rust code as e.g. librsvg does. That's all well a
54.
by lomnakkus 8y ago
Wow, yeah, that's why should never change tab width to anything other than 8 unless you're very sure that you've got things set up exactly right tooling-wise.
55.
by lomnakkus 8y ago
All the world is not golang. Go is actually one of the few exceptions in the world due to having had "go fix" baked into the compiler/ecosystem from the start. That makes a huge difference. It's also quite a simple langu
56.
by lomnakkus 8y ago
This is a very good example of the problems of YAML and it's one of those things that has really preplexed me about the design of YAML. (I suppose it's a sign of the times when YAML was designed.) It's[1] just so blatantly un
57.
by lomnakkus 8y ago
Why do you find it strange? To me, "requirement" signals that there's some sort of pain threshold for writing/maintaining code that the writer isn't willing to go above. Is there anything weird in that? > (I&#x27
58.
by lomnakkus 8y ago
Another way would be to use return type polymorphism. That way you could have a trait similar to Haskell's "Num a" + "Integral a" with "fromIntegral :: a" and just have the parser insert a "fromIntegr
59.
by lomnakkus 8y ago
That doesn't work if you use a strict parser where superfluous fields are an error. It's quite rare, but there are good use cases for that kind of strictness.
60.
by lomnakkus 8y ago
> same pkgsrc checkout + reproducable base => essentially reproducable full package builds. I would be truly surpised if that were the case. Are there no packages in pkgsrc which embed, e.g. timestamps, or even download things while b

More ›