sobolevn’s gists

sobolevn / index.html

Created October 29, 2021 16:51

This file has been truncated, but you can view the full file.

<!DOCTYPE html><html lang="en"><head><meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" /><link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous" /><title>Cosmic Ray Report</title></head><body><div class="container"><h1><p class="text-dark">Cosmic Ray Report</p></h1></div><div class="container"><div class="mb-1" id="summary_info___accordion"><div class="card"><a data-toggle="collapse" data-target="#summary_info___collapse_1" aria-expanded="true" aria-controls="summary_info___collapse_1" href="#"><div class="card-header" id="summary_info___heading_1"><button class="btn btn-outline-dark"><h4 class="m-0">Summary info</h4></button></div></a><div aria-labelledby="summary_info___heading_1" data-parent="#summary_info___accordion" class="collapse show" id="summary_info___collapse_1"><div class="card-body"><

sobolevn / hkt_in_python.py

Last active May 30, 2022 20:04

Higher Kinded Types in Python

	import abc
	import dataclasses
	from typing import Callable, Generic, TypeVar

	# TODO: pip install returns
	# TODO: add `returns.contrib.mypy.returns_plugin` to mypy plugins
	# TODO: read the docs at https://github.com/dry-python/returns
	from returns.primitives.hkt import Kind1, SupportsKind1, kinded

	_ValueType = TypeVar('_ValueType')

sobolevn / maybe.py

Created August 31, 2020 11:20

	from typing import Any, TypeVar, Callable, Generic, Optional, TYPE_CHECKING

	from returns.functions import compose

	if not TYPE_CHECKING:
	reveal_type = print

	T = TypeVar('T')
	N = TypeVar('N')

sobolevn / hypothesis.build

Created August 28, 2020 20:54

	ex.py::test_draw_law:

	- during reuse phase (0.13 seconds):
	- Typical runtimes: 16-105 ms, ~ 52% in data generation
	- 2 passing examples, 0 failing examples, 0 invalid examples

	- during generate phase (30.93 seconds):
	- Typical runtimes: 15-33 ms, ~ 89% in data generation
	- 998 passing examples, 0 failing examples, 13 invalid examples
	- Events:

sobolevn / .eslintrc.json

Created December 16, 2019 06:13

	{
	"env": {
	"node": true,
	"browser": true,
	"es6": true
	},
	"globals": {
	"document": false,
	"navigator": false,
	"window": false

sobolevn / manim.log

Created October 15, 2019 15:31

	A002: "dict" is used as an argument and thus shadows a python builtin, consider renaming the argument
	1 manimlib/utils/config_ops.py
	Total: 1

	B001: Do not use bare `except:`, it also catches unexpected events like memory errors, interrupts, system exit, and so on. Prefer `except Exception:`. If you're sure what you're doing, be explicit and write `except BaseException:`.
	1 manimlib/mobject/svg/drawings.py
	4 manimlib/mobject/svg/svg_mobject.py
	1 manimlib/utils/color.py
	1 manimlib/utils/sounds.py
	Total: 7

sobolevn / pipfile-to-poetry.py

Created February 18, 2019 15:34

	# -- coding: utf-8 --

	import json
	import toml


	def read_pipenv_lock():
	with open('Pipfile.lock') as lock:
	return json.loads(lock.read())

sobolevn / create_merge_conflict.sh

Last active February 17, 2018 13:43

	#!/usr/bin/env bash

	# Running: `bash create_merge_conflict.sh`

	set -e

	PROJECT_NAME="pipenv-merge-conflicts"

	# Creating project structure:
	rm -rf "$PROJECT_NAME"

sobolevn / pipenv.txt

Created February 2, 2018 19:25

	(pipenv-tests) ~/Desktop/pipenv master ✗
	» pipenv run pytest -n 8 tests
	Loading .env environment variables…
	============================= test session starts ==============================
	platform darwin -- Python 3.6.4, pytest-3.4.0, py-1.5.2, pluggy-0.6.0
	rootdir: /Users/sobolev/Desktop/pipenv, inifile:
	plugins: xdist-1.22.0, forked-0.2
	gw0 [111] / gw1 [111] / gw2 [111] / gw3 [111] / gw4 ok / gw5 ok / gw6 ok / gw7 ogw0 [111] / gw1 [111] / gw2 [111] / gw3 [111] / gw4 [111] / gw5 ok / gw6 ok / gwgw0 [111] / gw1 [111] / gw2 [111] / gw3 [111] / gw4 [111] / gw5 [111] / gw6 ok /gw0 [111] / gw1 [111] / gw2 [111] / gw3 [111] / gw4 [111] / gw5 [111] / gw6 ok /gw0 [111] / gw1 [111] / gw2 [111] / gw3 [111] / gw4 [111] / gw5 [111] / gw6 [111] / gw7 [111]
	scheduling tests via LoadScheduling
	FFFFFF..s........s..s......F..................F......................... [ 64%]

sobolevn / Pipfile

Created November 11, 2017 09:23

mimesis-factory

	[[source]]

	url = "https://pypi.python.org/simple"
	verify_ssl = true
	name = "pypi"


	[packages]

	mimesis = "*"