chriswarbo-net: Commit: b7a891d0c368a7032bb7cd82d88ad2febebb3790

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Tue 14 May 10:53:44 UTC 2024
Commit: b7a891d0c368a7032bb7cd82d88ad2febebb3790
Parent: 1e6252fea0b55787a5f5e01c0a2ad95028f648e4 (diff to parent)
Log message:

    typo

unfinished/exponential_restarts.md (old)                          (diff) | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Files:

• asv.conf.json (raw)
• blog.md (raw)
• contact.md (raw)
• disqus_comments.txt (raw)
• .gitignore (raw)
• go (raw)
• index.md (raw)
• projects.md (raw)
• README (raw)
• redirect.md (raw)
• release.nix (raw)
• render (raw)
• repos.md (raw)
• serve (raw)
• unfinished.md (raw)
• benchmarks
  • default.nix (raw)
  • .gitignore (raw)
  • __init__.py (raw)
  • nix.py (raw)
• blog
  • 2007-01-30-vista_today___.md (raw)
  • 2007-02-03-ubuntu_thoughts.md (raw)
  • 2007-03-01-i_have_nothing_to_talk_about.md (raw)
  • 2007-03-28-easter.md (raw)
  • 2007-03-30-yahoo_suck_donkey_balls.md (raw)
  • 2007-04-05-warbuntu_in_the_works.md (raw)
  • 2007-04-07-more_ui_ideas__graphics_for_my_pinball_engine_.md (raw)
  • 2007-05-09-various_updates.md (raw)
  • 2007-05-15-nuclear_bovines.md (raw)
  • 2007-05-15-service_pack_maker.md (raw)
  • 2007-06-22-application_naming.md (raw)
  • 2007-06-22-some_interesting_interface_ideas.md (raw)
  • 2007-06-30-quote_of_the_day.md (raw)
  • 2007-07-03-gnome_blog_works_.md (raw)
  • 2007-07-06-overengineering_4tw.md (raw)
  • 2007-07-07-rlod.md (raw)
  • 2007-07-09-lugradio_live_is_over.md (raw)
  • 2007-07-13-why_should_this_even_be_necessary_.md (raw)
  • 2007-07-31-aren_t_i_clever_.md (raw)
  • 2007-07-31-death_to_all_pan_beasts.md (raw)
  • 2007-07-31-firefox_is_a_desktop_application.md (raw)
  • 2007-07-31-lawyers_are_our_friends_too___.md (raw)
  • 2007-07-31-monopolies_are_a_bad_thing_tm_.md (raw)
  • 2007-07-31-ugly_mug.md (raw)
  • 2007-07-31-very_serious_issue__but_the_semantics_are_still_funny.md (raw)
  • 2007-08-01-will_the_fud_never_end__.md (raw)
  • 2007-08-07-lol.md (raw)
  • 2007-08-11-way_to_make_my_work_sound_easy_there___.md (raw)
  • 2007-08-20-some_phrases_should_be_culled.md (raw)
  • 2007-08-20-why_you_shouldn_t_rely_on_a_single_company_with_closed_protocols.md (raw)
  • 2007-08-30-how_dare_they_.md (raw)
  • 2007-08-30-some_cool_graphics_algorithms.md (raw)
  • 2007-08-30-zomg.md (raw)
  • 2007-08-31-a_little_toy_for_you.md (raw)
  • 2007-09-01-cool_tech_preview.md (raw)
  • 2007-09-03-you_don_t_have_to_be_into_violent_bdsm_to_think_the_gimp_took_kit_is_sexy.md (raw)
  • 2007-09-18-i_used_to_love_nostalgia___.md (raw)
  • 2007-09-18-just_want_to_share_this_with_you.md (raw)
  • 2007-09-19-plasma_testing_in_ubuntu.md (raw)
  • 2007-09-29-i__3_u_dell.md (raw)
  • 2007-10-02-ridiculousness.md (raw)
  • 2007-10-14-bicubic_penis_enlargement.md (raw)
  • 2007-11-13-free_software_society_gathering_steam____sort_of.md (raw)
  • 2007-11-22-installfest_success__d.md (raw)
  • 2007-11-23-action_on_the_fss_front.md (raw)
  • 2007-11-23-dir_en_get_out_of_my_house.md (raw)
  • 2007-11-23-free_software_society_get_together.md (raw)
  • 2007-12-22-christmas_is_coming.md (raw)
  • 2008-01-05-how_to_design_things.md (raw)
  • 2008-01-09-shut_up_you_stupid_bitch.md (raw)
  • 2008-01-28-some_musings_on_kde4__and_what_i_am_currently_up_to.md (raw)
  • 2008-02-23-some_slashdot_musings_____.md (raw)
  • 2008-03-12-some_python_examples.md (raw)
  • 2008-03-17-some_musings.md (raw)
  • 2008-03-26-how_s_this_for_a_mention_.md (raw)
  • 2008-04-03-just_wondering.md (raw)
  • 2008-05-13-rather_xkcd_esque.md (raw)
  • 2008-05-28-won_t_somebody__please__think_of_the_people_.md (raw)
  • 2008-06-01-my_dilemma.md (raw)
  • 2008-06-12-make_ubuntu_a_simple__gateway__distribution__make_switching_to_something_else_easy.md (raw)
  • 2008-06-15-summer_.md (raw)
  • 2008-06-28-awesomeness.md (raw)
  • 2008-07-05-the_night_so_far___.md (raw)
  • 2008-07-07-e_mc_hawking.md (raw)
  • 2008-07-17-programming_i_ve_been_up_to.md (raw)
  • 2008-07-22-pubsub.md (raw)
  • 2008-07-23-pubsub_library_diagram.md (raw)
  • 2008-07-24-a_crossroads_in_my_life___.md (raw)
  • 2008-07-25-x_on_minix_3_at_last.md (raw)
  • 2008-08-07-i_could_really_do_with_a_replacement__phone.md (raw)
  • 2008-08-07-pubsub_ahoy_.md (raw)
  • 2008-08-08-lxde_is_actually_teh_awesome.md (raw)
  • 2008-08-13-pubsub_browser.md (raw)
  • 2008-08-13-some_ramblings_about_graphics__compilers_and_cpus.md (raw)
  • 2008-08-19-exactly.md (raw)
  • 2008-08-21-you_know_you_re_a_sad_bastard_when___.md (raw)
  • 2008-08-22-reasons_i_love_teh_internets.md (raw)
  • 2008-08-23-qedje_is_working___d.md (raw)
  • 2008-08-24-omfg_.md (raw)
  • 2008-08-26-an_option_i_would_like_to_see_in_every_application.md (raw)
  • 2008-08-27-c00l.md (raw)
  • 2008-08-27-note_to_self.md (raw)
  • 2008-08-27-resits_over.md (raw)
  • 2008-08-27-two_wrongs_do_not_make_a_right.md (raw)
  • 2008-08-31-omfg_i_want_to_be_there.md (raw)
  • 2008-09-02-on_responsiveness.md (raw)
  • 2008-09-02-what_i_find_cool.md (raw)
  • 2008-09-04-last_fm_is_becoming_more_accurate.md (raw)
  • 2008-09-05-efficient_vs_approachable__choose_your_phrase_carefully_.md (raw)
  • 2008-09-05-lolfox.md (raw)
  • 2008-09-06-physics___programming___pretty.md (raw)
  • 2008-09-07-note_to_self.md (raw)
  • 2008-09-08-services__integration__communication_and_standards.md (raw)
  • 2008-09-11-model_view_controller.md (raw)
  • 2008-09-12-i_am_teh_awesome.md (raw)
  • 2008-09-12-the_power_to_change.md (raw)
  • 2008-09-17-the_effects_of_promoting_propaganda.md (raw)
  • 2008-09-18-___and_laws_were_most_numerous_when_the_commonwealth_was_most_corrupt.md (raw)
  • 2008-09-19-wanna_be_a_programmer_.md (raw)
  • 2008-09-20-pubsubclient_has_a_home.md (raw)
  • 2008-09-20-spot_the_difference.md (raw)
  • 2008-09-21-brains_are_object_oriented.md (raw)
  • 2008-09-21-video_or_it_didn_t_happen.md (raw)
  • 2008-10-05-on_people.md (raw)
  • 2008-10-09-i_can_haz_openmoko_.md (raw)
  • 2008-10-18-amarok_and_roll.md (raw)
  • 2008-11-12-medibuntu__p.md (raw)
  • 2008-11-12-the_importance_of_transparency.md (raw)
  • 2009-01-25-pubsubclient_back_in_development.md (raw)
  • 2009-01-30-retarded___backwards.md (raw)
  • 2009-02-06-learned_helplessness_in_computing_.md (raw)
  • 2009-03-24-bbc_news_comments_are_broken.md (raw)
  • 2009-04-27-some_nice_things.md (raw)
  • 2009-08-04-the_ugliest_hack_i_ve_written_so_far.md (raw)
  • 2009-08-11-a_decent_compressed_filesystem_at_last_.md (raw)
  • 2010-01-26-web_apps_are_shit.md (raw)
  • 2010-02-15-a_lengthy_list_of_practical_problems_with_shipping_non_free_software.md (raw)
  • 2010-02-15-a_whole_new_world.md (raw)
  • 2010-02-15-coming_down_to_earth_with_physics.md (raw)
  • 2010-02-15-diet_python_and_some_ranting.md (raw)
  • 2010-02-15-experiment_dump.md (raw)
  • 2010-02-15-just_wondering___.md (raw)
  • 2010-02-15-music_is_good.md (raw)
  • 2010-02-15-mv___1__v_c__2___1_2___or__in_non_relativistic_terms__momentum.md (raw)
  • 2010-02-15-on_computer_animation.md (raw)
  • 2010-02-15-wish_i_had_some_free_time.md (raw)
  • 2010-02-23-fffffffffffffffffffff___.md (raw)
  • 2010-03-18-digital_economy_bill.md (raw)
  • 2010-03-18-i_ve_got_an_xo_.md (raw)
  • 2010-03-22-blogilo_test.md (raw)
  • 2010-03-26-divergence_and_reduction_with_complex_numbers.md (raw)
  • 2010-04-01-browsing_on_a_budget.md (raw)
  • 2010-04-01-twilight__new_moon.md (raw)
  • 2010-04-07-my_current_browser_tabs.md (raw)
  • 2010-04-08-publicly_whoring_onesself_out_for_politics.md (raw)
  • 2010-04-12-enviro_mental.md (raw)
  • 2010-05-09-_anti_object_oriented_reasoning.md (raw)
  • 2010-05-09-the_web_as_an_oracle.md (raw)
  • 2010-05-09-what_makes_me_a_geek__reason_0x54f6.md (raw)
  • 2010-05-10-diet_python.md (raw)
  • 2010-05-10-my_thoughts_on_the_new_amiga.md (raw)
  • 2010-05-21-some_reading_material.md (raw)
  • 2010-05-28-symmetry_in_languages.md (raw)
  • 2010-06-26-bits___bobs.md (raw)
  • 2010-08-26-iwf_crap.md (raw)
  • 2010-09-03-freedom_to_work.md (raw)
  • 2010-09-03-odd_socks.md (raw)
  • 2010-12-09-blog_dump_1__diet_python.md (raw)
  • 2010-12-09-blog_dump_2__the_universality_of_search.md (raw)
  • 2010-12-09-blog_dump_3__duck_typing_as_contraint_propagation.md (raw)
  • 2010-12-09-blog_dump_4__what_makes_me_a_geek__reason_0x54f6.md (raw)
  • 2010-12-09-blog_dump_5__some_statistics.md (raw)
  • 2010-12-12-ocportal_ramblings.md (raw)
  • 2010-12-14-blog_dump_6__the_web_of_code.md (raw)
  • 2010-12-14-blog_dump_7__reasoning___proof.md (raw)
  • 2010-12-14-blog_dump_8__building_a_language.md (raw)
  • 2010-12-30-more_ocportal_thoughts.md (raw)
  • 2011-01-22-enigma_number_1628.md (raw)
  • 2011-04-08-abstraction_fail.md (raw)
  • 2011-04-09-pymeta_stacks.md (raw)
  • 2011-04-09-some_python_stats.md (raw)
  • 2011-04-12-python_decompiler_performance.md (raw)
  • 2011-05-16-dear_world.md (raw)
  • 2011-07-06-closures_vs__first_class_functions_vs__higher_order_functions.md (raw)
  • 2011-10-19-why_are_physicists_bad_in_bed_.md (raw)
  • 2011-11-28-crayola_doodle_penguin__or_why_i_hate_consumerist_computing.md (raw)
  • 2012-01-16-some_search_algorithms.md (raw)
  • 2012-02-15-_strong_typing__in_php.md (raw)
  • 2012-02-20-currying_in_javascript.md (raw)
  • 2012-05-07-search_and_optimisation_streams.md (raw)
  • 2012-05-13-concatenative_languages.md (raw)
  • 2012-05-21-emacs___xmonad.md (raw)
  • 2012-09-11-perhaps__perhaps__perhaps.md (raw)
  • 2012-09-13-making_windows_less_shit.md (raw)
  • 2012-09-22-safety_through_types.md (raw)
  • 2012-10-01-better_currying_in_javascript.md (raw)
  • 2012-10-02-looping_in_javascript.md (raw)
  • 2012-10-23-identi_ca.md (raw)
  • 2012-11-17-anonymous_closures_in_python.md (raw)
  • 2012-11-17-joy_part_i.md (raw)
  • 2012-11-17-naturals_search.md (raw)
  • 2012-12-01-typed_combinators.md (raw)
  • 2013-01-31-debugging_random_haskell.md (raw)
  • 2013-02-06-quick__n__dirty_php_drupal_repl.md (raw)
  • 2013-02-26-imperative_programming_in_css.md (raw)
  • 2013-03-14-dynamic_scope_vs__lexical_scope.md (raw)
  • 2013-03-21-inverse_of_php_s_array_combine.md (raw)
  • 2013-03-21-mapping_associative_arrays_in_php.md (raw)
  • 2013-04-24-computers_and_maths.md (raw)
  • 2013-07-15-sheffield_hardware_hackers.md (raw)
  • 2013-07-16-lambda_lounge_manchester.md (raw)
  • 2013-07-19-my_wordpress_com_blog.md (raw)
  • 2013-09-11-optimal_programming.md (raw)
  • 2013-09-26-php_reference_silliness.md (raw)
  • 2013-10-31-powerplay_improvement.md (raw)
  • 2013-11-20-powerplay_implementations.md (raw)
  • 2013-11-22-powerplay_improvement_continued.md (raw)
  • 2014-02-07-lazy_lambda_calculus.md (raw)
  • 2014-02-21-partial_application___currying_in_php.md (raw)
  • 2014-03-12-omega.md (raw)
  • 2014-03-12-trolled.md (raw)
  • 2014-05-18-unifying_php_s_namespaces.md (raw)
  • 2014-07-14-nixos.md (raw)
  • 2014-07-23-fib.md (raw)
  • 2014-08-18-edsl.md (raw)
  • 2014-08-26-search-algorithms.md (raw)
  • 2014-12-03-melpa_breakage.md (raw)
  • 2014-12-04-Nat_like_types.md (raw)
  • 2014-12-16-Nix_packages.md (raw)
  • 2014-12-22-controlling_side_effects.md (raw)
  • 2014-12-22-minimal_languages.md (raw)
  • 2014-12-24-polymorphism.md (raw)
  • 2015-01-18-learning_functional_programming.md (raw)
  • 2015-01-30-lambda_embedding.md (raw)
  • 2015-02-03-developing_on_nixos.md (raw)
  • 2015-02-16-active_code_updates.md (raw)
  • 2015-02-16-procedural_images.md (raw)
  • 2015-03-16-git.md (raw)
  • 2015-06-06-more_git.md (raw)
  • 2015-06-25-cabal_hell.md (raw)
  • 2015-09-11-hott_for_dummies.md (raw)
  • 2015-09-13-abandoning_hakyll.md (raw)
  • 2015-09-30-nix_eval.md (raw)
  • 2015-10-01-web_colours.md (raw)
  • 2015-11-12-calculating_arity.md (raw)
  • 2016-02-22-site_updates.md (raw)
  • 2016-04-21-off_the_grid.md (raw)
  • 2016-05-30-scraping.md (raw)
  • 2016-06-03-premature_optimisation.md (raw)
  • 2016-06-22-trolled_2.md (raw)
  • 2016-07-04-work_log.md (raw)
  • 2016-07-05-work_log.md (raw)
  • 2016-07-06-work_log.md (raw)
  • 2016-07-07-work_log.md (raw)
  • 2016-07-08-work_log.md (raw)
  • 2016-07-11-work_log.md (raw)
  • 2016-07-13-work_log.md (raw)
  • 2016-07-20-work_log.md (raw)
  • 2016-07-22-work_log.md (raw)
  • 2016-07-25-work_log.md (raw)
  • 2016-07-26-work_log.md (raw)
  • 2016-07-27-work_log.md (raw)
  • 2016-07-29-work_log.md (raw)
  • 2016-07-31-work_log.md (raw)
  • 2016-08-01-work_log.md (raw)
  • 2016-08-02-work_log.md (raw)
  • 2016-08-03-hydra.md (raw)
  • 2016-08-03-work_log.md (raw)
  • 2016-08-04-work_log.md (raw)
  • 2016-08-05-work_log.md (raw)
  • 2016-08-08-work_log.md (raw)
  • 2016-08-09-work_log.md (raw)
  • 2016-08-10-work_log.md (raw)
  • 2016-08-11-work_log.md (raw)
  • 2016-08-12-work_log.md (raw)
  • 2016-08-15-work_log.md (raw)
  • 2016-08-16-work_log.md (raw)
  • 2016-08-17-work_log.md (raw)
  • 2016-08-18-work_log.md (raw)
  • 2016-08-19-work_log.md (raw)
  • 2016-08-22-work_log.md (raw)
  • 2016-08-23-work_log.md (raw)
  • 2016-08-24-work_log.md (raw)
  • 2016-08-25-work_log.md (raw)
  • 2016-08-31-work_log.md (raw)
  • 2016-09-01-work_log.md (raw)
  • 2016-09-02-work_log.md (raw)
  • 2016-09-05-work_log.md (raw)
  • 2016-09-14-site_changes.md (raw)
  • 2016-09-24-kiss.md (raw)
  • 2016-12-20-perspective.md (raw)
  • 2017-01-14-rss_to_maildir.md (raw)
  • 2017-01-28-dodgy_chargers.md (raw)
  • 2017-01-31-deleting_files.md (raw)
  • 2017-01-31-Querying_impurities.md (raw)
  • 2017-01-31-syntax_trees.md (raw)
  • 2017-02-10-algorithmic_information_theory.md (raw)
  • 2017-02-10-urbit.md (raw)
  • 2017-02-13-what_i_would_like_in_nix.md (raw)
  • 2017-02-27-listing_things.md (raw)
  • 2017-03-03-free_elves.md (raw)
  • 2017-03-20-web_hosting_with_ipfs_and_nix.md (raw)
  • 2017-05-09-guis.md (raw)
  • 2017-05-17-active_code_updates.md (raw)
  • 2017-05-23-computer_science_is_a_natural_science.md (raw)
  • 2017-06-14-artemis.md (raw)
  • 2017-07-13-state_in_fp.md (raw)
  • 2017-07-22-git_repo_pages.md (raw)
  • 2017-08-02-nix_hacks.md (raw)
  • 2017-08-11-small_functions.md (raw)
  • 2017-08-20-a_personal_opinion_on_php.md (raw)
  • 2017-08-29-s_expressions.md (raw)
  • 2017-09-05_php_types.md (raw)
  • 2017-09-06-del_in_python.md (raw)
  • 2017-11-03-dependent_function_types.md (raw)
  • 2017-11-09-haskell_theory_exploration_scripts.md (raw)
  • 2017-11-10-capabilities_example.md (raw)
  • 2017-11-10-compile_time_io.md (raw)
  • 2017-11-10-unit_testing_terminology.md (raw)
  • 2018-01-24-curry_your_calls_uncurry_your_returns.md (raw)
  • 2018-05-02-fixing_leveldb.md (raw)
  • 2018-05-10-self_organising_lists.md (raw)
  • 2019-05-12-encryption.md (raw)
  • 2019-05-27-benchmarking.md (raw)
  • 2019-11-17-switching_browser.md (raw)
  • 2019-11-29-openmoko_sms_deletion.md (raw)
  • 2019-12-06-path_of_least_resistance.md (raw)
  • 2019-12-06-property_checking.md (raw)
  • 2020-02-08-clever_code.md (raw)
  • 2020-02-09-bottom.md (raw)
  • 2020-05-20-gadt_casting.md (raw)
  • 2020-05-22-improving_our_units.md (raw)
  • 2020-05-22-metric_red_herring.md (raw)
  • 2020-06-08-haskell_strings.md (raw)
  • 2020-07-07-more_testing_terminology.md (raw)
  • 2021-04-08-env_vars.md (raw)
  • 2023-10-27-playing_with_gsm.md (raw)
  • 2024-01-08_mathml.md (raw)
  • 2024-01-11-haskell_parsing.md (raw)
  • 2024-01-13-boltzmann_ram.md (raw)
  • 2024-01-14-nix_bottom_up.md (raw)
  • 2024-01-15-backwards_compatibility.md (raw)
  • 2024-01-19-lazy_test_generators.md (raw)
  • 2024-01-23-nix_cache_on_lan.md (raw)
  • 2024-01-31-renaming_in-tarballs.md (raw)
  • 2024-02-15-nix_dependencies.md (raw)
  • 2024-02-21-git_pages_update.md (raw)
  • 2024-02-25-sk_logic_in_egglog_1.md (raw)
  • 2024-03-17-sk_logic_in_egglog_2.md (raw)
  • 2024-04-02-sk_logic_in_egglog_3.md (raw)
  • 2024-04-08-unlocking_gnome_keyring.md (raw)
  • 2024-05-10-sk_logic_in_egglog_4.md (raw)
  • 2024-05-14-spigot.md (raw)
