I hereby claim:
- I am lschuermann on github.
- I am lschuermann (https://keybase.io/lschuermann) on keybase.
- I have a public key whose fingerprint is 0A26 EF66 2605 AB6F 4786 F25E D70E F7E9 8D90 A107
To claim this, I am signing this object:
{x -> top,flag -> top} | |
x = 0 | |
{x -> 0,flag -> top} | |
flag = 1 | |
{x -> 0,flag -> 1} | |
while x < 0: | |
{Bottom} | |
if flag == 1: | |
{Bottom} | |
x = (x + 1) |
module F2 where | |
import Data.Maybe | |
import Data.Function | |
-- The finite field F2 | |
data F2 = Zero | One | |
deriving Eq | |
instance Num F2 where |
# Spielfeld Matrix (gedreht) | |
Spielfeld = [[0,0,0,0,0,0,0], | |
[0,0,0,0,0,0,0], | |
[0,0,0,0,0,0,0], | |
[0,0,0,0,0,0,0], | |
[0,0,0,0,0,0,0], | |
[0,0,0,0,0,0,0]] | |
def zeigeSpielfeld(Spielfeld): | |
for y in range(0, 7): |
Hi! We're having quite some trouble getting an IPC client app to work together with BLE on hail. | |
We're using the `ble-uart` example app and just included these lines: | |
``` | |
static char buf[64] __attribute__((aligned(64))); | |
int hotp_svc_num = 0; | |
bool calledback = false; | |
static void hotp_callback(__attribute__ ((unused)) int pid, | |
__attribute__ ((unused)) int len, | |
__attribute__ ((unused)) int arg2, void* ud) { |
I hereby claim:
To claim this, I am signing this object:
#!/bin/bash | |
# Source: https://gist.githubusercontent.com/solidsnack/d1ba54ac43d79b61f749863cfa3354ab/raw/b7396b4b791f882fd243cee512fbc301bcd6d688/ssh-srv | |
set -o errexit -o nounset -o pipefail | |
function --help { | |
cat <<USAGE | |
USAGE: ssh-srv <DNS name> <SSH options and args>* | |
Allows SSH to nodes referenced by SRV records. The SRV records can be |
#[derive(Clone)] | |
enum AvlTree<T> { | |
Leaf, | |
Node { | |
left: Box<AvlTree<T>>, | |
right: Box<AvlTree<T>>, | |
value: T | |
} | |
} |
<form name="form1" action="/ptlweb/WebPortal?timeout=4040&applId=webweb&frame=content&wp_token_webweb=1663904329" method="post" autocomplete="off"><noscript><input name="nosc" value="nosc" type="hidden"/></noscript><input name="tk" value="-657730525" type="hidden"/> | |
<div id="BOX_1474343773283" class="gad-box ym-clearfix gad-informationBox" role="region" aria-label="Info"> | |
<div id="BOX_1474343773283_content" class="gad-boxContent"> | |
<div class="gad-block ym-grid ym-clearfix"> | |
<div class="gad-blockContent ym-g100"> | |
<div class="gad-decoratedControl ym-g100"> | |
<span id="gad_login_welcome_text" class="gad-text">Willkommen in der Online-Filiale der Volksbank Siegerland eG</span> |
/* | |
* Minimalistic implementation of the XModem/YModem protocol suite, including | |
* a compact version of an CRC16 algorithm. The code is just enough to upload | |
* an image to a MCU that bootstraps itself over an UART. | |
* | |
* Copyright (c) 2014 Daniel Mack <github@zonque.org> | |
* | |
* This program is free software; you can redistribute it and/or modify it under | |
* the terms of the GNU Lesser General Public License as published by the | |
* Free Software Foundation; either version 2.1 of the License, or (at your option) |