Skip to content

Instantly share code, notes, and snippets.

@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

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:

where n=4 and char=space
echo "foobarbazblargblurg" | sed 's/.\{4\}/& /g'
#!/usr/bin/env bash
FILE=$(realpath ~/.ssh/config)
THEPORT=""
THEHOST=""
THEADDR=""
while read -r name
do
#!/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
JdOQHfo4ulUoOtQUjcgOxZrpSrEG9vhNUHqg4CmrvAk=
# Assuming you use network manager
# wpa_cli
> scan
> add_network
> set_network 0 ssid "WLAN-Network"
> set_network 0 psk "Passphrase"
# dhclient wlan0

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

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.

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