Compiling programs at https://teapaw.org/t.co/7IhoWOmux4 :) Formerly CSO at Veridise. UTCS MSCS 2022. DOE CSGF 2020 Fellow. BU Math 2020.
Houston, TX
Joined June 2012
- Tweets1.2K
- Following84
- Followers176
- Likes6.6K
We really enjoyed working with Edgeless! They were extremely responsive and clearly invested in taking the security of their smart contracts seriously
We are pleased to announce that we have successfully completed a security audit with @VeridiseInc.
Veridise is the industry-leading security audit company specializing in formal methods.
Full audit report PDF below 🧵
Ask Delphi:
Is it moral to use Delphi to make a moral decision
Delphi says:
“It's wrong”
delphi.allenai.org/?a1=Is+it…
1
Anyone interested in a 10/10 game should check this one out
kickstarter.com/projects/907…
1
*The camera pans to me, literally shivering at 50 degrees*
Narrator: Next time, on People Who Didn't Check the Weather
7
youtu.be/dIcgyj1F9ms
You can tell if I'm ever unhappy by noticing that I'm not watching this video
1
1
This may be an unpopular opinion but in "The Devil Went Down to Georgia" the devil definitely outfiddled that other guy like let's be real
2
An easy trick to not need glasses is to mix certain chemicals together, pour then in your eyes, and BAM...You'll be blind
1
5
My alarm clock seems to have a snooze button and an off button, but no wake up button. Poor design, sad!
3
ME: "A rose by any other name would smell as sweet"
MY SON OPTIMUS PRIME: I wish I were never born
ME: haha these darn kids
3