adamse

from math import exp, sqrt, pi, floor

def estimateArea(n = 1, s = 1, m = 0):
	# n: Number of standard deviations from mean
	# s: Standard deviation
	# m: Mean
	
	# Delta x
	dx = 0.00001
	# Probability Density Function; p(x)

adamse

var functions = {
  "+": {
    argc: 2,
    func: function (a, b) {
      return a + b
    }
  },

  "-": {
    argc: 2,

adamse

// ==UserScript==
// @name           Yet Another What.CD Bufferscript
// @namespace      what.cd
// @description    Buffer stuffer
// @include        http://*what.cd*
// @include        https://ssl.what.cd*
// ==/UserScript==

// Encapsulate the code in an anonymous function 
// so that we don't conflict with global scope

adamse

module Main where

import System.Environment (getArgs, getProgName)
import System.Random
import Data.List (permutations)

-- | Randomly permutes a list
shuffle :: [a] -> StdGen -> ([a], StdGen)
shuffle xs gen = (ys !! randIndex, gen')
  where

adamse

Fizz buzz in tex.

Run

pdftex fizzbuzz.tex

fizzbuzz.tex

\newif\iffizz

adamse

module Shuffle where

import Control.Monad
import Control.Monad.ST
import System.Random
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as MV


-- | Shuffles a vector in linear time using inside out Fisher-Yates.

adamse

Keybase proof

I hereby claim:

• I am adamse on github.
• I am adamse (https://keybase.io/adamse) on keybase.
• I have a public key whose fingerprint is 8240 5648 293F 4B15 7234 39B3 700C BD37 31DC 3CE5

To claim this, I am signing this object:

adamse

module PRF where

open import Data.Nat
open import Data.Vec
open import Data.Fin using (Fin; #_)

data PRF : ℕ → Set where
  z : PRF 0
  s : PRF 1
  p : {n : ℕ} (i : Fin n) → PRF n

adamse

Uppgraderar prop med lite mer gör så och så, samt skapande av stadga.

BAKGRUND

Styrelsen har under fler år jobbat för att öka engangemanget på sektionen, och ett led i detta är att vi tror att man genom att strukturera om intresseföreningarnas struktur nå detta mål.

Under året har arbetsgruppen Framtid (Emil Kristiansson, Lukas Ögnelod och nästan Edvin Tobiasson) jobbat med att uvärdera och undersöka hur en intresseföreningsreform skulle kunna se ut. Det hölls en workshop med intresserade teknologer och representanter från intresseföreningar där koncept och idéer bollades. Denna proposition är ett första steg till att förverkliga ideer.

Varför ökar denna förändring engagemanget?

adamse

-----------------------------------------------------------------------------
Info file generated by Happy Version 1.19.5 from Parser.y
-----------------------------------------------------------------------------

state 0 contains 1 shift/reduce conflicts.
state 49 contains 11 shift/reduce conflicts.
state 120 contains 15 shift/reduce conflicts.
state 278 contains 1 shift/reduce conflicts.
state 287 contains 11 shift/reduce conflicts.
state 322 contains 1 shift/reduce conflicts.