Skip to content

Instantly share code, notes, and snippets.

View contradictioned's full-sized avatar
🎸

Manuel Dossinger contradictioned

🎸
24 followers · 18 following
View GitHub Profile
@contradictioned
contradictioned / gson_klaxon_benchmark.kt
Created August 17, 2020 09:00
import com.beust.klaxon.Klaxon
import com.google.gson.Gson
data class Person(val name: String, val age: Int)
fun main() {
val p = Person("x", 10)
var cnt = 0
repeat(10000) {
val gson = Gson()
@contradictioned
contradictioned / sql.tex
Created December 12, 2017 13:14
More syntax highlighting
\lstdefinelanguage{sql}[]{}{
%tag=[s]<>, % =*: also apply styles within tag, =**: cumulate styles
morekeywords={sql, VIEW, AS, FROM, SELECT, WHERE, FUNCTION, BOOLEAN, RETURNS, DETERMINISTIC, RETURN, REFERENCES, WITH, SEQUENCE, TRUNCATE, START, CREATE, AS, LANGUAGE, FUNCTION, CURSOR, PREPARE, OPEN, USING, CLOSE, DECLARE, END, BEGIN, EXEC, SQL, CONNECT TO, DISCONNECT, COMMIT, LOOP, IF, THEN, ELSE, WHILE, BREAK, EXIT, INSERT, INTO, VALUES, UPDATE, SET, TABLE, PRIMARY, KEY, AND, UNION, ALL, JOIN, ON, GROUP, BY, MATERIALIZED, INT, DATE, COUNT, ORDER, OVER, PARTITION, ASC, DESC, VARCHAR, NOT, NULL, PRIMARY, KEY, DECIMAL, SUM, AVG, ROWS, BETWEEN, PRECEDING, CURRENT, ROW, INSTEAD, TRIGGER, OF, FOR, EACH, EXECUTE, PROCEDURE, DISTINCT, HAVING},
morestring=[s]{'}{'},
morecomment=[l]{--}
%sensitive=false
}
@contradictioned
contradictioned / Wahlprogramme.ipynb
Created September 22, 2017 17:21
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@contradictioned
contradictioned / Slic3r_config_bundle_aule.ini
Last active August 15, 2016 06:30
# generated by Slic3r 1.2.9 on Mon Aug 15 08:30:18 2016
[filament:Aule]
bed_temperature = 100
bridge_fan_speed = 100
cooling = 1
disable_fan_first_layers = 3
extrusion_multiplier = 1
fan_always_on = 0
fan_below_layer_time = 60
@contradictioned
contradictioned / stackoverflow_answer17329447
Created June 26, 2013 21:38
Answer to http://stackoverflow.com/questions/17329447/how-can-i-stop-users-from-picking-an-end-time-that-is-before-the-start-time
<html>
<head>
<link rel="stylesheet" type="text/css" href="http://code.jquery.com/ui/1.10.3/themes/smoothness/jquery-ui.css" />
<script src="http://code.jquery.com/jquery-1.9.1.js"></script>
<script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
</head>
<body>
<h1>Test</h1>
From: <input id="test_from"></input> Text value: <span id="val_from"></span><br />
To: <input id="test_to"></input>Text value: <span id="val_to"></span><br />