corpus.blog
41554 blogs · [ { "id": "01a0875f-f827-7061-9fc6-138910360298", "title": "Work log 2016-08-10", "url": "http://chriswarbo.net/blog/2016-08-10-work_log.html", "published_at": "2016-08-10T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138910e4931a", "title": "Work log 2016-08-09", "url": "http://chriswarbo.net/blog/2016-08-09-work_log.html", "published_at": "2016-08-09T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389115a6c07", "title": "Work log 2016-08-08", "url": "http://chriswarbo.net/blog/2016-08-08-work_log.html", "published_at": "2016-08-08T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138911635db7", "title": "Work log 2016-08-05", "url": "http://chriswarbo.net/blog/2016-08-05-work_log.html", "published_at": "2016-08-05T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389121d866a", "title": "Work log 2016-08-04", "url": "http://chriswarbo.net/blog/2016-08-04-work_log.html", "published_at": "2016-08-04T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891235272c", "title": "Work log 2016-08-03", "url": "http://chriswarbo.net/blog/2016-08-03-work_log.html", "published_at": "2016-08-03T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389125bf31a", "title": "Hydra", "url": "http://chriswarbo.net/blog/2016-08-03-hydra.html", "published_at": "2016-08-03T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389132295e8", "title": "Work log 2016-08-02", "url": "http://chriswarbo.net/blog/2016-08-02-work_log.html", "published_at": "2016-08-02T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138913cb7f3e", "title": "Work log 2016-08-01", "url": "http://chriswarbo.net/blog/2016-08-01-work_log.html", "published_at": "2016-08-01T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138914805974", "title": "Work log 2016-07-31", "url": "http://chriswarbo.net/blog/2016-07-31-work_log.html", "published_at": "2016-07-31T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891520347f", "title": "Work log 2016-07-29", "url": "http://chriswarbo.net/blog/2016-07-29-work_log.html", "published_at": "2016-07-29T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138916010884", "title": "Work log 2016-07-27", "url": "http://chriswarbo.net/blog/2016-07-27-work_log.html", "published_at": "2016-07-27T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389169d9eae", "title": "Work log 2016-07-26", "url": "http://chriswarbo.net/blog/2016-07-26-work_log.html", "published_at": "2016-07-26T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138916ece548", "title": "Work log 2016-07-25", "url": "http://chriswarbo.net/blog/2016-07-25-work_log.html", "published_at": "2016-07-25T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389174998d3", "title": "Work log 2016-07-22", "url": "http://chriswarbo.net/blog/2016-07-22-work_log.html", "published_at": "2016-07-22T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138917a8d86c", "title": "Work log 2016-07-20", "url": "http://chriswarbo.net/blog/2016-07-20-work_log.html", "published_at": "2016-07-20T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138917eecbfa", "title": "Work log 2016-07-13", "url": "http://chriswarbo.net/blog/2016-07-13-work_log.html", "published_at": "2016-07-13T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138918037db3", "title": "Work log 2016-07-11", "url": "http://chriswarbo.net/blog/2016-07-11-work_log.html", "published_at": "2016-07-11T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138918fefb25", "title": "Work log 2016-07-08", "url": "http://chriswarbo.net/blog/2016-07-08-work_log.html", "published_at": "2016-07-08T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-1389193b3f6a", "title": "Work log 2016-07-07", "url": "http://chriswarbo.net/blog/2016-07-07-work_log.html", "published_at": "2016-07-07T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138919597886", "title": "Work log 2016-07-06", "url": "http://chriswarbo.net/blog/2016-07-06-work_log.html", "published_at": "2016-07-06T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138919676a62", "title": "Work log 2016-07-05", "url": "http://chriswarbo.net/blog/2016-07-05-work_log.html", "published_at": "2016-07-05T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-138919bfdb2d", "title": "Work log 2016-07-04", "url": "http://chriswarbo.net/blog/2016-07-04-work_log.html", "published_at": "2016-07-04T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891a69f4cf", "title": "Trolled 2", "url": "http://chriswarbo.net/blog/2016-06-22-trolled_2.html", "published_at": "2016-06-22T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891afc8abd", "title": "Premature Optimisation", "url": "http://chriswarbo.net/blog/2016-06-03-premature_optimisation.html", "published_at": "2016-06-03T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891b041b3d", "title": "The Sorry State of the Web", "url": "http://chriswarbo.net/blog/2016-05-30-scraping.html", "published_at": "2016-05-30T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891bb61693", "title": "Off The Grid", "url": "http://chriswarbo.net/blog/2016-04-21-off_the_grid.html", "published_at": "2016-04-21T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891ca994e3", "title": "A Few Site Updates", "url": "http://chriswarbo.net/blog/2016-02-22-site_updates.html", "published_at": "2016-02-22T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891d355f5d", "title": "Calculating Arity", "url": "http://chriswarbo.net/blog/2015-11-12-calculating_arity.html", "published_at": "2015-11-12T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891db31a19", "title": "Fixing Web Colours", "url": "http://chriswarbo.net/blog/2015-10-01-web_colours.html", "published_at": "2015-10-01T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891e3a40dd", "title": "nix-eval", "url": "http://chriswarbo.net/blog/2015-09-30-nix_eval.html", "published_at": "2015-09-30T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891e41e2a8", "title": "Abandoning Hakyll", "url": "http://chriswarbo.net/blog/2015-09-13-abandoning_hakyll.html", "published_at": "2015-09-13T00:00:00+00:00" }, { "id": "01a0875f-f827-7061-9fc6-13891f28f663", "title": "HoTT for Dummies", "url": "http://chriswarbo.net/blog/2015-09-11-hott_for_dummies.html", "published_at": "2015-09-11T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea01ec3cfb2", "title": "Cabal Hell", "url": "http://chriswarbo.net/blog/2015-06-25-cabal_hell.html", "published_at": "2015-06-25T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea01fc238d2", "title": "More git changes", "url": "http://chriswarbo.net/blog/2015-06-06-more_git.html", "published_at": "2015-06-06T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02070cbcd", "title": "Moving Git Repos", "url": "http://chriswarbo.net/blog/2015-03-16-git.html", "published_at": "2015-03-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea020c579c0", "title": "Procedural Images", "url": "http://chriswarbo.net/blog/2015-02-16-procedural_images.html", "published_at": "2015-02-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea020cc62cc", "title": "Active Code Updates", "url": "http://chriswarbo.net/blog/2015-02-16-active_code_updates.html", "published_at": "2015-02-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea021b1cf96", "title": "Developing on NixOS", "url": "http://chriswarbo.net/blog/2015-02-03-developing_on_nixos.html", "published_at": "2015-02-03T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea021dd3387", "title": "Embedding Lambda Calculus", "url": "http://chriswarbo.net/blog/2015-01-30-lambda_embedding.html", "published_at": "2015-01-30T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0222bef99", "title": "Learning Functional Programming", "url": "http://chriswarbo.net/blog/2015-01-18-learning_functional_programming.html", "published_at": "2015-01-18T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea022b1a8c5", "title": "Does Polymorphism Make Code More Flexible?", "url": "http://chriswarbo.net/blog/2014-12-24-polymorphism.html", "published_at": "2014-12-24T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea023460ed8", "title": "Minimalist Programming Languages", "url": "http://chriswarbo.net/blog/2014-12-22-minimal_languages.html", "published_at": "2014-12-22T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea023ffca2a", "title": "Controlling Side-Effects", "url": "http://chriswarbo.net/blog/2014-12-22-controlling_side_effects.html", "published_at": "2014-12-22T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea024b38713", "title": "Nix Packages", "url": "http://chriswarbo.net/blog/2014-12-16-Nix_packages.html", "published_at": "2014-12-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea025871f78", "title": "Nat-like Types, or Dynamic and Static Information", "url": "http://chriswarbo.net/blog/2014-12-04-Nat_like_types.html", "published_at": "2014-12-04T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea025b237a7", "title": "MELPA breakage", "url": "http://chriswarbo.net/blog/2014-12-03-melpa_breakage.html", "published_at": "2014-12-03T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea025f0b658", "title": "Search Algorithms (again!)", "url": "http://chriswarbo.net/blog/2014-08-26-search-algorithms.html", "published_at": "2014-08-26T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea026d98acd", "title": "Plumb: A Domain-Specific Language Embedded in PHP", "url": "http://chriswarbo.net/blog/2014-08-18-edsl.html", "published_at": "2014-08-18T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea027556966", "title": "Fibonacci Sequence in PHP", "url": "http://chriswarbo.net/blog/2014-07-23-fib.html", "published_at": "2014-07-23T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02809d3c9", "title": "Switching to NixOS", "url": "http://chriswarbo.net/blog/2014-07-14-nixos.html", "published_at": "2014-07-14T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea028a68576", "title": "Unifying PHP’s namespaces", "url": "http://chriswarbo.net/blog/2014-05-18-unifying_php_s_namespaces.html", "published_at": "2014-05-18T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0290574eb", "title": "Trolled", "url": "http://chriswarbo.net/blog/2014-03-12-trolled.html", "published_at": "2014-03-12T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea029da75d6", "title": "Omega", "url": "http://chriswarbo.net/blog/2014-03-12-omega.html", "published_at": "2014-03-12T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02a4a5091", "title": "Partial Application & Currying in PHP", "url": "http://chriswarbo.net/blog/2014-02-21-partial_application___currying_in_php.html", "published_at": "2014-02-21T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02b3d2395", "title": "Lazy Lambda Calculus", "url": "http://chriswarbo.net/blog/2014-02-07-lazy_lambda_calculus.html", "published_at": "2014-02-07T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02bf8319d", "title": "PowerPlay Improvement continued", "url": "http://chriswarbo.net/blog/2013-11-22-powerplay_improvement_continued.html", "published_at": "2013-11-22T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02cb8105c", "title": "PowerPlay implementations", "url": "http://chriswarbo.net/blog/2013-11-20-powerplay_implementations.html", "published_at": "2013-11-20T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02cfeeebf", "title": "PowerPlay improvement", "url": "http://chriswarbo.net/blog/2013-10-31-powerplay_improvement.html", "published_at": "2013-10-31T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02d281707", "title": "PHP Reference Silliness", "url": "http://chriswarbo.net/blog/2013-09-26-php_reference_silliness.html", "published_at": "2013-09-26T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02d76ec74", "title": "Optimal Programming", "url": "http://chriswarbo.net/blog/2013-09-11-optimal_programming.html", "published_at": "2013-09-11T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02e6fba39", "title": "My Wordpress.com Blog", "url": "http://chriswarbo.net/blog/2013-07-19-my_wordpress_com_blog.html", "published_at": "2013-07-19T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02f033d83", "title": "Lambda Lounge Manchester", "url": "http://chriswarbo.net/blog/2013-07-16-lambda_lounge_manchester.html", "published_at": "2013-07-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea02ff0d210", "title": "Sheffield Hardware Hackers", "url": "http://chriswarbo.net/blog/2013-07-15-sheffield_hardware_hackers.html", "published_at": "2013-07-15T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea030a905e7", "title": "Computers and Maths", "url": "http://chriswarbo.net/blog/2013-04-24-computers_and_maths.html", "published_at": "2013-04-24T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03137dd50", "title": "Mapping associative arrays in PHP", "url": "http://chriswarbo.net/blog/2013-03-21-mapping_associative_arrays_in_php.html", "published_at": "2013-03-21T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0320e43db", "title": "Inverse of PHP’s array_combine", "url": "http://chriswarbo.net/blog/2013-03-21-inverse_of_php_s_array_combine.html", "published_at": "2013-03-21T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea032986bb5", "title": "Dynamic scope vs. Lexical scope", "url": "http://chriswarbo.net/blog/2013-03-14-dynamic_scope_vs__lexical_scope.html", "published_at": "2013-03-14T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea032c2d91e", "title": "Imperative Programming In CSS", "url": "http://chriswarbo.net/blog/2013-02-26-imperative_programming_in_css.html", "published_at": "2013-02-26T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea032e41379", "title": "Quick ‘n’ Dirty PHP/Drupal REPL", "url": "http://chriswarbo.net/blog/2013-02-06-quick__n__dirty_php_drupal_repl.html", "published_at": "2013-02-06T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03338e67d", "title": "Debugging random Haskell", "url": "http://chriswarbo.net/blog/2013-01-31-debugging_random_haskell.html", "published_at": "2013-01-31T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0342aa9ec", "title": "Typed Combinators", "url": "http://chriswarbo.net/blog/2012-12-01-typed_combinators.html", "published_at": "2012-12-01T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea034ee43bf", "title": "Naturals Search", "url": "http://chriswarbo.net/blog/2012-11-17-naturals_search.html", "published_at": "2012-11-17T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea034f439aa", "title": "Joy part I", "url": "http://chriswarbo.net/blog/2012-11-17-joy_part_i.html", "published_at": "2012-11-17T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03590cc58", "title": "Anonymous closures in Python", "url": "http://chriswarbo.net/blog/2012-11-17-anonymous_closures_in_python.html", "published_at": "2012-11-17T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea035fe7ec9", "title": "Identi.ca", "url": "http://chriswarbo.net/blog/2012-10-23-identi_ca.html", "published_at": "2012-10-23T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea036c70bd7", "title": "Looping in Javascript", "url": "http://chriswarbo.net/blog/2012-10-02-looping_in_javascript.html", "published_at": "2012-10-02T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea037781224", "title": "Better Currying in Javascript", "url": "http://chriswarbo.net/blog/2012-10-01-better_currying_in_javascript.html", "published_at": "2012-10-01T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0380df8af", "title": "Safety through types", "url": "http://chriswarbo.net/blog/2012-09-22-safety_through_types.html", "published_at": "2012-09-22T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03841be98", "title": "Making Windows Less Shit", "url": "http://chriswarbo.net/blog/2012-09-13-making_windows_less_shit.html", "published_at": "2012-09-13T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea038f93a9d", "title": "Perhaps, perhaps, perhaps", "url": "http://chriswarbo.net/blog/2012-09-11-perhaps__perhaps__perhaps.html", "published_at": "2012-09-11T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea039e745dd", "title": "Emacs & XMonad", "url": "http://chriswarbo.net/blog/2012-05-21-emacs___xmonad.html", "published_at": "2012-05-21T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03ad470df", "title": "Concatenative Languages", "url": "http://chriswarbo.net/blog/2012-05-13-concatenative_languages.html", "published_at": "2012-05-13T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03bd167ae", "title": "Search and Optimisation Streams", "url": "http://chriswarbo.net/blog/2012-05-07-search_and_optimisation_streams.html", "published_at": "2012-05-07T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03c7bad09", "title": "Currying in Javascript", "url": "http://chriswarbo.net/blog/2012-02-20-currying_in_javascript.html", "published_at": "2012-02-20T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03ce9d504", "title": "‘Strong typing’ in PHP", "url": "http://chriswarbo.net/blog/2012-02-15-_strong_typing__in_php.html", "published_at": "2012-02-15T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03db094b8", "title": "Some Search Algorithms", "url": "http://chriswarbo.net/blog/2012-01-16-some_search_algorithms.html", "published_at": "2012-01-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03dd0abda", "title": "Crayola Doodle Penguin; or Why I Hate Consumerist Computing", "url": "http://chriswarbo.net/blog/2011-11-28-crayola_doodle_penguin__or_why_i_hate_consumerist_computing.html", "published_at": "2011-11-28T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03dd636fd", "title": "Why Are Physicists Bad In Bed?", "url": "http://chriswarbo.net/blog/2011-10-19-why_are_physicists_bad_in_bed_.html", "published_at": "2011-10-19T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03df291f2", "title": "Closures vs. First-class functions vs. Higher-order functions", "url": "http://chriswarbo.net/blog/2011-07-06-closures_vs__first_class_functions_vs__higher_order_functions.html", "published_at": "2011-07-06T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03e651525", "title": "Dear World", "url": "http://chriswarbo.net/blog/2011-05-16-dear_world.html", "published_at": "2011-05-16T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03f207d52", "title": "Python Decompiler Performance", "url": "http://chriswarbo.net/blog/2011-04-12-python_decompiler_performance.html", "published_at": "2011-04-12T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03f36c5a1", "title": "Some Python Stats", "url": "http://chriswarbo.net/blog/2011-04-09-some_python_stats.html", "published_at": "2011-04-09T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03f467e96", "title": "PyMeta Stacks", "url": "http://chriswarbo.net/blog/2011-04-09-pymeta_stacks.html", "published_at": "2011-04-09T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea03f93564e", "title": "Abstraction Fail", "url": "http://chriswarbo.net/blog/2011-04-08-abstraction_fail.html", "published_at": "2011-04-08T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0407db182", "title": "Enigma Number 1628", "url": "http://chriswarbo.net/blog/2011-01-22-enigma_number_1628.html", "published_at": "2011-01-22T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0409e4c1d", "title": "More ocPortal Thoughts", "url": "http://chriswarbo.net/blog/2010-12-30-more_ocportal_thoughts.html", "published_at": "2010-12-30T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea040a95b27", "title": "Blog Dump 8: Building a Language", "url": "http://chriswarbo.net/blog/2010-12-14-blog_dump_8__building_a_language.html", "published_at": "2010-12-14T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea0410d5100", "title": "Blog Dump 7: Reasoning & Proof", "url": "http://chriswarbo.net/blog/2010-12-14-blog_dump_7__reasoning___proof.html", "published_at": "2010-12-14T00:00:00+00:00" }, { "id": "01a0875f-f828-71c7-a1ee-aea04188ddf6", "title": "Blog Dump 6: The Web of Code", "url": "http://chriswarbo.net/blog/2010-12-14-blog_dump_6__the_web_of_code.html", "published_at": "2010-12-14T00:00:00+00:00" } ] posts Claim your blog
Back to chriswarbo.net
Blog · corpus.blog/blogs/chriswarbo.net/posts

