Skip to content

Instantly share code, notes, and snippets.

View lotka's full-sized avatar

Luka M lotka

  • 12:29 (UTC +01:00)
View GitHub Profile
@lotka
lotka / gist:4966960
Created February 16, 2013 13:36
mbed rtty test
#define RADIOPIN p23
void rtty_txstring (char * string);
void rtty_txbyte (char c);
void rtty_txbit (int bit);
DigitalOut outputPin(RADIOPIN);
char datastring[80];
int main()

Mathematics: What do grad students in math do all day?

by Yasha Berchenko-Kogan

A lot of math grad school is reading books and papers and trying to understand what's going on. The difficulty is that reading math is not like reading a mystery thriller, and it's not even like reading a history book or a New York Times article.

The main issue is that, by the time you get to the frontiers of math, the words to describe the concepts don't really exist yet. Communicating these ideas is a bit like trying to explain a vacuum cleaner to someone who has never seen one, except you're only allowed to use words that are four letters long or shorter.

What can you say?

@lotka
lotka / gist:2368161918a22609b3b3
Created October 30, 2015 16:35
Meeting with Ian
http://counterparty.io/
https://lightning.network/
https://www.google.co.uk/search?client=ubuntu&channel=fs&q=zksnark&ie=utf-8&oe=utf-8&gfe_rd=cr&ei=cZUzVoruJI6DcKPondgE
http://www.scipr-lab.org/
Scalability is a massive problem in bitcoin mainly because of bandwidth.
There is some crazy snark thing which means that ehtereum could do its computation not on the blockchain.
Snark sort of tells you a computation has happened in n steps.
Merging various branches of the proof of work chain.
@lotka
lotka / setof attemp
Last active November 28, 2015 23:24
life(good).
life(bad).
life(okay).
setOfLifeOutcomes(X) :-
lengthAcc(X,0).
getAcc([],_,_).
getAcc([H|T],Acc,N) :-
Acc > N -> ! ;
http://apt.cs.manchester.ac.uk/projects/SpiNNaker/
@lotka
lotka / Set a favourite directory
Created January 4, 2016 12:34
Set a favourite directory
# Store the location of your favourite directory
alias fa='echo $(echo $(pwd) | sed "s:^$HOME:~:") > ~/Dropbox/.lastWorkDir'
# Go to your favourite directory
alias f='cd $(cat ~/Dropbox/.lastWorkDir | sed "s:^~:$HOME:")'
# Sed is used to make this work on all the computers I use
{
"cells": [
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# IDAPI Tutorial 01\n",
"1. P(C) = (0.49418546 0.50581454)\n",
"2. P(C) = (0.52250216 0.47749784)\n",
"3. P(C) = (0.57124195 0.42875805)\n",
@lotka
lotka / q4
Created March 20, 2016 20:28
{
"cells": [
{
"cell_type": "code",
"execution_count": 40,
"metadata": {
"collapsed": false
},
"outputs": [
{
{
"cells": [
{
"cell_type": "code",
"execution_count": 20,
"metadata": {
"collapsed": false
},
"outputs": [
{
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.