zypeh

# !/usr/python 

# The FIN scan utilizes the FIN flag inside the TCP packet, 
# along with the port number to connect to on the server. 
# If there is no response from the server, then the port is open.

import logging
logging.getLogger("scapy.runtime").setLevel(logging.ERROR)
from scapy.all import *
 

zypeh

#Use a gemset so we use 1.9.3-p448 when startup
 
$ cd ./metasploit-framework
$ rvm use 1.9.3-p125
$ rvm gemset create msf
$ echo "rvm use 1.9.3-p125@msf" > .rvmrc
$ rvm use 1.9.3-p125@msf
 
------- This is mine ----------
 

zypeh

#!/usr/bin/env python
import time
import sys

if len(sys.argv) > 1:
    INTERFACE = sys.argv[1]
else:
    INTERFACE = 'eth0'

STATS = []

zypeh

<link rel="import" href="../topeka-elements/theme.html">
<link rel="import" href="../topeka-elements/topeka-resources.html">
<link rel="import" href="../topeka-elements/topeka-app.html">

<polymer-element name="my-element">

  <template>
    <style>    
      :host {
        position: absolute;

zypeh

# Install dependencies
# 
# * checkinstall: package the .deb
# * libpcre3, libpcre3-dev: required for HTTP rewrite module
# * zlib1g zlib1g-dbg zlib1g-dev: required for HTTP gzip module
apt-get install checkinstall libpcre3 libpcre3-dev zlib1g zlib1g-dbg zlib1g-dev && \

mkdir -p ~/sources/ && \

# Compile against OpenSSL to enable NPN

zypeh

-- single line comment, no multi-line comment allowed. Keep it simple, okay ?
-- https://futhark-lang.org/blog/2017-10-10-block-comments-are-a-bad-idea.html

---------------------------------------------------
-- Functions and Values Assignment               --
---------------------------------------------------
let varname = 1
let varname_with_type: Bool = true
--   ^-- values name    ^-- type 

zypeh

-- comments
--| doc comments, should support latex (my dream)
--|prefix| prefixed comments
--[block comment]--
--[prefix| prefixed block comment]--

[1, 2, 3] -- lists
1 :: 2 :: 3 :: [] -- list

-- Types, should starts with uppercase letters

zypeh

-- comments
--| doc comments (default markdown)
--| prefix | prefixed comments
--[ block comment

]--

--[ prefix |
prefixed block comment
]--

zypeh

-- 'Topoi Core' is basically the desugared topoi language.
-- Only consists of basic primitive atoms and functions.

-- This is largely referenced to the ML language, Pie language from the book
-- 'The Little Typer' and (GHC Core)
-- [https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/core-syn-type]


-- write once variable, top level no need to write `let`
n = 3

zypeh

use std::boxed::Box;

/// Simply typed lambda calculus is based on untyped lambda calculus, but
/// added a simple type. (Which is the function type A -> B)
#[derive(PartialEq, Eq, Debug)]
enum Type {
    /// Base type
    BuiltIn(&'static str), Var(String),
    /// Function type (Type * Type)
    Lambda(Box<Type>, Box<Type>),