Joseph Krug

icon indicating an email [email protected]

icon company @FoundersFund, @ethereum, @AugurProject, @eco icon location Puerto Rico icon location Partner @ Founders Fund, Cofounder @ Eco & Forecast Foundation, Occasional Pyethereum contributor

Results 6 comments of Joseph Krug

[Feature Request] Allow pre-filling of order quantity to close entire position

"That sounds good. As Joey mentioned in Discord, we can allow the user to click on the quantity of shares they own. If positive, put the focus on the sell...

[Feature Request] Allow pre-filling of order quantity to close entire position

I like option 2 or both

Oyente-based Bounded Model Checker (OBMC)

https://github.com/AugurProject/augur-core would be a good benchmark suite, there's not many more complex dapps than it

Add support for standard-json.

Yes please +1

Add support for standard-json.

Below is a standard JSON output file for solidity, trying it with: `oyente/oyente.py --standard-json --source contracts.json` ``` Traceback (most recent call last): File "oyente/oyente.py", line 209, in main() File "oyente/oyente.py",...

How is your return in live-trading?

@nian-liu did you try with a more recent training window [e.g. training from jan-june, test in july]?