Skip to content

Instantly share code, notes, and snippets.

View konnov's full-sized avatar

[email protected] konnov

75 followers · 21 following
View GitHub Profile
@konnov
konnov / SketchSystems_prototype.js
Last active May 19, 2022 12:06
function render(model){
let current_state_name = model.active_states[0].name;
return $("h1",
{style: {color: "darkBlue"}},
`The current state is: ${current_state_name}`);
}
@konnov
konnov / easychair2slack.py
Created August 25, 2020 20:35
A script to export an Easychair program into Slack
#!/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
konnov / keybase.md
Created January 28, 2020 12:28

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
konnov / rtm2todoist.py
Created April 1, 2018 16:05
Converting Remember-the-milk tasks (ICS) to a Todoist template (CSV)
#!/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
konnov / nikita.pml
Last active December 1, 2016 14:55
/**
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
konnov / bridge.tla
Last active June 6, 2016 17:51
Yet another bridge puzzle in TLA+
---------------------------- 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
konnov / beamer-preview
Last active December 18, 2015 11:19
Pick one slide from a beamer presentation provided a line number. It helps a lot when editing tikz figures for a beamer presentation with a dozen of tikz figures.
#!/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
konnov / __init__.py
Last active November 11, 2022 16:25
Simple CSV tools that help in filtering CSV data and creating plots
__all__ = ['util', 'csvgrep']
@konnov
konnov / sciit
Created October 12, 2010 15:26
We couldn’t find that file to show.