***ChanServ sets mode: +o rekado_
***rekado_ is now known as rekado
<xentrac>today I am attempting to bootstrap some yogurt from a seed that I hope was not tainted <xentrac>I mean it did have bugs in it, but that shouldn't affect the yogurt culture <rain1>im studying some turing halting stuff <rain1>but i lose myself in study and it helps <xentrac>yeah, study is an opiate that makes you stronger instead of weaker <xentrac>the halting problem for Turing machines is pretty deep with profound philosophical implications <Hagfish>xentrac: "A bit of background: it follows, as an immediate consequence of Gödel’s Incompleteness Theorem, that there’s some computer program, of some length, that eludes the power of ordinary mathematics to prove what it does, when it’s run with an unlimited amount of memory." <Hagfish>you might find this blog post (about programming Turing machines) interesting: <Hagfish>and for deeper philosophical musings on Godel, this is an interesting line of thinking: <xentrac>of course if I thought Scott was wrong about something about computability theory, I'd think twice before saying so, since he knows a *lot* more than I do about it <xentrac>and he is very careful in his writing, so not many mistakes escape him <xentrac>My yogurt seems to have successfully bootstrapped, although it's still syrupy and not very sour <vagrantc>saurkraut solves the bootstrapping problem by including the microorganisms on the cabbage *vagrantc is having some reproducibility issues with this batch of saurkraut, though <xentrac>I'd like to try some salt-rising bread, which works similarly, but my girlfriend is appalled at the idea <xentrac>have you checked the checksum on the genomes? maybe your sauerkraut build tools have a self-reproducing attack in them <vagrantc>the build environment got too dehydrated and needed more toolchains and maybe didn't use the right versions