Skip to main content

Xinyu MaResume Publications Talks Projects Knowledge Base Blog

Recent posts

2022

Local and Global in Math
Rational Points of Elliptic Curves
Some Notes on Playing C++ Coroutine

2021

Two's complement and 2-adic number
CS 219: Network Verification - Course Review
Authentication and Authorization
MATH 220BC: Mathematical Logic - Course Review

2020

MATH 206A: Combinatorics - Course Review
Polynomial Algorithms
Chess Picking Problem

Authors

Xinyu Ma
19
Research Scientist @ Meta

Copyright © 2025 Xinyu Ma. Built with Docusaurus.