Skip to content

Instantly share code, notes, and snippets.

View anthonyclays's full-sized avatar

Anthony Clays anthonyclays

  • Leuven, Belgium
View GitHub Profile
@anthonyclays
anthonyclays / keybase.md
Created April 12, 2017 21:11
keybase.md

Keybase proof

I hereby claim:

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

To claim this, I am signing this object:

@anthonyclays
anthonyclays / minesweeper.py
Created April 18, 2017 11:23
Guesswork-free 3D minesweeper
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
from itertools import product, chain, count
import random, time
from z3 import *
N, M = 6, 11
@anthonyclays
anthonyclays / server.py
Created April 12, 2019 15:03
Simple server that runs a process for each client connection
#!/usr/bin/env python3.7
# -*- coding: utf-8 -*-
import asyncio
import click
async def copy(src, dst):
buf = await src.read(1024)
while buf:
dst.write(buf)
@anthonyclays
anthonyclays / meta_fizzbuzz.py
Created March 28, 2016 15:34
meta-FizzBuzz
#!/usr/bin/env python
# -*- coding: utf-8 -*-
from itertools import combinations
from operator import mul
def all_combinations(things):
for i in xrange(len(things), 0, -1):
for result in combinations(things, i):
yield result
@anthonyclays
anthonyclays / perfect_squares.rs
Created September 14, 2015 08:37
Fast perfect square test in Rust
fn isqrt(n: usize) -> usize {
n == 0 && return n;
let mut s = (n as f64).sqrt() as usize;
s = (s + n / s) >> 1;
if s * s > n { s - 1 } else { s }
}
fn perfect_sqrt(n: usize) -> isize {
match n & 0xf {
0 | 1 | 4 | 9 => {