All pastes›Public feed

Public feed

Pastes people chose to make public. Author names hidden.

  • Miscellany

    1569366·text·5.5 KB·2009-09-17 06:48 UTC
    Section "ServerLayout"
 Identifier "Default Layout"
 Screen 0 "Screen0" 0 0
 InputDevice "SynapticsTouchpad" "SendCoreEvents"
 InputDevice "Keyboard0" "Core

  • Mac2492

    1569355·text·824 B·2009-09-17 06:31 UTC
    ; Returns a letter's place in the alphabet. 
(define (a-z letter) (a-z-helper letter 1 '(a b c d e f g h i j k l m n

  • shannon

    1569291·text·12.6 KB·2009-09-17 04:57 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 04:56:55 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • shannon

    1569289·text·12.8 KB·2009-09-17 04:56 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 04:56:18 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • Ubuntu Karmic Alpha5 packages by

    1569265·text·24.7 KB·2009-09-17 04:34 UTC
    124888 openoffice.org-core
110572 linux-image-2.6.31-10-generic
110476 linux-image-2.6.31-9-generic
73080 openjdk-6-jre-headless
71556 linux-headers-2.6.31-10
61100 ubuntu-docs
54084 libgcj10
4

  • Miscellany

    1569252·text·698 B·2009-09-17 04:25 UTC
    An Important Message About Your Account
 
Greetings, Knight!

We have an important message for you. As of September 7th, Knight Cash can no longer be purchased with G1 Credits. After September 7

  • bandaira

    1569203·text·6.8 KB·2009-09-17 03:05 UTC
    -> mesa2.az.us.undernet.org PRIVMSG #chal :hello
-> mesa2.az.us.undernet.org PRIVMSG #chal :hi flooderr
<- :paultwang!ptw@paultwang.users.undernet.org PRIVMSG ahbal-shi :PING 236866750
-> mesa2.az.

  • hp

    1569192·text·2.4 KB·2009-09-17 02:42 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 02:42:32 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • bblum

    1569182·text·241 B·2009-09-17 02:26 UTC
    64 proof qcurry : ((?x:t. B(x)) => C) => (!x:t. B(x) => C) =
 65 begin
 66 [((?x:t. B(x)) => C);
 67 [!x:t. B(x);
 68
 69 C;
 70 ];
 71 !x:t. B(x) => C;
 72 ];
 73 ((?x:t. B(x

  • frosty

    1569155·text·2.4 KB·2009-09-17 01:50 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 01:50:34 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • test001

    1569139·text·4.3 KB·2009-09-17 01:35 UTC
    NAME
 grep - search lines in files for matching patterns

SYNOPSIS
 egrep [ options ] [ pattern ] [ file ... ]

DESCRIPTION
 The grep commands search the named input files for lines containing a ma

  • frosty

    1569133·text·2.4 KB·2009-09-17 01:31 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 01:31:33 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • bblum

    1569132·text·323 B·2009-09-17 01:31 UTC
    22 annotated proof implOr : (A | C) & (B => C) => (A => B) => C =
 23 begin
 24 [ q : (A | C) & (B => C);
 25 [ f : (A => B);
 26 fst q : A | C;
 27 snd q : B => C;
 28 ];
 29

  • bblum

    1569126·text·2.0 KB·2009-09-17 01:28 UTC
    bblum@magrathea ~ $ echo zozzy zo

  • wm

    1569125·text·11.4 KB·2009-09-17 01:27 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 01:27:41 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • bblum

    1569092·text·425 B·2009-09-17 00:39 UTC
    proof implOr : (A | C) & (B => C) => (A => B) => C =
begin
 [(A | C) & (B => C);
 [(A => B);
 A | C; % and-elim 1
 B => C; % and-elim 2
 [A; % or-elim
 B;
 C;
 ];

  • saul

    1569078·text·27.6 KB·2009-09-17 00:28 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 00:27:57 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569016·text·15.9 KB·2009-09-16 23:09 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 23:09:06 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569007·text·15.9 KB·2009-09-16 22:53 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 22:52:55 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569004·text·15.9 KB·2009-09-16 22:52 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 22:51:47 UTC 2009

!!Linux Distribution
!!------------------

Ub

older pastes →