shikoba

9 ms·

31.
by shikoba 4y ago
> pull I find that command too dangerous. I only use git fetch and git merge --ff-only. You forgot git tag
32.
by shikoba 4y ago
> It's when you move a file and make substantial edits that it gets confused. It's your POV that it's the same file. One could argue that it's a new file and the content of the old one embed in the file. That's t
33.
by shikoba 4y ago
Design patterns are just a repetition of the golden rule "don't repeat yourself" (when they're not they're antipattern). Maybe the functional developers don't need a book to teach them how to walk...
34.
by shikoba 4y ago
Saying without examples is a pedagogical nonsense, I can't argue, because I agree. But if I provide the two typical examples Hom(A,) and Home(,A) and how they transport the arrows it starts to click. There is also List which is a covar
35.
by shikoba 4y ago
İ prefer to say that show tree violates the abstraction. You can have s1=s2 but not f(s1)=f(S2). So f (show tree) is not a real function (or = is not a real equal). But showtree is a debug function, it doesn't count. İt's like say
36.
by shikoba 4y ago
There are so many things to fix. And they should have use coq as default language.
37.
by shikoba 4y ago
You're just reducing my idea to a specific case. You missed the generalized idea.
38.
by shikoba 4y ago
> Functor = context for running a single-input function No a functor is a "function" over types that can transport the arrows: (A -> B) -> (F A -> F B) for a covariant functor (A -> B) -> (F B -> F A) for a co
39.
by shikoba 4y ago
git commit --amend Or git rebase It's two simple command
40.
by shikoba 4y ago
I already read it. It's not clear to me.
41.
by shikoba 4y ago
> If you want to tweak a commit Here we are. You can't tweak a commit in git. You want to recreate a new one. That's why UX is awful, because there is a permanent confusion about what git does.
42.
by shikoba 4y ago
I believe in aliens. I don't believe they have already visited us, but I believe they exist in the Universe. Thinking that we're alone in the Universe sounds so crazy.
43.
by shikoba 4y ago
> branch that aren't branch at all What do you mean? Git branches are branches. What is a branch for you? And why git branches aren't?
44.
by shikoba 4y ago
> I really don't understand what it is about Git that seems to prevent anybody from coming up with a sane UX for it. That's the problem. Git has a sane UX. The only issue is that a lot of people who doesn't understand it,
45.
by shikoba 4y ago
That's sad. I need dune to make it work.
46.
by shikoba 4y ago
I saw no reasons to change.
47.
by shikoba 4y ago
Absolutely not. Slavery is an inefficient system, otherwise it would still be the actual system.
48.
by shikoba 4y ago
I don't get it. Is it sarcasm?
49.
by shikoba 4y ago
Security, who Cares?
50.
by shikoba 4y ago
The latest version is 4.14.0. Personally I write my Makefile myself and use them to build my projects. It works perfectly.
51.
by shikoba 4y ago
I see, you made the beginner mistake with OCaml. You should never read the OCaml error message except if all other options failed. Try to not read those messages, but just look at the line where the error occured. You can use -annot or -bin
52.
by shikoba 4y ago
Hey, it's not a feeling. It's a fact.
53.
by shikoba 4y ago
> when signatures changed in an unstable dependency The problem is not OCaml here.
54.
by shikoba 4y ago
A key sequence: 1 shift-b shift-1 b shift-t shift-b 1 b shift-1 t
55.
by shikoba 4y ago
It works perfectly, thank you. Gonna hack into it and add more difficulty levels. Maybe it will become difficult with bigger sizes.
56.
by shikoba 4y ago
I can give you my trick but it would spoil all the fun. Do you still want it or do you prefer to have fun?
57.
by shikoba 4y ago
I cloned the github repository, but I have no idea how to install/start/generate the website. So I can't hack into it. Could you provide explanation, please?
58.
by shikoba 4y ago
:D
59.
by shikoba 4y ago
Yes, it was easy. I know how to solve a lot of twisty puzzles, I have a lot of experience. Yours is an easy one. Squareminx, is the real monster. edit: you put tiles at random for shuffle? It's not correct for the hard level. Only even
60.
by shikoba 4y ago
Nice game, but not really difficult. Try to implement SquareMinx instead ;)

More ›