Skip to content

Instantly share code, notes, and snippets.

View messa's full-sized avatar

Petr Messner messa

View GitHub Profile
View dns_server.py
#!/usr/bin/env python3
from argparse import ArgumentParser
from asyncio import run, get_running_loop, sleep, create_task
from logging import getLogger
from pathlib import Path
from dnslib import DNSRecord, DNSHeader, DNSQuestion, RR, A
logger = getLogger(Path(__file__).with_suffix('').name)
View replace_line.py
#!/usr/bin/env python3
from argparse import ArgumentParser
from pathlib import Path
def replace_line(path, line_number, text):
if isinstance(text, str):
text = text.encode()
assert isinstance(text, bytes)
View requests_asyncio_example.py
#!/usr/bin/env python3
import asyncio
import logging
from pprint import pprint
from reprlib import repr as smart_repr
import requests
logger = logging.getLogger(__name__)
View aiohttp_example.py
#!/usr/bin/env python3
from aiohttp import ClientSession
import asyncio
import logging
from pprint import pprint
from reprlib import repr as smart_repr
logger = logging.getLogger(__name__)
View 2020_02_20_radky.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View vypocet_lhuty_s_hlubokym_zrusenim.py
from datetime import date, datetime, timedelta
def main():
events = [
ZakladniInterval(dt('2020-01-01'), dt('2030-01-01')),
Prodlouzeni(id=222, roky=3),
Zruseni(id=333, zrusit_id=222),
Zruseni(id=444, zrusit_id=333),
Zruseni(id=555, zrusit_id=444),
View pointer_aritm.cc
#include <cstdio>
#include <cstdint>
int main() {
int size = 10;
void *ptr = (void*) 1000;
unsigned *ptr2 = (unsigned*) ptr + size;
printf("ptr: %lu ptr2: %lu \n", (uintptr_t) ptr, (uintptr_t) ptr2);
return 0;
}
View aiohttp_download.py
from aiohttp import ClientSession
from asyncio import run, gather, create_task
url_template = 'https://jsonplaceholder.typicode.com/posts/{post_id}'
worker_count = 10
async def main():
post_ids = list(range(1, 101))
titles = {}
View datetime_lokalizace.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@messa
messa / aiohttp_request_id_logging.py
Last active March 17, 2021 03:52
Aiohttp request_id logging
View aiohttp_request_id_logging.py
# BTW. I have created a library for this: https://github.com/messa/aiohttp-request-id-logging
from aiohttp import web
from aiohttp.web_log import AccessLogger
import asyncio
from asyncio import CancelledError
from contextvars import ContextVar
import logging
import os
import secrets