https://pinboard.in/u:miikka/public/ recent bookmarks from miikka 2020-02-12T06:25:12+00:00 https://www.logicmatters.net/tyl/ miikkalogic books math mathematical-logic https://pinboard.in/ https://pinboard.in/u:miikka/b:14e62af9a8ea/ 2019-08-19T05:03:21+00:00 https://herbie.uwplse.org/ miikkamath floating-point numeric programming https://pinboard.in/ https://pinboard.in/u:miikka/b:e21989c7d8ac/ 2019-07-31T10:51:29+00:00 http://www.cis.upenn.edu/~jean/math-basics.pdf miikkamath book https://pinboard.in/ https://pinboard.in/u:miikka/b:1110475b5d2e/ 2018-11-17T18:35:04+00:00 http://jdh.hamkins.org/alan-turing-on-computable-numbers/ miikka math computable-reals Turing https://pinboard.in/u:miikka/b:5cffac5492b7/ 2017-11-29T09:03:36+00:00 http://staffhome.ecm.uwa.edu.au/~00043886/humour/invalid.proofs.html miikkamath proof humor https://pinboard.in/ https://pinboard.in/u:miikka/b:b6c55ae6dd26/ 2017-11-22T10:13:07+00:00 https://zbmath.org/ miikkamath reference https://pinboard.in/ https://pinboard.in/u:miikka/b:5c3f2814ff9a/ 2015-05-10T19:22:50+00:00 http://jdh.hamkins.org/transfinite-epistemic-logic-puzzle-challenge/ miikkapuzzle math https://instapaper.com/ https://pinboard.in/u:miikka/b:6ff6057a203e/ 2015-01-16T11:29:20+00:00 https://gitorious.org/lysa/lysa/source/a81b34c6084123881c5fc344617eed4c076a05e4: miikkamath algebra book https://pinboard.in/ https://pinboard.in/u:miikka/b:e5d15c155743/ 2015-01-13T08:44:49+00:00 http://www.vdash.org/formal/ miikkaformal-math math https://pinboard.in/ https://pinboard.in/u:miikka/b:32921964d049/ 2014-12-25T19:17:28+00:00 http://www.johndcook.com/blog/category_theory/ miikka math categorytheory reference graph https://pinboard.in/ https://pinboard.in/u:miikka/b:2095f6e151e1/ 2014-12-17T22:20:39+00:00 http://ilyasergey.net/pnp/ miikkacoq math proof https://pinboard.in/ https://pinboard.in/u:miikka/b:4ffc6dc9316d/ 2014-12-08T14:07:30+00:00 http://mizar.org/ miikkamath programming proof https://pinboard.in/ https://pinboard.in/u:miikka/b:6fad70cdab49/ 2014-11-10T09:58:42+00:00 http://www.cs.nyu.edu/pipermail/fom/ miikkamailing-list math https://pinboard.in/ https://pinboard.in/u:miikka/b:d7381387a925/ 2014-10-26T14:28:21+00:00 http://people.math.sfu.ca/~cbm/aands/ miikkamath book reference function https://pinboard.in/ https://pinboard.in/u:miikka/b:e03b046e6969/ 2014-10-09T16:16:08+00:00 http://nautil.us/issue/17/big-bangs/how-i-rewired-my-brain-to-become-fluent-in-math-rd miikkamath learning intuition fluency https://instapaper.com/ https://pinboard.in/u:miikka/b:083b9415036e/ 2014-09-21T18:29:34+00:00 http://www.heidelberg-laureate-forum.org/de/laureate/alexander-grothendieck/ miikkamath photo https://instapaper.com/ https://pinboard.in/u:miikka/b:ed09ce30f738/ 2014-06-27T18:48:23+00:00 http://euclidthegame.org/Level1.html miikkageometry math game https://pinboard.in/ https://pinboard.in/u:miikka/b:b6656d1d0608/ 2014-03-06T09:52:30+00:00 http://www.cs.cmu.edu/~rwh/courses/hott/ miikka math hott course https://pinboard.in/ https://pinboard.in/u:miikka/b:396e4bb34084/ 2014-02-09T09:06:36+00:00 http://tieknots.johanssons.org/ miikka tie knot via:antifuchs math https://pinboard.in/u:miikka/b:4481da5d5857/ 2013-12-12T11:09:21+00:00 http://www.refsmmat.com/statistics/ miikka statistics research math science book https://pinboard.in/ https://pinboard.in/u:miikka/b:5970599662b7/ 2013-04-01T09:39:24+00:00 http://www.ubu.com/outsiders/365/2003/260.shtml miikkamath music via:trivium https://pinboard.in/ https://pinboard.in/u:miikka/b:80489d3a481b/ 2013-03-27T20:03:35+00:00 http://highlights-conference.org/ miikkalogic games automata math conference https://pinboard.in/ https://pinboard.in/u:miikka/b:3624f8f08c17/ 2013-02-11T17:52:54+00:00 http://www.eukleides.org/ miikka math geometry drawing plotting https://pinboard.in/ https://pinboard.in/u:miikka/b:2b9cd05a2d39/ 2012-12-17T12:03:41+00:00 http://jeff560.tripod.com/mathsym.html miikkasymbols history typography via:trivium math https://pinboard.in/ https://pinboard.in/u:miikka/b:467cd45c705c/ 2012-12-15T18:30:00+00:00 http://sympy.org/en/index.html miikkapython symbolic math https://pinboard.in/ https://pinboard.in/u:miikka/b:595afffb4ddb/ 2012-12-13T19:36:24+00:00 http://www.evanmiller.org/mathematical-hacker.html miikkaprogramming essay fortran lisp math https://instapaper.com/ https://pinboard.in/u:miikka/b:0754ede57976/ 2012-12-12T17:02:43+00:00 http://planetmath.org/encyclopedia/MoreExamplesOfPrimitiveRecursiveFunctions.html miikkarecursion µ-recursion primitive-recursion math https://pinboard.in/ https://pinboard.in/u:miikka/b:866f4697a954/ 2012-12-12T17:02:24+00:00 http://planetmath.org/?op=getobj&id=11973&from=objects miikkarecursion µ-recursion primitive-recursion math https://pinboard.in/ https://pinboard.in/u:miikka/b:464f5ea56864/ 2012-12-02T20:27:05+00:00 https://gist.github.com/4158578 miikkastudying math https://instapaper.com/ https://pinboard.in/u:miikka/b:43b2ffd8c49a/ 2012-11-03T08:55:09+00:00 http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ miikkalogic proof intuitionism math https://pinboard.in/ https://pinboard.in/u:miikka/b:54130bf7641c/ 2012-10-31T09:44:12+00:00 http://ted.io/freges-numbers.html miikka frege math logic https://pinboard.in/ https://pinboard.in/u:miikka/b:bb196b740189/ 2011-11-21T09:29:15+00:00 http://www.futilitycloset.com/2011/10/22/the-pizza-theorem/ miikkapizza humor math https://pinboard.in/ https://pinboard.in/u:miikka/b:fac140dc667a/ 2011-10-17T06:30:21+00:00 http://www.lhup.edu/~dsimanek/pseudo/fibonacc.htm miikka fibonacci goldenratio math via:trivium https://pinboard.in/ https://pinboard.in/u:miikka/b:9a09e00a4243/ 2010-11-15T06:41:03+00:00 http://scottaaronson.com/blog/?p=29 miikka science math computerscience https://instapaper.com/ https://pinboard.in/u:miikka/b:19cf863f48ca/ 2010-11-15T05:40:00+00:00 http://www.gksoft.com/a/fun/catch-lion.html miikka math humor https://pinboard.in/ https://pinboard.in/u:miikka/b:ea312ad92dbe/ 2010-11-11T14:49:17+00:00 http://www.monad.me.uk/stable/Proofs+Types.html miikka math prooftheory lambdacalculus logic book textbook https://pinboard.in/ https://pinboard.in/u:miikka/b:8ef562a69d8a/ 2010-11-04T20:07:15+00:00 http://pozorvlak.livejournal.com/48494.html miikka math categorytheory https://pinboard.in/ https://pinboard.in/u:miikka/b:83bb6b8a6b25/ 2010-10-12T06:11:28+00:00 http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory miikkasettheory math https://pinboard.in/ https://pinboard.in/u:miikka/b:2f02c72fced5/ 2010-10-12T06:11:20+00:00 http://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers miikkasettheory math https://pinboard.in/ https://pinboard.in/u:miikka/b:081cecf00cd8/ 2010-09-22T13:25:30+00:00 http://rjlipton.wordpress.com/2010/09/12/how-to-present-a-big-result/ miikkamath https://instapaper.com/ https://pinboard.in/u:miikka/b:e16610c8e0d1/ 2010-08-22T10:50:05+00:00 http://mathoverflow.net/questions/22299/what-are-some-examples-of-colorful-language-in-serious-mathematics-papers/22387 miikka math humor https://twitter.com/ https://pinboard.in/u:miikka/b:e4063db5327e/ 2010-08-09T12:06:26+00:00 http://web.stonehill.edu/compsci/History_Math/math-read.htm miikkamath https://instapaper.com/ https://pinboard.in/u:miikka/b:673c587e76d7/ 2010-08-02T13:25:16+00:00 http://www-history.mcs.st-and.ac.uk/ miikkahistory math https://pinboard.in/ https://pinboard.in/u:miikka/b:6073f8b4d731/ 2010-07-28T13:28:46+00:00 http://www.ee.oulu.fi/~topiolli/mathdict/ miikkamath dictionary english finnish https://pinboard.in/ https://pinboard.in/u:miikka/b:9fe2bd344d70/ 2010-07-27T14:33:57+00:00 http://answers.yahoo.com/question/index?qid=20090412132217AAuqmjt miikka wtf math humor https://twitter.com/ https://pinboard.in/u:miikka/b:60e3b6ca2f3a/ 2010-07-14T23:07:03+00:00 http://sites.google.com/site/steveyegge2/math-every-day miikkamath rant https://instapaper.com/ https://pinboard.in/u:miikka/b:4a7cbd17a891/ 2010-07-08T10:17:56+00:00 http://journals.cambridge.org/action/displayFulltext?type=1&fid=4931240&aid=4931232 miikka math algebra axiomofchoice https://pinboard.in/ https://pinboard.in/u:miikka/b:12fcad01b874/ 2009-12-01T10:34:59+00:00 http://www.vdash.org/ miikka math wiki https://twitter.com/ https://pinboard.in/u:miikka/b:afa10378904e/ 2009-12-01T09:38:49+00:00 http://www.tricki.org/ miikka math wiki https://twitter.com/ https://pinboard.in/u:miikka/b:c18211128727/ 2008-10-27T15:26:10+00:00 http://terrytao.wordpress.com/career-advice/ miikkamath education research science tips advice career https://pinboard.in/u:miikka/b:5592a688bc29/ 2007-08-23T11:46:48+00:00 http://linear.ups.edu/ miikkalinear algebra book math education https://pinboard.in/u:miikka/b:41c4dcbdadd9/ 2007-08-21T08:40:05+00:00 http://code.google.com/p/dimensional/ miikkahaskell math physics library programming software https://pinboard.in/u:miikka/b:87b6dc043f43/ 2007-08-15T06:48:23+00:00 http://thinkinghard.com/math/integers/PrimeShooter.html miikkafun math game https://pinboard.in/u:miikka/b:dd00a01c6c1d/ 2007-03-22T08:52:57+00:00 http://www.math.gatech.edu/~cain/textbooks/onlinebooks.html miikkamath book library https://pinboard.in/u:miikka/b:ac7ea013e309/