sixtenbe

#!/usr/bin/python2


# Copyright (C) 2016 Sixten Bergman
# License WTFPL
#
# This program is free software. It comes without any warranty, to the extent
# permitted by applicable law. 
# You can redistribute it and/or modify it under the terms of the Do What The
# Fuck You Want To Public License, Version 2, as published by Sam Hocevar. See

alextp

# coding: utf-8

# An attempt at implementing Bayesian optimization according to
# Brochu, Cora, and de Freitas' tutorial
# http://haikufactory.com/files/bayopt.pdf

from sklearn import gaussian_process
import numpy as np
import scipy.optimize, scipy.stats as st

1wErt3r

;SMBDIS.ASM - A COMPREHENSIVE SUPER MARIO BROS. DISASSEMBLY
;by doppelganger (doppelheathen@gmail.com)

;This file is provided for your own use as-is.  It will require the character rom data
;and an iNES file header to get it to work.

;There are so many people I have to thank for this, that taking all the credit for
;myself would be an unforgivable act of arrogance. Without their help this would
;probably not be possible.  So I thank all the peeps in the nesdev scene whose insight into
;the 6502 and the NES helped me learn how it works (you guys know who you are, there's no 

arvearve

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?

dyoo

#lang racket/base

(provide unicode-name)


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; We want to compute the table at compile-time, so that the result can be saved
;; by using raco make.
(require (for-syntax net/url 
                     racket/base

MathieuDuponchelle

from gi.repository import GstPbutils
from gi.repository import Gtk
from gi.repository import Gst
from gi.repository import GES
from gi.repository import GObject

import sys
import signal

def handle_sigint(sig, frame):

turnersr

#Non-mathematical Introductions

• http://gcn.com/articles/2014/01/09/topographical-data-analysis.aspx
• https://www.simonsfoundation.org/quanta/20131004-the-mathematical-shape-of-things-to-come/

#Videos

• http://www.youtube.com/channel/UCThuKLGcSXhBJ5GlwzHobJw
• http://www.youtube.com/watch?v=kctyag2Xi8o
• http://www.youtube.com/watch?v=x3Hl85OBuc0
• http://www.youtube.com/playlist?list=PL6763F57A61FE6FE8
• http://techtalks.tv/talks/topological-data-analysis-part-i/58123/

aflaxman

clfflame.nt.d

module clfflame;

import c.CL.cl;
import sys, std.(file, string, util, random, math, time, thread, channel, hashmap, png, macros.(switchover, where));
pragma(lib, "OpenCL");

alias NUMFUNS = 10; // functions implemented
alias numfuns = 3; // function set size, must be constant because compiled into shader

alias SPEED = 1.0;

puffnfresh

-- Originally an Idris translation of copumpkin's Agda code:
-- https://gist.github.com/copumpkin/8758586

-- Extended using Matthew Brecknell's proof which only needs two properties:
-- https://gist.github.com/mbrcknl/bfaa72c2ec6ff32a2826

-- Proves that List reverse is completely specified by:
-- 1. f [x] = [x]
-- 2. f (xs ++ ys) = f ys ++ f xs