• css
  • 110.png (raw)
  • default.css (raw)
  • syntax.css (raw)
• .issues
  • 8219af322b4abc92
    • new
      • 1525261551.M76935P10280Q1.nixos (raw)
  • 87c213c5e8103fb4
    • new
      • 1578403224.M126002P3217Q1.nixos (raw)
      • 1579198966.M403459P12776Q1.nixos (raw)
  • 8807d3acba24c747
    • new
      • 1525261425.M848436P2332Q1.nixos (raw)
      • 1551109568.M186620P18966Q1.nixos (raw)
  • 8c894b51af91e5a7
    • new
      • 1642551543.M273956P15768Q1.nixos (raw)
  • 8dbe4d5e1edc068b
    • new
      • 1505228437.M306679P8738Q1.nixos (raw)
      • 1510366887.M692029P423Q1.nixos (raw)
  • 8fd264ecb9a1db22
    • new
      • 1504052201.M280623P30450Q1.nixos (raw)
      • 1510322568.M152693P19989Q1.nixos (raw)
      • 1510352963.M687077P31392Q1.nixos (raw)
  • 913a10d93cede5c9
    • new
      • 1510338075.M426750P27492Q1.nixos (raw)
  • 9653c73880a839f5
    • new
      • 1501689760.M27669P29919Q1.nixos (raw)
      • 1502504587.M619332P13392Q1.nixos (raw)
  • 965ba253d36bb8db
    • new
      • 1510709763.M367885P12912Q1.nixos (raw)
  • 9786f8cd07fb1ac2
    • new
      • 1497106792.M418904P5294Q1.nixos (raw)
      • 1498438275.M86432P27068Q1.nixos (raw)
      • 1500735398.M834239P22170Q1.nixos (raw)
  • a05f8b534ffc0fe6
    • new
      • 1710882376.M124163P5527Q1.manjaro-arm (raw)
  • a2d23f655feaaba6
    • new
      • 1510318091.M93552P13196Q1.nixos (raw)
      • 1579428339.M262518P498Q1.nixos (raw)
  • a34925f4035cd58c
    • new
      • 1497104881.M171875P32652Q1.nixos (raw)
      • 1500088381.M782689P2137Q1.nixos (raw)
  • a586bb67b42df6cd
    • new
      • 1500741512.M301414P31535Q1.nixos (raw)
      • 1551109604.M787951P20332Q1.nixos (raw)
  • a60cbc7af7da5b61
    • new
      • 1642552388.M898147P28009Q1.nixos (raw)
  • a662933d40075bfa
    • new
      • 1501702458.M601667P14482Q1.nixos (raw)
      • 1502504551.M38394P12369Q1.nixos (raw)
  • ac5542597bcfc06b
    • new
      • 1551084607.M400460P13009Q1.nixos (raw)
      • 1551109414.M568811P6482Q1.nixos (raw)
  • ad1e3b70f2ccbc20
    • new
      • 1510318318.M841033P14106Q1.nixos (raw)
      • 1579428561.M359719P1817Q1.nixos (raw)
  • bdb49661031a8fa1
    • new
      • 1504052238.M231986P8584Q1.nixos (raw)
      • 1551109367.M724513P2578Q1.nixos (raw)
  • c23e5ca5b6a3f468
    • new
      • 1500092192.M73390P2525Q1.nixos (raw)
      • 1500149173.M317059P16215Q1.nixos (raw)
      • 1500560899.M842250P1226Q1.nixos (raw)
      • 1500735217.M226376P15289Q1.nixos (raw)
  • c68ffb9007c8c20c
    • new
      • 1510842028.M159785P11026Q1.nixos (raw)
  • c9135a4dc890aa3c
    • new
      • 1589550052.M786174P5603Q1.nixos (raw)
  • d05d7b425b8df7d1
    • new
      • 1699363229.M640455P30192Q1.manjaro-arm (raw)
  • d1778dc55a9a36e1
    • new
      • 1497372701.M579323P30569Q1.nixos (raw)
      • 1497449553.M647201P4390Q1.nixos (raw)
  • d4012185b965dff0
    • new
      • 1497188255.M846832P9768Q1.nixos (raw)
      • 1500560140.M94090P27480Q1.nixos (raw)
  • e52b4c31132d66cd
    • new
      • 1710882743.M318762P5594Q1.manjaro-arm (raw)
  • eca9a8a9a7122548
    • new
      • 1518187720.M226680P32035Q1.nixos (raw)
  • f9115f324be19518
    • new
      • 1525261005.M559103P27142Q1.nixos (raw)
  • f95cabf6e138386f
    • new
      • 1510846042.M248136P19753Q1.nixos (raw)
      • 1551109685.M408209P23340Q1.nixos (raw)
  • fb1ad6e37dd888e2
    • new
      • 1710881912.M243345P5412Q1.manjaro-arm (raw)
  • fc41a1fc9331f445
    • new
      • 1504052256.M105300P8855Q1.nixos (raw)
  • fcd42c519894a562
    • new
      • 1524763546.M268106P16377Q1.nixos (raw)
      • 1579428372.M347457P851Q1.nixos (raw)
