Skip to content

Instantly share code, notes, and snippets.

TRUE = λx. λy. x
FALSE = λx. λy. y
NOT = λb. b FALSE TRUE
AND = λb1. λb2. b1 b2 FALSE
OR = λb1. λb2. b1 TRUE b2
XOR = λb1. λb2. b1 (b2 FALSE TRUE) b2
@peonso
peonso / Running CipSoft 7.7 files.md
Last active January 14, 2024 19:04
tutorial on make leaked 7.7 files running

Running CipSoft 7.7 files

tutorial on make leaked 7.7 files running

#1 First Steps

  1. First download VmWare workstation or virtual box and install.

  2. Now download CentOS 3.1 here: http://archive.kernel.org/centos-vault/3.1/isos/ download 3 disks and install in VmWare, I will not go into details about the Linux installation, you yourself must learn.

  3. Install VMware tools in CentOS or install one ftpserver, is recomended VMware tools (faster).

@joepie91
joepie91 / getting-started.md
Last active February 21, 2024 14:45
Getting started with Node.js

"How do I get started with Node?" is a commonly heard question in #Node.js. This gist is an attempt to compile some of the answers to that question. It's a perpetual work-in-progress.

And if this list didn't quite answer your questions, I'm available for tutoring and code review! A donation is also welcome :)

Setting expectations

Before you get started learning about JavaScript and Node.js, there's one very important article you need to read: Teach Yourself Programming in Ten Years.

Understand that it's going to take time to learn Node.js, just like it would take time to learn any other specialized topic - and that you're not going to learn effectively just by reading things, or following tutorials or courses. _Get out there and build things!

@armornick
armornick / playwav.c
Created August 24, 2012 07:31
Play a sound with SDL2 (no SDL_Mixer)
#include <SDL2/SDL.h>
#define MUS_PATH "Roland-GR-1-Trumpet-C5.wav"
// prototype for our audio callback
// see the implementation for more information
void my_audio_callback(void *userdata, Uint8 *stream, int len);
// variable declarations
static Uint8 *audio_pos; // global pointer to the audio buffer to be played
@JSchaenzle
JSchaenzle / AscomRubyExample1.rb
Created March 4, 2012 23:50
Controlling ASCOM devices from Ruby
require 'win32ole' # this allows us to create instances of Windows COM objects
# create instances of each of our drivers
$filt = WIN32OLE.new("ASCOM.Simulator.FilterWheel")
$foc = WIN32OLE.new("ASCOM.Simulator.Focuser")
$tele = WIN32OLE.new("ASCOM.Simulator.Telescope")
$cam = WIN32OLE.new("ASCOM.Simulator.Camera")
# a function that disconnects from each connected device
def DisconnectAllDevices()
@chetan
chetan / yardoc_cheatsheet.md
Last active April 16, 2024 23:49
YARD cheatsheet
@zhengjia
zhengjia / capybara cheat sheet
Created June 7, 2010 01:35
capybara cheat sheet
=Navigating=
visit('/projects')
visit(post_comments_path(post))
=Clicking links and buttons=
click_link('id-of-link')
click_link('Link Text')
click_button('Save')
click('Link Text') # Click either a link or a button
click('Button Value')