Skip to main content
Code Review
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 7 years, 7 months
  • Last seen more than a month ago
  • Menlo Park, CA, United States
Profile Activity
Stats
439
reputation
4k
reached
3
answers
11
questions
Communities
View all
About

I am a software engineer. I study math as a hobby.

I'm currently studying logic and commutative algebra.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
12
bronze badges
Top tags
View all tags
4
Score
2
Posts
14
Posts %
4
Score
1
Posts
7
Posts %
4
Score
1
Posts
7
Posts %
4
Score
1
Posts
7
Posts %
4
Score
1
Posts
7
Posts %
1
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
8
Executable wrapper around Perl script on Windows
Oct 26, 2018
7
Coq proof that type isomorphism relationship is transitive
Jun 29, 2017
6
OCaml safe uninitialized array
Dec 8, 2017
5
Simple Prefix Matching Library in Haskell
Mar 5, 2017
5
wrapper for common subset of auto_ptr and unique_ptr API
Mar 19, 2019
5
C++11 min-heap with configurable arity
Apr 4, 2019
4
Perl module validate quoted string literal, test with Test::LectroTest
Dec 23, 2016
4
Vanilla Markov chain in 18 lines
Dec 23, 2016
4
Mass build and save of docker images
Mar 6, 2017
3
C++ header only library for interval arithmetic (only supports addition)
Mar 27, 2017
Top Meta posts
1
0
8
Is it okay to ask for feedback on code you modified extensively but aren't the original author of?
Top network posts
View all network posts
38
What is predicativity?
37
How to install Python 3.6?
35
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
23
Language features for making code easier to unit test
19
Is a topology recoverable from its set of neighborhoods?