| import contextvars | |
| import logging | |
| import uuid | |
| import tornado.ioloop | |
| import tornado.web | |
| logger = logging.getLogger(__name__) | |
| request_id_var = contextvars.ContextVar("request_id") |
| left =: 4 : 0 | |
| if. y = 0 do. x - 1 | |
| else. <: y | |
| end. | |
| ) | |
| right =: 4 : 0 | |
| if. y = x do. 1 | |
| else. >:y | |
| end. |
| {:deps {org.clojure/clojurescript {:mvn/version "1.10.145"} | |
| org.clojure/test.check {:mvn/version "0.10.0-alpha2"}}} |
| #!/usr/bin/env python3 | |
| # git log --format="%ae,%at" | python cumulative.py | |
| from datetime import date | |
| import fileinput | |
| committers = dict() | |
| for line in fileinput.input(): | |
| author, time = line.split(",") |
Kansainvälinen sarja:
| Axiom a1 : forall A B, A -> (B -> A). | |
| Axiom a2 : forall A B, (~B -> ~A) -> (A -> B). | |
| Theorem dne : | |
| forall A, ~~A -> A. | |
| Proof. | |
| intros A P. | |
| generalize P. | |
| apply a2, a2, a1, P. | |
| Qed. |
| #!/usr/bin/env python | |
| # Inspired by this tweet: https://twitter.com/AtticusBones/status/787936821892317184 | |
| from __future__ import division | |
| import atexit | |
| import curses | |
| import math | |
| import random | |
| import sys |
| (ns example | |
| (:require [clojure.spec :as spec] | |
| [ring.swagger.swagger2 :as rs] | |
| [schema.core :as s])) | |
| (spec/def ::id string?) | |
| (spec/def ::name string?) | |
| (spec/def ::street string?) | |
| (spec/def ::city #{"tre" "hki"}) |
| from collections import defaultdict, namedtuple | |
| import numpy as np | |
| def visible_cap_central_angle(altitude): | |
| earth_radius = 6371.0 | |
| return np.arctan2(np.sqrt(altitude * (altitude + 2 * earth_radius)), | |
| earth_radius) | |
| def hav(x): | |
| return np.sin(x/2)**2 |
| import string | |
| from lxml import etree | |
| from lxml.etree import QName | |
| from lxml.builder import E | |
| from hypothesis import strategies as st | |
| NS = "http://relaxng.org/ns/structure/1.0" |