Skip to content

Instantly share code, notes, and snippets.

View remexre's full-sized avatar

remexre

View GitHub Profile

Keybase proof

I hereby claim:

  • I am remexre on github.
  • I am remexre (https://keybase.io/remexre) on keybase.
  • I have a public key ASArS9ZXSTjnMwThG6No6iTC2K2CVK_Ww6kEDogqNUlavAo

To claim this, I am signing this object:

Keybase proof

I hereby claim:

  • I am tikiking1 on github.
  • I am tikiking1 (https://keybase.io/tikiking1) on keybase.
  • I have a public key whose fingerprint is F13A 40A8 C0CE 5BDE 508B B2BC B834 3229 D7BB D7D7

To claim this, I am signing this object:

#include <cstdio>
#include <set>
#include <gmpxx.h>
int main(int argc, char** argv) {
// Set upper bound
mpz_class max;
{
unsigned int maxpow2 = 8;
@remexre
remexre / peano.py
Created June 15, 2014 07:24
Simple Arithmetic Functions from the Peano Axioms
#!/usr/bin/env python3
def S(x): # O(1)
"""Successor function.
Simply put, S(x) = x + 1."""
return x+1
def iS(y): # O(y)
"""Inverse of the successor function.
@remexre
remexre / Minesweeper.asm
Created October 18, 2013 15:03
Simple x86 Assembly (Intel syntax) minesweeper.
[section .text]
GLOBAL _start
tiles:
.unknown equ '.'
.empty equ ' '
.mine equ '!'
_start:
@remexre
remexre / Minesweeper.java
Created October 9, 2013 18:48
Minesweeper
import java.awt.BorderLayout;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.event.MouseEvent;
import java.awt.event.MouseListener;
import java.awt.image.BufferedImage;
import java.io.File;
import java.util.Random;
import javax.imageio.ImageIO;