Raymond Deng's Projects
World scale consensus + distributed satellite coordination
Energy based models and JEPA architectures for self-supervised learning
Applied category theory library in several languages
AI agentic workflows in permissionless environments
Advanced algorithms and data structures in several languages
Database-oriented operating system
Geo-distributed in-memory key value stores
Capitan module to benchmark metalanguage capabilities
A collection of New Grad full time roles in SWE, Quant, and PM.
microprocessor protocols + Haar face detection
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
An LTI tool provider to run Numbas exams
Plaid Link Webview, ReactNative examples
TLA+ verification of distributed systems
A framework for building native apps with React.
Source code for React Quickly [Manning, 2017]: Painless Web Apps with React, JSX, Redux, and GraphQL 📕
Distributed futures through just-in-time dataflow analysis
Differentially private retriever using transformer memory as a search index for information retrieval
demo of client-side ML + webRTC
PouchDB plugin for modifying documents before and after storage in the database.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Unified optimal transport framework for universal domain adaptation
Free Code Camp's wiki articles
Modular Transformers with automatic code generation
Zero-knowledge TCP/IP networking stack in several languages