Skip to content
View gist:8470b866936e073ca32f
  1. Vlach, M.: Základní numerické metody (1971)
  2. Kohout, V.: Diferenciální geometrie (1971)
  3. Havrda, J.: Matematické programování (1972) (?)
  4. Kufner, A.: Geometrie Hilbertova prostoru (1973, 1975) (?)
  5. Beran, L.: Grupy a svazy (1974)
  6. Vlach, M.: Optimální řízení regulovatelných systémů (1975) (?)
  7. Ježek, J.: Univerzální algebra a teorie modelů (1976) (?)
  8. ???
  9. Boček, L.: Tenzorový počet (1976)
  10. Pondělíček, B.: Algebraické struktury s binárními operacemi (1977)
View gist:1b208be1b7c775982b55
(set-option :produce-proofs true)
(declare-datatypes ()
((Pair (mk-pair (row Int) (col Int)))))
; Definice relace:
; X a Y nesedí ve stejné řadě, nebo nejsou hned vedle sebe"
; nebo "Y sedí jednu řadu před X (tj. není mezi nimi další řada)".
(define-fun rel ((x Pair) (y Pair)) Bool
(or (not (= (row x) (row y)))
View respekt-prepare.sh
for %i in (input/*.mp3) do @ffmpeg -i "input/%i" -filter:a "atempo=1.33" -vn "%i"
View StringMap.js
// Copyright (C) 2011 Google Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
View xmonad.hs
-- vim: expandtab shiftwidth=4 tabstop=4 :
-- Based on <https://gist.github.com/yeban/311016>
-- Some potential inspiration for the future:
-- <https://github.com/dmxt/Solarized-xmonad-xmobar/blob/master/xmonad.hs>
-- <https://www.haskell.org/haskellwiki/Xmonad/General_xmonad.hs_config_tips>
import XMonad
import qualified Data.Map as M
import qualified XMonad.StackSet as W
View fibonacci.hs
psi = (1 + sqrt 5) / 2
fib :: Integral a => a -> a
fib = round . (/ sqrt 5) . (psi ^)
View gist:8163399
(define-syntax is
(syntax-rules (a)
((_ x a y?)
(y? x))
((_ x a y? f a y?*)
(f (y? x)
(y?* x)))
((_ x a y? f x* a y?*)
(f (y? x)
(y?* x*)))))
View gist:7912279
import itertools
([1, 2, 5][i % 3] * 10**(i // 3) for i in itertools.count(0))
View gist:6262709
var node_list = document.getElementsByClassName('fancybox'),
nodes = [].slice.call(node_list);
var values = nodes.reduce(function(memo, current) {
var value = current.getAttribute('href');
return memo.concat(value);
}, []);
View post-receive
#!/bin/sh
# See also: GIT_DIR, GIT_WORK_TREE (core.worktree)
# @TODO: Back up before updating, possibly keep a few previous versions in a tarball
# See http://codex.wordpress.org/WordPress_Backups
# @TODO: Keep a list of updates, i.e. time, hash, perhaps commit message
# @TODO: Preserve modifications throughout deployments (untracked+ignored)
REPOSITORY_PATH=/www/srsniweb.git
git update-server-info
while read old_hash new_hash ref; do
Something went wrong with that request. Please try again.