Skip to content

Instantly share code, notes, and snippets.

Kasper Fabæch Brandt poizan42

Block or report user

Report or block poizan42

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
<link cmd="!">Help</link> for <b>Prototype Debugger Extension (PDE) v11.3</b> - Copyright 2009-2017 Andrew Richards
!seek - Equivalent of ~*knL and/or !deep 1
!seek [-q] [-e symbol] [&lt;symbol&gt; [command]]
- Execute 'command' against stacks that contain 'symbol'
(Note, don't include a displacement in the specified symbol)
- Specify '-q' (quiet) to omit the per-thread header
poizan42 / Form1.Designer.cs
Last active Oct 25, 2019
ExecutionEngineException thrown when using ICustomQueryInterface to implement IDocHostUIHandler
View Form1.Designer.cs
namespace WebBrowserCustomSiteTest
partial class Form1
/// <summary>
/// Required designer variable.
/// </summary>
private System.ComponentModel.IContainer components = null;
/// <summary>
poizan42 / inf-primes.v
Created Nov 27, 2014
Proof of the infinitude of primes
View inf-primes.v
Require Import Coq.ZArith.ZArith.
Require Import Coq.ZArith.Znumtheory.
Require Import Coq.Sets.Ensembles.
Require Import Coq.Sets.Finite_sets.
Require Import Coq.PArith.BinPos.
Definition Z_ens := Ensemble Z.
Print Finite.
Print Empty_set.
Definition is_empty_set U A := forall x, ~(In U A x).
poizan42 /
Last active Sep 4, 2019
A tool for finding encodings that encodes a given string to a given binary value, or for finding possible combinations of encoding+decoding that would convert a string to a given mojibake
#/usr/bin/env python3
import re
import sys
import encodings
import pkgutil
all_encodings = set()
for _, modname, _ in pkgutil.iter_modules(
encodings.__path__, encodings.__name__ + '.',
poizan42 / .config
Last active Aug 20, 2019
crosstool-ng#962 failure
View .config
# Automatically generated file; DO NOT EDIT.
# crosstool-NG Configuration
poizan42 / explodeUtf8.sml
Last active Sep 28, 2018
UTF-8 decoder in Standard ML
View explodeUtf8.sml
exception Encoding of string;
fun decodeUtf8Chars nil = nil
| decodeUtf8Chars (c::rest) =
if c < #"\128" then (ord c)::(decodeUtf8Chars rest)
val cn = ord c
(* 0xF4 is the largest allowed start byte after the restriction
View Excluded.cs
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ExcludedFileTest
I do not compile!
class Excluded
poizan42 / Makefile
Last active Jul 30, 2018
Demonstration of running 32-bit code on WSL
View Makefile
call32test: call32test.o call32.o
gcc -g $^ -o $@
call32test.o: call32test.c
gcc -g -c $< -o $@
call32.o: call32.asm
nasm -f elf64 call32.asm -o call32.o
View make-test-unit.log
Makefile:126: The docker client CLI has moved to For a dev-test cycle involving the CLI, run:
DOCKER_CLI_PATH=/host/path/to/cli/binary make shell
then change the cli and compile into a binary at the same location.
docker build -t "docker-dev:master" -f "Dockerfile" .
Sending build context to Docker daemon 251.1MB
Step 1/94 : FROM golang:1.10.3 AS base
---> 4e611157870f
Step 2/94 : ENV GO_VERSION 1.10.3
You can’t perform that action at this time.