dallaylaen

#!/bin/sh
#
# Copyright (c) 2007 Andy Parkins
#
# An example hook script to mail out commit update information.  This hook
# sends emails listing new revisions to the repository introduced by the
# change being reported.  The rule is that (for branch updates) each commit
# will appear on one email and one email only.
#
# This hook is stored in the contrib/hooks directory.  Your distribution

dallaylaen

#!/usr/bin/perl -w

use strict;
use Term::ReadKey;

END{ ReadMode(0) };
ReadMode('noecho');
$|=1;

# read password twice

dallaylaen

#!/usr/bin/env perl

use warnings;
use strict;

$| = 1;

my @data;
while (<>) {
    /\S/ or next;

dallaylaen

#!/usr/bin/perl -w

use strict;
use Data::Dumper;

my $besterr = 1000;
foreach my $i ( 5..100 ) {
    my ($err, $notes) = find_all( 2**(1/$i), qw(3/2 4/3 5/4 6/5 9/8) );
    next if $err > 1.5*$besterr;

dallaylaen

#!/usr/bin/env python

import cgi

class safe:
	def __init__(this, text):
		this.content = text
	def __str__(this):
		return safe.current_method(this)
	def as_is(this):

dallaylaen

#!/usr/bin/env perl

# This script tests nothing (except the fact that modules load w/o warnings).
# However, it tries to load them all.
# This means that untested modules would also be included into
# code coverage summary, lowering total coverage to its actual value.

# I.e. having a well-covered module and a totally uncovered one will result
# in 50% coverage which is probably closer to truth.

dallaylaen

#!/bin/sh

PIC=$1
SND=$2
OUT=$3

if [ -z "$SND" ]; then
    echo "Usage: $0 <image> <audio> [<video>]"
    echo "Default for video is audio renamed to *.mp4"
    exit 1

dallaylaen

package new;

use strict;
use warnings;
our $VERSION = 0.01;

=head1 NAME

new - shortens require Foo; Foo->new(...) to just one call

dallaylaen

§ Введение в зависимо-типизированные алгебры

§§ Обыкновенные и матричные алгебры

Алгебры описываются в терминах грамматики и отношений взаимозаменяемости. В обыкновенных алгебрах (таких как моноид, группа, решётка, кольцо, поле) мы выделяем ровно один тип грамматических сущностей, но вообще говоря типов может быть много (напр. Существительное, Прилагательное, Глагол).

Чтобы ознакомиться с обозначениями, рассмотрим к примеру определение моноида:

                       a : M    b : M

–———– ——————— ————————————————

dallaylaen

#!/bin/sh


getmod () {
curl -A "curl; used by https://metacpan.org/author/KHEDIN" \
    -XPOST https://fastapi.metacpan.org/v1/release/_search -d '{
  "size": 5000,
  "fields": [ "author", "name" ],
  "filter": {
    "and": [