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

@breadsmasher Hmm first post there. In such a case , i never had any intention of posting there again .
hope that helps

permalink
report
parent
reply

@breadsmasher True , its just that there s no such norm that every instance ll have a community name by the same keyword -test
But i admit its spam and i am willing to delete that if that helps
that said, its still a useful discussion of the user issues , i m sure maker of undo-tree emacs d ve thought so

permalink
report
parent
reply

@jmd_akbar Whoa , appreciate man . I just checked my own profile for new posts. How did you search for this post of yours ? Aha it so happened that you were tagged in this thread from your lemmy handle
let me check. Nope i see the thread on your profile not mine
@xameer
this confusing for me till settled

permalink
report
parent
reply
0 points

@canute @nixos Lookup for
nix for impatient
https://fasterthanli.me/series/building-a-rust-service-with-nix
ryantm s posts and repo

permalink
report
reply
0 points

@zwerdlds @canute How about nixos-option, lib.mkoption ?

permalink
report
parent
reply
0 points

@spauldo @moonsnotreal what do you say to load everything from dotemacs ? :D

permalink
report
parent
reply