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
View PDEv11.3.help.dml
=========================================================================================
<link cmd="!PDE.help">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
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
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
poizan42 / revenc.py
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
View revenc.py
#/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
poizan42 / .config
Last active Aug 20, 2019
crosstool-ng#962 failure
View .config
#
# Automatically generated file; DO NOT EDIT.
# crosstool-NG Configuration
#
CT_CONFIGURE_has_static_link=y
CT_CONFIGURE_has_cxx11=y
CT_CONFIGURE_has_wget=y
CT_CONFIGURE_has_make_3_81_or_newer=y
CT_CONFIGURE_has_make_4_0_or_newer=y
CT_CONFIGURE_has_libtool_2_4_or_newer=y
@poizan42
poizan42 / explodeUtf8.sml
Last active Sep 28, 2018
UTF-8 decoder in Standard ML
View explodeUtf8.sml
exception Encoding of string;
local
fun decodeUtf8Chars nil = nil
| decodeUtf8Chars (c::rest) =
if c < #"\128" then (ord c)::(decodeUtf8Chars rest)
else
let
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
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 github.com/docker/cli. 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.