ywei3410

12 ms·

61.
by ywei3410 6y ago
Does Cargo resolve transitive dependencies with a hash? So for example, if I have a dependency on tokio (which depends on tokio_core), I don't /think/ the meta-data on tokio forces the exact version of tokio_core on a first d
62.
by ywei3410 6y ago
I haven't found one; and I hypothesize that if one were to exist it wouldn't be useful. Ironically, the GPT code generators are probably the closest - where the syntax is inexact and ambiguous. I'm not entirely sure - but the
63.
by ywei3410 6y ago
I teach adult learners; my own experience suggests that there are multiple issues. First, is that in no other text form, does white-space change meaning such that the text becomes "unreadable" (sure your docs may be formatted a li
64.
by ywei3410 6y ago
This comment hits the nail on the head - if you think in terms of expressions and subsequently, expression substitution; there sometimes /is/ no good name for something. This is /especially/ true for abstract code - func
65.
by ywei3410 6y ago
Emacs is fine; Racket mode is very good [1]; but DrRacket is worth a spin if you're unfamiliar with the language/ideas. [1] https://www.racket-mode.com/
66.
by ywei3410 6y ago
Hi, What type of material would you like to see? What parts of the API are you finding difficult?
67.
by ywei3410 6y ago
Emacs and Steam seem to work for me - I've been using it with XWayland for around a year now.
68.
by ywei3410 6y ago
Emacs is a bit special; a significant number of practitioners are hobbyists in ELisp and not professional programmers (which is a great thing!). I don't judge the quality of C# code by looking at amateur Unity scripts for example. Depe
69.
by ywei3410 6y ago
Dependent type-systems like Agda can do that. Unfortunately they are also a pain to write. Fun-fact, you can use church-encoding to transform from your generic int to a "shape" based encoding for the slowest operations ever in qui
70.
by ywei3410 6y ago
Sure - but the point is that there are /diminishing returns/ on type-systems. The question is then, /where/ should one draw the line when trying to prove certain properties of code; which properties are worthwhile provin
71.
by ywei3410 6y ago
The auto-completion is purely Python's dynamic-dispatch problem though. Lisp has symbol-based auto-completion which doesn't suffer from the same issue (search is a different story!). This sounds terribly controversial, but I would
72.
by ywei3410 6y ago
An example: > y = [1] ++ [2] ;; Assume types List[Int], List[Int] > y[0] ;; This should return Union[Int, None] > y[0] + 3 ;; This should fail type-checking You /know/ the list isn't empty. Sure you can argue that &#
73.
by ywei3410 6y ago
Using a mouse heavily for the first 2 years of my career gave me the beginnings of carpal-tunnel syndrome. Switching to a 60% keyboard and carefully choosing keyboard shortcuts for everything has meant I've not had a problem since then
74.
by ywei3410 6y ago
If becoming one of the most valuable companies in the world in an adjacent field and using that to fund an open source SaaS is a demonstration of a financially viable open source business; we're in trouble.
75.
by ywei3410 6y ago
On a side-note; do you know of any good resources where someone tries to wrap a non-trivial C wrapper where they go over common C idioms and ways to provide a (safer) API inside Rust without too much overhead? I've always found it to b
76.
by ywei3410 6y ago
There's also mutual deployments which suck really bad i.e. deployment A needs to go out with deployment B; but if you haven't set up your CI with that facility (and, let's face it, the easiest way to set up a CI with multi-re
77.
by ywei3410 6y ago
The problem is that there are /two/ aims; one which people agree on, and the second which people disagree on. The first is source /must/ be available and /modifiable/; on that all proponents of FOSS are agreed;
78.
by ywei3410 6y ago
Apologies - I've read through the paper and I can't see your point. You'll have to elaborate I'm afraid.
79.
by ywei3410 6y ago
I'm not certain whether it's unreasonable or it's become an expected norm; you don't expect to be able to leaving a shopping cart full if you're leaving a physical shop, for example. I guess it very much depends on
80.
by ywei3410 6y ago
I mean that's not really true - TCP allows a persistent connection so you could totally just keep the shopping cart for the duration of the time that the user is on the website and /not/ use a cookie.
81.
by ywei3410 6y ago
To be honest the criteria for a beginner and someone who's used a tool for a while are different. You bet that `ls`/`cd` is a great name for me - it takes 2 characters and I don't have anything similar conflicting on the PATH
82.
by ywei3410 6y ago
You laugh but I'm half-way there; I use underlines/bold for things like TODOS/FIXMES, different fonts for comments, different weight for brackets/keywords etc...
83.
by ywei3410 6y ago
With all due respect your third point is written from a point of view which is from the dominant majority and it would be illustrative to reflect on those points to understand why people are horrified. First of all, it’s never as simple as
84.
by ywei3410 6y ago
Will take a look at it! My current one I've nicknamed a "Pirate" R232 adapter because it has an unfortunate and hilarious effect of duplicate the lowercase 'r' character for some reason (so I see Arrrrrrrrchlinux).
85.
by ywei3410 6y ago
Hi, Could you elaborate a bit more about your previous network setup? This sounds awful.
86.
by ywei3410 6y ago
Second these guys; really easy to set up (though I did have a nightmare getting a reliable USB-R232 converter for the initial bootstrap).
87.
by ywei3410 6y ago
To add to that; with re-assigned IP's, widespread port 25 blocking /most/ ISP connections won't allow you to run an email server on a residential connection. Spam/botnets have a lot to answer for.
88.
by ywei3410 6y ago
I've just set up a mail server with the same stack as mailinabox (with a few minor differences, since I didn't care for the web-screens, self-hosted DNS and the fact that my residential ISP offers a static IP service). If you do g
89.
by ywei3410 6y ago
Could you elaborate a little further on what you mean by a fundamental scale of a theory being related to it's constants please?
90.
by ywei3410 6y ago
Yes - in general both eglot and LSP are pretty much "out of the box". The biggest factor though, is entirely dependent on how good the various server implementations are. Having used it in quite a few different languages now it va

More ›