| linelist = f.readlines() # readlines makes a list of each line... linelist is an array | |
| listnum = len(linelist) # listnum is the number of lines | |
| # Creates a map of dimensions init x init with all zeroes in it. Double Array | |
| init = 1100 # Map size | |
| map = [] | |
| ### Minor performance penalty for the first non-nested loop. | |
| ''' | |
| for row in range(init): |
Following instruction from https://github.com/kframework/k5
git clone https://github.com/kframework/k5.git~/.bashrcexport MAVEN_OPTS='-XX:+TieredCompilation'
export PATH=$PATH:~/k5/k-distribution/target/release/k/bin
cd k5 and mav package. Got a couple warnings, but everything ultimately says success.k-configure-opam gave me this output (plus more)
Problem posed by Isaac DeFrain
Cool little combinatorics problem:
How many reductions does the following [rho calculus] term have?
x!(*a) | x!(*b) | for(z <- x){y!(*z)} | y!(*c) | y!(*d) | for(z <- y){x!(*z)}
Rearrange the code for indentation
| new fancyLogFactory in { | |
| contract fancyLogFactory (return) = { | |
| new | |
| fancyLog, | |
| logCh | |
| in { | |
| // Give the new log instance back to the user. A new unforgeable | |
| // name is created each time, so you won't need to choose a new | |
| // public name in your client-side code each time. However you, |
| # Arithmetic Quiz | |
| # Author: Julie Coxe | |
| # 24 April 2019 | |
| # Quiz a student in single-step addition, subtraction, multiplication, and division problems. | |
| # Division answers should be the quotient only, no matter the remainder. | |
| import random | |
| https://docs.substrate.dev/docs/deploying-a-substrate-node-chain |
| Traceback (most recent call last): | |
| File "/usr/lib/python2.7/runpy.py", line 174, in _run_module_as_main | |
| "__main__", fname, loader, pkg_name) | |
| File "/usr/lib/python2.7/runpy.py", line 72, in _run_code | |
| exec code in run_globals | |
| File "/root/src/index.py", line 98, in <module> | |
| run_config(environ['CONFIG']) | |
| File "/root/src/index.py", line 42, in run_config | |
| config.query_rules | |
| File "src/algolia_helper.py", line 18, in __init__ |
I hereby claim:
To claim this, I am signing this object:
| { | |
| "MetadataV7": { | |
| "modules": [ | |
| { | |
| "name": "System", | |
| "storage": { | |
| "prefix": "System", | |
| "items": [ | |
| { | |
| "name": "AccountNonce", |
In 1992 Robin Milner et al introduced the pi calculus, a member of the mobile process calculus family, as a new and novel model of computation [paper]. The pi calculus has several properties that make it an attractive option for modern programming. It is Turing complete, allows for straight-forward compositional programming, and is fundamentally concurrent. With the appropriate structure on it's channels, it allows for programming with in object capability paradigm (see architecture section below).
In 2009 Bitcoin introduced the proof of work blockchain allowing mutually distrusting parties to coordinate permissionlessly through a currency. In 2013 Ethereum generalized that idea to coordinate on arbitrary computations through a system of smart contracts. Both systems have be