Skip to content

Instantly share code, notes, and snippets.

View Mithrandir0x's full-sized avatar

Oriol López Sánchez Mithrandir0x

View GitHub Profile
@Mithrandir0x
Mithrandir0x / .bashrc
Created February 15, 2014 11:57
.bashrc file to remove ANSI escape crap when connecting with PLINK to a ssh session with a Vagrant VM connected over Sublime Text REPL
# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoreboth
@Mithrandir0x
Mithrandir0x / vagrantsshkb.sublime-keymap
Created February 15, 2014 12:28
Key-binding to open a SublimeREPL page to an open Vagrant VM
{
"keys": ["ctrl+f7"],
"command": "repl_open",
"args":
{
"type": "subprocess",
"encoding":
{
"windows": "utf-8",
"linux": "utf-8",
CFLAGS=-g -O2 -Wall -Wextra -Isrc -rdynamic -DNDEBUG $(OPTFLAGS)
# These are the usual CFLAGS that you set in all of your projects, but with a few others
# that may be needed to build libraries. You may need to adjust these for different
# platforms. Notice the OPTFLAGS variable at the end which lets people augment the build
# options as needed.
LIBS=-ldl $(OPTLIBS)
# Options used when linking a library, and allows someone else to augment the linking
# options using the OPTLIBS variable.

Examen final de teoría 2012-2013

Definir los conceptos de tautología, fórmula satisfactible y contradicción.

Sea f una fórmula la representación en lenguaje de proposiciones de una frase declarativa, y una (sigma)-interpretación la asignación de los valores verdad o falso a los átomos de f, una fórmula es satisfactible si una asignación de valores de los átomos de f hace cierta la interpretación.

Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@Mithrandir0x
Mithrandir0x / lc_protocol.c
Last active August 29, 2015 14:10
Trames de capa de control d'enllaç
#include "lc_protocol.h"
/**
* Link Control Packet Definitions
*/
#define LC_PCK_BROADCAST_REQUEST 0xFF
#define LC_PCK_NODE_RESPONSE 0x0F
#define LC_PCK_START_VRT 0xAE
#define LC_PCK_VRT_STARTED 0xAA
#define LC_PCK_DATA_REQUEST 0x13
@Mithrandir0x
Mithrandir0x / spoon-wrap.sh
Last active August 29, 2015 14:27
Fix Spoon shortcut for fuck's sake
#!/bin/sh
# -> Set your JDK (not really required, but I'm paranoid) <-
export JAVA_HOME=/etc/jdk1.8.0_45_x64
# -> Set this variable's value to your spoon's path <-
SPOON_DIR=/home/oriollopez/Aplicaciones/spoon-data-integration
#DIR=`pwd`
#echo "Current directory [$DIR]"
<?xml version="1.0" encoding="UTF-8"?>
<!-- edited with XMLSpy v2006 rel. 3 U (http://www.altova.com) by i (Nop) -->
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified" attributeFormDefault="unqualified">
<xs:element name="config">
<xs:annotation>
<xs:documentation>JNRPE Configuration schema</xs:documentation>
</xs:annotation>
<xs:complexType>
<xs:sequence>
<xs:element name="server">
# ${HOME} will be replaced by JVM user.home system property
netbeans_default_userdir="${HOME}/.netbeans/7.0beta2"
# Options used by NetBeans launcher by default, can be overridden by explicit
# command line switches:
netbeans_default_options="-J-client -J-Xss2m -J-Xms256m -J-Xmx512m -J-XX:PermSize=64m -J-XX:MaxPermSize=96m -J-XX:+UseConcMarkSweepGC -J-XX:+CMSClassUnloadingEnabled -J-XX:+CMSPermGenSweepingEnabled -J-Dnetbeans.logger.console=true -J-ea -J-Dapple.laf.useScreenMenuBar=true -J-Dapple.awt.graphics.UseQuartz=false -J-Dsun.java2d.noddraw=true"
# Note that a default -Xmx is selected for you automatically.
# You can find this value in var/log/messages.log file in your userdir.
# The automatically selected value can be overridden by specifying -J-Xmx here
# or on the command line.