• js
  • aiq_display.js (raw)
  • aiq.js (raw)
  • aiq_test.js (raw)
  • arrowlets_ie.js (raw)
  • arrowlets.js (raw)
  • base2.js (raw)
  • bytebytejump.js (raw)
  • combinators.js (raw)
  • jquery.js (raw)
  • jquery_svg.js (raw)
  • maze_enum.js (raw)
  • maze.js (raw)
  • search.js (raw)
  • stack.js (raw)
  • table-of-contents.js (raw)
  • underscore.js (raw)
  • zot.js (raw)
  • mathjax
    • polyfill.min.js (raw)
    • README.md (raw)
    • tex-mml-chtml.js (raw)
  • optimisation
    • avoid.js (raw)
    • crossover.js (raw)
    • enum.js (raw)
    • enum_worker.js (raw)
    • harmony_ui.js (raw)
    • harmony_worker.js (raw)
    • hill.js (raw)
    • levin_bbj.js (raw)
    • levin.js (raw)
    • levyhill.js (raw)
    • levy.js (raw)
    • mutatecross.js (raw)
    • mutate.js (raw)
    • simple.js (raw)
    • tabu.js (raw)
    • walk.js (raw)
• projects
  • pdf-tools.md (raw)
  • activecode
    • index.md (raw)
  • arduino
    • index.md (raw)
  • ivory
    • complex_and_hypercomplex_numbers.md (raw)
    • conformal.md (raw)
    • default.nix (raw)
    • dyadic.md (raw)
    • expressions.md (raw)
    • geometric_algebra.md (raw)
    • geometric_units.md (raw)
    • indeterminates.md (raw)
    • index.md (raw)
    • negatives_and_inverses.md (raw)
    • numbers_in_scheme.md (raw)
    • numerical_towers.md (raw)
    • polynomials.md (raw)
    • powers.md (raw)
    • projective.md (raw)
    • radicals.md (raw)
    • scheme_geometric_algebra.md (raw)
    • setup.sh (raw)
    • sums_and_products.md (raw)
    • zero_one_many.md (raw)
  • maze
    • enumeration.md (raw)
    • index.md (raw)
  • nixos
    • 2024-01-23-nix_cache_on_lan.md (raw)
    • asv_benchmarking.md (raw)
    • bottom_up.md (raw)
    • continuous_integration.md (raw)
    • debian_packages.md (raw)
    • developing_on_nixos.md (raw)
    • glossary.md (raw)
    • index.md (raw)
    • nix_dependencies.md (raw)
    • nix_eval.md (raw)
    • nix_shell_shebangs.md (raw)
    • packages.md (raw)
    • scripting_with_nix.md (raw)
    • separate_nix_stores.md (raw)
    • switching_to_nixos.md (raw)
    • useful_hacks.md (raw)
  • optimisation
    • crossover.md (raw)
    • enumeration.md (raw)
    • hillclimbing.md (raw)
    • index.md (raw)
    • levin.md (raw)
    • levyclimbing.md (raw)
    • levy.md (raw)
    • mutatingcrossover.md (raw)
    • mutation.md (raw)
    • randomwalk.md (raw)
    • selfavoidingwalk.md (raw)
    • tabu.md (raw)
  • plumb
    • implementations.md (raw)
    • index.md (raw)
    • try.md (raw)
    • using.md (raw)
  • powerplay
    • index.md (raw)
  • procedural
    • biteq.md (raw)
    • cantor.md (raw)
    • index.md (raw)
    • ones.md (raw)
    • z.md (raw)
  • scraping
    • index.md (raw)
  • theory-exploration
    • index.md (raw)
  • turtleview
    • index.md (raw)
  • units
    • default.nix (raw)
    • diff.md (raw)
    • extents.md (raw)
    • improving_our_units.md (raw)
    • index.md (raw)
    • metric.md (raw)
    • metric_red_herring.md (raw)
    • minus.md (raw)
    • negative_bar_notation.md (raw)
    • negative_digits.md (raw)
    • negatives.md (raw)
    • parentheses.md (raw)
    • place_value.md (raw)
    • projective_geometric_algebra.md (raw)
    • projective.md (raw)
    • quick_wins.md (raw)
    • subtraction.md (raw)
    • torsors.md (raw)
