Reading List

The Selfish Gene
The Psychopath Test: A Journey Through the Madness Industry
Bad Science
The Feynman Lectures on Physics
The Theory of Everything: The Origin and Fate of the Universe


ifknot's favorite books »

Saturday 29 November 2014

Emergent Cascading Distributed Termination - Graceful shutdown for libfbp

Lets stop monkeying around with termination in FBP 


TL;DR Herein proposed Emergent Cascading Distributed Termination (ECDT) whereby the libfbp component, viewed as an isolated push down automaton(PDA)[1], either:

  • Reaches its own internal accept/final state and, as part of removing itself from the execution model's purview,  closes all its connection(s).
or
  • Reacts to the closed exception(s) thrown by its connections(s) and reaches its own alternative, or only in some cases, final state and, as part of removing itself from the execution model's purview,  closes all its remaining connection(s).
and so on.

Thereby gracefully, and yet unknowingly, cascading the closed connections through the program graph ensemble of components allowing each to reach their final state and spread the cascade.

In order to retain the fungibility and black-box isolation requirements of FBP a component's terminating behaviour must be both dependency inverted, from an OOP perspective, and non-cooperative from a CSP theory perspective. With these immutable axioms in hand how then might libfbp not only terminate but do so gracefully?

Monday 24 November 2014

RaspberryPi Server (Part 2): Security

Getting your head into RaspberryPi security.

TL;DR Having previously setup the RPi as a headless device logging in over ssh here the default password was changed. However, if the RPi is to function as a server then adding a new superuser, deleting the default pi user, enabling passwordless login using ssh keys, disabling password login, restricting incoming connections to port 22 only, banning IPs that fail repeatedly and setting up a restart watchdog timer will go some way to hardening the diminutive server.

UPDATE: "macOS keeps asking my ssh passphrase since I updated to Sierra" *sigh* do this:

 ssh-add -K


This stores passphrases in your keychain.

Saturday 22 November 2014

RaspberryPi Server (Part 1): Headless log in OS X

Getting all carried away with headless RaspberryPi login

TL;DR The Raspbian Raspberry Pi optimized Debian Linux image runs the ssh server by default at boot up. Hook up the Raspberry Pi to the router with a network cable, boot into a Raspbian image, find the RPi on the network and ssh into it from a terminal emulator using default user name (pi) and default password (raspberry).


Saturday 15 November 2014

Coin sized Linux WiFi Computer! My tiny SoC VoCore computer arrived today :)

The replacement for my PDP 8 has arrived.

TL;DR VoCore is an open hardware runs OpenWrt. It has WIFI, USB, UART, 20+ GPIOs but size is only one inch. I was one of many that helped fund this INDIEGOGO project way past its $6000 to its eventual $116,237! Check out their VoCore website.

Are you wondering where libfbp development has gone?

Don't worry I've just been transitioning jobs and I've got a couple of weeks off in December to pick things up again, hope I can remember what I was doing!

Any way heres some cool VoCore stuff...



Here is the little fella mounted on its dock J45, USB, microSD and power inlet.

So far I have only managed to SSH into it over wifi but here is a YouTube video of testing the GPIOs