User Joshua Grosso Reinstate CMs - Code Review Meta Stack Exchange

As of May 31, 2023, we have updated our Code of Conduct.

Joshua Grosso Reinstate CMs

Member for 8 years, 5 months
Last seen more than 3 years ago

Stats

203

reputation

0

reached

0

answers

0

questions

Loading…

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.

1

silver badge

Yearling

Nov 14, 2019

1

bronze badge

Autobiographer

Jan 21, 2016

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'