Skip to content

Instantly share code, notes, and snippets.

View JDevlieghere's full-sized avatar

Jonas Devlieghere JDevlieghere

View GitHub Profile
@JDevlieghere
JDevlieghere / Chicken of a Raft
Created February 19, 2014 20:55
Chicken of a Raft
Chicken on a Raft
=================
Skipper's in the wardroom drinking gin,
I don't mind knocking but I ain't going in,
'Jimmy's' laughing like a drain,
Been looking at m' 'comic cuts' again.
Chicken on a raft on a Monday morning,
oh what a terrible sight to see,
analytics.page('Starred Ads');
@JDevlieghere
JDevlieghere / dep
Created June 24, 2014 08:17
Digitale Elektronica en Processoren
library ieee; user ieee.math_real.all;
entity fsmd is
port(clk: in bit; LD: in integer 0 to 3;
ia: in integer range 0 to 255; ixy: in real; ov: out real;
end entity fsmd;
architecture behav of fsmd is
signal a, d: integer := 0;
signal ca, sa, pca, psa, x xy: real;
begin
@JDevlieghere
JDevlieghere / ghost_upgrade.sh
Last active August 29, 2015 14:08
Upgrade Ghost Blog
cd /var/www/
wget http://ghost.org/zip/ghost-latest.zip
rm -rf $1/core
unzip -uo ghost-latest.zip -d $1
chown -R ghost:ghost $1/*
cd $1
npm install --production
rm -f ghost-latest.zip
#include "contiki.h"
#include <stdio.h>
#include "adc.h"
PROCESS(hello_adc_process, "Hello ADC Process");
AUTOSTART_PROCESSES(&hello_adc_process);
PROCESS_THREAD(hello_adc_process, ev, data)
{
PROCESS_BEGIN();
#include "contiki.h"
#include "looci.h"
#include "event-types.h"
#ifdef LOOCI_COMPONENT_DEBUG
#include "debug.h"
#else
#include "nodebug.h"
#endif

IMPLICIT-REFS

Manual intepretation of some of the example programs for the language IMPLICIT-REFS (EOPL)

I've employed the following shorthands:

  • value-of-program has been omitted
  • vof = value-of
  • app = apply-procedure
  • r = rho (store)
toSet :: ByteString -> Set ByteString
toSet = Set.fromList . B.words . B.map toLower
toWords :: ByteString -> [ByteString]
toWords s
| B.null s = []
| otherwise = B.inits s ++ toWords (B.tail s)
solve :: Set ByteString -> [ByteString] -> [ByteString]
solve dict strs = filter valid wrds
" LaTeX
let g:Tex_DefaultTargetFormat = 'pdf'
let g:Tex_MultipleCompileFormats='pdf, aux'
let g:Imap_FreezeImap=1 " Disable mappings
let Tex_FoldedSections='' " Disable folding sections
let Tex_FoldedEnvironments='' " Disable folding environments
let Tex_FoldedMisc='' " Disable folding miscellaneous
set iskeyword+=:
map <F9> :w<cr><leader>ll
if has("win32")
@JDevlieghere
JDevlieghere / .ycm_extra_conf.py
Last active November 6, 2015 07:34
A better YouCompleteMe config
import os
import os.path
import fnmatch
import logging
import ycm_core
BASE_FLAGS = [
'-Wall',
'-Wextra',
'-Werror',