Home

Latest post: make a SAT solver faster.

• YouTube
• GitHub
• X
• Google Scholar
• Medium
• Goodreads
• Strava
• Co-working Calendar
• Anonymous Feedback
• Wikipedia
• Substack