Skip to content

Instantly share code, notes, and snippets.

View Kedrigern's full-sized avatar

Ondřej Profant Kedrigern

44 followers · 16 following
View GitHub Profile
@Kedrigern
Kedrigern / Pythagorova věta AI 1
Created April 4, 2023 16:34
Já: Zajímá mě pythagorova věta.
ChatGPT 3.5: Samozřejmě, pythagorova věta je velmi zajímavá a užitečná v matematice i v praxi.
Pythagorova věta říká, že v pravoúhlém trojúhelníku je součet druhých mocnin délek odvěsen roven druhé mocnině délky přepony. Tuto větu lze zapsat následovně:
a^2 + b^2 = c^2,
kde a a b jsou délky odvěsen a c je délka přepony. Tuto větu objevil starověký řecký matematik Pythagoras, a od té doby se stala jednou z nejdůležitějších a nejznámějších vět v matematice.
Pythagorova věta má mnoho využití v geometrii a fyzice. Například se používá k výpočtu vzdáleností, délek stran a diagonál různých geometrických tvarů, jako jsou čtverce, obdélníky a trojúhelníky. Též se používá při výpočtech v elektrotechnice, strojírenství a architektuře.
@Kedrigern
Kedrigern / program.html
Created May 24, 2020 09:14
<!doctype html>
<html lang="en">
<head>
<!-- Required meta tags -->
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<!-- Bootstrap CSS -->
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.0/css/bootstrap.min.css" integrity="sha384-9aIt2nRpC12Uk9gS9baDl411NQApFmC26EwAOH8WgZl5MYYxFfc+NcPb1dKGj7Sk" crossorigin="anonymous">
@Kedrigern
Kedrigern / 25-III.yml
Created April 10, 2020 19:19
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "None"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
- name: Jan Suchánek
@Kedrigern
Kedrigern / 25-II.yml
Created April 10, 2020 11:52
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "Zatím není"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
- name: Jan Suchánek
@Kedrigern
Kedrigern / 25-I.yml
Created April 10, 2020 09:13
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "Zatím není"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
revision_date: 2020-04-10
@Kedrigern
Kedrigern / vcmi.sh
Created December 24, 2017 19:55
Vcmi install
#!/usr/bin/env bash
# Clone source code and compile vcmi
# 1. Install dependency at Fedory
# 2. Clone repository $repo
# 3. Compile given tag
# 4. Prepare data from gog exe file
tag="0.99"
repo="https://github.com/vcmi/vcmi.git"
path="~/Donwloads/hommam3.exe"
@Kedrigern
Kedrigern / transform-csv.py
Last active December 11, 2017 23:05
Transform CSV
#!/usr/bin/env python3
import sys
import pandas as pd
def main():
prefix = 'p7-2016'
names = ["DOKLAD_ROK","DOKLAD_DATUM","DOKLAD_AGENDA","DOKLAD_CISLO","ORGANIZACE","ORGANIZACE_NAZEV","ORJ","ORJ_NAZEV","PARAGRAF","PARAGRAF_NAZEV","POLOZKA","POLOZKA_NAZEV","SUBJEKT_IC","SUBJEKT_NAZEV","CASTKA_MD","CASTKA_DAL","POZNAMKA"]
to_del = ['DOKLAD_ROK', 'ORGANIZACE_NAZEV', 'ORJ', 'ORJ_NAZEV', 'PARAGRAF_NAZEV', 'DOKLAD_CISLO', 'POLOZKA_NAZEV']
to_use = ["DOKLAD_ROK", "DOKLAD_DATUM"]
@Kedrigern
Kedrigern / profant-pirati.pub
Created September 16, 2017 14:01
Public key Pirati
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQCXtVS22o0kTSgVLroWXwSRx7WQqUZaNYm7cSNtdUT0GyTVBO67IIAHqm3Gc/WAwVJhU7HZdX9Ms7+ccw0uPSOZVrU4KhmbCumyAGRh8iCCnM5gy/XQTDgi7yXKeKTn2EgoqN96OW9h+7lvDh0BZyymXmwaaqfzzIaULZrqn/ai9Dc7VAuZGE/7ZpD9MWS+//UXnZ5y04P6/i+AYzCUfRujhdIPUHUbV6V08lNoIzdkg0R+1ShLV+rPdLJihwKXab4bKAbwrcsDkbKopygi7YP3Df3TdMTKnH0qNXrode6M8RMZ9a+q3X1dNHFDLjlJQ1enrHdRFjgk8EDf6eMEKq2t Klíč Ondřej Profant pro pirátské servery
@Kedrigern
Kedrigern / readme.md
Last active April 18, 2017 08:46
RSS schema úřední deska Praha

Úřední deska Praha

Nápady na zlepšení:

  • doplnit strojově čitelně do RSS metadata, proti webu chybí:
    • Evidenční číslo
    • Typ
    • Odbor
    • Datum stažení
    • Typ zprávy
@Kedrigern
Kedrigern / subtitles.sh
Created February 6, 2017 21:07
Mass convert name and coding of subtitles
#!/usr/bin/env bash
# Converts subtitles
# from> grimm.301.hdtv-lol.srt
# to> Grimm.S03E01.HDTV.x264-LOL.srt
season=3
num_episodes=22
for i in `seq -w 1 $num_episodes`; do
fr="grimm.${season}${i}.hdtv-lol"