41554 blogs · [ { "id": "01a08748-8e76-7067-a6cd-c6ed91a1f376", "title": "Diskless Paxos crash recovery", "url": "https://blog.ezyang.com/2011/08/diskless-paxos-crash-recovery/", "published_at": "2011-08-14T00:41:30+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed929db466", "title": "First impressions of module programming", "url": "https://blog.ezyang.com/2011/08/first-impressions-of-module-programming/", "published_at": "2011-08-05T09:00:21+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed92eecb00", "title": "In-program GC stats redux", "url": "https://blog.ezyang.com/2011/08/in-program-gc-stats-redux/", "published_at": "2011-08-03T09:00:08+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed93578cc6", "title": "Changes to IntMap", "url": "https://blog.ezyang.com/2011/08/changes-to-intmap/", "published_at": "2011-08-01T09:00:27+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed93fa4653", "title": "Food-related functional humor", "url": "https://blog.ezyang.com/2011/07/food-related-functional-humor/", "published_at": "2011-07-29T09:00:18+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed947f2599", "title": "BlockedIndefinitelyOnMVar", "url": "https://blog.ezyang.com/2011/07/blockedindefinitelyonmvar/", "published_at": "2011-07-27T09:00:08+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed94f71b7b", "title": "From data type definitions to code", "url": "https://blog.ezyang.com/2011/07/data-type-definitions-to-code/", "published_at": "2011-07-25T09:00:48+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed95abcef0", "title": "Variant types and GADTs", "url": "https://blog.ezyang.com/2011/07/variant-types-and-gadts/", "published_at": "2011-07-22T09:00:21+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9678cce1", "title": "In-program GC stats for GHC", "url": "https://blog.ezyang.com/2011/07/in-program-gc-stats-for-ghc/", "published_at": "2011-07-20T09:00:00+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9708ace2", "title": "Synthetic Git merges", "url": "https://blog.ezyang.com/2011/07/synthetic-git-merges/", "published_at": "2011-07-18T09:00:14+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed97a14518", "title": "Parallelism to plug space leaks", "url": "https://blog.ezyang.com/2011/07/parallelism-to-plug-space-leaks/", "published_at": "2011-07-15T09:00:26+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed981cd843", "title": "Facebook support for BarnOwl", "url": "https://blog.ezyang.com/2011/07/facebook-support-for-barnowl/", "published_at": "2011-07-13T09:00:15+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed985c6801", "title": "Grad School, Oh My", "url": "https://blog.ezyang.com/2011/07/grad-school-oh-my/", "published_at": "2011-07-11T09:00:07+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed994963d4", "title": "Cambridge retrospective: History and Philosophy of Science", "url": "https://blog.ezyang.com/2011/07/cambridge-hps/", "published_at": "2011-07-08T09:00:02+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed99961a99", "title": "A new vision for Mendeley", "url": "https://blog.ezyang.com/2011/07/a-new-vision-for-mendeley/", "published_at": "2011-07-06T09:00:54+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9a52c761", "title": "IVar leaks", "url": "https://blog.ezyang.com/2011/07/ivar-leaks/", "published_at": "2011-07-04T09:00:17+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9b233c70", "title": "Scheduling IVars", "url": "https://blog.ezyang.com/2011/07/scheduling-ivar/", "published_at": "2011-07-01T09:00:20+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9b6ea764", "title": "The IVar monad", "url": "https://blog.ezyang.com/2011/06/the-iva-monad/", "published_at": "2011-06-29T08:57:31+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9bce256d", "title": "Debugging compilers with optimization fuel", "url": "https://blog.ezyang.com/2011/06/debugging-compilers-with-optimization-fuel/", "published_at": "2011-06-27T09:00:49+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9c9b4f53", "title": "Multi-monitor xmobar placement on Gnome", "url": "https://blog.ezyang.com/2011/06/multi-monitor-xmobar-placement-on-nome/", "published_at": "2011-06-24T09:00:57+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9cbc2440", "title": "A Year of Notebooking (Part 2)", "url": "https://blog.ezyang.com/2011/06/a-year-of-notebooking-part-2/", "published_at": "2011-06-22T09:00:50+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9cd3517e", "title": "A Year of Notebooking (Part 1)", "url": "https://blog.ezyang.com/2011/06/a-year-of-notebooking-part-1/", "published_at": "2011-06-20T09:13:29+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9db990b7", "title": "A pattern for increasing sharing", "url": "https://blog.ezyang.com/2011/06/a-pattern-for-increasing-sharing/", "published_at": "2011-06-17T12:55:32+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9e385e03", "title": "On type synonyms", "url": "https://blog.ezyang.com/2011/06/on-type-synonyms/", "published_at": "2011-06-15T12:22:05+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9f096d42", "title": "A Taxonomy of Socialization on the Internet", "url": "https://blog.ezyang.com/2011/06/taxonomy-of-socialization-on-the-internet/", "published_at": "2011-06-13T11:19:01+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6ed9f71b830", "title": "Pinpointing space leaks in big programs", "url": "https://blog.ezyang.com/2011/06/pinpointing-space-leaks-in-big-programs/", "published_at": "2011-06-10T09:00:53+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda042a32a", "title": "Measurement, quantification and reduction", "url": "https://blog.ezyang.com/2011/06/measurement-quantification-and-reduction/", "published_at": "2011-06-08T09:00:26+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda1017dc8", "title": "What Philosophy of Science Can Say for Software Engineers", "url": "https://blog.ezyang.com/2011/06/philosophy-of-software-engineering/", "published_at": "2011-06-06T09:00:05+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda12edd53", "title": "The Cryptography of Bitcoin", "url": "https://blog.ezyang.com/2011/06/the-cryptography-of-bitcoin/", "published_at": "2011-06-03T09:00:11+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda15c7ba2", "title": "Bitcoin is not decentralized", "url": "https://blog.ezyang.com/2011/06/bitcoin-is-not-decentralized/", "published_at": "2011-06-01T07:00:52+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda225a34e", "title": "Chain Rule + Dynamic Programming = Neural Networks", "url": "https://blog.ezyang.com/2011/05/neural-networks/", "published_at": "2011-05-30T09:00:24+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda2ec5d4e", "title": "An insufficiently lazy map", "url": "https://blog.ezyang.com/2011/05/an-insufficiently-lazy-map/", "published_at": "2011-05-27T09:00:58+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda374156d", "title": "If it has lots of comments, it's probably buggy", "url": "https://blog.ezyang.com/2011/05/byron-cook-sla/", "published_at": "2011-05-25T09:00:04+00:00" }, { "id": "01a08748-8e76-7067-a6cd-c6eda412b4f1", "title": "Tail recursion makes your loops cleaner", "url": "https://blog.ezyang.com/2011/05/tail-recursion-makes-your-loops-cleaner/", "published_at": "2011-05-23T09:00:04+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c00fa83a1", "title": "Computing function composition", "url": "https://blog.ezyang.com/2011/05/computing-function-composition/", "published_at": "2011-05-20T09:00:50+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c017f33e3", "title": "Anatomy of a thunk leak", "url": "https://blog.ezyang.com/2011/05/anatomy-of-a-thunk-leak/", "published_at": "2011-05-18T08:29:19+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c01e66465", "title": "Space leak zoo", "url": "https://blog.ezyang.com/2011/05/space-leak-zoo/", "published_at": "2011-05-16T09:00:28+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0256ba2f", "title": "Reified laziness", "url": "https://blog.ezyang.com/2011/05/reified-laziness/", "published_at": "2011-05-13T21:45:11+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0346973b", "title": "Calling all space leaks", "url": "https://blog.ezyang.com/2011/05/calling-all-space-leaks/", "published_at": "2011-05-11T16:00:15+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c03c1f3d7", "title": "Bindings and CAFs on the Haskell Heap", "url": "https://blog.ezyang.com/2011/05/bindings-and-cafs-on-the-haskell-heap/", "published_at": "2011-05-09T11:23:43+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0410aaa3", "title": "How Aristotle got it WrongOn the importance of conceptual frameworks", "url": "https://blog.ezyang.com/2011/05/how-aristotle-got-it-wrongon-the-importance-of-conceptual-frameworks/", "published_at": "2011-05-06T09:00:35+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c04a4f8de", "title": "Unraveling the mystery of the IO monad", "url": "https://blog.ezyang.com/2011/05/unraveling-the-mystery-of-the-io-monad/", "published_at": "2011-05-04T09:00:24+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0523bbbb", "title": "Haskell: Not pure enough?", "url": "https://blog.ezyang.com/2011/05/haskell-not-pure-enough/", "published_at": "2011-05-02T09:00:06+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c061e7baf", "title": "How the Grinch stole the Haskell Heap", "url": "https://blog.ezyang.com/2011/04/how-the-grinch-stole-the-haskell-heap/", "published_at": "2011-04-29T07:31:26+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c062b922c", "title": "Functions produce the Haskell Heap", "url": "https://blog.ezyang.com/2011/04/functions-produce-the-haskell-heap/", "published_at": "2011-04-27T11:18:38+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c070a968e", "title": "Implementing the Haskell Heap in Python, v1", "url": "https://blog.ezyang.com/2011/04/implementing-the-haskell-heap-in-python-v1/", "published_at": "2011-04-25T09:00:47+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c07effe23", "title": "IO evaluates the Haskell Heap", "url": "https://blog.ezyang.com/2011/04/io-evaluates-the-haskell-heap/", "published_at": "2011-04-24T12:36:46+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c08821c0b", "title": "Evaluation on the Haskell Heap", "url": "https://blog.ezyang.com/2011/04/evaluation-on-the-haskell-heap/", "published_at": "2011-04-20T16:41:00+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c09631969", "title": "The Haskell Heap", "url": "https://blog.ezyang.com/2011/04/the-haskell-heap/", "published_at": "2011-04-18T09:00:46+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c09c3619f", "title": "Mailbox: Advice for a sup first-timer", "url": "https://blog.ezyang.com/2011/04/mailbox-advice-for-a-sup-first-timer/", "published_at": "2011-04-16T13:48:54+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0a99565e", "title": "Tracing the compilation of Hello Factorial!", "url": "https://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/", "published_at": "2011-04-13T12:27:18+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0b4811b4", "title": "Bugs from using the wrong variable", "url": "https://blog.ezyang.com/2011/04/bugs-from-using-the-wrong-variable/", "published_at": "2011-04-11T09:00:44+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0c358ec7", "title": "Hoopl: Dataflow analysis", "url": "https://blog.ezyang.com/2011/04/hoopl-dataflow-analysis/", "published_at": "2011-04-08T21:07:34+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0c79732b", "title": "Type Kata: Local data type", "url": "https://blog.ezyang.com/2011/04/type-kata-local-data-type/", "published_at": "2011-04-05T06:20:52+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0d0883f1", "title": "Hoopl: Dataflow lattices", "url": "https://blog.ezyang.com/2011/04/hoopl-dataflow-lattices/", "published_at": "2011-04-04T09:00:31+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0d438985", "title": "Hoopl guided tour: Base system", "url": "https://blog.ezyang.com/2011/04/hoopl-guided-tour-base-system/", "published_at": "2011-04-01T09:00:44+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0e05ca86", "title": "GHC migrating to Git", "url": "https://blog.ezyang.com/2011/03/ghc-migrating-to-git/", "published_at": "2011-03-30T09:00:46+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0e786c2e", "title": "HTML Purifier 4.3.0 released", "url": "https://blog.ezyang.com/2011/03/html-purifier-4-3-0-released/", "published_at": "2011-03-28T09:00:39+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0ee4f7e7", "title": "Ely Cycles", "url": "https://blog.ezyang.com/2011/03/ely-cycles/", "published_at": "2011-03-25T09:00:00+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c0fda146c", "title": "Interleaving stream processors", "url": "https://blog.ezyang.com/2011/03/interleaving-stream-processor/", "published_at": "2011-03-23T09:00:36+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c10738f3c", "title": "The return of Hellenistic reasoning", "url": "https://blog.ezyang.com/2011/03/the-return-of-hellenistic-reasonin/", "published_at": "2011-03-21T09:00:42+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1092d50e", "title": "Spring Reading: 2011 edition", "url": "https://blog.ezyang.com/2011/03/spring-reading-2011-edition/", "published_at": "2011-03-18T18:29:11+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c11880279", "title": "On expressivity", "url": "https://blog.ezyang.com/2011/03/on-expressivity/", "published_at": "2011-03-16T09:00:12+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c11eae111", "title": "Someone is wrong on the Internet", "url": "https://blog.ezyang.com/2011/03/someone-is-wrong-on-the-internet/", "published_at": "2011-03-14T09:00:01+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c12b4d154", "title": "Many-valued logics and bottom", "url": "https://blog.ezyang.com/2011/03/many-valued-logics-and-bottom/", "published_at": "2011-03-11T09:00:05+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c135528d3", "title": "Killer mutants attack (mutation gone wrong)", "url": "https://blog.ezyang.com/2011/03/killer-mutants-attack-mutation-gone-wrong/", "published_at": "2011-03-09T09:00:46+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c13a6c86a", "title": "Type Technology Tree", "url": "https://blog.ezyang.com/2011/03/type-tech-tree/", "published_at": "2011-03-07T09:00:26+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c140455ea", "title": "Petri net concurrency", "url": "https://blog.ezyang.com/2011/03/petri-net-concurrency/", "published_at": "2011-03-04T09:00:50+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c14a97474", "title": "The creation of a statically-typed functional programmer", "url": "https://blog.ezyang.com/2011/03/the-creation-of-a-statically-typed-functional-programmer/", "published_at": "2011-03-02T09:00:26+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1568c5fa", "title": "On cargo culting and hacking", "url": "https://blog.ezyang.com/2011/02/on-cargo-culting-and-hacking/", "published_at": "2011-02-28T09:00:46+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c16165ce7", "title": "Multi-day debugging", "url": "https://blog.ezyang.com/2011/02/multi-day-debugging/", "published_at": "2011-02-25T09:00:51+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1646bc22", "title": "Ad hoc approximations", "url": "https://blog.ezyang.com/2011/02/ad-hoc-approximations/", "published_at": "2011-02-23T09:00:25+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c16d9410c", "title": "Semi-automatic testing", "url": "https://blog.ezyang.com/2011/02/semi-automatic-testing/", "published_at": "2011-02-21T09:00:14+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c170e91df", "title": "Two short tips for FFI bindings", "url": "https://blog.ezyang.com/2011/02/two-short-tips-for-ffi-binding/", "published_at": "2011-02-20T20:57:03+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c17a5112f", "title": "On checked exceptions and proof obligations", "url": "https://blog.ezyang.com/2011/02/on-checked-exceptions-and-proof-obligations/", "published_at": "2011-02-18T09:00:05+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c18514430", "title": "Picturing Hoopl transfer/rewrite functions", "url": "https://blog.ezyang.com/2011/02/picturing-hoopl-transferrewrite-functions/", "published_at": "2011-02-16T09:00:44+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c18b91b9c", "title": "Picturing binomial coefficient identities", "url": "https://blog.ezyang.com/2011/02/picturing-binomial-coefficient-identities/", "published_at": "2011-02-14T09:00:10+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c18d65893", "title": "Android 2.x Sensor Simulator", "url": "https://blog.ezyang.com/2011/02/android-2-x-sensor-simulator/", "published_at": "2011-02-11T09:00:16+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c193121c3", "title": "A suggestion for indent/php.vim", "url": "https://blog.ezyang.com/2011/02/inden-php-vim/", "published_at": "2011-02-09T09:00:17+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1a205442", "title": "Lav'net is watching you", "url": "https://blog.ezyang.com/2011/02/lavnet-is-watching-you/", "published_at": "2011-02-07T09:00:02+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1a79375c", "title": "OCaml gotchas", "url": "https://blog.ezyang.com/2011/02/ocaml-gotchas/", "published_at": "2011-02-04T09:00:04+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1b63f32d", "title": "All about MVars", "url": "https://blog.ezyang.com/2011/02/all-about-mvars/", "published_at": "2011-02-02T09:00:37+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1bd72816", "title": "A year of blogging", "url": "https://blog.ezyang.com/2010/12/a-year-of-blogging/", "published_at": "2010-12-31T09:00:04+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1bfc54a8", "title": "Greetings from Switzerland", "url": "https://blog.ezyang.com/2010/12/greetings-from-switzerland/", "published_at": "2010-12-29T14:25:35+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1ca87e76", "title": "No one expects the Scott induction!", "url": "https://blog.ezyang.com/2010/12/no-one-expects-the-scott-induction/", "published_at": "2010-12-27T09:00:42+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1d53aae7", "title": "Thriller: Doing it for the thrills", "url": "https://blog.ezyang.com/2010/12/thriller/", "published_at": "2010-12-24T09:00:28+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1deb2fe1", "title": "Travel advisory", "url": "https://blog.ezyang.com/2010/12/travel-advisory/", "published_at": "2010-12-21T04:36:05+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1ecab5b5", "title": "Generalization and vagueness in specifications", "url": "https://blog.ezyang.com/2010/12/generalization-and-vagueness-in-specifications/", "published_at": "2010-12-20T09:00:35+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1f237c71", "title": "Tourist by day, Blogger by night", "url": "https://blog.ezyang.com/2010/12/tourist-by-day-blogger-by-night/", "published_at": "2010-12-17T09:00:00+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1f253b4c", "title": "ω: I’m lubbin’ it", "url": "https://blog.ezyang.com/2010/12/omega-i-m-lubbin-it/", "published_at": "2010-12-15T09:00:14+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1f3e6db7", "title": "Getting a fix on fixpoints", "url": "https://blog.ezyang.com/2010/12/getting-a-fix-on-fixpoints/", "published_at": "2010-12-13T09:00:20+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1f8b7cb4", "title": "Errata for gin and monotonic", "url": "https://blog.ezyang.com/2010/12/errata-for-gin-and-monotonic/", "published_at": "2010-12-10T09:00:25+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c1fedce62", "title": "Gin and monotonic", "url": "https://blog.ezyang.com/2010/12/gin-and-monotonic/", "published_at": "2010-12-08T09:00:02+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c2027b23b", "title": "Hussling Haskell types into Hasse diagrams", "url": "https://blog.ezyang.com/2010/12/hussling-haskell-types-into-hasse-diagrams/", "published_at": "2010-12-06T09:00:24+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c20baa00d", "title": "Talk Friday", "url": "https://blog.ezyang.com/2010/12/talk-friday/", "published_at": "2010-12-03T09:00:25+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c20cf0d07", "title": "How I Learned to Stop Worrying and Love the ⊥", "url": "https://blog.ezyang.com/2010/12/how-i-learned-to-stop-worrying-and-love-the-bottom/", "published_at": "2010-12-01T09:00:09+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c20d1a75b", "title": "My first proof in Isabelle", "url": "https://blog.ezyang.com/2010/11/my-first-proof-in-isabelle/", "published_at": "2010-11-29T09:00:28+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c21309807", "title": "Reflexivity. Qed.", "url": "https://blog.ezyang.com/2010/11/reflexivity-qed/", "published_at": "2010-11-26T09:00:24+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c216a2072", "title": "Integer sequences every computer scientist should know?", "url": "https://blog.ezyang.com/2010/11/integer-sequences-every-computer-scientist-should-know/", "published_at": "2010-11-24T09:00:09+00:00" }, { "id": "01a08748-8e77-7359-93bd-591c2268eddc", "title": "Is multiply-carry strongly universal?", "url": "https://blog.ezyang.com/2010/11/is-multiply-carry-strongly-universal/", "published_at": "2010-11-22T09:00:33+00:00" } ] posts Claim your blog
Back to blog.ezyang.com
Blog · corpus.blog/blogs/blog.ezyang.com/posts

blog.ezyang.com

blog.ezyang.com

2011

2010