Skip to content

Instantly share code, notes, and snippets.

Avatar

Daniel Murfet dmurfet

View GitHub Profile
@dmurfet
dmurfet / mast30026-student-interest.md
Last active Aug 10, 2018
MAST30026 Student areas of interest
View mast30026-student-interest.md

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 Jun 11, 2020
Spaces of programs
View synthesis.md

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 Apr 22, 2020
Interesting videos on AI
View Videos
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 Dec 3, 2016
Using Git and GitHub for collaboration on writing scientific papers
View usinggit.md

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 Nov 18, 2018
Sketch of hosting a personal research website using Digital Ocean
View hosting_unimelb.md

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.