jeb2239’s gists

jeb2239 / gist:9789b145f9c7a63dac20

Created October 8, 2014 02:17

	void gaussElim(int n, int m, double** A,double* x) {
	int k, i, j,s=0;
	//double x;
	for (k = 0; k <n-1; k++) {

	for (i = k + 1; i < n; i++) {


	for (j = k+1; j < n; j++) {

jeb2239 / gist:5acad1a1d1c2f569a7a6

Created October 8, 2014 02:31

jeb2239 / gist:7d79b5534eed173a32cc

Created October 8, 2014 02:34

jeb2239 / gist:7a22c505ba67a237712c

Created October 8, 2014 02:38

jeb2239 / TailorWebSocketServlet.java

Last active August 29, 2015 14:24 — forked from manzke/TailorWebSocketServlet.java

	package de.devsurf.html.tail;

	import java.io.IOException;
	import java.util.Date;
	import java.util.Set;
	import java.util.concurrent.CopyOnWriteArraySet;
	import java.util.concurrent.Executors;
	import java.util.concurrent.ScheduledExecutorService;
	import java.util.concurrent.TimeUnit;

jeb2239 / 0_reuse_code.js

Created October 3, 2015 15:50

Here are some things you can do with Gists in GistBox.

	// Use Gists to store code you would like to remember later on
	console.log(window); // log the "window" object to the console

jeb2239 / proving_stuff.fst

Created July 17, 2016 01:17


	module Hello

	val factorial: x:int{x>=0} -> Tot int (factorial is a totalfunction over non negative ints)


	val length: list 'a -> Tot nat
	let rec length l = match l with
	\| [] -> 0
	\| _ :: tl -> 1 + length tl

jeb2239 / ThinkLight

Created August 29, 2016 01:03 — forked from vzaliva/ThinkLight

This script controll keyboard backlight on IBM ThinkPad X-series

	#!/bin/bash

	# Vadim Zaliva [email protected]
	# based on https://gist.github.com/hadess/6847281

	if [[ $EUID -ne 0 ]]; then
	echo "This script must be run as root" 1>&2
	exit 1
	fi

jeb2239 / file.py

Created September 12, 2016 00:10

	import logging
	import logging.handlers

	smtp_handler = logging.handlers.SMTPHandler(mailhost=("smtp.example.com", 25),
	fromaddr="[email protected]",
	toaddrs="[email protected]",
	subject=u"AppName error!")


	logger = logging.getLogger()

jeb2239 / gmail.py

Last active September 12, 2016 00:47

	import logging
	import logging.handlers

	class TlsSMTPHandler(logging.handlers.SMTPHandler):
	def emit(self, record):
	"""
	Emit a record.

	Format the record and send it to the specified addressees.
	"""

Jonathan Barrios jeb2239