Skeptics
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky
  • Member for 4 years, 11 months
  • Last seen this week
Profile Activity
Stats
801
reputation
13k
reached
1
answer
0
questions
Communities
View all
About

Type systems, pure functional programming, and generative art. During the day, I'm a compiler engineer working on the OCaml compiler at Jane Street. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. (he/him/his)

Badges
View all badges
1
gold badge
5
silver badges
8
bronze badges
Top tags
113
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
113
Is the quote "Your mind is software. Program it. Your body is a shell. Change it. Death is a disease. Cure it." attributable to Peter Thiel?
Aug 24, 2021
Top network posts
View all network posts
377
Is it safe to assume a GUID will always be unique?
260
Getting associated type synonyms with template Haskell
173
C/C++ Struct vs Class
164
Is there a BNF grammar of the TeX language?
162
How can I draw simple trees in LaTeX?

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.