Skip to content

Instantly share code, notes, and snippets.

View justjanne's full-sized avatar

Janne Mareike Koschinski justjanne

View GitHub Profile
<!DOCTYPE html>
<meta charset="utf-8">
<style>
body {
text-align: center;
background: #7c7c7c;
}
.block {
; Takes two sorted lists
; Returns a sorted list with all elements from the first 2 lists
; (Works like the set union from a previous series)
(: merge-lists ((list-of number) (list-of number) -> (list-of number)))
(define merge-lists
(lambda (xs ys)
(cond
[(empty? xs) ys]
[(empty? ys) xs]
[(< (first xs) (first ys))
/*
* The addIrcUser function in the Network class is called whenever a new
* IRC user appears on a given network.
*/
} else if (className.equals("Network")) {
switch(function) {
case "addIrcUser":
String nick = (String) packedFunc.remove(0).getData();
IrcUser user = new IrcUser();
user.nick = nick.split("!")[0];
/**
* Handler of incoming messages from CoreConnection, since it's in another
* read thread.
*/
class IncomingHandler extends Handler {
public boolean disabled = false;
@Override
public void handleMessage(android.os.Message msg) {
if (msg == null || coreConn == null || disabled) {
Aufgabe 1 (a)
=============
> Wie kann man einen Addierer als Subtrahierer verwenden?
Ein Addierer kann als Subtrahierer verwendet werden, indem das zweite Argument
negiert wird.
$a - b = a + (-b)$
Im Zweierkomplement können wir eine Zahl negieren, indem wir alle ihre Bits
@justjanne
justjanne / file
Created March 21, 2015 15:26
Custom CSS
.server-msg-reconnect {
display: block !important;
}
.user-dropdown {
top: 100%!important;
border: none !important;
margin-top: 1px !important;
border-radius: 1px !important;
background: rgba(20,20,20,0.95) !important;
html {
position: relative;
}
body {
background: #eee;
}
body>.content {
margin: 0 20px 20px 10px;
// Some text to get the charset autodetection right: äöüßäöüßæ
if (window.location.hash === "#debug") {
$.getScript('http://localhost.kuschku.de/custom.js');
} else if (window.location.hash === "#old") {
/*
* The following code is for the sole use of the channel located at http://cytu.be/r/yepityha
*/
var CUSTOM_RULES = {
@justjanne
justjanne / ffab.user.js
Last active September 20, 2015 07:50
Fuck-FuckAdBlock
// ==UserScript==
// @name fuck-fuckadblock
// @namespace de.kuschku.ffab
// @version 1
// @grant none
// ==/UserScript==
var eventCallback = function () {
if (window.fuckAdBlock) window.fuckAdBlock._options.baitClass = "kjdftriuhdiuhiuohiuehue";
if (window.blockAdBlock) window.blockAdBlock._options.baitClass = "kjdftriuhdiuhiuohiuehue";
@justjanne
justjanne / cytube.d.ts
Last active September 20, 2015 21:21
Cytube TypeScript Typings
///<reference path="typings/jquery/jquery.d.ts"/>
interface CytubeMessage {
username: string;
msg: string;
time: number;
meta: {
addClass?: string;
addClassToTimestampAndUsername?: string;
};