Skip to content

Instantly share code, notes, and snippets.

@sergei-mironov
sergei-mironov / mosh-nat-server.sh
Created September 15, 2019 20:21
mosh-nat-server.sh
#!/bin/sh
RELAY="$1"
PORT="$2"
echo -n 'nat-hole-punch' | socat STDIN "UDP-SENDTO:$RELAY:$PORT,sourceport=$PORT"
mosh-server new -p "$PORT" | sed -n 's/MOSH CONNECT [0-9]\+ \(.*\)$/\1/g p'
@sergei-mironov
sergei-mironov / mosh-nat-client.sh
Created September 15, 2019 20:20
mosh-nat-client.sh
#!/bin/sh
MOSH_SSH_NAME=$1
MOSH_RELAY=$2
PORT_A=34730
PORT_B=34731
MOSH_KEY=$(ssh "$MOSH_SSH_NAME" "mosh-nat-server.sh \"$MOSH_RELAY\" \"$PORT_A\"")
MOSH_KEY="$MOSH_KEY" mosh-client "$MOSH_RELAY" "$PORT_B"
@sergei-mironov
sergei-mironov / OptML.md
Last active July 23, 2019 17:18
OptML.md
@sergei-mironov
sergei-mironov / ergo.nix
Last active June 17, 2019 17:55
ergo.nix
# This file defines Nix environment for building Ergo and Akylos GPU miner. To
# enter the environmant:
# 1. Install [Nix](https://nixos.org/nix)
# package manager (or use NixOS Linux distro which is base on it).
# 2. Save this file to current directory and run `nix-shell`. Nix will
# download all the dependencies and open the shell where commands like
# `sbt` or `nvcc` just work.
#
# Note on syntax: The first line `{ pkgs ? import <nixpkgs> {} } :` refera to
# an instance of [nixpkgs](https://github.com/NixOS/nixpkgs) repository.
# For the list of available plugins see
# nixpkgs/pkgs/misc/vim-plugins/generated.nix
#
# Example of working config
# nixcfg/src/pkgs/myvim.nix
#
{ pkgs ? import <nixpkgs> {} } :
with pkgs;
vim_configurable.customize {
https://youtu.be/NGLQL5h1AA4

Responsibilities

  • Research on the related technologies of formal modeling and formal verification in operating systems, embedded hardware and software, and model-driven development tools
  • Responsible for exploration of cutting-edge technologies and cutting-edge solutions in the field of formal verification
  • Responsible for formal verification project operation and implementation
  • Participate in the formalization of relevant project practices in the field of operating systems, complete the research, design, coding, debugging, etc.

Skills required

@sergei-mironov
sergei-mironov / text2image.md
Last active March 12, 2019 16:52
Text2image

Что нужно знать

  • Народ активно работает над задачей генерации картинки по тексту
  • Особенно активно работают китайские исследователи
  • Но картинки пока получаются маленькие - 256x256 пикселей, хотя вроде бы красиые.
  • И на узкие темы. Например - только о птичках.
  • Чтобы сеть овладела вопросом, нужно примерно 10 тыс. картинок с описаниями.
  • Для работы над приложением задачи нужно:
  • Собрать и разметить датасет. Наверное, это самое основное и важное. Пример данных см. по ссылки ниже, в "датасеты". Размечальщиков картинок можно нанять, см. MTurk.
@sergei-mironov
sergei-mironov / tvm-cuda.cpp
Created February 28, 2019 13:48
tvm-cuda.cpp
#include <random>
#include <iomanip>
#include <array>
#include <exception>
#include <tvm/tvm.h>
#include <tvm/operation.h>
#include <tvm/tensor.h>
#include <tvm/build_module.h>
#include <topi/broadcast.h>