Julian Fell

Brisbane // Meanjin
ABC Digital
Code
ABC Emergency Website

Emergency warning map for Australia with live data

ABC Emergency Voice App

Alexa, are there any emergencies near me?

Julia PDAL

Embeddable Julia Filter stage for PDAL

Knotted.Live

Experimental In-Browser Live Looper

Words
Blog

Infrequently updated, poorly edited

ABC Dev Blog

Contributions to ABC Digital Developers blog

Misc
Aus-Pol-Decoded

An Oulipo-esque experiment on Twitter

Honours Thesis

Rely/Guarantee Algebra: Model Verification

Archive of Formal Proofs

Published Isabelle/HOL theory document

Hacks / Hackers Meetup

Gave a talk about using NLG for journalism

GitHub LinkedIn Twitter