Skip to content

Instantly share code, notes, and snippets.

View yungene's full-sized avatar
👨‍💻
Working

Eugene Čistiakovas yungene

👨‍💻
Working
View GitHub Profile
@yungene
yungene / .gitconfig
Last active July 8, 2025 17:16
GIt config
[alias]
lg1 = log --graph --abbrev-commit --decorate --format=format:'%C(bold blue)%h%C(reset) - %C(bold green)(%ar)%C(reset) %C(white)%s%C(reset) %C(dim white)- %an%C(reset)%C(bold yellow)%d%C(reset)' --all
lg2 = log --graph --abbrev-commit --decorate --format=format:'%C(bold blue)%h%C(reset) - %C(bold cyan)%aD%C(reset) %C(bold green)(%ar)%C(reset)%C(bold yellow)%d%C(reset)%n'' %C(white)%s%C(reset) %C(dim white)- %an%C(reset)' --all
lg = log --all --decorate --oneline --graph
lb = log --branches --remotes --tags --graphs --oneline --decorate
lg3 = log --graph --abbrev-commit --decorate --format=format:'%C(yellow)%h%C(reset)%C(auto)%d%C(reset) %C(normal)%s%C(reset) %C(dim white)%an%C(reset) %C(dim blue)(%ar)%C (reset)' --all
@yungene
yungene / hoare.tex
Last active January 6, 2021 16:09
Hoare logic proofs like in LiCS.
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\allowdisplaybreaks
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{fullpage}
\usepackage{graphicx,color}
\usepackage{caption}
@yungene
yungene / cp-temp.cpp
Last active December 7, 2020 10:57
CP-template-cpp
#include <iostream>
#include <iomanip>
#include <string>
#include <vector>
#include <algorithm>
#include <sstream>
#include <queue>
#include <deque>
#include <bitset>
#include <iterator>
A Database System(DBS) consists of a Database
Management System(DBMS),Database(DB) and
application programs.Relational model(RDBMS)
is mostly widely used data model. Relational model organises data into a
number of relations.
A relation is defined by attributes.Relation is a set of tuples of values related according to the attributes.
Relations can be thought about as tables with attributes being columns and tuples being rows of values.
Relational data model builds on top of set theory and relational algebra.
Tables can be related together by the use of primary and foreign keys.
Relational model supports a standard Structured Query Language(SQL).
SQL has one basic statement for retrieving information from a database: the
SELECT statement. The structure of select is as follows: SELECT [DISTINCT] c1,c2 FROM table WHERE condition
GROUP BY column_name HAVING condition ORDER BY column ASC | DESC.
SELECT lists the data items to be retrieved, it might simply be columns from the database,
or result of calculation on columns, results of functions such as MIN, MAX, AVG, SUM, COUNT,Abs, Ceil, etc.
Asterisk * can be used to select all columns. Items might also be given aliases with AS clause.
Since SQL table is a multiset rather than set, DISTINCT can be specified to ensure that the result table only has distinct rows.
FROM specifies the table from which data is to be retrieved,
this can be a JOIN ed table. WHERE search condition is applied to every row one by one.
If it returns TRUE, row get added in the result. Conditions can be comparison tests(=,<>,>,<,etc),
@yungene
yungene / Reader.java
Last active October 16, 2018 09:35
fast io for java
// credits to GeeksForGeeks and Kattis for Kattio
static class Reader{
BufferedReader br;
StringTokenizer st;
public Reader() {
br = new BufferedReader(new InputStreamReader(System.in));
}
String next() {
@yungene
yungene / tmux-cheatsheet.markdown
Created September 12, 2018 17:59 — forked from MohamedAlaa/tmux-cheatsheet.markdown
tmux shortcuts & cheatsheet

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname