bvssvni

fn main() {
    n := 99
    println(link {
        link i n {
            b := n-i
            bottles(b)" of beer on the wall, "bottles(b)" of beer.\n"
            "Take one down, pass it around, "bottles(b-1)" of beer on the wall.\n\n"
        }
        "No more bottles of beer on the wall, no more bottles of beer.\n"
        "Go to the store and buy some more, "n" bottles of beer on the wall.\n"

bvssvni

Albert Einstein - His genius papers are never read by common people, but they absorb every sentence he ever said publicly.

Bertrand Russel - He was the center of the logical revolution of mathematics, but his gentleman appearance hides his colorful life.

Daniel Dennett - Smart, knows a lot and good at talking about interesting things. He is the center.

Eliezer Yudkowsky - The world collides with him, he loves it, he attacks it straight on, and the world loses ... every time.

Elon Musk - A cool idea that sounds like one came up with it while playing on the boy's room, but real.

bvssvni

Bayesian reasoning, no temporal logic

Operator: Computer, the door is open, the door is closed. Is the door closed?
Computer: I don't know!

Monotonic solver, no temporal logic, no assumption checking

Operator: Computer, the door is open, the door is closed. Is the door open?
Computer: Yes!
Operator: Computer, is the door closed?

bvssvni

Bayesian reasoning, no temporal logic

Operator: Computer, the door is open, the door is closed. Is the door closed? Computer: I don't know!

Temporal logic, no Bayesian reasoning

Operator: Computer, the sky is green, the sky is blue. Which color has the sky? Computer: It was green, but changed to blue right now.

bvssvni

prove_add_even : (x : Nat) -> (y : Nat) -> even (add x y) = eq (even x) (even y)
prove_add_even Z Z = Refl
prove_add_even Z (S Z) = Refl
prove_add_even Z (S (S k)) = prove_add_even Z k
prove_add_even (S Z) Z = Refl
prove_add_even (S (S k)) Z = prove_add_even k Z
prove_add_even (S Z) (S Z) = Refl
prove_add_even (S Z) (S (S k)) = prove_add_even (S Z) k
prove_add_even (S (S k)) (S j) = prove_add_even k (S j)

bvssvni

data PathType = NAT | BOOL

interpPathType : PathType -> Type
interpPathType NAT = Nat
interpPathType BOOL = Bool

Func : Type
Func = (List PathType, PathType)

interp : Func -> Type

bvssvni

pub fn par_trans2(
    pos: V2<f32>,
    f: Box<Fn(&[V2<f32>], &mut [bool]) + Sync>
) -> Box<Fn(&[V2<f32>], &mut [bool]) + Sync>{
    const SIZE: usize = 1024;
    Box::new(move |input, output| {
        input.par_chunks(SIZE)
             .zip(output.par_chunks_mut(SIZE))
             .for_each(|(i, o): (&[V2<f32>], &mut [bool])| {
                 /// Use stack memory to avoid allocations.

bvssvni

extern crate piston_meta;
extern crate range;
extern crate dyon;

use std::sync::Arc;
use self::piston_meta::MetaData;
use self::range::Range;
use self::dyon::{error, load_meta, Module, Runtime};

fn main() {

bvssvni

$ cargo publish --verbose
    Updating registry `https://github.com/rust-lang/crates.io-index`
error: failed to update registry https://github.com/rust-lang/crates.io-index

Caused by:
  failed to fetch `https://github.com/rust-lang/crates.io-index`

Caused by:
  [9/-3] Object not found - no match for id (af86e67bfa42abc6f7362a4f1de845b4e3a943f3)

bvssvni

_seps: "."

8 sentence = [activity:"activity" .w? "."]
9 expression = .s!([.w! {"&":"&" "|":"|"} .w!] activity:"term")
10 if = [{"if" "when"} .w! expression:"condition" .w! "then" .w! expression:"then"
  .r?([.w! "else" .w! "if" .w! expression:"else_if_condition" .w!
      "then" .w! expression:"else_if_then"])
  ?[.w! "else" .w! expression:"else"]]
11 activity = [!{"then" "else" "&" "|"} {
  if:"if"