
code releases


Symbolic testing with Halmos: Leveraging existing tests for formal verification
by
Daejun Park

Hidden in Plain Sight: A Sneaky Solidity Implementation of a Sealed-Bid Auction
by
Michael Zhu

Building Helios: Fully trustless access to Ethereum
by
Noah Citron
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