Yoichi Hirai pirapira
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #! /usr/local/bin/ruby | |
| require 'net/http' | |
| Net::HTTP.version_1_2 | |
| begin | |
| r = Net::HTTP.start('example.com', 80) {|http| | |
| res = http.get('/directory/file') | |
| } | |
| rescue | |
| system('echo "NG" | mail -c addr@example.com -s "server faillure" addr2@example.com') |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.io.*; | |
| import java.io.BufferedWriter; | |
| import java.text.*; | |
| import java.util.*; | |
| import javax.sound.sampled.*; | |
| public class AudioInput implements Runnable{ | |
| public static void main(String args[]) { | |
| AudioInput audioinput = new AudioInput(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| async_core.mli: | |
| deferred.mli: value to be determined later (that forms monad) / enable choose mechanism | |
| clock.mli: defer until certain times | |
| typed_tcp.mli: would be fun to use | |
| writer.mli: reducing number of write() calls | |
| #use "topfind";; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| UNSORTED = "/Users/yh/unsorted.txt" | |
| require "shell" | |
| require "find" | |
| def emit(path) | |
| s = Shell.new | |
| s.cd path |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (** | |
| IOtt functor from | |
| Swierstra, Wouter, and Thorsten Altenkirch. "Beauty in the Beast." | |
| In Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop. | |
| Haskell '07. ACM, 2007. http://doi.acm.org/10.1145/1291201.1291206. | |
| **) | |
| Require Import Logic.FunctionalExtensionality. | |
| Inductive IOtt (a: Set) : Set := |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import ssreflect ssrbool eqtype ssrnat seq ssrfun fintype. | |
| Ltac 破 := case. | |
| Ltac 解 := elim. | |
| Ltac 動 := move. | |
| Ltac 割 := split. | |
| Ltac 矣 := done. | |
| Ltac 用 := apply. | |
| Ltac 在 := exists. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| contract auction { | |
| // An auction contract written in Solidity | |
| // Can be deployed similarly to what is described at: | |
| // https://dappsforbeginners.wordpress.com/tutorials/your-first-dapp/ | |
| // Initialization. | |
| // Remembering bids from each address. | |
| mapping (address => uint) bids; | |
| // Also remembering the max_bid and the max_bidder to easily determine the winner. | |
| uint max_bid = 0; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* Coq 8.5pl5 with ssreflect 1.5. *) | |
| (* Can be interesting to read this in Emacs with ProofGeneral 4.3pre150930. *) | |
| (* There, maybe repeat `proof-assert-next-command-interactive`. *) | |
| Require Import String. | |
| Require Import List. | |
| Require Import FMapInterface. | |
| Require Import ssreflect ssrbool. |
pirapira
/ scons rufu
Created
November 1, 2015 13:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /usr/bin/ld: cannot find -lLLVMLinker | |
| /usr/bin/ld: cannot find -lLLVMX86Disassembler | |
| /usr/bin/ld: cannot find -lLLVMX86AsmParser | |
| /usr/bin/ld: cannot find -lLLVMX86CodeGen | |
| /usr/bin/ld: cannot find -lLLVMSelectionDAG | |
| /usr/bin/ld: cannot find -lLLVMAsmPrinter | |
| /usr/bin/ld: cannot find -lLLVMX86Desc | |
| /usr/bin/ld: cannot find -lLLVMMCDisassembler | |
| /usr/bin/ld: cannot find -lLLVMX86Info | |
| /usr/bin/ld: cannot find -lLLVMX86AsmPrinter |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| > src0 = "contract Events { function getEvent(bytes32 eventHash) returns (int a, int b, int c, int d, int e) {}}" | |
| > src1 = "contract Events { function getEvent(bytes32 eventHash) returns (int a, int b, int c, int d, int e);} contract test { function foo(address addr) { Events events = Events(addr); var (,,,,) = events.getEvent(0); } }" | |
| > admin.setSolc("./src/solidity/build-develop/solc/solc") | |
| > eth.compile.solidity(src0) | |
| > contracts0 = eth.compile.solidity(src0) | |
| > contracts1 = eth.compile.solidity(src1) |