Sum Types, Product Types, Pattern Matching, Type Safety
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·4d
Discretizing and quantizing neural nets
danmackinlay.name·2d
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·2d
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.org·2d
Loading...Loading more...