User Experience
Joshua Grosso's user avatar
Joshua Grosso's user avatar
Joshua Grosso's user avatar
Joshua Grosso
  • Member for 7 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

First-year Ph.D. student in programming languages at Carnegie Mellon University, advised by Karl Crary. Did my undergrad at Caltech, BS '23 Computer Science. Ex-professional web developer.

Loves functional programming and interactive theorem proving.

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.