@BB_C disclaimer - no llm , I am following a book
> 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
@BB_C disclaimer - no llm , I am following a book
@danielfgom @the_crab_man bing + 10 auto bookmarked paves which i dont care about
@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me
@s20 @throwawayish whats the difference between idiom and boilerplate code
-– pardon my ignorance , haven’t read the article yet
@patatahooligan @prettydarknwild keyword here is average users , else glibc hardly compares to musl
@rust @learningrustandlemmy
I might have missed some subtle syntactical difference here, I guess
aas in
Vec<...>
is a type definition, andVec::<...>
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/