chriswarbo.net

chriswarbo.net

2016

Work log 2016-08-10original ↗
10 Aug 2016
Work log 2016-08-09original ↗
9 Aug 2016
Work log 2016-08-08original ↗
8 Aug 2016
Work log 2016-08-05original ↗
5 Aug 2016
Work log 2016-08-04original ↗
4 Aug 2016
Work log 2016-08-03original ↗
3 Aug 2016
Hydraoriginal ↗
3 Aug 2016
Work log 2016-08-02original ↗
2 Aug 2016
Work log 2016-08-01original ↗
1 Aug 2016
Work log 2016-07-31original ↗
31 Jul 2016
Work log 2016-07-29original ↗
29 Jul 2016
Work log 2016-07-27original ↗
27 Jul 2016
Work log 2016-07-26original ↗
26 Jul 2016
Work log 2016-07-25original ↗
25 Jul 2016
Work log 2016-07-22original ↗
22 Jul 2016
Work log 2016-07-20original ↗
20 Jul 2016
Work log 2016-07-13original ↗
13 Jul 2016
Work log 2016-07-11original ↗
11 Jul 2016
Work log 2016-07-08original ↗
8 Jul 2016
Work log 2016-07-07original ↗
7 Jul 2016
Work log 2016-07-06original ↗
6 Jul 2016
Work log 2016-07-05original ↗
5 Jul 2016
Work log 2016-07-04original ↗
4 Jul 2016
Trolled 2original ↗
22 Jun 2016
Premature Optimisationoriginal ↗
3 Jun 2016
The Sorry State of the Weboriginal ↗
30 May 2016
Off The Gridoriginal ↗
21 Apr 2016
A Few Site Updatesoriginal ↗
22 Feb 2016

