Please publicly post the following Gist, and name it keybase.md:
I hereby claim:
| # Maintainer: Marcel Korpel <marcel[dot]korpel[at]gmail> | |
| # Contributor: Renan Birck <renan.ee.ufsm at gmail.com> | |
| pkgname=logisim-evolution | |
| _truepkgname=logisim | |
| pkgver=2.13.6 | |
| pkgrel=1 | |
| provides=('logisim') | |
| conflicts=('logisim') | |
| pkgdesc='An educational tool for designing and simulating digital logic circuits' |
I hereby claim:
To claim this, I am signing this object:
| Prelude> mapM_ print [let h = 10^^(negate i) in (e**h - 1)/h | i <- [1..11]] | |
| 1.0517091807564771 | |
| 1.005016708416795 | |
| 1.0005001667083846 | |
| 1.000050001667141 | |
| 1.000005000006965 | |
| 1.0000004999621837 | |
| 1.0000000494336803 | |
| 0.999999993922529 | |
| 1.000000082740371 |
| # Context | |
| I'm writing a small library for modelling digital logic using | |
| FRP-style behaviours. The core type is a Node: | |
| > type Node = Integer -> Bool | |
| which represents a boolean value varying over integral timesteps. | |
| I also want to model a bus (a fixed-width array) of nodes, using a type-safe |
| package com.kierdavis.nvg; | |
| import java.util.logging.Logger; | |
| import org.bukkit.Material; | |
| import org.bukkit.entity.HumanEntity; | |
| import org.bukkit.event.EventHandler; | |
| import org.bukkit.event.Listener; | |
| import org.bukkit.event.inventory.InventoryClickEvent; | |
| import org.bukkit.event.inventory.InventoryType.SlotType; |
| Note that this data does not take into account AFK time, rank-fixing or the time | |
| since the user was promoted to a judging-capable rank. It is only provided as a | |
| rough guide. | |
| brickmick98: | |
| 1 promo | |
| 0.008 promos/15min | |
| Knuckles527: | |
| 3 promos | |
| 0.018 promos/15min |
| 2013-05-03 05:10:59 [INFO] [C3] <<-Godly->> BrickMick: Y 180 (= | |
| 2013-05-03 06:10:52 [INFO] There are 7 out of maximum 46 players online. | |
| 2013-05-03 06:10:52 [INFO] Connected players: Brian, BrickMick, Lachlan, Saai, Surugono, Valio007, zalbaugh | |
| 2013-05-03 07:10:53 [INFO] [C3] <<-Godly->> BrickMick: I gtg in a bi | |
| 2013-05-03 07:10:53 [INFO] [C] [New] Danzo: y dose it say u dont have accsess to go there' | |
| 2013-05-03 07:50:00 [INFO] Disconnecting newreplica [/122.109.121.110:53171]: You were banned until 2013/05/03 11:38:31 by durrant for greifer! | |
| 2013-05-03 08:10:56 [INFO] redeian issued server command: /tpa buz | |
| 2013-05-03 09:10:53 [INFO] [S] [New] Eesti: evert1 come to spawn | |
| 2013-05-03 09:10:55 [INFO] Rumpali666 issued server command: /plot auto | |
| 2013-05-03 09:10:55 [INFO] etspets13 lost connection: disconnect.quitting |
| from mc3p.plugins import MC3Plugin, msghdlr | |
| import urllib | |
| import urllib2 | |
| import StringIO | |
| import sys | |
| import os | |
| import re | |
| import time | |
| import random |
| 2013-04-22 20:57:24 [SEVERE] Could not pass event EntityExplodeEvent to ChunkClaim v1.0.1 | |
| org.bukkit.event.EventException | |
| at org.bukkit.plugin.java.JavaPluginLoader$1.execute(JavaPluginLoader.java:427) | |
| at org.bukkit.plugin.RegisteredListener.callEvent(RegisteredListener.java:62) | |
| at org.bukkit.plugin.SimplePluginManager.fireEvent(SimplePluginManager.java:477) | |
| at org.bukkit.plugin.SimplePluginManager.callEvent(SimplePluginManager.java:462) | |
| at net.minecraft.server.v1_5_R2.Explosion.a(Explosion.java:220) | |
| at net.minecraft.server.v1_5_R2.World.createExplosion(World.java:1633) | |
| at net.minecraft.server.v1_5_R2.WorldServer.createExplosion(WorldServer.java:814) | |
| at org.bukkit.craftbukkit.v1_5_R2.CraftWorld.createExplosion(CraftWorld.java:459) |