Friday, 8 October 2021
Word, templates, rage
Monday, 23 August 2021
(Not) building GTK on Big Sur
People are having much trouble with GtkAda on Big Sur, so I thought "why not try building Gtk?" - as here.
Unfortunately, it's just too complicated & runs into so many problems that I give up.
Tuesday, 6 April 2021
Preparing for a Github PR
This is a note about preparing a pull request (PR) for a Github repository. As much as anything, it’s to stop me having to page back through my lab notebook to find out how I did it last time …
Saturday, 6 March 2021
Developing for Cortex MCUs on a Raspberry Pi
Recently, on the Gitter Ada Programming Language lobby, there have been discussions on cross-compiling for Cortex M micro-controllers, specifically the BBC micro:bit, using the Raspberry Pi.
TL;DR: it's not going to be easy, unfortunately. Maybe later (or earlier?) Raspbian releases will help.
Monday, 10 June 2019
MacOS Software Development Kit changes
This post is based on the README from the corresponding Github repository.
That repository attempts to cope with expected changes in Apple’s approach to software development kits, specifically where to find the system headers (you’d expect /usr/include).
Sunday, 19 May 2019
Coding Guidelines
This is a rather self-satisfied document, written in the mid-1990’s, which may still have some relevance.
Coding Guide
Purpose and Scope
While it is hard to make a silk purse out of a sow’s ear (to create good code from a bad design), it is all too easy to do the reverse.
The principle that clear, readable, understandable source text eases program evolution, adaptation, and maintenance is not dependent on the programming language in which the text is written. The purpose of this document is to indicate those language-independent techniques which can help you to produce source text with these qualities.
Friday, 1 February 2019
Using GDB with a BBC micro:bit
This note is about using Segger J-Link software to help debug code on a BBC micro:bit.