Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Back to MathOverflow Return to the main site
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • What's Meta? How Meta is different from the main site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • MathOverflow
      help chat
    • MathOverflow Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
MathOverflow
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Main user
Network profile
313
reputation
1
1

Ben Millwood

Previous name: benmachine.

I did an undergraduate degree in mathematics (focusing on logic) and am now a full time programmer. I write Haskell for fun and OCaml for money.

  • Member for 8 years, 5 months
  • 2 profile views
  • Last seen Nov 6 '19 at 13:57

Communities (35)

  • Mathematics 13.1k 13.1k 33 gold badges2626 silver badges5757 bronze badges
  • Stack Overflow 6.4k 6.4k 2121 silver badges4343 bronze badges
  • Puzzling 807 807 66 silver badges1010 bronze badges
  • Computer Science 519 519 22 silver badges1212 bronze badges
  • Academia 347 347 11 silver badge66 bronze badges
  • View network profile

Top network posts

  • 267 One question to know if the number is 1, 2 or 3
  • 231 Can the golden ratio accurately be expressed in terms of $e$ and $\pi$
  • 54 In the 100 blue eyes problem - why is the oracle necessary?
  • 51 Prove that the product of four consecutive positive integers plus one is a perfect square
  • 49 Do $3/8$ (37.5%) of Quadratics Have No $x$-Intercepts?
  • 37 Haskell line of code not compiling: "Illegal datatype context"
  • 36 Do Hask or Agda have equalisers?
  • View more network posts →

Keeping a low profile.

This user hasn't posted yet.

Badges (2)

Gold

—

Silver

1

Rarest

  •  Yearling
    Oct 3 '14

Bronze

1

Rarest

  •  Autobiographer
    Sep 24 '14
MathOverflow Meta
  • Help
  • Chat
  • Contact
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.2.26.38670