josephcsible

{-# LANGUAGE CPP #-}

#define MAIN_FN_NAME main
#define puts putStrLn hello'world

hello'world :: String
hello'world = "Hello, World!"

MAIN_FN_NAME = puts

josephcsible

• Boot with a USB drive with an image from https://github.com/marcosfad/mbp-ubuntu
• Hold Option at the chime and pick the last one
• echo high > /sys/bus/pci/drivers/amdgpu/0000:??:??.?/power_dpm_force_performance_level
• apt install /usr/src/iso-firmware.deb
• modprobe -r brcmfmac
• modprobe brcmfmac
• systemctl restart network-manager
• Add this to /etc/NetworkManager/NetworkManager.conf:

[device]

josephcsible

global memcpy64, _memcpy64
section .text

memcpy64:
_memcpy64:
    push edi
    push esi
    call 0x33:.heavensgate
    pop esi
    pop edi

josephcsible

#include <windows.h>
#include <stdio.h>

int main(void) {
    FreeConsole();
    AttachConsole(ATTACH_PARENT_PROCESS);
    freopen("CONOUT$", "w", stdout);
    puts("This will go to the parent's console no matter what process creation flags were used");
}

josephcsible

{-# LANGUAGE DerivingStrategies, GeneralizedNewtypeDeriving, TypeApplications #-}

import Data.Char
import Data.Function

newtype DebianVersionString = DebianVersionString String deriving newtype Show

instance Eq DebianVersionString where
  x == y = compare x y == EQ

josephcsible

import Control.Monad.State
import Data.Traversable

{-
>>> uglyMap (,,) "abc"
[('a',0,"abc"),('b',1,"abc"),('c',2,"abc")]
-}
uglyMap :: Traversable t => (a -> Int -> t a -> b) -> t a -> t b
uglyMap f xs = flip evalState 0 $ for xs $ \x -> do
    i <- get

josephcsible

{-# OPTIONS -Werror=type-defaults #-}

import Data.Maybe (isJust)
import Data.Word (Word16, byteSwap16)

default ()

oneNumTup :: Num a => (a, a)
oneNumTup = (2, 300)

josephcsible

Var ::= [a-zA-Z]+
     ;

PrimaryTerm ::= Var
             | '(' Term ')'
             ;

ApplyTerm ::= PrimaryTerm
           | ApplyTerm PrimaryTerm
           ;

josephcsible

{-# LANGUAGE RankNTypes #-}

-- Adapted from https://gist.github.com/Lysxia/18fce5d4ce8ff7eb7117dfb827770187 to work on StatesT

import Control.Monad
import Control.Monad.Trans.Class
import Data.Void
import StatesT

-- Demonstration that StatesT is unsafe

josephcsible

#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
#include <string.h>
#include <sys/mman.h>

typedef void *(*f)(void *);

f make_function_with_state(f code, size_t code_len, void *state, size_t state_len) {
        f mem = mmap(NULL, code_len + state_len, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);