Matthew Ryan (httpz)
@mrmr1993
Followers
90
Following
691
Media
83
Statuses
2K
Joined July 2011
RT @o1_labs: It’s time for the next @MinaProtocol major upgrade. We are sharing our plans early and need your feedback. Coming this fall.….
0
50
0
0
40
0
0
11
0
RT @ConnaughGaskin: friday: Vitalik mentions @MinaProtocol . me: time to cook, MAXIMUM effort!
0
35
0
RT @MinaProtocol: http is the standard protocol for data exchange on the web. https added security using encryption and a trusted authorit….
0
254
0
RT @MinaProtocol: 300,000 blocks rolled up into one constant-sized proof ✅. That is the power of infinite recursion
0
143
0
RT @proto_kit: Today we proudly announce Protokit, a modular and privacy enabled application chain development framework for the MINA ecosy….
0
64
0
RT @o1_labs: O(1) Labs is excited to submit a proposal to @optimismFND for the application of our zero knowledge proof stack to OP Stack fr….
0
58
0
Rust seems happy with.let [x0, x1] = x;.(x0, x1).but very unhappy with.(x[0], x[1]).Is there some deep reason that the borrow checker knows about destructuring assignment but can't do useful analysis with indexes?.
0
0
0
Really I want something like.```.(x as Trait using impl Trait for Foo { . }).bar().```.but IDK enough rust or know what to search to find if this exists.
0
0
0
Is it possible to implement an explicit, inline trait impl in rust? I'd like to stuff an instance a few layers down an struct hierarchy without doing the newtype unwrap dance and hoping the compiler decides not to copy everything.
1
0
0
RT @gothfemme: happy to learn all the dem primary candidates are separate html elements on the new york times
0
7K
0
Either the most profound or the most obvious realisation of my computer science life: (value-)dependent typing is identical to exhaustive duck typing.
0
0
0