• static
  • atom2rss.xsl (raw)
  • checkSource (raw)
  • cleanup (raw)
  • code.png (raw)
  • file2img (raw)
  • getDeps (raw)
  • git2md (raw)
  • htmlUnwrap (raw)
  • linkcheckerrc (raw)
  • mkAtom (raw)
  • mkRedirectTo (raw)
  • mkRss (raw)
  • rants (raw)
  • redirectTemplate.html (raw)
  • relativise (raw)
  • relTo (raw)
  • renderHcard (raw)
  • render_page (raw)
  • showPost (raw)
  • showPosts (raw)
  • stripTitle (raw)
  • wrapCode (raw)
  • images
    • awm.png (raw)
    • BT.png (raw)
    • compizcube.png (raw)
    • compizlogo.png (raw)
    • compizswitcher.png (raw)
    • crapoo.png (raw)
    • CrossPlatformMyArse.png (raw)
    • ILoveJo.png (raw)
    • iphoneadvert.png (raw)
    • itunescovers.png (raw)
    • Screenshot-Symphony X - Inferno (Unleash The Fire).png (raw)
    • tabposition.png (raw)
    • tronguy.jpg (raw)
    • UpgradeIssuesMockup.png (raw)
  • mathml
    • add.sh (raw)
    • bars.xsl (raw)
    • mapply.sh (raw)
    • math.sh (raw)
    • mult.sh (raw)
    • neg.sh (raw)
    • num.sh (raw)
    • ours.xsl (raw)
    • var.sh (raw)
  • nix
    • blog.nix (raw)
    • commands.nix (raw)
    • default.nix (raw)
    • metadata.nix (raw)
    • pageTests.nix (raw)
    • projects.nix (raw)
    • redirect.nix (raw)
    • relTo.nix (raw)
    • renderAll.nix (raw)
    • render.nix (raw)
    • repos.json (raw)
    • repos.nix (raw)
    • resources.nix (raw)
    • siteTests.nix (raw)
    • unfinished.nix (raw)
    • untestedSite.nix (raw)
    • warbo-packages.nix (raw)
    • wholeSite.nix (raw)
  • procedural
    • codeAndPic (raw)
    • colourCode (raw)
    • greyCode (raw)
    • includePic (raw)
    • monoCode (raw)
    • Pic.hs (raw)
