Mathematics
Alex Reinking's user avatar
Alex Reinking's user avatar
Alex Reinking's user avatar
Alex Reinking
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
563
reputation
11k
reached
2
answers
4
questions
Communities
View all
About

I'm a programming languages researcher at Qualcomm AI Research.

I am a maintainer of the Halide programming language. In the past, I worked on Koka, specifically the Perceus reference counting system. I also wrote the compiler for the P programming language at Microsoft.

I got my PhD in Computer Science from UC Berkeley in 2022, advised by Jonathan Ragan-Kelley.

I play guitar and I'm a bit of a food science nerd.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
15
bronze badges
Top tags
View all tags
33
Score
2
Posts
33
Posts %
33
Score
2
Posts
33
Posts %
33
Score
2
Posts
33
Posts %
33
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
answer
19
Is there a fast way to prove a symmetric tridiagonal matrix is positive definite?
May 11, 2018
answer
14
Is there a fast way to prove a symmetric tridiagonal matrix is positive definite?
May 11, 2018
question
5
Does there always exist a strictly increasing function from $\mathbb{R}$ to $\mathbb{R}$ less a countably infinite set?
Sep 10, 2018
question
4
Variance of drawing coins from a bag.
Jan 24, 2014
question
2
Conformal map from exterior of unit circle to upper half plane
Apr 2, 2014
question
1
Probability everyone else has a club when I have two clubs?
Apr 17, 2017
Top network posts
View all network posts
129
Why are professors' websites so ugly?
115
How do I write a maintainable, fast, compile-time bit-mask in C++?
74
When should a commit not be version tagged?
65
How to return to software engineering after pursuing another interest for six years?
57
Exchanging co-authorship for proofreading?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.