Skip to content

Instantly share code, notes, and snippets.

View dimpase's full-sized avatar
Working from home

Dima Pasechnik dimpase

Working from home
View GitHub Profile
dimpase / gist:4992965
Created February 20, 2013 04:47
A bit of CA in Haskell. The hardest part was to figure out nf, to ensure strict evaluation.
module Main where
import Math.CommutativeAlgebra.Polynomial
import Math.Algebras.VectorSpace -- for nf
main =
print (adder 10000000 d e)
[x,y] = map glexvar ["x","y"]
a = 4*x^2 + 3*x + 2
dimpase / dir_x
Created April 27, 2017 17:25
dir(x) for that weird type
sage: dir(polygen(RR))
dimpase /
Created September 2, 2017 18:39
random weird FB stuff
# run in Python 3, e.g. via importing
lambda x: x-1,
lambda y: y < sum(2**x for x in {z for z in range(7)}-{2}),
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
dimpase /
Created October 22, 2021 21:48 — forked from flbuddymooreiv/
Setting up pass on git with a gpg key

The following shell transcript shows how to:

  • Create a GPG key
  • Create a pass database
  • Add git support to the pass database
  • Create a remote git repository
  • Push the pass database to the remote git repository
  • Fetch and display your passwords from another host

It is assumed that the pass package has been installed on both the first and second computers.

dimpase /
Created November 19, 2021 09:38 — forked from mcattarinussi/
A setup guide to use a personal gpg key for ssh authentication

GPG - SSH setup

Generating the master key

Here we create the master key. We want only Certify capability: we use the master key only to create the subkeys, Sign - Encrypt - Authenticate capabilities will be assigned to the subkeys.

Run the following command to start the master key generation process. Select the set your own capabilities creation process (type 8)

  ▶ gpg --full-generate-key --expert

gpg (GnuPG) 2.2.9; Copyright (C) 2018 Free Software Foundation, Inc.

dimpase / compile_deploy_latex.yml
Created December 17, 2021 20:31 — forked from dgerosa/writeapaper.yml
Github workflow to compile and deploy latex
# Github workflow to compile latex and deploy the pdf to an orphan branch.
# Davide Gerosa (2021)
# Edit the DIR and FILE variables with the location of the latex file.
# Place the yml file in a directory called .github/workflows
# The latest compiled pdf is made available at e.g.
# You can also add a badge to your README: