Skip to content

Instantly share code, notes, and snippets.

View dallaylaen's full-sized avatar

Konstantin S. Uvarin dallaylaen

18 followers · 11 following
View GitHub Profile
@dallaylaen
dallaylaen / Refute.scala
Created May 17, 2017 13:16
class Contract {
var log: List[Pair[Int,String]] = List()
var count = 0
var failed: List[Int] = List()
var lock = false
// MUTATORS
def refute( cond: Option[Any], message: String ): Boolean = {
modif
count += 1
@dallaylaen
dallaylaen / ruslat.pl
Last active September 28, 2017 15:55
Decode russian words entered in wrong layout
#!/usr/bin/perl
# If you use `xbindkeys` + `xsel`, here's how to make use of this script
# (it should be chmod +x and in your path, obviously)
#
# "xsel -o | ruslat.pl | xsel -i"
# Mod4 + q
#
# This maps the Super key (aka Win) + Q to this script and transcodes
# text in the clipboard
@dallaylaen
dallaylaen / nyt.pm
Last active February 5, 2023 11:13
Nytprof for PSGI code
package nyt;
use strict;
use warnings;
=head1 NAME
nyt - Decorate existing code with Devel::NYTProf (for PSGI)
=head1 SYNOPSIS
@dallaylaen
dallaylaen / gist:4ad939aed806153fd05368dcbb2b8b34
Created June 14, 2018 09:54
Assert::Refute - a unified testing and assertion tool (preview)
Unit tests are great. They show that the code was actually designed
to a given spec.
[Runtime](https://metacpan.org/pod/PerlX::Assert) [assertions](https://metacpan.org/pod/Devel::Assert)
are great. They show that the code is actually running the way it
was designed when applied to real data.
[Design by contract](https://metacpan.org/pod/Class::Contract) is
a great concept, but it's a bit of an overkill for most projects.
@dallaylaen
dallaylaen / foo.pl
Created June 27, 2018 13:47
require a script w/o side effects
#!perl
use strict;
use warnings;
return 1 if caller; # before parsing args, output, input etc
print foo(); # side effect!
sub foo {
@dallaylaen
dallaylaen / nested-try-return-destroy.t
Created July 31, 2018 08:42
Syntax::Keyword::Try bug: DESTROY via return in a nested try block wreaks havoc on the outer try block
#!/usr/bin/env perl
=head1 DESCRIPTION
Executing a DESTROY block while returning from a nested try block has weird side effect
on the outer try block.
This may seem like a weird & unreachable case, but actually every Moo[se] module
has nonempty destructor.
@dallaylaen
dallaylaen / date.pl
Last active August 27, 2019 17:05 — forked from Ovid/date.pl
Partial desription of a date matching regex yyyy-mm-dd
#!/usr/bin/env perl
use strict;
use warnings;
use Test::Most;
my %days = (
28 => qr/0[1-9]|1[0-9]|2[0-8]/,
29 => qr/0[1-9]|[12][0-9]/,
30 => qr/0[1-9]|[12][0-9]|30/,
@dallaylaen
dallaylaen / gist:82e3781db70d67f3f6a84328f41d7194
Last active September 15, 2024 08:51
The story of deriving Euclid's algorithm in SKI + BCKW 
Sun Sep 15 02:29:55 CEST 2024

narrator: revisiting the Euclid's algorithm... One part was x->y->|x-y| which I implemented as x->y->(x dec y) inc (y dec x) (btw I hate succ/pred, it's only there to scare newbies away from FP) dec is derived somewhere around here but I can't find the record. it was identical to half below... so I noticed that x dec y can be writted as T dec x y and y dec x as V dec x y (here V x y z = z x y, impleemented as BCT, and T x y = y x implemented as CI) so how do I write T inc (T dec x y) (V dec x y) in a compact form?..