Numerai
Colaboratory
Infosec Skills
Explorium
Kaggle
DataSource.ai
edX
Driven Data
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Based on our record, Numerai seems to be more popular. It has been mentiond 20 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Numerai? Though I'm not so sure - their coin seems to have lost a lot of dollar value since I last checked. https://numer.ai/. - Source: Hacker News / about 1 year ago
For example the Numerai hedge fund's data science tournament for crowdsourced stock market prediction is giving out their expensive hedge fund quality data to their users but it's transformed enough that the users don't actually know what the data is, yet the machine learning models are still working on it. To my knowledge it's not homomorphic encryption because that would be still too computational expensive, but... - Source: Hacker News / over 2 years ago
If you are interested in the machine learning part, you can try the Numerai tournament ( http://numer.ai ). They provide obfuscated high quality hedge fund data that participants can train their models on and send back only their predictions and then they combine the user's predictions into their market neutral meta model which they actively trade. So far their fund's returns looks promising in their category... - Source: Hacker News / over 3 years ago
This does not solve your problem, but you would be interested in https://numer.ai which is a "wisdom of the crowds" ML competition for stock market predictions. Source: almost 4 years ago
Company: Numerai (https://numer.ai) Position: Web Developer Location: San Francisco (Remote/On-site with WFH days) Numerai is a new kind of hedge fund powered by thousands of competing data scientists from around the world, all working to predict the stock market. - Source: Hacker News / over 4 years ago
Colaboratory - Free Jupyter notebook environment in the cloud.
Olympix - Secure your code as itโs written
Infosec Skills - Infosec Skills is technical expertise and engineering development knowledge-building platform where engineers and technical experts can come together to share and learn about the latest security development techniques and strategies.
Explorium - Explorium is an External Data Platform that offers ML and AI-based datasets so data scientists can take part in data science competitors and marathons to win prizes.
Kaggle - Kaggle offers innovative business results and solutions to companies.
DataSource.ai - Community-funded data science tournaments