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:
function render(model){ | |
let current_state_name = model.active_states[0].name; | |
return $("h1", | |
{style: {color: "darkBlue"}}, | |
`The current state is: ${current_state_name}`); | |
} |
#!/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. |
I hereby claim:
To claim this, I am signing this object:
#!/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: | |
# |
/** | |
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 | |
*/ |
---------------------------- 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, |
#!/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. | |
# |
__all__ = ['util', 'csvgrep'] |