Xitong Gao

151 Added | 2 Magazines | 2 Following | 2,407 Followers | @admko | Keep up with Xitong Gao on Flipboard, a place to see the stories, photos, and updates that matter to you. Flipboard creates a personalized magazine full of everything, from world news to life’s great moments. Download Flipboard for free and search for “Xitong Gao”

Let's Write an LLVM Specializer for Python!

This is the followup to my talk <b>LLVM Optimized Python</b> at the <b>Harvard-Smithsonian Center for Astrophysics</b>, we'll do the deep dive that I didn't have …

PHYS771 Lecture 19: Time Travel

It follows that, if you want <i>t′</i> to be exponentially larger than <i>t</i>, then <i>v</i> has to be exponentially close to 1. There might already be fundamental …

Music Language Modeling with RNN's

Music Language Modeling with Recurrent Neural Networks<p>TL;DR<p>I trained a Long Short-Term Memory (LSTM) Recurrent Neural Network on a dataset of around …

Snake

Toy example of a deep reinforcement model playing the game of Snake. It's a follow up to a similar model that has learned to catch fruit: …

Orthoprint, or How I Open-Sourced My Face

Amos Dudley's blog about level design, environment modeling, and 3D.<p>10 Mar 2016 | self-Amos, making, orthodontics, laser-scanning, prototyping, …

Sorry ARIMA, but I’m Going Bayesian

When people think of “data science” they probably think of algorithms that scan large datasets to predict a customer’s next move or interpret …

Data Science

I fly 747s for a living. Here are the amazing things I see every day. - Vox

I've loved airplanes for as long as I can remember, but it wasn't until my late 20s that I started training to become a commercial airline pilot. My adult life before then consisted of a master's degree and about a third of a PhD (I like to say I did the ‘P'), followed by a stint as a management …

Long Haul

PLT by steshaw

Programming Language Theory<p>Finding a path to enlightenment in <i>Programming Language Theory</i> can be a tough one, particularly for programming …

Reversing the petya ransomware with constraint solvers

With the advent of anonymous online money transactions (read Bitcoin) ransomware has become a profitable business in the cybercrime industry. This …

How convolutional neural networks see the world

An exploration of convnet filters with Keras<p><b>Note: all code examples have been updated to the Keras 2.0 API on March 14, 2017. You will need Keras</b> …

Deep Learning is Easy - Learn Something Harder

<i>Caveat:</i> This post is meant address people who are completely new to deep learning and are planning an entry into this field. The intention is to help …

Machine Learning

Defensive BASH programming - Say what?

Here is my Katas for creating BASH programs that work. Nothing is new here, but from my experience pepole like to abuse BASH, forget computer science …

The world’s fastest framework for building websites

What's modern about waiting for your site to build?<p>Hugo is the fastest tool of its kind. At <1 ms per page, the average site builds in less than a …

Thesis

On December 1, 2015 at Radboud University Nijmegen, I have defended my PhD thesis entitled:<p>The C standard formalized in Coq<p>with <i>cum laude</i> …

Semantics

What happens when...

This repository is an attempt to answer the age old interview question "What happens when you type google.com into your browser's address box and …

Linux

Doing an HD Remake the Right Way

Even at 1080p, we don't have a clean 2x scale we can round down to. If I could go back in time I definitely would have picked something easier to …

pyNES | Write NES games in Python

pyNES allows you to write NES games in Python. It is a 6502 ASM compiler, aiming to make the development of NES games easier and much more fun.

NES

LaTeX to HTML5

This repository contains configuration files for tex4ht and post processing scripts to customize and simplify the HTML generated by tex4ht. Instead …

First new cache-coherence mechanism in 30 years

In a modern, multicore chip, every core — or processor — has its own small memory cache, where it stores frequently used data. But the chip also has …

MIT

Scientific method: Statistical errors

P values, the 'gold standard' of statistical validity, are not as reliable as many scientists assume.<p>For a brief moment in 2010, Matt Motyl was on …

Replication

Eight Terminal Utilities Every OS X Command Line User Should Know

The OS X Terminal opens up a world of powerful UNIX utilities and scripts. If you’re migrating from Linux, you’ll find many familiar commands work …

How Not To Sort By Average Rating

<i>February 6, 2009</i> (Changes)<p><b>PROBLEM</b>: You are a web programmer. You have users. Your users rate stuff on your site. You want to put the highest-rated …

Data Science

Why do ten McNuggets cost the same as twenty?

Loose End #2: There's a Theorem Named After Chicken McNuggets!?<p>To conclude this article on Chicken McNuggets, this is not the first time in my life …

Mathematics

Super Mario World Credits Warp Explained

Brython

A Python 3 implementation for client-side web programming<p>Without a doubt, you've seen a clock like this in demos of HTML5<p>However, right click and …

Inverting Binary Trees Considered Harmful

[Inverted Tree © 2006, John Opsopaus]<br>Man, interviews in the Valley have truly gotten fucking awful.There is no other ritual that is as thoroughly …

Stack Overflow

How Well Can You Hear Audio Quality?

Recently, the rapper Jay Z relaunched the subscription streaming music service Tidal, which includes the option to listen to high-definition audio for $19.99 per month. Tidal's HiFi, with its uncompressed audio files, promises a better listening experience than any other streaming service on the …

High-Definition