Ben

Results 102 comments of Ben
trafficstars

I came across this discussion on reddit about dependent typing that made me think of this: https://old.reddit.com/r/rust/comments/104md0s/is_coding_in_rust_as_bad_as_in_c_a_practical/j37v4z5/ I'm not too good with GAT, and other type-system wizzardries that you'll find...

I'll take this one, as it's a good synergy with #3475

> > I don't really the need for that, can you maybe explain why incoming funds from transaction is a problem ? > > The SC cannot refuse them. See...

Waiting on versioning to get started.

Low-ish priority. A lot more complicated than it looks like

This might be a good first issue for the same reason I found #3364 a good one: it was an excellent way to consolidate the lessons from damir on blockclicque...

Given it's in backlog, I'd be happy to take the issue. It's been awhile since I've played around with python, and would be interested in giving typed python a go.

I agree. I'll leave it unclaimed for now, and would be happy to see it taken by someone else that is keen to get it done. To clarify, I'm putting...

+1 on this PR: would love to be able to see dotfiles, but have no use to look at .gitignored files