Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Ben Millwood
I'm frequently also known by the name benmachine, but I'm trying to phase that out.
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
36
votes
Do Hask or Agda have equalisers?
haskell
agda
category-theory
asked Feb 24 '13 at 1:44
stackoverflow.com
31
votes
Lax monoidal functors with a different monoidal structure
haskell
functor
applicative
category-theory
asked Apr 26 '14 at 20:38
stackoverflow.com
23
votes
Categorisation of type systems (strong/weak, dynamic/static)
reference-request
programming-languages
type-theory
asked Jun 9 '12 at 15:07
cs.stackexchange.com
19
votes
Do the adjoint functor theorems usefully dualise?
category-theory
adjoint-functors
asked May 21 '13 at 11:02
math.stackexchange.com
17
votes
Reverse order of words in a string inplace
code-challenge
algorithm
asked May 11 '14 at 14:08
codegolf.stackexchange.com
14
votes
Is “cofunctor” an accepted term for contravariant functors?
reference-request
category-theory
terminology
asked May 17 '13 at 13:25
math.stackexchange.com
13
votes
Is it possible to get hold of free theorems as propositional equalities?
agda
asked Jul 13 '14 at 0:44
stackoverflow.com
12
votes
Simple example for ImpredicativeTypes
haskell
impredicativetypes
asked Dec 26 '12 at 22:50
stackoverflow.com
10
votes
How do I use cabal's MIN_VERSION_ and other macros with ghci?
haskell
cabal
ghci
asked Sep 22 '12 at 18:52
stackoverflow.com
10
votes
Using Replacement to prove transitive closure is a set without recursion
set-theory
asked May 27 '12 at 18:27
math.stackexchange.com
1
2
3
next
Top Answers
263
One question to know if the number is 1, 2 or 3
math.stackexchange.com
231
Can the golden ratio accurately be expressed in terms of $e$ and $\pi$
math.stackexchange.com
54
In the 100 blue eyes problem - why is the oracle necessary?
puzzling.stackexchange.com
51
Prove that the product of four consecutive positive integers plus one is a perfect square
math.stackexchange.com
49
Do $3/8$ (37.5%) of Quadratics Have No $x$-Intercepts?
math.stackexchange.com
37
Haskell line of code not compiling: “Illegal datatype context”
stackoverflow.com
34
Why are box topology and product topology different on infinite products of topological spaces?
math.stackexchange.com
33
Intuition behind the Definition of Conditional Probability (for 2 Events)
math.stackexchange.com
33
`String' is applied to too many type arguments
stackoverflow.com
31
Can we introduce new operations that make quintics solvable?
math.stackexchange.com
23
What are the ethics of having children today?
philosophy.stackexchange.com
23
Proof that $\mathbb N $ is finite
math.stackexchange.com
22
How irrational quantities physically exist in nature?
math.stackexchange.com
21
How do I use cabal's MIN_VERSION_ and other macros with ghci?
stackoverflow.com
20
Idiom for magic object (or idea) that fixes everything
english.stackexchange.com
20
Haskell : display/get list of all user defined functions
stackoverflow.com
18
Defeating Russell's paradox
math.stackexchange.com
18
$\lim\limits_{n \to{+}\infty}{\sqrt[n]{n!}}$ is infinite
math.stackexchange.com
17
What's so bad about Lazy I/O?
stackoverflow.com
17
$\mathbb{Z}[X]/(X^2-1)$ is not isomorphic with $\mathbb{Z}\times \mathbb{Z}$
math.stackexchange.com
16
Whats the syntax for the coproduct (disjoint union) of types in Haskell?
stackoverflow.com
15
Moral dilemma in unwittingly being paid to complete a student's work
academia.stackexchange.com
15
Why is numCapabilities a pure function?
stackoverflow.com
15
Defining a function by equations with different number of arguments
stackoverflow.com
15
What is an extremely basic asymmetric cipher that I can present at the pub?
cs.stackexchange.com
14
Fundamental group as a functor
math.stackexchange.com
12
GHC package conflicts
stackoverflow.com
12
Find $f$ where $f'(x) = f(1+x)$
math.stackexchange.com
11
Help with proof that $I = \langle 2 + 2i \rangle$ is not a prime ideal of $Z[i]$
math.stackexchange.com
10
Is it possible to force a type to a class in Haskell?
stackoverflow.com
1
2
3
4
next
Stack Exchange works best with JavaScript enabled