ABC10946

FROM ubuntu:18.04
RUN set -ex && \
    apt update; \
    apt install -y curl gcc git vim; \
    curl https://sh.rustup.rs -o rust-init; \
    chmod +x rust-init; \
    ./rust-init -y; \
    rm rust-init; \
    echo 'export PATH="$HOME/.cargo/bin:$PATH"' > $HOME/.bashrc

ABC10946

FROM ubuntu:18.04
RUN apt update && apt install -y gcc g++ make gdb vim

ABC10946

use std::io;

fn main() {
    println!("Hello, world!");
    let mut formula = String::new();
    io::stdin().read_line(&mut formula).expect("failed to read line");
    formula = formula.trim().to_string();

    let mut stack: Vec<i32> = Vec::new();
    for i in formula.chars() {

ABC10946

#include <iostream>
#include <algorithm>
#include <vector>
#include <string>

typedef std::pair<int, std::string> P;

bool pairCompare(const P& fc, const P& sc){
    return fc.first < sc.first;
}

ABC10946

module Main where

import Graphics.Gloss
import Graphics.Gloss.Interface.IO.Game

windowWidth, windowHeight :: Num a => a
windowWidth = 640
windowHeight = 480

window :: Display

ABC10946

ABC10946

$$\lnot p$$ $$A \land B$$ $$P \to Q$$

ABC10946

#!/bin/bash
keyboard_id=$(xinput list --id-only "AT Translated Set 2 keyboard")
touchpad_id=$(xinput list --id-only "SynPS/2 Synaptics TouchPad")
xinput disable $keyboard_id
xinput disable $touchpad_id

ABC10946

ABC10946

CONSUMER_KEY = ""
CONSUMER_SECRET = ""
ACCESS_KEY = ""
ACCESS_SECRET = ""