takanuva

(*
  Prove that, due to the free theorem for impredicative sigma types, strong
  projection is a valid extension. Based on Dan Doel's Agda version:
    https://hub.darcs.net/dolio/agda-share/browse/ParamInduction.agda.
*)

Definition Rel (A: Prop) (B: Prop) :=
  A -> B -> Prop.

Definition Sigma (T: Prop) (U: T -> Prop): Prop :=

zxmarcos

// generator.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include <experimental\generator>
#include <string>
#include <numeric>
#include <vector>
#include <cstdint>
#include <sstream>

onlurking

from itertools import count, product
from string import digits, ascii_lowercase, ascii_uppercase
from sys import stdout
import argparse

combinations = ascii_lowercase
parser = argparse.ArgumentParser()
parser.add_argument("--digits", "-d", help="include numbers", action="store_true")
parser.add_argument("--upper", "-u", help="include uppercase letters", action="store_true")
args = parser.parse_args()

nkaretnikov

(add-to-list 'load-path "~/.emacs.d/evil")
(require 'evil)
(evil-mode 1)

;; Highlight matching parens.
(show-paren-mode 1)

;;; No tabs.
(setq-default ident-tabs-mode nil)
(setq-default tab-width 4)

codedot

all:
	node work2mlc.js getwork.json 381353fa >test.mlc
	lambda -pem lib.mlc -f test.mlc

clean:

frozeman

• swarm integration
• secure webviews
• Mist UI
• starting of nodes, switching networks etc
• IPC proxy to the node
• accounts/dapp permissions
• preloader logic to inject stuff
• node updatelogic
• mist update logic
• onboarding screen

maurelian

Independent Audit of the ENS Registrar

• Section 1 - Overview
• Section 2 - General discussion
  • 2.1 Lack of bounty participation
  • 2.2 Usage of the LLL implementation of the Registry
• Section 3 - Solidity Contracts Analysis
  • 3.1 Unanticipated behavior for unrevealed bids on unowned auctions [medium]

avafloww

/*<?php
//*/public class PhpJava { public static void main(String[] args) { System.out.printf("/*%s",
//\u000A\u002F\u002A
class PhpJava {
    static function main() {
        echo(//\u000A\u002A\u002F
        "Hello World!");
}}
//\u000A\u002F\u002A
PhpJava::main();

pinhopro

var os = require('os');
var util = require('util');
var Promise = require('promise');
var WebSocketClient = require('websocket').w3cwebsocket;
var macaddress = require('macaddress');
var dgram = require('dgram');
var ip = require('ip');


/**

pascaldekloe

// This is free and unencumbered software released into the public domain.

// Marshals a string to an Uint8Array.
function encodeUTF8(s) {
	var i = 0, bytes = new Uint8Array(s.length * 4);
	for (var ci = 0; ci != s.length; ci++) {
		var c = s.charCodeAt(ci);
		if (c < 128) {
			bytes[i++] = c;
			continue;