Category Archives: Uncategorized

“Linux” on iPhone released open-source

https://www.linkedin.com/pulse/linux-iphone-released-open-source-christoph-kohlhepp-msc-mbcs-citp

 

Leave a comment

Filed under Uncategorized

How to Write Your First Quantum Program – A View on Optimising Manufacturing Supply Chains

https://chriskohlhepp.wordpress.com/economics-robotics/experimenting-wi…-quantum-physics/

https://www.linkedin.com/pulse/how-write-your-first-quantum-program-view-supply-christoph  by @ChrisKohlhepp on @LinkedIn

Leave a comment

Filed under Uncategorized

Macroeconomics 4.0, Robotics & Manufacturing

Today I would like to start  a new series of articles on Macroeconomics, Robotics & Manufacturing.

The following articles are planned for this section:

National Manufacturing Network – A Post Industrial Economic Doctrine for a Robotic Age

This article will look at mega-economic and mega-political trends through history and make recommendations for advanced manufacturing in Australia specifically and for industrial democracy more generally. In an age of populist movements tearing at the fabric of the international order, this write-up dating back to 2010 and 2012 is particularly poignant.

Driving a Meta Matter Compiler – Towards Compiling Physical Artefacts

Compilers in computer science translate human readable computer languages into codes that may be executed by computer hardware. Inputs and outputs are information. In the National Manufacturing Network, we proposed a significant departure from that “information only” concept: compiling goods. This article takes a novel compiler by Dr. Christian Schafmeisterfor a drive.” It’s aim: compiling nano-molecules (matter) that themselves in turn generate other molecules (meta). Dr. Schafmeister’s compiler is implemented in Common Lisp using a dedicated compiler that he wrote for the purpose: Clasp. This article examines Clasp integration with the high performance computing language C++.  A Github repository will be provided to allow interested readers to repeat the experiments.

Quantum Lisp – Manufacturing Constraint Optimisation using Quantum Physics

Quantum computing holds the promise of solving with ease what are presently intractable problems for conventional computers. D-Wave of British Columbia, Canada, presently holds the quantum computing crown. The operating system of the D-Wave quantum computer is written in Steal Bank Common Lisp as corroborated by this job advertisement. The Lambda Calculus and with it Lisp is particularly amenable to quantum computation. This article examines the Quantum Common Lisp system Blackstone with a view towards solving presently intractable computational problems in the field of manufacturing.

Methods and Systems for a Robotic Capability Model

Access to this section is upon request. Australian, United States and International Patents Pending.

Methods and Systems for an Autonomous Supply Chain

Access to this section is upon request. Australian, United States and International Patents Pending.

Autonomous Supply Chain – A Simulation

Access to this section is upon request. Australian, United States and International Patents Pending.

Manufacturing Near Me: Geospatial Analytics – Tasmania Demonstrator

A PC, tablet &  mobile phone based geospatial application for the advanced manufacturing sector using the Australian state Tasmania as demonstrator

Autonomous Supply Chain – Refactoring Clausewitz Military Strategy: An Essay

Supply chains in a civilian setting mean lines of supply in a defence setting. Transforming supply chains using advanced manufacturing has the potential to profoundly alter modern military strategy. This essay examines changes to classical “Carl von Clausewitz” defence principles in light of the Autonomous Supply Chain.

I look forward to sharing these articles with you.

Chris Kohlhepp

P.S. Macroeconomics 4.0 is a play on “Industrie 4.0” from a project in the high-tech strategy of the German government, which promotes the computerisation of manufacturing.

 

Leave a comment

Filed under Uncategorized

Cryptanalysis with Reasoning Systems

Today I would like to start the third article in a series on reasoning systems and declarative, executable specifications: GCHQ 2015 Crypto Puzzle Analysed. The material I prepared for this article on the 2015 GCHQ crypto puzzle was mothballed nearly a year ago now – and surely GCHQ will host a new puzzle this year. To date, I have not examined other people’s solution strategies as this would have spoiled the fun for me. I set out to solve this problem differently. I wanted to build a general solver, one that would not rely on the hints GCHQ so generously provided in the form of pre-filled parts of the puzzle, one that would work for other puzzles and which would demonstrate how problems with significant analytical complexity can be solved using functional programming techniques.

This is part 3 of a 3 part series GCHQ 2015 Crypto Puzzle Analyzed. Part 1 is The Anatomy of a Puzzle. Part 2 is The Reasoned Lisper.

6 Comments

Filed under Uncategorized