Mike Benfield

top accounts reputation activity subscriptions

Intuition in algebra?

abstract-algebra soft-question intuition asked Dec 11, 2010 at 15:17

math.stackexchange.com

49 votes

What was with the historical typedef soup for integers in C programs?

c asked Apr 14, 2017 at 7:39

stackoverflow.com

35 votes

Why should I care about fields of positive characteristic?

abstract-algebra field-theory asked Aug 2, 2010 at 17:10

math.stackexchange.com

17 votes

Haskell type level literal Nat: status?

haskell dependent-type asked Aug 10, 2015 at 11:31

stackoverflow.com

11 votes

Is it possible to debug x64 assembly on Mac OS?

osx debugging assembly asked Jun 12, 2017 at 7:19

stackoverflow.com

10 votes

Exercise from Eisenbud & Harris's The Geometry of Schemes

algebraic-geometry asked Oct 30, 2010 at 2:17

math.stackexchange.com

6 votes

Haskell / GHC: Unsafely deconstruct a constructor?

performance haskell asked Aug 16, 2015 at 12:07

stackoverflow.com

5 votes

Minimal example using LLVM's C API yields error: function and module have different contexts

c llvm asked May 26, 2019 at 20:27

stackoverflow.com

Top Answers

Can you make an instance of a class not for a type but for a whole class in Haskell?

stackoverflow.com

Too old for advanced mathematics?

mathoverflow.net

How do you motivate a precise definition to a student without much proof experience?

mathoverflow.net

Covariant derivative

math.stackexchange.com

Why is a topology made up of 'open' sets?

mathoverflow.net

Diffeomorphism from level set onto $S^2$

math.stackexchange.com

Minimal example using LLVM's C API yields error: function and module have different contexts

stackoverflow.com

Linear Algebra: What do vector spaces represent?

math.stackexchange.com

The problem of infinity

mathoverflow.net