Skyward
Home
Resume
David
Lite
Search
Beyond awesome | 越而胜己
PL Theory
6 posts
Replicating the Thompson Hack
by
Kyle Yan
a month ago
Fun
Review: Formal verification of a realistic compiler
by
Kyle Yan
a year ago
Paper Review
Review: Reflections on Trusting Trust
by
Kyle Yan
a year ago
Paper Review
Review: Social Processes and Proofs of Programs
by
Kyle Yan
a year ago
Paper Review
Review: Use of Formal Methods at Amazon Web Services
by
Kyle Yan
a year ago
Paper Review
Fixed Point Theorem 不动点定理
by
Kyle Yan
a year ago
PL Theory
Load more
You’ve successfully subscribed to Skyward
Welcome back! You’ve successfully signed in.
Great! You’ve successfully signed up.
Your link has expired
Success! Check your email for magic link to sign-in.
Please enter at least 3 characters
0
Results for your search
May we suggest a tag?
Notes
Algorithm
Leetcode
Processing
PL Theory
Paper Review
Game Review
Graph
CSS
Web
Fun
DP
Stories
Guide
Writing
Math
Game Design
Graphics
German
Film Review
May we suggest an author?
Kyle Yan