@pirapira In general, I often thought it might be better to give out ratings in the form of "I think A is better than B" rather than giving star ratings to single items.
@LefterisJP If this is about Rotki, I wonder why your queries get so slow that you need to do this at all. Do users generate more than a few MB of data?
I need this post to make ETH faucets happy.
0x062C12c01D0f17fC9eAa33940D994594d91a0182
Please ignore it and read my posts on https://t.co/7xOPPFYiUT instead of on twitter.
@joidegn Related to this, I would love to hear ideas on how to deal with the problem that good package managers tend to encourage users to add more and more dependencies to their project.
Yesterday @gitcoin unveiled their path to decentralization through the $GTC token.
Since early days I have been "pestering" gitcoin to stay true to the spirit of opensource, help it grow and not let it be overtaken by greed.
As a gitcoin steward I plan to continue doing so๐
Coming around to the opinion that autocommit transactions were a bad idea
Without them, if your insert/updates fail, it should be pretty obvious that you need to add a transaction
With them, I honestly never fully understand what's going on transaction-wise with anything
@mitsuhiko You're not alone with that thought. Exactly this case if mentioned as a deviation from markdown in smu for that reason for that reason. The workaround in that dialect is "***foo*** *bar*". See https://t.co/Pu4sLq1eJO
@ichverstehe Case, PoS, inflection and number (plural/singular) have been available for a while. Mood, person, tense and voice have been added in https://t.co/2HcwpJb7ns. I'll make sure that the downloadable dbs include these some time next week. They seem to be a bit out of date.
If you have many accounts and you are not sure if there are any old accounts that can claim $UNI tokens, you can use your shell to help (requires jq):
curl https://t.co/ADrty340Ly | jq '.claims | keys[]' -r | sed 's/0x//' > addrs.txt
grep -if addrs.txt ~/.ethereum/keystore/*
Get #WikDict's new offline dictionaries at https://t.co/anqt9RKXbT !
It's a bit sad that Android does not have a built-in dictionary and iOS does not allow users to add custom dictionaries to their built-in app. How am I supposed to bring free dictionaries to the masses?
As part of #WikDict, I want to provide downloadable bilingual dictionaries. I'm not sure which formats I should provide, yet. Help me decide! What is your favorite offline dictionary software?