• templates
  • archive-list.html (raw)
  • default.html (raw)
  • post-list.html (raw)
  • unfinished.html (raw)
• tests
  • all_pages_reachable (raw)
  • archive_is_hfeed (raw)
  • broken_links (raw)
  • cleanupTables (raw)
  • code_not_indented (raw)
  • dirs_have_indices (raw)
  • empty_panpipe_blocks_stripped (raw)
  • essays_redirects_to_projects (raw)
  • everything_suffixed (raw)
  • have_all_posts (raw)
  • have_all_projects (raw)
  • have_all_repos (raw)
  • have_feeds (raw)
  • have_readmes (raw)
  • hcard_test (raw)
  • homepage_has_hcard (raw)
  • htmlunwrap_unwraps_blocks (raw)
  • imagesWontCompressFurther (raw)
  • index_pages (raw)
  • no_absolutes (raw)
  • no_blogspot (raw)
  • no_cruft (raw)
  • no_empty_files (raw)
  • no_essays_links (raw)
  • no_gitorious (raw)
  • no_selfclosing_scripts (raw)
  • old_urls_redirect (raw)
  • php_tagged (raw)
  • posts_are_hentries (raw)
  • posts_have_titles (raw)
  • redirect_posts (raw)
  • scripts_in_place (raw)
  • tidy (raw)
