ArthurClemens

%% @doc
%% Filter module for Zotonic
%% 'foldl' filter, applies foldl to a list
%%
%% Usage:
%% {{ [1,2,3]|foldl:["*", 1] }}
%% {{ [1,2,3]|foldl:["+", 0] }}
%% {{ ["a", "b", "c"]|foldl:["++", ""] }}
%%
%% Pass an attribute to fetch for each item:

andytill

-module(bench).
-compile(export_all).

%% Luke Gorrie's favourite profiling macro.
-define(TIME(Tag, Expr),
        (fun() ->
             %% NOTE: timer:tc/4 does an annoying 'catch' so we
             %% need to wrap the result in 'ok' to be able to
             %% detect an unhandled exception.
             {__TIME, __RESULT} =

cabo

(defconst elixir--cabo-prettify-symbols-alist
  '(
    ("->" . ?➙) ; → ➜➽➤
    ("::" . ?∷)
    ("<-" . ?⬅) ; ←
    ("<<" . ?⟪ ) ; «≪
    ("=>" . ?⇒)
    (">>" . ?⟫ ) ; »≫
    ("do" . ?⫷)

matthieubulte

List of papers (with links to the PDF versions) mentioned in Philip Wadler's presentation on Propositions as Types at StrangeLoop 2015 (https://www.youtube.com/watch?v=IOiZatlZtGU)

• Propositions as Types, Philip Wadler 2014
• Grundzuge der Theoretischen Logik, David Hilbert and Wilhelm Ackermann 1928
  • Unfortunately I couldn't find it available online for free, but you can find it on amazon!
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (original, translated), Kurt Gödel 1930
• Proof of normalization for natural deduction, Gerhard Gentzen 1935
• An Unsolvable Problem of Elementary Number Theory, Alonzo Church 1936
• [General recursive functions of na

hawkw

ECON100: Intro to Micro August 27th, 2014

Professor Steven 'Zurigbo Onyeiwu Office Hours: M 1-3 pm, WF 9-11 AM, and by appointment Office: Quigley 206 Email: sonyeiwu@allegheny.edu Phone: 332-3338

hawkw

CMPSC380: DATABASES August 26th, 2014

Data Management

• How much data is there in the world today?
  • infinite amounts of data in an infinite universe
  • ~1 yottabyte stored by people
• How much data is produced every day?

kachayev

-module(channels).
-compile(export_all).

make() ->
    Ref = make_ref(),
    Pid = spawn(?MODULE, channel, [Ref]),
    {channel, Pid, Ref}.

channel(Ref) ->
    receive

hawkw

CMPSC420: Introduction to Compiler Design August 27th, 2014

Professor Jumadinova Email: jjumadinova@allegheny.edu Office: Alden 105 Office hours: Monday 10-12am and 4:30pm-5:30pm Wednesday 10-12am and 2:30-3:30pm

gen_event_caster.erl

-module(gen_event_caster).
-author('Fernando Benavides <elbrujohalcon@inaka.net>').

-behaviour(gen_event).

-export([start/2]).
-export([init/1, handle_event/2, handle_call/2, handle_info/2, terminate/2, code_change/3]).

-type receiver() :: atom() | pid().

bryanhunter

#!/bin/bash
# Pull this file down, make it executable and run it with sudo
# wget https://raw.github.com/gist/5487621/build-erlang-r16b.sh
# chmod u+x build-erlang-r16b.sh
# sudo ./build-erlang-r16b.sh

if [ $(id -u) != "0" ]; then
echo "You must be the superuser to run this script" >&2
exit 1
fi