konnov

We couldn’t find that file to show.

konnov

__all__ = ['util', 'csvgrep']

konnov

#!/usr/bin/python
#
# Given a line number, leave only the frame that covers the line number
# and invoke pdflatex. It is a nice way to preview one beamer slide,
# when the whole presentation is compiling for a couple of minutes.
#
# The preprocessor is very simple, if something breaks, let me know.
# To work properly with included files, we are using latexexpand.pl
# by Matthieu Moy.
#

konnov

---------------------------- MODULE bridgePuzzle ----------------------------
(*
  Use TLC from TLA Toolbox to solve this puzzle:
    http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html

  A family of four people (the father, the mother, the baby, and the grandmother)
  have to cross a bridge at night having only one flashlight.
  At most two people can cross the bridge at a time holding
  the flashlight in their hands. It takes each member of the family the
  following time to cross the bridge in either direction: father needs 1 minute,

konnov

/**
 Producer/Consumer by Nikita Yushchenko
 
 The Promela encoding by Igor Konnov.

 To check the property, run:
 
 spin -a nikita.pml && gcc -o pan pan.c && ./pan -f -a -N corr2 -m10000000
 */

konnov

#!/usr/bin/env python
#
# Converting an ICS file produced by Remember the milk to a CSV file
# that can be read by Todoist.
#
# Bye-bye, remember the milk. Raising the annual price from $25.00 to $39.99,
# while stagnating with the old interface, is the way to lose your loyal pro users.
#
# This script requires icalendar, which can be installed like this:
#

konnov

Keybase proof

I hereby claim:

• I am konnov on github.
• I am ikonnov (https://keybase.io/ikonnov) on keybase.
• I have a public key ASDAc8NCM928qOHdBf0h0D66JkHE_HiWXUAN3t3r3PDZGAo

To claim this, I am signing this object:

konnov

#!/usr/bin/env python
#
# Import an Easychair program into slack sessions.
#
# 1. To export the Easychair program into CSV,
# go to Schedule/Download program/CSV format.
# Unpack the produces zip and run this script in the same directory.
#
# 2. In your Slack workspace, click next to the workspace name,
# choose Settings & administration/Workspace settings.

konnov

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}