## HoTT Coq

Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously)
posted by kliuless on Jun 9, 2015 - 13 comments

## 3Blue1Brown: Reminding the world that math makes sense

Understanding e to the pi i - "An intuitive explanation as to why e to the pi i equals -1 without a hint of calculus. This is not your usual Taylor series nonsense." (via via; reddit; previously)
posted by kliuless on Jun 6, 2015 - 28 comments

## Two farts, both alike in dignity/In fair Hoboken, where we lay our scene

posted by not_on_display on Sep 30, 2014 - 14 comments

## Dynetzzle

A standard 6 sided die is a cube. It has eleven nets. The sum of the numbers on opposite faces of a die is 7.
posted by Elementary Penguin on Jan 30, 2014 - 26 comments

## binding the andat

Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower."
posted by kliuless on Dec 1, 2013 - 16 comments

## What-If Numbers

XKCD/What If's Randall Munroe brings meaning to numbers. As a by-product. Of his day-to-day research. For your day-to-day entertainment.
posted by aniola on Feb 6, 2013 - 22 comments

## Number Simulation

Number simulation, because it is Friday.
posted by Kale Slayer on Sep 14, 2012 - 50 comments

## We Don't Pee!

The Tony Awards' 2012 Opening Number - What If Life Were More Like Theater? - with Neil Patrick Harris, Patti LuPone, Amanda Seyfried, and Jesse Tyler Ferguson
posted by The Whelk on Jul 5, 2012 - 60 comments

## Human Resource 3,766,707,775

posted by TangerineGurl on Oct 27, 2011 - 67 comments

## 47

47 is a magical number. It has appeared more than a few times on Star Trek, Alias, and in many films.
The 47 society is dedicated to exploring the phenomenon that is 47.
posted by finite on Sep 29, 2011 - 84 comments

## Cannabis culture

Cannabis Culture
posted by twoleftfeet on Apr 3, 2011 - 59 comments

## Finite formula found for partition numbers

New math theories reveal the nature of numbers [1,2] - "We prove that partition numbers are 'fractal' for every prime. These numbers, in a way we make precise, are self-similar in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (/.|via)
posted by kliuless on Jan 22, 2011 - 45 comments

## 129,864,880 books

How many books are there? 129,864,880.
posted by Joe Beese on Aug 5, 2010 - 68 comments

## Jake Fogelnest's phone # is 646-484-5323

Jake Fogelnest, VH1, Sirius, MTV, SNL writer, puts his phone number on the Internet.
posted by rageagainsttherobots on May 18, 2009 - 34 comments

## Make all your phones ring at once

GrandCentral: Have a cell phone, a work phone and a business phone? This free service gives you one number that will ring all of them at once. Reviews: Slate, NYT, CNET
posted by Pater Aletheias on May 30, 2007 - 22 comments

## I wonder if it's in NP?

Blood, guts, and glory in no holds barred MIT number fight.
posted by Alex404 on Feb 3, 2007 - 14 comments

## random(1-100)

Please pick a random number between 1 and 100 (Explanation follows after filling out a short form.)
posted by kika on Aug 28, 2006 - 146 comments

## XXVII

27: About, Conspiracy theories regarding, Photographs of, Weird Al and
posted by Plutor on Apr 18, 2006 - 45 comments

## JCB Song Revisited

Remember the JCB Song? [Warning: Flash and Heart Warming Cuteness] Well they're going for a much coveted Christmas Number 1! Their single is released December 12th in the UK.
Non-UK residents may be unfamiliar with the Christmas Number 1 phenomenon - Being #1 in the music charts on Christmas Day - guaranteeing near-constant air-play and exposure. Disclaimer: Not affiliated with the band. Just sick of rubbish xmas #1s.
posted by lemonfridge on Nov 22, 2005 - 22 comments

## megapenny project

The Humble Penny? A site to help visualize large numbers with the common US coin. And to think I've been cursing them for so long. If I'd saved 10 million of the little buggars I'd have \$100k.
posted by yoga on Dec 7, 2002 - 15 comments

## Can't remember your phone number?

Can't remember your phone number? At the phonespell.org website you can get a list of all the possible word combinations made by your phone number. If you have 1's and 0's in your number, the possibilities are fewer.
posted by altojen on Feb 26, 2002 - 34 comments

Page: 1