Skip to content

Instantly share code, notes, and snippets.

View adrianlshaw's full-sized avatar

Adrian L. Shaw adrianlshaw

34 followers · 46 following
View GitHub Profile
@adrianlshaw
adrianlshaw / sat.hs
Created February 12, 2012 10:13 — forked from gatlin/sat.hs
SAT Solver in Haskell
import Data.Maybe
import Control.Monad
type Literal = Integer
type Clause = [Literal]
type Formula = [Clause]
type Record = [Literal]
data SolverState = SolverState { formula :: Formula
, record :: Record
@adrianlshaw
adrianlshaw / keybase.md
Created October 20, 2017 21:34

Keybase proof

I hereby claim:

  • I am adrianlshaw on github.
  • I am adrianlshaw (https://keybase.io/adrianlshaw) on keybase.
  • I have a public key whose fingerprint is 1ACE F182 610A A658 21E7 0BF5 15E8 21F5 771D FEB6

To claim this, I am signing this object:

@adrianlshaw
adrianlshaw / insert-char-every-n-characters
Created January 6, 2018 16:43
where n=4 and char=space
echo "foobarbazblargblurg" | sed 's/.\{4\}/& /g'
@adrianlshaw
adrianlshaw / interesting-bash-prob
Last active January 28, 2018 16:40
#!/usr/bin/env bash
FILE=$(realpath ~/.ssh/config)
THEPORT=""
THEHOST=""
THEADDR=""
while read -r name
do
@adrianlshaw
adrianlshaw / wth
Created August 8, 2018 18:56
#!/bin/bash
timeout 5 qemu-system-x86_64 -nographic -serial mon:stdio -append 'console=ttyS0' -kernel /vmlinuz &> foo
wc -l foo
rm foo
echo "timeout 5 qemu-system-x86_64 -nographic -serial mon:stdio -append 'console=ttyS0' -kernel /vmlinuz > foo" &> test.sh
chmod +x test.sh
./test.sh
@adrianlshaw
adrianlshaw / pub
Created January 7, 2019 22:34
JdOQHfo4ulUoOtQUjcgOxZrpSrEG9vhNUHqg4CmrvAk=
@adrianlshaw
adrianlshaw / wireless-network-linux-cli
Created January 21, 2019 08:23
# Assuming you use network manager
# wpa_cli
> scan
> add_network
> set_network 0 ssid "WLAN-Network"
> set_network 0 psk "Passphrase"
# dhclient wlan0
@adrianlshaw
adrianlshaw / ubuntu-touchscreen-notes.md
Last active January 25, 2019 21:52

Ubuntu on a tablet

Where to begin?

SO it's technically possible to use Ubuntu on a tablet. It can even be nice once you get used to it.

But the defaults are simply AWFUL.

Firefox

@adrianlshaw
adrianlshaw / Thinkpad_T23_USB_boot.md
Created May 27, 2019 20:38

The Thinkpad T23 feels like a classic laptop. I spent too long trying to install an OS, though.

So here's a tip that'll save you time. In the BIOS enter the boot menu and press CTRL + ENTER on entries that are marked with a + symbol. This will expand the specific list to show the USBs that are attached. USB disks will appear under "Hard drives" and not "Removable disks". Make sure the USB disk has a higher boot priority than the main disk.

Since it's USB 1.1 the speed will be extremely slow when loading the installer. However, I noticed that the USB works fast enough for a Wi-Fi adapter.

@adrianlshaw
adrianlshaw / ff6-crashdump-wine
Created June 29, 2019 10:04
ERROR: ld.so: object '/home/user/.steam/ubuntu12_32/gameoverlayrenderer.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS32): ignored.
ERROR: ld.so: object '/home/user/.steam/ubuntu12_64/gameoverlayrenderer.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
ERROR: ld.so: object '/home/user/.steam/ubuntu12_64/gameoverlayrenderer.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
ERROR: ld.so: object '/home/user/.steam/ubuntu12_32/gameoverlayrenderer.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS32): ignored.
46565.290:0008:0009:trace:module:load_builtin_callback loaded ntdll.dll 0x1104f8 0x7bc10000
46565.290:0008:0009:trace:module:load_builtin_dll Trying built-in L"kernel32.dll"
46565.291:0008:0009:trace:module:load_dll looking for L"ntdll.dll" in L""
46565.291:0008:0009:trace:module:load_dll Found L"C:\\windows\\system32\\ntdll.dll" for L"ntdll.dll" at 0x7bc10000, count=2
46565.291:0008:0009:trace:module:load_builti