2015

Calculating Arityoriginal ↗
12 Nov 2015
Fixing Web Coloursoriginal ↗
1 Oct 2015
nix-evaloriginal ↗
30 Sept 2015
Abandoning Hakylloriginal ↗
13 Sept 2015
HoTT for Dummiesoriginal ↗
11 Sept 2015
Cabal Helloriginal ↗
25 Jun 2015
More git changesoriginal ↗
6 Jun 2015
Moving Git Reposoriginal ↗
16 Mar 2015
Procedural Imagesoriginal ↗
16 Feb 2015
Active Code Updatesoriginal ↗
16 Feb 2015
Developing on NixOSoriginal ↗
3 Feb 2015
Embedding Lambda Calculusoriginal ↗
30 Jan 2015
Learning Functional Programmingoriginal ↗
18 Jan 2015

2014

Does Polymorphism Make Code More Flexible?original ↗
24 Dec 2014
Minimalist Programming Languagesoriginal ↗
22 Dec 2014
Controlling Side-Effectsoriginal ↗
22 Dec 2014
Nix Packagesoriginal ↗
16 Dec 2014
Nat-like Types, or Dynamic and Static Informationoriginal ↗
4 Dec 2014
MELPA breakageoriginal ↗
3 Dec 2014
Search Algorithms (again!)original ↗
26 Aug 2014
Plumb: A Domain-Specific Language Embedded in PHPoriginal ↗
18 Aug 2014
Fibonacci Sequence in PHPoriginal ↗
23 Jul 2014
Switching to NixOSoriginal ↗
14 Jul 2014
Unifying PHP’s namespacesoriginal ↗
18 May 2014
Trolledoriginal ↗
12 Mar 2014
Omegaoriginal ↗
12 Mar 2014
Partial Application & Currying in PHPoriginal ↗
21 Feb 2014
Lazy Lambda Calculusoriginal ↗
7 Feb 2014