• unfinished
  • 2017-03-03-computing_numbers.md (raw)
  • 2018-04-25-verification_examples.md (raw)
  • automated_testing.md (raw)
  • avoid_seaborn.md (raw)
  • billion_dollar_mistake.md (raw)
  • bounded_complexity.md (raw)
  • BROKEN.md (raw)
  • compilation_and_evaluation.md (raw)
  • containers.md (raw)
  • determinism.md (raw)
  • either.md (raw)
  • elimination_forms.md (raw)
  • embedded_domain_specific_languages_in_php.md (raw)
  • encoding.md (raw)
  • equivalence_between_turing_machines_and_lambda_calculus.md (raw)
  • exploring_bag_box_multiset_arithmetic.md (raw)
  • exponential_polling.md (raw)
  • exponential_restarts.md (raw)
  • exppoll.txt (raw)
  • exprestart.txt (raw)
  • exp.txt (raw)
  • FP.md (raw)
  • goedel_machine.md (raw)
  • halting_problem.md (raw)
  • harmony.md (raw)
  • hilbert.md (raw)
  • hutter.lhs (raw)
  • index.html (raw)
  • itderp.txt (raw)
  • lock_files.md (raw)
  • notations.md (raw)
  • oop_versions_of_fp_ideas.md (raw)
  • orbiting_fast_and_slow.md (raw)
  • packaging_hell.md (raw)
  • pattern_matching.md (raw)
  • project_skeleton.md (raw)
  • proof_search.md (raw)
  • resolving_dependencies.md (raw)
  • scala_types.md (raw)
  • spacefill.md (raw)
  • streams.md (raw)
  • tailcalljs.md (raw)
  • tail_recursive_unique.md (raw)
  • using_theory_exploration.md (raw)
  • webdev_roadmap.md (raw)
  • web_of_code.md (raw)
  • coq
    • prefixfree.md (raw)
    • proofcomplexity.md (raw)
  • selfmod
    • framework.md (raw)
    • index.md (raw)
    • programpass.md (raw)