https://twitter.com/lotz84_/status/1787796266484908211
lotz @lotz84_
これを書いていて Vector n a 同士の sequenceA が distribute のように振る舞うのが気になった👀 一般に Traversable の distribute が Distributive の sequenceA に一致することが則を使って言えないだろうか?🤔 QuickCheck で少し探してみたけど反例はなさそう
https://twitter.com/lotz84_/status/1787796266484908211
lotz @lotz84_
これを書いていて Vector n a 同士の sequenceA が distribute のように振る舞うのが気になった👀 一般に Traversable の distribute が Distributive の sequenceA に一致することが則を使って言えないだろうか?🤔 QuickCheck で少し探してみたけど反例はなさそう
#user nobody; | |
worker_processes 1; | |
#error_log logs/error.log; | |
#error_log logs/error.log notice; | |
#error_log logs/error.log info; | |
pid /var/run/nginx.pid; | |
events { |
# Hello, and welcome to makefile basics. | |
# | |
# You will learn why `make` is so great, and why, despite its "weird" syntax, | |
# it is actually a highly expressive, efficient, and powerful way to build | |
# programs. | |
# | |
# Once you're done here, go to | |
# http://www.gnu.org/software/make/manual/make.html | |
# to learn SOOOO much more. |
import funkin.play.character.SparrowCharacter; | |
import funkin.play.character.CharacterType; | |
import funkin.play.PlayState; | |
import flixel.math.FlxPoint; | |
// make sure to change the charcter class name per character | |
// make sure to change it from SparrowCharacter to Atlas or MutliSparrow depending on your character, too | |
// also change the string in the super so it applies to the character you want to apply it to | |
// infinite with gap of 1 | |
@Composable | |
fun AnimatedHeartShapeRaw( | |
brush: Brush = Brush.verticalGradient(colors = listOf(Color.Magenta, Color.Magenta)), // Default gradient from Magenta to Blue | |
) { | |
val animationPercentage = remember { Animatable(0f) } // Animation state from 0 to 1 | |
LaunchedEffect(Unit) { | |
animationPercentage.animateTo( |
I made this reference guide so I can easily look back on it quickly.
FT2232H IC | FT2232H Mini | JTAG | SPI | UART | I2C |
---|---|---|---|---|---|
GND | CN2-2, 4, 6 | GND | GND | GND | GND |
VCC | CN2-1, 3, 5 | 3.3VDC | 3.3VDC | 3.3VDC | 3.3VDC |
AD0 | CN2-7 | TCK | SCLK | TXD | SK |
AD1 | CN2-10 | TDI | DO (MOSI) | RXD | DO |
AD2 | CN2-9 | TDO | DI (MISO) | DI |
/* Remove product meta */ | |
remove_action( 'woocommerce_single_product_summary', 'woocommerce_template_single_meta', 40 ); |
# This code is licensed under the terms of the MIT license https://opensource.org/license/mit | |
# Copyright (c) 2021 Marat Reymers | |
## Golden config for golangci-lint v1.58.0 | |
# | |
# This is the best config for golangci-lint based on my experience and opinion. | |
# It is very strict, but not extremely strict. | |
# Feel free to adapt and change it for your needs. | |
run: |