User Joshua Grosso Reinstate CMs - Computer Science Meta Stack Exchange

Joshua Grosso Reinstate CMs

Member for 7 years, 2 months
Last seen more than 1 year ago

Stats

183

reputation

0

reached

0

answers

0

questions

Communities

About

Senior at Caltech, BS '23 (Computer Science). Ex-professional web developer.

Loves Haskell (and functional programming in general) and, recently, Coq.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

2

bronze badges

Supporter

Jun 9, 2021
Autobiographer

Sep 29, 2017

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'