Justin Lloyd's Thinkering

Somebody needs to think about this stuff...

justin

You get a bonus cheque?!?

by

Never sit in a meeting and whine that because my 60 hour weeks are an insufficient contribution that it is jeopardising your all important, mid-six-figure, year-end bonus cheque.

Twice shy

by

Anxiety prone dogs have a tendency to lash out and bite at anyone that approaches.

I often witness the same lashing out behaviour with anxious clients.

A desire for too much communication that contains too little information.

A questioning of every hour spent on a task

Demanding of concrete deadlines when there are too many unknown variables.

A request to reduce an invoice after green-lighting the work.

A desire to control every aspect, even though I was hired to work autonomously.

And on-and-on with pointless micromanagement.

If a dog is going to bite me, it only ever gets to bite me once.

I hold the same policy for clients I work with.

You only ever get to bite me once.

Studying – Massage therapy

by

This month I am studying “Massage Therapy – Beginning Massage”

This is the 3rd month of a 3 month part-time, in-person class.

Update: Wow!

More than half the class has dropped out since the first week.

I think we started with more than fifty people and there’s only eight of us left.

It’s not that the class is hard. And the instructors are really good.

Apparently this is less than the normal drop-off rate.

People just signing up for class to see how it is perhaps?

Paper – Textbook examples of recursion

by

Today I read a paper titled “Textbook examples of recursion”

The abstract is:
We discuss properties of recursive schemas related to McCarthy’s “91 function” and to Takeuchi’s triple recursion.

Several theorems are proposed as interesting candidates for machine verification, and some intriguing open questions are raised..

I do love a good porking

by

I do not understand America.

I have spent two years in California and I have come to realise that you celebrate Jesus, who was Jewish in case you forgot, by consuming vast quantities of ham.

Seriously. WTF?!?

Read – The Now Habit

by

Today I finished reading “The Now Habit: A Strategic Program for Overcoming Procrastination and Enjoying Guilt-Free Play” by Neil A. Fiore

Stated machine is not intelligent

by

A bureaucracy is a poorly implemented state-machine with no memory of what happened yesterday.

And that is something you can easily exploit because you do have a memory of what happened yesterday.

Paper – Designing a Theorem Prover

by

Today I read a paper titled “Designing a Theorem Prover”

The abstract is:
A step-by-step presentation of the code for a small theorem prover introduces theorem-proving techniques.

The programming language used is Standard ML.

The prover operates on a sequent calculus formulation of first-order logic, which is briefly explained.

The implementation of unification and logical inference is shown.

The prover is demonstrated on several small examples, including one that shows its limitations.

The final part of the paper is a survey of contemporary research on interactive theorem proving..

Read – The Leader In You

by

Today I finished reading “The Leader In You: How to Win Friends, Influence People and Succeed in a Changing World” by Dale Carnegie

Studying – Massage therapy

by

This month I am studying “Massage therapy – Beginnning massage”

This is the second month of a 3 month long, part-time, in-person class.

Update: Two months in. Class seems a little slow-paced for my liking.

Update: The cat is getting a lot of practice massages. He doesn’t seem to be complaining.

Paper – Rule-based Machine Learning Methods for Functional Prediction

by

Today I read a paper titled “Rule-based Machine Learning Methods for Functional Prediction”

The abstract is:
We describe a machine learning method for predicting the value of a real-valued function, given the values of multiple input variables.

The method induces solutions from samples in the form of ordered disjunctive normal form (DNF) decision rules.

A central objective of the method and representation is the induction of compact, easily interpretable solutions.

This rule-based decision model can be extended to search efficiently for similar cases prior to approximating function values.

Experimental results on real-world data demonstrate that the new techniques are competitive with existing machine learning and statistical methods and can sometimes yield superior regression performance.

Studying – Massage therapy

by

This month I am studying “Massage therapy – Introduction to massage”

Every girl I’ve dated (not many) and spoken too (many more) has always wanted a good massage from their boyfriend or husband, and lamented the fact they cannot get one.

I intend to rectify that problem for whichever girl I end up in a relationship with.

This is a 3 month long, part-time, in-person class over at the local massage school on Santa Monica Blvd just at the bottom of Amherst.

Pin It on Pinterest