This section of the site is for quick notes, usually to quickly capture the details of something I have found useful at work.
The original motivation was to experiment with what the Government Digital Service call Make things Open: it makes things better.
The main benefit to me of splitting this from the main blog area is that it helps kill writer’s block :-)
If you work in any way with systems or data, you will know the situation, where some records have ended up with missing or wrong values. This is particularly irritating when to fix the problem means pulling data from more than one place in order to set things right.
As we have fully adopted Office 365 at work, Microsoft Flow is rapidly becoming my favourite tool for basic low-volume data manipulation.
Smallest Federated Wiki is the brainchild of Ward Cunningham - the “Father of Wiki”
Although the main feature is the ability to fork content from other wikis, and to allow other wiki users to fork your content, many people also want to run a local copy as a private notebook or commonplace book.
The most stable distribution of wiki is written in node, so will run anywhere that node will.
Drafts is a genuinely useful text creation tool for iOS devices.
With the Pro version you can extend the tool with custom actions, either from the community, or written yourself (Javascript).
Collecting / writing / adapting useful scripts for working with this blog from my phone here.
To complete the setup, I recommend the Working Copy git client.
Across three experiments, Mueller and Oppenheimer had students take notes in a classroom setting and then tested students on their memory for factual detail, their conceptual understanding of the material, and their ability to synthesize and generalize the information. Half of the students were instructed to take notes with a laptop, and the other half were instructed to write the notes out by hand. As in other studies, students who used laptops took more notes.
Sometimes malware will corrupt the database, inserting malicious script tags.
Here’s the quick removal approach if you have access to your database directly:
<br /> UPDATE wp_posts SET post_content = REPLACE ( post_content, 'BAD SCRIPT TAG', '' );<br />