2013

PowerPlay Improvement continuedoriginal ↗
22 Nov 2013
PowerPlay implementationsoriginal ↗
20 Nov 2013
PowerPlay improvementoriginal ↗
31 Oct 2013
PHP Reference Sillinessoriginal ↗
26 Sept 2013
Optimal Programmingoriginal ↗
11 Sept 2013
My Wordpress.com Blogoriginal ↗
19 Jul 2013
Lambda Lounge Manchesteroriginal ↗
16 Jul 2013
Sheffield Hardware Hackersoriginal ↗
15 Jul 2013
Computers and Mathsoriginal ↗
24 Apr 2013
Mapping associative arrays in PHPoriginal ↗
21 Mar 2013
Inverse of PHP’s array_combineoriginal ↗
21 Mar 2013
Dynamic scope vs. Lexical scopeoriginal ↗
14 Mar 2013
Imperative Programming In CSSoriginal ↗
26 Feb 2013
Quick ‘n’ Dirty PHP/Drupal REPLoriginal ↗
6 Feb 2013
Debugging random Haskelloriginal ↗
31 Jan 2013

2012

Typed Combinatorsoriginal ↗
1 Dec 2012
Naturals Searchoriginal ↗
17 Nov 2012
Joy part Ioriginal ↗
17 Nov 2012
Anonymous closures in Pythonoriginal ↗
17 Nov 2012
Identi.caoriginal ↗
23 Oct 2012
Looping in Javascriptoriginal ↗
2 Oct 2012
Better Currying in Javascriptoriginal ↗
1 Oct 2012
Safety through typesoriginal ↗
22 Sept 2012
Making Windows Less Shitoriginal ↗
13 Sept 2012
Perhaps, perhaps, perhapsoriginal ↗
11 Sept 2012
Emacs & XMonadoriginal ↗
21 May 2012
Concatenative Languagesoriginal ↗
13 May 2012
Search and Optimisation Streamsoriginal ↗
7 May 2012
Currying in Javascriptoriginal ↗
20 Feb 2012
‘Strong typing’ in PHPoriginal ↗
15 Feb 2012
Some Search Algorithmsoriginal ↗
16 Jan 2012

2011

Crayola Doodle Penguin; or Why I Hate Consumerist Computingoriginal ↗
28 Nov 2011
Why Are Physicists Bad In Bed?original ↗
19 Oct 2011
Closures vs. First-class functions vs. Higher-order functionsoriginal ↗
6 Jul 2011
Dear Worldoriginal ↗
16 May 2011
Python Decompiler Performanceoriginal ↗
12 Apr 2011
Some Python Statsoriginal ↗
9 Apr 2011
PyMeta Stacksoriginal ↗
9 Apr 2011
Abstraction Failoriginal ↗
8 Apr 2011
Enigma Number 1628original ↗
22 Jan 2011

2010

More ocPortal Thoughtsoriginal ↗
30 Dec 2010
Blog Dump 8: Building a Languageoriginal ↗
14 Dec 2010
Blog Dump 7: Reasoning & Prooforiginal ↗
14 Dec 2010
Blog Dump 6: The Web of Codeoriginal ↗
14 Dec 2010
Previous Next