User's banner
Avatar

brokenix

brokenix@emacs.ch
Joined
2 posts • 20 comments

> 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

Direct message

@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/

permalink
report
reply

@velox_vulnus I am trying out=of-tree package , for related purpose

permalink
report
reply

@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me

permalink
report
parent
reply

@ultra @vosjedev yc hn 5yr ago
problems people seem to be stating about xonsh were similar to a lot of the early bugs with Fish, but those things tend to go away once more people start using the shell and reporting issues.

permalink
report
parent
reply

@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

permalink
report
parent
reply

@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?

permalink
report
parent
reply

@s20 @throwawayish whats the difference between idiom and boilerplate code
-– pardon my ignorance , haven’t read the article yet

permalink
report
parent
reply