a16z crypto
Crypto News & Regulatory Roundup: January 13, 2023 – February 03, 2023
Symbolic testing with Halmos: Leveraging existing tests for formal verification
Token design: Mental models, capabilities, and emerging design spaces
Tech Topics
- AI, machine & deep learning
- American Dynamism
- APIs
- autonomous cars & drones
- bio + health
- China
- CLF
- cloud computing
- code releases
- consumer
- crypto & web3
- design
- Digital Health Builders
- ecommerce
- education
- enterprise & SaaS
- fintech
- gaming, social, and new media
- innovation clusters
- Marketplace 100
- marketplaces
- mobile (& messaging)
- networking
- news
- online communities
- open source
- policy & regulation
- quantum computing
- security & privacy
- Software development
- the creator economy
- virtual & augmented reality