patrickogrady.xyz (@_patrickogrady) 's Twitter Profile
patrickogrady.xyz

@_patrickogrady

founder @commonwarexyz || previously @avalabs @coinbase @stanford || opinions are my own and will probably change

ID: 851971800

linkhttps://patrickogrady.xyz calendar_today29-09-2012 00:38:37

4,4K Tweet

21,21K Takipçi

1,1K Takip Edilen

patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo
patrickogrady.xyz
@_patrickogrady

7 months ago

Powered by K, this new environment employs "Compositional Symbolic Execution" to outperform manually-written language interpreters. TL;DR convert programs into mathematical theorems -> perform reductions/simplifications not previously possible: pi2.network/papers/llvm-k-…