Stack Exchange

Ben Millwood

Age: 22

I'm frequently also known by the name benmachine, but I'm trying to phase that out.

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
35
To prove : Perfect square
math.stackexchange.com

20
Proof that $\mathbb N $ is finite
math.stackexchange.com

12
Why is numCapabilities a pure function?
stackoverflow.com

11
Fundamental group as a functor
math.stackexchange.com

10
What's so bad about Lazy I/O?
stackoverflow.com

9
Is addition more fundamental than subtraction?
math.stackexchange.com

9
Find $f$ where $f'(x) = f(1+x)$
math.stackexchange.com

9
How to express inequality between variables?
math.stackexchange.com

8
Is it possible to force a type to a class in Haskell?
stackoverflow.com

8
text GHC only, aeson Portable?
stackoverflow.com

7
Formal proof for $(-1) \times (-1) = 1$
math.stackexchange.com

7
Is this function possible?
stackoverflow.com

7
GHC package conflicts
stackoverflow.com

7
What type is chosen for a polymorphic expression when printed?
stackoverflow.com

7
Haskell - Need help understanding this split function
stackoverflow.com

7
Whats the syntax for the coproduct (disjoint union) of types in Haskell?
stackoverflow.com

6
$ \lim\limits_{n \to{+}\infty}{\sqrt[n]{n!}}$ is infinite
math.stackexchange.com

6
Unit elements in Hurwitz quaternions
math.stackexchange.com

6
Factorise the determinant $\det\Bigl(\begin{smallmatrix} a^3+a^2 & a & 1 \\ b^3+b^2 & b & 1 \\ c^3+c^2 & c &1\end{smallmatrix}\Bigr)$
math.stackexchange.com

6
Is this differential equation separable??
math.stackexchange.com

6
How do I find the elements of $S=\langle (12),(1324)\rangle$?
math.stackexchange.com

6
`String' is applied to too many type arguments
stackoverflow.com

6
Haskell: How to generate a cartesian product of two simple algebraic data types
stackoverflow.com

5
How to find eigenvalues and eigenvectors of Laplace operator?
math.stackexchange.com

5
Does the functor law about preserving identity follow from other laws?
math.stackexchange.com

5
Does this isomorphism hold?
math.stackexchange.com

5
State Monads in Haskell
stackoverflow.com

5
Making VectorSpace.Scalar instance of Eq
stackoverflow.com

5
Truly unordered foldable bag
stackoverflow.com

5
How can I uninstall a version of a Cabal package?
stackoverflow.com

1 2