Tainnor

203 ms·

2371.
by Tainnor 7y ago
But the things that add complexity at least to our gitlab config are precisely things you can't really test well locally, like: - making sure you can access the AWS docker image registry, which may require particular runner configurati
2372.
by Tainnor 7y ago
If you don't use complicated compiler extensions (which, to be fair, many people do), then Haskell's complexity is more compositional. There are not a lot of fundamental concepts you need to understand; it's just their combin
2373.
by Tainnor 7y ago
I think this is a very bad sign. Not necessarily because of Kitura (as others have mentioned, Vapor is more popular and quite active), but because IBM was the only major company that was at least somewhat invested in improving the server-si
2374.
by Tainnor 7y ago
Yep, that sounds like kind of what I would need. :) But in general, exception handling is hard. There is value in having locally-unrecoverable, but globally-recoverable faults, stuff like that is probably where languages like Erlang shine.
2375.
by Tainnor 7y ago
I unfortunately know very little about Rust, but is it possible to recover from panics in Rust? Because the problem that I'm seeing in Swift code (which also has a "crash on logic errors" approach) is that bugs can bring your
2376.
by Tainnor 7y ago
In my experience, though, the statement is largely true for refactorings. Even in a language like Java that doesn't have a very expressive type system, if I need to change the structure of my classes, rename some stuff, etc., just know
2377.
by Tainnor 7y ago
Definitely better than e.g. Italian or French people, but we do observe that e.g. most Scandinavian people speak better English.
2378.
by Tainnor 7y ago
Metaphors are a very powerful tool in human cognition, and there has been a lot of research into their usage from a cognitive science perspective (see e.g. the works by George Lakoff). Of course, an abstract mathematical proof is independen
2379.
by Tainnor 7y ago
Don't despair too much; maths is a hard subject and even the best mathematicians struggle with new material. You're dealing with crazily abstract ideas and your brain just has to get used to them. That takes time. If you're h
2380.
by Tainnor 7y ago
Are you better with other kinds of maths? IMHO many people struggle with maths because they're not used to the fact that you have to read maths differently. You can't just digest it quickly like many other subjects. You have to po
2381.
by Tainnor 7y ago
Interesting. I'm rather picking up some slight Vietnamese vibes, but in general, I find it's too much over the place for me to consider it to be anything specific. It doesn't sound particularly European to me at all.
2382.
by Tainnor 7y ago
I think for concepts like this different people might prefer different explanations, but I did some googling and this page seems to describe the heart of the theorem pretty well IMHO: http://www.intuitive-calculus.com/fundam
2383.
by Tainnor 7y ago
I sympathise with your point of view and I agree that sometimes mathematicians are not keeping their audience in mind enough. You don't always need completely rigorous proofs for non-mathematicians. But I think that it's a false d
2384.
by Tainnor 7y ago
I don't feel you've actually read and understood my criticism. The fact that the theory falls apart for discontinuous functions is just a visible symptom of the deeper problem that the author confuses a definition with a theorem.
2385.
by Tainnor 7y ago
I think I did, but I'll be more precise. The first problem is that the FTC is reduced to a tautology. But the more serious problem is that the definite integral is _defined_ via the antiderivative. This is wrong, as the existence of in
2386.
by Tainnor 7y ago
Unfortunately, parts of the section about integration are wrong and contribute to some of the widespread confusion about the FTC, which often seems reduced to a mere tautology (which it's not; it's a deep result). First, the &quot
2387.
by Tainnor 7y ago
Hey yes, we have a number of modules by now. Unfortunately, the reality seems to be that while splitting up reduces incremental compile time, it increases the compile time of full builds, which is especially annoying on CI (but also basical
2388.
by Tainnor 7y ago
Apart from the fact that you ignored the other two arguments I made, the LSP is not production ready. It even says so on its very own github page: https://github.com/apple/sourcekit-lsp#status
2389.
by Tainnor 7y ago
I can't even get sourcekit-lsp running without errors. "failed to create SwiftPMWorkspace: could not find executable for 'xcrun'" Until such time as there is a working installer that is as simple as "download X
2390.
by Tainnor 7y ago
In my case, the mistrust in Apple comes from the fact that in the almost two years I've been working on server side Swift I've seen the Swift core team constantly prioritising things that are mostly relevant for app developers (li
2391.
by Tainnor 7y ago
As it's written, this is untrue. You don't need a Mac to develop Swift. However, you really ought to have one, because the development experience is subpar on Linux: - there is no free IDE (XCode is only for macOS, and CLion c