brokenix
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
> https://git.sr.ht/~carnotweat/morning-rust
@rust @learningrustandlemmy
I might have missed some subtle syntactical difference here, I guess
aas in Vec<...>
is a type definition, and Vec::<...>
is referring to the struct itself, but with a type parameter given.
context - https://www.reddit.com/r/learnrust/comments/exmqyc/what_are_the_rules_for_turbofish/
@velox_vulnus I am trying out=of-tree package , for related purpose
@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me
@kirschner @islamicaudiobooks @fdroid @delta @AntennaPod yes except that I ve no contact , who want to do an encrypted chat with me outside #signal
This could be on my for not using it in a way, which is convenient for others.
It has happened , when I encrypted my twitter DM , emails with #gpg , without fully understanding gpg and I had to step back from that. #keyoxide has brought some hope , but I am yet to get there, where I can use it efficiently even for work
@islamicaudiobooks @kirschner @fdroid @delta @AntennaPod naive question, what’s krept-ey?
@islamicaudiobooks @kirschner @fdroid @delta @AntennaPod vi music , rethink is amazing. Kryptey is cool too , except that idk how to disable vibration for tapping ut. Thats a drain , is there a clear reason to why is this tricky? Ir i should just recheck settings?
@s20 @throwawayish whats the difference between idiom and boilerplate code
-– pardon my ignorance , haven’t read the article yet