Skip to content

Instantly share code, notes, and snippets.

View dmurfet's full-sized avatar

Daniel Murfet dmurfet

View GitHub Profile
@dmurfet
dmurfet / supervision.md
Last active September 14, 2018 00:05
Philosophy of supervision

Some thoughts on supervision

As a PhD student you are optimising for a goal with a long time horizon (in the first case to complete a PhD, but then perhaps also to obtain a permanent research position, which could take much longer) and it is hard to determine the correlation between any given intermediate action and eventual success (whatever you define that to be, but two large components could be prove beautiful theorems and get a job). This brute fact lies at the root of much stress and uncertainty. How does one prove beautiful theorems? How does one get a job?

Well, who knows, but certainy not by trying to directly optimise for a goal with a decade long time horizon, and this degree of uncertainty! You have to develop shorter term proxy goals, and it seems to me that part of the job of a supervisor is to assist in that development. If you want to prove beautiful theorems and get a job, then since it is difficult to infer from first principles the algorithm for doing either of those things, a r

@dmurfet
dmurfet / mast30026-student-interest.md
Last active August 10, 2018 02:59
MAST30026 Student areas of interest

Student areas of interest MAST30026 S2 2018

  • Physics, pure and applied maths, chemistry
  • Computer science, AI, physics
  • Physics
  • Pure math, fluid mechanics
  • Mathematical physics, puremaths
  • Physics, quantum physics, abstract algebra, category theory
  • Physics
  • Pure math, applied math, biology
@dmurfet
dmurfet / synthesis.md
Last active February 26, 2021 23:05
Spaces of programs

Spaces of programs and synthesis

written in December 2018.

The practical development of deep learning and its associated infrastructure has initiated a broad re-examination of the practice of computer programming. In this document we briefly survey how this discussion has evolved over the past few years, and then describe our point of view on the underlying mathematics.

Program synthesis

We begin with some appeals to authority, in the form of the following references:

@dmurfet
dmurfet / Videos
Last active April 22, 2020 03:47
Interesting videos on AI
General
=======
https://www.youtube.com/watch?v=1X7Koxx4qJE (from 16:40 Hassabis on why DeepMind is unusual)
https://www.youtube.com/watch?v=PW09L6-75ig (Shklyarov)
Higher education
================
https://www.youtube.com/watch?v=yUGn5ZdrDoU (Clayton Christensen on disruption in higher ed)
@dmurfet
dmurfet / usinggit.md
Last active December 25, 2021 14:54
Using Git and GitHub for collaboration on writing scientific papers

Getting started

First you'll have to install the Git command line tool on your machine, following these instructions. Then find the repository that you want to contribute to, copy its address from the green "Clone or Download" button, and on your local machine run e.g.

git clone https://github.com/dmurfet/difflinearlogic.git

Committing changes

To see a list of what has changed (optional) run git status. Then

@dmurfet
dmurfet / hosting_unimelb.md
Last active January 8, 2022 15:32
Sketch of hosting a personal research website using Digital Ocean

The Rising Sea HOWTO

Videos

Recently I have been posting videos of seminar talks and lectures online to a YouTube channel. The equipment and software that I use:

  • Two Sony HDR-CX405 video cameras (around $300 in 2018) on cheap generic tripods (under $50).
  • Sennhesier ClipMic digital lapel microphone (around $200 in 2018).
  • An iPhone (which the ClipMic digital records to).
  • A bunch of 32Gb microSD cards.