This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
terraform : 2023-07-19T13:45:51.348+0300 [INFO] Terraform version: 1.5.3 | |
At line:1 char:1 | |
+ terraform apply -var-file="variables.tfvars" -auto-approve 2> .\bug_r ... | |
+ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
+ CategoryInfo : NotSpecified: (2023-07-19T13:4... version: 1.5.3:String) [], RemoteException | |
+ FullyQualifiedErrorId : NativeCommandError | |
2023-07-19T13:45:51.368+0300 [DEBUG] using github.com/hashicorp/go-tfe v1.26.0 | |
2023-07-19T13:45:51.368+0300 [DEBUG] using github.com/hashicorp/hcl/v2 v2.16.2 | |
2023-07-19T13:45:51.368+0300 [DEBUG] using github.com/hashicorp/terraform-svchost v0.1.0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// http://bechirot.gov.il/election/about/Pages/CalculatingSeatsMethod.aspx | |
// http://www.knesset.gov.il/lexicon/eng/seats_eng.htm | |
// http://main.knesset.gov.il/About/Lexicon/Pages/seats.aspx | |
/** | |
* Computes the Badder-Offer score for specific party. | |
* | |
* @param {parties} party names | |
* @param {votes} votes for parties | |
* @param {agreement_pairs} Two columns, name-name pairs. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from typing import Literal | |
import re | |
from functools import wraps | |
import requests | |
__all__ = ['fetch_dicta'] | |
METEG = '\u05BD' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Require Import PeanoNat. | |
Inductive Atom {T: Type} : Type := | |
| avar: nat -> Atom | |
| aconst: T -> Atom | |
. | |
Inductive prop {T: Type} : Type := | |
| Eq : @Atom T -> @Atom T -> prop | |
| Lt : @Atom nat -> @Atom nat -> prop |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from bs4 import BeautifulSoup | |
import requests | |
from isoweek import Week | |
def fetch_table(year, week): | |
date = Week(year, week).sunday().strftime("%d/%m/%Y") | |
url = 'http://212.150.52.211/scripts/rating10.asp' | |
response = requests.post(url, data={ | |
'audience': '1', |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from random import randrange | |
from functools import lru_cache | |
from bisect import bisect_right | |
arr = [randrange(100000) for _ in range(2000)] | |
arr.sort() | |
import sys | |
sys.setrecursionlimit(20000) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python3 | |
from contextlib import contextmanager | |
from ast import NodeVisitor | |
import ast | |
import sys | |
import glob | |
class Flags: | |
include_strings = True |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from functools import wraps | |
from copy import deepcopy | |
from types import FunctionType | |
def fresh_defaults(f): | |
''' | |
A decorator that allows mutable default arguments (such as lists) | |
to be used without worrying about changes across calls. | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- coding: utf-8 -*- | |
""" | |
codegen | |
~~~~~~~ | |
Extension to ast that allow ast -> python code generation. | |
:copyright: Copyright 2008 by Armin Ronacher. | |
:license: BSD. | |
""" |