Literature
Joshua Grosso Reinstate CMs's user avatar
Joshua Grosso Reinstate CMs's user avatar
Joshua Grosso Reinstate CMs's user avatar
Joshua Grosso Reinstate CMs
  • Member for 1 year, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

First-year Ph.D. student at Carnegie Mellon University (did my undergrad at Caltech, BS '23 Computer Science). Ex-professional web developer.

Loves functional programming (especially Haskell) and interactive theorem proving (especially Agda).

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
103
webpack is not recognized as a internal or external command,operable program or batch file
23
package-refresh-contents hangs at Contacting host: elpa.gnu.org:80
11
RSpec testing Devise Mailer
11
Proof assistants with dynamic scope/local instances/etc.?
5
Boost - Cannot open include file: 'ctype.h'

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.